三值光学处理器三模冗余表决系统设计与实验

计算机处理器的可靠性设计非常重要.设计了三值光学处理器(ternary optical processor, TOP)三模冗余(triple module redundancy, TMR)光电表决系统,针对三值光学处理器运算单元设计了光电表决器,提出了在三值光学处理器上构建表决系统架构的具体步骤.对于一位的三值光学处理器,设计并测试了108个表决实验用例,并对m位的重构运算器的可靠性进行了简要分析.实验结果与可靠性分析表明,针对三值光学处理器进行三模冗余表决的方案,能有效提高系统的可靠性及运行效率.     

表决系统Bayes可靠性评估及其仿真

提出了表决系统Bayes可靠性评估的数字仿真方法。依据表决系统组成的结构特点和系统Bayes可靠性评估的基本原理，在进行单元可靠性评估的基础上，分别运用BayesMC、Bayes bootstrap和double Bayes MC方法进行系统可靠性评估。给出了表决系统Bayes可靠性评估的一般步骤。仿真实例表明了方法的可行性。     

复杂电子系统Markov模型及云可靠性评估

电子系统结构的复杂性,故障形式的多样性,导致可靠性评估的不确定性,为了使可靠性度量具有更高的可信度,针对可靠性评估问题,发展和深化了云理论。定义了云集和云数等概念,给出了正态云数的运算算法;分析了可修表决系统的Markov模型,并给出求系统可靠性指标的方法;阐述了系统可靠性的语言值定性评价,通过正态云数建立了定量的云可靠性评估模型,反映Markov模型中参数的不确定性。同时给出云可靠度在一定置信水平下转换为系统定性评价的方法,并通过表决系统的计算实例验证了云可靠度评估方法的可信度。     

基于Copula函数的相依部件表决系统的可靠性研究

在可靠性理论中，部件相互独立是相依的特殊情况．可靠性数学研究系统的可靠性时，都是在假设部件之间相互独立的条件下进行的．本文应用Copula函数研究部件相依时表决系统的可靠性，分析系统的可靠度与Copula函数间的关系，揭示部件相依关系对表决系统可靠度的影响规律．     

基于液压表决的汽轮机保安系统

本文提出了一个三重冗余的汽轮机保安系统,它且有三个安全独立的超速保护电液控制通道,三个通道的输出压力经一个三中取二液压表决器表决处理,表决结果再由一个高可靠及高响应平板式液压阀进行液压放大,最终利用这个放大了的液压信号去控制汽轮机进汽口的快关阀图３,参２     

1种能够抵抗双节点翻转的锁存器设计

提出了1种可以抵抗双节点翻转的锁存器.该锁存器的反馈回路由保护门、延迟单元以及3选2多数表决器构成.保护门的输出送入表决器进行表决,表决之后的值经过延迟单元之后再反馈给保护门.分析和仿真表明,当单粒子翻转的维持时间小于500 ps时,这种结构不仅可以抵抗双节点翻转,还能抵抗部分3节点翻转以及输入端口的单粒子瞬态.在0.18μm CMOS工艺下,锁存器的面积为186.12μm2,在时钟转换时间和数据转换时间都为0.008~1.5 ns时,锁存器的建立时间为1.165 63~1.328 71 ns.此外,用这种锁存器实现了1套标准单元库,并在此基础上设计了1种序列检测器电路,其面积和动态功耗分别是用3模冗余方法的83.06%和41.99%,是用5模冗余方法的53.99%和25.19%.     

基于模糊状态的可修表决系统可靠性分析

首先ａｒｋｏｖ链对可修表决系统的各个状态进行分析,得出了系统各状态的概率,然后对可修表决系统的故障进行分析,通过定义系统各养育地模糊成功隶属函数,利用基于模糊状态的可靠性理论对可修表决系统进行可靠性分析,并比较其结果与传统可靠性理论的不同之处,可以看出模糊可靠度不仅反映故障类别对系统的影响程度,而且直接反映故障状态概率的变化,模糊可靠度全面刻划了系统的可靠性行为,最后给出了表决系统的计算示例。     

n个同型部件和两个修理设备的可修表决系统的可靠性分析

表决系统是可靠性分析中常见的系统之一,对n个同型部件运用马尔可夫过程理论,研究有两个修理设备的表决系统的稳态指标和平均指标,并利用拉普拉斯变换及反演变换求解方程组得到该系统的瞬时指标.     

Petri网模型在MIS系统中的应用

管理信息系统是控制物质和信息的协调系统。Petri网是一种建模及分析系统性能的有力工具，特别是对检测系统并发冲突方面具有独到的优势。利用Petri网和MIS的耦合性，Petri网模型可以使管理者了解生产的细节和工作流程，更好地为决策者服务。     

一种分布式三模冗余控制系统的实现

论述一种分布式三模冗余控制系统的实现 ,包括系统CPU的选择、系统通信网络的实现、系统的同步策略以及三模冗余输出表决器的设计等 .实际表明这种系统设计方案能保证系统具有很高的可靠性、可用性和较快的开发速度 .     

区域发展规划决策支持系统集成扩展模式与功能初探

