一个生成Hasse图的有效算法

Hasse图是偏序集关系图的一种简明而有效的表示。文章证明了偏序集的唯一盖住关系Cov(A)等价于两个关系的复合运算,从而可转化为两个矩阵的布尔乘积,给出了一个求盖住关系Cov(A)的有效算法,从而方便、快捷地生成偏序集的Hasse图,完善了有关Hasse图的理论及算法。     

一种构造Hasse图的高效算法

目前在国内外的文献上,关于Hasse图的构造方法都是基于纯粹的数学矩阵变换方法,而非计算机算法,其缺点是不论最好还是最坏情况,其时间复杂度都是0（n3）,进而无法为特殊情况作出优化。为此给出一种构造Hasse图的通用高效算法。该方法从计算机算法的角度对矩阵中单个元素进行计算,当矩阵中所需计算的元素较少时,算法的时间复杂度会相应的降低,在最好的情况下,时间复杂度将接近0（n2）,而在最坏的情况下,时间复杂度仍保持在0（n3）。     

一种Hasse图的快速构造方法

为了改善传统Hasse图构造方法复杂的问题,根据Hasse图的分层特征、同层间元素无关系、相邻层可能满足关系的性质,提出一种快速、高效的Hasse图构造方法.首先根据两个规则对集合元素进行分层处理,使元素分布于不同层,然后根据关系对相邻两层的元素进行连线处理,整理得到Hasse图,最后给出了该构造方法的算法实现.构造示例表明了该构造方法不仅有效,而且简单、高效.     

由偏序关系的可达阵导出Hasse图的有效算法——兼谈其在认知诊断中的作用

假设0-1矩阵Q的行表示属性,对矩阵Q采用行逐对比较方法导出表示属性层级关系的Hasse图.然而,这个Hasse图和由可达矩阵R导出的Hasse图可能不一致.证明了包含R的Q阵的行逐对比较的方法与R导出的Hasse图是一致的,由此得出由偏序关系的可达矩阵导出Hasse图的一个有效算法,并讨论其在认知诊断中的应用.     

一个快速求解哈斯图的算法

在理论证明的基础上，给出了一个哈斯图求解的算法。该算法可直接应用关系图方便、快捷地求取其盖住关系，进而得到哈斯图，从而完善了有关哈斯图求解的理论及算法。     

路偏序集的个数

如果一个有限偏序集Ｐ的Ｈａｓｓｅ图在图论意义上同构于一条路,那么称这个有限偏序集Ｐ为路偏序集,令ｆ（ｎ）表示ｎ个元素不同构的路偏序集的个数,作者证明了。     

基于矩阵的偏序关系中盖住集计算研究

按照偏序关系中“盖住”的定义来计算盖住集,有时判断不准确或遗漏.基于矩阵的方法,提出了求盖住集的一个新的等价定义,并给出计算盖住集的矩阵和相关理论.利用矩阵可方便地计算出盖住集.     

有限半模格的Hasse图

主要是应用正整数的有序分拆,研究了有限格及其Hasse图问题,证明了有限格和有限格对应的Hasse图在同构意义下是一一对应的;引进了一个格的Hasse图的格类的概念,并给出了一种画n个顶点的格对应的Hasse图的简便而有效的方法,并且研究了有限半模格的Hasse图的一些性质.     

集上的偏序关系

该文主要讨论给定集Ｘ上的传递关系、拟序关系和偏序关系全体的序结构,证明了：（１）给定集Ｘ上的偏序关系全体Ｐ（Ｘ）在包含序下为原子的算术的完备交半格,其极大元素等同于全序关系,也等同于交既约元。（２）当│Ｘ│〉２时,（Ｐ（Ｘ）,∈）不满足条件分配律;（３）在公理系统“ＺＦ＋序扩张原则”中,Ｐ（Ｘ）是交既约元生成的,并对传递关系进行了类似的讨论。     

综合评价结果稳健性的偏序集分析

为解决综合评价过程中将多个指标映射为单个指标导致的评价结果缺乏稳健性的问题,采用偏序集分析方法,将传统评价拓展为偏序评价,围绕偏序Hasse图构建反映稳健性程度的指标,并用其评判综合评价结果的稳健程度.研究结果表明:综合评价结合偏序Hasse图,可将确定性评价结果和不确定性评价结果进行分流,并得出不确定性程度,增强评价...     

因果图转换为信度网的算法

动态因果图理论是在信度网基础上发展起来的一种不确定推理模型,两者在知识表达上存在一定的差别,但大体结构类似,在一定的条件下可以进行相互转换.从分析信度网与因果图的知识表达方式的异同入手,最后推导出一种将因果图模型转换为信度网模型的算法,主要从构成信度网模型的两大要素--拓朴结构和条件概率表两方面的生成算法进行了推导和阐述.     

基于遗传算法的因果图网络结构学习

在因果图理论中,采用了图形化和直接因果强度来表达知识和因果关系,它克服了贝叶斯网的一些不足,已发展成了一个能够处理离散变量和连续变量的混合模型.但是因果图的结构得由领域专家给出,这在实际中很难办到.鉴于因果图结构的复杂度随论域中节点个数的增加呈指数上升,寻找最有可能因果图网络结构成为了NP-HARD难题.文中给出了如何利用已知数据集,寻找最有可能的因果图网络结构设计的遗传算法（Genetic Algorithm,GA）.     

基于UML协作图的集成测试算法

UML是软件建模的一种工具,利用UML协作图可描绘在特定上下文中一组相关对象之间的协作关系.文章提出一个依据协作图不同种类消息遍历测试路径的算法,用JAVA语言实现,并将其用在ATM机中确认PIN的实例中.     

软PLC梯形图向指令表转换新算法的研究与实现

通过对软PLC梯形图和指令表的分析,提出一种梯形图向指令表转换的新算法.该算法先将梯形图映射成AOV图,再用串并联扫描的方法化简AOV图,并转换成逻辑树,最后通过后序遍历逻辑树生成指令表.文中给出了一个转换实例,详细介绍了算法的使用及实现步骤,证明了该算法对于复杂的梯形图也能准确快速地生成指令表,具有实用价值.     

基于鲸鱼优化算法的类图重构研究

为了提高软件质量,组合使用重构技术、软件度量和元启发式搜索可以有效改进软件的结构而不影响其功能.本文提出一种基于鲸鱼优化算法的类图重构方法,并结合耦合、继承、抽象3个指标所构建的质量模型来指导类图重构序列寻优.在6个不同的开源程序上使用鲸鱼优化方法对类图进行重构,研究结果表明:基于鲸鱼优化算法的类图重构在质量增益上优于模拟退火算法和爬山算法,可有效提高重构质量.