中介逻辑的模型论性质

中介逻辑是朱梧槚与肖奚安合作创立的一个新的逻辑系统,该系统的创立有着很强的哲学背景,因此在创立后得到了很大的发展。但对于该系统语义的研究还不够广泛和深入。本文系统地研究了中介逻辑的模型论性质。第一部分系统地定义了中介逻辑模型论的一些概念:如语言、结构、解释、满足等,第二部分证明了对任一和谐理论,都可在其见证集的等价类上建立其模型。利用此定理,笔者证明了广义完全性定理,并由此证明了中介逻辑的可靠性与完备性。本文最后一部分讨论了中介模型论的其他重要性质。利用中介逻辑的完备性,本文证明了紧致性定理,即一理论有模型当且仅当其任一有穷子集有模型。文中还证明了中介逻辑的Lowenheim-Skolem-Tarski定理。     

挤压油膜阻尼器支承的转子系统的非线性振动

分析了一个3质量转子一阻尼器系统的非线性振动特性。该系统是由一个带对中弹簧的挤压油膜阻尼器支承的。研究表明，当不平衡或供油压力或挤压油膜阻尼器的静偏心比增大时．由于油膜力的非线性特性，将引起施加在系统上的阻尼增大。相应地，阻尼的这一增大引起了系统共振位置的大幅值漂移。在设计阶段，必须等虑这一因素以适当地选择参数。实验结果验证了分析结果。     

轴系稳定性裕度判据的实验研究

本文是研究轴稳定性裕度判据的系列文章的第二篇。文［１］从理论上提出以系统的最大能量比率作为衡量轴系稳定性裕度的判据，本文以一对称单跨转子－轴承系统为例对该判据进行实验研究，测量了系统的最大能量比率，结果与理论计算吻合较好。测量了转子轴承系统机械能随时间变化的曲线，讨论了实测结果与理论计算存在偏差的主要原因。     

概括原则与悖论研究的进展

悖论的出现与概括原则中的造集的任意性有很大关系。然而,历史上各种排除悖论的方案要么修改概括原则而过多地限制了概括原则的合理内容,要么修改与之配套的逻辑系统而导致失败。近年来,这些问题的研究又取得了新的进展,有必要历史地加以评介,本文从类型论、ZFC公理系统、BG公理系统、多值逻辑系统和中介数学系统五个方面综述逻辑数学悖论之解释方法的研究情况。     

机械加工公差对固体火箭发动机磁悬浮试验系统稳定性的影响

文章介绍了固体火箭发动机磁悬浮试验系统的结构组成和工作原理,分析讨论了机械加工公差对位移刚度和电流刚度的影响,对轴承-转子传递函数的影响,以致对控制系统稳定区域的影响,并进行了力学仿真。研究表明,机械加工公差必须达到公差等级IT9以上系统才能达到稳定。     

50Nms磁悬浮反作用飞轮转子优化设计方法的研究

介绍了一种额定工作转速为-5000rpm-5000rpm，额定角动量为50Nms的五自由度磁悬浮反作用飞轮。利用多学科设计优化软件iSIGHT及有限元分析软件ANSYS，通过序列二次规划法对飞轮转子进行了多学科设计优化研究：以转子质量为优化目标，以转子、静力学、共振频率、转子动力学、角动量、几何尺寸等多学科要求同时作为约束条件进行了优化设计。结果表明，通过多学科设计优化，在满足设计要求的同时，使转子重量达到了最小化（4．09kg），提高了设计效率和设计质量，在航天器姿态控制系统的设计中具有现实意义。     

一种新型辅助轴承的设计与试验

主动电磁轴承(AMB)的最大劣势在于承受外部冲击载荷的能力弱,必要时需借助辅助轴承承担其部分或全部载荷.本文介绍了一种新型辅助轴承--零间隙辅助轴承(ZCAB)的设计原理和试验情况.试验结果表明,ZCAB可在短时间内将AMB失效后坠落的转子重新平稳返回其回转中心,使转子继续正常工作.     

航空发动机主轴滚子轴承非典型失效机理

针对某航空发动机圆柱滚子轴承的非典型失效问题，基于滚动轴承动力学理论，考虑滚子动不平衡量及滚子与套圈挡边间的碰摩，建立高速圆柱滚子轴承的动力学微分方程组，采用预估-校正GSTIFF（Gear stiff）变步长积分算法进行求解，分析了轴承工况参数和结构参数对动不平衡滚子的最大歪斜角和滚子与挡边最大碰撞力的影响。结果表明：滚子最大歪斜角和滚子与挡边最大碰撞力大小随滚子动不平衡量、轴承内圈转速增加而增大，与径向载荷间未表现出明显的相关性；较小的轴向游隙能够有效抑制滚子歪斜，但会增大滚子与挡边碰撞力，存在合理的轴向游隙范围使得在滚子歪斜角不会过大的情况下滚子与挡边碰撞力较小；较小的保持架兜孔周向游隙与挡边负背角和较大的滚子球端面半径能够减小滚子最大歪斜角和滚子与挡边最大碰撞力。     

球面螺旋槽动静压气体轴承动态特性试验

根据轴径偏离稳态平衡位置进行变位运动时气膜力的变化规律,建立气膜刚度和阻尼系数的计算矩阵方程,使用滚动迭代算法计算气膜瞬态刚度和阻尼系数。分析升、降速阶段气体轴承在周期1、周期2和混沌运动过程中瞬态刚度和阻尼的振动特征,研究气膜涡动和振荡的力学机理,以改善气体轴承动态特性、减小气膜涡动和振荡,提高气体轴承运行的稳定性。结果表明:通过气膜刚度阻尼系数变化特征可以判断转子的运行状态。当气膜力波动,刚度阻尼系数出现周期性波动变化,引起气膜振荡;当气膜瞬时刚度系数波动幅值增大10倍以上,轴承转子接近临界失稳进入混沌运行状态;当气膜刚度阻尼系数发生畸变,轴承出现碰磨失效。     

动静压轴承在 MG1432 型磨床主轴系统中的应用

通过生产实践，用ＷＭＢ液体动静压混合轴承代替一般滑动轴承来改造ＭＧ１４３２型磨床，取得了理想效果。