密集建筑物下采煤覆岩关键层判定及应用

应用关键层理论指导密集建筑下急倾斜煤层的开采，分析了沛城密集建筑下覆岩关键层的判别方法，得出了覆岩各硬岩层的破断层，确定了覆岩中关键层的位置，为建筑物下急倾斜煤层的开采设计提供了理论依据。并成功地在密集建筑物下急倾斜煤层中进行了走向条带开采，取得了显著的经济效益和社会效益。     

反模糊商群与反模糊商环

给出了群S的反模糊商群的概念，讨论了它的基本性质，证明了反模糊群的向态基本定理．还给了环R的反模糊子环和反模糊商环的定义，并讨论了它们的基本性质，最后证明了反模糊环的同态基本定理及反模糊子环的同构定理．     

电路同构验证的递归集簇算法

在超大规模集成电路的自动化设计中 ,用电路同构验证方法解决设计结果的验证问题是非常有用的。提出了一种电路同构验证的方法 ,利用高效的集簇算法建立电路的层次化结构 ,从而极大地减少同路同构验证过程中的 CPU运行时间和所需要的内存。实验结果表明 ,与 HCNC方法相比 ,该方法的验证时间要少很多 ,尤其在对称性比较高的大电路的验证上 ,不存在内存溢出的问题 ,而且和理论分析一致。     

4度循环图的同构因子分解

本文证明了对４度循环图的同构因子分解，可分性条件是充分条件。     

环加成反应速率判定规律探讨

不同的烯烃进行环加成反应，反应速率不同。根据Klopman方程，探讨了环加成反应速率的判定规律。初步在理论上定量解释了双烯体和亲双烯体的不同结构对环加成反应速率的影响。     

不含3正则子图的图的最大可能边数的下界

１９７４年，Ｅｒｄｏｓ和Ｓａｕｃｅｒ提出如下问题：设ｆ（ｐ）是ｐ个顶点的不含３正则子图的图的最大可能边数，确定ｆ（ｐ）。本文给出：（１）ｆ（ｐ）≥３ｐ－９，ｐ≥４；（２）ｆ（ｐ）≥３ｐ－５，ｐ≥３４。     

四阶时滞方程无条件稳定的代数判定及时滞界限

导出了四阶常系数中立型时滞方程(1)当θ≠1时为无条件稳定的充分条件,对θ≠1,α_3=α＇_3或θ=1两类方程导出了其为无条件稳定的充要条件。这些条件是简明而实用的代数判定条件,此外,给出了时滞界限。     

关于有限余复盖性质的Tychonoff定理

本文证明了拓扑分子格的有限余复盖性质与每个分子网都有聚点是等价的,推广了关于有限余复盖性质的Alexandroff子基定理,证明了有限余复盖性质是任意可乘的。     

通过有限固定连通网路S的子网路K的最优遍历路线之确定

§1基本问题与一些概念 基本问题:给定一个有限固定连通的网路S和它的子网路K及K上的两定点A、B(包含A=B);要求自A点出发沿着S的线段不间断地遍历K的所有线段而达到B,问应当选择怎样的方法,使得所经历的路程达到极小值. 为了以后叙述方便,先把有关概念及所要引用之结果摘要如下: 1.1 定义 1 在二维(或三维)欧氏空间中,给定有限条具一定长度的线段,我们就说给定了一个有限固定网路.如果这些线段是互相连接在一起,我们就说这网路是连通的. 定义2 若组成网路K的全部线段都包含在组成网路S的线段中,则说K是S的子网路. 定义3 自S上的任一…     

基于支持向量机的人脸姿态判定

对于多姿态人脸检测中的姿态判定问题,提出了一种基于支持向量机(SVM)的人脸姿态判定算法。将人脸姿态划分成6个类别,从一个多姿态人脸库中手工标定出1800幅人脸图像作为训练样本集,分别训练基于支持向量分类(SVC)和基于支持向量回归(SVR)2种姿态分类器。另外标定出300幅人脸图像作为测试样本。SVC方法和SVR方法分别取得了1.67%和3.33%的分类错误率。其中SVC方法的分类效果明显优于在传统方法中效果最好的人工神经元网络(ANN)方法(分类错误率为3.33%)。对比实验结果表明,SVM方法对于解决姿态判定问题是很有效的。