运用故障传播图进行诊断推理的研究

基于对系统结构的分析,利用系统本身各部件之间的故障传播特性,提出了一种新的算法,以确定系统发生故障时真正的故障源。在单一故障源诊断中,可以确定故障源;在多故障源诊断中,确定最大可能故障源的最小集合。     

分段线性凸费用网络流的两个算法

本文讨论了分段线性凸费用网络流问题,推广了线性费用网络流中的负回路方法和最小费用路方法,从而得到了求分段线性凸费用网络的最小费用流的两个算法。     

YH-GKS的设计与实现

图形核心系统GKS是二维图形软件的唯一的国际标准,且为我国采纳为国家标准。YH-GKS是基于GKS,为银河机设计的图形软件系统。文中介绍了YH-GKS的设计特色与实现方法。     

探索性分析工具EASim的设计与实现

探索性分析是一种研究深度不确定条件下复杂高层问题的分析方法.为使其能够有效地解决实际问题,需要探索性分析工具的支持.国内目前的探索性分析工具大都是面向特定应用开发的,缺乏规范化的探索性分析模型描述方法.采用扩展影响图作为探索性分析模型的统一描述规范,自主开发了通用型探索性分析工具EASim.介绍了EASim的功能结构、...     

基于OBDD的防空导弹系统效能评估研究

首先对OBDD的概念和操作运算进行了简要介绍;接着对ADC系统效能模型进行了分析,首次提出了应用shannon展开和ite操作进行效能模型可用性和可信性向量计算的方法;最后应用OBDD操作运算对典型防空导弹系统进行了分析,并以可用性向量计算为例说明了应用OBDD的具体方法.该方法适用于各种故障分布情况下防空导弹系统效能的评估,具有一定的军事应用价值.     

指挥控制参考模型研究进展

介绍指挥控制参考模型领域取得的最新进展。在理论上分析了该模型体系结构的不足,引入了逻辑端口的概念。在应用上讨论了建模过程中层次的分拆、组合的原则,并将使用实例图引入该模型的理论研究和对实际系统的建模,取得了若干重要结论。     

谈算法研究

算法是计算机程序设计的核心。本文结合实际应用,通过研究算法所取得的成效,说明算法研究的必要性和重要作用。     

一类特殊图的边重构性

设图Ｇ的所有的顶点次为δ,δ＋１,δ＋２和δ＋３,如果δ≥８,则Ｇ是边可重构的。     

关于方芯绘图铅笔的技术研究

探讨绘图工具和仪器的改进与创新,是现代工程技术的一项长期而重要的任务.本文研究的方芯绘图铅笔的结构、性能和使用方法,对于减少手工制图不必要的劳动和麻烦,提高绘图速度和质量,促进工程制图的教学和实际应用具有积极作用.