可达标识图

作品数：20被引量：26H指数：4
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：韩耀军罗雪梅赵义军吴哲辉王佳慧更多>>
相关机构：山东科技大学安徽理工大学同济大学上海外国语大学更多>>
相关期刊：《自动化与信息工程》《电子科技》《计算机应用》《科学中国人》更多>>
相关基金：国家自然科学基金山东省自然科学基金国家杰出青年科学基金山东省优秀中青年科学家科研奖励基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机工程与应用x
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于有色Petri网并发进程模型及死锁避免方法被引量：2
《计算机工程与应用》2007年第6期48-49,94,共3页刘荣峰 李引珍 
兰州交通大学大学生科研创新基金资助项目。
并发进程具有明显的异步并发性,而Petri网是描述异步并发系统的有效工具,但是目前将Petri网用于并发进程控制问题的研究还几乎没有。为此通过引入扩展有色Petri网,为并发进程建立了模型,并给出了避免死锁的有效方法。
关键词：并发进程 PETRI网 死锁 可达标识图 
并发事务无死锁的可串行化调度的形式化方法被引量：1
《计算机工程与应用》2004年第10期181-183,229,共4页罗雪梅 王薇 韩耀军 
中国科学院计算机科学实验室开放课题资助(编号:SYSKF0304)
并发控制是多用户数据库管理系统(DBMS)的重要内容之一。该文对其形式化方法进行了研究,建立了符合两段锁协议的扩展有色Petri网模型。利用该模型的可达标识图,给出了判断满足两段锁协议的调度是否死锁的充分必要条件,并由此构造出并发...
关键词：并发控制 可串行化 两段锁协议死锁 扩展有色Petri网 可达标识图 
基于Petri网的数据库系统并发控制活性分析被引量：1
《计算机工程与应用》2002年第17期202-205,共4页左凤朝 
山东省自然科学基金资助课题(编号:Y97G08108)
从数据库系统在时刻t的状态N出发,构造出相应的Petri网模型,进而构造出其可达标识图。通过分析可达标识图,可判断系统是否为死锁状态。若不是死锁状态,系统是否可能出现死锁,什么情况下系统肯定不会出现死锁。最后,给出了数据库系统中...
关键词：PETRI网 数据库系统 并发控制 活性分析 可达标识图 事务 死锁 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部