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

Model checking cooperative multi-agent systems in BDI logic

Journal of Information and Computational Science 2012年第5期9卷 1185-1194页

作者： Chen, Qingliang Su, Kaile Wu, Lijun Xu, Zhaocheng School of Electronics Engineering and Computer Science Peking University Beijing 100871 China Department of Computer Science Jinan University Guangzhou 510632 China Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University Shanghai China Institute for Integrated and Intelligent Systems Griffith University Brisbane Australia School of Computer Science and Engineering University of Electronic Science and Technology of China Chengdu China

Traditional temporal logics such as LTL (Linear Temporal Logic) and CTL (Computation Tree Logic) have shown tremendous success in specifying and verifying hardware and software systems. However, this kind of logic can only model the dynamic behaviors for a single system, and fall short in capturing the joint and concurrent aspects in the composition of systems, such as the interactions and coordinations of agents in Multi-agent systems. Although ATL (Alternating-time Temporal Logic) can solve the problem to a certain extent, by preceding the temporal operators with a selective path quantifier, to specify that the interactions between entities inside the system can make sure that there is a strategy to reach a certain state, it can not formalize the rational mental attitudes of the agents such as the Belief, Desire and Intention (BDI) which plays an essential role in decision making during cooperation with other agents. This paper will investigate this problem by proposing a logic of ATLBDI (Alternating-time Temporal Logic of Belief Desire and Intention) and discuss the algorithmic issues such as model checking algorithms and the computational complexity, along with examples to show its effectiveness. We conclude that model checking for ATLBDI is completely tractable and is in PTIME-Complete, which is quite an optimistic and promising result for further applications. © 2012 by Binary Information Press.

关键词： Multi agent systems

来源：评论

学校读者我要写书评

暂无评论

Automatic Web service composition based on Horn clauses and Petri nets

引用

Expert systems with Applications 2011年第10期38卷 13024-13031页

作者： Tang, Xianfei Jiang, Changjun Zhou, Mengchu Department of Computer Science and Technology Tongji University Shanghai 201804 China Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University Shanghai 201804 China Department of Electrical and Computer Engineering New Jersey Institute of Technology Newark NJ 07102 United States

This paper introduces an automatic Web service composition method based on logical inference of Horn clauses and Petri nets. The Web service composition problem is transformed into the logical inference problem of Horn clauses by exploring the dependency relations among services. An algorithm is presented, to determine whether the composite service exists in time that is linear in the size of the knowledge base. It can also return the rule set necessary for the composition. Petri nets are chosen to model the rule set and its structural analysis techniques are used to obtain the composite service. © 2010 Elsevier Ltd. All rights reserved.

关键词： Automatic reasoning Knowledge base Petri nets service composition Web service

来源：评论

学校读者我要写书评

暂无评论

Cluster synchronization of nonlinearly coupled networks via periodically intermittent pinning control

Cluster synchronization of nonlinearly coupled networks via ...

引用

Chinese Control Conference (CCC)

作者： Xiwei Liu Jiujun Cheng Department of Computer Science and Technology the Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University Shanghai China Department of Computer Science and Technology the Key Laboratory of Embedded System Service Computing Shanghai China

In this paper, the cluster synchronization problem for nonlinearly coupled networks under periodically intermittent pinning control is studied. At first, a sufficient condition to guarantee cluster synchronization is presented. Next, an adaptive intermittent control algorithm is designed to the control strength and its validity is rigorously proved. Finally, some numerical examples are presented to demonstrate the correctness of obtained theoretical results.

关键词： Synchronization Couplings Symmetric matrices Adaptive systems Educational institutions Equations Neural networks

来源：评论

学校读者我要写书评

暂无评论

Attribute recursive algorithms based on knowledge rough representation

Attribute recursive algorithms based on knowledge rough repr...

引用

International Conference on Information and Business Intelligence, IBI 2011

作者： Li, Dao-Guo Fan, Zhuo-Bin Chen, Yang School of Management Hangzhou Dianzi University Hangzhou 310018 China Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University Shanghai 200092 China

