【摘 要】
：
冲突是Petri网研究的重要主题.目前Petri网冲突研究主要集中于冲突建模和冲突消解策略,而对冲突问题本身的计算复杂性却很少关注.提出Petri网的冲突集问题,并证明冲突集问题
【机 构】
：
湖南理工学院信息与通信工程学院,华东理工大学信息科学与工程学院,江西省电力公司信息通信分公司
【基金项目】
：
国家自然科学基金（No.61473118）, 湖南省教育厅科学研究重点项目（No.15A079）, 湖南省科技计划项目（No.2014GK3026）, 江西省电力公司科技项目（No.5218351400A1）
论文部分内容阅读
冲突是Petri网研究的重要主题.目前Petri网冲突研究主要集中于冲突建模和冲突消解策略,而对冲突问题本身的计算复杂性却很少关注.提出Petri网的冲突集问题,并证明冲突集问题是NP（Non-deterministic Polynomial）完全的.提出极大冲突集动态枚举算法,该算法基于当前标识的所有极大冲突集,利用Petri网实施局部性,仅计算下一标识中受局部性影响的极大冲突集,从而避免重新枚举所有极大冲突集.该算法时间复杂度为O（mv2n）,m是当前标识的极大冲突集数目,n是变迁数.最后证明自由选择
其他文献
本文使用容积卡尔曼滤波器来处理分布式摄像机网络中的目标跟踪问题.平方根容积信息滤波（Square-Root Cubature Information Filter,SCIF）是容积卡尔曼滤波的一种扩展,其具有有
语篇的理解是作者与读者进行言语交际的过程。在此过程中作者会使有些内容通过主位化得以凸现,以达到自己的交际意图。在关联理论的理论框架下,利用认知语境观解释了为什么作
多用户网络应用是分布式计算中最主要的形式之一.为了充分挖掘分布式系统中的计算资源,任务调度是解决该问题的关键.然而,由于多用户网络应用中存在的不确定性,使得当前的调度方法在动态性、实时性、适应性等方面都存在诸多不足.考虑到用户实时性需求,本文提出了概率型调度的思想.该思想将任务的分配看作概率事件,以用户角度的最短响应时间为目标,给出了多用户网络应用的排队模型,并进一步将调度定义为一个非线性规划问题
2006年5月13日，由教育部人文社会科学两个重点研究基地——上海师范大学都市文化研究中心与中山大学中国非物质文化遗产研究中心、上海高校都市文化E-研究院联合主办、江苏广
联合型广告是一种具有时代特征的新型广告形式．它对于受众来说．其所接受的信息不再是单一产品或服务的介绍，而是综合的理念诠释，不仅仅是直接的“劝服”，更是隐蔽的“引导”。联合
执政党要具有较高的执政能力,必须要最大限度地聚集、生成、维护、扩充执政资源.我国现阶段党的执政资源流失、执政能力弱化主要表现在:执政基础受到侵蚀、利益实现、利益表
针对稀疏表示目标检测理论中稀疏度难以确定的问题,本文将联合表示应用于目标检测,提出了一种新颖的目标检测算法,并给出了该算法的非线性形式.其核心思想是:背景像元的光谱能够被其周围背景像元的光谱(背景字典)线性表示,而目标像元的光谱只能被其周围背景像元的光谱和目标先验光谱(联合字典)线性表示.该算法首先用背景字典和联合字典分别对待检测像元进行联合表示,然后比较两次联合表示的重构误差确定像元类别.通过真
作为现实生成中的实践价值，总是以“需要——满足”为动力，并在实践主客体双向对象化的过程中得以展开并最终实现的。探究实践价值的生成机制及调控机制，有助于实践主体积极调控
3月27日下午，瑞典利乐公司与内蒙古自治区呼和浩特市政府签署投资协议。根据协议，利乐公司将在呼和浩特经济技术开发区如意工业园区投资6290万欧元，建设世界最先进的液态食品包
隐喻类型有一般性和具体性两类,“基本概念隐喻”和“规约化隐喻”没有实质上的区别;成语的理解涉及有具体靶域和无具体靶域两种情况,但两种情况的工作和理解机制是不同的:无