大型挠性充液卫星的动力学模型

研究了带有多个挠性附件和液体燃料贮箱的中继卫星系统的动力学建模问题。给出了微重力下小幅线性晃动等效模型基本参数，用混合坐标法描述中继卫星系统的构形，利用虚功原理推导出的矩阵形式的中继卫星动力学模型简洁且具有一般性，适用于许多开链飞行器系统。     

少烟推进剂中新型复合多功能添加剂研究

利用多种实验手段，考察了四种新型复合多功能添加剂对ＡＰ／ＲＤＸ／ＡＬ／ＨＴＰＢ少烟复合推进剂力学性能，燃烧性能，热分解性能和工艺性能的影响。实验及分析证实，Ｃ－２和Ｃ－１两种复合多功能添加剂能显著改善少烟复合推进剂的力学性能，尤其是低温力学性能，同时还能提高推进剂燃速，是两种良好的多功能添加剂。     

对“程序设计语言”教学改革的探讨

本文着重讨论了非计算机专业的学生学习计算机的重要性,分析当前非计算机专业程序设计语言教学中存在的问题,提出了一套以软件工程为指导的新型“软件设计及程序设计语言”教学模式,并对此进行了探讨。     

设计玻璃钢复合材料结构物时的一些考虑

 在使用玻璃钢/复合材料进行结构物设计时,至少需考虑下面三个特点,即:材料性能的可设计性;结构物形状的无限制性;材料的线性弹性与强度分散性。     

一种改进的Turbo码Log-MAP译码算法

在传统Turbo码Log-MAP译码算法的基础上,借鉴已有的简化算法,提出了一种改进的Log-MAP译码算法。仿真结果表明,新的算法在大大降低译码复杂度的同时较好地保持了译码性能,使其非常接近Log-MAP算法的译码性能;同时也非常有利于硬件实现。     

高加速应力筛选

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

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

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

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

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

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

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

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

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