检索结果-南通市图书馆

Automated GUI widgets classification

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Frontiers of Computer Science 2023年第1期17卷 233-235页

作者： Kabir Sulaiman SAID Liming NIE Yuanchang LIN Yaowen ZHENG zuohua ding School of Computer Science and Technology Zhejiang Sci-Tech UniversityHangzhou 310018China School of Computer Science and Engineering Nanyang Technological UniversitySingap

1 Introduction Graphical User Interface(GUI)widgets classification entails classifying widgets into their appropriate domain-specific types(e.g.,CheckBox and EditText)[1,2].The widgets classification is essential as it supports several software engineering tasks,such as GUI design and testing[1,3].The ability to obtain better widget classification performance has become one of the keys to the success of these tasks.Researchers in recent years have proposed many techniques for improving widget classification performance[1,2,4].For example,Moran et al.[1]proposed a deep learning technique to classify GUI widgets into their domain-specific type.The authors used the deep learning algorithm,a Convolutional Neural Network(CNN)architecture,to classify the GUI widgets.Chen et al.[2]proposed combining text-based and non-text-based models to improve the overall performance of GUI widget detection while classifying the widgets with the ResNet50 model.

关键词： GUI User classify

Path Planning for Intelligent Robots Based on Deep Q-learning With Experience Replay and Heuristic Knowledge

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

IEEE/CAA Journal of Automatica Sinica 2020年第4期7卷 1179-1189页

作者： Lan Jiang Hongyun Huang zuohua ding the Laboratory of Intelligent Computing and Software Engineering Zhejiang Sci-Tech UniversityHangzhou 310018China the Center of Multi-Media Big Data of Library Zhejiang Sci-Tech UniversityHangzhou 310018China

Path planning and obstacle avoidance are two challenging problems in the study of intelligent robots. In this paper, we develop a new method to alleviate these problems based on deep Q-learning with experience replay and heuristic knowledge. In this method, a neural network has been used to resolve the "curse of dimensionality" issue of the Q-table in reinforcement learning. When a robot is walking in an unknown environment, it collects experience data which is used for training a neural network;such a process is called experience replay.Heuristic knowledge helps the robot avoid blind exploration and provides more effective data for training the neural network. The simulation results show that in comparison with the existing methods, our method can converge to an optimal action strategy with less time and can explore a path in an unknown environment with fewer steps and larger average reward.

关键词： Deep Q-learning(DQL) experience replay(ER) heuristic knowledge(HK) path planning

Hybrid MARTE statecharts

在线全文

学校读者我要写书评

暂无评论

Frontiers of Computer Science 2013年第1期7卷 95-108页

作者： Jing LIU Ziwei LIU Jifeng HE Freederic MALLET zuohua ding Shanghai Key Laboratory of Trustworthy Computing East China Normal University Shanghai 200062 China INRIA Sophia Antipolis M6diterran6e Sophia Antipolis 06902 France Center of Math Computing and Software Engineering Zhejiang Sci-Tech University Hangzhou 310018 China

The specification of modeling and analysis of real-time and embedded systems （MARTE） is an extension of the unified modeling language （UML） in the domain of real-time and embedded systems. Even though MARTE time model offers a support to describe both discrete and dense clocks, the biggest effort has been put so far on the specifi- cation and analysis of discrete MARTE models. To address hybrid real-time and embedded systems, we propose to ex- tend statecharts using both MARTE and the theory of hybrid automata. We call this extension hybrid MARTE statecharts. It provides an improvement over the hybrid automata in that： the logical time variables and the chronometric time vari- ables are unified. The formal syntax and semantics of hybrid MARTE statecharts are given based on labeled transition sys- tems and live transition systems. As a case study, we model the behavior of a train control system with hybrid MARTE statecharts to demonstrate the benefit.

关键词： UML MARTE hybrid automata hybrid MARTE statechart train control system

Petri net based test case generation for evolved specification

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Science China(Information Sciences) 2016年第8期59卷 67-91页

作者： zuohua ding Mingyue JIANG Haibo CHEN Zhi JIN Mengchu ZHOU School of Information Science Zhejiang Sci-Tech University Software Engineering Institute Peking University Department of Electrical and Computer Engineering New Jersey Institute of Technology

