基于Petri网的新型集装箱自动化装卸工艺死锁分析及消除

1新型集装箱自动化装卸工艺 针对现有集装箱自动化装卸系统效率不高、作业方式不符合国内习惯等问题，本文提出采用高低架行车系统和循环平板小车系统的新型集装箱自动化装卸工艺（见图1）。集装箱码头前沿采用双小车岸桥；堆场采用高架行车系统；前沿与堆场之间的集装箱水平运输通过回字形循环平板小车系统来完成；进出港闸口采用低架行车和堆场后方多路回字形循环小车系统，以实现外集卡进口箱和堆场出口箱集疏港。

FMS实时控制系统OCPN模型的死锁分析(二)

为了使ＦＭＳ实时控制系统ＯＣＰＮ(面向对象的着色Ｐｅｔｒｉ网)模型具有可靠性,本文在Ｄ’Ｓｏｕｚａ的死锁分析算法基础上,提出了检测通用ＯＰＮ(面向对象的Ｐｅｔｒｉ网)模型和ＯＣＰＮ模型的死锁检测算法;同时利用提出的算法,对ＡＧＶ物理对象ＯＰＮ模型及无锡职业学院ＦＭＳ中构造的ＯＣＰＮ模型进行了死锁分析。通过实例验证本文提出的死锁检测算法具有简单性和通用性等特点。

基于KOCNCES的智能重构制造控制系统动态建模与分析

为了提高制造控制系统的智能重构能力,提出了扩展功能块的新概念.在分析了智能重构与智能控制的并行执行过程基础上,探讨了基于知识表达的面向对象着色NCES(KOCNCES)建模方法,并给出了检测各虚拟制造设备(VMD)功能块对象KONCEM模型的死锁检测算法,以及检测整个控制系统KOCNCES模型的死锁检测算法.利用这些算法对机器人VMD功能块对象的KONCEM模型及一个柔性制造系统(FMS)的控制系统的KOCNCES模型进行了死锁分析.分析结果验证了该建模方法及死锁检测算法的有效性.

基于时间着色Petri网的SIP协议验证与分析

随着SIP(Session Initiation Protocol)被3G通信选择为下一代移动网络的会话控制机制,保证SIP协议设计和实现无缺陷、运行稳定可靠成为SIP协议应用过程中亟需研究和解决的关键问题。充分利用时间着色Petri网(Timed Colored Petri Nets,TCPN)在描述和分析具有复杂交互行为及时间约束的系统方面的优势,给出了SIP协议的层次TCPN模型,并集成多种模型分析技术,完成SIP协议设计的正确性验证;同时通过正则表达式完成协议模型的生成路径分析,指出其中存在的死锁状态并分析原因。提出了相应的协议设计改进方案,验证了设计方案的正确性,从而有效增强了SIP协议在实际应用中的可行性和可靠性。

基于锁增广分段图的多线程程序死锁检测

死锁是并行程序常见的缺陷之一,动态死锁分析方法根据程序运行轨迹构建锁图、分段图等模型来检测死锁.然而,锁图及其现有的各种变型无法区分同一循环中锁授权语句的多次执行,扩展锁图中记录的锁集无法捕捉线程曾经持有而又随后释放的锁信息,分段图无法刻画锁的获取和释放操作与线程启动操作耦合而导致的段间依赖关系.上述问题导致了多种死锁的误报.为解决上述问题,对已有的锁图和分段图模型进行改进,在锁图基础上扩充语句的执行时序信息,在分段图的基础上扩充锁的获取和释放信息,对段进行更细粒度的划分以建模锁对象导致的段间依赖关系;最终,在上述锁增广分段图与时序增广锁图的基础上,提出一种新的死锁检测方法.所提方法能够有效消除前述各种误报,从而提高死锁检测的准确率.文中开发相应的原型系统,并结合多个程序实例对所提方法的有效性进行评估验证.

2PL并发控制的研究与实现探析

将数据库技术分别与面向对象技术 (OO)和实时系统 (RTS)等技术结合 ,在传统的 2PL基础上提出了改进办法 ,实现OODBS中的资料一致性处理。在实时数据库系统中 ,建议使用一种新的协议 :锁全写(2PL LW)解决死锁 ,为在RTDBS系统中实施对事务处理提供了可行的并发控制调度方案。

一种并发控制协议—2PL-LW

:2PL是大多数商业数据库系统使用的并发控制机制,建议使用一种新的协议:2PL -锁全写(2PL -LW),在实时数据库系统中,使用 2PL -LW比传统协议在一致截止期条件下有更好的性能。