您的位置: 专家智库 > >

国家自然科学基金(60403014)

作品数:12 被引量:69H指数:5
相关作者:吕建马晓星陶先平余萍胡昊更多>>
相关机构:南京大学更多>>
发文基金:国家自然科学基金国家重点基础研究发展计划江苏省自然科学基金更多>>
相关领域:自动化与计算机技术建筑科学电子电信更多>>

文献类型

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

领域

  • 15篇自动化与计算...
  • 1篇电子电信
  • 1篇建筑科学

主题

  • 3篇普适计算
  • 2篇移动AGEN...
  • 2篇中间件
  • 2篇上下文
  • 2篇开放环境
  • 2篇BPEL
  • 1篇代理
  • 1篇动态性
  • 1篇对象网
  • 1篇信任管理
  • 1篇移动代理
  • 1篇移动进程演算
  • 1篇隐私
  • 1篇隐私保护
  • 1篇映射
  • 1篇有限状态自动...
  • 1篇支撑环境
  • 1篇中间件模型
  • 1篇软件工程
  • 1篇软件体系结构

机构

  • 13篇南京大学
  • 1篇计算机软件新...

作者

  • 14篇吕建
  • 7篇陶先平
  • 5篇马晓星
  • 3篇余萍
  • 3篇胡昊
  • 2篇虞建杰
  • 2篇周宇
  • 1篇李兴宇
  • 1篇王远
  • 1篇徐锋
  • 1篇葛季栋
  • 1篇韩皓
  • 1篇曹春
  • 1篇陆闻天
  • 1篇陈韬略
  • 1篇张璟璟
  • 1篇汪亮
  • 1篇陈沙寻
  • 1篇马骞
  • 1篇黄宇

