二叉树同构的判定及其PDC—PROLOG实现

二叉树是一种重要的数据结构，它在计算机科学中有广泛的应用。当二叉树的两个子树没有区别时，就产生了二叉树同构的概念。本文讨论了在ＰＣＤ－ＰＲＯＬＯＧ中，用递归技术判定，二叉树同构的方法。     

广义四元数代数的线性表示及其乘法的可易性

给出了广义四元数代数的两种线性表示,导出了两个广义四元数代数同构的充要条件;推出了广义四元数矩阵乘法的可易性.     

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

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

非奇异M矩阵的判定

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

一种新的多重权值复杂网络模型的建立与同步控制

考虑复杂网络边上多个权值的情况,建立了一种新的具有多重权值的复杂网络模型.同时根据网络拆分的思想,将含有多重权值的复杂网络拆分为若干个单权值的子网络.根据Lyapunov稳定性理论,研究了多重权复杂网络的全局同步.通过Matlab数值仿真,验证了该结论的有效性.     

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

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

幂律思考系列文章3——无标度网络中几个有争议的命题

利用无标度网络的定义和分类,以及无标度网络度指数的定义,研究了3个有争议的命题:是否所有无标度网络都是稀疏的,从无标度网络随机抽样所得的子网络是否无标度,阿波罗尼斯网络度指数要不要加1。分析了产生争议的根源,给出了正确的解答。     

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

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

对称检测算法的研究

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

三角代数上的初等映射

设U是三角代数,V为任意代数,若映射M:U→V,M*:V→U为满射,并且满足初等映射的形式,则M,M*可加;进一步,讨论了映射M,M*具有同构形式的条件.