您的位置： 专家智库 > >

国家自然科学基金(60273034)

作品数：17 被引量：277H指数：5
相关作者：吕建陈韬略陶先平韩婷婷徐锋更多>>
相关机构：南京大学香港理工大学更多>>
发文基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划更多>>
相关领域：自动化与计算机技术轻工技术与工程电子电信更多>>

文献类型

  • 17篇期刊文章
  • 4篇会议论文

领域

  • 20篇自动化与计算...
  • 1篇电子电信
  • 1篇轻工技术与工...

主题

  • 3篇移动AGEN...
  • 3篇软件工程
  • 3篇进程代数
  • 2篇信任管理
  • 2篇移动计算
  • 2篇移动进程演算
  • 2篇软件体系结构
  • 2篇体系结构
  • 2篇通信
  • 2篇可判定性
  • 2篇环境演算
  • 2篇WEB
  • 2篇INTERN...
  • 1篇动态重配置
  • 1篇多模式
  • 1篇序关系
  • 1篇移动AGEN...
  • 1篇因果
  • 1篇英文
  • 1篇有限状态自动...

机构

  • 21篇南京大学
  • 1篇香港理工大学

作者

  • 21篇吕建
  • 11篇陈韬略
  • 8篇陶先平
  • 8篇韩婷婷
  • 6篇颜锋
  • 3篇徐锋
  • 3篇韩亮
  • 2篇赵洁
  • 2篇冯扬悦
  • 2篇曹春
  • 2篇胡昊
  • 2篇马晓星
  • 2篇李斌
  • 1篇杨玫
  • 1篇俞春
  • 1篇韩皓
  • 1篇许婷
  • 1篇曹建农
  • 1篇胡海洋
  • 1篇陈沙寻

传媒

  • 7篇计算机科学
  • 3篇南京大学学报...
  • 2篇武汉大学学报...
  • 1篇电子学报
  • 1篇计算机学报
  • 1篇计算机工程
  • 1篇软件学报
  • 1篇中国科学（E...

年份

  • 1篇2006
  • 11篇2005
  • 5篇2004
  • 2篇2003
  • 2篇2002
