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

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

基于随机Petri网的装甲车辆综合电子系统可靠性研究

由于装甲车辆综合电子系统具有耦合性强、动态离散和复杂度高的特点,其难以采用静态故障树方法进行系统可靠性分析,针对这一难题,运用动态故障树方法对系统可靠性进行了分析判别,并运用随机Petri网建立了故障树的仿真模型。以某型车辆为例,通过仿真实验得出了综合电子系统的故障率和可用度指标的动态变化曲线,其分析结果为系统可靠性与测试性设计提供了理论参考。     

Client‐contractor bargaining on net present value in project scheduling with limited resources

The client‐contractor bargaining problem addressed here is in the context of a multi‐mode resource constrained project scheduling problem with discounted cash flows, which is formulated as a progress payments model. In this model, the contractor receives payments from the client at predetermined regular time intervals. The last payment is paid at the first predetermined payment point right after project completion. The second payment model considered in this paper is the one with payments at activity completions. The project is represented on an Activity‐on‐Node (AON) project network. Activity durations are assumed to be deterministic. The project duration is bounded from above by a deadline imposed by the client, which constitutes a hard constraint. The bargaining objective is to maximize the bargaining objective function comprised of the objectives of both the client and the contractor. The bargaining objective function is expected to reflect the two‐party nature of the problem environment and seeks a compromise between the client and the contractor. The bargaining power concept is introduced into the problem by the bargaining power weights used in the bargaining objective function. Simulated annealing algorithm and genetic algorithm approaches are proposed as solution procedures. The proposed solution methods are tested with respect to solution quality and solution times. Sensitivity analyses are conducted among different parameters used in the model, namely the profit margin, the discount rate, and the bargaining power weights. © 2009 Wiley Periodicals, Inc. Naval Research Logistics, 2009     

军事法律关系研究

军事法律关系是军事法律体系逻辑起点的基本范畴 ,是主体、客体和内容的统一。本文就军事法律关系的概念、主体和客体作一回溯性的研究和评析 ,并以此来构筑我国军事法学的理论体系。     

基于AOPN的维修保障系统建模与分析方法

提出了一种可用于维修保障系统建模与分析的面向方面的Petri网模型(APON),给出了该模型形式化描述,该模型引入了方面、方面库所、方面变迁、消息颜色以及对象与方面间的消息传递函数等新的概念,体现了面向方面的思想,具有很好的模块性、继承性和可维护性,能够反映维修保障系统的动态柔性特点,最后给出了一个应用实例.     

基于直觉模糊时间Petri网的不确定性时间推理方法

针对Petri网模型在对复杂不确定性时间信息描述和推理方面的局限性,在定义直觉模糊时间函数以及网络变迁约减规则的基础上,融合直觉模糊时序逻辑(IFTL)、直觉模糊Petri网(IFPN)以及线性逻辑推理的理论优势,构建了直觉模糊时间Petri网(IFTPN)推理模型,并提出了基于IFTPN的不确定性时间推理算法,较好地解决了态势评估中冲突事件间的不确定性时间推理问题。最后,通过典型的战场想定验证了该时间推理方法的有效性和优越性。     

基于多层次Petri网的软件保障流程建模

软件保障流程分析是研究软件保障规律的重要手段。应用多层赋时变迁、随机Petri网技术,逐步细化建立了软件保障流程仿真模型,给出了各层次模型中库所和变迁的含义。结合模型的仿真分析,提出了用"软件使用保障时间比"作为评价软件保障性的参数,给出了软件使用保障时间比的计算方法,并就该计算方法所表达的意义同装备系统进行了比较,指出了软件使用与保障时间分配的特殊性。     

基于综合性能的C3I系统通信效能

论述了C3I的重要性及其效能,分析了影响通信系统性能的因素,力求在实时综合性能的基础上选择通信路由,论述了传统Petri网和模糊Petri网的一些基本概念和特点及其区别,描述了用模糊Petri网进行系统综合性能分析时的有效算法,提出一种基于综合性能的路由选择算法,最后,通过实例来说明通信路由综合性能评价以及路由选择方法.     

地面对空监视雷达网体系结构研究

针对雷达组网研究现状,对雷达网、雷达组网、雷达组网技术这3个概念进行了定义区分。在此基础上从战术和技术两个层面对雷达网进行分类,战术层面从战略、战役和战术3个层次对雷达网分类,技术层面从网络结构和信息融合方式两个方面对雷达网分类。提出了一套地面对空监视雷达网组网原则,在此基础上构建出地面对空监视雷达网结构体系和战技效能指标体系。     

基于模糊推理的舰炮故障检测方法研究

基于模糊推理知识和模糊神经网络的理论,根据舰炮运转时发出的声音信号,提出了舰炮系统的故障检测诊断方案,详细介绍了信号提取的方法和故障分析的算法.