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

Modeling and analyzing reliable cyber-physical systems based on aspect orientation

Journal of Applied Science and Engineering 2014年第1期17卷 101-110页

作者： Chen, Liqiong Liu, Yunxiang Fan, Guisheng Department of Computer Science and Information Engineering Shanghai Institute of Technology Shanghai China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai China Department of Computer Science and Engineering East China University of Science and Technology Shanghai China

Cyber-physical systems (CPS) consists of distributed computation interconnected by computer networks. Finding a common semantics among these diverse components that facilitate system modeling, synthesis, and verification is a significant challenge of CPS. Aspect oriented method is proposed to model and analyze reliable CPS, Petri nets are used to observe behaviors of basic component, such as device, computation and physical interaction, component and communication process. The reliability assurance strategy of CPS is proposed, aspect orientation is used to weave it into the base net. Based on this, the effectiveness and feasibility of proposed method are analyzed based on the operation semantics of Petri nets. A case study of material balancing system and experimental results demonstrate that the approach can contribute to the improvement of design quality in developing reliable CPS.

关键词： Petri nets

来源：评论

学校读者我要写书评

暂无评论

An RFID indoor positioning system by using Particle Swarm Optimization-based Artificial Neural Network

An RFID indoor positioning system by using Particle Swarm Op...

引用

International Conference on Audio, Language and Image Processing, ICALIP

作者： Changzhi Wang Zhicai Shi Fei Wu Juan Zhang Shanghai Key Laboratory of Computer Software Evaluating & Testing Shanghai China School of Electronic and Electrical Engineering Shanghai University of Engineering Science Shanghai China

ISBN: (纸本)9781509006557

Indoor Location information service (ILS) has been the hot topics of research in recent years. However, localization cost and positioning accuracy is still a challenge for indoor positioning system (IPS). RFID positioning technology is low cost but high positioning accuracy which is usually used for an IPS. In this study, a RFID indoor positioning algorithm is proposed, which is based on the Particle Swarm Optimization Artificial Neural Network (PSO-ANN). The algorithm uses PSO to optimize the weight and threshold of ANN network, and establish an accurate classification model that can learn the relationship between the Received Signal Strength Indication (RSSI) and tag position. In addition, in order to reduce the impact of the environmental factors on the position estimation effectively, the Gaussian Filter is adopted to process the RSSI information. The experimental result demonstrates that the proposed algorithm has better performance than other artificial neural network.

关键词： Artificial neural networks Training Radiofrequency identification IP networks Filtering algorithms Information filters

来源：评论

学校读者我要写书评

暂无评论

Survivability prediction of web system based on log statistics

Survivability prediction of web system based on log statisti...

引用

ACIS International Conference on software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD)

作者： Jiaan Zhou Huaikou Miao Jinyu Kai Kun Zhao Honghao Gao School of Computer Engineering and Science Shanghai University Shanghai China Shanghai Key Laboratory of Computer Software Testing & Evaluating Shanghai China Computing Center Shanghai University Shanghai China

Widely applied and quickly developed as the SOA theory has been, the instability of distributed Web services will lead to services composition failure. Currently, a hot research topic is that when does the system can make an appropriate adjustment of the system structure dynamically to ensure the system runs at the best performance while the runtime environment or requirement is changed. To address this problem, this paper proposes an approach to predicting the system survivability which bases on log statistic. The method gets the system usage model by monitoring Web log files, and then constructs value model and adopts quantitative model checking to forecast the system survivability to estimate whether the system is survivable in a certain period of time.

关键词： Model checking Business Markov processes Data models Web services Predictive models Probabilistic logic

来源：评论

学校读者我要写书评

暂无评论

Modeling and verifying of grid computing based on FSM

引用

Journal of Convergence Information Technology 2011年第1期6卷 170-181页

作者： Gao, Honghao Wang, Shuoping School of Computer Engineering and Science Shanghai University 200072 shanghai China Shanghai Key Laboratory of Computer Software Evaluating and Testing 201112 Shanghai China Computer Science School Zhejiang University City College 310015 Hangzhou China

