“核心电子器件、高端通用芯片及基础软件产品”国家科技重大专项(2009ZX01043-001-06)

作品数：5被引量：23H指数：2
导出分析报告
相关作者：吕建曹春胡昊宋巍马晓星更多>>
相关机构：南京大学河海大学南京理工大学解放军理工大学更多>>
相关期刊：《小型微型计算机系统》《软件学报》《计算机工程与科学》《计算机科学》更多>>
相关主题：图文法软件体系结构高效性可视化语言上下文相关更多>>
相关领域：自动化与计算机技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-5
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
上下文相关图文法的表达能力分析被引量：3
《软件学报》2012年第7期1635-1655,共21页邹阳 吕建 曹春 胡昊 宋巍 杨启亮 
国家自然科学基金(61021062;61170089;61003019);国家重点基础研究发展计划(973)(2009CB320702);核高基重大专项(2009ZX01043-001-06);河海大学中央高校基本科研业务费(2009B21914)
上下文相关图文法是描述可视化语言的形式化工具.为了直观地刻画并高效地分析可视化语言,已有图文法形式框架均着重于文法形式和分析算法的研究,而忽略了对它们之间表达能力的分析.在对已有上下文相关图文法形式框架的关键特征进行分析...
关键词：可视化语言 上下文相关 图文法 表达能力 转换算法 
一种基于OCL的体系结构一致性验证环境被引量：2
《计算机科学》2012年第S3期409-414,共6页曹流 曹春 
国家973计划(2009CB320702);科技部核高基项目(2009ZX01043-001-06);国家自然科学基金项目(60973044)资助
在软件体系结构的相关研究中,如何保证软件体系结构的一致性成为了很重要的课题。提出了一种基于OCL的体系结构一致性验证方法,通过建模之前的对体系结构的约束进行定义,建模过程中和建模过程后对体系结构模型的一致性验证,来保证最终...
关键词：软件体系结构 一致性验证 OCL 
过程感知信息系统中过程的动态演化被引量：18
《软件学报》2011年第3期417-438,共22页宋巍 马晓星 胡昊 吕建 
国家自然科学基金(60736015;60973044;61003019);国家重点基础研究发展计划(973)(2009CB320702);国家高技术研究发展计划(863)(2009AA01Z117);核高基重大专项(2009ZX01043-001-06)
支持过程模型的动态修改并将过程模型的修改传播到当前正在运行的过程实例上,是柔性过程感知信息系统的基本要求.过程实例迁移是应对过程感知信息系统中过程动态演化的主流技术途径,它将尚未执行结束的过程实例动态地迁移到修改后的过...
关键词：过程感知信息系统 过程模型 动态演化 过程实例迁移:正确性 高效性 
并行性挖掘的图文法方法
《小型微型计算机系统》2011年第2期271-278,共8页邹阳 吕建 曾晓勤 
"核高基"科技重大专项(2009ZX01043-001-06)资助;国家"九七三"重点基础研究发展规划项目(2009CB320702)资助;国家"八六三"高技术研究发展计划项目(2007AA01Z178)资助;河海大学中央高校基本科研业务费(2009B21914)资助;河海大学自然科学基金项目(2009421011)资助
并行性分析技术一般通过对程序的控制与数据流图或相关依赖图的分析来实现,因而需要从程序中抽取出相应依赖图的算法的支持.本文基于上下文相关图文法RGG形式框架,定义了一种任务级的并行编程图语言GPPL来直接描述顺序或并行程序的控制...
关键词：并行性挖掘 上下文相关图文法 图语言 并行性分析算法 
Artemis-COOR:一个基于Agent的软件动态协同支撑平台
《计算机工程与科学》2010年第5期1-5,9,共6页曹春 马晓星 陶先平 
国家自然科学基金资助项目(60736015);国家863计划资助项目(2009AA01Z117);国家973计划资助项目(2009CB320702);"核高基"国家重大科技专项资助项目(2009ZX01043-001-06)
针对开放网络环境下软件协同应用需求,本文提出了一种基于Agent的软件动态协同模型。该模型以软件实体的Agent封装为基础,通过Agent运行时刻重解释以软件体系结构表达的协同逻辑和Agent间的多模式交互技术,实现对动态协同的支持。面向...
关键词：动态软件协同 软件AGENT 软件体系结构 多模式交互 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部