Model-based robustness testing for avionics-embedded software

Robustness testing for safety-critical embedded software is still a challenge in its nascent stages. In this paper, we propose a practical methodology and implement an environment by employing model-based robustness testing for embedded software systems. It is a system-level black-box testing approach in which the fault behaviors of embedded software is triggered with the aid of modelbased fault injection by the support of an executable model-driven hardware-in-loop (HIL) testing environment. The prototype implementation of the robustness testing environment based on the proposed approach is experimentally discussed and illustrated by industrial case studies based on several avionics-embedded software systems. The results show that our proposed and implemented robustness testing method and environment are effective to find more bugs, and reduce burdens of testing engineers to enhance efficiency of testing tasks, especially for testing complex embedded systems.     

等效地球半径法应用中的问题

为阐明等效地球半径法应用的范围和应用中应该注意的问题,从等效地球半径法的定义推导了等效地球半径模型与实际地球模型之间量的映射关系.给出并证明了等效过程中等效地球半径模型与实际地球模型下的射线高度、仰角、长度相等,而地心角在转换过程中约为3/4的映射关系.讨论了需要利用地心角映射关系进行计算时的两种情况,同时给出计算结果和误差分析.     

网格生成软件GRGES的设计与实现

首先,本文说明了研制网格生成软件对于促进计算流体力学研究和应用的重要意义。其次,本文论述了数值网格生成的基本概念和基本步骤,提出了网格生成软件GRGES的设计思想,简单介绍了GRGES的总体结构和五种网格生成方法。最后给出了三个网格生成算例,它们均可用于计算实际流场。     

SSRT: First results of millisecond spike observations

We present the results of the first observations of spike-like phenomena with the Siberian Solar Radio Telescope (SSRT) in the one-dimensional mode at the frequency of 5.7 GHz with high spatial and temporal resolutions.     

GPSS-GKS仿真动画系统的研究

本文介绍一种自行设计的GPSS-GKS仿真动画系统。该系统应用先进的GPSS/H仿真软件和国际标准的最新图形系统SunGKS,既可在Sun工作站上完成仿真、动画演示操作,又能在Sun工作站、PC机多处理机环境下实现仿真、监控和动画演示。该系统可进行离散系统仿真,并兼有数字仿真、动画分析和仿真报告分析的功能,具有较高的通用性。文中着重介绍了系统的组成和各部分的功能;GPSS/H仿真软件及SunGKS图形系统的相互连接和构成完整系统的设计方法;最后给出用该系统对FMS(柔性制造系统)进行仿真和动画演示的应用实例。     

姿控发动机试验阀门电流信号采集系统设计

介绍了液体火箭姿控发动机阀门电流信号采集系统的设计要点、研制方法与主要开发过程。较详细阐述了高速数据采集系统应用软件开发及系统集成后的调试方法。该采集系统实现了多路液体火箭姿控发动机试车阀门电流信号的数字化测量。     

高职高专教学改革与软件人才培养模式的思考

本文通过对我国高职高专发展历程的回顾，分析了当前高职高专教育的中心任务与面临的主要问题，阐述了高职高专教学改革的紧迫性，重点对计算机应用与软件技术人才的社会需求、人才规格、能力结构、培养模式等问题进行了探讨。     

一体化建模和仿真环境（IMASE）

一体化建模／仿真环境能为用户提供友好的仿真建模环境，交互功能强的仿真运行环境和功能充分的结果分析环境，从而使仿真试验全过程都能方便地进行。ＩＭＡＳＥ是在ＭＰＳＥ或ＹＦＳＩＭ／ＹＦＲＩＯ的基础上，扩建仿真数据库和模型单元库，并且通过它们的生成源程序和增强结果分析功能，从而使运载火箭控制系统仿真无论在ＹＨ—Ｆ１上，还是在ＹＦ—Ｆ２上，都有一个一体化建模／仿真环境。     

一种高负荷叶型优化设计方法

采用3段3次贝塞尔曲线拟合叶型中弧线弯角分布,两段3次贝塞尔曲线拟合厚度分布,进行流线面造型,并结合优化算法进行寻优.S1流场评价工具为MISES软件,寻优算法为遗传算法（GA）.将传统遗传算法进行改进,引入并行模块,较大程度地提高了计算效率.实现了高负荷叶型的自动优化,探讨了高负荷叶型的设计准则,并将准则应用于超声叶型设计.结果表明:相比于原始叶型,优化后的叶型Ⅰ在总压损失系数略降低和出口气流角不变的条件下,可用攻角范围拓宽约2°,叶型Ⅱ的总压损失系数明显降低,可用攻角范围拓宽约0.6°,落后角降低约3.9°.      

基于DO-178C及CMMI的民用航空发动机控制软件质量保证研究

随着嵌入式软件逐渐成为民用航空发动机控制系统这一复杂系统的最重要组成部分,对于其安全性和可靠性的要求也日渐提高,而软件因为其研发过程的特殊性,要保证其产品质量则必须依靠过程的监控与符合性检查.软件质量保证(SQA)就是评估软件生存周期过程及其输出,以保证目标得以满足,故障得以检测、评估、追踪和解决,并保证软件产品和软件生存周期资料符合合格审定要求的活动,是航空软件产品研发过程中重要的一环.以DO-178C为指导,结合CMMI三级关键过程域实践,总结出一套民用航空发动机控制软件的质量保证流程,为质量保证人员(QA)提供参考.