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

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

一些特殊图的边完整度

图G的边完整度定义为I'(G)=mins包含于E{|S| m(G-S)}，其中S是图G的边集E（G）的任一子集，m(G-S)表示图G-S的最大分支的顶点数。这个参数可用来衡量网络，特别是通讯网络的可靠程度，它不仅刻画了破坏网络的难易程度，而且刻画了网络遭受破坏的程度。文中主要给出了格子图，轮图，完全图的卡氏积等特殊图的边完整度。     

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

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

跳跃股价模型下投资组合的生成函数

针对股价的非连续模型,为研究投资组合之间收益的关系,采用半鞅的分析办法,研究由Ito过程和Poisson过程复合的股价模型下的投资组合生成函数及其性质。随机组合理论表明通过构造生成函数可以生成新的投资组合,并证明了生成组合的权重表达式以及相应的漂移过程项和跳跃过程项。因而可以通过一个随机微分方程分析生成投资组合的收益和市场资产组合的收益,以及收益的期望控制的关系。结论表明生成函数及相关函数在满足一定条件下这样的期望控制关系存在。     

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

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

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

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

利用图像先验知识与Snake结合对心脏序列图像的分割

核磁共振医学图像的分割在医学诊断中具有重要的意义，针对心脏的核磁共振切片图像的心室分割，提出将图像先验知识与Snake相结合的方法，克服了Snake方法分割的不足，获得了优于原方法的分割效果。     

Weierstrass不等式的加强与推广

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

超大型平面定轮闸门的制造

介绍了凌津滩水电站低坎泄洪闸的超大型平面定轮闸门的制作技术难点、工艺流程控制、闸门焊接变形的控制与校正、定轮支座的组装焊接、侧水封座板及承压板加工以及定轮热处理等，采用了有效的工艺技术措施，闸门制作质量优良．经过安装，运行情况良好．     

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

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