第二代490N发动机热控设计

为解决“东方红四号”卫星平台因第二代490 N发动机点火而导致其周边重要结构件温度偏高的问题,重新对发动机周边结构件的热控进行了设计,包括采取隔热垫、高温隔热屏、热防护筒及控制对接框表面状态参数等热控措施,同时利用TMG热分析软件对改进的热设计进行了分析验证。分析结果表明:对接框在发动机点火期间的最高温度为57.5℃,小于温度指标上限值（70℃）,且余量充足;发动机支架的热变形情况也满足指标要求,验证了改进热控设计的正确性。     

航天器结构材料的应用和发展

文章首先说明航天器结构材料的定义及其性能要求,然后简要介绍航天器结构材料的主要类型及其基本性能,并且综述航天器结构材料的应用概况,最后指出航天器结构材料的发展趋势。     

无人机自主进场着陆控制系统功能结构研究

从无人机自主进场着陆的功能需求分析出发。探讨了无人机自主进场着陆控制系统的智能递阶控制结构的组成，并对系统的各关键功能模块进行了较详细的分析，提出了精确4D航迹规划及跟踪控制的一种新方法。     

面向人机交互式软件的测试模型建模方法

从测试用例自动生成和自动执行的角度来探讨如何对人机交互软件建立测试模型。采用UML活动图模型来描述软件的人机交互过程。为了能够从活动图模型中生成一组确定的可执行的测试用例，给出了一组规则来细化基于活动图的测试模型所表达的语义，同时也对活动图做了一些扩展，以支持基于模型的测试用例自动生成及其自动执行。给出的建模方法，能够减少某些冗余的测试用例。     

第四代语言NH4GL系统

本文介绍了第四代语言系统NH4GL,并论述了其设计准则和实现方案。     

Preliminary design of paraboloidal reflectors with flat facets

Based on the concept of approximating antenna surfaces using flat facets or triangulated cable networks, a geometric scheme to subdivide a parabolic surface is discussed. According to the proposed scheme, the paraboloid is divided at the aperture circle into six equal segments first, which form a regular hexagon. Then the regular hexagon is subdivided into equal regular triangles to form subelements. Finally, the points of intersection of these triangles are projected or mapped on the paraboloid surface using a suitable origin of coordinates to obtain the final nodal coordinates of the members along the revolution axis direction. An expression for the relation between the systematic deviation of the actual surface from the desired surface and the side length of the regular triangles on the antenna's aperture surface is developed, which can be used to determine the side length of the regular triangles, and in turn to determine the size of the reflector surface facets necessary to meet antenna surface accuracy requirements. Application on a 0.6-m offset reflector is described and the simulation results demonstrate the effectiveness of the proposed technique in design of paraboloidal reflectors with flat facets.     

不正常航班恢复的一种改进的列生成算法

分析了由飞机资源短缺造成的航班不正常情况,将该问题视为带有容量约束的多个商品的整数最小费用流问题,建立了多商品网络流数学模型。采用列生成算法框架求解该大规模整数规划问题。一般的列生成算法是每次迭代过程只加入一个列,造成迭代次数过多,因而降低了算法效率低。文中采用每次迭代过程中加入多个列,并对加入的多个列应该满足的条件进行了分析。最后给出的算例验证了该方法的正确性和有效性。     

严格随机正则(3,s)-SAT模型及其相变现象

研究变元和文字出现次数受限制的规则3-SAT问题,提出了一种严格随机正则（3,s）-SAT问题,并给出了该问题的实例产生模型--SRR模型。结合一阶矩方法和生成函数展开项系数的渐近近似技术,证明了严格随机正则（3,s）-SAT问题相变点的上界,即当变元规模N较大且变元出现次数s>11时,严格随机正则（3,s）-SAT实例是高概率不可满足的。实验结果表明：由SRR模型所生成的随机实例中,当N>60且s>11时,所有的（3,s）-SAT实例均是不可满足的,而当N>150且s<11时,所有的（3,s）-SAT实例均是可满足的,即严格随机正则（3,s）-SAT实例的相变点位于s=11处,且在s=11处（子句变元比为11/3）的严格随机正则（3,s）-SAT实例,比在相变点（子句变元比）4.267处同规模的均匀随机3-SAT实例更难求解,因此,SRR模型可以很方便地在s=11处构造难解的随机3-SAT实例。     

基于参数化轨迹的TAEM段在线制导方法

针对可重复使用运载器末端能量管理阶段的在线轨迹生成与制导问题,研究了一种基于参数化轨迹描述且不依赖在线积分推演与气动辨识的三维轨迹预测-校正制导算法。首先,设计了由动压上边界、下边界和最大能量边界构成的动压包线,由一个参数对包线内的动压剖面进行描述,采用离线计算的方式预先获得飞行航程随动压剖面参数、倾侧角和能量高度变化的关系并存为三维数表。随后,根据当前状态和地面航迹参数计算得到各飞行阶段地面航程信息,在待飞航程的预测中,考虑侧向机动的航程损失和模型偏差影响,采用分段查表和在线估计航程修正系数的方法对预测航程进行了两次修正。最后,研究了约束条件下的多轨迹参数连续更新策略,以保证消除航程偏差的同时轨迹具有适宜性。仿真结果表明,该方法对于初始位置、能量状态散布不敏感,其末端位置控制精度保持在米级。完成单次轨迹预测-校正的时间不超过2.3 ms,拥有较高的在线预测效率,对突发故障造成的模型偏差具有较强的适应能力。     

从F100看战斗机发动机研制思想的进步

自20世纪60年代后期,F100发动机经历了方案论证、型号研制、初期使用、耐久性提高、改进改型、使用保障等阶段,目前仍是第3代前线战斗机F-15和F-16的主要动力装置.通过F100发动机的研制历程,可以发现无论是F100发动机性能极大提高与改进改型成功的经验,还是F100发动机使用初期故障频发、与空军出现争议、转入生产遇到困难、批量使用故障时发等,都值得总结和借鉴.