检索结果-南通市图书馆

Model-based automated testing of JavaScript Web applications via longer test sequences

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Frontiers of Computer Science 2022年第3期16卷 53-66页

作者： Pengfei GAO Yongjie XU Fu SONG taolue chen School of Information Science and Technology ShanghaiTech UniversityShanghai 201210China Department of Computer Science University of SurreyGuildford GU27XHUK

JavaScript has become one of the most widely used languages for Web *** dynamic and event-driven features make it challenging to ensure the correctness of Web applications written in JavaScript.A variety of dynamic analysis techniques have been proposed which are,however,limited in either coverage or *** this paper,we propose a simple,yet effective,model-based automated testing approach to achieve a high code-coverage within the time budget via testing with longer event *** implement our approach as an open-source tool LJS,and perform extensive experiments on 21 publicly available *** average,LJS is able to achieve 86.5%line coverage in 10 *** with JSDEP,a state-of-the-art breadth-first search based automated testing tool enriched with partial order reduction,the coverage of LJS is 11%-19%higher than that of JSDEP on real-world large Web *** empirical findings support that proper longer test sequences can achieve a higher code coverage in JavaScript Web application testing.

关键词： model-based testing automated testing JavaScript Web applications

维普期刊数据库

Predicted Robustness as QoS for Deep Neural Network Models

在线全文

学校读者我要写书评

暂无评论

Journal of Computer Science & Technology 2020年第5期35卷 999-1015页

作者： Yue-Huan Wang Ze-Nan Li Jing-Wei Xu Ping Yu taolue chen Xiao-Xing Ma State Key Laboratory for Novel Software Technology Nanjing UniversityNanjing 210023China Department of Computer Science University of SurreyGuilfordGU27XHU.K.

The adoption of deep neural network(DNN)model as the integral part of real-world software systems necessitates explicit consideration of their quality-of-service(QoS).It is well-known that DNN models are prone to adversarial attacks,and thus it is vitally important to be aware of how robust a modeFs prediction is for a given input instance.A fragile prediction,even with high confidence,is not trustworthy in light of the possibility of adversarial *** propose that DNN models should produce a robustness value as an additional QoS indicator,along with the confidence value,for each prediction they *** approaches for robustness computation are based on adversarial searching,which are usually too expensive to be excised in real *** this paper,we propose to predict,rather than to compute,the robustness measure for each input ***,our approach inspects the output of the neurons of the target model and trains another DNN model to predict the *** focus on convolutional neural network(CNN)models in the current *** show that our approach is accurate,with only 10%-34%additional errors compared with the offline heavy-weight robustness *** also significantly outperforms some alternative *** further validate the effectiveness of the approach when it is applied to detect adversarial attacks and out-of-distribution *** approach demonstrates a better performance than,or at least is comparable to,the state-of-the-art techniques.

关键词： deep neural network quality of service robustness prediction

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

移动Agent系统的一个因果保序通信协议

计算机工程 2005年第7期31卷 120-121,154页

作者：陈韬略韩亮陶先平吕建南京大学计算机软件新技术国家重点实验室南京210093

讨论了移动Agent系统通信中因果序的保持问题。在界定系统模型和基本假定的基础上,对已有的Agent通信协议做了扩充,给出了一个支持因果保序的新协议。此协议对Agent数目的动态变化具有良好的适应性,较好地解决了移动所带来的影响。

关键词：移动Agent Agent通信因果序保序协议

维普期刊数据库

在线全文

学校读者我要写书评

暂无评论

同步和异步π演算的表达能力研究

高技术通讯 2005年第8期15卷 18-22页

作者：韩婷婷陈韬略颜锋吕建南京大学计算机软件新技术国家重点实验室南京210093

以π演算为框架,通过研究同步和异步通信机制,澄清了各个算子对语言表达能力的影响.给出了一个编码,它以同步π演算作为编码的源语言,异步π演算作为对应的目标语言,在同步π演算中保留match算子、全复制算子、并行算子和受限算子以及... 详细信息

以π演算为框架,通过研究同步和异步通信机制,澄清了各个算子对语言表达能力的影响.给出了一个编码,它以同步π演算作为编码的源语言,异步π演算作为对应的目标语言,在同步π演算中保留match算子、全复制算子、并行算子和受限算子以及输入输出前缀,而异步π演算保留lazy复制算子、并行算子、受限算子、输入前缀以及没有后继的输出消息.研究结果证明了编码在接口互模拟关系下是完全抽象的,从而证明了编码的正确性.进一步说明了在不考虑不确定选择算子的情况下同步通信机制和异步通信机制的等价性,并为π演算的实现提供了理论依据.

关键词：同步π演算异步π演算编码表达能力语言表达能力 π演算异步同步通信机制复制算子

Colliding pulse mode-locked Nd: YLF laser with negative feedback control by GaAs Photoconductive switch

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Chinese Journal of Lasers 1993年第2期 15-18页

