Ada语言在星载软件上的应用

介绍了星载软件的特点和构成，从提高星载软件可靠性的角度引入了高级程序设计语言－Ada语言与汇编语言的接口调用技术，以及使用Ada 语言开发星载软件和应用技术。     

一种基于双DSP的软件无线电中频调制解调平台的研究与实现

文章简要介绍了软件无线电的概念;分析了TI公司的DSP TMS320VC5509的特点;详细说明了一种基于双DSP的软件无线电中频调制解调平台的研究与实现。     

电路特性仿真软件OrCAD／Pspice的应用

本文通过实例介绍了电路仿真特性软件OrCAD／Pspice在模拟电路、数字电路及数模混合电路几方面的应用。     

C/C复合材料表面烧蚀细观形貌损伤分析

基于C/C复合材料烧蚀表面细观形貌和细观结构上的流场分布规律研究,着重分析了微裂纹尺寸对C/C复合材料中Z向纤维和基体界面上因变温引起的开裂损伤的影响,给出了微裂纹随温度变化的扩展规律及微裂纹特征尺寸随温度变化的表达式;提出了在高温下因变温而造成的损伤模型,为C/C复合材料结构烧蚀计算提供了一种基础性理论。研究结果表明,高温下变温会引起C/C复合材料力学性能的劣化。     

基于快速终端滑模的模糊逼近系统及其应用

为改善模糊系统逼近的收敛速率,提出了一种基于快速终端滑模的反向传播(BP)学习算法。将快速终端滑模引入模糊逻系统的学习算法,综合终端吸引子有限时间收敛和线性系统指数收敛的性质,提高了对非线性连续函数的逼近能力。仿真结果表明:该算法能以较快速率逼近未知函数,且逼近过程稳定,较普通学习算法更为精确和有效。     

基于扩展块的星载软件控制流容错评价方法

空间环境因素引发的星载软件瞬态的控制流错误可能对系统执行效能造成严重影响，为避免容错算法存储开销和执行开销给系统带入过多的计算压力，提出在容错算法开销和所取得的系统的可靠性提升上取得一定折衷，这是星载软件可靠性设计的合理方向。设计了一种适合于弹性添加容错代码的容错方法：扩展块数字签名的控制流检测方法ESCFC（Extend block Signatures for Control Flow Checking）。由空间高能粒子的实验结果和在轨实测结果为系统可靠度建模，提出了算法开销和可靠性效能提升的平衡关系的工程参考和理论依据。定性分析和模拟，充分说明了将该方法运用于航天工程的可行性。     

指令抗干扰性能研究

本文从分析指令的特性出发,研究了指令在外界干扰作用下的特性,提出了单故障相关指令对的概念,分析了单故障相关指令对的性质,提出了单故障相关指令集生成算法,讨论了不同类型指令在单故障情况下的效应,并作了初步分类,最后提供了部分故障试验结果。     

软件测试的度量方法及其应用

软件测试是找出软件中的错误,它是保证软件质量的关键,软件测试的度量是对影响软件测试的属性所进行的定量测量.本文简述了应用软件测试度量技术时所应具有的基本知识,通过一个实例,介绍并讨论了一种实用的关于软件测试进度安排和软件错误数的度量方法.     

基于目标操作化的多引擎协作体系结构研究

基于目标操作化的域原子操作模型,研究分析了面向应用目标的系统设计与实现的基本问题,通过引入解释引擎,提出了面向目标的形式模型与应用软件设计实现的一体化机制;在系统级应用中间件之上,引入组件服务,提出了一个通过处理操作作业流实现目标的、多个操作服务引擎协作的体系结构,通过构造组件适配器,以满足操作服务引擎对异构组件服务的一致性访问.