国家高技术研究发展计划(863-306-ZT02-04-01)

作品数：7被引量：39H指数：2
导出分析报告
相关作者：刘建宾郝克刚杨斌岳晓丽唐稚松更多>>
相关机构：汕头大学西北大学中国科学院软件研究所汕头大学医学院第一附属医院更多>>
相关期刊：《计算机工程与设计》《计算机工程与应用》《计算机研究与发展》《软件学报》更多>>
相关主题：抽象逻辑结构图程序设计有效性XYZ/EPASCAL语言更多>>
相关领域：自动化与计算机技术经济管理更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-7
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
最优化问题算法模式的研究被引量：2
《计算机工程与应用》2005年第23期27-31,共5页刘建宾 田振宇 郭伟斌 郝克刚 
广东省自然科学基金项目(编号:032027);国家863高技术研究发展计划项目(编号:863-306-ZT02-04-01)
论文在对最优化问题的结构和实例进行严格描述的基础上,提出一种沿算法框架、算法模式再到具体算法的路线来解决最优化算法设计问题的方法。文中对算法模式概念进行了重新定义,给出求解最优化问题的一个算法框架,以及从该算法框架导出...
关键词：最优化问题 算法框架 算法模式 算法设计 
基于XYZ/E描述和验证容错系统被引量：5
《软件学报》2002年第5期913-920,共8页郭亮 唐稚松 
国家863高科技发展计划资助项目(863-306-ZT02-04-01);国家九五重点科技攻关项目(98-780-01-07-01)~~
研究使用XYZ/E描述和验证容错系统.基于XYZ/E中可执行程序P对应的状态转换系统对其错误环境F建模,通过错误转换给出错误影响程序PF;基于P,F和恢复算法R,通过容错转换给出容错程序PF-R;定义了程序P,Q之间两种求精关系:容错求精和向后恢...
关键词：验证 容错系统 时序逻辑语言 XYZ/E语言 软件系统 
PASCAL过程蓝图到抽象逻辑结构图的逆向映射
《计算机工程与设计》2002年第3期1-4,7,共5页刘建宾 李小英 
国家863高科技项目(863-306-ZT02-04-01); 汕头大学"211"工程项目
给出PASCAL过程蓝图逻辑结点到抽象逻辑结构图概念结点的逆向映射规则，并通过构造与双向映射规则集表示等价的双向映射关系图,揭示了两个映射规则集之间的关系和特性。在定义概念层表示与PASCAL逻辑层表示之间双向映射函数的有效性概...
关键词：过程蓝图 抽象逻辑结构图 有效性 程序设计 PASCAL语言 逆向映射 
抽象逻辑结构图C++逻辑程序到概念程序的逆向映射
《计算机工程与应用》2002年第2期73-75,共3页刘建宾 
国家863高技术研究发展计划项目(编号:863-306-ZT02-04-01);汕头大学"211"工程项目
文章给出C++过程蓝图逻辑程序表示到抽象逻辑结构图概念程序表示的逆向映射规则。在定义概念结点与C++逻辑结点之间双向映射函数的有效性概念基础上,进一步给出双向映射函数的有效性定理及其证明。
关键词：C++过程蓝图 抽象逻辑结构图 有效性 程序设计 逻辑程序 概念程序 逆向映射 
抽象逻辑结构图导出PASCAL过程蓝图的方法被引量：1
《计算机工程与设计》2001年第3期24-27,共4页刘建宾 郝克刚 
国家863项目(863-306-ZT02-04-01);国家自然科学基金项目(60073050)
概念层抽象逻辑结构图是一种不依赖于程序实现语言的概念算法描述工具。文中给出概念抽象逻辑结构图到ＰＡＳＣＡＬ过程蓝图的平滑过渡方法及概念结点到逻辑结点的映射规则，给出了抽象逻辑结构图程序表示的有效性定义，导出ＰＡＳＣＡ...
关键词：抽象逻辑结构图 PASCAL语言 程序设计 有效性 平滑过渡 
基于时态逻辑的软件体系结构描述语言及其可视化环境被引量：4
《计算机工程与应用》2001年第5期14-16,共3页张广泉 郑建丹 骆华俊 
国家自然科学基金!(60073020);国家"九五"攻关项目!(98-780-01-07-01);863高科技项目!(863-306-ZT02-04-01)::中科
在时态逻辑语言XYZ／E的基础上，建立了一种以可视化图形表示的软件体系结构描述语言XYZ／ADL．它可同时描述软件体系结构的静态与动态行为，能在统一的形式框架下完成不同抽象层次体系结构设计之间的逐步过渡，从而将模块化程序设计方...
关键词：时态逻辑 XYZ/E 软件体系结构 体系结构描述语言 可视化 
信牌驱动式工作流计算模型被引量：27
《计算机研究与发展》2000年第12期1513-1519,共7页岳晓丽 杨斌 郝克刚 
国家"八六三"高技术研究发展计划基金资助(项目编号863-306-ZT02-04-01)
近年来 ,随着计算机和网络的广泛使用 ,支持复杂业务过程 ,以实现业务流程自动化为目标的工作流管理系统引起了研究机构及 IT产业界越来越多的关注 .工作流的自动化执行依赖于业务流程的形式化描述 ,从而保证流程参与者之间的协同工作...
关键词：工作流 工作流模型 流程定义 活动 计算模型 PETRI网 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部