偏序关系和拟序关系的性质研究

本文引入拟序关系的定义,给出偏序关系和拟序关系的性质,讨论了偏序关系和拟序关系之间的关系     

基于拟序关系的约简

为了在不完备信息系统中更好地研究知识约简,经典的粗糙集理论已经被推广。在扩展模型中,等价关系被推广到了相似关系等二元关系。将不完备信息系统扩展到多值不完备的情形,引入拟序关系,讨论了集值不完备信息系统中在拟序关系下基于近似矩阵的约简,并通过算法比较了它与基于辨识矩阵的约简的时间复杂性。     

偏序关系和拟序关系的生质研究

本文引入拟序关系的定义,给出偏序关系和拟序关系的性质,讨论了偏序关系和拟序关系之间的关系     

谈两种不同的拟序

对近年出版的高等学校教学参考书和专著中关于拟序的两种不同的定义进行了讨论，分析了二者的性质、异同和关系，并给出了消除同名异义性的建议。     

近壁空泡基于非拟序结构与拟序结构的运动规律

以小粒径的空泡为例，从MORRISON方程出发导出湍流边界层模式的非拟序结构下空泡的近壁区运动方程，且进一步从湍流近壁拟序结构的基本观点出发导出了基于该结构时空泡的近壁区运动方程；对空泡在两种结构下的运动进行了对比分析，结果表明近壁湍流的拟序结构可以认为是空泡对壁面产生剥蚀破坏的水流内部结构主要的因素之一。理论公式导出的空泡相对壁面的人射角度与试验观测到的数据较为吻合。     

偏序半环上的半拟序格

给出了偏序半环的半拟序集构成的格,证明了它是完备的分配格,并讨论了偏序半环的两个特殊的半拟序格,即拟序集构成的格与楄序集构成的格的关系。     

基于拟序二元关系的粗糙集模型

目的建立一种基于拟序关系的推广的粗糙集模型。方法按照张文修等人在《粗糙集理论与方法》(科学出版社,2001.)中利用一般二元关系R推广Pawlak粗糙集模型的方法进行研究。结果讨论和建立在拟序关系R下的粗糙集模型,并研究了这种粗糙集模型的代数性质。结论给出了这种粗糙集模型成为Pawlak粗糙型模型的充要条件。     

谈两种不同的拟序

对近年出版的高等学校教学参考书和专著中关于拟序的两种不同的定义进行了讨论,分析了二者的性质、异同和关系,并给出了消除同名异义性的建议.     

三角李拟双代数胚的扭关系

李拟双代数胚是李双代数胚的推广,它与扭泊松结构有密切的关系.本文证明了扭关系在李拟双代数胚范围内是等价关系,并给出了恰当和三角李拟双代数胚的定义,研究了它和YangBaxter方程的关系.     

拟序下混合单调算子的广义耦合不动点定理

提出了拟序下混合单调算子及其广义耦合不动点的概念.利用序方法证明了拟序下非连续混合单调算子的最小广义耦合不动点和最大广义耦合不动点的存在性,进而推广了已知结论,使其适用范围更广.     

二元关系胚的性质及二元关系的胚分解

对于非空集合上的二元关系引入了关系的自反胚、反自反胚、对称胚、反对称胚、等价胚和偏序胚,并讨论了它们的基本性质,得到关系的3个唯一的基本胚分解式.     

基于工作流的管理系统开发模型

工作流技术是实现企业过程自动化的核心技术,成为当今计算机技术领域中重要的研究方向.对工作流管理系统的体系结构和工作流管理联盟提出的工作流参考模型进行了分析和总结,在此基础上,给出了工作流管理系统过程模型的建立过程,并对实际的工作流管理系统组织模型进行了设计.     

二元关系传递性与反传递性的判定

本文给出了关系运算法、关系图法、关系矩阵法、关系复合矩阵法判定二元关系的传递性和反传递性,分析了传递性和反传递性之间的联系,并建立了判定传递性和反传递性的算法,最后利用C语言编程实现.     

二元关系的传递性的计算机检测法

讨论了如何利用计算机对有限集合上的二元关系的传递性质进行检测，同时对自反性与反自反性，对称性与对反对称性亦进行了讨论，并给出了具体算法，使之能检测有限集合上的二元关系是否是相容关系，等价关系，偏序关系，全序关系。     

有限集上二元关系传递性的矩阵判别法

通过对二元关系的关系矩阵元素特征的观察和对Warshall算法的深入研究,得出了3种判断有限集上的二元关系是否具备传递性的矩阵判别法：逻辑相加判别法、逻辑乘方比较判别法、打圈画叉判别法．     

基于二元关系闭包运算构造商集的一种方法

本文通过对二元关系闭包运算的研究,给出与二元关系R结构相近的一个等价关系的划分,从而构造相应的商集,该方法简便、实用、高效,易于操作。     

求二元关系传递闭包的新方法

二元关系的闭包运算在网络、语法分析以及开关电路中的故障检测和诊断等领域有着重要的作用 .通过求二元关系各幂的并获得关系闭包方法后来被认为是十分困难的和甚为繁琐的 .在三十多年前 ,War Shall给出了一种算法 ,使问题得以简便解决 .但是该算法存在着大量不必要的重复计算 .本文就此做了改进 .改进的算法比 War Shall的算法在时间复杂度从 O( n3)上能够降低到 O( n2 )     

基于二元关系的语义Web的建立

为了便于机器理解和提高网络资源的利用率提出了语义Web .基于二元关系讨论了语义Web的建立过程 ,具体给出语义Web中相关语义的形式化定义 ,并基于此给出了语义描述和挖掘方法 ,进行了集合相关语义的完备性的证明 .为了语义Web能应用于实际网络中 ,给出了语义拓展方式的定义 ,继而完成语义Web的形式化定义 ,给出语义Web的整体模型 .最后 ,给出了若干用于检验语义有效性的方法 ,以进一步提高语义Web的实用性 ,至此可创建相对完整的语义Web .     

二叉树队列关系问题非递归算法的推导及形式化证明

该文对二叉树类问题进行分划,寻找其递推关系,并针对具有队列递推关系的一类问题,给出了其推导过程和形式化证明策略.再结合每个算法后置断言的不同,提出3种开发循环不变式的策略,并构造出该类问题的通用循环不变式模板.同时,发现该类问题是基于2个母算法的功能加以实现的,由此派生出3类问题.首先,对这3类派生问题进行推导,得到递...     

判定二元关系传递性的几种方法

直接根据现有离散数学教材中的二元关系传递性定义来判定二元关系的传递性，有时比较困难，介绍了两个等价定义，给出了关系图法、关系矩阵法、关系复合运算、关系闭包等几种方法来判定关系的传递性，并分析了各种方法的优缺点，对正确掌握二元关系传递性的判定有一定作用。