一种基于Petri网模型的系统动态安全性分析方法

针对目前安全分析方法通常只能给出导致系统失效的事件发生序列,而对系统运行过程中的一些时序、动态等因素考虑不足等问题,提出了基于Petri网模型的系统安全性动态分析方法,并结合系统状态可达树,建立了系统动态安全性分析模型,得出导致系统失效的所有可能事件的序列及其发生概率.最后,以实例验证了该方法的可靠性和有效性.     

局部状态检测的GPS/INS组合导航转发式干扰检验方法

针对GPS/INS(Global Positioning System/Inertial Navigation System)组合导航中GPS转发式干扰问题,在分析故障变化特性与故障诊断函数特性之间关系的基础上,提出了一种基于局部状态χ2检验的方法。通过观测值的变化、观测模型的变化和χ2检验中x赞1k的变化论证了方法的可行性,并得出组合导航受到转发式干扰是判断系统发生故障的充分而非必要条件的结论。最后通过在仿真轨迹中加入诱偏来模拟转发式干扰,仿真实验证明该方法能够以较高的灵敏度和较高的准确性判断转发式干扰的发生。     

Kriging与改进一次二阶矩融合的可靠性分析方法

针对结构可靠性分析问题,提出了Kriging与改进一次二阶矩方法相融合的分析方法。传统的改进一次二阶矩需要计算结构功能函数的梯度信息,在处理包含有限元模型的隐式极限状态问题时会比较困难。该方法将Kriging代理模型与改进一次二阶矩迭代有效而充分地结合,借助Kriging方法提供功能函数的梯度信息,以解决隐式极限状态函数的求导难题,提高分析效率。通过数值与工程算例验证了所提方法的可行性和高效性。     

滑翔式高超声速目标可达区域计算方法北大核心

针对滑翔式高超声速目标能够利用强大的横向机动能力形成较大的可达区域的特点,着眼于系统阐述这类问题的解决方案,研究了几种可达区域计算方法。首先建立了滑翔式高超声速目标的三自由度动力学模型,并给出再入过程必须满足的相关约束。然后详细论述了轨迹优化、再入走廊规划、常倾侧角和近似椭圆拟合4种滑翔式高超声速目标可达区域计算方法,给出了几种方法具体的实现流程,并对方法的不足进行改进。通过算例仿真,对几种可达区域计算方法的优缺点与应用特点进行了比较分析。最后,以轨迹优化方法为例,分析了可达区域动态变化情况,验证方法的完备性和动态适应性。     

向时间自动机转换的军事电子信息系统性质验证

日益复杂的军事电子信息系统面临正确性验证挑战,形式化验证方法如模型检验技术成为必需.给出基于时间Petri网表示的军事电子系统模型PMES的定义,然后给出PMES模型转换为时间自动机网的步骤,利用已有的基于时间自动机的模型检验工具对系统性质进行验证;系统的性质要求用时序逻辑语言CTL或TCTL公式表示.雷达干扰机系统说明了该方法的实际应用效果.     

滑翔式高超声速目标可达区域计算方法

针对滑翔式高超声速目标能够利用强大的横向机动能力形成较大的可达区域的特点,着眼于系统阐述这类问题的解决方案,研究了几种可达区域计算方法。首先建立了滑翔式高超声速目标的三自由度动力学模型,并给出再入过程必须满足的相关约束。然后详细论述了轨迹优化、再入走廊规划、常倾侧角和近似椭圆拟合4种滑翔式高超声速目标可达区域计算方法,给出了几种方法具体的实现流程,并对方法的不足进行改进。通过算例仿真,对几种可达区域计算方法的优缺点与应用特点进行了比较分析。最后,以轨迹优化方法为例,分析了可达区域动态变化情况,验证方法的完备性和动态适应性。     

基于改进ADC法的防空体系打击效能评估分析

