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

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

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

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

晋煤集团计算机网络安全探讨

分析了晋煤计算机网络存在的安全隐患，提出了9种确保晋煤企业计算机网络安全的技术措施。     

郑白五号

钙果为蔷薇科樱桃属欧李树种中的名果，果实酸甜可口，是理想的退耕还林经济林树种。     

载人飞船

载人飞船是保障航天员在外层空间生活、工作以执行航天任务并安全返回地面的一种大型航天器,又称宇宙飞船.它必须用火箭发射,在轨运行后经过制动,沿弹道式或半弹道式弹道穿过大气层,用降落伞和着陆缓冲系统实现软着陆.它运行时间有限,是仅能一次使用的返回型航天器.     

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

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

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

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

Weierstrass不等式的加强与推广

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

用GC/MS联用技术分析香紫苏挥发油成分

水蒸汽蒸馏香紫苏花序及叶得精油0.7-1.5%。经GC/MS分析,鉴定出46种香气成分,约占出峰面积的97%,其中含量较高的为芳樟醇、α-松油醇、乙酸芳樟酯、乙酸橙花酯、乙酸香叶酯、石竹烯及β-荜澄茄油烯。     

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

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