KRust:Rust形式化可执行语义 

Rust是新兴的系统级编程语言,旨在提供内存安全的同时,保证极高的性能。Rust形式化语义是用来证明其内存安全和开发Rust程序分析工具的基础。鉴于目前没有直接描述Rust的形式化语义,本文提出了第一个针对Rust语言的形式化可执行语义KRust。为了确保语义的可执行性和应用性,本文使用了K框架进行语义的开发。KRus...
《计算机科学与探索》  2019-04-16 08:55 下载次数(29)| 被引次数(0)

小麦抗条绣和白粉病基因的分子标记定位 

条锈和白粉病是中国小麦生产中的两种重要病害。利用新的抗病基因及与其紧密连锁的分子标记能促进持久抗性在育种中的应用。目前,多个小麦白粉病数量性状抗性基因已在载体品种(系)中被鉴定并被定位于不同的染色体上,几乎小麦所有染色体上均含有白粉病成株抗性基因。但是,在这些含有抗性基因的材料中仅有少数品种表现优良的农艺性状及较好的适...
中国农业科学院  博士论文  2012年 下载次数(392)| 被引次数(0)

小麦对条锈病、白粉病和衰老抗性的分子细胞生物学研究 

小麦是世界最早被驯化的作物之一,也是世界上最重要的粮食作物。在中国它仅次于水稻,因此小麦生产对国民经济发展有十分重要的战略意义。为了增加产量、改善品质,育种工作者努力培育耐生物和非生物胁迫的品种。条锈病和白粉病是世界上影响小麦生产的最重要的病害。防治小麦条锈病和白粉病的最有效的方法是培育抗病新品种。但是,由于我国的小麦...
四川农业大学  博士论文  2006年 下载次数(501)| 被引次数(4)

Evolution of the Rust Layers Formed on Carbon and Weathering Steels in Environment Containing Chloride Ions 

To clarify the correlation between alloy elements and growth pattern of the rust layers, the rusting evolution of the carbon and weathering steels was investiga...
《Acta Metallurgica Sinica(English Letters)》  2016年 第11期 下载次数(22)| 被引次数(0)

Proteomics Investigation of Wheat-Stripe Rust Fungus Interactions 

Stripe rust of wheat is one of the most important diseases of wheat worldwide,but the mechanism of interaction between wheat and stripe rust fungus is unclea...
第三届全国植物蛋白质组学大会摘要集  2010-05-21 下载次数(10)| 被引次数(0)

Relationship between the specific surface area of rust and the electrochemical behavior of rusted steel in a wet–dry acid corrosion environment 

The relationship between the specific surface area(SSA) of rust and the electrochemical behavior of rusted steel under wet–dry acid corrosion conditions was inv...
《International Journal of Minerals Metallurgy and Mat…》  2017年 第01期 下载次数(48)| 被引次数(1)

Effect of nickel on ion-selective property of rust formed on low-alloying weathering steel 

The effect of nickel on the ion-selective property of the rust layers formed on the low alloy weathering steels under marine atmosphere was investigated by an a...
《Acta Metallurgica Sinica(English Letters)》  2012年 第04期 下载次数(52)| 被引次数(2)

三个小麦品系条锈病抗性基因的遗传分析及其分子标记 

条锈病是由条锈菌(Puccinia striiformis f. sp. tritici)引起的真菌病害,是严重危害小麦生产的主要病害之一,一旦病害发生,轻则减产,重则颗粒无收。在我国其危害尤其严重,从上世纪五十年代第一次大流行以来,已经在全国范围内发生过多次大流行,给我国小麦生产造成严重的损失。因此,迫切需要发掘并利...
四川农业大学  博士论文  2014年 下载次数(129)| 被引次数(1)

QTL mapping of adult-plant resistance to leaf rust in Romanian wheat line Fundulea 900 

Wheat leaf rust is a destructive worldwide foliar disease of common wheat(Triticum aestivum L.).The most effective,economic means to control the disease is plan...
中国植物病理学会2015年学术年会论文集  2015-07-21 下载次数(13)| 被引次数(0)

小麦抗条锈病新基因Yr34的发现、鉴定及其分子遗传学研究 

小麦是世界最早被驯化的作物之一,也是世界上最重要的粮食作物。在中国它仅次于水稻,因此小麦生产对国民经济发展有十分重要的战略意义。为了增加产量、改善品质,育种工作者努力培育耐生物和非生物胁迫的品种。条锈病是世界上影响小麦生产的最重要的病害之一,在我国则是最重要的小麦病害。防治小麦条锈病的最有效的方法...
四川农业大学  硕士论文  2003年 下载次数(210)| 被引次数(1)

Occurrence and Epidemic Regularity of Wheat Stripe Rust in Nanchong City of Sichuan Province 

In order to realize monitoring and early warning and comprehensive management of wheat stripe rust and to reduce its occurrence in Nanchong City,the occurrence ...
《Plant Diseases and Pests》  2015年 第06期 下载次数(20)| 被引次数(2)

抗条锈病小麦N95175抗性基因的遗传图谱与克隆 

Stripe rust caused by Puccinia striiformis f. sp. tritici is one of the most devastating diseases of wheat in China as well as in Pakistan. In the present studi...
西北农林科技大学  博士论文  2010年 下载次数(147)| 被引次数(0)

Abnormal relationship between rust particles size and rust layer compactness of weathering steels 

In order to reveal evolution of the rust layer during atmospheric corrosion,commercial weathering steel(WS) 09CuPCrNi and a recently developed bainite WS were s...
《Acta Metallurgica Sinica(English Letters)》  2010年 第01期 下载次数(37)| 被引次数(0)

Rapid Identification of Stripe Rust Resistant Gene in a Space-induced Wheat Mutant Using Specific Length Amplified Fragment (SLAF) Sequencing 

Stripe rust,caused by Puccinia striiformis f.sp.tritici,is one of the most devastating diseases on wheat.Growing resistant cuhivars is the preferred strategy to...
中国植物病理学会2017年学术年会论文集  2017-07-25 下载次数(7)| 被引次数()

Effect of Cr on Characteristic of Rust Layer Formed on Low Alloy Steel in Flow-accelerated Corrosion Environment 

The flow-accelerated corrosion experiments were carried out to research the effect of Cr on the rust layers formed on the carbon steel and Cr-containing steel,a...
《Journal of Iron and Steel Research(International)》  2016年 第06期 下载次数(37)| 被引次数(1)

共找到相关记录1071条12345678910下一页