检索结果-南通市图书馆

Formal Verification Platform as a Service:WebAssembly Vulnerability Detection Application

在线全文

学校读者我要写书评

暂无评论

Computer Systems Science & Engineering 2023年第5期45卷 2155-2170页

作者： LiangJun deng Hang Lei Zheng Yang WeiZhong Qian XiaoYu Li Hao Wu Sihao deng RuChao Sha weidong deng School of Information and Software Engineering University of Electronic Science and Technology of ChinaChengdu610054China School of Physics University of Electronic Science and Technology of ChinaChengdu611731China ICB-PMDM-LERMPS UMR 6303 CNRSUTBMUniversitéde Bourgogne Franche-ComtéBelfort90010France Chengdu Railway Science and Technology Innovation Co.LTD Chengdu640041China

In order to realize a general-purpose automatic formal verification platform based on WebAssembly technology as a web service(FVPS),which aims to provide an automated report of vulnerability detections,this work builds a Hyperledger Fabric blockchain runtime *** proposes an optimized methodology of the functional equivalent translation from source program languages to formal *** methodology utilizes an external application programming interface(API)table to replace the source codes in compilation,thereby pruning the part of housekeeping codes to ease code *** inflation is a significant metric in formal language ***,minor code inflation enhances verification scale and performance *** determines the efficiency of formal verification,involving launching,running,and memory *** instance,path explosion increases exponentially,resulting in *** experimental results conclude that program languages like golang severely impact code *** reduces the wasm code size by over 90%,achieving two orders of optimization magnitude,from 2000 kilobyte(KB)to 90 *** means we can cope with golang applications up to 20 times larger than the original in *** work eliminates the gap between Hyperledger Fabric smart contracts and *** approach is pragmatic,adaptable,extendable,and ***,FVPS is successfully applied in a Railway-Port-Aviation blockchain transportation system.

关键词： WebAssembly formal verification blockchain smart contract

Molecular cloning and characterization of the endothelin 3 gene in black bone sheep

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Journal of Animal Science and Biotechnology 2018年第4期9卷 847-857页

作者： Hesham Y.A.Darwish Yuanyuan Zhang Kai Cui Zu Yang Deping Han Xianggui Dong Huaming Mao weidong deng Xuemei deng National Engineering Laboratory for Animal Breeding and Key Laboratory of Animal Genetics Breeding and Reproduction of the Ministry of AgricultureChina Agricultural University Animal Production Research Institute Agricultural Research Center Ministry of Agriculture and Land Reclamation College of Veterinary Medicine China Agricultural University College of Animal Science and Technology Yunnan Agricultural University

Background: Black bone sheep was first discovered in Yunnan province of China in 1970, with unique black pigmentation on the body and internal organs. Endothelin 3(EDN3) has been known as a key gene causing hyperpigmentation in black bone chicken, the Silky ***: In this study, EDN3 was employed as a candidate gene for regulating black color pigmentation. First,EDN3 was cloned from sheep to obtain the full-length cDNA by using the rapid amplification of cDNA ends(RACE).Genomic EDN3 was screened and a total of thirty predicted single nucleotide polymorphisms(SNPs) were genotyped for allele and genotype frequency analysis in a case-control study involving two black bone sheep populations. Genomic copy number analysis of EDN3 in sheep was conducted to measure the variation in copy number. EDN3 expression levels were observed among the groups in adult liver, lymph node, and kidney tissues, as well as embryo kidney samples. Also, among the tissues of black bone and non-black bone ***: The size of the full-length cDNA was 1,578 bp, which included 426 bp of 5′-untranslated region(5′-UTR),an open reading frame(ORF) of 639 bp encoding a protein of 212 amino acids, and a 3′-UTR of 513 bp. Genotype and allele frequencies of all the discovered SNPs were found insignificantly different in black bone and non-black bone sheep(P > 0.05). Genomic copy number analysis of EDN3 in sheep revealed no significant difference between the two sheep groups. No significant variations were found in the adult liver and kidney embryo samples. However,the expression in lymph node and kidney tissue was significantly higher in black bone sheep than that in non-black bone sheep(P < 0.05). Significant variations in the EDN3 expression levels were observed among the tissues of nonblack bone ***: The findings of the present study indicate that unlike in Silky chickens, EDN3 is not responsible for hyperpigmentation but may play a key functional role in immune and excretory

