国家重点基础研究发展计划(2003CCA02800)

作品数：15被引量：37H指数：4
导出分析报告
相关作者：薛锦云揭安全郑宇军胡启敏王昌晶更多>>
相关机构：江西师范大学中国科学院软件研究所江西省高性能计算技术重点实验室江西科技师范学院更多>>
相关期刊：《南昌大学学报（工科版）》《计算机工程与应用》《江西师范大学学报（自然科学版）》《微电子学与计算机》更多>>
相关主题：PAR方法形式化方法形式化推导循环不变式高可靠性更多>>
相关领域：自动化与计算机技术电子电信更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
循环不变式开发技术研究被引量：5
《计算机工程与科学》2010年第9期84-88,94,共6页万松松 薛锦云 谢武平 
国家自然科学基金资助项目(60773054);国家973计划资助项目(2003CCA02800);科技部国际科技合作项目(2008DFA11940)
高可靠性软件是当今软件开发的热点问题。确保算法程序逻辑结构正确最理想的途径是算法程序的形式化推导和证明,而循环不变式是算法程序形式推导和证明的关键。循环不变式的开发一直是算法程序设计领域中最具挑战性、最富有创造性、也...
关键词：循环不变式 PAR方法 高可靠性软件 谓词抽象 
树非递归遍历统一的新解法及其形式证明被引量：1
《江西师范大学学报（自然科学版）》2010年第2期123-127,共5页化志章 杨庆红 揭安全 
国家"973"前期预研项目(2003CCA02800);国家自然科学基金(60273092);江西省自然基金(2008GQS0056);江西省教育厅科技项目(GJJ09142)资助
提出树遍历统一的新解法,使其非递归算法像递归算法一样简单.首先以后序遍历为例,基于结点状态标记和遍历规则提取,从遍历定义导出遍历的递推公式,由此机械获得非递归算法和循环不变式,并用形式化方法证明其正确性.之后按不同遍历定义...
关键词：树遍历 非递归算法 循环不变式 
基于方面构件模型及其组装与实现被引量：1
《计算机技术与发展》2009年第4期160-162,165,共4页谢武平 薛锦云 万松松 
国家自然科学基金项目(60273092);科技部973重大基础研究发展前期专项资助项目(2003CCA02800)
将面向方面编程技术融入传统的基于构件开发方法,提出了一种基于方面的构件模型。同时探讨了基于方面构件的组装策略以及利用XML语言描述组装、编织方面化构件的处理逻辑。新的构件模型采用更加模块化的构件实现方式,从传统构件模型中...
关键词：面向方面编程 构件组装 关注点 
一种基于Java可重用部件库的多核程序开发方法被引量：1
《微电子学与计算机》2008年第9期18-20,共3页揭安全 石海鹤 薛锦云 
国家“九七三”计划项目(2003CCA02800);江西省教育厅科技项目(GJJ08155)
目前多核软件的发展远滞后于多核硬件的发展,多核程序开发的瓶颈集中在软件上.文中介绍了Apla-Java可重用部件库的设计方法,提出了一种基于该部件库的多核程序开发方法,通过实例说明了该部件能够正确应用于多核程序设计.该方法对提高多...
关键词：PAR APLA-JAVA 可重用部件 CMP 多核程序设计 
Approach of generating parallel programs from parallelized algorithm design strategies被引量：4
《The Journal of China Universities of Posts and Telecommunications》2008年第3期128-132,共5页WAN Jian-yi LI Xiao-ying 
National Natural Science Foundation of China (60773054);National Basic Research Program of China (2003CCA02800)
Today, parallel programming is dominated by message passing libraries, such as message passing interface （MPI）. This article intends to simplify parallel programming by generating parallel programs from parallelized...
关键词：parallel programming SKELETONS algorithm design strategy parallel architecture 
算法及其时间复杂度可同步形式化推导的方法被引量：3
《计算机应用研究》2008年第3期681-683,共3页王昌晶 薛锦云 
国家自然科学基金资助项目(60273092);国家“973”计划资助项目(2003CCA02800);江西省2004年教学改革课题基金资助项目;江西师范大学2005年青年成长基金资助项目
对在长期的算法研究中提出的PAR方法和PAR平台引入时间谓词加以扩展,不仅可以形式化推导出顺序查找和二分查找问题的算法程序,而且这两个问题关于时间复杂度的递归方程式也可同步且自然地推导得到。这为开发并验证高效率的算法开辟了一...
关键词：分划递推方法 形式化推导 时间复杂度 递归方程式 
基于模式的CPPVM并行编程方法被引量：2
《计算机工程》2008年第3期116-118,共3页李晓英 万剑怡 何首武 
国家“973”计划基金资助项目(2003CCA02800);江西省自然科学基金资助项目(0511041)
在对现有并行编程方法研究的基础上,提出一种基于模式的CPPVM并行编程方法。介绍该方法中并行编程模式的设计与实现,以2个典型应用实例说明使用其进行问题的并行求解与并行程序开发的过程。该方法对于降低并行程序的开发难度,提高并行...
关键词：并行编程模式 算法模式 并行结构模式 CPPVM库 PVM/MPI并行编程 
若干算法程序的形式化推导与生成技术研究被引量：7
《计算机研究与发展》2008年第z1期148-153,共6页胡启敏 薛锦云 
国家自然科学基金项目(60273092);国家“九七三”重点基础研究发展规划基金项目(2003CCA02800);江西师范大学青年成长基金项目(1323)
PAR方法基于分划与递推、量词变换规则、循环不变式开发新策略和软件转换工具,实现了复杂算法问题的形式化开发.采用PAR方法形式化推导几个典型的算法问题.通过量词变换规则对程序规约进行形式化推导,可以得到具有数学引用透明性、易于...
关键词：PAR方法 形式化推导 算法程序 递推关系 
形式推导支持的递归程序向非递归程序的转换被引量：5
《计算机工程与科学》2007年第10期145-147,F0003,共4页化志章 揭安全 李云清 薛锦云 
国家973计划资助项目(2003CCA02800);国家自然科学基金资助项目(60273092);江西省教育厅科技项目(2005-90)
本文提出一种递归消除的方法,适于一类基于递归数据结构的程序。该方法将递归程序作为初始规约,以求解过程的状态变迁序列作迭代模式;通过数据展开和变换实现初始规约向基于序列描述规约的变换,继而用PAR形式推导出序列规约的递推关系,...
关键词：算法推导 形式方法 递归程序变换 PAR方法 
电子商务协议原子性的SPIN分析
《南昌大学学报（工科版）》2007年第2期181-185,共5页王兵 肖美华 刘晓清 朱宜炳 
国家重大基础研究973计划前期预研项目(2003CCA02800);江西省自然科学基金资助项目(0411041;0611057);江西省教育厅2005年科技计划资助项目(200543)
电子商务协议的研究有利于促进电子商务的发展,电子商务协议的原子性是电子商务协议研究的重点.对NetBill协议及其原子性在开放性的环境中进行形式化描述的基础上,给出基于SPIN平台的NetBill协议模型,用LTL刻画协议需要满足的性质,用模...
关键词：电子商务协议 SPIN 原子性 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部