轴承-转子系统动态特性研究的数值方法

采用集总质量法、梁单元法和有限元法3种数值方法研究轴承-转子系统动态特性。数值结果表明，有限元法能够高精度地分析系统固有频率和模态振型，为轴承-转子系统提供了设计依据并为油膜力、电磁力支承的轴承-转子系统奠定了理论分析基础。     

面向传值进程的一阶模态逻辑的可判定性与模型检测

对于面向传值进程的Hennessy-Milner逻辑的一阶扩充HML(FO), 给出了基于带赋值的符号迁移图的语义解释. 证明了HML(FO)的子逻辑HML(FO²)是满足性可判定的, 并且讨论了判定的复杂性. 最后给出传值进程关于HML(FO²)的模型检测的可判定性结果.     

99-3218棉花蕾期管理

收麦后抓紧“五抢”管理，促早发。夏播棉收麦前麦棉共生，“三争”(水、肥、光)矛盾十分突出，棉苗受欺，长势弱。收麦后棉苗生长的环境条件改变，是恢复生长，加快生育进程，早搭丰产架子的转折时期。所以“五抢”管理越早，夏播棉就越早发早熟，霜前花     

用方向导数分析JC法的误差

用一次二阶矩法求工程结构的可靠度会产生误差 ,这误差产生的原因是将极限状态函数在验算点处的泰勒级数仅取线性部分来近似 ,本文用二阶方向导数分析这误差对工程的影响 .     

试论中国典故用法类型的划分

用典方法的传统分类，往往忽视其“划分标准”，仅将一系列用典方法递次排列在同一个逻辑平面上，以致形成交叉概念“不当并列”的逻辑错误。用典方法的分类，首先应确立“取意角度”、“用事目标”、“述典方式”、“取事数量”等几个不同的分类标准，然后分别划分出不同标准之下的若干类型，从而形成合乎逻辑的多层次立体结构。     

有限信念集上修正的一种方法

讨论了信念集是有限子句集时的信念修正方法，首先给出了一阶逻辑上求所有极小不协调子集的一个过程，证明了该过程的正确性，讨论了由所有极小不协调的子集来实现信念修正的方法，介绍了我们开发的信念修正的原型系统，最后和相关工作进行了比较。     

Weierstrass不等式的加强与推广

给出Weierstrass不等式的加强与推广形式，并利用该结果建立两个条件不等式。     

一阶电路三要素法的另一种形式

给出了一阶电路暂态过程三要素法的另一种形式，避开了作ｔ＝０＋时的等效电路，使求解过程更加简单。     

四唑及其衍生物的理论研究——Ⅰ.氯代四唑的从头算

用从头算方法,取6-311G基组分别在HF和MP2水平上,计算研究了1H和2H四唑的4种一氯取代物的全优化几何构型和电子结构。4个化合物均取平面构型;环骨架键长趋于平均化,均具芳香性(Ⅱ_5~6)。与1—Cl和2—Cl四唑相比,5—Cl四唑将具较强的酸性,分子总能量也较低,其中5-Cl-2H-四唑分子总能量最低、最稳定。     

一致凸空间中Lipschitz半群的非线性遍历收缩定理

设C是P一致凸Banach空间E的一个非空有界闭凸子集．在证明了C上自映象的Lipschitz半群的一个非线性遍历收缩定理的基础上，进一步给出了如此定理在Lp空间（1＜p＜∞）中的应用．