江苏省自然科学基金(BK2006712)

作品数：20被引量：149H指数：5
导出分析报告
相关作者：吕建马晓星陶先平胡昊徐锋更多>>
相关机构：南京大学计算机软件新技术国家重点实验室更多>>
相关期刊：《计算机与数字工程》《南京大学学报（自然科学版）》《计算机应用研究》《计算机应用》更多>>
相关主题：BPEL信任管理凭证移动AGENTPETRI网更多>>
相关领域：自动化与计算机技术建筑科学更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
层次化网关转发的agent迁移技术与应用
《南京大学学报（自然科学版）》2010年第2期169-178,共10页吴晓 马骏 陶先平 吕建 
国家“973”计划(2002CB312002);“863”计划(2007AA01Z178,2006AA01Z159);国家自然科学基金(60736015,60721002);江苏省自然科学基金(BK2006712)
随着互联网的日益普及,形式各样的网络应用层出不穷.移动agent计算模式是一种灵活的分布计算模式和程序设计风范,给网络应用的设计、实现和维护都带来了较大的灵活性.移动agent技术的推广和使用,要求agent能够在网络上任意节点之间迁移...
关键词：移动agent迁移 层次化网络编址 网关转发 
Intel Bensley平台下前端总线竞争对访存密集型程序的性能影响分析被引量：1
《南京大学学报（自然科学版）》2010年第2期149-158,共10页毛晓炜 陶先平 何万青 
国家“863”计划(2007AA01Z178);江苏省自然科学基金(BK2006712)
对称多处理(symmetric multiprocessor,SMP)机群系统因其优越的性价比和良好的可扩展性,已经成为当今高性能计算的主流结构.其中,单节点采用Intel双路四核平台已经逐渐成为目前高性能计算服务器的主流平台.由于一个CPU的四个核心共享一...
关键词：访存密集型应用 BENSLEY 前端总线 地址总线利用率 数据总线利用率 
智能空间的资源管理及其应用研究被引量：8
《南京大学学报（自然科学版）》2010年第1期77-84,共8页张璟璟 汪亮 陶先平 吕建 
国家“973”计划(2002CB312002);“863”计划(2007AA01Z178,2007AA01Z140,2006AA01Z159);国家自然科学基金(60736015,60721002,60603034,60403014);江苏省自然科学基金(BK2006712)
资源管理是智能空间关键技术之一,其研究也得到了广泛的关注.本文在Jini技术的基础上,以智能空间中的漫游打印为应用背景,提出了一种有效的智能空间的资源管理解决方案.该方案中,资源被抽象为服务,由属性、接口等描述;空间中服务动态地...
关键词：智能空间 资源管理 资源映射 资源仲裁 漫游打印 
基于对象Petri网的BPEL建模技术被引量：2
《计算机工程》2009年第2期74-75,78,共3页林强 胡昊 吕建 
国家"973"计划基金资助项目(2002CB312002);国家"863"计划基金资助项目(2007AA01Z178;2007AA01Z140;2006AA01Z159);国家自然科学基金资助项目(60736015;60721002;60603034;60403014);江苏省自然科学基金资助项目(BK2006712)
讨论了通过对象Petri网对业务过程执行语言(BPEL)进行建模,提供一种从抽象BPEL过程扩展生成可执行BPEL过程的方法,该方法保证生成的可执行BPEL过程遵循抽象BPEL过程定义的业务协议,并通过BPEL2OPN对建模结果进行仿真。
关键词：对象PETRI网 业务过程执行语言 行为继承 
一种动态服务组合技术及其支撑系统被引量：2
《计算机科学》2008年第12期234-238,共5页虞建杰 马晓星 吕建 
国家自然科学基金(60403014);教育部新世纪人才项目(NCET-07-0419);江苏省自然科学基金(BK2006712);江苏省六大人才高峰项目的支持
Web服务组合现已成为软件研究和实践热点之一。目前虽已出现多种Web服务组合模型和描述语言,但是面对开放分布多变的Internet网络环境,这些模型和语言在应对变化的动态性支持方面仍显不足,尤其是缺乏从协作全局对动态性的支持。在分析...
关键词：服务组合 动态性 协作性 WS-CDL BPEL 
基于随机对象Petri网的柔性制造系统性能分析
《计算机工程》2008年第20期49-51,共3页殷仍 胡昊 吕建 
国家"973"计划基金资助项目(2002CB312002);国家"863"计划基金资助项目(2006AA01Z159);国家自然科学基金资助项目(60233010;60403014;60603034);江苏省自然科学基金资助项目(BK2006712)
为了增强传统对象Petri网的定量分析能力,提出随机对象Petri网模型。该模型具备随机性和层次特性,获得与随机Petri网的等价关系,从宏观和微观2个层面对系统进行性能分析,并将该模型应用到柔性制造系统中。实验结果表明,该系统保留了面...
关键词：对象PETRI网 随机PETRI网 随机对象Peri网 
基于进程代数的软件动态演化模型初探被引量：1
《计算机与数字工程》2008年第10期63-69,共7页张凌浩 马晓星 
863计划(编号:2006AA01Z159)项目;江苏省自然科学基金(编号:BK2006712);江苏省六大人才高峰项目资助
许多软件系统由于需求和执行环境的变化,都需要在运行时动态的演化。因此确保软件在演化时以及演化后可以正确的执行变得十分重要。最近ZhangJi提出一种基于状态的软件动态演化模型,论文尝试建立一种基于进程代数的动态演化模型,并主要...
关键词：动态演化 进程代数 CCS 模型检验 
一种基于不变量的从工作流网到PERT图的转换方法被引量：8
《电子学报》2008年第5期893-898,共6页葛季栋 胡昊 吕建 
国家自然科学基金(No.60721002,No.60736015,No.60403014,No.60603034);国家973重点基础研究发展规划(No.2002CB312002);国家863高技术研究发展计划重点项目(No.2006AA01Z159,No.2006AA01Z177,No.2007AA01Z178,No.2007AA01Z140);江苏省自然科学基金(No.BK2006712)
工作流管理系统为现代企业提供了一种协同工作环境,可以管理企业的业务过程,并提高企业的商业竞争能力.为了有效管理业务过程的进度,需要提供一种基于工作流过程模型的进度估算方法.基于Petri网的工作流网模型难以直接估算工作流过程模...
关键词：工作流 PETRI网 过程建模 合理性 不变量 PERT图 
软件服务多模式交互中间件模型及其支撑技术被引量：1
《中国科学（E辑）》2008年第4期504-518,共15页陶先平 马晓星 吕建 余萍 周宇 
国家重点基础研究发展规划(批准号:2002CB312002);国家自然科学基金(批准号:60403014);江苏省自然科学基金(批准号:BK2006712)资助项目
软件服务在开放环境下具有独立性、多样性、裁剪性等特点,支持软件服务的多模式交互中间件的研究尤为重要.提出了一种基于agent的软件服务多模式交互中间件模型.该模型包括一个支持交互模式编程的层次式交互特征分解/综合模型、基于agen...
关键词：开放环境 多模式交互 移动AGENT 交互模式编程 可编程协同媒体 
普适计算中基于移动代理的应用follow-me迁移技术被引量：1
《计算机应用研究》2008年第4期1160-1163,1177,共5页余萍 马晓星 周宇 陶先平 吕建 
国家“973”计划资助项目(2002CB312002);国家“863”计划资助项目(2006AA01Z159);国家自然科学基金资助项目(60403014);江苏省自然科学基金资助项目(BK2006712)
为了更好地利用普适计算环境中的计算资源、减少人为干预、提高工作效率,提出了应用的follow-me迁移需求,即计算可以随着用户的移动在异构设备和计算环境中移动,让移动中的用户能够体验到不间断的计算。提出了基于移动代理的普适计算中...
关键词：普适计算 跟踪迁移 移动代理 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部