二元传递关系结构分析

二元关系是离散数学的一个重要概念,传递性是二元关系的一个重要性质.文中定义了对称传递序偶、严格传递序偶、孤立序偶,给出了相应的计数公式,证明了满足传递性的关系的性质.     

NBUC性的偏序刻画

为刻画同一类寿命分布中两个不同分布的NBUC性的强弱,本文定义了一个新的偏序,即NBUC序.并证明NBUC序具有反身性、反对称性和传递性.另外,该偏序与凸序、超可加序、NBUE序的关系也作了调查.同时还建立NBUC序在被比较的分布是指数分布情况下的一个充要条件.     

美式期权的二叉树与三叉树定价模型收敛速度比较

美式期权不同于欧式期权,可以在到期日以前任意时间操作.一般而言,美式期权定价的解析解是很难得到的,二叉树和三叉树方法都是比较好的数值计算方法,它们都收敛于Black-Scholes期权定价公式的价格.在此对二叉树和三叉树模型的节点数目、近似误差和计算时间进行了比较,并且通过Visual Basic程序,给出实例说明三叉树模型要比二叉树模型在精确性方面要好,但是计算时间却要慢得多.     

支持可重构计算的满二叉树中序存储策略及快速遍历算法

通过对满二叉树顺序存储序列与中序序列之间解析关系的研究,推导与证明了完全二叉树的一些重要性质,给出了一种可快速访问的满二叉树中序序列存储方法并设计出相应的遍历算法。基于该方法,一颗具有N个结点的满二叉树中序序列仅需要线性时间复杂度O(N)即可遍历,相关计算过程可嵌入在可重构系统中形成可重构计算单元。还给出了算法的C++实现过程及可重构系统的设计方案。     

树非递归遍历统一的新解法及其形式证明

提出树遍历统一的新解法,使其非递归算法像递归算法一样简单.首先以后序遍历为例,基于结点状态标记和遍历规则提取,从遍历定义导出遍历的递推公式,由此机械获得非递归算法和循环不变式,并用形式化方法证明其正确性.之后按不同遍历定义变换公式参数,获得二叉树前序、中序和K叉树前序、后序的递推公式,所得算法比传统算法更简洁直观,表明本解法的有效性和通用性.     

基于二叉树的加密算法

提出了基于二叉树的加密算法,加密算法利用加密二叉树的树形对明文信息进行加密处理,同时还可以实现密钥的多方保存.解密算法利用二叉树遍历序列的性质,在不构造二叉树的情况下,直接利用二叉树的中序序列和前序序列对密文实现解密,降低了算法的空间复杂度.     

二叉排序树转换成平衡二叉树

结合概念,运用动态图形,用通俗的语言,分析二叉排序树转换成平衡二叉树的过程。     

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

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

利用关系矩阵判断二元关系的传递性

目的判断一个二元关系是否具有传递性,从定义与关系图的方法比较繁琐,利用关系矩阵判断其传递性,能避免繁琐的过程。方法利用关系矩阵中元素的特点与关系。结果找零元素法;矩阵的逻辑加运算法;十字画法。结论对于给定一个集合元素的个数较多时,能方便地判断其是否具有传递性。     

二元关系传递性的矩阵判别法

判断一个二元关系是否具有传递性,用定义与关系图的方法比较繁琐,利用关系矩阵判断其传递性,能避免繁琐的过程。利用矩形判别法、三角形判别法、十字型判别法,使可传递关系得到的判别变得既直观又迅速。     

可编程控制器梯形图到语句表的转换算法与实现

介绍了基于二叉树数据结构的可编程控制器梯形图转换为语句表的方法,阐述了转换时用到的主要数据结构、节点串并联关系确立时搜索节点左右连接的迷宫算法、二叉树的生成以及基于二叉树的指令表语句输出过程.对梯形图转换的特殊情况进行了论述,实验结果证明了本算法是可行的.     

一类导热型微分方程的数值求解方法及其比较

针对一维、稳态且含内热源的导热型微分方程,分别采用区域离散方法A和B划分网格,且每种网格划分方法中又分别采用Taylor展开法和控制容积平衡法进行数值求解。计算结果表明,虽然Taylor展开法中右端点离散方程采用二阶截差展开时数值求解精度较高,但离散方程推导过程复杂,尤其在计算节点间距不等的情况下更是如此;控制容积平衡法物理意义明晰,数值求解精度高,无论对于区域离散方法A或B,其离散方程推导过程均简单明了。     

定性贝叶斯网络中归并计算的进一步探讨及应用

在定性贝叶斯网络符号传播算法的基础上,根据实际问题的需要提出了算法中归并运算的改进方法.改进中区分汇连形式各原因节点的逻辑关系,进而提出逻辑或关系在归并过程中应当采用⊕算子,逻辑与关系采用算子的结论,并通过案例验证了结论在一定范围内的正确性.     

论二叉树E=I＋2n公式的另一种证明方法

二叉树中E=I＋2n公式在查询等领域有着广泛的应用。一般对它采用数学归纳法来证明，且仅限于公式的直接应用。直接证明方法在充分利用二又树定义的迭代关系基础之上，分析二叉树中E与I之间的密切关系，据此提出该公式的另一种证明方法并进行严格的证明。该方法能更多地了解每一边、每一结点上的具体情况，因而具有广泛意义。     

二元关系中传递性的若干研究

二元关系的传递性有时不好判断,通过对二元关系传递性定义的深入分析,给出了传递性判断的等价定义及定理,利用该等价定义及定理可以较快地实现二元关系传递性的判定。     

反对称性和传递性的两个等价定义及应用

直接根据现有离散数学教材--文献中的二元关系反对称性和传递性定义,有时不好判定二元关系的反对称性和传递性。本文给出二元关系反对称性和传递性的两种等价定义,从而可以方便、快捷地实现二元关系反对称性和传递性的判定。     

二叉树的遍历研究及应用

通过对同一棵二叉树的先序遍历、中序遍历、后序遍历得到三个不同序列的分析,概括出二叉树前、中、后序遍历序列间的关系,根据遍历序列,确定对应的二叉树。     

二元关系传递性的探讨

通过对二元关系传递性定义的深入研究,本文给出传递性的两种等价定义,应用他们可以方便、快捷地进行传递性的判定。     

n维模糊数的序、距离、确界及其逼近问题

诸如模糊数值函数积分等问题,如何采用上、下函数逼近的方法去定义,在模糊数学领域讨论的比较少,其主要原因是涉及到模糊数集的上、下确界问题.对n维模糊数的序、距离、确界及其逼近问题进行讨论:在模糊数空间定义了新的序关系、距离和确界,并利用模糊数的支撑函数给出了n维模糊数集确界的表示和在新的距离意义下的逼近刻划;使得高维模糊数空间中诸如模糊数值函数的积分采用上、下函数逼近的方法去定义成为可能.     

基于衡平矩阵的二元关系传递性的判别法

直接根据文献[1-3]中的离散数学教材中的二元关系传递性定义,有时很难判定。通过研究突破了二元关系传递性定义的局限性,通过引入衡平矩阵的概念,给出一个二元关系具有传递性的充要条件是它的关系矩阵为衡平矩阵,并给出了利用衡平矩阵判定二元关系具有传递性的几种方法,使对传递性的判别直观、形象、方便、快捷。