DSL在计算机联锁软件开发中的应用研究



DSL在计算机联锁软件开发中的应用研究

分类：教育论文网→交通运输论文→铁路运输论文→铁路通信、信号论文→铁路信号论文→联锁（车站信号）论文→电气集中联锁论文

DSL在计算机联锁软件开发中的应用研究

论文目录
致谢	第1-6页
中文摘要	第6-7页
ABSTRACT	第7-9页
目录	第9-12页
1 引言	第12-18页
· 选题背景及意义	第12-13页
· 国内外研究现状	第13-16页
· 软件开发方法的研究现状	第13-14页
· DSL在铁路信号领域的研究现状	第14-16页
· 本文的创新点	第16页
· 本文的研究内容及组织结构	第16-18页
2 背景知识	第18-32页
· 计算机联锁系统概述	第18-23页
· 计算机联锁系统结构及功能	第18-20页
· 进路控制流程简介	第20-23页
· 领域建模语言	第23-25页
· 模型转换技术	第25-28页
· 模型转换的概念	第25页
· 模型转换语言ETL、EGL简介	第25-28页
· 模型检验	第28页
· PLC仿真	第28-29页
· Eclipse结构体系	第29页
· GMF框架	第29-31页
· GMF相关的元模型	第29-30页
· GMF的开发方法	第30-31页
· 本章小结	第31-32页
3 基于DSL的计算机联锁软件开发框架	第32-37页
· 总体开发框架	第32-33页
· 主要模块的功能分析	第33-35页
· 站场平面图的绘制模块	第33页
· 联锁表的自动生成模块	第33-34页
· 联锁表的建模验证模块	第34页
· 进路控制流程的建模模块	第34页
· 代码生成模块	第34-35页
· 代码仿真模块	第35页
· 整体开发平台	第35-36页
· 本章小节	第36-37页
4 基于DSL的计算机联锁软件详细设计	第37-65页
· 站场平面图绘制模块的设计	第37-45页
· DSL-S元模型的设计	第38-40页
· 域生成模型的设计	第40-41页
· 图形定义模型的设计	第41-42页
· 工具定义模型的设计	第42-43页
· 映射模型的设计	第43页
· 生成模型的设计	第43-44页
· Interlocking的编辑器界面及功能	第44-45页
· 联锁表自动生成模块的设计	第45-52页
· 联锁表的主要内容	第45-46页
· 联锁表自动生成算法研究	第46-47页
· 联锁表自动生成算法的设计	第47-52页
· 联锁表建模验证模块的设计	第52-57页
· 基于时间自动机的联锁表的建模	第53-55页
· 基于UPPAAL的联锁表的验证	第55-57页
· 进路控制流程建模模块的设计	第57-58页
· 进路控制流程的类图建模	第57-58页
· 进路控制流程的状态图建模	第58页
· 代码生成模块的设计	第58-63页
· 联锁表到扩展联锁表的转换	第59-61页
· 进路控制流程的PLC代码生成	第61-62页
· 模型到模型与模型到代码转换的集成	第62-63页
· 代码仿真模块的设计	第63-64页
· 仿真环境介绍	第63-64页
· 代码仿真步骤	第64页
· 本章小结	第64-65页
5 基于DSL的联锁软件开发方法在实际车站中的应用	第65-74页
· 站场平面图绘制功能的实现	第65-66页
· 联锁表自动生成的实现	第66-67页
· 联锁表建模验证的实现	第67-70页
· 进路控制代码自动生成的实现	第70-71页
· 进路控制代码仿真的实现	第71-72页
· 本章小结	第72-74页
6 总结与展望	第74-76页
· 总结	第74页
· 展望	第74-76页
参考文献	第76-78页
附录A	第78-80页
图索引	第80-82页
表索引	第82-83页
作者简历	第83-85页
学位论文数据集	第85页

本篇论文共85页，点击这进入下载页面。

