布尔函数不交化的立方体算法

布尔函数的不交化是进行系统可靠度计算中的重要步骤。本文提出了一种进行布尔函数不交化的立方体算法。基于布尔函数的立方体表示法及不交代数,文中定义了立方体的有关运算法则,建立了立方体矩阵不交化算法,并用算例进行了说明。本算法的实现效率高,操作简便。     

对地攻击机靶场作战效能的基本问题

讨论了对地攻击靶场作战效能分析过程中所涉及到的主要问题及靶场作战效能指标的计算原理,简要介绍了一个实用的对地攻击机靶场作战效能分析软件的主要功能.     

“萨德”入韩引发的地缘政治危机及中国的对策

2016年年初以来,朝鲜先后进行了第四次、第五次核试验,在此背景下,韩国国防部宣布,韩美同意在韩国部署末段高空区域防御系统——"萨德"导弹防御系统,朝鲜半岛地区风云再起。美韩此举使原本不安的东北亚局势更加紧张,诱发并恶化着东北亚地区大国家间潜存的"安全困境"。韩国决定部署"萨德"不仅严重僵化了中韩的国际关系,使得原本对峙局面下的朝韩两国局势更加紧张,更破坏了东北亚军事战略均衡,地区"新冷战"格局逐步形成。     

多阶段任务系统可靠性分析的二元决策图模型

为了实现计算机自动生成多阶段任务系统的二元决策图可靠性模型,提出了二元决策图可靠性建模的通用方法。定义了嵌套的二元决策图数据结构BDD_Element,给出了二元决策图模型的描述和存储方法,提出了与门、或门和k/n表决门向二元决策图模型的自动转化算法。给出了建立多阶段任务系统二元决策图可靠性模型的2个步骤:基于逻辑门转化算法,将部件逻辑关系结构函数转化为阶段二元决策图模型;基于二元决策图布尔操作规则整合阶段二元决策图模型。卫星姿态调整任务的可靠性分析表明:该方法可以有效应用于多阶段任务系统的可靠性分析。     

The joint signature of coherent systems

We investigate the joint signature of $m$ coherent systems, under the assumption that the components have independent and identically distributed lifetimes. The joint signature, for a particular ordering of failure times, is an $m$‐dimensional matrix depending solely on the composition of the systems and independent of the underlying distribution function of the component lifetimes. The elements of the $m$‐dimensional matrix are formulated based on the joint signatures of numerous series of parallel systems. The number of the joint signatures involved is an exponential function of the number of the minimal cut sets of each original system and may, therefore, be significantly large. We prove that although this number is typically large, a great number of the joint signatures are repeated, or removed by negative signs. We determine the maximum number of different joint signatures based on the number of systems and components. It is independent of the number of the minimal cut sets of each system and is polynomial in the number of components. Moreover, we consider all permutations of failure times and demonstrate that the results for one permutation can be of use for the others. Our theorems are applied to various examples. The main conclusion is that the joint signature can be computed much faster than expected.     

基于因果分析的作战计划评估技术

以信息系统五层评估框架为基础,提出了一种以作战效能为"果"、以系统效能为"因"的作战计划评估思想,给出了一种主从分析链系统效能指标构建方法,设计了一套多视图的作战计划辅助分析工具。应用表明,该方法可以有效发现作战计划中存在的问题,提高作战计划的可行性。     

多阶段任务系统可靠性分析的ROBDD算法

针对Markov方法分析多阶段任务系统(Phased-Mission System,PMS)可靠性时的状态空间爆炸问题,基于层次化建模思想,建立了PMS任务可靠性的顶层系统二维决策图(Binary Decision Diagram,BDD)模型和底层部件Markov模型。通过分析BDD中的同构节点和冗余节点,提出顶层模型构造过程中的同构节点合并策略和冗余节点删除策略。利用上述节点压缩策略生成简化模型,提高模型构造和存储效率。基于PMS部件排序规则,给出了层次化模型的递归求解方法,该方法的计算复杂度与顶层模型中的节点总数呈线性关系。通过算例分析,对比采用节点压缩策略前后的模型节点数,以及层次化方法与Markov方法的计算结果,验证了简化层次模型的正确性和有效性。     

基于遗传算法的通信网络可靠性优化设计

在可靠性条件约束下 ,使网络成本最低是网络规划NP hard问题 .文章提出一种基于遗传算法的优化方法解决了这类问题 .仿真结果表明这种算法是有效的 .     

基于遗传算法的大系统可靠度优化分配

给出了大系统可靠度优化分配的数学模型 ,设计了大系统可靠度优化分配问题的遗传算法。数值例子表明该方法可以有效地解决大规模的、复杂的非线性规划问题。解决了传统算法的局限性     

一种基于模糊可靠度确定雷达故障检测间隔期的方法

将雷达装备参数漂移的动态范围模糊化 ,并基于数理统计中参数估计的理论 ,建立了雷达装备的参数模糊可靠度预计模型。把该模型应用于确定雷达电参数的故障检测周期 ,并通过实例论证此方法的优越性和实用性。