S^3PR网的一种死锁预防策略

来源 :西安电子科技大学学报 | 被引量 : 0次 | 上传用户:abenwin
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
针对S3PR网的死锁预防问题,提出了一个有效的死锁预防控制算法,将用于死锁避免的C/D-RUN控制策略扩展到基于信标的死锁预防策略中,合理分配控制库所的资源,从而保证不存在死锁的状态和步骤.首先将S3PR网中的严格极小信标分为基本信标和从属信标,由基本信标集合得出一组状态向量表示的线性不等式约束,然后将这组约束用C/D-RUN策略进行优化,得到一组标识向量满足的广义相互抑制约束.根据所得标识约束添加控制库所,使所有基本信标均为P-不变式可控,得到活的、结构简单的、许可行为更多的Petri网监督控制器.
其他文献
目的探讨急性前壁心肌梗塞伴下壁ST下降的临床意义.方法回顾性分析167例急性前壁心肌梗塞的预后及再发情况.结果急性前壁心肌梗塞伴下壁ST下降组的死亡率和再发率高于下壁ST
人体的头颅与颈部相连.与颅骨相连的颈椎第一节又称寰椎。第二节称抠椎。它们与其他的颈椎结构不太相同,均为环形。寰椎、枢椎和周围的韧带.构成了寰枢关节。寰枢关节的特点是活
关于“六朝是文学的自觉时代”这一问题,学界似乎已无疑议.但“六朝文学自觉”的内涵是什么,表现如何,至今似乎仍未有切中肯綮的诠释;本文就此略作探讨,认为“六朝文学自觉”就是文
温泉中富含多种有益人体的微量元素,对缓解神经痛、疲劳、关节炎以及养颜美容等具有一定功效,但泡温泉不是人人适宜。因为温泉温度高,泡温泉时血管舒张,容易出汗,造成脱水,引起血糖
针对常用路由器队列管理的资源分配不公平性问题,基于博奕论思想,将路由器队列管理过程看作是多个参与者间的非合作博奕问题,提出了具有惩罚策略和最佳效用的路由器队列管理方案
到医院去看病或探望病人,这是我们生活中经常要经历的事。这里先问大家一个问题:到医院前,你有没有想到医院是一个特殊的公共场所,这里聚集了各种各样的病人,细菌、病毒易于在病人
【正】 “五四”时期是现代中国各种社会思潮最活跃的时期之一。随着新文化运动的兴起,一批率先觉醒的知识分子,尤其是青年学生,为了研究新事物、讨论新问题纷纷组织起来,各