更多论文
DSL在计算机联锁软件开发中的应用研
基于空间效应的地铁车站深基坑开挖
智能选材系统的研究实现
中国应对气候变化法律体系的完善
加德满都路侧土壤及植物重金属含量
我国上市公司碳会计信息披露影响因
外资并购对我国啤酒业市场结构的影
基于RFID技术提升服装企业快速反应
中粮集团并购战略及其效果案例研究
基于微观力学的颗粒材料宏观微观力
以果蝇表达载体系统构建可高效表达
ZnO量子点的合成及与MEH-PPV复合电
基于氮化物发光二极管覆盖层的光子
横向传感的光子晶体光纤结构优化分
基于时分复用的分布式光纤光栅传感
长周期光栅耦合器的研究及其应用
稀磁半导体ZnS掺杂Mn薄膜的研究
应力诱导单频单偏振光纤激光器的研
基于GRA模型的我国粮食补贴政策效应
适用于第三方冷链物流企业的车辆调
企业多元化的成功因素分析
一类半相依生长曲线模型的可估函数
基于服务价值实现模型的天威视讯发
分权与制衡视域下的公司治理结构重
农产品质量安全问题中的科技伦理问
中国现代化进程中人的现代化研究
马克思人的本质理论的文化指归及其
LINE1非编码区5’ UTR对肿瘤相关mi
小鼠真皮间充质干细胞的分离培养及
小鼠脂肪干细胞分离培养及生物特性
基于裸光纤探头的双点光子多普勒测
含氮硼酸酯在聚醚水溶液中的摩擦学
非平稳旋转机械故障诊断中的时—频
大转角运动模拟器的设计与研究
我国海洋环境污染突发事件的应急处
粉煤灰制成型分子筛的孔径控制及其
基于GIS的道路交通安全评价与预测方
危险货物道路运输企业安全评估指标
基于改进型机会成本法的交通应急救
城市轨道交通运营安全综合评估模型
企业安全管理人才流失预警模型构建
安全职业适应性模糊综合评价模型构
救灾物资储备社会化策略研究
城市轨道交通运营安全人因风险评价
气体类危险货物道路运输风险评价研
基于可拓学的地铁运营安全评价研究
地铁隧道内列车运动火灾烟气控制数
基于订单分批的烟草物流中心拣货问
基于RFID的食品冷链物流追溯系统研
鞋楦五轴数控高速恒进给加工技术研
煤加氢气化加压沉降式试验台设计及
四氟硼酸掺杂聚苯胺的制备及其性能
北京市药品批发企业物流能力评价研
水下切粒机的模板研究与分析
利用近红外光谱技术快速检测大豆氨
不对称酞菁锌的合成、表征及其分离
有机硅单体合成及表征
有机硅单体的合成
二氧化碳深部盐水层地质封存二维实
可表达新型甲型H1N1流感病毒血凝素
三参数Weibull分布参数估计方法研究
基于熵理论的农超对接模式下果蔬供
基于非合作博弈的高速铁路票价优化
租赁模式下电动汽车电池供应链二级
基于AHP-灰色模糊评价的建筑企业ER
基于成本动因BP神经网络的铁路物流
报童模型在供应链风险评估中的应用
基于随机提前期条件下易变质品的库
基于智能调动的物流配送数学模型研
关于图的张量积的连通性的研究
多重分形去趋势交叉相关性分析在BV
波磨的分形性分析及其应用
多维标度中的常量添加方法研究
基于双灰色模糊模型的海铁联运网络
科学技术视域下国人生存困境研究
城市轨道交通运营设备设施安全评价
时间序列的重分形交叉相关分析及其
一类生物经济模型的改进及非线性行
面向轨道维修工的职业技能综合评价
静电除尘用移相控制串并联谐振电源
基于GSI系统的快速消费品行业上游供
正则序列与深度

计算机联锁软件论文进路搜索算法论文模型转换论文模型检验论文仿真
版权申明：目录由用户liqium**提供，www.51papers.com仅收录目录，作者需要删除这篇论文目录请点击这里。
\| 设为首页\|\|加入收藏\|\|站内搜索引擎\|\|站点地图\|\|在线购卡\|
版权所有教育论文网 Copyright(C) All Rights Reserved