Many applications of grid computing are appearing to solve a scientific or technical problem by shaping and coordinating computational services across the network. The dynamic and complex interaction of grid computing has been a big challenge in guaranteeing the reliability of services behaviors. This paper focuses on the behavioral correctness of grid computing. In order to unify the expression of grid computing behaviors, we introduce the BPMN (Business Process Modeling Notation) to formally describe the interactions in a visualization way with the basic business process concepts, which creates a standardized bridge for the gap between the business process logic design and implementation. Then we translate BPMN to an extended FSM (Finite-State Machine) automaton. Furthermore, the safety and liveness properties of behavioral requirements are expressed as LTL (Linear Temporal Logic) formulae according to coverage criterions. After that, LTL formulae are automatically verified in model checker tool SMV (Symbolic Model Checker). Finally, the experimental results are discussed. In conclusion, our method affords an underlying guideline for modeling and verifying grid computing.

关键词： Temporal logic

来源：评论

学校读者我要写书评

暂无评论

A robust method of mark recognition for robot autonomous navigation

A robust method of mark recognition for robot autonomous nav...

引用

International Conference on Audio, Language and Image Processing, ICALIP

作者： Yi Liu Xiang Liu Yunyu Shi Fei Wu Juan Zhang Shanghai Key Laboratory of Computer Software Evaluating & Testing Shanghai China School of Electronic and Electrical Engineering Shanghai University of Engineering Science Shanghai China

ISBN: (纸本)9781509006557

The vision system of an autonomous robot can obtain and analyze the necessary environmental information used for autonomous decisions. The processing and recognition of the images captured through the autonomous robot visual system is discussed in this paper. The discussion mainly includes three key issues, namely the extraction of image region of interest, the canceling of image inverse projection error, and pattern recognition and matching. For these three key issues, the paper proposes respective solution and verifies the validity of the above solutions through simulation experiments. Finally, the paper analyzes the existing problems in the scheme.

关键词： Image color analysis Robots Cameras Transforms Brightness Navigation Image recognition

来源：评论

学校读者我要写书评

暂无评论

Model checking the reliability of interactive behaviors for mobile computing

引用

Advances in Information Sciences and Service Sciences 2011年第6期3卷 1-12页

作者： Gao, Honghao Miao, Huaikou Wang, Shuoping Mei, Jia Liu, Yang School of Computer Engineering and Science Shanghai University 200072 Shanghai China Shanghai Key Laboratory of Computer Software Evaluating and Testing 201112 Shanghai China Computer Science School Zhejiang University City College 310015 Hangzhou China

The development of mobile computing is dependent on the new methods, techniques and tools to support engineering applications during all the phases of its life cycle. Especially, considering the complexities of interaction protocol, a communication failure can cause high economic losses. The challenge problems to be solved include: 1) guarantee such critical behaviors as communication reliable, and 2) support the dynamic reconfiguration in case some required services may become unavailable when an interaction is executed at runtime phase, both of which belongs to the scope of the reliability problem of interactive behaviors. This paper will perform the automated verification to ensure high reliability of mobile computing using model checking technique. For this purpose, an approach to modeling the interactive behaviors is proposed by using TS model (Transition Systems model, TS model). The reliability properties, including liveness, safety and reachability, are expressed into the temporal logic formulae, namely, CTL (Computation Tree Logic, CTL). Then the reliability verification for our proposed model of interactive behaviors (TS-mc model) is performed in model checker NuSMV. A prototype system is also discussed, and the experimental results show the significant advantage of our method.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

Automatic Collaborative testing of Applications Integrating Text Features and Priority Experience Replay

Automatic Collaborative Testing of Applications Integrating ...

引用

IEEE International Conference on software Quality, Reliability and Security (QRS)

作者： Lizhi Cai Jin Wang Mingang Chen Jilong Wang School of Information Science and Engineering East China University of Science and Technology Shanghai China Shanghai Key Laboratory of Computer Software Testing & Evaluating Shanghai Development Center of Computer Software Technology Shanghai China

With the popularity of deep reinforcement learning(DRL), people have great interest in using deep reinforcement learning for application automated testing. However, most automated testing methods based on reinforcement learning ignore text information, use random sampling in experience replay and ignore the characteristics of Android automated testing. To solve above problem, this paper proposes ITPRtesting(Integrated Text feature information and Priority experience in testing). It extracts the text information in the interface and uses the BERT algorithm to generate sentence vectors. It fuses the interactive control feature diagram(ICFD), which is mentioned in the previous work, and text information as the state required by reinforcement learning. And in reinforcement learning, the priority experience replay is combined, also the traditional priority experience replay is improved. This paper has carried out experiments on 10 open source applications. The experimental results show that ITPRtesting is superior to other methods in statement coverage and branch coverage.