基于ADC法对防空导弹武器装备体系建立系统效能评估模型.针对防空导弹武器装备体系作战影响因素复杂的特点,拓展有效度模型进行多状态分析并构建多状态转移的可信赖度模型,合理简化系统状态以满足计算需求;通过组合指数法、模糊逻辑结构法等方法扩展能力模型.克服了传统ADC法状态评估简单、能力评估单一等问题.根据当前防空导弹武器典型逻辑结构进行建模,并通过算例进行系统效能评估验证、对比.     

基于迭代学习观测器的无人机故障鲁棒控制

针对无人机在飞行时存在执行机构故障和外界干扰问题,建立了无人机的动力学模型和系统发生执行器故障时的模型,提出了一种将迭代学习观测器和鲁棒自适应控制相结合的容错控制方法.利用迭代故障观测器去观测无人机控制系统的状态并通过迭代实时跟踪执行器故障,给出了该观测器的收敛性分析,并在此基础上设计基于自适应增益的趋近律,实现系统鲁棒自适应控制.进一步基于Lyapunov方法从理论上证明了设计的容错控制器的鲁棒稳定性.使用无人机控制系统对方法进行验证,仿真结果验证了方法的有效性.     

基于ADC的弹道导弹防御系统效能模型

ADC模型是一种基于系统状态的概率模型.要建立ADC模型,首先应对系统的各种状态进行列举区分.弹道导弹防御系统作为由若干子系统组成的整体,其状态组合数可以说是数不胜数,这给建模工作带来了很大困难.从计算角度对弹道导弹防御系统的相关因素、结构进行了分析梳理,避免了大量的状态罗列,又保留了ADC效能模型的本质,从解析角度即可检验模型方法的合理性,模型结构简明,计算方便可行.     

自适应软件需求的形式化建模与验证

为使自适应软件的需求规约与软件约束一致性验证能够得到已有验证工具的支持,提出了一种基于模型转换的验证方法。该方法通过对Tropos建模方法进行上下文和异常条件扩展来满足自适应软件需求,给出从Tropos需求模型到状态变迁模型的映射规则,并通过验证软件约束公式在状态变迁模型上的可满足性,达到验证软件需求与软件约束一致性的目的。最后,通过舰船火灾损管系统的实例说明了自适应软件需求的建模和验证过程。     

基于伪临界值的Cache一致性协议验证方法

针对Cache一致性协议状态空间爆炸问题,提出共享集合伪临界值(Pseudo-cutoff)的概念,并以采用释放一致性模型的CC-NUMA系统为例,分析了共享数据的分布情况,推导出在一定条件下共享集合伪临界值为4的结论,有效优化了目录Cache协议状态空间,并提出了解决小概率的宽共享事件的方法.实验数据表明,基于伪临界值的协议模型优化,能够有效缩小Cache协议状态空间,加快验证速度,扩大验证规模.     

基于Petri网的某引信安全系统软件安全性分析

介绍了软件安全性和基于Petri网软件安全性分析技术。结合某导弹安全系统的实例,在系统Petri网模型的基础上运用逆向可达图回溯法及关键状态法对系统及其软件的设计进行了安全性分析,还考虑了系统运行时的动态时效对安全性的影响及相应的恢复措施。总结了基于Petri网的系统软件安全性分析的特点。     

A search game taking account of attributes of searching resources

This article deals with a two‐person zero‐sum game called a search allocation game (SAG), in which a searcher and a target participate as players. The searcher distributes his searching resources in a search space to detect the target. The effect of resources lasts a certain period of time and extends to some areas at a distance from the resources' dropped points. On the other hand, the target moves around in the search space to evade the searcher. In the history of search games, there has been little research covering the durability and reachability of searching resources. This article proposes two linear programming formulations to solve the SAG with durable and reachable resources, and at the same time provide an optimal strategy of distributing searching resources for the searcher and an optimal moving strategy for the target. Using examples, we will analyze the influences of two attributes of resources on optimal strategies. © 2007 Wiley Periodicals, Inc. Naval Research Logistics 2008     

导弹尾罩分离运动不确定性分析

