公共文化服务平台

陈韬略: 作品数：23 被引量：64H指数：4; 供职机构：南京大学计算机科学与技术系计算机软件新技术国家重点实验室更多>>; 发文基金：国家高技术研究发展计划国家自然科学基金国家重点基础研究发展计划更多>>; 相关领域：自动化与计算机技术文化科学电子电信更多>>

合作作者

基于关系的两维意向结构(英文)被引量：7: 2004年; 从建构agent角度出发,提出了一个基于关系结构的包括agent意向、信念以及目标等认知状态的框架.在此框架中,实现目标的意向形成了两维序结构,其中一维表示意向间的时序关系,另一维表示意向间的相干关系,在此基础上,研究了信念、意向和目标的相互关系.因为摒弃了传统的用模态算子来刻画agent的意向的方法,所以在构建agent时,可以直接采用意向库以及意向间的时序、相干关系来表示agent的意向,从而缩小了agent理论模型与实际agent结构之间的差异,为agent结构的建立提供了必要的理论基础.; 李斌李斌朱朝晖陈韬略吕建; 关键词：AGENT理论 AGENT结构 BDI模型

移动进程演算中的若干理论和应用问题研究: The Internet has grown substantially in recent years，and an increasing number of applications are now being d...; 陈韬略; 关键词：移动进程演算程序语言; 文献传递

移动Agent系统的一个因果保序通信协议被引量：2: 2005年; 讨论了移动Agent系统通信中因果序的保持问题。在界定系统模型和基本假定的基础上,对已有的Agent通信协议做了扩充,给出了一个支持因果保序的新协议。此协议对Agent数目的动态变化具有良好的适应性,较好地解决了移动所带来的影响。; 陈韬略韩亮陶先平吕建; 关键词：移动AGENT AGENT通信

一个刻画Agent自主性的框架被引量：8: 2004年; 自主性是agent最显著的特征 ,为了在理论上指导自主agent的设计和构造 ,促进基于agent的软件系统的开发 ,建立了一个刻画agent自主性的框架 .首先 ,在分析现有的agent自主性定义的基础上 ,总结了自主agent应具备的最小能力需求 ;然后 ,介绍用于描述agent的语言 ,agent的心智状态及其表示 ;在此基础上 ,提出一个自主agent的框架 ;最后。; 李斌李斌陈韬略; 关键词：AGENT理论心智状态情境演算

表达式元性理论形式系统的扩充及其强标准化性质被引量：1: 2004年; 在 [1 ]所给出的Martin_L f表达式元性理论形式系统的基础上 ,通过引入所谓的引用表达式和协引用表达式的形式表示 ,对其进行了扩充 .同时证明了扩充形式系统的强标准化定理 .; 陈韬略李斌吕建

一个移动进程演算的互模拟同余定义框架: 2004年; 并发计算模型是理论计算机科学研究的重要领域之一。以π演算为代表的移动进程演算是目前并发理论的研究热点。互模拟等价定义是移动进程演算研究中的核心概念和问题,而传名机制使得移动进程演算中的互模拟同余关系更加复杂和有趣。本文在分析了常见的互模拟同余定义的基础上,通过抽取定义的核心要素,提出了一个三维的互模拟同余定义模型,从而将一般文献中常见的互模拟定义纳入到一个统一的框架中来,加深了我们对移动进程演算中互模拟概念的理解;同时本文利用这个模型,系统分析了各种互模拟之间的关系。模型的优点在于它的普适性和开放性。; 陈韬略李斌胡昊吕建; 关键词：移动进程演算计算机科学

面向体系结构的软件服务平台ARTEMIS-ARC: 吕建马晓星陶先平徐峰胡昊张建莹费翔林余萍曹春周宇马骞胡海洋陈韬略许婷俞春; Internet平台上的应用系统的网络化和软件作为服务的发展趋势导致了 Internet网络环境下软件系统的生存形态、组建方式和使用方式发生了根本的变化。基于 Internet的面向服务的协同应用系统在对开放动态的网络计...; 关键词：; 关键词：体系结构

一种改进的安全环境演算及其行为等价关系研究: 2005年; 移动计算是在网络技术发展过程中涌现出来的一种新的分布计算范型.移动环境演算是一种广为使用的描述移动计算的形式化模型.安全环境演算为每个动作原语增加了一个相应的协动作原语,从而解决了强干扰问题.然而,SA的语法定义在直觉上并不能很好地描述out原语的协动作,同时其代数性质也存在一些缺陷.针对这些问题,一方面调整了SA的归约关系,将出入动作的语义统一在“进入时检查”这一约定之下,使其更符合直觉含义.在此基础上,通过采用Honda-Yoshida的技术,定义开接口互模拟等价关系,修正了SA代数性质上的缺陷,并通过一个防火墙的例子说明了改进的安全环境演算及其行为等价关系的合理性.; 韩婷婷陈韬略吕建马骞; 关键词：移动计算进程代数

同步和异步π演算的表达能力研究被引量：1: 2005年; 以π演算为框架,通过研究同步和异步通信机制,澄清了各个算子对语言表达能力的影响.给出了一个编码,它以同步π演算作为编码的源语言,异步π演算作为对应的目标语言,在同步π演算中保留match算子、全复制算子、并行算子和受限算子以及输入输出前缀,而异步π演算保留lazy复制算子、并行算子、受限算子、输入前缀以及没有后继的输出消息.研究结果证明了编码在接口互模拟关系下是完全抽象的,从而证明了编码的正确性.进一步说明了在不考虑不确定选择算子的情况下同步通信机制和异步通信机制的等价性,并为π演算的实现提供了理论依据.; 韩婷婷陈韬略颜锋吕建; 关键词：语言表达能力 Π演算异步通信机制

移动Agent系统通信失效问题研究被引量：14: 2003年; 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 makeclassification. We also propose a reliable and efficient mechanism named MEFS which uses Detecting methods andthen analyze its performance by giving the experimental data at the end.; 周竞扬陈韬略许平陆桑璐陈道蓄; 关键词：移动AGENT系统通信失效人工智能 INTERNET