国家重点基础研究发展计划(2002CB312002)

作品数：140被引量：1194H指数：16
导出分析报告
相关作者：吕建王志坚陶先平陆桑璐马晓星更多>>
相关机构：南京大学河海大学上海交通大学扬州大学更多>>
相关期刊：《计算机研究与发展》《中国科技论文》《计算机工程》《自动化学报》更多>>
相关主题：移动AGENTWEB服务软件体系结构无线传感器网络PETRI网更多>>
相关领域：自动化与计算机技术电子电信水利工程自然科学总论更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于用户需求的构件行为测试
《高技术通讯》2010年第7期727-732,共6页李良明 王志坚 刘磊 
863计划(2007AA01Z178);973计划(2002CB312002)资助项目
针对基于构件的软件开发过程中构件的使用者难以验证构件的动态行为这一问题,提出了一种基于用户需求的构件行为测试方法。用接口自动机为构件的行为建模,研究如何根据模型和用户需求对构件进行测试的问题。首先通过对行为模型的分析,...
关键词：构件测试 构件行为 测试序列 基于模型的测试 
Research on transformation from UML statechart to interface automata被引量：1
《High Technology Letters》2010年第2期152-156,共5页李良明 Wang Zhijian Tang Longye 
This paper studies the problem of deriving an interface automata model from UML statechart, in which, interface automata is a formaliged model for describing component behavior in an open system, but there is no unive...
关键词：model transformation interface automata （IA） UML stateehart 
构件功能行为测试的研究被引量：5
《小型微型计算机系统》2010年第4期686-690,共5页李良明 王志坚 唐龙业 
国家"八六三"高技术研究发展计划项目(2007AA01Z178)资助;国家"九七三"重点基础研究发展计划项目(2002CB312002)资助
由于构件的内部信息屏蔽和演变速度快等特点,使用者在验证构件所提供的功能与其需求是否真正一致时往往比较困难.我们用接口自动机为构件的行为建模,研究构件功能行为的测试问题.首先提出基于简单运行的测试准则,然后介绍了从构件模型...
关键词：构件测试 构件行为 测试序列 基于模型的测试 
层次化网关转发的agent迁移技术与应用
《南京大学学报（自然科学版）》2010年第2期169-178,共10页吴晓 马骏 陶先平 吕建 
国家“973”计划(2002CB312002);“863”计划(2007AA01Z178,2006AA01Z159);国家自然科学基金(60736015,60721002);江苏省自然科学基金(BK2006712)
随着互联网的日益普及,形式各样的网络应用层出不穷.移动agent计算模式是一种灵活的分布计算模式和程序设计风范,给网络应用的设计、实现和维护都带来了较大的灵活性.移动agent技术的推广和使用,要求agent能够在网络上任意节点之间迁移...
关键词：移动agent迁移 层次化网络编址 网关转发 
智能空间的资源管理及其应用研究被引量：8
《南京大学学报（自然科学版）》2010年第1期77-84,共8页张璟璟 汪亮 陶先平 吕建 
国家“973”计划(2002CB312002);“863”计划(2007AA01Z178,2007AA01Z140,2006AA01Z159);国家自然科学基金(60736015,60721002,60603034,60403014);江苏省自然科学基金(BK2006712)
资源管理是智能空间关键技术之一,其研究也得到了广泛的关注.本文在Jini技术的基础上,以智能空间中的漫游打印为应用背景,提出了一种有效的智能空间的资源管理解决方案.该方案中,资源被抽象为服务,由属性、接口等描述;空间中服务动态地...
关键词：智能空间 资源管理 资源映射 资源仲裁 漫游打印 
基于Web服务生命周期的测试技术研究进展被引量：2
《计算机科学》2009年第6期29-34,62,共7页李雯睿 王志坚 毛莺池 
国家自然科学基金(60573098);国家863计划重点项目(2007AA01Z178);国家973子课题(2002CB312002)资助
Web服务是一种新的分布式计算范型——面向服务的体系结构的具体实现之一。然而,Web服务的松耦合、动态性和可组合性等特点给Web服务测试带来了极大的挑战。如何寻求高效的Web服务测试技术和开发实用的测试工具,是当今软件业界一个亟待...
关键词：WEB服务 Web服务生命周期 测试 
基于可用性模型的志愿计算被引量：3
《计算机工程》2009年第3期18-20,共3页王宇 王志坚 黄晓萍 王从明 
国家自然科学基金资助项目(60573098);国家"973"计划基金资助项目(2002CB312002);江苏省科技基金资助项目(BK2006168)
对志愿提供空闲计算资源为目的的高性能计算技术来说,资源提供者的可用性在一定范围内具有规律性和周期性。该文介绍用Hurst重标度和分形学理论分析CPU可用序列的方法,并应用该方法研究了志愿者可用性序列动态变化的分形特性。实验表明...
关键词：志愿计算 可用性模型 XtremWeb平台 
基于对象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网 业务过程执行语言 行为继承 
Web服务组合语义一致性验证研究被引量：3
《计算机集成制造系统》2009年第1期202-208,共7页王志坚 程永上 徐经纬 
国家自然科学基金资助项目(60573098);国家973计划资助项目(2002CB312002);江苏省自然科学基金资助项目(BK2006168)~~
通过分析Web服务组合正确性验证方法,给出了与Web服务组合相对应的语义Petri网。使用语义Petri网不但可以描述Web服务组合过程,而且能够进行Web服务组合的正确性验证。提出了Web服务组合语义一致性所包含的内容,给出了其相应验证算法。...
关键词：WEB服务组合 语义 PETRI网 一致性 服务质量 
基于随机对象Petri网的柔性制造系统性能分析
《计算机工程》2008年第20期49-51,共3页殷仍 胡昊 吕建 
国家"973"计划基金资助项目(2002CB312002);国家"863"计划基金资助项目(2006AA01Z159);国家自然科学基金资助项目(60233010;60403014;60603034);江苏省自然科学基金资助项目(BK2006712)
为了增强传统对象Petri网的定量分析能力,提出随机对象Petri网模型。该模型具备随机性和层次特性,获得与随机Petri网的等价关系,从宏观和微观2个层面对系统进行性能分析,并将该模型应用到柔性制造系统中。实验结果表明,该系统保留了面...
关键词：对象PETRI网 随机PETRI网 随机对象Peri网 
全选清除导出
共14页<12345678910>
检索报告 对象比较 聚类工具 使用帮助 返回顶部