陈韬略

作品数：18被引量：38H指数：4
导出分析报告
供职机构：南京大学计算机科学与技术系计算机软件新技术国家重点实验室更多>>
发文主题：进程代数移动计算环境演算移动进程演算移动AGENT更多>>
发文领域：自动化与计算机技术文化科学电子电信更多>>
发文期刊：《高技术通讯》《武汉大学学报（理学版）》《南京大学学报（自然科学版）》《小型微型计算机系统》更多>>
所获基金：国家高技术研究发展计划国家自然科学基金国家重点基础研究发展计划江苏省自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
空间逻辑的一个定义框架及其可判定性被引量：2
《计算机科学》2006年第6期7-10,共4页颜锋 陈韬略 韩婷婷 吕建 
国家重点基础研究发展规划973项目(2002CB312002);863项目(2002AA116010);国家自然科学基金(60273034)。
空间逻辑作为一个模态逻辑,能很好地描述分布式系统的行为和空间属性。其中,逻辑公式的有效性、可满足性及模型检测问题的可判定性已经得到广泛的研究。本文即是关于空间逻辑可判定性的一个综述,为此首先提出一个空间逻辑的定义框架,据...
关键词：移动计算 分布式计算 空间逻辑 可判定性 定义框架 
递归函数的π可定义性及其实现研究被引量：1
《小型微型计算机系统》2005年第10期1749-1753,共5页颜锋 陈韬略 韩婷婷 吕建 
国家重点基础研究发展规划"九七三"项目(2002CB312002)资助国家自然科学基金(60273034)资助国家"八六三"项目(2002AA116010)资助江苏省自然科学基金(BK2002203;BK2002409)资助.
并发计算模型是计算机科学研究的重要问题之一．π演算作为一个并发计算模型,是一种重要的移动进程演算,其中 的进程通过发送通信链接互相交互．与传统的进程代数如CCS相比,π演算有着更为良好的代数性质和表达能力．正如λ演算 能够描...
关键词：Π演算 Λ演算 π可定义性 递归函数 
同步和异步π演算的表达能力研究被引量：1
《高技术通讯》2005年第8期18-22,共5页韩婷婷 陈韬略 颜锋 吕建 
国家重点基础研究发展计划(973计划)，国家高技术研究发展计划(863计划)，国家自然科学基金
以π演算为框架,通过研究同步和异步通信机制,澄清了各个算子对语言表达能力的影响.给出了一个编码,它以同步π演算作为编码的源语言,异步π演算作为对应的目标语言,在同步π演算中保留match算子、全复制算子、并行算子和受限算子以及...
关键词：同步π演算 异步π演算 编码 表达能力 语言表达能力 Π演算 异步 同步 通信机制 复制算子 
移动Agent系统的一个因果保序通信协议被引量：1
《计算机工程》2005年第7期120-121,154,共3页陈韬略 韩亮 陶先平 吕建 
国家重点基础研究发展规划"973"计划基金资助项目(2002CB312002);国家自然科学基金资助项目(60273034);国家"863"计划基金资助项目(2001AA113110;2002AA116010);江苏省自然科学基金资助项目(BK2002203;BK2002409)
讨论了移动Agent系统通信中因果序的保持问题。在界定系统模型和基本假定的基础上,对已有的Agent通信协议做了扩充,给出了一个支持因果保序的新协议。此协议对Agent数目的动态变化具有良好的适应性,较好地解决了移动所带来的影响。
关键词：移动AGENT AGENT通信 因果序 保序协议 
一种改进的安全环境演算及其行为等价关系研究
《小型微型计算机系统》2005年第6期1037-1041,共5页韩婷婷 陈韬略 吕建 马骞 
国家重点基础研究发展规划"九七三"项目(2002CB312002)资助;国家自然科学基金(60273034;60233010)资助;国家"八六三"高科技项目(2002AA116010)资助.
移动计算是在网络技术发展过程中涌现出来的一种新的分布计算范型.移动环境演算是一种广为使用的描述移动计算的形式化模型.安全环境演算为每个动作原语增加了一个相应的协动作原语,从而解决了强干扰问题.然而,SA的语法定义在直觉上并...
关键词：移动计算 进程代数 安全环境演算 上下文互模拟 
一个基于偏序事件结构的Web服务模型及其形式化组装
《计算机科学》2005年第5期8-12,共5页韩婷婷 陈韬略 颜峰 吕建 
国家重点基础研究发展规划973项目(2002CB312002);国家自然科学基金(60273034);863项目(2002AA116010);江苏省自然科学基金(BK2002203;BK2002409).
随着Internet的发展,服务化和Web化趋势使得一个基于Web的分布式软件服务计算环境正在形成;同时随着大规模应用需求的不断涌现,单个的Web服务往往不能很好地满足一些复杂的应用。因此Web服务之间的集成组装就显得尤为重要。分析Web服务...
关键词：事件 服务模型 WEB服务 Internet 分布计算系统 软件服务 结构 偏序关系 基于Web 形式化模型 计算环境 WEB化 应用需求 本质特征 效率问题 并行执行 局部变化 组装过程 正确性 分布式 服务化 并发性 分布性 集成 交互 
鲁棒环境演算中的互模拟同余关系
《南京大学学报（自然科学版）》2005年第2期155-161,共7页陈韬略 李斌 韩婷婷 吕建 
国家重点基础研究发展规划973项目(2002CB312002);国家自然科学基金(60273034;60233010;60403014);国家863高科技项目(2002AA116010);江苏省自然科学基金(BK2002203;BK2002409)
　移动计算是在网络技术发展过程中涌现出来的一种新的分布计算范型,移动环境演算是一种广为使用的描述移动计算的形式化模型.针对这种演算的一种改进———鲁棒环境演算,提出了一个新的标号转移系统,并在此基础上引进了一种互模拟同余...
关键词：进程代数 环境演算 标号转移系统 互模拟 
面向半结构化数据的树逻辑及其性质研究
《南京大学学报（自然科学版）》2005年第2期162-170,共9页韩婷婷 陈韬略 俞春 吕建 
国家重点基础研究发展规划973项目(2002CB12002);国家自然科学基金(60273034;60233010;60403014);国家863高科技项目(2002AA116010);江苏省自然科学基金(BK2002203;BK2002409)
　半结构化数据正以其灵活性而成为解决Internet环境下互操作语义层面问题的重要工具和网络数据交换格式的标准.从基础理论层面上对版结构化数据进行研究,在考察了进程代数和空间逻辑的有关结果后,从模型和逻辑系统的角度对半结构化数...
关键词：半结构化数据 树逻辑 不可判定性 模型检测 
鲁棒环境演算类型演化系统的扩充(英文)被引量：2
《南京大学学报（自然科学版）》2004年第5期531-539,共9页陈韬略 冯扬悦 吕建 韩婷婷 
National Natural Science Foundation of China(60273034,60233010),the National High-Tech Research and Development Plan of China(2002AA116010),the 973 Program of China (2002CB312002)
移动计算是在网络技术发展过程中涌现出来的一种新的分布计算范型,移动环境演算是一种广为使用的描述移动计算的形式化模型,鲁棒环境演算是针对这种演算的一种改进。文献[2]提出了类型演化问题,然而其研究只是针对不含有通信原语的纯演...
关键词：进程代数 环境演算 类型演化 类型系统 
复制受限的环境演算中模态逻辑的内涵性
《武汉大学学报（理学版）》2004年第5期595-600,共6页颜锋 陈韬略 韩婷婷 吕建 
国家重点基础研究发展规划973项目资助(2002CB312002);国家自然科学基金资助项目(60273034);江苏省自然科学基金资助项目(BK2002203;BK2002409)
环境演算(MA)的模态逻辑AL进行了研究.在考虑了复制操作和限制操作的情况下,提出了逻辑等价的协归纳操作描述,并利用协归纳关系与进程结构同余关系进行比较,证明了若对MA加上约束条件得到子集MAsynIF,此时逻辑等价(=L)与结构同余关系是...
关键词：移动计算 进程代数 移动环境演算 模态逻辑 内涵性 同余关系 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部