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

Timed-pNets： a communication behavioural semantic model for distributed systems

Frontiers of computer Science 2015年第1期9卷 87-110页

作者： Yanwen CHEN Yixiang CHEN Eric MADELAINE MoE Engineering Research Center for Software/Hardware Co-design Technology and Application Shanghai Key Laboratory of Trustworthy Computing East China Normal University Shanghai 200062 China INRIA Sophia Antipolis Mediterannee Sophia Antipolis 06902 France University of Nice Sophia Antipolis CNRS Sophia Antipolis 06900 France

This paper presents an approach to build a communication behavioural semantic model for heterogeneous distributed systems that include synchronous and asynchronous communications. Since each node of such system has its own physical clock, it brings the challenges of correctly specifying the system time constraints. Based on the logical clocks proposed by Lamport, and CCSL proposed by Aoste team in INRIA, as well as pNets from Oasis team in INRIA, we develop timed-pNets to model communication behaviours for distributed systems. Timed-pNets are tree style hierarchical structures. Each node is associated with a timed specification which consists of a set of logical clocks and some relations on clocks. The leaves are represented by timed-pLTSs. Non-leaf nodes （called timed-pNets nodes） are synchronisation devices that synchronize the behaviours of subnets （these subnets can be leaves or non-leaf nodes）. Both timed-pLTSs and timed-pNets nodes can be translated to timed specifications. All these notions and methods are illustrated on a simple use-case of car insertion from the area of intelligent transportation systems （ITS）. In the end the TimeSquare tool is used to simulate and check the validity of our model.

关键词： ITS logical time formal method timed specification synchronous and asynchronous communication

来源：评论

学校读者我要写书评

暂无评论

FPGA-Based Parallel Implementation of SURF Algorithm

FPGA-Based Parallel Implementation of SURF Algorithm

引用

International conference on Parallel and Distributed Systems (ICPADS)

作者： Wenjie Chen Shuaishuai Ding Zhilei Chai Daojing He Weihua Zhang Guanhua Zhang Qiwei Peng Wang Luo MoE Engineering Research Center for Software/Hardware Co-design Technology and Application East China Normal University Shanghai China School of loT Engineering Jiangnan University Wuxi China State Key Laboratory of Mathematical Engineering and Advanced Computing Wuxi China Parallel Processing Institute Fudan University Shanghai China

ISBN: (纸本)9781509053827

SURF (Speeded up robust features) detection is used extensively in object detection, tracking and matching. However, due to its high complexity, it is usually a challenge to perform such detection in real time on a general-purpose processor. This paper proposes a parallel computing algorithm for the fast computation of SURF, which is specially designed for FPGAs. By efficiently exploiting the advantages of the architecture of an FPGA, and by appropriately handling the inherent parallelism of the SURF computation, the proposed algorithm is able to significantly reduce the computation time. Our experimental results show that, for an image with a resolution of 640x480, the processing time for computing using SURF is only 0.047 seconds on an FPGA (XC6SLX150T, 66.7 MHz), which is 13 times faster than when performed on a typical i3-3240 CPU (with a 3.4 GHz main frequency) and 249 times faster than when performed on a traditional ARM system (cortexTM-A8, 1 GHz).

关键词： Feature extraction Parallel processing Field programmable gate arrays hardware Algorithm design and analysis Interpolation Real-time systems

来源：评论

学校读者我要写书评

暂无评论

Formally Verifying Navigation Safety for Ground Robots

Formally Verifying Navigation Safety for Ground Robots

引用

IEEE International conference on Mechatronics and Automation

作者： Manni Zhang Xinyu Zhang Shanghai Key Laboratory of Trustworthy Computing MoE Engineering Research Center for Software/Hardware Co-design Intelligent Robot Motion & Vision Laboratory East China Normal University Shanghai China

ISBN: (纸本)9781509023974

Robots' continuous physical behaviors are controlled by discrete instructions generated using complicated control algorithms. In such a robotic hybrid system, guaranteeing robot's navigation safety can be more challenging than those discrete controls alone or only the continuous robot motions. For a robotic system operating in the real world, navigation safety is critical in order to avoid potential harm for robots or their surrounding environment. We present safety guarantee and obstacle avoidance control algorithms for mobile ground robots modeled by hybrid programs. Using the verification tool KeYmaera, we formally verify that our algorithms satisfy passive or passive friendly safety properties in an environment consisting of stationary/dynamic obstacles. These algorithms allow us to check the navigation safety at the design stage of a robotic system.

