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

International Conference on Computer Engineering and Technology

作者： Jiang, Zuo-Wen Tang, Xian-Fei Ding, Zhi-Jun Jiang, Chang-Jun Electronics and Information Engineering School Tongji University 201804 China Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University 200092 China College of Science and Technology NingBo University 315211 China

ISBN: (纸本)9781424463503

Oriented to the goal of high-quality banking softwares, trustworthiness is emerging to be important property. This paper studies how to apply formal methods into the trustworthy property preservation of evolutionary components, focusing on the safety property of the concurrent software behavior, this paper presents a new approach to curb the state explosion problem in the model checking based trustworthiness verification. By adopting the environment reduction paradigm, our method is able to reduce the global states of the system by hiding the internal actions of the environment that does not join in the interleaving composition. The method presented is proved and testified with a bank software case study. Experiment data shows that our method is able to improve the verification efficiency. © copy;2010 IEEE.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

Study and implementation of agent-based grid resource monitoring model

Study and implementation of agent-based grid resource monito...

引用

2nd International Conference on Information Science and Engineering, ICISE2010

作者： Ming, Liu Zhang, Junqi Wang, Yu Li, Jie Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University Shanghai 200092 China

ISBN: (纸本)9781424480968

Grid is a promising infrastructure which enables scientists and engineers to access geographically distributed resources. Grid computing is a new technology which focuses on aggregating various kinds of resource (e.g., processor cycles, disk storage, and contents) into one computing platform. The realization of grid computing requires a resource agent to manage and monitor available resources. Based on study of past models, this paper presents a new agent-based resource monitoring model whose main feature is multi-layered monitoring architecture, which enhances the ability to monitor related resource efficiently. In the meantime, the new model has been implemented in the development of a resource monitoring module integrated within a academic grid project. © 2010 IEEE.

关键词： Grid computing

来源：评论

学校读者我要写书评

暂无评论

Reliable Web services Selection Using a Heuristic Algorithm

Reliable Web Services Selection Using a Heuristic Algorithm

引用

The Ninth International Conference on Grid and Cloud computing(第九届网格与云计算国际学术会议 GCC 2010)

作者： Hongjie Shen Zhijun Ding Hongzhong Chen The Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University Shanghai 200092 China

Web services composition (WSC) is the key techniques in its application. Dynamically selecting reliable Web services (WSs) becomes crucial to users. In fact, most works regard a Web service (WS) as the basic unit and selection with end-to-end, and as more and more WSs become available, the WSs selection problem is a complex NP-hard optimization problem. So, in this paper, the WSs consist of the operations and the WSs selection problem is formalized as a finite state machine process and we proposed a backward algorithm to create the WSC tree (WSCT). Then, we proposed a heuristic algorithm to complete the selection of WSs based on the WSCT. The results of experiment show our proposed heuristic algorithm is effective.

关键词： Web services composition heuristic algorithm service selection reliability

来源：评论

学校读者我要写书评

暂无评论

Biped robot walking using central pattern generator and genetic algorithm

Biped robot walking using central pattern generator and gene...

引用

IASTED International Conference on Robotics, Robo 2010

作者： Liu, Chengju Chen, Qijun Wang, Danwei School of Electronics and Information Engineering Tongji University Shanghai 201804 China Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University Shanghai 201804 China School of Electrical and Electronic Engineering Nanyang Technological University Singapore Singapore

ISBN: (纸本)9780889868595

Central pattern generator (CPG) plays an important role in rhythmic activities of animals and this mechanism is an important inspiration source for the motion control of legged robots. In this paper, by using CPGs and function mapping mechanism, a high-efficiency distributed CPG control network is constructed to realize the locomotion control of biped NAO robot. To realize stable and coordinated locomotion, the parameters of the CPG network are evolved by multi-object genetic algorithm (MOGA). Simulations with Webots validate the feasibility and efficiency of the presented CPG-based control method.

关键词： Genetic algorithms

来源：评论

学校读者我要写书评

暂无评论

Study and implementation of agent-based grid resource monitoring model

Study and implementation of agent-based grid resource monito...

引用

International Conference on Information Science and Engineering (ICISE)

作者： Liu Ming Junqi Zhang Yu Wang Jie Li Department of Computer Science and Technology The Key Laboratory of Embedded System and Service Computing Ministry of Education University of Tongji Shanghai China

ISBN: (纸本)9781424476169

关键词： Monitoring Computational modeling Databases Grid computing Automation Resource management XML

来源：评论

学校读者我要写书评

暂无评论

Quantized H2 Filtering for Markovian Jump Linear systems over Networks with Non-accessible Mode Information

Quantized H2 Filtering for Markovian Jump Linear Systems ove...

引用

The 8th World Congress on Intelligent Control and Automation(第八届智能控制与自动化世界大会 WCICA 2010)