ISBN: (纸本)9783642290862

Existing representative research achievement of the relevant literatures focused on two *** is how to improve the efficiency of attribute reduction algorithms in all attributes including the added properties. Such as the recursive algorithm to change conjunctive normal form into disjunctive normal form based on the boolean matrix and the algorithm based on radix sorting for computing core and reductions of a given information system, etc. On the other hand focus on the objects recursive algorithms. The drawback is that these methods have not fully use the knowledge gained when some attributes was added to a discussion on the domain. Therefore, the regularity of the core and reduction's changes under adding new attributes into a given information system were discussed. Moreover, the incremental reduction algorithms from a information system was proposed. The experiments show that these algorithms can quickly and exactly calculate new core and reduction of the new information system by taking advantage of the knowledge of the original information system. © 2012 Springer-Verlag Berlin Heidelberg.

关键词： Rough set theory

来源：评论

学校读者我要写书评

暂无评论

Reconstruction of table-manipulation method with constraints based on algebra-shape-computer thought

Reconstruction of table-manipulation method with constraints...

引用

International Conference on Mechanical Science and Engineering, ICMSE 2012

作者： Li, Dao Guo Fu, Bin Zhou, Zhong Yuan Yang, Chen School of Management Hangzhou Dianzi University Hangzhou 310018 China Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University Shanghai 200092 China

ISBN: (纸本)9783037854723

The table-manipulation method plays a important role in optimizing resource scheduling, scientifically location chosen, task assignment, investment distribution and so on. Most literatures introduction the table-manipulation method used to single thought pattern, for example, the algebra thought model, the shape thought model, or computer software method, which cruse it is difficult to understand and apply. Therefore, a novel table-manipulation integration approach is proposed by combining the thought of algebra-shape-computer. This builds convenient access among the abstraction, modeling, solving on the practical optimizing problems discussed above. © (2012) Trans Tech Publications, Switzerland.

关键词： Algebra

来源：评论

学校读者我要写书评

暂无评论

Quasi-synchronization for delayed systems with parameter mismatches via aperiodically intermittent control

Quasi-synchronization for delayed systems with parameter mis...

引用

International Conference on systems and Informatics (ICSAI)

作者： Xiwei Liu Ping Li Yuan Xu Ying Liu Department of Computer Science and Technology Key Laboratory of Embedded System and Service Computing Shanghai China

ISBN: (纸本)9781479954599

Quasi-synchronization is an important type of synchronization because of the parameter mismatches in the real world, so we will investigate it for a delayed network, which is master-slave coupled. By applying the aperiodically and nonlinearly intermittent control on the network, and assuming the time delay is varying, we will present some useful criteria for exponential quasi-synchronization. The main difference of this paper with previous works is that the intermittent mode is aperiodic while that in previous works is periodic. Finally, simulations are also given to show its validity.

关键词： Synchronization Mathematical model Delay effects Numerical models Observers Equations Educational institutions

来源：评论

学校读者我要写书评

暂无评论

Cough signal recognition with gammatone cepstral coefficients

Cough signal recognition with gammatone cepstral coefficient...

引用

2013 IEEE China Summit and International Conference on Signal and Information Processing, ChinaSIP 2013

作者： Liu, Jia-Ming You, Mingyu Li, Guo-Zheng Wang, Zheng Xu, Xianghuai Qiu, Zhongmin Xie, Wenjia An, Chao Chen, Sili Key Laboratory of Embedded System and Service Computing Department of Control Science and Engineering Tongji University Shanghai 201804 China Department of Respiratory Medicine Shanghai 200065 China

ISBN: (纸本)9781479910434

Cough Recognition is a valuable classification problem in healthcare. Generally, feature representation contributes a lot to the overall classifying performance. In this paper, a novel feature extraction method, Gammatone Cepstral Coefficients (GTCC), is investigated for cough recognition. The accuracy of GTCC comparing with MFCC is evaluated on a designed cough dataset following a 10 fold cross-validation schemes. Considering the imbalance of that dataset, weighted SVM is applied as the base classifier. The results indicate that GTCC surpass MFCC in modeling cough signals. With combination of GTCC and MFCC, a better performance is achieved. This paper provides a better feature representation prototype in cough recognition. © 2013 IEEE.

