【摘 要】
：
船运交通系统是一种典型的并发和冲突同在的离散事件系统,如何合理的分配航道资源,避免航道拥堵是船运管理的主要目的。作为一种理想的离散事件系统建模工具,利用Petri网可以
论文部分内容阅读
船运交通系统是一种典型的并发和冲突同在的离散事件系统,如何合理的分配航道资源,避免航道拥堵是船运管理的主要目的。作为一种理想的离散事件系统建模工具,利用Petri网可以更好的对船运交通系统的各种行为进行模拟分析。死锁预防的核心思想是控制网中的每一个可被清空的信标,使控制后的网不再含有可被清空的信标。通常,随着网规模的增大,极小信标的数目会激增,这样便会导致最终的网系统比初始的网系统复杂很多,而利用基本信标可以极大简化结构。本文利用Petri网作为工具对船运交通系统进行建模分析,分析系统中可能存在的死锁问题,通过添加控制库所的方法对死锁进行控制。通过基于基本信标的死锁预防算法对模型进行分析,从理论上解决了航行中的死锁问题,从而得到无死锁的船运交通系统模型。
其他文献
<正>一、科举制度的发展历程科举取士制度是指朝廷允许普通士人和官员一样自愿向官府报名,经过分科考试,根据成绩从中选取人才、分别任官的一种制度,产生在中国封建社会后期,
电视专题片是报道类纪实型的节目,是电视深度报道最常用的一种节目形态。解说词作为电视专题片的重要组成部分,是媒体和观众进行交流的重要载体。解说词的创作和配音不单是一
本文报道香港地区土壤的γ辐射本底值的测定方法.测得该地区以碘化钠晶体在1m高度的γ辐射吸收剂量率平均值为70.7mrad/a(γ能量下限为100keV).若按90kvV以上计.平均值则上升
近年来平顶山市辣椒种植面积不断增加,对当地农户增收起到了积极的作用,但是病虫害常发,对其进一步发展产生了不利的影响。本文结合当地辣椒栽培实际,总结了辣椒疫病、辣椒灰
目的:研究人未成熟和成熟卵母细胞中线粒体的分布,进一步阐明卵母细胞成熟和线粒体分布的关系.方法:未成熟卵母细胞和成熟卵母细胞均用 Mito Tracker Green FM 染色,经多聚甲
中国依法治国有深刻的历史渊源,历代统治者为了维护统治,一直沿用法治。中国法治探索和建设虽然取得了一些成果,但也有很多问题需要解决。当代法治建设既是基于对中国古代"法
轻工业在宁夏工业中占比较低,＂十三五＂规划对宁夏轻工业未来的发展提出了更高的要求。目前宁夏积极承接东部产业转移,纺织业发展迅猛,生物发酵及制药产业形成集群,造纸业也颇具
针对目前我国中小净水厂耗水率高、产水量低、水质不达标等问题,本论文将现有水厂的常规处理工艺设备进行改造处理(以信阳市平桥区明港淮泉供水有限公司供水工程改造项目为例
<正>刘永年(1934-),男,主任医师,教授,第二、三、四批全国老中医药专家学术经验继承工作指导老师。曾任南京中医药学会副会长及内科专业委员主任委员。擅长治疗内科疑难病(萎
近年来,研究高职学生心理行为的论文有许多,但鲜见学生心理行为的专栏.研究的大致趋势是:学生心理行为研究初见端倪,学习动机研究已成热点,学习心理障碍研究不断深入,学生学