作者： Tao Liu Qijun Chen Hao Zhang Department of Electronics and Information Engineering Tongji University The Key Laboratory of Embedded System and Service Computing Ministry of Education Shanghai China

This paper is concerned with the problems of quantized *** for discrete-time Markovian jump linear systems over networks with non-accessible mode information. The quantizer considered here is logarithmic quantizer. In this paper, a linear time-invariant mode-independent quantized *** is designed such *** error system is stochastically stable. *** conditions for the existence of *** is given in terms of linear matrix inequalities. A numerical example is provided to demonstrate the effectiveness of the proposed approach.

关键词： Quantization Bismuth Linear matrix inequalities Symmetric matrices Linear systems Upper bound Networked control systems

来源：评论

学校读者我要写书评

暂无评论

Design and Implementation of Communication Module in Passive ultrasonic Sensor Networks

Design and Implementation of Communication Module in Passive...

引用

2010 International Conference on Computer,Mechatronics,Control and Electronic Engineering(2010计算机、机电、控制与电子工程国际会议 CMCE 2010)

作者： Lina Han Rui Zhao Key Laboratory of Embedded System and Service Computing Ministry of EducationTongji University Shan The Third Research Institute of The Ministry of Public Security Shanghai China

ISBN: (纸本)9781424479573

Passive sensor networks can achieve accurate detection of target under complex environment In order to adapt to different communication demands of sensor networks in different environments, this paper designed and implemented a wireless and wired mixed communication module, that is, a communication system combined short-distance wireless communication based on radio frequency technology with broadband cable communication. Simulation results show that our system can achieve the desired requirements in different circumstances.

关键词： sensor network wireless communication radio frequency (RF) wired communication

来源：评论

学校读者我要写书评

暂无评论

Constructing Prioritized Interaction Test Suite with Interaction Relationship

Constructing Prioritized Interaction Test Suite with Interac...

引用

International Workshop on education Technology and Computer Science, ETCS

作者： Jianjun Yuan Zuowen Jiang The Key Laboratory of Embedded System and Service Department of Computer Science and Technology Computing Ministry of Education of China University of Tongji Shanghai China

ISBN: (纸本)9781424463886;9780769539874

Interaction testing has addressed some issues on how to select a small subset of test cases. In many systems where interaction testing is needed, the entire test suite is not executed because of time or budget constraints. It is important to prioritize the test cases in these situations. On the other hand, there are not always interactions among any factors in real systems. Moreover, some factors may need N-way (N>2) testing since there is a closer relationship among them. We present a model for prioritized interaction testing with interaction relationship and propose a greedy algorithm for generating variable strength covering arrays with bias.

关键词： system testing Software testing Computer science education Greedy algorithms Costs educational technology Computer science laboratories embedded system embedded computing

来源：评论

学校读者我要写书评

暂无评论

Detecting and resolving mismatches between pairs of services

Detecting and resolving mismatches between pairs of services

引用

International Conference on Computer Science and Information Technology (CSIT)

作者： Tao Liu Guosun Zeng Key Laboratory of Embedded System and Service Computing Ministry of Education University of Tongji Shanghai China Tongji University Shanghai Shanghai CN

Facing changing environments and evolving business, service composition happens all time. However, services do not always interact properly because of mismatches between their interfaces. In this paper, we use labelled interface automata, an extension of interface automata, to illustrate mismatching interfaces and resolution approaches. We model service interfaces with labelled interface automata and propose a theorem for mismatch detecting. Then we characterize mismatches between pairs of interfaces by identifying and classifying them into six basic scenarios, and illustrate the resolution approach of mismatches. Our method formalizes the interface adaptation problem and provides convenience to detect mismatches and build adaptors for service interactions.

关键词： Automata Software

来源：评论

学校读者我要写书评

暂无评论

Decomposition based efficient algorithms for knowledge reduction

引用

ICIC Express Letters 2010年第3期4卷 1025-1032页

作者： Jiao, Na Miao, Duoqian Zhang, Hongyun Department of Computer Science and Technology Ministry of Education of China Tongji University Shanghai 201804 China Key Laboratory of Embedded System and Service Computing Ministry of Education of China Tongji University Shanghai 201804 China

Knowledge reduction, one of essential issues for data mining, has alwaysbeen a, hot topic due to the explosive growth of inform,a,tion. However, whenhandling large-scale data, m,any current knowledge reduction m,ethod,s based, onrough set theory are incapable. In this paper, efficient algorithms forknowledge reduction are put forward, based, on decomposition principle. Theidea, of decomposition is to break a, complex problem, down into a,m,a,ster-problem, and, several sub-problem,s that are simpler, m,orem,a,na,gea,ble and, m,ore solvable by using existing induction methods, thenjoining them, together in order to solve the original problem,. Compared, withsom,e traditional methods, the efficiency of the proposed algorithms can beillustrated by experiments with standard datasets from, UCI database. ICIC International © 2010.

关键词： Rough set theory

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：