检索结果-内蒙古大学图书馆

13th International Symposium on Theoretical Aspects of software engineering, TASE 2019

作者： Hao, Li Shi, Jianqi Su, Ting Huang, Yanhong National Trusted Embedded Software Engineering Technology Research Center East China Normal University Shanghai China Hardware/software Co-Design Technology and Application Engineering Research Center Shanghai China Nanyang Technological University Singapore Singapore Shanghai Key Laboratory of Trustworthy Computing Shanghai China

ISBN: (纸本)9781728133423

A programmable logic controller (PLC) is essentially a computer dedicated to industrial control which is widely used in the field of global automation control. However, PLC software bugs can result in economic losses and even personal safety issues. PLC software must be thoroughly tested regarding function, structure, safety, and other aspects to avoid accidents. Existing PLC tools are mainly based on the manual setting of input data, which is not only unable to be well automated but also cannot provide information about code coverage. This paper presents an automated test case generation approach for a Structured Text (ST) language to reduce the cost of testing, using dynamic symbolic execution. We apply this method to implement the coverage-based automated test case generation tool STAutoTester. We have evaluated STAutoTester on 21 programs. The experimental results show that STAutoTester can effectively handle these programs. For 11 ST programs, STAutoTester reduces, on average, 87.5% of generated test cases compared to SYMPLC. © 2019 IEEE.

关键词： software testing

来源：评论

学校读者我要写书评

暂无评论

Decomposition of Attributes Oriented software Trustworthiness Measure Based on Axiomatic Approaches

Decomposition of Attributes Oriented Software Trustworthines...

引用

IEEE International conference on software Quality, Reliability and Security companion (QRS-C)

作者： Hongwei Tao Yixiang Chen Hengyang Wu College of Computer and Communication Engineering Zhengzhou University of Light Industry Zhengzhou China MoE Engineering Center for Software/Hardware Co-Design Technology and Application East China Normal University Shanghai China School of Computer and Information Engineering Shanghai Polytechnic University Shanghai China

ISBN: (数字)9781728189154

ISBN: (纸本)9781728189161

In order to make the software trustworthiness measures more rigorous, we once applied axiomatic approaches to measure software trustworthiness, and established a software trustworthiness measure based on the decomposition of attributes (STMBDA for short). For the sake of validating the effectiveness of STMBDA, in this paper we use it to assess the trustworthiness of 23 spacecraft softwares whose total code is about 300,000 lines. The validation result shows that STMBDA can effectively evaluate the trustworthiness of the spacecraft softwares and identify the weak links in the development process.

关键词： Space vehicles conferences software quality software software reliability software measurement Security

来源：评论

学校读者我要写书评

暂无评论

An Automatic Test Case Generation Method based on SysML Activity Diagram

An Automatic Test Case Generation Method based on SysML Acti...

引用

第二届先进电子材料、计算机与材料工程国际学术会议（AEMCME 2019）

作者： Yiqun Xu Linbo Wu MoE Engineering Center for Software/Hardware Co-Design Technology and Application East China Normal University Institute of Computer Application Research Chinese Academy of Engineering Physics

Model-Based Systems engineering(MBSE) is a new method to engineer the modern large, complex systems. MBSE has a good guarantee for system reliability and it can improve the efficiency of system development. So, MBSE has received extensive attention from academia and industry. SysML is an auxiliary language for MBSE. SysML activity diagram can model the behavior of the system. In this paper, we use SysML activity diagram to generate test case. There are two main things in our work. One is that we have designed an automated SysML activity diagram test case generation method. Second, we develop a test case generation tool to support related applications in the industry.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Synchronous Motion Generation of Multiple continuum Robots Based on a Jacobian-Estimation Strategy

Synchronous Motion Generation of Multiple Continuum Robots B...

引用

IEEE International conference on Robotics and Biomimetics

作者： Ning Tan Ruikun Hu Yuyang Wu Xinyu Zhang Fenglei Ni Zhenglong Sun School of Computer Science and Engineering Sun Yat-sen University Guangzhou PR China State Key Laboratory of Robotics and Systems (HIT) Harbin PR China Engineering Research Center of Software/Hardware Co-Design Technology and Application Ministry of Education (East China Normal University) Shanghai PR China School of Science and Engineering The Chinese University of Hong Kong Shenzhen China Shenzhen Institute of Artificial Intelligence and Robotics for Society Shenzhen China

