国家自然科学基金(69983003)
- 作品数：17 被引量：92H指数：7
- 相关作者：薛锦云万剑怡王明文孙永强李云清更多>>
- 相关机构：江西师范大学上海交通大学中国科学院软件研究所更多>>
- 发文基金：国家自然科学基金江西省自然科学基金江西省教育厅科学技术研究项目更多>>
- 相关领域：自动化与计算机技术理学文化科学更多>>
- 顺序存储的满二叉树中序遍历的非递归算法被引量：9
- 2003年
- 从中序遍历的定义出发以及满二叉树的自身特点出发,得出了关于顺序存储的满二叉树中序遍历的性质.从而推导出一种全新的、逻辑结构非常清晰的、与递归解完全等效的非递归、不需使用堆栈的算法,以及该算法在其他问题上的应用和推广.
- 吴福英谭罗生王明文
- 关键词：中序遍历非递归算法数据结构
- 相关证据合成方法被引量：8
- 2002年
- 讨论了孙怀江和杨静宇文章中提出的相关证据合成方法 ,指出其定理 2是错误的 ,并给出了使其成立的条件 ;而对独立源证据的辨识 ,通过引入过渡变量 。
- 王明文吴根秀孙永强
- 关键词：证据理论不确定性智能系统概率论证据组合规则
- 算法形式化推导及其在软件重用中的应用被引量：4
- 2003年
- 将形式化技术和软件复用结合是非常有意义的工作。利用规约进行变换，寻找递推关系，可以比较容易得到抽象算法。在变换中，尽可能地将有关操作抽象表示，将操作细节延迟，以适合现代软件工程的软件开发需要，对一个具体问题将得到包含抽象操作的抽象算法。利用面向对象程序设计语言中的多态性等机制，将抽象操作用虚函数表示，如此设计的类可以作为可重用部件使用。
- 李云清
- 关键词：形式化多态性
- 一种高效的算法程序设计方法—PAR方法被引量：10
- 2000年
- 利用在长期的算法研究中提出的分划递推法 (简称 PAR方法 )开发了三个问题的算法程序 ,说明 PAR方法不仅为算法设计提供了统一而有效的途径 ,也为开发循环不变式奠定了基础。
- 杨庆红肖燕娟
- 关键词：PAR方法循环不变式递推关系
- 数据并行程序中的动态负载平衡模型被引量：2
- 2000年
- 在研究分析已有的负载平衡策略算法的基础上．应用Ｄｅｍｐｓｔｅｒ－Ｓｈａｆｅｒ的信任函数理论，提出了一种基于信度网络的负载平衡策略算法，此算法较适应动态负载平衡，而且优于负载平衡的随机算法，若忽略系统的通信花费则可达到系统的完全负载平衡，综合各种费用，提出的算法通过状态管理器，在不完全信息的状态下可使系统达到较满意的平衡．此外，基于信度网络的负载平衡策略算法不仅适应于虚拟非规则网络，也适应于虚拟规则网．
- 王明文陆宁孙永强薛景云
- 关键词：动态负载平衡数据分布数据并行信任函数
- 一种基于信息测度的数据过滤方法被引量：1
- 2002年
- 提出一种基于信息测度对取值范围大的属性进行分划(分类)的方法,即开始对属性的值域划分为两类,其分断点为使信息获取量为最大,再划分为三类,也取其分断点(两个)为使信息获取量为最大值.当增加分类不能较多地提供信息获取量或分类数为预先约束范围时,则终止划分;并通过例子说明此算法的具体应用.
- 王明文
- 关键词：数据挖掘信息熵互信息数据过滤
- 一种基于设计模式的三阶段并行程序设计方法被引量：17
- 2002年
- 并行程序的可编程性是并行计算的难点之一 ,使用传统的方法对非数值问题进行并行求解则更加困难 .通过对设计模式概念的扩展 ,定义了算法模式与结构模式 ,以此为基础提出了一种基于设计模式的三阶段并行程序设计方法 ,并通过算法模式库与结构模式库实现对该方法的系统支持 .该方法不仅可用于一般的数值问题求解 ,而且在处理复杂的非数值问题时与传统方法相比要简单得多 .
- 万剑怡孙永强薛锦云
- 关键词：设计模式并行程序设计方法可编程性
- 荷兰国旗问题的形式化推导及其多态性实现被引量：5
- 2002年
- 讨论了程序功能规约变换和算法程序的形式化技术。通过功能规约变换,可以较自然地获得问题求解的递推关系,对荷兰国旗问题的求解过程显示了形式化推导在获得高效和正确的算法程序中的作用。最后,给出了问题求解的多态性实现。
- 李云清
- 关键词：规约程序功能递推关系
- EGCL-Java程序转换器的研究与实现
- 2001年
- 以分划递推法等理论为基础 ,客观地分析了软件开发的全过程 ,详细阐述了将抽象程度较高的EGCL语言程序自动转换成可执行的高级Java语言程序的关键技术 ,并开发了一套基于Java语言的可重用类库用于支持程序的转换 ,得到了满意的结果 .
- 李欣薛锦云
- 关键词：分划递推法JAVA语言可重用部件库软件开发
- 一种将设计模式用于程序精化演算的并行程序设计方法研究被引量：9
- 2003年
- 并行程序设计是并行计算的难点之一 提出了一种将设计模式用于程序精化演算的并行程序设计方法 它通过在Z语言的Schema演算体系中扩充并行的概念和表示 ,使用设计模式 ,将问题求解和并行开发的知识进行形式化的定义与描述 ,通过扩充的Schema演算将其与模型规范进行复合 ,逐步精化得到抽象并行程序
- 万剑怡孙永强薛锦云
- 关键词：设计模式并行程序设计方法面向对象并行计算软件开发