传媒

  • 2篇电子学报
  • 2篇计算机工程与...
  • 2篇中国科学(E...
  • 2篇Scienc...
  • 1篇计算机研究与...
  • 1篇南京大学学报...
  • 1篇计算机应用研...
  • 1篇计算机科学

年份

  • 1篇2010
  • 7篇2008
  • 6篇2006
  • 2篇2005
12 条 记 录,以下是 1-10
排序方式:
智能空间的资源管理及其应用研究被引量:8
2010年
资源管理是智能空间关键技术之一,其研究也得到了广泛的关注.本文在Jini技术的基础上,以智能空间中的漫游打印为应用背景,提出了一种有效的智能空间的资源管理解决方案.该方案中,资源被抽象为服务,由属性、接口等描述;空间中服务动态地加入或离开由发现和加入协议、异步事件通知机制和租用机制等来完成;资源的映射和冲突调度由资源映射和资源仲裁机制完成.最后给出了一个智能空间的漫游打印应用及其实现情况,并与相关工作进行了比较.
张璟璟汪亮陶先平吕建
关键词:资源管理资源映射
有限状态自动机的移动进程演算模拟
<正> 1 引言计算模型一直是计算机科学研究的重要问题之一。随着计算机技术和网络技术的发展,并发已成为新一代计算范型的本质特征,对并发本质的把握有着重要的理论和现实意义。目前,对并发计算模型的研究主要集中在并发系统的形式...
陈韬略韩婷婷颜锋吕建
关键词:SIMULATION
文献传递
一种动态服务组合技术及其支撑系统被引量:2
2008年
Web服务组合现已成为软件研究和实践热点之一。目前虽已出现多种Web服务组合模型和描述语言,但是面对开放分布多变的Internet网络环境,这些模型和语言在应对变化的动态性支持方面仍显不足,尤其是缺乏从协作全局对动态性的支持。在分析既有服务组合方式及其特点的基础上给出了一个解决方案,它通过一种动态协同模型综合了服务编排和服务编制的优点,在保持与主流技术和平台的兼容性的同时增强了对组合服务动态性的支持。还实现了相应的支撑系统,并在其上实现了一个应用示例。
虞建杰马晓星吕建
关键词:动态性协作性WS-CDLBPEL
一种基于运行时体系结构的BPEL支撑环境被引量:6
2006年
为了使BPEL描述的组合服务能够根据动态的网络环境和多变的用户需求而动态演化,在我们已有工作的基础上,提出一种基于运行时体系结构的BPEL支撑环境.其核心在于引入一个运行时体系结构对象来刻画组合服务的体系结构,并用其解耦组合服务与其成员之间的引用关系,从而通过对该对象的修改引起组合服务与其成员之间交互行为的重解释,实现组合服务的动态演化.在此支撑环境上开发了一个简单的应用实例以展示动态调整的效果.
马骞虞建杰马晓星吕建
关键词:BPEL软件体系结构
一个开放环境中信任链发现算法的设计与分析被引量:2
2006年
信任管理是解决开放环境安全问题的新方法,而信任链发现算法是信任管理系统的核心内容,与其所处理凭证的存储方式及凭证所表达的授权形式有关.基于给定的与dRBAC基本一致的授权形式,给出了一个凭证存储于签发者的信任链发现算法.主要考虑到签发者能够方便地保存签发的凭证以及对其有效性负责,凭证存储于签发者,能避免凭证的分发以及有效性验证所产生的网络通信开销,并有效防止凭证所包含的敏感信息的泄露.与dRBAC系统比较,基于此算法实现的信任管理系统具有较为简单的结构.另外,实验结果表明该算法执行效率较高.
徐锋王远张林吕建
关键词:开放环境信任管理凭证
软件服务多模式交互中间件模型及其支撑技术被引量:1
2008年
软件服务在开放环境下具有独立性、多样性、裁剪性等特点,支持软件服务的多模式交互中间件的研究尤为重要.提出了一种基于agent的软件服务多模式交互中间件模型.该模型包括一个支持交互模式编程的层次式交互特征分解/综合模型、基于agent的中间件结构模型和基于自省技术的可编程协同媒体.其中,交互特征分解/综合模型可通过交互特征的分解和综合支持程序人员进行多种已有交互模式或新模式编程;基于agent的中间件结构模型为多模式交互运行支撑提供了良好的基础框架;可编程协同媒体可有效支持基于多模式交互的软件服务协同.为验证上述方法的可行性和效率,给出了自行设计和实现的软件服务多模式协同中间件Artemis-M3C环境概况,并进行了实例测试及性能分析.结果表明上述方法是可行的,系统在多模式交互方面具有一定的实用性和效率.
陶先平马晓星吕建余萍周宇
关键词:开放环境移动AGENT
Multi-mode interaction middleware for software services被引量:1
2008年
Due to the independency, variability, and tailorability of software service in the open environment, the research of middleware which supports software services multi-mode interaction is thus of great importance. In this paper, an agent-based multi-mode interaction middleware model and its supporting system for software services were proposed. This model includes an interaction feature decomposition and configuration model to enable interaction programming, an agent-based middleware model, and a programmable coordination media based on reflection technology. The decomposition and configuration model for interaction features can assist programmers in interaction programming by analyzing and synthesizing interaction features. The agent-based middleware model provides a runtime framework for service multi-mode interaction. The programmable coordination media is able to effectively support software service coordination based on multimode interaction. To verify feasibility and efficiency of the above method, the design, implementation and performance analysis of Artemis-M3C, a multi-mode interaction middleware for software services, were introduced. The result shows that the above method is feasible and that the Artemis-M3C system is practical and effective in multi-mode interaction.
TAO XianPing MA XiaoXing LU Jian YU Ping ZHOU Yu
上下文感知计算研究与进展
普适计算和传统计算模式相比,它的突出优点在于上下文感知的能力,计算实体能够根据上下文环境的变化及时调整自身行为,从而把人从对计算设备的管理和输入中解放出来,使之关注要执行的任务本身。本文从软件技术的角度探讨了上下文感知计...
卜颖毅李俊陈沙寻韩皓陶先平吕建
关键词:上下文感知计算普适计算
文献传递
面向网构软件的环境驱动模型与支撑技术研究被引量:24
2008年
以开放网络环境下的网构软件需求为切入点,在前期基于Agent的网构软件模型等工作的基础上,分析了环境驱动的网构软件系统的行为模式和技术需求,提出了一个面向网构软件的环境驱动结构模型;以环境上下文建模、管理与使用为核心,研究了一系列相关的关键支撑技术,并构建了若干实验原型系统;初步形成了一种可适用于构建可自主感知并自动适应开放网络环境的软件系统需要的技术框架体系,从而在网构软件模型的研究上取得了进一步的进展.
吕建马晓星陶先平曹春黄宇余萍
关键词:软件工程网构软件上下文自适应
一种基于不变量的从工作流网到PERT图的转换方法被引量:9
2008年
工作流管理系统为现代企业提供了一种协同工作环境,可以管理企业的业务过程,并提高企业的商业竞争能力.为了有效管理业务过程的进度,需要提供一种基于工作流过程模型的进度估算方法.基于Petri网的工作流网模型难以直接估算工作流过程模型的进度与工期,而在传统的项目进度计划中,PERT图是一种成熟的技术,为此,本文在工作流网的基础上增加了时间的概念,基于LMST-不变量的分解技术,提出了一种将LMST-不变量分解得到的子网转换为PERT图的算法,由此达到估算工作流过程模型的进度与工期的目的.
葛季栋胡昊吕建
关键词:工作流PETRI网不变量PERT图
共2页<12>
聚类工具0