余度飞控计算机可靠性分析及其改进

综述了飞控计算机的工作任务、余度结构以及可靠性，结合新一代飞控计算机对高可靠性、实时性的要求，及目前飞控计算机余度构型进行了比较和可靠性分析，并提出了改进的三余度比较监控结构。     

高加速应力筛选

介绍了高加速应力筛选的目的、内涵及其与传统环境应力筛选的区别,详细介绍了HASS的应力类型、范围、应力剖面结构和设计方法,提供了国外常用HASS剖面的实例.     

某型涡轮喷气发动机空中起动试验研究

介绍某型涡轮喷气发动机在高空台模拟空中起动试验技术。并根据试验结果及测量数据分析,得出在风车状态下无因次参数及点火起动过程中温度等参数随时间的变化曲线。本试验技术已为多个型号及机种的涡喷发动机做了上百次高空模拟空中起动试验,其技术可靠,方法切实可行。本试验结果对解决提高点火高度及空中起动试验问题具有实用价值。     

The Plasma Environment of Comet 67P/Churyumov-Gerasimenko Throughout the Rosetta Main Mission

The plasma environment of comet 67P/Churyumov-Gerasimenko, the Rosetta mission target comet, is explored over a range of heliocentric distances throughout the mission: 3.25 AU (Rosetta instruments on), 2.7 AU (Lander down), 2.0 AU, and 1.3 AU (perihelion). Because of the large range of gas production rates, we have used both a fluid-based magnetohydrodynamic (MHD) model as well as a semi-kinetic hybrid particle model to study the plasma distribution. We describe the variation in plasma environs over the mission as well as the differences between the two modeling approaches under different conditions. In addition, we present results from a field aligned, two-stream transport electron model of the suprathermal electron flux when the comet is near perihelion.     

无穷观问题的研究(Ⅲ)——‘每一''与‘所有''

本组系列论文（I）－（Ⅴ）从数学和认识论的角度系统地研究了无穷观问题的历史发展和现状，确立了无穷观背景世界的三分法原则，指出了两种穷观相互排斥的局限性，形成了统一两种无穷于同一框架中的基本观点，并建立了一个统一实无限与潜无限于同一框架中的公理集合论系统APAS。     

中介时序逻辑系统MTL的模型论性质

时序逻辑作为一种把时间概念直接引入其形式系统的逻辑系统,它具有较强的表达能力,近年来在计算机科学领域获得了广泛的应用.基于中介逻辑对时序逻辑进行多值扩充,建立了一种中介时序逻辑系统MTL(Medium Temporal Logic).讨论了它的形式系统和语义解释,但未论及其完备性.本文对MTL系统作进一步的讨论.在一可传结构下,讨论了它的可传、连通和过滤等模型论性质,为进一步讨论MTL系统的完备性作了理论上的准备.     

海洋平台在组合载荷作用下的随机域可靠性分析

本文对海洋平台在风、浪及海流等多种载荷组合作用下的可靠性进行了分析计算，采用优选随机载单元法进行结构数的随机域离散。文中的海洋平台算例结构表明了优选随机域单元法的高效性，以及在海洋工程的结构系统可靠性计算中的考虑载荷组合作用的必要性。     

无任何附加假设的梁的自由振动

本文不采用平面假设来研究梁的弯曲自由振动，也不采用剪切型振动假设研究短粗梁的自由振动，而用弹性力学的位移法导出了梁的自由振动微分方程，并推导了简支梁的自振频率的统一公式，其特殊情况即为有附加假设的自振频率公式。     

腰形柱壳的有限条元解

本文用考虑了曲率影响的两结线低阶有限板条元分析了腰形柱壳的力学性能这种条元位移参数少,能较好地体现壳体的几何特性。     

轴系稳定性裕度判据的理论研究

本文提出以系统最大能量比率作为衡量轴系稳定性裕度的判据,和传统的对数衰减率与系统阻尼判据相比,该判据综合了系统所有模态的信息,考虑了特征值与特征向量的共同影响。最大能量比率较小的轴系具有较大的稳定性裕度;最大能量比率较大的轴系具有较小的稳定性裕度。探讨了特征向量在评估稳定性裕度的重要作用,指出了传统的对数衰减率与系统阻尼判据在评估轴承稳定性裕度时的局限性。作为应用实例,用最大能量比率判据考察了一模型转了轴承系统的稳定性裕度,并与用对数衰减率及系统阻尼判据所得结论进行了对比。结果表明,用本文提出的判据所得的结论与实际情况比较一致。此外,应用模型转子的计算结果,进一步阐明了对数衰减率与系统阻尼判据的共同不足是采集的信息太少。