一个－阶逻辑公理系统独立性的证明

独立性是公理系统的重要性质之一．给出了一个－阶逻辑的公理系统，采用语义解释和公式变换的方法，证明了它的独立性．     

远程空空导弹作战体系

探讨实现远程空空导弹作战的有效技术途径.将各种可调用的探测及通讯手段,组成远程目标运动信息获取及导弹制导指令信息传输网,与导弹载机以及导弹共同组成作战体系,实现对远程目标的攻击.提出了远程空空导弹作战体系方案,建立了各个组成的相关数学模型,分析了信息探测、传输、融合误差对作战效果的影响,完成了作战体系的仿真.结果表明该远程空空导弹作战体系方案是有效的.     

含裂纹板受集中力作用的精确解

 对具有中心裂纹或半无限长裂纹的无限大板在集中力作用下得到了精确的复变应力函数。对具有半无限长裂纹的无限大板采用的分析方法是柯西积分。将具有中心裂纹的无限大板的问题化成希尔贝特问题进行求解。     

用于飞机概念设计的设计要求输入和初步定参数环境

为了在飞机概念设计过程中给新型号的设计要求组织和基本参数估算提供便捷且可扩展的工具而开发了设计要求与初步定参数环境(EDRIPS)。在这一环境中，设计可以通过友好的用户界面交互地输入飞机的性能要求、构造任务剖面和选取有效载荷，然后以此为基础从约束分析所得的可行域中选取设计点，进而利用一种改进的估算飞机起飞重量的方法进行任务分析以得到飞机的基本设计参数。介绍了各模块的实现措施和所采用的方法。最后通过对一个设计实例的分析验证了EDRIPS应用于飞机概念设计的有效性和可靠性。     

A novel two-stage extended Kalman filter algorithm for reaction flywheels fault estimation

This paper investigates the problem of two-stage extended Kalman filter(TSEKF)-based fault estimation for reaction flywheels in satellite attitude control systems(ACSs). Firstly, based on the separate-bias principle, a satellite ACSs with actuator fault is transformed into an augmented nonlinear discrete stochastic model; then, a novel TSEKF is suggested such that it can simultaneously estimate satellite attitude information and actuator faults no matter they are additive or multiplicative; finally, the proposed approach is respectively applied to estimating bias faults and loss of effectiveness for reaction flywheels in satellite ACSs, and simulation results demonstrate the effectiveness of the proposed fault estimation approach.     

Invariant and energy analysis of an axially retracting beam

The mechanism of a retracting cantilevered beam has been investigated by the invariant and energy-based analysis. The time-varying parameter partial differential equation governing the transverse vibrations of a beam with retracting motion is derived based on the momentum theorem. The assumed-mode method is used to truncate the governing partial differential equation into a set of ordinary differential equations (ODEs) with time-dependent coefficients. It is found that if the order of truncation is not less than the order of the initial conditions, the assumed-mode method can yield accurate results. The energy transfers among assumed modes are discussed during retrac-tion. The total energy varying with time has been investigated by numerical and analytical methods, and the results have good agreement with each other. For the transverse vibrations of the axially retracting beam, the adiabatic invariant is derived by both the averaging method and the Bessel function method.     

多载荷卫星高速信息处理技术研究

在某多载荷卫星数传分系统的信息处理器中，用高级在轨系统(AOS)的部分业务及功能，实现多种信息的交织、合路、纠错、数据传输和数据管理。将解扰和R-S译码2种关键技术，用于信息处理器地面测试系统的信息传输和处理，并设计为IP核，实现了与其他模块的无缝连接。在数据流仿真和高速数据接收中采用了通用化设计，提高了设计效率，减少了设计成本和时间。     

Future spacelift projection

In 1996 the NASA Advisory Council asked for a comprehensive look at future launch projections out to the year 2030 and beyond. In response to this request NASA sponsored a study at The Aerospace Corporation to develop long-range space transportation models for future commercial and government applications, and to analyze the design considerations and desired characteristics for future space transportation systems. Follow-ons to present space missions as well as a wide array of potential new space applications are considered in the study. This paper summarizes the space transportation system characteristics required to enable various classes of future missions. High reliability and the ability to achieve high flight rates per vehicle are shown to be key attributes for achieving more economical launch systems. Technical, economic and policy implications are also discussed.