Polynomial-time algorithm for the legal firing sequences problem of a type of synchronous composition Petri nets

As far as we know, the testing problem of legal firing sequence is NP-complete for gener-al Petri net, the related results of this problem on the polynomial-time solvability are limited only to some special net classes, such as persistent Petri nets, conflict-free Petri nets and state machine Petri nets. In this paper, the language properties of synchronous composition net are discussed. Based on these results, the testing algorithm polynomial-time complexity for legal firing sequence is proposed. Therefore, net classification of polynomial-time solvability for testing legal firing sequence is extended.

基于赋时Petri网的弹种发射时序优化

针对单通道多弹种的匹配发射问题展开了研究。首次提出用赋时Petri网来描述弹种匹配发射流程,通过在变迁中引入时延因素,简单而有效的描述了发射过程中资源的占用和消耗情况。建立了弹种发射时序优化模型,并利用Petri网的分析方法,得到若干发射序列,选择出满足时序逻辑关系的发射序列,从而得到最优的弹种发射控制方案。并通过具体实例予以了计算验证。此文的研究可为武器系统的单通道多弹种作战使用提供一定的理论支撑和决策参考。

基于Petri网的火灾报警控制系统建模

分析了火灾报警与联动控制过程,并利用Petri网对这一过程中事件的异步、并行、冲突等重要特征进行描述,并实施分析、研究,对数据处理算法予以优化,最后给出了基于Petri网的火灾报警控制系统模型。

点发序列问题的控制策略

在离散事件系统的Ｐｅｔｒｉ网模型下，讨论是否存在控制策略使得仅有希望的序列使能，而又保持事件的并发性的问题．证明了存在这种策略的必要充分条件是给定的目标序列集是可控的．在目标序列集不可控而所考虑的序列集都是Ｐｅｔｒｉ网点发序列集时，提出了综合给定序列集的极大可控子序列集生成器的方法．

城市消防规划矛盾问题的可拓方法求解

城市消防规划作为总体规划的重要组成部分,是建立协调、有序的城市安全与健康发展格局的重要保障。研究以可拓学为视角,通过梳理城市消防规划过程中的外部与内部矛盾问题,尝试提出以转换桥为核心的化解矛盾问题的策略生成思路,从目标与条件确立、关联准则辨析、可拓符号表达与运算、可拓分析与变换等方面构建求解城市消防规划问题的可拓模型,并通过案例进行求解示例,旨在为城市消防规划编制的定量分析与智能决策提供一种有效、科学的理论与技术方法支撑。

消防控制室管理存在的问题及对策思考

社会经济不断发展,各种建筑形式如雨后春笋般出现,种类繁多的自动消防设施在保护人民群众生命财产安全方面发挥着重要作用。但是,笔者在日常工作中发现许多单位消防控制室管理存在诸多问题和薄弱环节,现结合工作实际对消防控制室的管理难点与对策谈几点浅见,以供参考。

屯溪区森林防火工作存在的问题及对策

本文在分析屯溪区森林火灾发生的原因以及存在问题的基础上,针对性地提出了加强领导与宣传教育力度,加大生物防火林带及"以水灭火"的基础建设,加强应急机制和扑救队伍的建设,加强对野外火源管理的力度和加大对野外违章用火责任追究等对策,以期全面提升森林防火的工作水平和成效。