一种软件实现的程序控制流错误检测方法

在太空环境中，由于宇宙射线的存在，计算机系统的硬件经常发生各种瞬态或永久故障，致使软件系统的执行流程产生错误。针对太空环境的强辐射特点，提出了一种对程序的控制流进行检查的纯软件方法RSCFC，它首先把程序划分为“基本模块”，然后给每个基本模块赋予一“关系标记”和错误探测指令。通过对程序运行期间生成的“即时标记”和事先嵌入程序的模块位置信息的“与”运算来探测控制流错误。该方法在几个C语言标准程序上进行了实现，并进行了故障注入实验，结果表明在没有RSCFC时，大约20．7％～68．8％的分支故障会产生探测不到的不正确输出，而在RSCFC存在的情况下，该区间会降低到2．8％～20．4％。与其它的软件控制流错误检测方法相比较，它具有探测率高，对原始代码影响小的特点。     

基于ADS的MESFET功率放大器设计

提出一种在无法获取器件大信号模型条件下采用小信号法设计功率放大器的方法。在此基础上 ,借助Agilent ADS软件采用小信号设计、提取器件的封装寄生参数、优化结合的方法设计了一个 MESFET功率放大器。     

动态系统慢变型故障的检测与隔离

利用最优奇偶向量法 ,分别设计对执行机构故障和传感器故障敏感的最优奇偶向量 ,产生各自对执行机构故障和传感器故障敏感的残差 ,从而达到将执行机构故障和传感器故障进行分离的目的     

捷联惯导系统故障诊断与处理技术研究

为有效提高捷联惯导系统可靠性，研究了捷联惯导系统故障诊断与处理技术，提出捷联惯导的容错技术应具有故障检测，识别、隔离和系统重要等功能，并介绍了直接比例测量法和奇偶向量法两种技术方案，指出，在实践中综合应用多种容错技术可明显提高系统可靠性。     

小卫星空间圆形编队飞行队形设计与比例-微分(PD)控制

以两体相对运动动力学为基础 ,对Hill方程表示的相对运动特性进行了分析。同时给出了小卫星空间圆形编队队形设计。并且以此队形为例 ,引入了比例 -微分 (PD)控制策略对小卫星编队飞行的队形控制进行了研究 ,利用最优算法确定了控制器比例微分系数。数字仿真结果表明了该控制策略的有效性     

计算机辅助导弹部位安排系统研究

本文介绍了一种计算机辅助导弹部位安排系统。它利用计算机实体造型技术,实现了导弹部位安排。系统利用多面体求交法进行干涉检查;应用两多面体之间点、线、面的分层计算法计算部件间的最小间隙;采用改进的三棱锥分割法计算部件的质量特性。系统具有人机交互功能,并可在绘图机上绘制二维部位安排图。本文以某型导弹的仓段部位安排作为实例,对该系统的正确性作了验证。     

数字余度飞行控制系统中的几个问题

本文讨论了数字余度飞行控制系统中的几个主要问题。根据随机过程假设提出了一种故障监控门限值的选取方法:余度管理软件的分时多速率结构,以及基于卡尔曼滤波器的解析余度方案。另外,本文还提出了伺服器均衡回路的独立性概念,从而解决了均衡回路的设计问题。     

三值逻辑方程和组合逻辑电路函数险象的检测

对于组合逻辑电路中函数险象的检测提出一种新的方法－解三值逻辑方程法，此方法的显著特点是可以检测出在任何输入状态下电路所可能产生的所有函数险象，所给的算法很容易在计算机上实现。     

二维物体相交检验的线性四叉树方法

在物体的平面布局问题中，判别两个物体是否相交是一个难点，以往的方法数据结构不统一，计算量大，算法复杂，本文首先讨论了二值图象的线性四叉树的表示及其有关术语和性质，然后在此基础上首次提出了二维物体相交检验的线性四叉树方法及其实现的算法，最后进行了算法的时空分析，与以往的方法相经，本文所提方法具有数据结构统一，算法简单，时空效率高等优点。     

小不对称再入体滚转气动力测量技术

为了解决小不对称再入体滚转气动力测量问题 ,北京空气动力研究所研制开发了以空气轴承为核心的滚转气动力测量技术 ,利用空气轴承自身旋转阻尼非常小的特点 ,使模型做自由滚转运动 ,一个特殊设计的非接触的光学测量系统测出模型的转角随时间的历程 ,用参数拟合的方法得到滚转力矩的大小和方向。为验证该项实验技术的正确性与可靠性 ,在5 0 0高超声速风洞中对 4个模型进行了吹风实验 ,吹风马赫数为 5 ,测量滚转力矩系数Cl0 和滚转阻力矩系数Clp。实验结果表明 ,该文方法数据合理 ,并较其它方法更具有鲁棒性。