矿井机车运输监控系统调度联锁过程的Petri网建模

来源 :煤炭学报 | 被引量 : 0次 | 上传用户：qiaotongqiao

【摘要】

：

分析了机车运输监控系统中调度联锁的基本规则,采用有色Petri网对矿井机车调度联锁过程进行了建模.在建模的过程中,对库所和变迁进行了着色;使用约束组合弧并结合外部输入的

【作者】

：

陆阳郭智奇韩江洪杨晴晴

【机构】

：

合肥工业大学计算机与信息学院,安全关键工业测控技术教育部工程研究中心

【出处】

：

煤炭学报

【发表日期】

：

2007年11期

【关键词】

：

机车运输监控调度联锁有色PETRI网约束组合弧 locomotive transportation control dispatching and in

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

分析了机车运输监控系统中调度联锁的基本规则,采用有色Petri网对矿井机车调度联锁过程进行了建模.在建模的过程中,对库所和变迁进行了着色;使用约束组合弧并结合外部输入的车到和过车信息,对机车运行路线错误、任务内闯红灯等意外情况进行了描述;对进路的闭锁和解锁情况进行了细分,根据保证安全和兼顾效率的原则,建立了不同的控制方式;最后给出了调度联锁过程的整体Petri网模型.

其他文献

D族分布下带投资的双险种风险模型中的破产概率

研究了带投资的双险种更新风险模型中的破产概率.该模型中允许保险公司将其部分盈余投资于满足几何布朗运动的Black-Scholes型资本市场,对此模型假定同一险种索赔额是两两拟

期刊

破产概率两两拟渐进独立D族分布C族分布双险种风险模型ruin probability quasi-independence dominatedly

正交试验法对香连胶囊工艺的改进

目的：对香连胶囊原有的生产工艺进行改进，以求降低崩解时间。方法：根据正交试验的结果，将香连胶囊原生产工艺中的木香水提法改为水提醇沉法；将制粒时的稀释剂淀粉改为滑石粉；将湿润

期刊

香连胶囊正交试验崩解度水提醇沉法中药

从否定辖域、否定焦点解析维吾尔语否定句中的歧义现象

文章主要运用否定辖域和否定焦点理论对维吾尔语否定句中的歧义现象进行分析和探讨，认为维吾尔语否定标记的特殊位置给否定辖域和否定焦点的确定带来了一定的困难，这也是维吾尔

期刊