关键词： Deep learning Fuses Bit error rate Reinforcement learning software quality Feature extraction software reliability

来源：评论

学校读者我要写书评

暂无评论

An Approach to Optimize Symbolic Execution in Ethereum Smart Contracts

An Approach to Optimize Symbolic Execution in Ethereum Smart...

引用

IEEE International Conference on software Quality, Reliability and Security Companion (QRS-C)

作者： Yi Liu Lizhi Cai Chenchen Chai Yuan Ma School of Information Science and Engineering East China University of Science and Technology Shanghai China Shanghai Key Laboratory of Computer Software Testing & Evaluating Shanghai Development Center of Computer Software Technology Shanghai China

ISBN: (数字)9798350365658

ISBN: (纸本)9798350365665

As the application of smart contracts in blockchain technology becomes increasingly widespread, their security issues have emerged as a focal point of both research and practice. Although symbolic execution technology has been extensively applied for the detection of security vulnerabilities in smart contracts, its limitations in terms of execution efficiency and code coverage remain significant. In response to these challenges, this study introduces an innovative method named HoneyToken-DetectorRev, which optimizes traditional symbolic execution through program slicing technology, aiming to enhance the efficiency and effectiveness of smart contract security detection. By selecting ten smart contracts from the Ethereum platform, which vary in business logic and complexity, we conducted an empirical analysis of HoneyToken-DetectorRev. The experimental results demonstrate that this method significantly improves the efficiency of smart contract detection without sacrificing precision. This research not only provides an effective technical approach for the security detection of smart contracts but also offers theoretical and practical guidance for further enhancing the security of blockchain applications.

关键词： Codes Smart contracts software quality Inspection Boosting Complexity theory software reliability Security Logic Business

来源：评论

学校读者我要写书评

暂无评论

Contrastive Pseudo Learning for Open-World DeepFake Attribution

arXiv

引用

arXiv 2023年

作者： Sun, Zhimin Chen, Shen Yao, Taiping Yin, Bangjie Yi, Ran Ding, Shouhong Ma, Lizhuang Shanghai Jiao Tong University China Tencent YouTu Lab China Shanghai Key Laboratory of Computer Software Testing & Evaluating China

The challenge in sourcing attribution for forgery faces has gained widespread attention due to the rapid development of generative techniques. While many recent works have taken essential steps on GAN-generated faces, more threatening attacks related to identity swapping or expression transferring are still overlooked. And the forgery traces hidden in unknown attacks from the open-world unlabeled faces still remain under-explored. To push the related frontier research, we introduce a new benchmark called Open-World DeepFake Attribution (OW-DFA), which aims to evaluate attribution performance against various types of fake faces under open-world scenarios. Meanwhile, we propose a novel framework named Contrastive Pseudo Learning (CPL) for the OW-DFA task through 1) introducing a Global-Local Voting module to guide the feature alignment of forged faces with different manipulated regions, 2) designing a Confidence-based Soft Pseudo-label strategy to mitigate the pseudo-noise caused by similar methods in unlabeled set. In addition, we extend the CPL framework with a multi-stage paradigm that leverages pre-train technique and iterative learning to further enhance traceability performance. Extensive experiments verify the superiority of our proposed method on the OW-DFA and also demonstrate the interpretability of deepfake attribution task and its impact on improving the security of deepfake detection area. Copyright © 2023, The Authors. All rights reserved.

关键词： Iterative methods

来源：评论

学校读者我要写书评

暂无评论

The Multi-version and Single-display Strategy in Undo Scheme

The Multi-version and Single-display Strategy in Undo Scheme

引用

International Conference on computer and Information Technology (CIT)

作者： Jiangming Yang Qiwei Zhang Ning Gu Genxing Yang Zhenyu Liu Department of Computing and Information Technology Fudan University China Software Testing and Evaluating Shanghai key Laboratory of Computer China

ISBN: (纸本)076952432X

Consistency maintenance is one of the most significant challenges in groupware systems. In groupware systems, the effect of incorrect execution will be more extensive for it is done in distributed group editors, so the user will have more dependence on undo. While intention violation puzzle has never been addressed in any published work, it will destroy the consistency and lead to a crash. We propose a Mark & Retracing based method to reach the goal of consistency maintenance and achieve multi-version and single-display strategy in undo scheme. It is different from operation transformation method and provides a new perspective into group editors

关键词： Collaborative software Collaborative work Information technology Sun Laboratories software testing computer crashes Application software computer graphics computer networks

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：