ISBN: (纸本)9781665405362

In this paper, a novel model-free control scheme is proposed for synchronous motion control of multiple continuum robots. The control problem is formulated as two convex optimization routines in an adaptive and model-free closed-loop framework. The proposed approach is heading to address cooperative task execution for multiple continuum robots. The model-free feedback control guarantees the high portability for a wide range of continuum robots. Simulation studies are conducted on two kinds of tasks, which are cooperative task execution with two robots and simultaneously tracking control with three robots. Besides, the superiority of proposed approach is validated through comparisons with other methods. Simulation results prove the high accuracy and efficiency of this model-free feedback control scheme.

关键词： Jacobian matrices Adaptation models Tracking Simulation conferences convex functions Feedback control

来源：评论

学校读者我要写书评

暂无评论

Vibration Fault Detection Cyber-physical System with Service Support

Vibration Fault Detection Cyber-physical System with Service...

引用

IEEE International conference of Safety Produce Informatization (IICSPI)

作者： Bo Xiao Minghua Zhu MOE Research Center for Software/Hardware Co-Design Engineering and Application East China Normal University Shanghai P. R. China

ISBN: (数字)9781728145662

ISBN: (纸本)9781728145679

Vibration fault detection becomes increasingly used for economical and safety reasons. However, current research reveals some problems such as low accuracy of fault detection, few effective in-depth calculation of vibration data and few flexible architectures in that area. In this paper, a vibration fault detection Cyber-Physical System (CPS)with service support (S-VFDCPS) is presented. From the Service-Oriented Architecture (SOA) point of view, S-VFDCPS consists of enterprise level, gateway level and endpoint level, with relevant vibration detection services on each level. From the Cyber-Physical system (CPS) point of view, it contains three layers: the monitoring and control layer, the network layer and the device layer. Data processing algorithms and services are proposed quantifying the criteria of fault evaluation. It is shown by testing results that our proposed approach and the improvement in design make S-VFDCPS more flexible and accurate in real-time vibration fault detection.

关键词： Vibrations Fault detection Monitoring Service-oriented architecture Data processing Logic gates computer architecture

来源：评论

学校读者我要写书评

暂无评论

Semantic Service Technologies for Industrial Fault Analysis IoT

Semantic Service Technologies for Industrial Fault Analysis ...

引用

2019 International conference on Artificial Intelligence, control and Automation engineering(AICAE 2019)

作者： Bo XIAO Hai-mei TANG Kang ZHAO MOE Research Center for Software/Hardware Co-Design Engineering and Application East China Normal University Intelligent Manufacturing College Sino-German University of Applied Sciences

This paper presents an industrial fault analysis Internet of Things(IoT) system adopting the semantic service paradigm. Industrial vibration fault analysis becomes increasingly useful for economical and safety reasons. The architecture of vibration fault analysis IoT consists of enterprise level, gateway level and endpoint level where various vibration detection services are integrated. Semantic service involves the collection, representation and processing of relevant information of devices and data was developed. Data processing schemes and services are proposed quantifying the criteria of fault evaluation, and the relevant ontology was designed. Testing results show the effectiveness of the proposed approach and system design in increasing the flexibility and accuracy of real-time industrial vibration fault analysis.

关键词： Internet of Things(IoT) Semantic service Industrial fault detection

来源：评论

学校读者我要写书评

暂无评论

Intrusion detection using a combination of one-dimensional convolution and GRU

引用

Journal of Physics: conference Series 2020年第1期1684卷

作者： Xiaojuan Wang Bo Xiao MOE Research Center for Software/Hardware Co-Design Engineering and Application Software Engineering Institute East China Normal University Shanghai China

