死锁

作品数：813被引量：1440H指数：16
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：胡核算向东楼佩煌李志武肖海宁更多>>
相关机构：西安电子科技大学华为技术有限公司清华大学国防科学技术大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划国家教育部博士点基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
多芯粒网络中负载均衡的死锁解决算法
《国防科技大学学报》2025年第2期146-154,共9页周宏伟 陈志强 曾坤 邓让钰 
国家部委基金资助项目(31513010502)。
针对多芯粒网络中存在跨芯粒的死锁问题以及链路故障导致的网络连通性问题,提出一种面向多芯粒网络的优化报文重传机制。通过在重传机制中使用“报文合并”功能来减少控制报文的数目,降低网络的负载;通过使用“报文转发”功能并采用转...
关键词：芯粒 容错 死锁 重传 
基三众核架构中基于同步哈密顿环的无死锁策略
《计算机研究与发展》2025年第4期930-949,共20页李春峰 Karim Soliman 计卫星 石峰 
国家自然科学基金项目(60973010)。
确保片上网络(network-on-chip,NoC)中的数据传输无死锁,是NoC为多处理器片上系统(multi-processor system-on-chip,MPSoC)提供可靠通信服务的前提,决定了NoC甚至MPSoC的可用性.现有的通用防死锁策略难以发挥出特定拓扑结构的自身特点...
关键词：众核处理器 片上网络 基三众核架构 哈密顿特性 路由算法 死锁预防 
基于S^(4)PR网的多类型不可靠资源AMS自适应死锁控制策略
《计算机应用研究》2024年第12期3786-3792,共7页孙雅婷 刘伟 
山东省自然科学基金面上项目(ZR2020MF033)。
自动制造系统(AMS)产生的死锁为制造企业造成严重经济损失,为解决死锁问题,提出了更精确、有效的死锁控制策略。该策略首先研究多类型不可靠资源对死锁的影响,扩展S^(4)PR网建模,提出新的网结构表征死锁:资源严格极小虹吸,改进混合整数...
关键词：自动制造系统 不可靠资源 极小虹吸 自适应死锁控制 
基于时序Petri网的机器人柔性作业车间无死锁调度优化算法
《浙江理工大学学报（自然科学版）》2024年第6期839-850,共12页陈海波 张超隆 董建明 
国家自然科学基金项目(11971435);浙江省“领雁”研发攻关项目(2024C01108)。
研究了一类源于芯片生产等智能制造领域的机器人柔性作业车间调度问题。针对该类问题在算法设计过程中,需要同时考虑工件加工、机器人运输和死锁求解等带来的问题,提出了一种基于时序Petri网的无死锁调度优化算法。首先,对问题进行时序P...
关键词：作业车间调度 离散蜂群算法 单机器人 PETRI网 阻塞和死锁 
基于多级视野自适应蚁群算法的移动机器人路径规划
《农业机械学报》2024年第11期475-485,共11页许建民 邓冬冬 宋雷 杨炜 
国家重点研发计划项目(2023YFB3406500);国家自然科学基金项目(51975499)。
针对传统蚁群算法(Ant colony optimization,ACO)在应用于移动机器人路径规划时存在优化能力差,易于死锁,搜索效率低等问题,提出一种多级视野自适应蚁群(Multi-level field of view adaptive ant colony optimization,MLFVAACO)算法。...
关键词：移动机器人 全局路径规划 蚁群算法 多级视野 死锁 
基于优先级时间Petri网的实时嵌入式多核系统分析
《软件学报》2024年第9期4123-4140,共18页张凯文 刘关俊 孙彦韬 李晓锋 关健 解毅 顾斌 
国家自然科学基金(62172299,62192730,62032019);北京控制工程研究所高可信嵌入式软件工程技术实验室开放基金(LHCESET202201);北京控制工程研究所空间光电测量与感知实验室开放基金(LabSOMP-2023-03);CCF-华为胡杨林基金-形式化专项(CCF-HuaweiFM202305)。
已有的基于点区间优先级时间Petri网分析实时嵌入式多核系统的工作,存在以下不足:(1)点区间优先级时间Petri网只考虑每个任务的执行时间是一个固定值的情况,而更多的实际应用中每个任务的执行时间是在一个区间范围内,因此不能模拟这些应...
关键词：实时嵌入式多核系统 优先级时间Petri网 可达图 任务依赖图 最坏执行时间(WCET) 死锁 
基于Petri网和Banker’s algorithm的数字孪生车间死锁判断方法被引量：1
《图学学报》2024年第3期585-593,共9页杨逸风 陈亚洲 陈一明 林晓川 王鸿星 
厦门市科技补助项目(2022CXY03005);福建省科技计划重点项目(2018H0024);福建省中青年教师教育科研项目(JAT231646)。
车间生产流程中资源分配或工序安排不合理会使生产流程出现死锁现象,导致无法继续生产,大大降低车间生产效率。为解决上述问题,综合Petri网和Banker’s algorithm理论将车间死锁的形成条件分为互斥等待、占有等待、循环等待和不可剥夺4...
关键词：生产车间 PETRI网 银行家算法 死锁 监控 死锁恢复 
基于深度优先搜索算法的操作系统死锁检测
《电脑与信息技术》2024年第3期17-19,54,共4页丁红霞 
操作系统在现代生活中扮演着至关重要的角色,它被嵌入各种物联网和各种规模的计算机中。操作系统提供的服务之一是为进程分配资源,在分配过程中,可能会出现死锁。因此,操作系统必须提供一个能够检查系统状态以确定是否发生了死锁的算法...
关键词：深度优先搜索 死锁检测 操作系统 等待图模型 
增强蚁群算法在移动机器人路径规划的应用研究
《机床与液压》2024年第10期70-77,共8页王建玲 王换换 
2021年河南省产学合作协同育人项目(21B280012)。
针对蚁群算法在移动机器人路径规划中存在的历史路径不能被充分利用的问题,提出一种具有通信机制的增强型蚁群算法。根据自然界中蚂蚁触手的接触特性,对历史路径进行整合,以获得更优的复合路径。为了进一步改进算法,提出一种放大的轮盘...
关键词：移动机器人 蚁群算法 路径规划 死锁问题 
带有并发行为的UML状态机图的形式语义
《计算机技术与发展》2024年第5期87-94,共8页陈华豪 蒋建民 谢嘉成 陈卓然 唐国富 
科技部重点研发计划(2022YFB3305104);国家自然科学基金(61772004);成都信息工程大学人才科研基金(KYTZ202009)。
在软件开发过程中,UML(统一建模语言)状态机图是目前最流行的建模形式之一,它属于半形式化模型,无法用形式化的方法进行推理。为了能对UML状态机图进行推理,现有工作采用Petri网、时序逻辑语言XYZ/E、动态描述逻辑、Z(Object-Z)语言、C...
关键词：统一建模语言 状态机图 形式化模型 并发行为 可达性 死锁 
全选清除导出
共81页<12345678910>
检索报告 对象比较 聚类工具 使用帮助 返回顶部