一种基于FD集特征的3NF判定算法

详细研究了属于３ＮＦ的关系模式ＦＤ集的特征，在此基础上，提出了一个基于ＦＤ集特征的３ＮＦ判定算法，并对算法的正确性及优点进行了证明和阐述。     

广义Riccati方程可积性的一类判定方法

对广义Riceati方程给出一类可积性判定方法。     

判定数据对延迟模型影响的度量

从距离角度讨论数据对延迟模型的影响，建立了延迟模型中的Ｃｏｏｋ距离，并研究了Ｃｏｏｋ距离与相关系数之间的关系。     

沉降观测中被测建构筑物可视为基本稳定的判定

详细介绍了沉降观测中被测建构筑物可视为基本稳定的判定方法,提出了在沉降观测中应注意的事项。     

由通项公式构造齐次线性递归数列的递归方程

给出并证明了由数列的通项公式判定其是齐次线性递归数列的充分条件,以及其递归方程的构造.     

非奇异M矩阵的判定

给出了Ｍ矩阵的几个新的判定准则，这些准则具有简单、方便的特点，且与已有的判定准则相比，具有更为广泛的适用范围。     

岩溶疏干区覆盖层土体的稳定性分析

为给岩溶覆盖区盖层土体的稳定性判别方法提供更多的有效途径,以岩溶疏干区典型圆柱状盖层土体为研究对象,基于传统的极限平衡法,首先建立了处于一定覆盖层厚度、土体重度、降雨积水深度及岩溶空腔跨度等条件下的覆盖层土柱 临界线,在覆盖层土柱的渐进破坏过程中,土体的黏聚强度和内摩擦角发挥作用的大小和顺序是不同的,根据潘家铮原理假设二者沿着距离 临界线最短的路径折减,然后利用强度折减法确定了黏聚强度和内摩擦角的折减系数,进而获得了岩溶覆盖区盖层土体的稳定系数计算式,定义了覆盖层土体稳定状态的可靠域及失效域。最后指出在圆柱状塌陷坑形成后由于应力重新分布和集中,塌陷坑有继续塌陷的可能,通过分析建立了塌陷坑稳定性判据系数,为圆柱状塌陷坑是否二次发育继续塌陷提供了判定依据。实例分析表明,基于强度折减法建立的稳定系数计算结果及利用塌陷坑稳定性判据系数对已有塌陷坑稳定性进行判定的结果与现实情况吻合良好,为岩溶覆盖区盖层土体的稳定性分析提供了理论依据。     

雷电冲击装置在GIS出厂试验中的应用

讲述了雷电冲击试验是GIS出厂试验的关键一项,对于发现GIS在装配过程中的失误,有着至关重要的作用。     

对称检测算法的研究

对称是逻辑综合，逻辑优化以及映像技术领域中一个非常重要的性质，对于对称函数，可以使用特殊的逻辑综合程序来改进设计结果，使用对称也可以提高映像技术和等价检测的有效性，提出一种用于OBDD布尔函数对称性检测的精确有效的算法。     

两个同构型判定问题的一种可行解决方案

本文对两个同构型判定问题提出了相应的可操作的检验、判定方案。一个是极大平面图有没有非平凡的自同构置换，另一个是两个极大平面图是否同构。