关键词： motion safety collision avoidance formal methods mobile ground robot

来源：评论

学校读者我要写书评

暂无评论

Efficient Wall-corner collision Avoidance using D-Images

Efficient Wall-Corner Collision Avoidance using D-Images

引用

IEEE International conference on Mechatronics and Automation

作者： Guohe Fu Xinyu Zhang Shanghai Key Laboratory of Trustworthy Computing MoE Engineering Research Center for Software/Hardware Co-design Intelligent Robot Motion & Vision Laboratory East China Normal University Shanghai China

ISBN: (纸本)9781509023974

When an autonomous mobile robot exploring in an unstructured environment, it may often enter a wall-corner, but be stuck there. We present a wall-corner collision detection and avoidance algorithm using depth images. We first determine if a mobile robot is trapped in a wall-corner using historic alternate turnings. Then we propose a geometric approach to let the robot escape a corner. We demonstrate the efficiency of our algorithm using simulations and experimental tests. Using our algorithm, a robot can quickly detect and escape wall-corners. Moreover, we extend our algorithm to handle a very challenging scenario, Z-shaped Zigzag paths.

关键词： wall-corner collision detection avoidance algorithm mobile robot

来源：评论

学校读者我要写书评

暂无评论

design of personalized recommendation system based on LBS in mobile classroom project

Design of personalized recommendation system based on LBS in...

引用

IEEE International conference on computer and communications, ICCC 2015

作者： Wang, Zhongzhu Liu, Xianzhong Guo, Jianhui Software Engineering Institute East China Normal University Software/Hardware Co-design Engineering Research Center MOE Shanghai China

ISBN: (纸本)9781467381253

collaborative filtering is one of the most successful approaches to building recommendation system. However, it still has some known disadvantages. One of them is called cold start problem caused by lack of user's historical data. Another problem appeared because mobile technology develops in high speed. The phenomenon that users change their taste according to their position quickly in mobile environment is more and more common. The changeable preference is called short-term interest. But the collaborative filtering algorithm usually ignores this short-term interest. It leads to decrease of accuracy of recommendation. In this paper, a design of personalized recommendation system based on LBS for the Mobile Classroom Project is proposed. considering the actual conditions, this system solved the problem of cold-start using clustering method and some other solutions. Also, it focus on user's short-term interest to a certain extent. compared with the traditional collaborative filtering, it works better. © 2015 IEEE.

关键词： collaborative filtering

来源：评论

学校读者我要写书评

暂无评论

A software trustworthiness measure based on the decompositions of trustworthy attributes and its validation

A software trustworthiness measure based on the decompositio...

引用

International conference on Industrial engineering, Management Science and applications, ICIMSA 2015

作者： Tao, Hongwei Chen, Yixiang Pang, Jianmin State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou45002 China MoE Engineering Center for Software/Hardware Co-Design Technology and Application East China Normal University Shanghai200062 China

ISBN: (纸本)9783662471999

There exist many software trustworthiness measures based on the decompositions of attributes. However, few of them are concerned with using more rigorous approaches to measure software trustworthiness and carrying out the theoretical validation of measures. Axiomatic approaches formalize the empirical understanding of a software attribute through the definition of a set of desirable software measure properties. It can provide precise and formal terms for the quantification of software attributes. We once used axiomatic approaches to measure software trustworthiness based on multi-dimensional attributes, in this paper, based on previous works, we apply axiomatic approaches to measure software trustworthiness based on the decompositions of attributes, propose the desirable properties of software trustworthiness measures based on the decompositions of attributes, present a software trustworthiness measure and validate this measure from the theory by proving that it complies with the set of properties. compared with the popular software trustworthiness measures, this measure can evaluate software trustworthiness better in view of our properties. © Springer-Verlag Berlin Heidelberg 2015.

关键词： computers

来源：评论

学校读者我要写书评

暂无评论

Verifying the correct composition of distributed components: Formalisation and Tool 13

Verifying the correct composition of distributed components:...

引用

13th International Workshop on Foundations of coordination Languages and Self-Adaptive Systems, FOCLASA 2014