关键词： Black pigmentation Expression level Sequence analysis SNP

在线全文

学校读者我要写书评

暂无评论

以问题为导向做好公路排水工程设计

给水排水 2021年第2期47卷 56-60页

作者：邓卫东北京市市政工程设计研究总院有限公司北京100082

公路排水工程设计,应从"项目地现状水环境问题"、"项目建设引起水环境问题"、"项目地水环境规划问题"等三个方面进行分析并总结出所要解决的问题,以公路建设所引起的沿线水环境问题为导向,制定出公路排水工程设计技术路线图并编制出相... 详细信息

公路排水工程设计,应从"项目地现状水环境问题"、"项目建设引起水环境问题"、"项目地水环境规划问题"等三个方面进行分析并总结出所要解决的问题,以公路建设所引起的沿线水环境问题为导向,制定出公路排水工程设计技术路线图并编制出相应的公路排水工程设计方案。以交通部绿色高速公路示范公路延崇高速公路为例,在其排水工程设计中采用了渗、滞、蓄、净等方式对路面雨水径流进行消减和净化,减少公路的排水对周边水环境的不利影响。

关键词：问题导向公路排水设计

在线全文

学校读者我要写书评

暂无评论

京港澳高速公路南岗洼雨水调蓄泵站设计

给水排水 2019年第8期45卷 42-45页

作者：邓卫东北京市市政工程设计研究总院有限公司北京100082

对京港澳高速公路南岗洼雨水泵站进行升级改造,使其达到100年一遇排涝标准。工程设计包含新建雨水调蓄泵站及其收水系统的改造,根据现场特殊条件,将雨水调蓄泵站设计为调蓄池后置型,并利用分流井对原泵站和新建泵站进行水量分配。设计... 详细信息

对京港澳高速公路南岗洼雨水泵站进行升级改造,使其达到100年一遇排涝标准。工程设计包含新建雨水调蓄泵站及其收水系统的改造,根据现场特殊条件,将雨水调蓄泵站设计为调蓄池后置型,并利用分流井对原泵站和新建泵站进行水量分配。设计贯彻了“低影响开发”及“绿色公路”的设计理念,并在建设过程中避免对现有泵站的影响,保证了高速公路运营安全。

关键词：调蓄泵站绿色公路京港澳高速公路

同方期刊数据库

A Hu sheep genome with the first ovine Y chromosome reveal introgression history after sheep domestication

在线全文

学校读者我要写书评

暂无评论

Science China(Life Sciences) 2021年第7期64卷 1116-1130页

作者： Ran Li Peng Yang Ming Li Wenwen Fang Xiangpeng Yue Hojjat Asadollahpour Nanaei Shangquan Gan Duo Du Yudong Cai Xuelei Dai Qimeng Yang Chunna Cao weidong deng Sangang He Wenrong Li Runlin Ma Mingjun Liu Yu Jiang Key Laboratory ofAnimal Genetics Breeding and Reproduction of Shaanxi ProvinceCollege of Animal Science and TechnologyNorthwest A&F UniversityYangling 712100China State Key Laboratory of Grassland Agro-ecosystems Key Laboratory of Grassland Livestock Industry InnovationMinistry of Agriculture and Rural AffairsEngineering Research Center of Grassland IndustryMinistry of EducationCollege of Pastoral Agriculture Science and TechnologyLanzhou UniversityLanzhou 730020China State Key Laboratory of Sheep Genetic Improvement and Healthy Production Xinjiang Academy of Agricultural and Reclamation SciencesShihezi 832000China Faculty of Animal Science and Technology Yunan Agricultural UniversityKunming 650201China Key Laboratory of Genetics Breeding and Reproduction of Grass feeding Livestock Ministry of AgricultureAnimal Biotechnology Research InstituteXinjiang Academy of Animal ScienceUrumqi 830026China State Key Laboratory of Molecular Developmental Biology Institute of Genetics and Developmental BiologyChinese Academy of SciencesBeijing 100101China

