国家重点基础研究发展计划(2005CB321802)

作品数：15被引量：58H指数：4
导出分析报告
相关作者：王戟毛新军陈火旺常志明齐治昌更多>>
相关机构：国防科学技术大学中南林业科技大学涉外学院中国国防科技信息中心并行与分布处理国防科技重点实验室更多>>
相关期刊：《电子学报》《计算机研究与发展》《计算机应用研究》《小型微型计算机系统》更多>>
相关主题：软构件指向基于AGENT系统面向AGENT软件工程操作语义更多>>
相关领域：自动化与计算机技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
面向代数规约测试谓词/变迁网
《小型微型计算机系统》2011年第9期1804-1809,共6页余波 
国家"九七三"重点基础研究发展计划项目(2005CB321802)资助;湖南省教育厅高校教学改革项目(2010-495)资助
针对谓词/变迁网缺乏有效的形式化验证分析技术,基于代数规约测试谓词/变迁网方法,给出谓词/变迁网转换成代数规约语言CASOCC-WS表示的基调的规则,提出基于测试充分性准则深度优先遍历谓词/变迁网生成变迁触发序列的算法和由变迁触发序...
关键词：代数规约 可行路径 谓词/变迁网 变迁触发序列 测试充分性准则 
应用Petri网改进BPEL程序的正确性被引量：2
《计算机应用研究》2011年第9期3348-3350,3367,共4页余波 
国家重点基础研究发展计划资助项目(2005CB321802);湖南省教育厅高校教学改革资助项目(2010-428)
为了解决BPEL组合服务的正确性保证问题,提出一种基于Petri网改善组合服务的正确性的集成方法。提出将BPEL程序转换成由PNML表示的Petri网的规则,实现由BPEL程序转换成Petri网和基于Petri网导出变迁触发序列的算法,借助一个开源工具PIPE...
关键词：组合WEB服务 可执行流程语言 PETRI网 变迁触发序列 
自适应网构软件的集成开发环境SADE被引量：3
《电子学报》2010年第B02期207-212,共6页毛新军 李学斯 尹俊文 董孟高 胡翠云 吴斌 
国家863高技术研究发展计划(No.2007AA01Z135);国家自然科学基金(No.60773018);国家973重点基础研究发展规划(No.2005CB321802)
网构软件通常驻留在动态、开放的环境中，需根据环境变化展示自适应和自演化能力，代表了一类复杂系统.如何有效支持这类软件系统的开发是软件工程面临的一项重要挑战.本文介绍了一个基于Agent的网构软件集成开发环境SADE，它建立在一...
关键词：网构软件 AGENT 自适应 SADE ODAM 
基于XQuery扩展的异构语义Web服务发现
《计算机工程与科学》2010年第10期97-101,121,共6页魏登萍 王挺 王戟 
国家自然科学基金资助项目(60403050;90612009);新世纪优秀人才计划资助项目(NCET-06-0926);国家973计划资助项目(2005CB321802)
语义Web服务发现作为分布式计算的前提和关键,备受研究者关注。多种语义Web服务描述语言的存在给异构语义Web服务的发现带来了挑战。本文提出了一种支持异构语义Web服务描述语言的发现框架i XQuery。该框架从两个方面扩展XQuery,使其支...
关键词：语义WEB服务 XQUERY 本体 异构 服务发现 
补偿通信顺序进程的扩展及失败发散语义
《计算机工程与科学》2010年第3期89-95,110,共8页陈振邦 王戟 齐治昌 
国家973计划资助项目(2005CB321802);自然科学基金资助项目(90612009;60803042)
补偿通信顺序进程(cCSP)是通信顺序进程用于长事务建模的扩展,可用来描述服务计算中的编制程序,比如WS-BPEL程序。目前,cCSP只有操作语义和基于迹的指称语义,对死锁和发散行为的推理支持不够。本文扩展了cCSP,引入新的组合操作子,给出扩...
关键词：补偿通信顺序进程 指称语义 失败发散语义 代数规则 
空指针解引用错误检测的静态方法研究被引量：2
《计算机工程与科学》2009年第3期92-96,共5页徐厚峰 马晓东 
国家自然科学基金资助项目(60725206;60673118;90612009);国家863计划资助项目(2006AA01Z429);国家973计划资助项目(2005CB321802);新世纪优秀人才计划资助项目(NCET-04-0996)
空指针解引用是C语言中的一类常见的动态内存错误。Manevich R等提出了一种适用于检测空指针解引用错误的后向分析方法。本文将后向分析的思想和流敏感、上下文敏感的指针分析结合在一起,给出了一种需求驱动的空指针解引用检测静态分析...
关键词：空指针解引用 指向图 后向分析 指针分析 
虚拟计算环境中基于资源池的资源聚合机制被引量：6
《计算机工程与科学》2009年第3期122-127,共6页樊华 沈锐 王戟 
国家973计划资助项目(2005CB321802)
虚拟计算环境中存在着极为丰富的资源,但由于其系统的动态性与自治性特点非常突出,系统服务质量很难得到保证。本文提出一种基于资源池的资源聚合方法,即根据应用需求将所需资源聚合成资源池,并以资源池的形式为用户提供服务,使得在任...
关键词：虚拟计算环境 资源聚合 资源池 服务质量 
SUIF2平台下MOD分析算法的设计与实现
《计算机工程与科学》2009年第1期81-84,共4页马晓东 徐厚峰 王戟 
国家自然科学基金资助项目(60725206;60673118;90612009);国家863计划资助项目(2006AA01Z429);国家973计划资助项目(2005CB321802);新世纪优秀人才计划资助项目(NCET-04-0996)
MOD问题是指在进行过程调用时哪些信息可能在被调用的过程中被修改。针对C语言,本文提出了一种基于流敏感、上下文敏感指针分析结果的MOD分析算法。该算法通过计算表达式在指向图中的左值,得到所有可能被修改的内存位置,从而计算出所有...
关键词：MOD分析 指向图 指针分析 
一种软构件依赖关系的拓扑布局算法被引量：4
《计算机工程与科学》2008年第5期56-58,共3页陈杰 文艳军 王戟 
国家自然科学基金资助项目(90612009);国家863计划资助项目(2006AA01Z429);国家973计划资助项目(2005CB321802)
本文提出了一种圆环型的有向图拓扑布局算法,能够清晰地展示软构件之间的相互依赖关系,有助于设计人员更好地理解和分析多构件系统中构件间依赖关系的整体态势,进而优化系统结构,提高系统性能,实现高效的软构件组装。
关键词：圆环型布局算法 依赖关系 软构件组装 
描述逻辑关于CBox的推理复杂性被引量：1
《计算机工程与科学》2008年第2期131-134,共4页于洋 王戟 陈火旺 
国家973计划资助项目(2005CB321802)
本文证明基础描述逻辑ALC关于CBox推理是非确定指数完全的。这个结论说明了描述逻辑关于CBox推理是一致地困难。本文还指出了哪些DL对于基数约束的数字编码是敏感的。
关键词：描述逻辑 基数约束 计算复杂性 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部