国家高技术研究发展计划(2006AA01Z159)
- 作品数：12 被引量：85H指数：6
- 相关作者：吕建陶先平马晓星徐锋王远更多>>
- 相关机构：南京大学更多>>
- 发文基金：国家高技术研究发展计划国家自然科学基金国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 智能空间的资源管理及其应用研究被引量：8
- 2010年
- 资源管理是智能空间关键技术之一,其研究也得到了广泛的关注.本文在Jini技术的基础上,以智能空间中的漫游打印为应用背景,提出了一种有效的智能空间的资源管理解决方案.该方案中,资源被抽象为服务,由属性、接口等描述;空间中服务动态地加入或离开由发现和加入协议、异步事件通知机制和租用机制等来完成;资源的映射和冲突调度由资源映射和资源仲裁机制完成.最后给出了一个智能空间的漫游打印应用及其实现情况,并与相关工作进行了比较.
- 张璟璟汪亮陶先平吕建
- 关键词：资源管理资源映射
- 面向C2C的基于声誉的信任模型设计与分析被引量：15
- 2007年
- 现有的信任模型或基于信任链,不能充分利用门户网站上丰富的推荐信息;或缺乏对推荐信息有效性的分析,不能很好地应对信任炒作和诽谤。将以往模型进行改进,对推荐信息采用长期分析和短期分析结合的方法,充分利用了推荐信息,并能有效应对信任炒作和诽谤,可以更好地辅助C2C电子交易系统的用户进行决策。
- 荆博贤徐锋王远吕建
- 关键词：C2C电子商务信任
- 基于进程代数的软件动态演化模型初探被引量：1
- 2008年
- 许多软件系统由于需求和执行环境的变化,都需要在运行时动态的演化。因此确保软件在演化时以及演化后可以正确的执行变得十分重要。最近ZhangJi提出一种基于状态的软件动态演化模型,论文尝试建立一种基于进程代数的动态演化模型,并主要以原文中的实例为基础,通过进程代数对其进行建模以及分析,为最终建立此模型积累一定的经验。
- 张凌浩马晓星
- 关键词：进程代数CCS
- 一种基于运行时体系结构的BPEL支撑环境被引量：6
- 2006年
- 为了使BPEL描述的组合服务能够根据动态的网络环境和多变的用户需求而动态演化,在我们已有工作的基础上,提出一种基于运行时体系结构的BPEL支撑环境.其核心在于引入一个运行时体系结构对象来刻画组合服务的体系结构,并用其解耦组合服务与其成员之间的引用关系,从而通过对该对象的修改引起组合服务与其成员之间交互行为的重解释,实现组合服务的动态演化.在此支撑环境上开发了一个简单的应用实例以展示动态调整的效果.
- 马骞虞建杰马晓星吕建
- 关键词：BPEL软件体系结构
- 一个基于移动Agent的面向Web服务的信任管理引擎设计与实现被引量：1
- 2006年
- 目前大部分已实现的信任管理系统主要存在如下问题:(1)实现没有遵循Web服务规范,难以应用于基于Web服务的应用系统安全保障;(2)其核心部分信任管理引擎的运行效率较低,往往无法满足高度变化的应用环境对安全决策及时性的要求.为此,我们遵行Web服务规范,基于移动Agent技术,使用java语言实现了一个高效的,面向Web服务的信任管理引擎以较好地满足开放、动态环境中基于Web服务的应用系统的安全保障需求.信任管理引擎的主要工作是截获用户向web服务提出的访问请求,派出移动Agent进行信任链的发现以判断该访问请求是否合法.其中信任链的发现部分采用信任链双向搜索算法实现,以提高整个引擎的运行效率.
- 潘静徐锋王远张林吕建
- 关键词：WEB服务信任管理凭证移动AGENT
- 基于随机对象Petri网的柔性制造系统性能分析
- 2008年
- 为了增强传统对象Petri网的定量分析能力,提出随机对象Petri网模型。该模型具备随机性和层次特性,获得与随机Petri网的等价关系,从宏观和微观2个层面对系统进行性能分析,并将该模型应用到柔性制造系统中。实验结果表明,该系统保留了面向对象的建模能力,具有较强的定量分析能力。
- 殷仍胡昊吕建
- 关键词：对象PETRI网随机PETRI网
- 层次化网关转发的agent迁移技术与应用
- 2010年
- 随着互联网的日益普及,形式各样的网络应用层出不穷.移动agent计算模式是一种灵活的分布计算模式和程序设计风范,给网络应用的设计、实现和维护都带来了较大的灵活性.移动agent技术的推广和使用,要求agent能够在网络上任意节点之间迁移;但是由于Internet中存在大量的私有网络,且现阶段agent适移技术在支撑agent自由穿越各个私有网络方面存在不足,制约了基于移动agent的应用的普及.针对这一问题,本文提出了一个"层次化网关转发agent迁移方案".在该方案中,本文根据网络的拓扑结构提出了互联网络节点"层次化网络编址",并在此基础上给出了"地址解析/转发算法".此外,为了消除此方案对网关、代理服务器等关键节点的依赖,本文给出了基于"配对转发服务"的实现方案,在保证透明性的前提下完成逻辑上的网关功能,进一步增强"层次化网关转发agent迁移方案"的灵活性和实用性.最后,本文给出了基于此荐技术的一个"文件同步软件"应用实例实现.
- 吴晓马骏陶先平吕建
- 一种信任管理系统中层次式monitor机制的设计与实现被引量：4
- 2007年
- 信任链发现是信任管理的主要内容.由于在分布式环境中凭证分布于各个节点,并且对于相同或相似的请求现有的信任链发现算法需要大量重复的通信和计算开销进行凭证的搜集和验证,极大地影响了信任关系验证的效率.在分布式信任链发现算法的基础上,结合网络中的信任关系相对稳定的特点,基于缓存的原理实现了一个可扩展的层次式monitor机制用于保存信任链发现过程中产生的中间结果,并且采用订阅机制保证其有效性,从而有效避免对相似的信任关系验证而产生的重复通信和计算开销.实验表明,采用该机制的分布式信任链发现算法在信任关系相对稳定的情形下具有较高的效率.
- 张林徐锋王远吕建
- 关键词：信任管理凭证缓存
- 面向网构软件的环境驱动模型与支撑技术研究被引量：24
- 2008年
- 以开放网络环境下的网构软件需求为切入点,在前期基于Agent的网构软件模型等工作的基础上,分析了环境驱动的网构软件系统的行为模式和技术需求,提出了一个面向网构软件的环境驱动结构模型;以环境上下文建模、管理与使用为核心,研究了一系列相关的关键支撑技术,并构建了若干实验原型系统;初步形成了一种可适用于构建可自主感知并自动适应开放网络环境的软件系统需要的技术框架体系,从而在网构软件模型的研究上取得了进一步的进展.
- 吕建马晓星陶先平曹春黄宇余萍
- 关键词：软件工程网构软件上下文自适应
- 一种基于不变量的从工作流网到PERT图的转换方法被引量：9
- 2008年
- 工作流管理系统为现代企业提供了一种协同工作环境,可以管理企业的业务过程,并提高企业的商业竞争能力.为了有效管理业务过程的进度,需要提供一种基于工作流过程模型的进度估算方法.基于Petri网的工作流网模型难以直接估算工作流过程模型的进度与工期,而在传统的项目进度计划中,PERT图是一种成熟的技术,为此,本文在工作流网的基础上增加了时间的概念,基于LMST-不变量的分解技术,提出了一种将LMST-不变量分解得到的子网转换为PERT图的算法,由此达到估算工作流过程模型的进度与工期的目的.
- 葛季栋胡昊吕建
- 关键词：工作流PETRI网不变量PERT图
