首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   3篇
  完全免费   7篇
  自动化技术   10篇
  2006年   1篇
  2005年   4篇
  2004年   3篇
  2003年   2篇
排序方式: 共有10条查询结果,搜索用时 31 毫秒
1
1.
一种高效可靠的移动Agent间通信机制   总被引:13,自引:0,他引:13       下载免费PDF全文
周竞扬  陈韬略  陈道蓄  吕建 《软件学报》2003,14(8):1470-1480
作为未来分布式系统的一种主流计算模式,移动Agent技术具有广阔的研究前景.协作与通信是移动Agent系统必不可少的组成部分.然而由于Agent的移动性和自主性,现有研究工作所提出的移动Agent间通信机制在可靠性尤其是有效性上存在着一定的不足,如不能够在底层理想地解决通信失效等问题.针对上述问题,设计了一种具有高度自适应性的消息传递机制--EMFS(efficiently message forwarding scheme).该协议在Agent寻址上采取指针寻址和集中式寻址相结合的方式;而对于通信失效的解决则采用了以检测法为主,辅以同步的方法,从而能够在彻底解决通信失效的基础上,较大地提高整个通信系统的性能.此外还对协议的主要参数进行了讨论,从理论上分析比较了EMFS的性能,并给出了模拟实验数据,说明了协议的正确性和高效性.  相似文献
2.
移动Agent系统通信失效问题研究   总被引:8,自引:0,他引:8       下载免费PDF全文
The Mobile Agent is thought to be the popular computing model for the next generation's distributed sys-tem. The mobile agent has the following key features: autonomy, collaboration, security and especially mobility. Agood communication model for mobile agents cooperation is also necessary. In this article, after describing the maincommunication mechanisms, we analyze the methods to solve Agent Tracking and Communication Failure and make classification. We also propose a reliable and efficient mechanism named MEFS which uses Detecting methods and then analyze its performance by giving the experimental data at the end.  相似文献
3.
基于关系的两维意向结构   总被引:6,自引:0,他引:6       下载免费PDF全文
从建构agent角度出发,提出了一个基于关系结构的包括agent意向、信念以及目标等认知状态的框架.在此框架中,实现目标的意向形成了两维序结构,其中一维表示意向间的时序关系,另一维表示意向间的相干关系,在此基础上,研究了信念、意向和目标的相互关系.因为摒弃了传统的用模态算子来刻画agent的意向的方法,所以在构建agent时,可以直接采用意向库以及意向间的时序、相干关系来表示agent的意向,从而缩小了agent理论模型与实际agent结构之间的差异,为agent结构的建立提供了必要的理论基础.  相似文献
4.
移动Agent系统的一个因果保序通信协议   总被引:1,自引:0,他引:1  
陈韬略  韩亮  陶先平  吕建 《计算机工程》2005,31(7):120-121,154
讨论了移动Agent系统通信中因果序的保持问题。在界定系统模型和基本假定的基础上,对已有的Agent通信协议做了扩充,给出了一个支持因果保序的新协议。此协议对Agent数目的动态变化具有良好的适应性,较好地解决了移动所带来的影响。  相似文献
5.
一个移动进程演算的互模拟同余定义框架   总被引:1,自引:0,他引:1       下载免费PDF全文
并发计算模型是理论计算机科学研究的重要领域之一。以π演算为代表的移动进程演算是目前并发理论的研究热点。互模拟等价定义是移动进程演算研究中的核心概念和问题,而传名机制使得移动进程演算中的互模拟同余关系更加复杂和有趣。本文在分析了常见的互模拟同余定义的基础上,通过抽取定义的核心要素,提出了一个三维的互模拟同余定义模型,从而将一般文献中常见的互模拟定义纳入到一个统一的框架中来,加深了我们对移动进程演算中互模拟概念的理解;同时本文利用这个模型,系统分析了各种互模拟之阿的关系。模型的优点在于它的普适性和开放性。  相似文献
6.
并发计算模型是计算机科学研究的重要问题之一.π演算作为一个并发计算模型,是一种重要的移动进程演算,其中的进程通过发送通信链接互相交互.与传统的进程代数如CCS相比,π演算有着更为良好的代数性质和表达能力.正如λ演算能够描述所有的可计算函数,π演算也有同样的能力.本文提出了一个方法,据此可以把自然数和函数描述为进程,从而证明了π演算有足够的能力描述所有的可计算函数,同时还说明了与λ演算相比,π演算有着更高的计算效率.  相似文献
7.
移动计算是在网络技术发展过程中涌现出来的一种新的分布计算范型.移动环境演算是一种广为使用的描述移动计算的形式化模型.安全环境演算为每个动作原语增加了一个相应的协动作原语,从而解决了强干扰问题.然而,SA的语法定义在直觉上并不能很好地描述out原语的协动作,同时其代数性质也存在一些缺陷.针对这些问题,一方面调整了SA的归约关系,将出入动作的语义统一在“进入时检查”这一约定之下,使其更符合直觉含义.在此基础上,通过采用Honda—Yoshida的技术,定义开接口互模拟等价关系,修正了SA代数性质上的缺陷,并通过一个防火墙的饲子说明了改进的安全环境演算及其行为等价关系的合理性.  相似文献
8.
鲁平  胡昊  陈韬略  吕建 《计算机科学》2004,31(3):154-157
CMM(软件能力成熟模型)是一个管理和改进软件过程质量的软件过程模型。为了提高基于CMM的软件过程质量,应有效地支持和监视软件过程的实施。CPMS(基于CMM的过程管理系统)是一个分布式过程支持系统,它支持软件过程的自动实施。本文基于设计模式描述了CPMS中通用通讯服务器的设计与实现。这种设计与实现不仅允许通讯服务器对不同的应用提供不同的功能,而且对设计其它通讯服务器也提供指导。  相似文献
9.
空间逻辑作为一个模态逻辑,能很好地描述分布式系统的行为和空间属性。其中,逻辑公式的有效性、可满足性及模型检测问题的可判定性已经得到广泛的研究。本文即是关于空间逻辑可判定性的一个综述,为此首先提出一个空间逻辑的定义框架,据此可以构造各种空间逻辑,并对它们的可判定性进行考察,从而指出影响空间逻辑的可判定性的关键因素。  相似文献
10.
随着Internet的发展,服务化和Web化趋势使得一个基于Web的分布式软件服务计算环境正在形成;同时随着大规模应用需求的不断涌现,单个的Web服务往往不能很好地满足一些复杂的应用。因此Web服务之间的集成组装就显得尤为重要。分析Web服务的交互和协同行为可以发现,分布性和并发性是基于软件服务分布计算系统的本质特征。这就往往使得组装的正确性难以得到保证,从而需要提供一定的手段加以支持;同时,基于软件服务分布计算系统的效率问题也值得关注。我们认为,利用偏序关系对这些问题加以处理是一种理想和有效的手段;而同时我们发现,在服务的组装中,服务与服务之间存在着一种自然的偏序关系。本文基于此,从形式化的角度研究了软件服务及其组装,提出了一种基于偏序事件多集的Web服务的形式化模型。本文从服务内部事件而不仅仅是服务的角度来考察并发问题,这使服务内和服务问的更多的事件可以并行执行,并使得组装后的系统可以更高效地进行实施,从而使得Web服务的并发拉度变细;在此基础上给出了一种服务组装语言和规则,以确保在组装过程中出现的局部变化不影响整体的Web服务的正确组装,从而能够从形式化的角度来规范Web服务的集成组装,使其正确性和效率能够得到保证。  相似文献
1
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号