关键词： Feature extraction

来源：评论

学校读者我要写书评

暂无评论

WSHLA: Web services-based HLA collaborative simulation framework

WSHLA: Web services-based HLA collaborative simulation frame...

引用

4th International Conference on Cooperative Design, Visualization, and Engineering, CDVE 2007

作者： Hengye, Zhu Guangyao, Li Lulai, Yuan CAD Research Center Tongji University Shanghai 201804 China Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University Shanghai 201804 China

ISBN: (纸本)9783540747796

Collaborative simulation technology is an important factor in improving the efficiency of complex product design. Although High Level Architecture (HLA)-based simulation technology can meet the needs for simulation in product design, it's also marked by many deficiencies. In this paper, we focus on the introduction of web services into HLA simulation system and propose a Web services-Based HLA Collaborative Simulation Framework (WSHLA). The framework uses web services to encapsulate the invocations of HLA services and then make simulation system more interoperable and reusable. Firstly, the overall structure of WSHLA and the proxy, which acts on behalf of a federate and interacts with Runtime Infrastructure (RTI), are presented. Then, the detailed design and implementation process of WSHLA are discussed. Experimental results show that, using web services, the framework can make up for the deficiencies in HLA simulation system and ensure WSHLA-based collaborative simulation goes smoothly at the expense of some time. © Springer-Verlag Berlin Heidelberg 2007.

关键词： Web services

来源：评论

学校读者我要写书评

暂无评论

A Cloudedge-Combined Data Placement Strategy Based on User Access Regions 6

A Cloudedge-Combined Data Placement Strategy Based on User A...

引用

6th International Conference on Big Data and Information Analytics, BigDIA 2020

作者： Cao, Eryang Wang, Pengwei Yan, Chungang Jiang, Changjun Department of Computer Science and Technology Tongji University Shanghai200092 China Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University Shanghai200092 China School of Computer Science and Technology Donghua University Shanghai201620 China

To improve the availability of data in the cloud and avoid vendor lock-in risk, multi-cloud storage is attracting more and more attentions. However, accessing data from the cloud usually has some disadvantages such as higher latency and more bandwidth-consuming. Edge computing, which has become popular in recent years, could effectively solve the above problems while it usually reduces availability. Storage only in the cloud or edge environment is limited by many factors. To this end, we build mathematical model which is abstracted from real access mode of users in consideration of multi-cloud and edge. This paper presents a method combined NSGAII with multi-group method which has better ability of global search to help users determine cloud and edge services to store and access data object. A large number of experiments using real service provider information demonstrate that the proposed algorithm outperforms existing methods and effectiveness of it. © 2020 IEEE.

关键词： Multiobjective optimization

来源：评论

学校读者我要写书评

暂无评论

Hand-based biometrics fusing palmprint and finger-knuckle-print

Hand-based biometrics fusing palmprint and finger-knuckle-pr...

引用

1st International Workshop on Emerging Techniques and Challenges for Hand-Based Biometrics, ETCHB 2010

作者： Shen, Linlin Bai, Li Ji, Zhen Shenzhen Key Laboratory of Embedded System Design School of Computer Science and Software Engineering Shenzhen University Shenzhen China School of Computer Science University of Nottingham Nottingham United Kingdom

ISBN: (纸本)9781424470655

Although biometrics technology has progressed substantially, its performance is still to be improved for real applications. This paper aims to improve the accuracy of personal identification, when only single sample is registered as template, by integrating multiple hand-based biometrics, i.e. palmprint and finger-knuckle-print. To make fusion much easier, the same feature, so called fusion code, and decision level fusion strategy are used. Experimental results show that much better performance than single modal biometrics has been achieved. © 2010 IEEE.

关键词： Biometrics

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：