Model-based testing can use a model to test a concrete program’s implementation. When the model is changed due to the evolution of the specification, it is important to maintain the test suites up to date, such that it can be used for regression testing. A complete regeneration of the whole test suite from the new model,although inefficient, is still frequently used in practice. To address this problem effectively, we propose a test case reusability analysis technique to identify reusable test cases of the original test suite based on graph analysis,such that we can generate new test cases to cover only the change-related parts of the new model. The Market Information System(MIS) is employed to demonstrate the feasibility and effectiveness of the proposed method.Our experimental results show that the use of our method saves about 31.5% test case generation cost.

关键词： test case generation regression testing evolved specification Petri net reachability graph

AADL+: a simulation-based methodology for cyber-physical systems

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Frontiers of Computer Science 2019年第3期13卷 516-538页

作者： Jing LIU Tengfei LI zuohua ding Yuqing QIAN Haiying SUN Jifeng HE Shanghai Key Laboratory of Trustworthy Computing East China Normal University Shanghai 200062 China Zhejiang Sci-Tech University Xiasha College Park Hangzhou 310018 China

AADL (architecture analysis and design language) concentrates on the modeling and analysis of application system architectures.It is quite popular for its simple syntax,powerful functionality and extensibility and has been widely applied in embedded systems for its advantage.However,it is not enough for AADL to model cyber-physical systems (CPS) mainly because it cannot be used to model the continuous dynamic behaviors.This paper proposes an approach to construct a new sublanguage of AADL called AADL+,to facilitate the modeling of not only the discrete and continuous behavior of CPS,but also interaction between cyber components and physical components.The syntax and semantics of the sublanguage are provided to describe the behaviors of the systems.What's more,we develop a plug-in to OSATE (open-source AADL tool environment) for the modeling of CPS.And the plug-in supports syntax checking and simulation of the system model through linking with modelica.Finally,the AADL+ annex is successfully applied to model a lunar rover control system.

关键词： AADL cyber-physical systems (CPS) simulation OSATE lunar rover control system

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

基于不变量的软件可靠性计算

软件工程 2024年第7期27卷 73-78页

作者：张可昀丁佐华浙江理工大学计算机科学与技术学院浙江杭州310018

传统模型采用静态的失效数据评估软件的可靠性往往不够准确,为此提出一种基于不变量的可靠性计算方法。通过Daikon不变量工具收集失效不变量,依据函数调用关系图消除冗余,再输入Nelson模型进行可靠性计算。对西门子程序包中的28个错误... 详细信息

传统模型采用静态的失效数据评估软件的可靠性往往不够准确,为此提出一种基于不变量的可靠性计算方法。通过Daikon不变量工具收集失效不变量,依据函数调用关系图消除冗余,再输入Nelson模型进行可靠性计算。对西门子程序包中的28个错误程序进行了实验,计算不变量约简前后的可靠性,实验结果表明,基于不变量的可靠性计算方法约简后计算得到的可靠性结果较约简前平均提升50.502%,其中print_tokens2的最小方差可达到0,数据波动小。该方法将程序不变量作为失效数据,进一步完善了现有的可靠性评估技术。

关键词：程序不变量软件可靠性冗余不变量

Reachable Set Estimation and Safety Verification of Nonlinear Systems via Iterative Sums of Squares Programming

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

在线全文

学校读者我要写书评

暂无评论

Journal of Systems Science & Complexity 2022年第3期35卷 1154-1172页

作者： LIN Wang YANG Zhengfeng ding zuohua School of Information Science and Technology Zhejiang Sci-Tech UniversityHangzhou 310018China Shanghai Key Laboratory of Trustworthy Computing East China Normal UniversityShanghai 200062China

In this paper,the problems of forward reachable set estimation and safety verification of uncertain nonlinear systems with polynomial dynamics are addressed.First,an iterative sums of squares(SOS)programming approach is developed for reachable set estimation.It characterizes the over-approximations of the forward reachable sets by sub-level sets of time-varying Lyapunovlike functions that satisfy an invariance condition,and formulates the problem of searching for the Lyapunov-like functions as a bilinear SOS program,which can be solved via an iterative algorithm.To make the over-approximation tight,the proposed approach seeks to minimize the volume of the overapproximation set with a desired shape.Then,the reachable set estimation approach is extended for safety verification,via explicitly encoding the safety constraint such that the Lyapunov-like functions guarantee both reaching and avoidance.The efficiency of the presented method is illustrated by some numerical examples.

关键词： Computer mathematics reachable set estimation safety verification sums of squares programming

