【摘 要】
：
为了快速确定大型Petri网模型中的trap（siphon）逻辑结构,提出一种由Petri网关联矩阵寻找最小trap和siphon集合的有效算法。通过分析Petri网中trap和siphon集合对应的库所子集在
【基金项目】
：
国家自然科学基金（60874068）资助课题
论文部分内容阅读
为了快速确定大型Petri网模型中的trap（siphon）逻辑结构,提出一种由Petri网关联矩阵寻找最小trap和siphon集合的有效算法。通过分析Petri网中trap和siphon集合对应的库所子集在关联矩阵中的特征,根据变迁的输入输出库所组合规则和目的,提出一种二元操作算子,由此构造计算最小trap和siphon集合的矩阵求解算法,以实例详细阐述了算法的具体步骤。通过与已有求解方法的比较,进一步验证了该算法在求解大型Petri网系统最小trap（siphon）集合上的计算速度优势。
其他文献
以提高打击效果为目的，研究了精确制导武器打击时间敏感目标的发射时机估计问题。首先运用混合总体商变换方法和精确制导武器射击理论建立了相应的作战效能模型，包括即时概率模
海面的激光散射特性是制约激光雷达对低空飞行器进行探测与识别的关键因素之一.模拟超低空状态,通过人工造渡池模拟不同海情的海面,采用激光散射测量装置在典型海情下近距离
人才资源是企业发展的第一资源,也是最具活力的发展要素。茂名石化作为一家具有60年历史的国有特大型老企业,要保持发展活力,巩固排头兵位置,实现打造世界一流企业的目标,必
针对低截获概率（LPI）雷达中常用的一类多相编码（polyphase codes）信号（Frank码,P1,P3,P4码）的截获问题,研究了基于Radon-Wigner变换（RWT）的检测与参数估计方法。该方法利用这类多相编
大学生是推动社会发展和国家进步的生力军 ,高校教育要把人才培养作为根本目的,为社会提供高素质的创新型人才.本文首先明确了高校开展大学生职业生涯规划教育的必要性,通过
设计了一种可以探测单个纳米粒子的光学传感器结构,该结构由双环、双环间耦合区的通孔和直波导构成,并引入了Fano效应,进一步增强了粒子在光场中出现时的光耦合场变化.当纳米
针对存在不确定性的BTT导弹系统，基于神经网络提出了一种鲁棒动态逆控制系统设计方法。首先应用双时标假设将BTT导弹动力学分离为快变状态动力学和慢变状态动力学。然后，在巧妙
为降低近红外脑功能漫射光断层成像（DOT）固有的逆问题病态性，并避免多模态方法的图像配准等问题，提出了基于光学自导引提供先验功能信息的脑功能DOT方法（OT-DOT），并发展了图像重构方
众所周知,作为大学生在校期间正常生活、学习和人际交往的重要保证,良好的心理素质的重要性不言自明。大学被人们称为人间＂象牙塔＂,充满机遇,也充满竞争,大学生不可能一帆风顺
提出一种用于一般广义离散系统的严格真动态输出反馈H∞控制器设计方法。首先，构造辅助广义离散系统，给出该系统的状态反馈H∞控制器设计方法，在此基础上，用两组矩阵不等式给出使