期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到8篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
2PL并发控制的研究与实现探析 被引量：5
1
作者 马淑娇 李晓 周俊林 《计算机应用研究》 CSCD 北大核心 2003年第1期38-40,81,共4页
将数据库技术分别与面向对象技术 (OO)和实时系统 (RTS)等技术结合 ,在传统的 2PL基础上提出了改进办法 ,实现OODBS中的资料一致性处理。在实时数据库系统中 ,建议使用一种新的协议 :锁全写(2PL LW)解决死锁 ,为在RTDBS系统中实施对事... 将数据库技术分别与面向对象技术 (OO)和实时系统 (RTS)等技术结合 ,在传统的 2PL基础上提出了改进办法 ,实现OODBS中的资料一致性处理。在实时数据库系统中 ,建议使用一种新的协议 :锁全写(2PL LW)解决死锁 ,为在RTDBS系统中实施对事务处理提供了可行的并发控制调度方案。 展开更多
关键词 并发控制 数据库管理系统 两段锁 面向对象 实时数据库 事务调度 死锁分析
下载PDF
基于Petri网的新型集装箱自动化装卸工艺死锁分析及消除 被引量：3
2
作者 高延辉 魏世桥 张煜 《集装箱化》 2015年第7期20-24,共5页
1新型集装箱自动化装卸工艺 针对现有集装箱自动化装卸系统效率不高、作业方式不符合国内习惯等问题，本文提出采用高低架行车系统和循环平板小车系统的新型集装箱自动化装卸工艺（见图1）。集装箱码头前沿采用双小车岸桥；堆场采用高... 1新型集装箱自动化装卸工艺 针对现有集装箱自动化装卸系统效率不高、作业方式不符合国内习惯等问题，本文提出采用高低架行车系统和循环平板小车系统的新型集装箱自动化装卸工艺（见图1）。集装箱码头前沿采用双小车岸桥；堆场采用高架行车系统；前沿与堆场之间的集装箱水平运输通过回字形循环平板小车系统来完成；进出港闸口采用低架行车和堆场后方多路回字形循环小车系统，以实现外集卡进口箱和堆场出口箱集疏港。 展开更多
关键词 集装箱码头 装卸工艺 自动化 PETRI网 死锁分析 装卸系统 双小车 作业方式
下载PDF
一种并发控制协议—2PL-LW
3
作者 谢坤武 李军 《湖北民族学院学报（自然科学版）》 CAS 2001年第1期65-69,共5页
:2PL是大多数商业数据库系统使用的并发控制机制,建议使用一种新的协议:2PL -锁全写(2PL -LW),在实时数据库系统中,使用 2PL -LW比传统协议在一致截止期条件下有更好的性能。
关键词 实时数据库 并发控制 事务调度 二段锁 死锁分析 2PL-锁全写 控制协议
下载PDF
FMS实时控制系统OCPN模型的死锁分析(二)
4
作者 周炳海 施海锋 蔡建国 《机床与液压》 北大核心 2002年第2期25-28,24,共5页
为了使ＦＭＳ实时控制系统ＯＣＰＮ(面向对象的着色Ｐｅｔｒｉ网)模型具有可靠性,本文在Ｄ’Ｓｏｕｚａ的死锁分析算法基础上,提出了检测通用ＯＰＮ(面向对象的Ｐｅｔｒｉ网)模型和ＯＣＰＮ模型的死锁检测算法;同时利用提出的算法,对Ａ... 为了使ＦＭＳ实时控制系统ＯＣＰＮ(面向对象的着色Ｐｅｔｒｉ网)模型具有可靠性,本文在Ｄ’Ｓｏｕｚａ的死锁分析算法基础上,提出了检测通用ＯＰＮ(面向对象的Ｐｅｔｒｉ网)模型和ＯＣＰＮ模型的死锁检测算法;同时利用提出的算法,对ＡＧＶ物理对象ＯＰＮ模型及无锡职业学院ＦＭＳ中构造的ＯＣＰＮ模型进行了死锁分析。通过实例验证本文提出的死锁检测算法具有简单性和通用性等特点。 展开更多
关键词 FMS 实时控制系统 OCPN模型 死锁分析 死锁检测 物理对象
下载PDF
基于KOCNCES的智能重构制造控制系统动态建模与分析 被引量：1
5
作者 吴斌 周炳海 +1 位作者 奚立峰 余建波 《上海交通大学学报》 EI CAS CSCD 北大核心 2008年第7期1187-1192,共6页
为了提高制造控制系统的智能重构能力,提出了扩展功能块的新概念.在分析了智能重构与智能控制的并行执行过程基础上,探讨了基于知识表达的面向对象着色NCES(KOCNCES)建模方法,并给出了检测各虚拟制造设备(VMD)功能块对象KONCEM模型的死... 为了提高制造控制系统的智能重构能力,提出了扩展功能块的新概念.在分析了智能重构与智能控制的并行执行过程基础上,探讨了基于知识表达的面向对象着色NCES(KOCNCES)建模方法,并给出了检测各虚拟制造设备(VMD)功能块对象KONCEM模型的死锁检测算法,以及检测整个控制系统KOCNCES模型的死锁检测算法.利用这些算法对机器人VMD功能块对象的KONCEM模型及一个柔性制造系统(FMS)的控制系统的KOCNCES模型进行了死锁分析.分析结果验证了该建模方法及死锁检测算法的有效性. 展开更多
关键词 智能重构 扩展功能块 控制系统动态建模 死锁分析
下载PDF
基于时间着色Petri网的SIP协议验证与分析
6
作者 刘靖 叶新铭 马元飞 《计算机科学》 CSCD 北大核心 2014年第7期122-129,共8页
随着SIP(Session Initiation Protocol)被3G通信选择为下一代移动网络的会话控制机制,保证SIP协议设计和实现无缺陷、运行稳定可靠成为SIP协议应用过程中亟需研究和解决的关键问题。充分利用时间着色Petri网(Timed Colored Petri Nets,T... 随着SIP(Session Initiation Protocol)被3G通信选择为下一代移动网络的会话控制机制,保证SIP协议设计和实现无缺陷、运行稳定可靠成为SIP协议应用过程中亟需研究和解决的关键问题。充分利用时间着色Petri网(Timed Colored Petri Nets,TCPN)在描述和分析具有复杂交互行为及时间约束的系统方面的优势,给出了SIP协议的层次TCPN模型,并集成多种模型分析技术,完成SIP协议设计的正确性验证;同时通过正则表达式完成协议模型的生成路径分析,指出其中存在的死锁状态并分析原因。提出了相应的协议设计改进方案,验证了设计方案的正确性,从而有效增强了SIP协议在实际应用中的可行性和可靠性。 展开更多
关键词 SIP 时间着色Petri网 协议验证 死锁分析
下载PDF
基于锁增广分段图的多线程程序死锁检测 被引量：3
7
作者 鲁法明 郑佳静 +3 位作者 包云霞 曾庆田 段华 王晓宇 《软件学报》 EI CSCD 北大核心 2021年第6期1682-1700,共19页
死锁是并行程序常见的缺陷之一,动态死锁分析方法根据程序运行轨迹构建锁图、分段图等模型来检测死锁.然而,锁图及其现有的各种变型无法区分同一循环中锁授权语句的多次执行,扩展锁图中记录的锁集无法捕捉线程曾经持有而又随后释放的锁... 死锁是并行程序常见的缺陷之一,动态死锁分析方法根据程序运行轨迹构建锁图、分段图等模型来检测死锁.然而,锁图及其现有的各种变型无法区分同一循环中锁授权语句的多次执行,扩展锁图中记录的锁集无法捕捉线程曾经持有而又随后释放的锁信息,分段图无法刻画锁的获取和释放操作与线程启动操作耦合而导致的段间依赖关系.上述问题导致了多种死锁的误报.为解决上述问题,对已有的锁图和分段图模型进行改进,在锁图基础上扩充语句的执行时序信息,在分段图的基础上扩充锁的获取和释放信息,对段进行更细粒度的划分以建模锁对象导致的段间依赖关系;最终,在上述锁增广分段图与时序增广锁图的基础上,提出一种新的死锁检测方法.所提方法能够有效消除前述各种误报,从而提高死锁检测的准确率.文中开发相应的原型系统,并结合多个程序实例对所提方法的有效性进行评估验证. 展开更多
关键词 程序验证 死锁检测 锁图 分段图 动态死锁分析
下载PDF
新版DDT调试工具
8
《计算机研究与发展》 EI CSCD 北大核心 2004年第7期1320-1320,共1页
关键词 DDT调试工具 分布式调试工具 MPI消息队列 快速死锁分析 编译器
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部