毕业论文
计算机论文
经济论文
生物论文
数学论文
物理论文
机械论文
新闻传播论文
音乐舞蹈论文
法学论文
文学论文
材料科学
英语论文
日语论文
化学论文
自动化
管理论文
艺术论文
会计论文
土木工程
电子通信
食品科学
教学论文
医学论文
体育论文
论文下载
研究现状
任务书
开题报告
外文文献翻译
文献综述
范文
车站联锁系统UPPAAL建模+时间自动机模型进行模拟仿真(17)
图4.23 信号正常开放和保持后无法正常关闭的消息序列
图4.23为信号正常开放并且保持后,无法正常关闭的处理消息序列。前面的模拟仿真与图4.16的模拟仿真都一样,到了OpenCondiCheck位置,判定CanClose是0还是1,这里的模拟中CanClose=0,信号不能正常关闭,于是进入到FailDeal位置,然后将变量SigStatus设置为0,将信号关闭,并发出HoldEnd命令,表示信号保持结束,进入区段解锁模块。
4.4 正常解锁
4.4.1 正常解锁流程分析
这里我们采取分段解锁的方式,进路被分成若干个区段,这里我将其简化成三个区段,即起始区段、中间区段和终止区段。随着列车的前进,当出清一个区段的时候,该区段就自动解锁。进路正常解锁主要采取“三点检查”的方式,即前一区段已解锁,本区段占用且出清,下一区段占用。进路正常解锁的流程如图4.24所示。
图4.24 进路正常解锁模块流程图
4.4.2 正常解锁模型
图4.25 进路自动解锁的时间自动机模型
当列车进入该进路,信号立即关闭,进路进入自动解锁阶段。此时锁闭的进路分段自动解锁,各轨道区段原则上满足三点检查后,延迟3秒自动解锁。
表4.5 进路解锁模型主要位置说明表
位置集合 通道集合
主要位置 说明 通道 说明
Idle 初始位置 UnlockSucc2 中间区段解锁成功
FirstUnlock 第一区段解锁 EndUnlock 终止区段解锁
FreeCheck 区段空闲检测 UnlockSucc3 终止区段解锁成功
TS_check 三点检查 AllUnlock 所有区段解锁完毕
UnlockSucc1 第一区段解锁成功 Fail 解锁失败
MidUnlock 中间区段解锁 FailUnlock 故障解锁
由于区段太多会使整个模型变的非常复杂,所以这里我将其简化成三个区段,即起始区段、中间区段和终止区段。每个区段按照三点检查的要求逐段解锁,直到所有区段都解锁完毕,进路正常控制流程结束,进路消亡。如图4.25所示。
正常解锁模块收到HoldEnd命令表示信号保持结束,进路进入正常解锁阶段。进路的自动解锁要进行三点检查,函数check3section()主要用来判断三点检查的条件是否满足,通过变量unlockfill表示解锁条件是否满足。RouteFreeApp命令表示区段空闲检测申请,ZC收到后回复ZC_RouteOcc,通过变量Occupied等于1还是等于0来表示这个区段是否空闲。
局部变量SectionN表示正在解锁的区段是第一区段还是第二区段还是第三区段,当第一个区段解锁成功后变量FS_Lock=0,表示监控区段空闲,进路可以被再次办理。变量fail表示在解锁过程中是否出现了故障状态,当fail=1表示出现了故障,那么此时就要进入故障解锁,解锁以后令fail=0。Unlock_T为计时器,用来进行时间约束。变量Train表示是否有列车,当Train=1时说明有列车,当出清后Train置0。
进路解锁阶段是整个进路控制的最后一个阶段,解锁后表示本次进路办理全部动作结束,等待下一次的进路办理,下一次再通过ATS发出进路办理申请。
4.4.3 正常解锁模拟仿真
图4.26 起始区段解锁的消息序列
图4.27 中间区段解锁的消息序列
图4.28 终止区段解锁的消息序列
共22页:
上一页
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
下一页
上一篇:
基于EMD和分形理论的美元与国际油价的相关分析研究
下一篇:
投资者情绪与股票收益率的关系研究
php+mysql校友信息管理系统设计
带有强占优先权的受控排队系统研究
基于灰色系统模型的周口市人口问题研究
某医院门诊系统患者分流模型研究
MEMS/NEMS双臂梁型微/纳机电系统Pull-in失稳分析
可微性在近似计算中的应用
孝陵卫苏果超市收费服务台排队系统统计分析
中国学术生态细节考察《...
医院财务风险因素分析及管理措施【2367字】
10万元能开儿童乐园吗,我...
志愿者活动的调查问卷表
承德市事业单位档案管理...
神经外科重症监护病房患...
AT89C52单片机的超声波测距...
公寓空调设计任务书
国内外图像分割技术研究现状
C#学校科研管理系统的设计