DEADLOCK

作品数：30被引量：21H指数：3
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：李磊蒋昌俊谭庆平樊驰更多>>
相关机构：国防科学技术大学武汉理工大学中国科学院研究生院清华大学更多>>
相关期刊：《Journal of Computer Science & Technology》《Beijing Review》《武汉理工大学学报》《China International Studies》更多>>
相关基金：国家自然科学基金中国博士后科学基金福建省自然科学基金国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=IEEE/CAA Journal of Automatica Sinicax
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
Robust Deadlock Avoidance Policy for Automated Manufacturing System With Multiple Unreliable Resources被引量：7
《IEEE/CAA Journal of Automatica Sinica》2020年第3期812-821,共10页Jianchao Luo Zhiqiang Liu Shuogang Wang Keyi Xing 
supported in part by the Fundamental Research Funds for the Central Universities(3102017OQD110);the Natural Science Basic Research Plan in Shaanxi Province of China(2019JQ-435);the Project Funded by China Postdoctoral Science Foundation(2019M663818);the National Key Research and Development Program of China(2019YFB1703800);Guangdong Basic and Applied Basic Research Foundation(2019A1515111076);the National Natural Science Foundation of China(71931007)。
This work studies the robust deadlock control of automated manufacturing systems with multiple unreliable resources. Our goal is to ensure the continuous production of the jobs that only require reliable resources. To...
关键词：Automated manufacturing system(AMS) DEADLOCK avoidamce policy(DAP) modified Banker's algorithm(MBA) PETRINET 
Verification of Hypertorus Communication Grids by Infinite Petri Nets and Process Algebra
《IEEE/CAA Journal of Automatica Sinica》2019年第3期733-742,共10页Dmitry A.Zaitsev Tatiana R.Shmeleva Jan Friso Groote 
supported in part by NATO(ICS.NUKR.CLG982689)
A model of a hypertorus communication grid has been constructed in the form of an infinite Petri net. A grid cell represents either a packet switching device or a bioplast cell. A parametric expression is obtained to ...
关键词：Computing grid conservativeness DEADLOCK hypertorus INFINITE PETRI NETS process ALGEBRA systems BIOLOGY 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部