一阶逻辑完备性定理的新代数证明

给出了一阶逻辑完备性定理的一个新的代数证明，这个证明不使用依赖于Boole代数表示定理的γ-解释，但使用关于Q-滤子△↓的△↓-解释，也需要用到选择公理，另外指出了已有代数证明的不足之处，并作了修正。     

基于经验模式分解的希尔伯特变换包络提取在机械故障诊断中的应用

本文采用经验模式分解（EMI）提取信号的内在模函数（IMF），并利用希尔伯特变换对所得IMF进行包络分析，提取机械故障特征。与直接对原信号进行包络分析相比较，该方法提取的机械故障特征更明显，数值模拟和对故障轴承振动信号分析表明了该方法的有效性。     

二阶时滞微分方程三点边值问题的多重正解

 研究了一个二阶时滞微分方程的三点边值问题,给出了其至少有2个正解的充分条件.     

大整数因子分解新算法及对RSA密码制的解密

对一大类大整数的因子分解构造算法WZH,可在O(L(lnm)2)+O(lnm)3(L相似文献   

Ｗeak（S）—积分的极限定理

在引进了Weak^*(S)－积分的基础之后，对Weak^*(S)－积分的极限定理进行研究，并给出了两个重要的Weak^*(S)-积分的积分极限定理。     

工程项目结构分解的优化及应用

工程项目结构分解及其编码是项目管理的基础工作。目前该方法的应用缺乏统一的标准和规范，影响其应用效果。针对这种情况，提出该方法的优化途径－－分解对象标准化，分解步骤统一化，分解规则规范化。进而指出该方法新的应用领域，特别是在项目管理信息集成方面，及对提高工程项目管理水平所起的作用。     

KosnioWski-Stong公式的一个简单证明

Kosniowski-Stong公式是近年来带对合协边领域的一个较重要的结果，它来源于Atiyah与Singer在指标定理方面的工作。此公式现有2种证明方法，其中属于带对合协边理论的是一种验算性质的证明。现利用带对合协边理论基本定理直接导出了此公式，由此可看出这2个重要结果是紧密相连的。     

Roth等价定理的一个推广

设F是其中心域上有限生成的体。推广了Roth WE等价定理，给出了F上的矩阵方程组 { A1X-YB1=C1;A2X-YB2=C2;AtX-YBt=Ct相容的一个充要条件。     

方程f″—zf=0解的零点

首先于实数域内，用ｓｔｕｒｍ比较定理证得ｆ″－ｘｆ＝０的非平凡解的零点集含有可列个负数；尔后延拓到复数域内，把特解Ａｉｒｙ积分Ａｉ（ｚ）用Ｍａｃｄｏｎａｌｄ函数表示。通过复围线积分计算证得Ａｉ（ｚ）仅有负数的零点，从而获得了ｆ″－ｚｆ＝０的非平凡解有且仅有可列个负数零点的结论。