云南高校图书馆联盟文献共享服务平台- 国家自然科学基金(60573080)

国家自然科学基金(60573080): 作品数：11被引量：47H指数：3; 导出分析报告; 相关作者：薛锦云石海鹤石海鹏郑宇军游珍更多>>; 相关机构：江西师范大学中国科学院软件研究所中国科学院研究生院江西农业大学更多>>; 相关期刊：《计算机应用研究》《Defence Technology（防务技术）》《计算机研究与发展》《武汉理工大学学报》更多>>; 相关主题：形式化开发形式化方法PAR方法PAR循环不变式更多>>; 相关领域：自动化与计算机技术机械工程兵器科学与技术更多>>

面向PAR平台的测试用例生成技术研究被引量：3: 《微计算机信息》2009年第33期204-205,122,共3页杨乐薛锦云万韵; 基金申请人:薛锦云;项目名称:基于PAR方法和PAR平台的泛型程序设计关键技术研究;基金颁发部门:国家自然科学基金委(60573080); 测试用例的设计是软件测试中一个具有关键作用的工作,如何用较少的测试用例达到比较高的覆盖度,是需要解决的主要技术问题。本文结合现代软件测试技术中的数据驱动测试和结构驱动测试设计技术,根据PAR平台转换工具的实际测试情况,设计...; 关键词：PAR平台 PAR方法测试用例 APLA→JAVA

基于Isabelle定理证明器算法程序的形式化验证被引量：10: 《计算机工程与科学》2009年第10期85-89,共5页游珍薛锦云; 国家自然科学基金资助项目(60573080,60773054);科技部国际科技合作资助项目(2008DFA11940); 形式化验证对保证软件的正确性和可靠性具有十分重要的意义。定理机械证明是形式化验证的一个重要研究领域,Isabelle系统是一个被广泛运用的定理证明辅助工具。本文在分析Dijkstra最弱前置谓词理论的基础上,根据PAR方法开发的算法程序...; 关键词：形式化验证定理机械证明 Dijkstra最弱前置谓词理论 PAR方法算法程序定理证明器

基于PAR的算法形式化开发被引量：29: 《计算机学报》2009年第5期982-991,共10页石海鹤薛锦云; 国家自然科学基金(60573080,60773054);科学技术部国际科技合作计划项目(2008DFA11940);江西省自然科学基金(2008GQS0056)资助~~; 形式化方法是构建可信软件的重要途径.基于对算法问题的分析,针对形式化方法PAR开发算法的特征,刻划了问题分划、递推关系构造方面的规律.从一类问题的形式化功能规约出发,可机械地完成问题的分划及规约的变换,自然地揭示出求解问题的...; 关键词：算法形式化方法 PAR 规约可信软件

基于模式的并行编程环境中任务队列模式的研究与实现被引量：1: 《计算机与现代化》2008年第10期104-109,共6页于程远万剑怡陈艳琼; 国家自然科学基金资助项目"基于PAR方法和PAR平台的泛型程序设计关键技术研究"(60573080);江西省自然科学基金资助项目"曙光并行机上的新型并行程序开发环境"(0511041); 并行程序的设计是并行计算的难点之一。本文在基于模式的并行编程方法的基础上,对一种典型的并行计算与通信模式-任务队列模式进行了深入的研究,并在基于模式的并行编程环境中对该模式进行了实现。本文将通过两个典型的应用实例说明在...; 关键词：并行编程模式基于模式的并行编程环境算法模式并行结构模式任务队列模式 PVM/MPI并行编程

形式化方法Designware及其规约精化机理: 《计算机应用研究》2008年第3期721-725,728,共6页石海鹤石海鹏薛锦云; 国家自然科学基金资助项目(60573080);江西师范大学2006年度青年成长基金资助项目; 介绍了一种新的支持算法设计自动化的形式化方法Designware,详细分析了其理论基础及规约精化机理,阐述了其半自动算法设计支撑系统,并结合一个开发实例展示了Designware的具体使用,给出了Designware的两个实际应用项目,最后对Designwar...; 关键词：形式化方法Designware 规约精化算法设计高可信

一种形式化开发非递归算法的方法被引量：3: 《计算机应用研究》2007年第11期203-205,共3页石海鹤石海鹏薛锦云; 国家自然科学基金资助项目(60573080);江西师范大学2006年度青年成长基金资助项目; 提出了一种简单、统一的形式化开发非递归算法的方法。该方法直接面向非递归算法,在形式化方法PAR的指导下,使用循环不变式的开发新策略,在得到求解递归问题的循环不变式的同时,能直接得到易读、高效且可靠的非递归算法,并通过一个具体...; 关键词：形式化方法非递归 PAR 循环不变式可靠性

算法程序变换研究与进展被引量：3: 《计算机科学》2007年第11期232-238,共7页石海鹤石海鹏郑宇军薛锦云; 本文得到国家重大基础研究(973计划)前期研究专项(编号:2003CCA02800);国家自然科学基金(编号:60573080);江西省自然科学基金(编号:0511041);江西师范大学2006年度青年成长基金; 开发算法程序是计算机科学领域中最具挑战性的问题之一。为了提高算法程序的可靠性和生产效率,人们正在追求其开发的自动化。算法程序变换是实现算法程序开发自动化的重要途径,已成为程序设计方法学和软件自动化领域中的重要课题,目前...; 关键词：算法程序变换自动化形式化方法算法设计

形式化开发Hanoi塔问题非递归算法被引量：3: 《计算机工程与应用》2007年第11期96-99,共4页石海鹤石海鹏薛锦云; 国家自然科学基金(the National Natural Science Foundation of China under Grant No.60573080)。; 使用形式化方法PAR及循环不变式开发新策略,开发了Hanoi塔问题非递归算法,并对其进行了形式化的正确性证明。直接面向非递归算法,在得到求解Hanoi塔问题的循环不变式的同时,直接得到易读、高效且可靠的非递归算法。对使用形式化方法及...; 关键词：HANOI塔问题形式化方法非递归 PAR方法循环不变式

An Intelligent MMRP Constraint Programming System被引量：1: 《武汉理工大学学报》2006年第S2期668-672,共5页ZHENG Yujun~(1.2) WANG kan~3 YANG Junwei~3 1.Systems Engineering Institute of Engineer Equipment,Beijing 100093,China 2.Institute of Software,Chinese Academy of Sciences,Beijing 100080,China 3.Academy of Armored Force Engineering,Beijing 100072,China; Founded by the Natural Science Foundation of China(50235030 and 60573080); In this paper,an intelligent constraint programming system for manufacturing material resource planning (MMRP) was presented.It is aimed to tackling large,particularly combinatorial,problems during the MMRP process,wh...; 关键词：MMRP(manufacturing material RESOURCE planning) CONSTRAINT PROGRAMMING agent problem SOLVING

General-Service Ballistic Computer Programming Based on B-Method: 《Defence Technology（防务技术）》2006年第3期178-183,共6页郑宇军张子丘王金全薛锦云; Sponsored by National Natural Science Foundation （60273092, 60573080） and National Grand Fundamental Research 973 Program of China （2003CCA02800）; 关键词：抽象机精化弹道程序设计

国家自然科学基金(60573080)