基于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++软件源代码的各种缺陷,从而提高软件质量和安全性。     

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

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

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

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

Variable stiffness design of redundantly actuated planar rotational parallel mechanisms

Redundantly actuated planar rotational parallel mechanisms (RAPRPMs) adapt to the requirements of robots under different working conditions by changing the antagonistic internal force to tune their stiffness. The geometrical parameters of the mechanism impact the performances of modulating stiffness. Analytical expressions relating stiffness and geometrical parameters of the mechanism were formulated to obtain the necessary conditions of variable stiffness. A novel method of variable stiffness design was presented to optimize the geometrical parameters of the mechanism. The stiffness variation with the internal force was maximized. The dynamic change of stiffness with the dynamic location of the mechanism was minimized, and the robustness of stiff-ness during the motion of the mechanism was ensured. This new approach to variable stiffness design can enable off-line planning of the internal force to avoid the difficulties of on-line control of the internal force.     

基于MPI的弹道仿真的并行计算研究

介绍了MPI的基本概念,列举了提高并行计算效率的一些措施,并实现了基于MPI消息传递机制的弹道仿真计算模型的并行编程,最后对并行计算和串行计算的结果进行了比较。研究结果表明,将并行计算技术应用于弹道仿真中是可行的,并获得了较高的加速比和计算效率;与单机运行相比,计算机机群可以大大缩短计算时间,提高计算效率,而且可以扩大计算规模,系统适应性和延展性较好。     

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

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

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方程,逼近了流场的非定常过程,结合六自由度的弹道方程,对单体或多体运动过程进行了全自由飞数值模拟,数值模拟结果和级间分离的风洞自由飞试验进行了对比,初步的计算结果说明,全自由飞数值模拟在一定程度上可以描述风洞试验的飞行轨迹,并且适应能力更强,整个全自由飞数值模拟系统可以为更复杂的单体机动飞行或多体运动过程提供快速实用的数值模拟方法.     

Adaptive mesh refinement computation of acoustic radiation from an engine intake

A block-structured adaptive mesh refinement (AMR) method was applied to the computational problem of acoustic radiation from an aeroengine intake. The aim is to improve the computational and storage efficiency in aeroengine noise prediction through reduction of computational cells. A parallel implementation of the adaptive mesh refinement algorithm was achieved using message passing interface. It combined a range of 2nd- and 4th-order spatial stencils, a 4th-order low-dissipation and low-dispersion Runge–Kutta scheme for time integration and several different interpolation methods. Both the parallel AMR algorithms and numerical issues were introduced briefly in this work. To solve the problem of acoustic radiation from an aeroengine intake, the code was extended to support body-fitted grid structures. The problem of acoustic radiation was solved with linearised Euler equations. The AMR results were compared with the previous results computed on a uniformly fine mesh to demonstrate the accuracy and the efficiency of the current AMR strategy. As the computational load of the whole adaptively refined mesh has to be balanced between nodes on-line, the parallel performance of the existing code deteriorates along with the increase of processors due to the expensive inter-nodes memory communication costs. The potential solution was suggested in the end.