共 17 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
部分状态空间的建模及其验证
＜正＞ 1 引言模型检测技术使用状态空间搜索的方法来全自动地检验一个有穷状态系统是否满足其设计规约,进而提高软件的安全性和正确性。然而随着目前软件系统规模的日益增大,在早期（如需求分析阶段）无法获取系统完整的信息,这就导...
韩婷婷陈韬略颜锋吕建
文献传递
Cogent后组装技术研究与实现被引量：17
2002年
构件组装技术是构件软件的核心技术之一.本文分析了当前构件组装机制的现状及几个有代表性的构件组装机制的不足之处,然后提出了一种基于移动Agent技术的构件组装技术,它利用后组装技术弥补了传统连线机制中构件组装机构改动困难、构件装配欠灵活的弱点.其方法足通过提出的组调用表与定位表的概念,实现构件功能体与组装机制的分离,各自独立开发与编译.最后本文通过一个实例说明了Cogent构件后组装技术的特点.
胡海洋杨玫陶先平吕建
关键词：移动AGENT软件工程构件组装技术
鲁棒环境演算类型演化系统的扩充(英文)被引量：2
2004年
移动计算是在网络技术发展过程中涌现出来的一种新的分布计算范型,移动环境演算是一种广为使用的描述移动计算的形式化模型,鲁棒环境演算是针对这种演算的一种改进。文献[2]提出了类型演化问题,然而其研究只是针对不含有通信原语的纯演算进行。在[2]的基础上,进一步讨论了此问题。通过引入消息类型和消息体类型,并将之与原有的进程类型和环境类型相结合,提出了一个支持类型演化的能够对带有消息传递的进程项类型化的类型系统,从而将[2]的工作扩充到整个鲁棒环境演算中。证明了类型系统的正确性。同时给出了一个最小类型算法,在给定类型上下文的条件下,算法能够计算出任意进程项的类型;并证明了算法的可靠性和完备性。
陈韬略冯扬悦吕建韩婷婷
关键词：进程代数环境演算
一种基于Agent技术的Web Services匹配模型的研究
2005年
Web Services是当前Web应用的一种新的模式。Internet将成为一个真正的分布式的计算平台,其上的服务可以协作完成某一任务,并且Web将成为可编程的。Web Services的发现是很重要的,因此有必要研究web Services的匹配。在本文中,我们提出了一种基于Agent的Web Services的两层次匹配模型。
卞昭娟任晓鑫陶先平吕建
关键词：AGENT技术WEB
有限状态自动机的移动进程演算模拟
＜正＞ 1 引言计算模型一直是计算机科学研究的重要问题之一。随着计算机技术和网络技术的发展,并发已成为新一代计算范型的本质特征,对并发本质的把握有着重要的理论和现实意义。目前,对并发计算模型的研究主要集中在并发系统的形式...
陈韬略韩婷婷颜锋吕建
关键词：SIMULATION
文献传递
基于移动agent的软件实体适配技术研究被引量：1
2005年
在开放的Internet平台上,通过对已有软件实体进行集成以构建应用系统成为一种重要的软件开发方法.其中软件适配技术是关键技术之一.传统适配技术对Internet这个开放平台上的软件集成的支持存在欠缺,主要表现在对可组合、可重用、可配置和可移动的支持不够.利用agent的移动性和封装能力,提出了一种基于移动agent技术的适配方法.提出了一个统一的agent集成框架及其支撑技术,有效支持软件适配内容的封装和运行.在该框架中,对适配的一个重要方面———组合实体———进行了探讨.最后介绍了移动agent适配技术的系统实现.
赵洁韩亮陶先平吕建
关键词：适配移动AGENT
移动Agent系统的一个因果保序通信协议被引量：1
2005年
讨论了移动Agent系统通信中因果序的保持问题。在界定系统模型和基本假定的基础上,对已有的Agent通信协议做了扩充,给出了一个支持因果保序的新协议。此协议对Agent数目的动态变化具有良好的适应性,较好地解决了移动所带来的影响。
陈韬略韩亮陶先平吕建
关键词：移动AGENTAGENT通信
基于Agent的网构软件模型研究被引量：51
2005年
以开放网络环境下的网构软件需求为切入点,基于软件Agent的原理、方法和技术,系统分析了基于面向对象方法学的经典软件结构模型及其支撑技术的限制,提出了一种开放协同软件模型来作为网构软件的基础模型.结合其关键支撑技术的研究,提出了基于移动Agent的协同程序设计技术、多模式交互机制及基于Agent中间件模型和面向体系结构的协同程序设计方法,并探讨其在主流软件技术中的应用,初步形成了一种适合于开放网络环境需求的技术框架体系.在此基础上,提出了一条建立基于Agent的网构软件模型的技术途径,即网构软件模型=开放协同模型+环境驱动模型+智能可信模型,从而为进一步的研究工作奠定了基础.
吕建陶先平马晓星胡昊徐锋曹春
关键词：软件工程面向对象网构软件软件AGENT
一种基于中介的适应性软件协同环境的设计与实现被引量：5
2005年
Internet平台的发展为软件协同带来了巨大的挑战。Internet平台要求软件协同及中间件能够适应Internet之上软件的多样性,复杂性和多变性。而传统的软件协同存在协同模式单一的不足,不具有适应性和灵活性的特点,难以适应网络环境和用户需求的变化。本文在Internet软件协同研究背景下,基于共享空间协同技术,设计并实现了一个基于中介的适应性协同环境,为Internet平台提供了良好的中介协同支撑。
许婷俞春陶先平吕建
关键词：中介适应性元组协同环境适应性中介NET平台协同技术
复制受限的环境演算中模态逻辑的内涵性
2004年
环境演算(MA)的模态逻辑AL进行了研究.在考虑了复制操作和限制操作的情况下,提出了逻辑等价的协归纳操作描述,并利用协归纳关系与进程结构同余关系进行比较,证明了若对MA加上约束条件得到子集MAsynIF,此时逻辑等价(=L)与结构同余关系是等价的,即AL在MAsynIF中是内涵的.同时发现由于复制操作的存在,AL的内涵性受到了影响,使得AL的区分能力被削弱,但通过对复制公式的构造验证了AL的表达能力.
颜锋陈韬略韩婷婷吕建
关键词：移动计算进程代数模态逻辑内涵性同余关系
全选 清除 导出
共3页<123>
聚类工具0