k/N(G)系统可靠性评定的熵(法)近似限

将近代,Shannon信息论与可靠性工程理论相结合,推导了由不同成败型或不同指数型单元组成的k/N（G）系统可靠性评定用的熵（法）第一、二近似下限计算公式。评定结果令人满意。     

复杂动态系统实时仿真模型自动生成

提出了一种表示复杂动态系统数学模型的分层结构,探讨了模型变量与参数在实时仿真程序中的引用－赋值关系,提出了一个既包含了模型的数学特征,又包含了模型实时运行所需的信息的实时仿真模型分层结构。在此基础上设计了一个实时仿真模型库及实时仿真模型自动生成系统。     

DDS在跳频频率合成器中的应用

本文对直接数字频率合成（DDS）基本原理进行了简要介绍,提出了一种由DDS和直接频率合成（DS）构成的适用于宽带跳频通信系统的频率合成器设计方案。     

基于有限体积法和SNBCK模型的红外辐射特性计算

耦合求解流场、组分浓度场、基于SNBCK模型的气体辐射传输/能量方程以求准确模拟飞行器排气系统气动热力及红外特性.窄带模型参数由HITEMP逐线计算数据库计算得到.通过CO₂4.3μm波段吸收率计算,圆柱炉膛辐射换热特性计算两个算例验证了所采用程序求解辐射传输/能量方程的准确性.最后计算了两种二元喷管的红外特性,结果表明大宽高比二元喷管地面和空中状态红外辐射特性差异巨大.     

基于自由权矩阵的时变时延线性群系统编队控制

研究了基于自由权矩阵方法的时变时延线性群系统编队控制问题。首先,基于一致性理论,设计了具有时变时延的线性群系统编队控制协议。其次,通过变量代换,将时延条件下的线性群系统编队控制问题转化为时延系统的镇定问题。构造Lyapunov-Krasovskii函数,并利用自由权矩阵方法对时延系统的镇定问题进行分析,得到了保守性较小的线性矩阵不等式（LMI）判据,并求解出时延上界和编队控制器增益。最后,通过仿真实验,验证了方法的有效性。     

ARINC 653分区实时系统的可调度分析

ARINC 653规范定义了综合模块化航空电子(IMA)实时操作系统的行为逻辑以及向应用程序提供的接口规范。该规范规定了系统采用分区内调度和分区间调度的两级调度方案,如何分析系统的可调度性以保证实时任务能够在截止时间内完成计算是需要研究的新问题。基于负载请求与平台资源提供能力的供需约束关系导出了系统可调度的判定依据。证明了判据的约束是系统可调度的充分必要条件。实际应用表明,提出的可调度判定定理能够应用于判定ARINC 653分区实时系统的可调度性,辅助提升系统的安全属性。     

Optimization of geosynchronous satellite constellation for independent regional navigation and positioning in Middle East region

Regional Navigation and positioning systems using geosynchronous satellites are emerging for different parts of the world. Optimal constellation geometry achievement for a set of geosynchronous satellites is a key sector in designing of such systems. Genetic algorithm is applied for optimization of constellations with 6 and 7 satellites which is to be used in Middle East region where these systems have been deprived of. Based on the fact that the coverage criterion is not sufficient enough to guarantee a good navigation service, positioning process by the satellite systems is discussed and the performance of the system on the basis of position dilution of precision is collected as the fitness criterion. Placing the satellites in groups to pass over the same ground track is applied as a constraint to the genetic algorithm. By simulation, performance of the best obtained results and GPS are compared in terms of position dilution of precision, visibility and the required epochs (time span) to resolve the ambiguities with a 99% success rate, in this region. Also, capability of the GA for such problems is demonstrated.     

On the large-scale structure of the tail current as measured by THEMIS

The magnetic field structure and the spatial characteristics of the large-scale currents in the magnetospheric tail were studied during quiet and moderately disturbed geomagnetic conditions in 2009. The magnetic field of the currents other than the tail current was calculated in terms of a paraboloid model of the Earth’s magnetosphere, A2000, and was subtracted from measurements. It was found on the base of obtained tail current magnetic field radial distribution that the inner edge of the tail current sheet is located in the night side magnetosphere, at distances of about 10 R_E and of about 7 R_E during quiet and disturbed periods respectively. During the disturbance of February 14, 2009 (Dst_min ∼ −35 nT), the B_x and the B_z component of the tail current magnetic field near its inner edge were about 60 nT, and −60 nT that means that strong cross-tail current have been developed. The tail current parameters at different time moments during February 14, 2009 have been estimated. Solar wind conditions during this event were consistent with those during moderate magnetic storms with minimum Dst of about −100 nT. However, the magnetospheric current systems (magnetopause and cross-tail currents) were located at larger geocentric distances than typical during the 2009 extremely quiet epoch and did not provide the expected Dst magnitude. Very small disturbance on the Earth’s surface was detected consistent with an “inflated” magnetosphere.     

基于模型的系统工程方法在载人航天任务中的应用探讨

针对基于文档的航天任务设计中设计数据分散、一致性差、跟踪难度大等问题,引入了基于模型的系统工程(MBSE)方法。首先,介绍了MBSE方法理念,即通过构建图形化的模型来支持系统的需求捕获、设计、分析、验证和确认等全生命周期活动。然后,给出了MBSE方法的一般工作流程,即先构建系统的需求模型,用于指导功能模型、物理架构模型等的构建,按照事先制定好的逻辑规则建立模型间的关系,依靠模型间的关系实现设计过程中的关联性分析、参数查询等工作。最后,应用MBSE方法于载人飞船交会对接任务中。结果表明,此方法改善了人员沟通,提高了设计效率,降低了设计风险,可为MBSE方法在航天任务设计中的进一步应用提供参考。