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

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

大型柔性整流罩抛罩多体动力学仿真

在考虑结构弹性变形、空间大范围相对运动，以及弹性运动与刚体运动耦合的基础上，建立了运载火箭整流罩的有限元分析模型。采用MSC．NASTRAN和ADAMS软件仿真模拟了新一代大运载火箭整流罩不同设计方案的地面分离，并与试验结果进行了比较。分析表明，整流罩的多个仿真模拟分离参数与试验值较为接近，证明本文的整流罩抛罩多体动力学仿真方法有效。     

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

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

神舟号载人飞船船载测控通信分系统

介绍了神舟号载人飞船船载测控通信分系统中统-S波段（USB）、C波段、遥测、遥控、图像、话音、超短波（VHF）、短波（HF）和天线等子系统的组成、主要功能与特点，以及跟踪测轨、话音通信、遥控、遥测和天线等的可靠性设计。地面试验和飞行试验结果表明，该测控通信分系统都完成了测量任务，完全能满足载人航天工程的高要求。     

指令抗干扰性能研究

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

航迹跟踪的优化方法研究

最优航迹跟踪要求飞机的实际飞行航迹与理想航迹的偏差最小,但若采用按偏差的最优控制方法,会造成控制变量的剧烈震荡.为了解决控制变量的剧烈震荡问题,提出了一种新的偏差-微分综合控制方法.通过对参考航迹的跟踪验证,表明该方法有效地解决了控制变量最优解的振荡问题,并实现了精确的航迹跟踪性能.     

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

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

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

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

软件可靠性预计方法研究及实现

软件可靠性评估可以估计和预计软件可靠性水平.为了解决软件可靠性预计过程中存在的问题,提出了一种软件可靠性预计方法.该方法通过分析和改进模型的预计质量来选择模型进行预计,对模型预计质量的分析使用了U图、Y图和对数PLR图,再标定法和组合法被用于改进模型的预计质量.在该方法的基础上开发了软件可靠性分析工具,此工具可以进行多种软件可靠性模型的原始预计、预计质量分析和改进原始模型的预计质量.