作者： Jianqiang Zhu,Zhuhong Zhang, Shaohe chen,taolue chen,Youming chen, Qirong Lu, Xiaodong Guo, Dianyuan Fan, Ximing Deng(National Laboratory on High Power Lasers and PhysicsShanghai Institute of Optics and Fine Mechanics,Academia Sinica,P. O. Box 800-211 ,Shanghai 201800,China)

A picosecond colliding pulse mode-locked Nd: YLF laser with negative feedback provided by GaAs photoconductive switch was described. Optical pulse with～4ps duration, 10μJ energy and about 7μs long pulse train were ... 详细信息

关键词： GaAs photoconductive switch negative feedback colliding pulse modelocked laser

外源镉胁迫下葡萄根际土壤真菌群落结构及多样性特征

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

中外葡萄与葡萄酒 2024年第4期 70-76页

作者：陈海生陈韬略罗文蔡林生方昉李振宇浙江同济科技职业学院浙江杭州311231 浙江农林大学数学与计算机学院浙江杭州311300

研究镉(Cd)污染对浙江省中部山区河谷冲积土葡萄园土壤真菌群落结构和多样性的影响,探求有利于Cd污染农田土壤修复的耐Cd真菌菌群。采用Illumina Miseq高通量测序技术,分析外源Cd0、3.5、60 mg·kg^(-1)处理对葡萄根际土壤真菌群落结构... 详细信息

研究镉(Cd)污染对浙江省中部山区河谷冲积土葡萄园土壤真菌群落结构和多样性的影响,探求有利于Cd污染农田土壤修复的耐Cd真菌菌群。采用Illumina Miseq高通量测序技术,分析外源Cd0、3.5、60 mg·kg^(-1)处理对葡萄根际土壤真菌群落结构和多样性指数的影响。结果表明,各Cd处理组土壤真菌隶属于11门、30纲、60目、100科、163属,Cd污染会造成葡萄根际土壤真菌多样性和群落结构发生变化。Cd浓度为3.5 mg·kg^(-1)时会导致其Chaol指数和Shannon指数上升,而Cd浓度为60 mg·kg^(-1)时会导致上述两指数大幅度下降;土壤子囊菌门和担子菌门相对丰度在Cd浓度为3.5 mg·kg^(-1)时下降,在Cd浓度为60 mg·kg^(-1)时升高;土壤接合菌门相对丰度在Cd浓度为3.5 mg·kg^(-1)时升高,在Cd浓度为60 mg·kg^(-1)时下降。在Cd浓度为60 mg·kg^(-1)条件下存在大量的未分类的子囊菌、链格孢属、亚隔孢壳属菌群,这些菌属被认为是在河谷冲积土葡萄园土壤中高抗Cd污染的真菌菌群。研究结果可为葡萄园Cd污染土壤采用微生物修复提供依据。

关键词：镉污染真菌群落结构高通量测序葡萄

猕猴桃根腐病根际土壤酶活性及真菌群落组成研究

维普期刊数据库

同方期刊数据库博看期刊评论

在线全文

学校读者我要写书评

暂无评论

中国南方果树 2024年第2期53卷 144-151页

作者：陈海生陈韬略蔡林生李振宇方昉金思远浙江同济科技职业学院杭州311231 浙江农林大学数学与计算机学院杭州311300

分析猕猴桃根腐病感病植株和未感病植株根际土壤真菌群落差异,可为研究猕猴桃根腐病发生机制及其调控技术提供依据。在浙江省天台县街头镇的“红阳”猕猴桃种植基地,以树龄9年的猕猴桃根腐病感病植株和未感病植株根际土壤真菌为研究对象... 详细信息

分析猕猴桃根腐病感病植株和未感病植株根际土壤真菌群落差异,可为研究猕猴桃根腐病发生机制及其调控技术提供依据。在浙江省天台县街头镇的“红阳”猕猴桃种植基地,以树龄9年的猕猴桃根腐病感病植株和未感病植株根际土壤真菌为研究对象,对菌群ITS序列进行高通量测序注释后,对比分析了真菌群落结构与多样性指数的差异,并测定分析了根际土壤脲酶、蔗糖酶和酸性磷酸酶的活性。结果表明,猕猴桃根腐病的发生极显著地降低了根际土壤脲酶、蔗糖酶和磷酸酶的活性(p<0.01)。感病植株根际土壤真菌群落丰富度指数(Chao1)显著低于未感病植株根际土壤(p<0.05)。在门分类水平上,感病植株根际土壤真菌中相对丰度降低的有担子菌门、未分类真菌和接合菌门,其差异均为极显著(p<0.01);相对丰度升高的为子囊菌门,其差异达极显著水平(p<0.01)。在属分类水平上,感病植株根际土壤真菌相对丰度增加的有赤霉菌属、丛赤壳属、镰刀菌属、假裸囊菌属和肉座菌属,其差异均达极显著水平(p<0.01);相对丰度降低的有未分类伞菌纲、枝鼻菌属、粗糙孔菌属、线虫草属、支顶孢属、粪盘菌属、木霉属和被孢霉属,其差异均达极显著水平(p<0.01)。猕猴桃感染根腐病后,根际土壤真菌在门和属水平上的菌群变化打破了原有的微生物拮抗平衡关系。