The Y chromosome plays key roles in male fertility and reflects the evolutionary history of paternal ***,we present a de novo genome assembly of the Hu sheep with the first draft assembly of ovine Y chromosome(o MSY),using nanopore sequencing and Hi-C *** o MSY that we generated spans 10.6 Mb from which 775 Y-SNPs were identified by applying a large panel of whole genome sequences from worldwide sheep and wild Iranian *** major paternal lineages(HY1a,HY1b and HY2)were defined across domestic sheep,of which HY2 was newly ***,HY2 forms a monophyletic clade with the Iranian mouflons and is highly divergent from both HY1a and *** analysis of Y chromosomes,mitochondrial and nuclear genomes confirmed that HY2 and the maternal counterpart of lineage C represented a distinct wild mouflon population in Iran that diverge from the direct ancestor of domestic sheep,the wild mouflons in Southeastern *** results suggest that wild Iranian mouflons had introgressed into domestic sheep and thereby introduced this Iranian mouflon specific lineage carrying HY2 to both East Asian and Africa sheep populations.

关键词： Y chromosome sheep paternal lineage introgression de novo assembly

Genetic Advances in Genome and Phenotypic Characters of Domestic Dog

在线全文

学校读者我要写书评

暂无评论

Animal Husbandry and Feed Science 2020年第2期12卷 15-22页

作者： Li Jing Wan Jiusheng Chen Chao deng weidong Yue Rui Xiong Heli Li Liguang Kunming Police Dog Base of the Ministry of Public Security Kunming 650201China Key Laboratory of Police Dog Technology of the Ministry of Public Security Kunming 650201China School of Animal Science and Technology of Yunnan Agricultural University Kunming 650201China

Dogs represent such a rich potential resource to further understand diseases and genetic *** the genomes of three species of canine,human,and rat in terms of genome analysis,it is found that dogs are highly conservative with humans and *** special population structure of dogs makes it a good model for studying the diversity of morphology and behavior,the genetic basis of mammalian evolution,and *** article gives a brief review of recent advances in domestic dog origin and evolution,genomic structure,genetic variation in dog pheno-typic characteristics,and gene *** research results are expected to provide a better theoretical basis for canine genetic breeding re-search and provide new ideas and methods for the prevention,diagnosis and treatment of human diseases.

关键词： Domestic dog Genetic evolution Genome Linkage disequilibrium Phenotypic trait genes

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

海绵城市理念在道路排水设计中的应用

给水排水 2016年第11期42卷 18-20页

作者：邓卫东北京市市政工程设计研究总院有限公司北京100082

介绍了位于官厅水库二级保护区内的西玉路排水工程设计,按照保护水体的要求,避免由于排水设计不当导致水体的污染;依据相关设计规范,运用海绵城市设计理念,并因地制宜地采用管道贮存方式代替常规的应急池设计方案,节省了用地、减少了投资。

关键词：海绵城市道路排水敏感水域雨水管布置

在线全文

学校读者我要写书评

暂无评论

节理岩体力学参数确定的数值试验方法

同济大学学报（自然科学版） 2017年第2期45卷 188-194页

作者：严秋荣冯君杨涛邓卫东重庆大学土木工程学院重庆400030 招商局重庆交通科研设计院有限公司重庆400067 西南交通大学土木工程学院成都610031 高速铁路线路工程教育部重点实验室成都610031

为解决现场或室内试验条件下难以测试大尺度岩体并确定其参数的问题,总结提出了应用数值试验方法确定节理岩体宏观力学参数的方法流程.即将节理岩体单元离散为岩块和节理两种类型,通过室内试验分别研究其力学特性,再把岩块和节理进行组... 详细信息

为解决现场或室内试验条件下难以测试大尺度岩体并确定其参数的问题,总结提出了应用数值试验方法确定节理岩体宏观力学参数的方法流程.即将节理岩体单元离散为岩块和节理两种类型,通过室内试验分别研究其力学特性,再把岩块和节理进行组合形成岩体,通过数值计算得出节理岩体的力学特性.将这套方法应用到贵州省某高速公路岩质边坡的岩体参数优化分析中,研究了试件尺寸、各向异性、岩块及节理力学参数等对岩体宏观力学参数的影响.数值试验方法为工程节理岩体参数的确定和优化提供了一种新的思路.

关键词：节理岩体岩体力学参数数值试验尺寸效应

在线全文

学校读者我要写书评

暂无评论

土工合成材料及其在公路工程中的应用

公路 2000年第8期45卷 7-11页

作者：邓卫东交通部重庆公路科学研究所重庆市400067

介绍了我国公路土工合成材料应用技术规范的主要内容和土工合成材料在美国的应用情况 ,并将我国规范和美国规范进行了比较。

关键词：土工合成材料公路工程应用