基于T-不变量的可重复向量的求解算法

来源 :第十一届全国Petri网理论与应用学术年会 | 被引量 : 7次 | 上传用户：lxhcoolrr

【摘要】

：

研究了Petri网中T-不变量与可重复向量之间的关系,并基于此关系给出一个求解可重复向量的新方法.首先定义了变迁扩充网的概念,证明一个网的可重复向量与其变迁扩充网的T-不变量之间存在一一对应关系,从而将一个网可重复向量的求解转换为其变迁扩充同T-不变量的求解上.在此方法中,如果利用FM-算法去求解T-不变量,则某些求解的步骤可以省略,从而得到一个类似于FM-算法的算法来求解可重复向量。此算法能够求

【作者】

：

刘关俊蒋昌俊吴哲辉

【机构】

：

山东科技大学计算机系青岛 266510 山东科技大学计算机系青岛 266510;同济大学计算机

【出处】

：

第十一届全国Petri网理论与应用学术年会

【发表日期】

：

2007年8期

【关键词】

：

Petri网可重复向量 T-不变量 FM-算法变迁扩充网

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

其他文献

基于Agent的卫星航天系统建模与仿真方法研究

使用基于Agent的建模与仿真(ABMS)研究卫星航天系统,以解决对其总体功能和应用效能进行评估的问题。首先,介绍了卫星航天系统的概念和组成,并对其复杂性作了分析。然后,从应用角度介绍了Agent模型所应具备的特性,并指出了ABMS在传统建模与仿真方法的基础上还需开展的额外工作。最后,以一个火灾卫星系统为例进行了实现,证明了此方法应用的可行性和有效性。

期刊

AGENT卫星航天系统建模与仿真火灾卫星系统Agent satellite space system modeling and simulation

铝碳酸镁对幽门螺杆菌阳性胃溃疡黏膜愈合质量的探讨

目的探讨铝碳酸镁结合三联疗法治疗幽门螺杆菌阳性胃溃疡黏膜愈合质量.方法选取2013年9月至2016年9月我院消化内科收治的140例幽门螺杆菌阳性胃溃疡患者,按随机抽样法分为

期刊

铝碳酸镁三联疗法胃溃疡愈合质量

呼和浩特市2014年城市饮用水监测结果分析

目的了解呼和浩特市2014年生活饮用水卫生状况,为提高居民生活饮用水质量提供科学依据。方法按照GB/T5750-2006《生活饮用水标准检验方法》采集的不同类型生活饮用水进行检测

期刊

生活饮用水监测状况Drinking Water Monitoring Condition

模糊系统逼近理论的发展现状

综述了近年来模糊系统逼近理论的主要研究成果,包括Madani型和T-S型模糊系统具有通用逼近性的存在性定理、充分条件和必要条件,以及模糊系统具有通用逼近性的本质。在此基础上,进一步介绍了目前有效的几种模糊系统构造方法:自适应模糊逻辑系统方法、自适应神经模糊推理系统(ANFIS)方法、模糊聚类法、模糊树方法。最后对该理论的未来发展方向给出了分析和展望。

期刊

模糊系统逼近理论通用逼近性系统结构fuzzy systems approximation theory universal approximatio

兵力编成裁剪问题的定义与描述

由于指挥官控制战场作战资源实体,作战实体资源在任务上的聚集导致决策实体间需要复杂的交互协作。基于任务的兵力编成裁剪包括两方面的内容:一是裁剪指控决策结点,优化协作关系;二是裁剪指控结构,兵力优化编成。通过决策实体建模、协作关系定义以及兵力编成的描述,提出了基于任务的兵力编成裁剪问题的数学描述。

期刊

任务决策实体裁剪兵力编成task decision-making entity tailoring military force

参数化设计的定性建模与仿真

对参数化设计问题提出了一种新的基于DOF(Degrees of freedom)的定性建模与仿真方法。在几何约束求解的过程中,通常的定量数值化方法由于解空间的巨大而显得低效。通过定义基本约束簇类型和规则,新方法引入定性图对几何约束进行定性建模及模型求解。经过一系列基于DOF的定性图推理过程,几何约束的定性模型被规约为一个单节点后得出一系列的构造步骤。在这个推理阶段中得出的构造步骤被确定为以后精确定

期刊

参数化设计几何约束求解定性图推理自由度parametric design geometric constraint solve qualitativ

基于MCMC模拟的Gamma过程先验模型及其可靠性应用

在比例危险率回归模型中以传统的参数方法给出回归系数的参数先验;在基准危险率函数为分段指数分布的条件下,通过引入增量的Gamma过程给出基准危险率的非参数先验过程;并由此构建出一种半参数贝叶斯比例危险率回归模型。通过运用基于Gibbs抽样的MCMC方法动态模拟出相关参数后验分布的马尔可夫链,给出随机截尾条件下模型参数的贝叶斯估计;利用BUGS软件包进行建模仿真分析的结果,特别是与参数回归模型结论的比

期刊

贝叶斯分析可靠性马尔可夫链蒙特卡罗模拟Gamma过程先验比例危险率bayesian analysis reliability markov cha

优质护理对LEEP治疗慢性宫颈炎效果的影响研究

目的探究在对慢性宫颈炎患者行LEEP治疗后予以优质护理的临床疗效。方法依据患者入院就诊时间将我院妇科自2015年11月至2016年11月期间收治的58例慢性宫颈炎患者随机分为参照

期刊

优质护理LEEP治疗慢性宫颈炎临床效果

导尿管球囊扩张术配合针灸对脑卒中后环咽肌失弛缓症患者的影响

目的评价对脑卒中后环咽肌失弛缓症患者采用导尿管球囊扩张术联合针灸的治疗方案的效果.方法选取在我院住院治疗脑卒中后环咽肌失弛缓症患者40例,依照随机对照原则均分成对

期刊

导尿管球囊扩张术针灸脑卒中

基于UML的防空导弹武器系统效能评估

运用统一建模语言对防空导弹武器系统效能进行分析、评估,目的是在信息化建设中提高防空导弹效能,确定了评估度量空间,面向火力单元效能评估的各个基本对象较为完备的情况下作了进一步分析与设计,建立了效能评估的高层计算机实现工程,明确了通过信息交互支持改善制导精度从而提高火力单元效能有关杀伤概率指标的途径和研究应用方向。

期刊

UML防空导弹效能评估火力单元制导精度UML surface-to-air missile effectiveness assessment f

基于T-不变量的可重复向量的求解算法

与本文相关的学术论文