基于Klocwork的C/C++软件静态检查

为了保证基于Linux与VxWorks操作系统的C/C++软件代码的质量,需要对软件源代码进行Klocwork检查。分别以SVN与ClearCase作为配置管理工具,将Klocwork工具分别在不同的操作系统下完成安装与配置之后,对C/C++源代码进行Klocwork检查。介绍了Linux环境下配置管理工具SVN客户端安装、SVN版本库的代码更新、Klocwork工具的安装与配置、ClearCase版本库的代码更新、以及Klocwork分别在Linux与VxWorks操作系统下进行Klocwork检查的步骤。给出了Klocwork检查分别在Linux与VxWorks操作系统中的详细检查步骤与检查脚本,以及对已经被检查出来的缺陷的处理。典型案例表明,Klocwork检查有助于及时发现并解决C/C++软件源代码的各种缺陷,从而提高软件质量和安全性。     

具有星间链路的星座相位设计

通过分析星座空间构形的变化规律，综合考虑星座空间构形对地面覆盖特性、星间链路、空间测量精度以及工作性能的影响，利用改进的层次分析法对星座相位进行优化设计。通过对全球覆盖星座进行仿真，验证了方法的可行性。     

Clipper返回舱气动布局优化方法研究

俄罗斯联邦空间局提出的Clipper飞船返回舱采用升力再入方式，结合了飞船和航天飞机的特点，升阻比高、机动性强、稳定性好、过载低、空间大，而且可以部分重复使用，是未来低成本天地往返运输系统可能的发展方向。采用基于牛顿理论的气动力工程方法对气动特性进行预测，建立了考虑高超声速升阻比和效用容积时的多目标气动布局优化模型，利用多目标遗传算法进行了优化计算，获得了约束条件下的Pareto最优解集。     

多余度机载系统消息映射与配置的改进设计

针对基于ARINC653操作系统的多余度机载系统消息映射和配置传统设计方法工作量大,维护困难的缺陷,提出一种改进的设计方法,以减少传统设计方法的复杂性,有效提高消息映射和配置设计的效率,增强系统的维护性.     

一种在理论模线控制下的飞机结构立体图快速画法

绘制飞机结构立体图通常会涉及到飞机外形。由于飞机外形复杂，用传统方法绘制与外形有关的立体图不仅速度慢，而且局限性大。本文介绍一种在理论模线控制下的飞机结构立体图快速画法。     

DSP-1型酊剂灌装线灌装装置的凸轮机构设计

针对DSP-1型酊剂灌装线灌装装置的工作要求,设计一个平底直动从动件盘形凸轮机构,用于对灌装头的运动轨迹进行控制。由于凸轮轴利用了灌装线主轴,刚度和强度足够,因此不必另外对凸轮轴的刚度和强度进行计算与校核。考虑到凸轮机构的负荷和寿命要求,对凸轮的材料进行了选择,对热处理要求进行了规定。     

Stability and shape analysis of relative equilibrium for three-spacecraft electromagnetic formation

The invariant shapes for close formation flying with inter-craft electromagnetic force ensure several potential space applications. However, the 6-DOF relative equilibrium problem has not been systematically investigated. This paper mainly analyzes the invariant shapes of relative equilibrium for the three-spacecraft electromagnetic formation, and studies the families of invariant shape solutions with real and constant magnetic moments as well as their linear stability. The problem is examined based on the full nonlinear coupled dynamic models for collinear and general triangular configurations. The relative equilibrium conditions are analyzed to determine whether an invariant shape do exist, and the corresponding families of invariant shape solutions are identified for static and spinning configurations respectively. Finally, the linear stability of such invariant shapes is numerically discussed, which have shown that most invariant shapes are unstable and controllable.     

多体全自由飞过程的数值模拟

以三维非结构粘性直角网格重构为构架,数值求解了固定空间网格瞬间运动边界的N-S方程,逼近了流场的非定常过程,结合六自由度的弹道方程,对单体或多体运动过程进行了全自由飞数值模拟,数值模拟结果和级间分离的风洞自由飞试验进行了对比,初步的计算结果说明,全自由飞数值模拟在一定程度上可以描述风洞试验的飞行轨迹,并且适应能力更强,整个全自由飞数值模拟系统可以为更复杂的单体机动飞行或多体运动过程提供快速实用的数值模拟方法.     

邻近空间无线通信连接技术的探讨

文章研究了CCSDSPSLP（空间数据系统咨询委员会邻近空间链路协议）的连接技术,从连接帧格式、指令内容、状态逻辑、参数配置等方面进行了深入分析,重点研究了物理层、编码与同步子层的底层功能及接口细节,并从实现的角度讨论了三种优化连接的方法流程,为基于PSLP的设备研制做出了具备应用价值的技术探索.     

基于DIY理念的苏州旅行社线路配置现状研究

DIY作为时尚消费理念风靡全世界，而随着休闲性、体验性等新的旅游元素渗入传统旅游方式．DIY旅游在各大城市城市兴起。本文通过在线调查和咨询的方式，对国家级旅游城市——苏州旅行社DIY旅游线路配置的现状进行了研究，进而提出自己的意见和看法。