国家自然科学基金(69983003)

作品数：17被引量：49H指数：4
导出分析报告
相关作者：薛锦云万剑怡王明文孙永强李云清更多>>
相关机构：江西师范大学上海交通大学中国科学院软件研究所三明高等专科学校更多>>
相关期刊：《江西师范大学学报（自然科学版）》《计算机工程与设计》《计算机与现代化》《计算机工程与应用》更多>>
相关主题：设计模式软件开发并行程序设计方法循环不变式递推关系更多>>
相关领域：自动化与计算机技术理学文化科学更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种用于APLA→JAVA系统可靠性评估模型被引量：3
《昆明理工大学学报（理工版）》2009年第6期40-43,共4页杨乐 刘珊慧 薛锦云 
国家自然科学基金资助项目(项目编号:69783006和69983003)
软件可靠性问题是软件测试中的重要难题之一,由于程序语言的复杂性以及被测程序的多样性,一直没有一个好的可靠性模型来评价它.鉴于此,依据软件可靠性工程理论,参考APLA→JAVA系统的特点,提出了一种基于测试的软件可靠性评估模型,讨论...
关键词：APLA→JAVA 软件可靠性 可靠性评估 
算法形式化推导及其在软件重用中的应用被引量：1
《计算机工程》2003年第9期22-23,共2页李云清 
国家自然科学基金项目 (69983003);江西省教育厅科技项目
将形式化技术和软件复用结合是非常有意义的工作。利用规约进行变换，寻找递推关系，可以比较容易得到抽象算法。在变换中，尽可能地将有关操作抽象表示，将操作细节延迟，以适合现代软件工程的软件开发需要，对一个具体问题将得到包含...
关键词：形式化 软件重用 算法 多态性 
顺序存储的满二叉树中序遍历的非递归算法被引量：9
《江西师范大学学报（自然科学版）》2003年第4期372-375,共4页吴福英 谭罗生 王明文 
国家自然科学基金资助项目(69983003).
从中序遍历的定义出发以及满二叉树的自身特点出发,得出了关于顺序存储的满二叉树中序遍历的性质.从而推导出一种全新的、逻辑结构非常清晰的、与递归解完全等效的非递归、不需使用堆栈的算法,以及该算法在其他问题上的应用和推广.
关键词：顺序存储 满二叉树 中序遍历 非递归算法 数据结构 
一种将设计模式用于程序精化演算的并行程序设计方法研究被引量：2
《计算机研究与发展》2003年第2期318-324,共7页万剑怡 孙永强 薛锦云 
国家自然科学基金 (69983 0 0 3 )
并行程序设计是并行计算的难点之一 提出了一种将设计模式用于程序精化演算的并行程序设计方法 它通过在Z语言的Schema演算体系中扩充并行的概念和表示 ,使用设计模式 ,将问题求解和并行开发的知识进行形式化的定义与描述 ,通过扩充的S...
关键词：设计模式 程序精化演算 并行程序设计方法 面向对象 并行计算 软件开发 
一种从Z规约到并行程序的精化方法被引量：3
《软件学报》2002年第11期2106-2111,共6页万剑怡 孙永强 薛锦云 
国家自然科学基金资助项目(69983003)~~
提出了一种通过对设计模式进行精化,从Z规约开发并行程序的方法.该方法对Z语言进行了并行扩充,从Z功能规约出发,通过使用扩展的设计模式逐步精化得到并行的设计规约,再通过保持语义的转换,得到可最后转换为并行代码的抽象并行程序.通过...
关键词：Z规约 并行程序 精化方法 程序设计 
荷兰国旗问题的形式化推导及其多态性实现被引量：3
《计算机工程与设计》2002年第8期72-74,77,共4页李云清 
国家自然科学基金资助项目(No.69983003);江西省教育厅科技项目和江西师范大学科研项目。
讨论了程序功能规约变换和算法程序的形式化技术。通过功能规约变换,可以较自然地获得问题求解的递推关系,对荷兰国旗问题的求解过程显示了形式化推导在获得高效和正确的算法程序中的作用。最后,给出了问题求解的多态性实现。
关键词：形式化技术 问题求解 算法 规约 程序功能 显示 变换 推导 递推关系 正确 
计算机程序设计ICAI教学决策实验系统研究被引量：1
《计算机与现代化》2002年第8期1-5,55,共6页化志章 揭安全 薛锦云 
国家自然科学基金资助项目 (6 99830 0 3)
PAR方法是一种实用统一的形式化程序设计方法 ,并有以PAR方法为指导思想的计算机程序设计ICAI模型。本文实现该模型的教学决策部分。首先基于建构主义等认知理论以及程序设计知识的自身特点 ,研究设计了领域知识库、学生知识库和教师知...
关键词：计算机 程序设计 ICAI 教学决策实验系统 知识库 
一种基于信息测度的数据过滤方法
《南昌水专学报》2002年第2期1-6,共6页王明文 
国家自然科学基金资助项目(69983003);江西省自然科学基金资助项目(9911006)
提出一种基于信息测度对取值范围大的属性进行分划(分类)的方法,即开始对属性的值域划分为两类,其分断点为使信息获取量为最大,再划分为三类,也取其分断点(两个)为使信息获取量为最大值.当增加分类不能较多地提供信息获取量或分类数为...
关键词：数据挖掘 信息熵 互信息 数据过滤 
一种产生式系统的扩展方法被引量：3
《江西师范大学学报（自然科学版）》2002年第3期218-221,共4页陈少强 王明文 
国家自然科学基金资助项目 (6 99830 0 3);国家 86 3高科技项目基金资助项目 (86 3- 30 6 )
产生式系统是一种应用广泛的知识表示和知识推理方法 .但具有大规模规则库的产生式系统 ,其知识的组织与管理越来越困难 ,推理效率也越低 .该文采用关系模式表达知识 ,利用关系数据库技术 ,提出了一种行之有效的方法 。
关键词：产生式系统 知识表示 关系数据库 知识推理 大规模规则库 人工智能 扩展方法 
相关证据合成方法被引量：5
《江西师范大学学报（自然科学版）》2002年第2期135-137,149,共4页王明文 吴根秀 孙永强 
国家 8 6 3高科技项目基金资助 (86 3- 30 6 );国家自然科学基金资助 (6 99830 0 3);江西省自然科学基金资助项目
讨论了孙怀江和杨静宇文章中提出的相关证据合成方法 ,指出其定理 2是错误的 ,并给出了使其成立的条件 ;而对独立源证据的辨识 ,通过引入过渡变量 。
关键词：证据理论 不确定性 智能系统 概率论 证据组合规则 独立证据源 相关证据合成方法 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部