作者： Henrio, Ludovic Kulankhina, Oleksandra Liu, Dongqian Madelaine, Eric Univ. of Nice Sophia Antipolis CNRS France INRIA Sophia Antipolis Méditérannée France MoE Engineering Research Center for Software/Hardware Co-design Technology and Application ECNU Shanghai China

This article provides formal definitions characterizing well-formed composition of components in order to guarantee their safe deployment and execution. Our work focuses on the structural aspects of component composition;it puts together most of the concepts common to many component models, but never formalized as a whole. Our formalization characterizes correct component architectures made of functional and non-functional aspects, both structured as component assemblies. Interceptor chains can be used for a safe and controlled interaction between the two aspects. Our well-formed components guarantee a set of properties ensuring that the deployed component system has a correct architecture and can run safely. Finally, those definitions constitute the formal basis for our Eclipse-based environment for the development and specification of component-based applications. © 2015 L. Henrio, O. Kulankhina, D. Liu, E. Madelaine.

关键词：

来源：评论

学校读者我要写书评

暂无评论

confidential Parcel Delivery System

Confidential Parcel Delivery System

引用

Asia-Pacific E-Business and E-Government conference(APEE2014)

作者： CHEN WENJIE ZHANG GUANHUA MoE Engineering Research Center for Software/Hardware Co-design Technology and Application East China Normal University

The current express parcel delivery systems have a big drawback that the private information of the recipient and the sender cannot be protected well. This paper proposes a novel system to keep the privacy. In stead of an explicit waybill, this system uses a well coded logistics label to assure that only necessary part of information is exposed to the related staff during the entire delivery procedure. This system also has additional advantages such as verifying e-trade facticity, avoiding disputation on signature and preventing malicious parcel. This system is also good for "the order oriented production".

关键词：

来源：评论

学校读者我要写书评

暂无评论

PSTEP - A Novel Probabilistic Event Processing Language for Uncertain Spatio-temporal Event Streams of Internet of Vehicles

PSTEP - A Novel Probabilistic Event Processing Language for ...

引用

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

作者： Huiyong Li Yuanrui Zhang Yixiang Chen MoE Engineering Research Center for Software/Hardware Co-design Technology and Application East China Normal University Shanghai P.R.China

Internet of Vehicles (IoV, shortly) is a typical system of Internet of Things. Spatio-Temporal event stream is one of basic features of IoV. These event streams often are uncertain due to the limit of the monitoring device and the high speed of vehicles. Developing an event processing language to process these spatio-temporal event streams with uncertainty is a challenge issue. The goal of this paper is to develop a Probabilistic Event Processing Language, called as Probabilistic Spatio-Temporal Event Processing language (PSTEP, shortly), dealing with this challenge issue. In PSTEP, we use the Possible World Model to express uncertain spatio-temporal events of IoV and assign a spatio-temporal event with a probability which is the threshold value for processing the existence of an event. We establish its syntax and operational semantics. Finally, a case study is given to show the effectiveness of the PSTEP language.

关键词： Data models Spatial databases Probabilistic logic Monitoring Intelligent vehicles Internet of things Syntactics

来源：评论

学校读者我要写书评

暂无评论

An Attributes-Based Allocation Approach of software Trustworthy Degrees

An Attributes-Based Allocation Approach of Software Trustwor...

引用

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

作者： Yujing Ma Yixiang Chen Bin Gu MoE Research Engineering Center for Software/Hardware Co-Design Technology and Application East China Normal University Shanghai China Beijing Institute of Control Engineering Beijing China

Trustworthiness measurement and evaluation of softwares is an important research topic in the field of trustworthy softwares. The existing metric model for software trustworthiness can determine trustworthy degree of a software with given trustworthy degrees of attributes. In this paper, we focus on the reverse of measurement approach, which determines trustworthy degrees of attributes with given trustworthy degree of a software. We introduce an approach to describe the allocation of trustworthy degrees of softwares, and present an allocation model and an attributes-based allocation algorithm. The allocation approach are applied to high-speed reentry aircraft softwares. With the allocation results, it is shown that our approach is effective and practical in guiding and controlling software trustworthiness.

关键词： software Resource management Standards software measurement software algorithms Space vehicles

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：