无死锁

作品数：70被引量：145H指数：6
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：向东胡核算张研魏敬和王飞更多>>
相关机构：清华大学西安电子科技大学西安交通大学国防科学技术大学更多>>
相关期刊：《应用科学学报》《南通大学学报（自然科学版）》《清华大学学报（自然科学版）》《计算机与数字工程》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划国家教育部博士点基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=控制理论与应用x
共 条 记 录，以下是1-4
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
井下调度运输的自动调度策略研究被引量：2
《控制理论与应用》2021年第6期757-765,共9页李文宏 郑建志 
山东省自然科学基金项目(ZR2014FQ020);山东省重点研发计划项目(2019GHY112051)资助。
为了提高煤矿井下机车调度效率和实现井下调度系统自动化,基于Petri网理论知识结合实际井下矿场路况建立机车调度Petri网模型,然后对Petri网模型添加限制库所和变迁使其调度过程无死锁,并通过理论证明了该调度模型是无死锁和冲突的,可...
关键词：矿井机车调度 PETRI网模型 无死锁控制 自动调度策略 
考虑缓冲区的自动生产单元的无死锁调度策略被引量：2
《控制理论与应用》2005年第2期229-236,共8页徐刚 吴智铭 
国家自然科学基金资助项目(60074011;70071017).
在制造系统中,必须防止死锁的发生.本文提出了一种在制造系统(带有有限缓冲区)中搜索最优的无死锁调度的算法.为此首先介绍了死锁问题及其图论表示方法,然后在遗传算法的基础上,运用图论算法来保证无死锁的调度结果.为了保证遗传算法生...
关键词：遗传算法 图论 无死锁调度 
事件反馈与状态反馈的混合模监控被引量：1
《控制理论与应用》2004年第6期901-906,共6页王飞 胡奇英 
国家自然科学基金项目 (6990 40 0 8)
在监控理论中 ,处理状态膨胀的标准方法之一是基于语言或谓词的模监控 .但文献中没有涉及同时基于语言与谓词的混合模监控 .本文研究混合模监控综合及其性质 .通过提出状态反馈与某一事件反馈的等价关系 ,给出了两者相连接的定义 ,进而...
关键词：语言 谓词 混合模监控 非阻塞 无死锁 
离散事件系统的无死锁模块化状态反馈控制(英文)被引量：1
《控制理论与应用》1993年第5期582-588,共7页李勇华 
本文讨论离散事件系统的无死锁模块化状态反馈问题,首先我们定义自动机的交与并运算,然后通过引入自动机对的D-不变关系,我们证明当控制目标是两个谓词的交时,模块化状态反馈控制器是无死锁的充要条件是各子控制器是无死锁的且相应的控...
关键词：离散事件系统 模块化 反馈控制 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部