为了检验实际条件下导弹尾罩分离运动可能存在的风险,建立了基于凯恩方程的分离过程多体动力学模型与基于关键点-碰撞边界相对位置判断的碰撞检测模型,采用蒙特卡洛方法与Morris筛选法对输入参数存在随机偏差时尾罩分离运动受到的影响进行了不确定性分析,通过蒙特卡洛法得到了分离运动状态的散布特性,通过Morris筛选法得到了各输入变量的影响程度排序。研究结果表明:尾罩分离方案的可靠性较高,在输入参数存在偏差情况下也可满足安全性指标,各项输入参数中风干扰、推冲器的推力偏差对尾罩落点距离的影响相对较大,而导弹点火时尾罩的横向距离受风与出筒速度的影响相对较大。     

Techniques for establishing ergodic and recurrence properties of continuous-valued markov chains

We present techniques for classifying Markov chains with a continuous state space as either ergodic or recurrent. These methods are analogous to those of Foster for countable space chains. The theory is presented in the first half of the paper, while the second half consists of examples illustrating these techniques. The technique for proving ergodicity involves, in practice, three steps: showing that the chain is irreducible in a suitable sense; verifying that the mean hitting times on certain (usually bounded) sets are bounded, by using a “mean drift” criterion analogous to that of Foster; and finally, checking that the chain is such that bounded mean hitting times for these sets does actually imply ergodicity. The examples comprise a number of known and new results: using our techniques we investigate random walks, queues with waiting-time-dependent service times, dams with general and random-release rules, the s-S inventory model, and feedback models.     

重大活动防爆安全检查面临的困难及对策

重大活动防爆安全检查工作涉及的点多、线长、面广，内容十分广泛，参与部门较多，装备器材需求量大，防爆安全检查工作的计划、组织、指挥、协调、保障及具体检查实施将面临一定的困难。做好重大活动防爆安全检查工作．要建立高效顺畅的防爆安全检查指挥机构，制定切实可行的安检方案；要强化科技致胜的意识，进行有力的装备保障；要运用科学的方式方法，加强宣传沟通，争取群众的支持配合；要增强服务意识，缓和警卫形式。     

参数化系统二维抽象框架

针对参数化系统状态空间爆炸问题提出了一个通用的参数化系统二维抽象框架TDA。对所有进程单独进行抽象,利用参数化系统的设计思想,隐藏系统参数构建全系统的抽象模型,最大限度地剔除了原始系统中的冗余信息。建立的具有真并发语义的参数化系统的形式化模型,更适合描述一般意义上的并发系统,较好地解决了验证大规模同构和异构系统的空间激增问题。理论推导和实例均证实了TDA的正确性和合理性。     

Proportional use of force in asymmetric military operation

This paper studies a strategic conflict between a state and a non-state military organization. The non-state military organization decides whether to attack or not to attack the state, while the state decides on its counter-measure. If the state uses a high level of violence against the non-state organization, it may be accused by the international community of ‘non-proportional’ use of force, and both sides of the conflict take this possibility into account. The model predicts that it may be rational for the non-state organization to attack the state, even if as a reaction the state will militarily destroy this organization, due to a positive probability the state will be punished by the international community for non-proportional use of violence.     

基于“当前”统计模型的综合滤波-参数识别模型

在机动目标“当前”统计模型的基础上建立了新的综合滤波－参数识别模型,并用识别－滤波两步走的方法在线识别机动示性参数和量测噪音参数,由此实现对机动目标跟踪的动态建模,使数学模型更加符合实际情况。     

基于EATI的多分辨率联邦可组合性判定研究

联邦可组合性判定是在组建联邦之前,在语义层面分析邦员之间是否存在一种或多种交互方式能够满足联邦的仿真需求和目的。多分辨率联邦执行的有效性是判定联邦可组合性的主要标准。基于EATI方法,提出了多分辨率组合性的形式化理论,给出多分辨率联邦概念模型与多分辨率联邦组合模型的形式化描述。通过比较这两个模型得出联邦有效性的形式化定义,并在此基础上得到联邦可组合性判定方法。该判定方法从实践中总结并在实践中验证,对于构建军用仿真联邦的可行性分析具有一定的借鉴价值。