死锁分析

作品数：15被引量：18H指数：3
导出分析报告
相关领域：自动化与计算机技术机械工程更多>>
相关作者：朱清华滕少华伍乃骐周炳海李晓更多>>
相关机构：西安电子科技大学广东工业大学上海交通大学东南大学更多>>
相关期刊：《东南大学学报（自然科学版）》《上海交通大学学报》《集装箱化》《中华学习机》更多>>
相关基金：国家自然科学基金国家教育部博士点基金山东省“泰山学者”建设工程项目山东省自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于锁增广分段图的多线程程序死锁检测被引量：3
《软件学报》2021年第6期1682-1700,共19页鲁法明 郑佳静 包云霞 曾庆田 段华 王晓宇 
国家自然科学基金(61602279,61472229);国家重点研发计划(2016YFC0801406);山东省泰山学者工程专项基金(ts20190936);山东省高等学校青创科技支持计划(2019KJN024);山东省自然科学基金智慧计算联合基金(ZL2019LZh001);山东省博士后创新专项基金(201603056);国家海洋局海洋遥测工程技术研究中心开放基金(2018002);山东科技大学领军人才与优秀科研创新团队项目(2015TDJH102)。
死锁是并行程序常见的缺陷之一,动态死锁分析方法根据程序运行轨迹构建锁图、分段图等模型来检测死锁.然而,锁图及其现有的各种变型无法区分同一循环中锁授权语句的多次执行,扩展锁图中记录的锁集无法捕捉线程曾经持有而又随后释放的锁...
关键词：程序验证 死锁检测 锁图 分段图 动态死锁分析 
基于Petri网的新型集装箱自动化装卸工艺死锁分析及消除被引量：3
《集装箱化》2015年第7期20-24,共5页高延辉 魏世桥 张煜 
1新型集装箱自动化装卸工艺 针对现有集装箱自动化装卸系统效率不高、作业方式不符合国内习惯等问题，本文提出采用高低架行车系统和循环平板小车系统的新型集装箱自动化装卸工艺（见图1）。集装箱码头前沿采用双小车岸桥；堆场采用高...
关键词：集装箱码头 装卸工艺 自动化 PETRI网 死锁分析 装卸系统 双小车 作业方式 
基于时间着色Petri网的SIP协议验证与分析
《计算机科学》2014年第7期122-129,共8页刘靖 叶新铭 马元飞 
国家自然科学基金项目(61262017);高校博士学科点专项科研基金(20101501110003);内蒙古自然科学基金重点项目(20080404Zd20);内蒙古大学高层次人才引进基金项目资助
随着SIP(Session Initiation Protocol)被3G通信选择为下一代移动网络的会话控制机制,保证SIP协议设计和实现无缺陷、运行稳定可靠成为SIP协议应用过程中亟需研究和解决的关键问题。充分利用时间着色Petri网(Timed Colored Petri Nets,T...
关键词：SIP 时间着色Petri网 协议验证 死锁分析 
半导体制造中多组合设备的Petri网建模及死锁分析被引量：2
《东南大学学报（自然科学版）》2010年第A02期267-271,共5页朱清华 伍乃骐 滕少华 
国家自然科学基金资助项目(60974098);高等学校博士学科点专项科研基金资助项目(20094420110002);广东工业大学青年基金资助项目(082816)
在半导体晶圆加工中必须保证组合设备运行时不存在死锁,为此,建立了多组合设备的模型并研究了无死锁运行问题.首先介绍了多组合设备的结构特征,用面向资源Petri网对它的结构建模;然后,在模型中引入了着色令牌和受控变迁,能很好地描述多...
关键词：多组合设备 晶圆加工 建模 PETRI网 死锁控制 
基于KOCNCES的智能重构制造控制系统动态建模与分析被引量：1
《上海交通大学学报》2008年第7期1187-1192,共6页吴斌 周炳海 奚立峰 余建波 
国家自然科学基金(60574054);新世纪优秀人才支持计划(NCET-06);高等学校学科创新引智计划(B06012)资助项目
为了提高制造控制系统的智能重构能力,提出了扩展功能块的新概念.在分析了智能重构与智能控制的并行执行过程基础上,探讨了基于知识表达的面向对象着色NCES(KOCNCES)建模方法,并给出了检测各虚拟制造设备(VMD)功能块对象KONCEM模型的死...
关键词：智能重构 扩展功能块 控制系统动态建模 死锁分析 
材料检测与分析技术
《中国学术期刊文摘》2007年第22期52-53,共2页
DUO-ICP-AES测定铅锡合金焊料中的铅镉铬；板材FMS基于RBOPN模型的死锁分析；DMA测量高聚物粘弹性参数重复性研究；稀释剂对乙烯基酯树脂体系流变性能的影响；
关键词：材料检测与分析技术 聚甲基丙烯酸丁酯 ICP-AES测定 粘弹性参数 倍半硅氧烷 铅锡合金 死锁分析 流变性能 
板材FMS基于规则的面向对象Petri网模型死锁分析
《山西冶金》2007年第3期55-56,58,共3页杨秀荣 杨建友 
通过建立对象通讯网(OCNet),分析对象通讯子网OCi出现死锁情况,从而实现了对整个系统的死锁分析。这种死锁分析方法简化了计算分析过程,为发现排解死锁现象提供了可靠依据。
关键词：柔性制造系统(FMS) PETRI网 死锁 板材 
板材FMS基于RBOPN模型的死锁分析
《东南大学学报（自然科学版）》2007年第3期420-422,共3页金霞 许超 孙庆鸿 
基于板材柔性制造系统模型RBOPN所具有的可以完全描述FMS的动态行为以及系统中相关对象子网之间关系的分析能力,提出一种死锁检查分析方法.通过以抽象对象封装系统中各物理对象的所有相关对象的内部行为,研究抽象对象、物理对象及其相...
关键词：柔性制造系统(FMS) Petri网 死锁 板材 
基于petri网的多级管理并发信息流模型与死锁分析被引量：1
《广西大学学报（自然科学版）》2005年第4期323-326,共4页张力 赵宗涛 慕晓冬 
国防预研(413270205)
在多级信息管理系统中,如ERP管理软件,往往存在多维并发信息流,由此引发因争夺资源而产生的系统死锁,这将严重影响系统效能.本文基于petri网建立了系统的数学模型,进而分析在并发信息流中产生死锁的关节所在,为从理论上研究系统的效能,...
关键词：PETRI网 并发信息流 ERP 死锁 多级信息管理 
2PL并发控制的研究与实现探析被引量：5
《计算机应用研究》2003年第1期38-40,81,共4页马淑娇 李晓 周俊林 
将数据库技术分别与面向对象技术 (OO)和实时系统 (RTS)等技术结合 ,在传统的 2PL基础上提出了改进办法 ,实现OODBS中的资料一致性处理。在实时数据库系统中 ,建议使用一种新的协议 :锁全写(2PL LW)解决死锁 ,为在RTDBS系统中实施对事...
关键词：并发控制 数据库管理系统 两段锁 面向对象 实时数据库 事务调度 死锁分析 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部