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

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

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

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

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

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

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

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

基于对象的数字地图存储管理技术

针对数字地图数据的特点，采用面向对象技术与关系数据库技术相结合的方法，构造了一个基于对象的数字地图存储管理的结构，由此实现了一个数字地图的存储管理系统。系统中对传统关系进行了扩展，使系统能存储数字地图数据；引入面向对象的方法，使系统具有表达和描述复杂对象的能力。     

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

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

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

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

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

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

扩展分形在SAR图像特定尺寸目标检测中的应用

介绍了扩展分形(Extended fractal)技术在合成孔径雷达(SAR)图像特定尺寸目标检测中的应用。与传统的检测特征相比，扩展分形特征不仅可以依靠时比度从背景中识别目标，而且对目标物体的尺寸敏感。文中对扩展分形的定义以及扩展分形的均值和方差进行了分析，表明了扩展分形对目标尺寸和对比度的敏感特性。在扩展分形定义中，通过比较不同的能量增长间隔比值对扩展分形均值和方差的影响，确定了最优能量增长间隔比值，将扩展分形技术用于对实测SAR图像中特定尺寸目标检测，得到了良好的识别效果。实验表明，扩展分形技术对特定尺寸的目标具有很好的检测性能。     

北斗导航系统接收机 自主完好性监测算法及性能分析

北斗导航定位系统是我国自主研制的全球导航定位系统,其接收机的自主完好性是决定可靠性的关键因 素之一。文章推导了RAIM(Receiver Autonomous Integrity Monitoring)算法的观测模型,并在此基础上推导了基于 最小二乘法的RAIM算法、故障检测和故障识别算法。仿真表明,该算法可以检测出故障并识别故障卫星。