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

为了实现计算机自动生成多阶段任务系统的二元决策图可靠性模型,提出了二元决策图可靠性建模的通用方法。定义了嵌套的二元决策图数据结构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方法的计算结果,验证了简化层次模型的正确性和有效性。     

带扩张观测器的三维有限时间收敛导引律

为了保证视线角速率在弹目碰撞前收敛到零附近的较小邻域内,从而达到准平行接近的状态,基于自抗扰控制的不确定性估计补偿思想,应用反演控制方法设计了一种考虑导弹自动驾驶仪二阶动态特性和目标机动的三维有限时间收敛导引律。根据有限时间收敛控制理论,严格证明了系统的有限时间收敛特性;为抑制量测噪声,将传统跟踪微分器进行改进并应用于扩张状态观测器与反演控制的设计中。仿真结果表明,在自动驾驶仪响应延迟情况下,所设计的导引律能够导引导弹在有限时间内精确地拦截高速机动目标;改进的跟踪微分器精度高、响应快;基于改进跟踪微分器的扩张观测器估计效果理想。     

基于脉冲块追赶的双基地雷达空间同步技术

为解决脉冲追赶技术在双基地雷达空间同步上的应用问题,提出了一种基于脉冲块追赶的双基地雷达空间同步技术,推导了脉冲块追赶时间表的计算公式,提出了以接收机波束形成速率为标准的工程可实现性分析方法,并对脉冲块追赶下的接收波束宽度和波束形成速率进行了仿真分析。仿真结果表明,在相同的双基距离积下,减小发射波束宽度、基线距离、发射脉冲宽度以及增大脉冲块长度可以降低对接收机波束形成的要求,便于工程实现。     

面向试验过程的发射场地面设备风险分析方法

针对现有风险分析方法无法较好地描述风险在系统运行过程中的分布情况,提出了面向试验过程的风险分析方法。该方法能够对系统进行全面的描述,并可以给出系统的风险事件分布。在风险识别阶段使用风险分布图和风险事件分析表,使分析人员更容易掌握系统风险分布的全局和细节,最大限度避免风险事件遗漏;在风险管理阶段使用风险分布图,将风险事件与试验过程或作业环节相联系,可以使管理人员和作业人员直观了解系统中风险存在的位置和形式,更有利于风险的控制。该方法使风险分析更接近于试验任务过程实际,更容易为工程技术人员所掌握。     

基于改进ESO的交流伺服系统FOPID定位控制

针对高炮炮控交流伺服系统高精度定位控制存在的外界干扰及诸多非线性因素,提出了基于连续光滑函数fan()的改进扩张状态观测器(ESO),并将其应用于分数阶PID控制器,即CS-ESO-FOPID。该控制器将所有外界干扰因素作为"总干扰"获取干扰实时量,并通过改进扩张状态观测器实现非线性因素的实时动态补偿。数字仿真证明,CS-ESO观测优于传统ESO观测,CS-ESO-FOPID的动态控制精度及对外部扰动的鲁棒性均优于FOPID控制,避免了基于传统ESO的分数阶PID易出现的高频颤振现象,从而验证了该控制策略的可行性和有效性。     

Security assurances and proliferation risks in the Trump administration

Comments that Donald Trump made while campaigning to be U.S. president have raised concerns that his administration will pull back from U.S. alliance commitments and encourage countries such as Japan and South Korea to acquire nuclear arms. The new article by Frühling and O’Neil outlines an institutional framework that can be helpful in assessing the risks that Trump administration policies will lead to nuclear proliferation. An institutional perspective shows that important elements of U.S. security assurances will continue to function, and this reduces the chances that President Trump’s actions or statements will trigger proliferation by U.S. allies. The greatest risk to global non-proliferation efforts posed by a Trump administration in fact lies elsewhere, in the possibility that President Trump will seek to abrogate the Iran nuclear deal.     

概率化认知控制模式下人为差错概率的量化方法

在现有成果的基础上,对CREAM方法中的人为差错概率量化进行了改进.介绍了CREAM基本法量化人为差错概率的基本思想;讨论了两种概率化认知控制模式的确定方法:贝叶斯网络法和模糊逻辑法,强调了概率化认知控制模式下量化人为差错概率的必要性.通过理论推导,构建了概率化认知控制模式下人为差错概率的量化方法.另外,为了提高计算效...     

面向大规模交互数据空间划分的Voronoi图生成算法及应用

传统Voronoi图对大量点集进行Voronoi划分时会产生Voronoi单元格数过多的现象,导致难以适用于地理信息系统、生物医学等诸多领域.为了解决这个问题,提出一种自适应基于密度的聚类算法(Density-Based Spatial Clustering of Applications with Noise,DBS...