区域发展规划决策支持系统（ＲＤＰＤＳＳ）是解决半结构化和非结构化规划问题的有效方法．本文尝试探讨了ＲＤＰＤＳＳ的集成扩展模式, ＲＤＰ－ＳＤＳＳ、ＲＤＰ－ＧＤＳＳ、ＲＤＰ－ＩＤＳＳ在区域发展规划中的应用,设计出了ＲＤＰＤＳＳ的主体结构及在区域发展规划中的决策支持功能     

基于改进投票协议的群决策综合评判方法

研究在群决策支持系统(GDSS)中对决策对象的综合评判问题.在分析现有方法局限性的基础上,提出一种基于改进的Bora投票协议的群决策综合评判方法,以实现agent对代理者偏好的提取.通过比较简便的方法收集决策者的评价意见,依照协议将定性的评价映射为数量评分.采用的投票协议可以避免建设性的操纵,克服了以往系统的主要缺陷,有效地实现了多人、多因素条件下的定性评价的量化和排序.     

改进的多版本软件扩展表决系统

本文提出了一种改进的扩展表决系统，该系统是利用自动分析表决系统可靠性等参数的工具来构建的。在软件容错中采用N模块冗余(N Modular Redundancy NMR)及N版本编程(N version Programming)，应用表决技术，可以屏蔽整个软件系统中出错的部分。在实践中直接应用理论的表决模型会发现很难得到理论分析的结果。针对这样的问题，本文提出一种基于多数(plurality)的扩展表决系统：使用构造决策树的方法和进行DFT遍历作为自动化的计算工具；通过对基本的多数表决系统进行模型扩展，加入指导性规则对决策树进行重构，以自动计算工具的结果作为参考，从而选择更加可靠的表决结果作为输出。最终的模拟测试表明，所提出的扩展表决系统能够提高系统输出的正确率。     

基于关键链技术的项目进度管理系统设计与实现

介绍了关键链技术(CCM)的概念及其网络模型，以CCM和群体决策支持系统(GDSS)的决策管理模式为基础，采用C／S和B／S结构相结合的形式，提出了一个在Internet环境下的项目进度管理系统及其相应的实现技术．     

用于供应链企业的GDSS构架

供应链决策要以供应链整体最优为目标,因此,遇到问题时,要求供应链中企业共同协商决策,是群体决策模式,需要群体决策支持系统的支持.论文通过分析供应链企业的群体决策过程、群体决策需求及群体决策支持系统的应用环境,提出了一个群体决策支持系统框架,基于这一框架提出了应用于供应链企业的群体决策支持系统的各子系统功能,并对各子系统的实现进行了分析与探讨.     

群体决策支持系统在两种决策过程中的应用

在分析现有的群体决策支持系统局限性的基础上 ,通过划分决策角色 ,提出将群体决策分为组织者发起的决策和一般成员发起的决策两种 ,两类决策的不同之处在于决策和流程有所区别 ,因此重点研究了群体决策支持系统对这两种决策应提供的不同支持机制 ,进而在给出详细的决策流程的基础上 ,提供了一个基于中间件的 C/S结构的群体决策系统的计算机实现方案 ,来实现支持两类决策的目标 ,突破现有的群体决策支持系统的局限性     

软件测试充分性模糊决策方法研究及应用

通过GQM范式建立了软件充分性度量指标体系，阐述了指标体系中各种模糊因素的模糊数学处理方法，构造出测试充分性模糊决策模型，有效解决了测试充分性难以定量评价问题，在很大程度上提高了软件测试过程质量判断和决策的准确度和可信度，并以一个实例验证了该方法的可行性.     

软件测试充分性模糊决策方法研究及应用

通过GQM范式建立了软件充分性度量指标体系，阐述了指标体系中各种模糊因素的模糊数学处理方法，构造出测试充分性模糊决策模型，有效解决了测试充分性难以定量评价问题，在很大程度上提高了软件测试过程质量判断和决策的准确度和可信度，并以一个实例验证了该方法的可行性。     

基于复杂因子的软件可靠性指标分配方法研究

给出了软件可靠性指标分配的系统模型．基于复杂因子的分配方法，在保证系统可靠性的前提下，给出了求解各子系统软件可靠度的工程实现方法．结合实际系统，对获得的各子系统软件可靠度进行了实例验证．该方法可直接用于军事或非军事系统的软件可靠性指标分配。     

网络化压缩机维修服务系统

就开展基于网络的压缩机远程维修服务的意义和现状进行了阐述；在对维修所涉及各环节研究后建立了系统的运行模式；结合实际工程项目研究并设计了远程维修服务的软硬件，用汇编语言和C语言混合编程建立压缩机现场在线信号获取系统和基于Labview的在、离线信号分析与处理虚拟仪器系统；采用TCP和UDP协议，以Winsock编程建立企业内部维修决策支持系统服务器；利用Internet资源，以远程压缩机生产者端为中心采用B／S模式建立远程服务系统；研究证明系统具有很好的实用性；下一步的目标是维修服务系统与其它MIS集成以建立压缩机的综合管理系统。