死锁预防

作品数：45被引量：63H指数：4
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：李志武赵咪胡核算王安荣韦娜更多>>
相关机构：西安电子科技大学浙江大学西安交通大学福建师范大学更多>>
相关期刊：《计算机应用》《控制理论与应用》《石河子大学学报（自然科学版）》《计算技术与自动化》更多>>
相关基金：国家自然科学基金教育部留学回国人员科研启动基金国家教育部博士点基金浙江省自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
专注智能制造研究 助力制造业转型升级--华南理工大学机械与汽车工程学院王世勇副教授
《科技成果管理与研究》2024年第5期4-6,共3页郑燕 
发展智能制造是应对制造日益社会化、个性化、服务化、智能化、绿色化趋势的必然要求。华南理工大学机械与汽车工程学院王世勇副教授专注智能制造研究,形成一批理论与技术成果。提出了以云层为核心的双闭环系统架构,理清了物理层、云层...
关键词：双闭环系统 智能制造 动态重构 死锁预防 桌面型 监控层 网络层 运行机理 
面向资源Petri网的自动制造系统死锁预防
《计算机系统应用》2023年第11期95-107,共13页卢雪芹 刘伟 
2022年度青岛市社会科学规划研究项目(QDSKL2201131)。
在自动制造系统(automated manufacturing systems,AMSs)中,死锁是一个急需解决的问题,其主要由资源的循环等待造成.为了解决该问题,本文首先基于面向资源Petri网(resource-oriented Petri nets,ROPNs)的特征,建立特殊资源标记图(specia...
关键词：自动制造系统 面向资源Petri网 资源故障 饱和回路 危险库所 
VTFTR:高维胖树中的无死锁容错路由算法被引量：2
《计算机工程》2022年第12期38-44,53,共8页刘博阳 胡舒凯 施得君 卢宏生 
国家重点研发计划(2021YFB0301000)。
随着近年来高性能计算系统规模的急剧扩大,高性能互连网络的可靠性成为愈发重要的问题。高维胖树是一种结合了胖树与多维环网优点的网络拓扑结构,凭借其良好的可扩展性与网络性能在E级时代具有广阔的应用前景。然而,目前关于高维胖树中...
关键词：高性能互连网络 高维胖树 容错路由算法 高性能计算 死锁预防 
基于Petri网可达性和结构的最大许可控制器设计被引量：3
《广东工业大学学报》2019年第4期1-9,共9页陈鹤峰 伍乃骐 
国家自然基金资助项目(U1401240)
自动化制造系统属于资源分配系统,在运行过程中容易陷入死锁状态.为自动化制造系统设计控制器,达到避免死锁之目的.另外,良好的受控系统应具有最大许可行为.为了便于实现,控制器通常由线性约束综合表达.在现有的工作中,基于可达性分析,...
关键词：自动化制造系统 PETRI网 死锁预防 最大许可 
自动制造系统的稳健控制方法的综述
《控制理论与应用》2018年第1期79-85,共7页杜楠 胡核算 
国家自然科学基金项目(61573265,61203037,51305321),新世纪优秀人才支持计划项目(NCET–12–0921),新加坡教育部Tier1科研基金项目(2014–T1–001–147),新加坡教育部Tier2科研基金项目(MOE2015–T2–2–049)资助.
随着科学技术的快速发展,制造自动化在制造工厂已经成为一个主流方向.在过去的几十年中,研究人员已经对自动制造系统的死锁问题做了大量的研究.但是大多数解决方案总是假设分配的资源不会故障.然而,任何一个制造研究者都知道,资源故障...
关键词：自动制造系统 死锁预防 资源故障 稳健控制 
一种操作系统的死锁预防算法
《电子技术与软件工程》2015年第10期175-175,共1页任彦冰 顾健 
本文主要探讨了一种基于调整操作系统的资源分配策略的死锁预防算法,即要求进程在申请新的资源前必须先释放所有的资源。采用这种算法可以避免死锁的发生,但需要以增加系统开销为代价。因此,我们对算法进行了改进,改进后的算法在实现死...
关键词：操作系统 死锁预防 资源分配 效率改进 
利用Java高级别并发对象求解哲学家进餐问题被引量：2
《佳木斯大学学报（自然科学版）》2013年第6期905-907,共3页詹劲松 
介绍了利用Java高级别并发对象求解哲学家进餐问题死锁预防的一种方法,并和我们过去的方法进行了比较,结果表明新方法的效率有所提高.
关键词：高级别并发对象 哲学家进餐问题 死锁预防 
基于补库所的死锁预防策略被引量：2
《计算机学报》2013年第11期2257-2265,共9页吴文慧 王寿光 
国家自然科学基金(61100056);浙江省自然科学基金(LY12F03020);浙江省科技计划项目(2013C31111);浙江省新型网络标准与应用技术重点实验室(2013E10012)资助~~
文中基于补库所理论提出了活性控制器设计方法.首先,利用容量函数K将原Petri网N转变为有限容量网珦N,再通过逐一增加K值得到具有最大可达集的容量函数Kmax,然后根据Kmax添加一组补库所,最终得到活性受控网N′.文中首先以S3PR网模型为例...
关键词：PETRI网 死锁 补库所控制器 
S^3PR网的一种最大许可活性监督控制器设计方法
《计算机集成制造系统》2013年第7期1548-1552,共5页闫明明 赵咪 
国家自然科学基金资助项目(51175067);中央高校基本科研业务费资助项目(ZYGX2011J092)~~
针对S3PR网的死锁预防问题,提出一种基于信标的最大许可死锁控制策略。采用迭代方法对网系统中存在的所有可清空严格极小信标添加一组广义互斥约束,使信标的标志数不超过某个上限值,将基于信标的死锁预防控制转化为禁止状态监控问题,使...
关键词：柔性制造系统 死锁预防 PETRI网 信标 广义互斥约束 
一类活性Petri网控制器的冗余检测及结构简化被引量：8
《控制理论与应用》2013年第6期673-682,共10页徐姗姗 董利达 朱丹 朱承丞 
国家自然科学基金资助项目(61071062);浙江省自然科学基金资助项日(Y12F02030)
S^4R(systems of sequential systems with shared resources)网是分析和解决柔性制造系统死锁现象常用的一种重要的Petri网子类模型,现有的基于S^4R网的死锁预防方法通常采用对部分或者全部严格极小信标添加控制库所来实现.此类方法的...
关键词：PETRI网 柔性制造系统 信标 死锁预防 整数规划 
全选清除导出
共5页<12345>
检索报告 对象比较 聚类工具 使用帮助 返回顶部