期刊文献+
共找到4,711篇文章
< 1 2 236 >
每页显示 20 50 100
Methods to prevent side marks from rusting on heavy steel plates
1
作者 HAN Jianhong LI Wenjie 《Baosteel Technical Research》 CAS 2024年第1期22-26,共5页
When a steel plate produced by a steel plant leaves the factory,its upper surface should be marked with the specification,variety,batch number,and other identifying information,and its side should be marked with a sid... When a steel plate produced by a steel plant leaves the factory,its upper surface should be marked with the specification,variety,batch number,and other identifying information,and its side should be marked with a side marking.The side marking contains the plate number,specification,batch number,and other information,which are convenient for customers to accurately identify relevant information after stacking.However,because of the influence of weather,environment,and other factors,the side marking becomes unidentifiable when the steel plate is corroded,affecting the customer’s loading,unloading,and other operations.The development and application of side anticorrosion devices and cleaning of finished heavy steel plates with antirust agents will solve the problem of unrecognizable side marking due to corrosion. 展开更多
关键词 identification side marking rust ANTIrust
下载PDF
Characterization of novel wheat-Thinopyrum ponticum introgression lines derived from partial amphiploid AUS6770 for resistance to stripe rust
2
作者 Chengzhi Jiang Yujie Luo +4 位作者 Yile Qi Senmiao Liu Ian Dundas Guangrong Li Zujun Yang 《The Crop Journal》 SCIE CSCD 2024年第6期1735-1744,共10页
The wild decaploid species Thinopyrum ponticum(Podp.)Barkworth&D.R.Dewey is an important source of genes against biotic and abiotic stresses affecting wheat.The wheat–Th.ponticum partial amphiploid AUS6770 shows ... The wild decaploid species Thinopyrum ponticum(Podp.)Barkworth&D.R.Dewey is an important source of genes against biotic and abiotic stresses affecting wheat.The wheat–Th.ponticum partial amphiploid AUS6770 shows resistance to multiple diseases,including stripe rust,stem rust,and powdery mildew.Mitotic chromosomes of AUS6770 were characterized by non-denaturing-fluorescence in situ hybridization(ND-FISH),and the individual Th.ponticum chromosomes 1Ae to 7Ae were karyotypically distinguished by Oligo-FISH painting using bulked oligo pools based on wheat-barley collinear regions.A novel stripe rust resistant line A155,derived from AUS6770,was found to have 44 chromosomes,including a pair of 2Ae chromosomes and a pair of 6B-6Ae translocations.To detect plants with transfer of resistance genes from A155 to wheat chromosomes,1770 plants were developed from F2–F5 progenies of A155 crossed with the susceptible wheat cultivar MY11 and characterized with ND-FISH using multiple probes.A high frequency of transmission of chromosome 2Ae was observed,and 31 types of 2Ae chromosomal aberrations were identified using ND-FISH.Ten chromosomal bins on the 2Ae chromosome were determined from the deletion and translocation lines based on genome-based PCR markers.In combination with the evaluation of disease resistance,the gene(s)for stripe rust resistance was located on the FL0.79–1.00 of 2AeS and covers the corresponding region of 0–58.26 Mb in the reference genome of Th.elongatum.The newly identified wheat-Th.ponticum 2Ae translocation lines can be exploited as potential germplasm in wheat breeding for stripe rust resistance. 展开更多
关键词 Thinopyrum ponticum ND-FISH Oligo-FISH painting Stripe rust resistance
下载PDF
Coffee Leaf Rust(Hemileia vastatrix)Disease in Coffee Plants and Perspectives by the Disease Control
3
作者 Alexis Salazar-Navarro Victor Ruiz-Valdiviezo +1 位作者 Jose Joya-Dávila Daniel Gonzalez-Mendoza 《Phyton-International Journal of Experimental Botany》 SCIE 2024年第5期923-949,共27页
Coffee Leaf Rust(CLR)is caused by Hemileia vastatrix in Coffea spp.It is one of the most dangerous phytopathogens for coffee plantations in terms of coffee productivity and coffee cup quality.In this review,we resume ... Coffee Leaf Rust(CLR)is caused by Hemileia vastatrix in Coffea spp.It is one of the most dangerous phytopathogens for coffee plantations in terms of coffee productivity and coffee cup quality.In this review,we resume the problem of CLR in Mexico and the pathogenesis of H.vastatrix.The review abord plant-pathogen interactions which lead a compatible or incompatible interactions and result in CLR disease or resistance,respectively.The review abord Coffea spp.defense response pathways involved in H.vastatrix pathogenicity.Additionally,current measures to control H.vastatrix proliferation and germination were aborded focused on phytosanitary actions,and biological and chemical control.Finally,new trendlines to reduce the impact of CLR as nanoparticles and nanotechnology were analyzed. 展开更多
关键词 Coffee leaf rust Coffea arabica PATHOGENESIS NANOPARTICLES biological control
下载PDF
Effect Evalution of Xiulijing on Fruit Rust Control of Golden Delicious Apple
4
作者 Mingming SUN Junyan LIAO Dayong CHANG 《Plant Diseases and Pests》 2024年第5期29-32,共4页
[Objectives]The paper was to evaluate the effectiveness of Xiulijing in the management of rust in Golden Delicious apple cultivation.[Methods]The Golden Delicious apple was utilized as the test material.During the you... [Objectives]The paper was to evaluate the effectiveness of Xiulijing in the management of rust in Golden Delicious apple cultivation.[Methods]The Golden Delicious apple was utilized as the test material.During the young fruit stage,various dilutions of Xiulijing were applied,specifically at concentrations of 200,400,600,800,1000,and 2000 times.Additionally,both the application of a 3000-fold dilution of GA 4+7 and the practice of fruit bagging were designated as the control treatments,while a water spray was utilized as the blank control.The fruit rust index and the incidence of rust-infected fruits were evaluated to assess the effectiveness of control measures for fruit rust in Golden Delicious apple cultivation.[Results]The application of Xiulijing,with dilutions ranging from 200 to 2000 times,exhibited a significant impact on reducing both the fruit rust index and the incidence of rust-infected fruits in Golden Delicious apples.The application of a 1000-fold dilution of Xiulijing resulted in a statistically significant reduction in both the fruit rust index and the incidence of rust-infected fruits,with reduction rates of 21.1%and 31.5%,respectively.Among the various strategies for the prevention and control of apple rust,fruit bagging emerged as the most effective method.The other two technical measures demonstrated significant control effects;however,no substantial differences were observed between them.[Conclusions]The biological control agent Xiulijing is more deserving of promotion and application in practical production due to its significantly superior economic benefits,safety,and stability. 展开更多
关键词 Xiulijing Golden Delicious GIBBERELLIN Fruit rust Prevention and control
下载PDF
Identification of Hyperparasitic Fungal Species Associated with Coffee Leaf Rust
5
作者 Xingfei FU Jianxin CHEN +4 位作者 Guiping LI Haohao YU Yaqi LI Xiaofei BI Faguang HU 《Plant Diseases and Pests》 2024年第5期5-7,共3页
[Objectives]The paper was to elucidate the specific hyperparasitic fungal species that are associated with coffee leaf rust.[Methods]Tissue isolation,sample humidification,and three-point inoculation techniques were e... [Objectives]The paper was to elucidate the specific hyperparasitic fungal species that are associated with coffee leaf rust.[Methods]Tissue isolation,sample humidification,and three-point inoculation techniques were employed to isolate,culture,and purify the hyperparasitic fungi responsible for coffee leaf rust.The purified strains were identified using traditional morphological techniques and molecular biology methods.[Results]Four strains were isolated,specifically BS21(Cladosporium cladosporioides),BS34(C.tenuissimum),BS62(C.cladosporioides),and BS75(C.colombiae).[Conclusions]The findings of this research will contribute novel insights into the biological control of coffee leaf rust. 展开更多
关键词 Leaf rust Hyperparasitic fungi ISOLATION IDENTIFICATION
下载PDF
Integrated Prevention and Control Technology for Coffee Leaf Rust in Yunnan Province
6
作者 Xingfei FU Guiping LI Faguang HU 《Asian Agricultural Research》 2024年第11期25-28,共4页
This paper investigates the damage symptoms and occurrence regularity related to coffee leaf rust,and proposes a comprehensive prevention and control strategy grounded in the principle of prioritizing prevention and i... This paper investigates the damage symptoms and occurrence regularity related to coffee leaf rust,and proposes a comprehensive prevention and control strategy grounded in the principle of prioritizing prevention and implementing integrated prevention and control.This strategy encompasses the cultivation of rust-resistant varieties,the implementation of agricultural practices,the application of chemical interventions,the utilization of hyperparasitic fungi,and the protection and utilization of natural enemies.The paper further outlines the necessary requirements for effective prevention and control,emphasizing the importance of enhancing responsibility implementation,fostering systematic prevention and control measures,enhancing guidance services,and increasing publicity and guidance.The aim is to offer technical guidance for the integrated prevention and control of coffee leaf rust in Yunnan Province. 展开更多
关键词 Coffee leaf rust disease Damage symptoms Occurrence regularity Integrated prevention and control Yunnan Province
下载PDF
Rust语言在Web开发的应用研究
7
作者 顾锡华 《电脑知识与技术》 2024年第5期38-40,共3页
随着互联网技术的飞速发展,Web应用已成为人们日常生活和工作中不可或缺的一部分。但随着Web应用的规模和复杂性的不断增长,传统的开发语言在性能、安全性和并发性方面逐渐面临挑战。Rust作为一种新兴的系统级编程语言,以其高效、安全... 随着互联网技术的飞速发展,Web应用已成为人们日常生活和工作中不可或缺的一部分。但随着Web应用的规模和复杂性的不断增长,传统的开发语言在性能、安全性和并发性方面逐渐面临挑战。Rust作为一种新兴的系统级编程语言,以其高效、安全和并发性强的特点,逐渐在Web开发中得到广泛应用。 展开更多
关键词 rust WEB开发 异步 并发 内存安全
下载PDF
Cloning of cDNA Fragment of Chitinase Gene from the Mycoparasite Trichoderma atroviride on Armandii Pine Blister Rust 被引量:5
8
作者 马长乐 李靖 +1 位作者 陈玉惠 刘小烛 《Agricultural Science & Technology》 CAS 2008年第6期47-50,67,共5页
[Objective] The aim of this study was to isolate chitinase gene from Trichoderma atroviride strain SS003. [Method] With the aeciospore wall of armandii pine blister rust as inducer, chitinase gene was induced to expre... [Objective] The aim of this study was to isolate chitinase gene from Trichoderma atroviride strain SS003. [Method] With the aeciospore wall of armandii pine blister rust as inducer, chitinase gene was induced to express in Trichoderma atroviride cells. The cDNA fragment of chitinase gene was cloned by RT-PCR approach. [Result] The activity of chitinase induced reached 40.17 μg/10 min; and the specific fragment amplified was 834 bp in length and proved to be the fragment of chitinase gene by sequencing and sequence analysis. [Conclusion] The result showed the feasibility of isolating the full length of chitinase gene and its transformation, and further producing chitinase. 展开更多
关键词 Armandii PINE BLISTER rust TRICHODERMA atroviride MYCOPARASITE Induction CHITINASE
下载PDF
Screening of Wheat Cultivars for High Temperature Resistance to Stripe Rust from Wheat Resources in Huanghuai Growth Area 被引量:4
9
作者 杨炜迪 陈宏灏 王美南 《Agricultural Science & Technology》 CAS 2008年第3期89-91,共3页
[Objective] The study aimed to screen wheat cultivars with high temperature resistance to stripe rust from the wheat resources in Huanghuai growth area. [Method] Seedlings of 165 wheat cultivars from Huanghuai growth ... [Objective] The study aimed to screen wheat cultivars with high temperature resistance to stripe rust from the wheat resources in Huanghuai growth area. [Method] Seedlings of 165 wheat cultivars from Huanghuai growth area were identified by wheat stripe rust under high temperature; then the wheat cultivars showing stripe rust at seedling stage were further used to identify the same resistance in field. [Results] 13 cultivars were proved to be stripe rust resistant under high temperature, and the expression stages of stripe rust in the 13 cultivars were revealed. The field identification results confirmed the identification results at seedling stage via inoculation of mixed stripe rust of physiological races. The stripe resistances of wheat cultivars were also proved to be non-race-specific. [Conclusion] Wheat resources in Huanghuai growth area are abundant in wheat cultivars with high temperature resistance to stripe rust. 展开更多
关键词 WHEAT High temperature disease resistance STRIPE rust
下载PDF
Control of Wheat Stripe Rust and Ensuring High Yield of Crops under Planting of Wheat Variety Mixtures 被引量:3
10
作者 沈丽 叶香萍 +4 位作者 廖华明 何华健 王胜 刘如东 罗林明 《Agricultural Science & Technology》 CAS 2008年第1期134-138,共5页
Wheat stripe rust has become the most dangerous disease which threaten safe yield of wheat in Sichuan Province. It is meaningful to provide technique support for integrated disease control by exploring the effective c... Wheat stripe rust has become the most dangerous disease which threaten safe yield of wheat in Sichuan Province. It is meaningful to provide technique support for integrated disease control by exploring the effective control measures of wheat stripe rust. Wheat stripe rust dynamic developments of all-planting and mixed-planting have been systematically investigated in this study by taking different mixed-planting combinations among 6 wheat varieties with different resistance levels. The results of this experiment show that the mixed-plantings of 4 and 6 wheat varieties can delay the occurance of wheat stripe rust,slow the speed of disease and decline the damage of disease as well as stabilize yield of wheats. 展开更多
关键词 Mixed-planting Wheat stripe rust CONTROL Stable yield
下载PDF
Forecast Model for Occurrence Degree of Wheat Stripe Rust Using Meteorological Data 被引量:1
11
作者 刘伟昌 陈怀亮 +3 位作者 王君 余卫东 张宏 刘忠阳 《Agricultural Science & Technology》 CAS 2008年第3期119-123,共5页
[Objective] The aim of this study is to establish the model for forecasting wheat stripe rust occurrence condition using meteorological factors. [Method] Based on the data of wheat stripe rust occurrence degrees in it... [Objective] The aim of this study is to establish the model for forecasting wheat stripe rust occurrence condition using meteorological factors. [Method] Based on the data of wheat stripe rust occurrence degrees in its past prevalent years and the meteorological data at corresponding periods, the methods of grey correlation analysis and fuzzy mathematics were employed to establish the forecast model for four pathogenesis indices according to the time sequence before winter, Early March, Early April and Middle May. Thus, the criterion for forecasting the occurrence degree of wheat stripe rust was obtained based on the distribution method of arithmetic progression. [Result] The model corresponding to meteorological conditions for forecasting wheat stripe rust was successfully established. According to the verification, the forecasting results before winter and in Early Mar. were more severer than the real occurrence condition, while the forecasting results in Early Apr. and Middle May were basically consistent with real values. [Conclusion] The results of the present study may avail the control of wheat stripe rust in Henan Province. 展开更多
关键词 Wheat STRIPE rust GREY correlation Fuzzy MATHEMATICS PATHOGENESIS index
下载PDF
Molecular Detection of Resistance Genes to Stripe Rust and Powdery Mildew in Common Wheat Cultivar Yunmai52 被引量:1
12
作者 李宏生 谭丽明 +7 位作者 赵红 吴绍柱 杨素梅 张志强 丁明亮 顾坚 杨木军 李绍祥 《Agricultural Science & Technology》 CAS 2016年第4期801-803,809,共4页
Yunmai52, developed by crossing with common wheat-Haynaldia villosa6AL/6VS translocation line 92R149 as a resistant parent in 1992, was a common wheat cultivar approved and released in 2007 in Yunnan Province, China, ... Yunmai52, developed by crossing with common wheat-Haynaldia villosa6AL/6VS translocation line 92R149 as a resistant parent in 1992, was a common wheat cultivar approved and released in 2007 in Yunnan Province, China, which is characterized by high resistance to powdery mildew and stripe rust. In this study,an F_2 population derived from a cross K78S/Yunmai52 was constructed to investigate the resistance genes, where K78 S is a wheat male sterile line susceptible to powdery mildew and stripe rust. Phenotypic identification of the parents, F_1 and F_2 populations and chi-square analyses showed that F_1 population was immune to stripe rust and powdery mildew; the segregation ratio of resistance and susceptibility to powdery mildew(χ~2=1.10χ~2_(1,0.05)=3.84) and stripe rust(χ~2=0.15χ~2_(1,0.05)=3.84) fit to a 3:1 ratio in F_2 population, indicating that Yunmai52 harbors a dominant stripe rust resistance gene and a dominant powdery mildew resistance gene. The individuals were further detected with a marker co-segregated with Pm21(SCAR_(1400)) and two markers closely linked with Yr26(XWe173 and Xbarc181). The results showed that polymorphic bands could be amplified between the parents and between resistance and susceptibility gene pools at the same locus. Randomly 96 individuals of F_2 population were selected for verification. The results showed that the phenotype was significantly correlated with the genotype. The detection accuracy of markers SCAR_(1400), XWe173 and Xbarc181 was 100%, 97.91% and 92.70%, respectively.Yunmai52 harbored powdery mildew resistance gene Pm21 and stripe rust resistance gene Yr26, which were both derived from 6AL/6VS translocation line 92R149.In addition, the results also demonstrate that Pm21 and Yr26 are two genes conferring durable resistance to powdery mildew and stripe rust in wheat. 展开更多
关键词 WHEAT Yunmai52 Powdery mildew Stripe rust Resistance gene
下载PDF
Study on Epidemic Characteristics and Its Causes of Wheat Stripe Rust in Nanchong City 被引量:1
13
作者 彭昌家 丁攀 +7 位作者 白体坤 冯礼斌 陈如胜 王婉秋 尹怀中 龙维国 肖立 文旭 《Agricultural Science & Technology》 CAS 2015年第2期292-297,共6页
On basis of the research result of stripe rust for 16 years since 1999,the epidemic characteristics and trend of stripe rust in the city were determined.Namely,the earlier the initial stage appeared,the heavier the di... On basis of the research result of stripe rust for 16 years since 1999,the epidemic characteristics and trend of stripe rust in the city were determined.Namely,the earlier the initial stage appeared,the heavier the disease would be.Furthermore,stripe rust has two introduction infection peaks,of which the first peak plays a key role.In farmlands,there are one to three epidemic peaks,and the infection area of the first peak plays the key role on the epidemic area of that year.In addition,the accumulated areas of late January was in significantly positive correlation with annually total area,with a correlation coefficient of 0.769 2.In recent 16 years,the frequency of severe stripe rust was as high as 81.25% which was 50% higher than that before 1995.The slight stripe rust became just in 2013,with a frequency of 6.3%,which indicated that the city has become a region hit by severe stripe rust.The internal reason is the reduction or loss of wheat variety's resistance to tripe rust for a new physiological race of rust is becoming pathogenic stronger and be the major race.Big fluctuation of temperatures in warm winter and spring,foggy and dew days slants much would be the external reason. 展开更多
关键词 WHEAT Stripe rust Occurrence characteristics Epidemic rule WARNING Improvement
下载PDF
Identification of eight Berberis species from the Yunnan-Guizhou plateau as aecial hosts for Puccinia striiformis f.sp.tritici,the wheat stripe rust pathogen 被引量:2
14
作者 LI Si-nan CHEN Wen +5 位作者 MA Xin-yao TIAN Xia-xia LIU Yao HUANG Li-li KANG Zhen-sheng ZHAO Jie 《Journal of Integrative Agriculture》 SCIE CAS CSCD 2021年第6期1563-1569,共7页
Puccinia striiformis Westend.f.sp.tritici Erikss.(Pst)infects wheat and causes stripe rust.The rust is heteroecious with wheat as the primary uredinial and telial host and barberry(Berberis spp.)as the alternate pycni... Puccinia striiformis Westend.f.sp.tritici Erikss.(Pst)infects wheat and causes stripe rust.The rust is heteroecious with wheat as the primary uredinial and telial host and barberry(Berberis spp.)as the alternate pycnial and aecial host.More than 40 Berberis species have been identified as alternate hosts for Pst,and most of these are Chinese Berberis species.However,little is known about Berberis species or their geographic distributions in the Yunnan-Guizhou plateau in southwestern China.The Yunnan-Guizhou plateau is considered to be an important and relatively independent region for the evolution of the wheat stripe rust pathogen in China because the entire disease cycle can be completed within the region.In this study,we conducted a survey of barberry plants in the Yunnan-Guizhou plateau and identified the eight Pst-susceptible Berberis species under controlled conditions,including B.julianae,B.tsienii,B.veitchii,B.wilsonae,B.wilsonae var.guhtzunica,B.franchetiana,B.lepidifolia and B.pruinosa.These species are reported here for the first time to serve as alternate hosts for the wheat stripe rust pathogen under controlled conditions. 展开更多
关键词 Berberis spp. alternate host Puccinia striiformis f.sp.tritici sexual reproduction stripe rust wheat yellow rust
下载PDF
Biological Characteristics of Sugarcane Rust in Beihai and Its Control Methods
15
作者 韦金菊 邓展云 +3 位作者 黄伟华 潘雪红 王伯辉 刘晓静 《Plant Diseases and Pests》 CAS 2010年第4期16-19,共4页
The sugarcane rust was the main disease causing damage on sugarcane leaves. The biological characteristics of the sugarcane rust pathogens found in Beihai were studied. The research results showed that the germination... The sugarcane rust was the main disease causing damage on sugarcane leaves. The biological characteristics of the sugarcane rust pathogens found in Beihai were studied. The research results showed that the germination of uredospores would be promoted under the dark condition or with the glucose concentration of 1.5%. The suitable temperature range for the germination of uredospore was 20 -25 ℃, 25 ℃3 was the optimum temperature. The range of relative humidity (RH) for the germination of uredospore was over 80%, the optimum relative humidity for the germination of uredospore was 100% +water drops with the germination rate of 28.3%. Urediospore could germinate in the pH value range of 4.1 - 11.1, the most suitable pH value was 7.0. At routine conditions, the longest survival period of uredospore was 120 days. Selection of resistant varieties and cultivation management was the key of control measures. 展开更多
关键词 Sugarcane rust Biological charactedstics Control measures
下载PDF
Optimization on Identification Standards and Artificial Inoculation Methods In Vitro on Resistance to Chrysanthemum White Rust
16
作者 祝朋芳 赵妮拉 +2 位作者 齐丹 刘娜 段玉玺 《Agricultural Science & Technology》 CAS 2011年第11期1640-1644,共5页
[Objective] This research aimed at exploring an effective way for inoculation and identification of chrysanthemum white rust under controlled conditions. [Method] By combining the observation methods with the naked ey... [Objective] This research aimed at exploring an effective way for inoculation and identification of chrysanthemum white rust under controlled conditions. [Method] By combining the observation methods with the naked eye and under optical microscope, we had established the identification standards for chrysanthemum white rust with six classifications and optimized artificial inoculation methods in vitro. [Result] The results showed that bottled cuttings identification method and petri dished leaves identification method both can be used for identification in vitro of chrysanthemum white rust, bottled cuttings identification method had shown better effects than petri dished leaves identification method, and was supposed to be best artificial inoculation and identification method in vitro. [Conclusion] This research had provided a scientific method for safe and effective researches on chrysanthemum white rust, in order to control the occurrence and diffusion of this quarantine disease. 展开更多
关键词 Chrysanthemum white rust (CWR) Puccinia horiana Henn Identification standards In vitro Microscopy test
下载PDF
Rust语言在核电安全级仪控研发应用探讨 被引量:1
17
作者 杨斌 蒋维 常泽海 《仪器仪表用户》 2023年第6期65-68,共4页
在核安全级(1E)仪控应用中,基于处理器的应用绝大部分使用C语言来实现。针对C语言存在弱内存管理、弱数据类型、易于出错的指针控制等天然语言缺陷,提出了更安全的Rust编程语言在核电仪控中应用可能性的探讨。首先分析了C语言固有特性... 在核安全级(1E)仪控应用中,基于处理器的应用绝大部分使用C语言来实现。针对C语言存在弱内存管理、弱数据类型、易于出错的指针控制等天然语言缺陷,提出了更安全的Rust编程语言在核电仪控中应用可能性的探讨。首先分析了C语言固有特性的安全缺陷和Rust语言的安全优势,其次结合核电行业安全软件关键需求探讨了Rust语言的切实应用场景,并阐述了Rust语言应用于核电仪控面临着极大的挑战。最后,为推动核电仪控领域应用更安全的编程语言,提出了积极的展望。 展开更多
关键词 核电安全 仪控软件 rust语言
下载PDF
Electrochemical derusting in molten Na_(2)CO_(3)–K_(2)CO_(3)
18
作者 Dong-yang Zhang Xue Ma +4 位作者 Hong-wei Xie Xiang Chen Jia-kang Qu Qiu-shi Song Hua-yi Yin 《International Journal of Minerals,Metallurgy and Materials》 SCIE EI CAS CSCD 2021年第4期637-643,共7页
The formation of a rust layer on iron and steels surfaces accelerates their degradation and eventually causes material failure.In addition to fabricating a protective layer or using a sacrificial anode, repairing or r... The formation of a rust layer on iron and steels surfaces accelerates their degradation and eventually causes material failure.In addition to fabricating a protective layer or using a sacrificial anode, repairing or removing the rust layer is another way to reduce the corrosion rate and extend the lifespans of iron and steels.Herein, an electrochemical healing approach was employed to repair the rust layer in molten Na_(2)CO_(3)-K_(2)CO_(3).The rusty layers on iron rods and screws were electrochemically converted to iron in only several minutes and a metallic luster appeared.Scanning electron microscopy(SEM) and energy dispersive X-ray spectroscopy(EDS) analyses showed that the structures of the rust layer after healing were slightly porous and the oxygen content reached a very low level.Thus, high-temperature molten-salt electrolysis may be an effective way to metalize iron rust of various shapes and structures in a short time, and could be used in the repair of cultural relics and even preparing a three-dimensional porous structures for other applications. 展开更多
关键词 molten salt ELECTRO-DEOXIDATION rust stainless steel DErustING
下载PDF
KRust:Rust形式化可执行语义 被引量:2
19
作者 王丰 张俊 《计算机科学与探索》 CSCD 北大核心 2019年第12期2008-2014,共7页
Rust是新兴的系统级编程语言,旨在提供内存安全的同时保证极高的性能。Rust形式化语义是用来证明其内存安全和开发Rust程序分析工具的基础。鉴于目前没有直接描述Rust的形式化语义,提出了针对Rust语言的形式化可执行语义KRust。为了确... Rust是新兴的系统级编程语言,旨在提供内存安全的同时保证极高的性能。Rust形式化语义是用来证明其内存安全和开发Rust程序分析工具的基础。鉴于目前没有直接描述Rust的形式化语义,提出了针对Rust语言的形式化可执行语义KRust。为了确保语义的可执行性和应用性,使用了K框架进行语义的开发。KRust目前涵盖了Rust常见的语法和语义,包括了Rust的3个核心特性:所有权、借用和生命周期。KRust通过了191个测试样例,其中157个都是来自Rust官方的测试集。语义对比测试实验发现了Rust编译器的缺陷。此外,KRust的语义还可以被应用于开发Rust程序分析工具。 展开更多
关键词 编程语言 rust 语义 K框架
下载PDF
Rust语言安全研究综述 被引量:1
20
作者 胡霜 华保健 +1 位作者 欧阳婉容 樊淇梁 《信息安全学报》 CSCD 2023年第6期64-83,共20页
Rust是为了解决系统编程领域的安全性问题,而设计的一门面向系统编程的兼具类型安全、内存安全和并发安全的新型程序设计语言,强调安全性和高性能,已经在操作系统内核、Web浏览器、网络协议栈、数据库和区块链等底层软件系统的构建中得... Rust是为了解决系统编程领域的安全性问题,而设计的一门面向系统编程的兼具类型安全、内存安全和并发安全的新型程序设计语言,强调安全性和高性能,已经在操作系统内核、Web浏览器、网络协议栈、数据库和区块链等底层软件系统的构建中得到了越来越广泛的应用。现有研究表明,尽管Rust的设计目标是保证安全性,但其自身仍然存在许多安全问题。作为一门系统编程语言,Rust的安全性直接影响到基于Rust开发的软件系统的安全性。随着Rust的广泛应用,对Rust语言安全的研究显得尤为重要。Rust语言安全研究正在成为研究热点,并且在近几年已经取得了较大研究进展。本综述基于该研究领域已经公开发表的46篇研究论文,对该领域的相关研究进行了系统整理、分析和总结:首先,研究分析了Rust的核心安全特性,包括函数式编程范式、强多态类型系统、基于所有权模型的自动内存管理、对非安全代码的显式标记和隔离;其次,提出了Rust语言安全研究领域的分类学,将已有研究分为安全实证研究、漏洞检测研究、安全增强研究和形式化验证研究四个热点方向,并分别对这四个方向上的相关研究进行了综述、深入分析和总结,同时分析了四个研究方向的内在联系;最后,指出了该研究领域的待解决的科学问题,并对未来可能的研究方向进行了展望,提出了四个潜在的研究方向,以期为相关领域的研究者提供有价值的参考。 展开更多
关键词 rust语言 内存安全 并发安全 漏洞检测与修复
下载PDF
上一页 1 2 236 下一页 到第
使用帮助 返回顶部