FADS压力传感器冗余配置研究

嵌入式大气数据传感器系统通过在飞行器各部位的压力传感器阵进行工作,压力传感器的数量,布局形式将对系统的工作性能产生影响.为衡量冗余配置的性能,提出两项性能指标:可靠件,噪声抑制性能,并分别给出性能指标的具体计算方法.根据现有典型的压力传感器布局类型,分别计算出不同压力传感器数量、不同布局形式的性能指标.通过对性能指标的分析得出结论:可靠性,噪声抑制性能随压力传感器数量增加而增加;放射型布局的噪声抑制性能最优.     

冗余系统的生存能力分析与评估

立足于任务这个高层次的用户需求,通过对系统持续执行任务能力的参数分析,给出了应用美国工业界武器系统效能委员会（ＷＳＥＩＡＣ）提出的效能评估方法来分析和评价系统生存能力的方法．在此基础上,针对应用广泛的犽／犖热备份冗余结构,给出了具体系统生存能力的分析和评估方法．仿真实验表明,该分析方法有助于分析冗余技术对生存能力的影响,以便系统设计者合理应用冗余技术,在有限的资源下尽可能增强系统的生存能力．     

造纸厂PLC控制系统的冗余配置与应用

为使造纸厂中各项生产设备能够维持在安全稳定的工作状态,实现对生产过程的自动控制,同时提高造纸作业的生产速度及分布式控制要求,需要增强PLC自身的可靠性,不过只依赖于提升系统的硬件性能远不能满足要求,必须采用适当的冗余配置降低系统运行的故障率,保证系统整体的安全性与作业效率。     

一种适用于配置漏洞的安全配置评估系统

为了对大量存在的配置漏洞进行风险评估从而做出相应的补救措施,以使可能的损失降到最低,本文首先研究通用漏洞评估系统(CVSS)的评估体系,然后结合配置设置自身的特点,对CVSS标准进行修改,提出适用于配置漏洞评估的安全配置评估系统(SCVSS),并通过CCE的配置实例验证了SCVSS的正确性。SCVSS是一种有效的配置评估系统。     

分布式容错计算机系统的一个冗余结点配置

ＦＴ－ＨＩＴ是我们自行研制的一个网络结点机。它采用三模冗余结构，具有容错计算和分布处理功能。本文以ＦＴ ＨＩＴ系统为背景，论述一种分布式容错计算机系统的结点配置技术，包括系统冗余级别的确定，互连结构的选择以及它的冗余管理技术等。     

PLC系统冗余应用经验

介绍了PLC冗余系统的结构和配置,并以Rockwell公司AB系列PLC为例,详细介绍了PLC系统冗余中涉及到的各个层次的软、硬件配置和重要问题和解决方法,以及实际使用中积累的经验。     

无线传感器网络的生存性评估

当前无线传感器网络的生存性评估模型均假设网络的节点分布符合某种规律且在长期的运行中规律保持不变,但该种模型未考虑节点的移动性。针对以上问题进行了研究,通过引入节点的移动速率建立连续时间马尔科夫链表示的评估模型,该模型不依赖于网络的拓扑,能准确反映出节点的实际分布情况;其次研究不同攻击和故障对节点隔离的影响;稳态连通概率是刻画可生存性最为重要的指标,最后提出该指标的计算方法。仿真实验结果表明,本文提出的生存性评估模型能够对无线传感器网络的生存性进行有效的评估。     

构形可变移动机器人的构形评价、优选及变换规划

为提升移动机器人对环境的适应能力,提出了一种适用于车体构形、轮距和轮向可变的轮式移动机器人的构形评价、优选和变换规划方法。该方法以转弯所需半径、通过宽度和稳定角为指标评价不同构形下机器人的移动性和稳定性,然后构建权系数多目标模型从构形集合中优选与环境特征匹配的构形,再将任意两构形之间的变换规划转化为网络路径搜索问题来求解耗能最少的变换路径。最后,通过实验验证了所提评价指标、构形优选以及变换路径规划方法的合理性和有效性。研究结果可为此类构形可变轮式移动机器人的设计分析和运动规划提供指导或参考。     

天生桥换流站交流站控冗余配置的研究和改进

主要针对天生桥换流站交流站控系统进行冗余配置的试验，通过大量试验验证，找到确保交流站控系统稳定可靠运行的冗余配置的改进措施，并验证改进措施的可行性和优越性。     

集散型控制系统冗余方式的探讨

介绍了ＤＣ中冗余设计的几种方法,其中涉及电源,控制器,Ｉ／Ｏ模块,通信电缆以及整个控制系统的冗余问题,并对冗余方式的可靠性进行了分析。     

命题逻辑公式中的冗余子句及冗余文字

主要研究命题逻辑公式中的冗余子句和冗余文字。针对子句集中必需的、有用的、无用的子句,分别给出了一些等价描述方法,进而讨论子句集的无冗余等价子集。另外,得到了子句集中冗余文字的判别方法,借助可满足性给出了冗余子句的一种等价条件。上述结果为命题逻辑公式的化简奠定了一些理论基础。     

雷达网配置体系结构及效能评估研究

雷达网配置优化是防空作战中非常关键的一环,针对作战环境多变影响雷达网优化配置模型存在诸多问题,其评价模型的优劣对结论起着重要的影响.论文提出了以陆基、空基和海基为一体的雷达网探测模型体系结构.在此基础上,结合实例构造了雷达网效能评估判断矩阵、进行层次单排序和一致性检验.最后,利用层次分析法对模型的合理性进行了验证.结果表明,该模型体系结构的建立提高了指挥所在复杂电磁环境下的快速反应能力和整体作战指挥能力.     

信息系统可生存性定量评估的指标体系

从内容、攻击阶段、测定标准等不同角度综合分析可生存性指标,提出一种能系统地反映可生存性的指标体系,给出其形式化描述和数学模型。分析与验证结果表明,该指标体系具有规范性、完备性,对信息系统可生存性的定量评估具有指导意义。     

基于状态转换的信息服务系统可生存性评估方法

可生存性评估是使用各种方法对目标系统进行定性及定量的生存性分析。本文提出了一个基于状态转换的信息服务系统可生存性评估方法,该方法包括一个系统生存性模型和一个生存性函数的定义。最后给出了使用这种评估方法对目标系统进行评估的实例。     

计算机免疫系统GECISM的动态和超动态配置

为降低计算机仿生免疫系统GECISM(GEneral Computer Immune System Model)的系统开销，分析了静态配置的不足，在保证其综合防御能力的前提下提出动态和超动态的配置策略，以适应不同性能要求、安全等级的分布计算环境。     

局域网冗余性和容错性探讨

本文以证券劳业部网络改造为例,着重阐述了如何在局域网中通过增加设备,划分不同网段,从而使网络具有冗余性能和容错性。     

三模冗余技术在FPGA领域的应用

空间系统受到高能粒子的轰击,可能对时序等电路产生影响,改变器件的逻辑状态,导致存储单元逻辑‘0’与‘1’的翻转,产生关键数据出错,甚至整个系统的瘫痪。介绍了空间辐射效应的种类及对于不同类型的效应采用的抗辐射方法以及目前流行的三模冗余软件XTMR的实现原理和实现过程。