Intrusion detection plays an important role in ensuring network information security. Traditional machine learning technology does not work well enough with massive data and various intrusion classes, and detection accuracy turns unsatisfied with unknown intrusions. This paper proposes a new network intrusion detection model (conv1d-GRU) that combines one-dimensional convolution and GRU for multi-class intrusion detection scenarios, and improves data imbalance by weighting the samples of each category. NSL-KDD as an improved version of the KDD CUP99 dataset is selected for our intrusion detection system. Experimental results on this dataset show that the proposed deep learning method is superior to present intrusion detection methods based on machine learning and deep learning, and has better feature representation learning and classification capabilities.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A logical approach for the schedulability analysis of CCSL 13

A logical approach for the schedulability analysis of CCSL

引用

13th International Symposium on Theoretical Aspects of software engineering, TASE 2019

作者： Zhang, Yuanrui Mallet, Frederic Zhu, Huibiao Chen, Yixiang MoE Engineering Research Center for Software/Hardware Co-design East China Normal University China I3S Laboratory UMR 7271 CNRS INRIA Université Nice Sophia Antipolis France Shanghai Key Laboratory of Trustworthy Computing East China Normal University China

ISBN: (纸本)9781728133423

The Clock constraint Specification Language (CCSL) is a clock-based formalism for formal specification and analysis of real-time embedded systems. Previous approaches for the schedulability analysis of CCSL specifications are mainly based on model checking or SMT-checking. In this paper we propose a logical approach mainly based on theorem proving. We build a dynamic logic called 'clock-based dynamic logic' (cDL) to capture the CCSL specifications and build a proof calculus to analyze the schedule problem of the specifications. comparing with previous approaches, our method benefits from the dynamic logic that provides a natural way of capturing the dynamic behaviour of CCSL and a divide-and-conquer way for 'decomposing' a complex formula into simple ones for an SMT-checking procedure. Based on cDL, we outline a method for the schedulability analysis of CCSL. We illustrate our theory through one example. © 2019 IEEE.

关键词： Clocks

来源：评论

学校读者我要写书评

暂无评论

Human Motion Capture Using a Multi-2D Pose Estimation Model

Human Motion Capture Using a Multi-2D Pose Estimation Model

引用

International conference on Intelligent Human-Machine Systems and Cybernetics, IHMSC

作者： Guitao Cao Yihao Pu Yan Li Zhenwei Zhao MOE Research Center for Software/Hardware Co-Design Engineering East China Normal University Shanghai China School of electrical engineering Shandong University Jinan China

In this paper, we raise a method to find certain motion segments in the video using a Multi-2d pose estimation model. Several types of angles are extracted. We draw a continuous curve based on the entire video for all required angle values and smooth the angle curve to reduce the influence of human detection errors on motion recognition. After the smoothing process, the curve is again processed into a change curve as analysis and then search for two kinds of movements with a reasonable threshold. We also handle the noise in the recognition result to get more accurate motion fragments. By comparing and analyzing different parameters, the optimal parameters to achieve lower error is found. We coded the system and carried out a large number of experimental analysis mainly through the analysis of the characters in the video to turn around and get up, and the following results are achieved: 1)Be able to use effectively optimized data for effective analysis. 2)In a multi-person situation, the classification of each person's data based on time series is achieved. 3)Fragments of two motion states are detected more accurately.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Gastric Cancer Diagnosis with Mask R-CNN

Gastric Cancer Diagnosis with Mask R-CNN

引用

International conference on Intelligent Human-Machine Systems and Cybernetics, IHMSC

作者： Guitao Cao Wenli Song Zhenwei Zhao MOE Research Center for Software/Hardware Co-Design Engineering East China Normal University Shanghai China School of electrical engineering Shandong University Jinan China

It is a reliable way to judge gastric cancer by pathological section. Using deep learning method to detect medical images, as an auxiliary diagnosis method, it can improve the speed and accuracy of doctors to diagnose gastric cancer, and reduce misdiagnosis and missed diagnosis. Mask R-CNN is the latest method in the related field at the beginning of the research. It is mainly used to segment the objects in daily life and achieve good results. The medical image is very different from the scene in life, and the detection effect is also weakened. We use the Mask R-CNN method to detect the pathological sections of gastric cancer, and segment the cancer nest, and then optimize it by adjusting parameters. The method finally allows it to obtain a test result with an AP value of 61.2 when detecting medical images.

关键词：

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：