覆盆子单宁富集组分消化稳定性及对肠道菌群的调节作用

在线全文

学校读者我要写书评

暂无评论

食品科学 2023年第9期44卷 104-113页

作者：贾晓燕胡朋朋王佩欣丁翘汪恩惠谢作桦涂宗财张露江西师范大学生命科学学院国家淡水鱼加工技术研发专业中心江西南昌330022 江西德上制药股份有限公司江西赣州331200 南昌大学食品科学与技术国家重点实验室江西南昌330047

单宁类化合物是覆盆子的主要活性成分,具有降血糖、降血脂、抗炎、延缓衰老及预防心脑血管疾病等功能。本实验从覆盆子中提取富集单宁,通过体外模拟消化模型探究覆盆子单宁富集组分消化前后单宁含量及抗氧化活性、α-葡萄糖苷酶抑制活... 详细信息

单宁类化合物是覆盆子的主要活性成分,具有降血糖、降血脂、抗炎、延缓衰老及预防心脑血管疾病等功能。本实验从覆盆子中提取富集单宁,通过体外模拟消化模型探究覆盆子单宁富集组分消化前后单宁含量及抗氧化活性、α-葡萄糖苷酶抑制活性变化,通过体外厌氧发酵模型分析模拟消化对其肠道菌群调节作用的影响,最后采用超高效液相色谱-四极杆飞行时间串联质谱法(ultra-high performance liquid chromatography-quadrupole time ofﬂight-tandem mass spectrometry,UPLC-ESI-QTOF-MS/MS)比较体外消化和酵解产物中单宁组成及其代谢产物含量变化情况。结果表明,在胃、肠消化过程中水解单宁含量均呈先增加后降低趋势,胃肠消化提升了覆盆子单宁富集组分的1,1-二苯基-2-三硝基苯肼自由基清除能力(半抑制质量浓度为29.15~39.65µg/mL),但对2,2’-联氮基-双(3-乙基苯并噻唑啉-6-磺酸)阳离子自由基清除能力无显著性影响(P>0.05),经肠道模拟消化后,样品的α-葡萄糖苷酶抑制能力提升了7.16~7.86倍。体外结肠发酵实验结果表明,覆盆子单宁显著增加了粪球菌属(Coprococcus)、丁酸弧菌(Anaerostipes)、瘤胃球菌属(Ruminococcus)、粪便杆菌属(Faecalibaterium)等有益菌的相对丰度,胃肠模拟消化降低其对双歧杆菌等有益菌的改善效果。UPLC-ESI-QTOF-MS/MS分析结果表明,胃、肠消化过程中,单宁代谢物含量均呈现先下降后上升的趋势,结肠发酵后样品中的尿石素A和尿石素B含量明显下降,而尿石素C和尿石素D未检测到。本研究可为覆盆子单宁稳态递送体系的构建,提高其体内的生物利用率提供理论依据。

关键词：覆盆子单宁消化特性肠道菌群生物活性

在线全文

学校读者我要写书评

暂无评论

基于迁移学习与支持向量机的服装舒适度评估

纺织学报 2020年第6期41卷 125-131页

作者：夏海浜黄鸿云丁佐华浙江理工大学信息学院浙江杭州310018

针对传统服装舒适度评估需要直接试穿服装导致的舒适度评估精确度不高和评估过程耗时的问题,提出一种从试穿服装数据库学习服装舒适度评估模型的方法,可以快速准确地评估服装舒适度。首先,采集试衣模特尺寸和试穿样板图,并利用迁移学习... 详细信息

针对传统服装舒适度评估需要直接试穿服装导致的舒适度评估精确度不高和评估过程耗时的问题,提出一种从试穿服装数据库学习服装舒适度评估模型的方法,可以快速准确地评估服装舒适度。首先,采集试衣模特尺寸和试穿样板图,并利用迁移学习改善试穿样板图构建试穿服装数据库,同时提出基于虚拟试衣技术的舒适度标签获取方法,为数据库中对应的试穿样板图添加舒适度标签;然后,提取试穿样板图的局部二值模式为服装样板特征,并融合试衣模特尺寸数据形成服装试穿特征向量;最后,提取试穿服装数据库的融合特征训练支持向量机,得到服装舒适度评估模型。实验结果表明,该方法的准确率和系统时间分别为0.8344和12 s,具有较高的精确度和效率。

关键词：服装舒适度评估迁移学习虚拟试衣特征融合支持向量机