满足适航要求的嵌入式操作系统测试方法

以被定义为DO-178C Level A级软件的自主版权嵌入式实时操作系统为应用模型，提出了一种基于DO-178C标准的嵌入式实时操作系统的测试方法。提出的测试模式解决了操作系统内核在目标机中难以测试的问题，同时对操作系统在目标机环境进行测试的一些具体问题给出了解决方案。方法既适合现阶段国军标对软件测试提出的要求，又保证了嵌入式操作系统软件测试活动与适航要求的符合性。     

增强碳/碳球锥切削中的最小热应力优化研究

对将增强碳/碳纤维块体切削成球锥外形的工艺,块体热膨胀系数异性轴指向可以极大地影响球锥热应力大小,存在优化设计的潜力。本文对增强碳/碳不同主轴方向弹性模量比值下的球锥最小热应力优化特性进行了研究,发现以1为界,不同模量对比关系下的优化特征是完全不同的。在本文加热条件下,当异性轴模量小于同性面模量时,优化曲线对温度场变化很敏感,以块体异性轴和球锥横截面成±42.9夹角时热应力最小;当异性轴模量大于同性面模量时,优化曲线随加热时间变化不大,以块体同性面与球锥对称轴平行或成小锐角时热应力最小。一般而言,工艺设计中应避免用模量大的主轴方向指向球锥对称轴方向。     

Comparative study of productivity of the Rosetta target Comet 67P/Churyumov-Gerasimenko

In an attempt to evaluate correlations between several properties of comets we report the results of a cometary research involving a criterious analysis of gas and dust mass production rates in Comets 67P/Churyumov-Gerasimenko (main target of Rosetta Mission), 1P/Halley, Hyakutake (C/1996 B2), and 46P/Wirtanen and make a comparison between them.     

基于C8051F020的绞车键盘模拟训练系统的设计与实现

为方便声纳员进行操作训练,设计、开发了一种能够脱离实装设备的吊放声纳绞车键盘模拟训练系统,绞车键盘操作的画面布局及键盘布局等与实装绞车键盘一致。同时,绞车键盘通过控制变频器带动电机以驱动绞车,可以逼真地模拟实际对绞车的操作,模拟也可以对特定条件下的训练方案进行设定,以提高声纳操作人员的训练水平。     

机载适航标准DO-178B/C软件开发过程研究

介绍了DO-178B/C标准的发展历程,结合对DO-178B/C标准机载软件生命周期过程的研究,分析了机载软件开发过程需求、设计、编码和集成子过程的关系及输入输出数据,在分析机载软件需求、设计、编码及集成子过程的目标、活动和转换准则的基础上,给出了各子过程的过程模型.展望了DO-178B/C标准的未来研究方向.     

网络化数据采集系统的设计

介绍了网络测控中高速数据采集系统的设计，以及利用LabWindows/CVI建立网络化数据采集系统的方法，该方法把分布的测量系统变为集中的网络测控系统，并为实现遥测遥控提供了一条思路，该设计方案直接建立在网络应用层，不用考虑网络底层硬件，有利于简化设计方案和节约资源。     

关于BCB中的QuickReport报表技术的探讨

针对Borland C Builder环境中有关报表的一些特殊和常用的技术进行了探讨，包括利用自定义方法进行预览屏幕的生成、动态生成报表控件以灵活地适应最终的报表、在生成报表时控制不同来源的数据等，并对报表的导出进行了讨论，给出了将数据导出到文本、HTML文档以及Word文档的一般性方法，这些方法可以类推到其它类型的文档中。文中除了给出有关这些方法的简单讨论，还给出了用于说明问题的相关代码实例。     

无人驾驶直升机遥测遥控与电子系统设计

 介绍了某型无人驾驶直升机遥测遥控与电子系统设计研制,系统要求、总体结构与工作过程,系统设计中的技术问题与解决方案,该系统已经研制成功并得到应用。     

INMARSAT测控网故障应对策略

结合INMARSAT-4F1早期轨道支持任务，介绍了INMARSAT测控网的结构和任务配置，给出了测控网发生故障时的处理方法以及实际应用情况。最后根据故障诊断理论，分析了航天测控网的故障特点。