关键词：猕猴桃根腐病高通量测序真菌群落结构土壤酶活性

维普期刊数据库博看期刊

镉污染对滨海滩涂围垦区西兰花根际土壤细菌群落结构的影响

在线全文

学校读者我要写书评

暂无评论

沈阳农业大学学报 2024年第1期55卷 21-28页

作者：陈海生陈韬略蔡林生李若华罗文高永胜李振宇裴孝钟王雪浙江同济科技职业学院杭州311231 浙江农林大学数学与计算机学院杭州311300

研究镉(Cd)污染对滩涂湿地围垦区西兰花根际土壤细菌群落结构的影响,探求有益于Cd污染农田土壤修复的耐Cd细菌菌群。采用Illumina Miseq高通量测序技术,分析Cd浓度分别为0,3.5,60 mg·kg^(-1)时对台州湾滩涂湿地围垦区西兰花根际土壤细... 详细信息

研究镉(Cd)污染对滩涂湿地围垦区西兰花根际土壤细菌群落结构的影响,探求有益于Cd污染农田土壤修复的耐Cd细菌菌群。采用Illumina Miseq高通量测序技术,分析Cd浓度分别为0,3.5,60 mg·kg^(-1)时对台州湾滩涂湿地围垦区西兰花根际土壤细菌群落结构和多样性指数的影响。结果表明:所有样品中检测到的细菌菌群分属于35门、97纲、205目、315科、506属。低浓度Cd污染时,西兰花根际土壤细菌Chao 1指数和Shannon指数与对照相比大幅度升高,而高浓度Cd污染时,土壤细菌Chao 1指数和Shannon均大幅度下降。随着Cd污染程度的增加,西兰花根际土壤放线菌门和浮霉菌门相对丰度呈一直下降的趋势,拟杆菌门和芽单胞菌门相对丰度呈一直升高的趋势。土壤变形菌门和髌骨菌门相对丰度呈先下降后上升的趋势,而土壤酸杆菌门、棒状杆菌门、疣微菌门、硝化螺旋菌门和厚壁菌门相对丰度呈先上升后下降的趋势。变形菌门、拟杆菌门、髌骨菌门和芽单胞菌门在高浓度Cd污染下为农田土壤细菌群落的主体。土壤罗思河小杆菌属相对丰度在低浓度Cd污染时呈下降趋势,而在高浓度Cd污染时呈升高趋势,土壤鞘氨醇单胞菌属的相对丰度在低浓度Cd污染时呈上升趋势,在高浓度Cd污染时呈下降趋势。土壤罗思河小杆菌属、马赛菌属、黄杆菌属和杜擀氏菌属可以被认为是西兰花根际土壤高抗Cd污染的细菌菌属。研究结果可为滨海滩涂地西兰花重金属污染土壤微生物修复提供依据。

关键词：镉污染细菌群落结构高通量测序西兰花

维普期刊数据库博看期刊

Construction of Ni single-atom coordinated with doped N and S elements for mild hydrogenation of methyl acrylate to methyl propionate

在线全文

学校读者我要写书评

暂无评论

Nano Research 2024年第1期18卷 217-224页

作者： taolue Sun chen Jian Gang Wang Hui Zhao Guoliang Zhang Zengxi Li Chunshan Li 1State Key Laboratory of Mesoscience and Engineering CAS Key Laboratory of Green Process and Engineering Beijing Key Laboratory of Ionic Liquids Clean Process Institute of Process Engineering Chinese Academy of Sciences Beijing 100190 China 3Huizhou Institute of Green Energy and Advanced Materials Huizhou 516081 China 4Advanced Energy Science and Technology Guangdong Laboratory Huizhou 516081 China 2School of Chemical Engineering University of Chinese Academy of Sciences Beijing 100049 China

Although the nickel-based catalyst is able to exhibit comparative catalytic activity to noble metal for methyl acrylate hydrogenation, it requires strict reaction condition, which can be improved by regulation of coordination environment. In this study, we constructed a kind of Ni single-atom coordinated with N and S (Ni-NSC) through the pyrolysis of organic Ni-based precursors at 600 °C. The existence and fine structure of Ni single-atom were confirmed by the spherical electron microscopic observation in combination with the X-ray absorption spectroscopy (XAS) characterization. In addition, the catalytic hydrogenation assessment suggested that the as-prepared Ni-NSC catalyst exhibited higher activity and stability than the Ni/NSC supported catalyst prepared by incipient wetness impregnation method. This remarkable catalytic activity was due to the high dispersion and density of Ni single-atom and weak adsorption energy of intermediates on these Ni sites.

关键词： methyl acrylate mild hydrogenation Ni single-atom coordination environment adsorption energy