2. 您的位置
3. 首页
4. 学位论文
5. 基于Event-B和MAS的车站进路联锁控制逻辑的形式化方法研究

基于Event-B和MAS的车站进路联锁控制逻辑的形式化方法研究

来源 :兰州交通大学 | 被引量 : 5次 | 上传用户：longxue1211

【作 者】

：

韩佳芮 

【出 处】

：

兰州交通大学

【发表日期】

：

2015年01期

下载到本地 , 更方便阅读

下载此文 赞助VIP

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

论文部分内容阅读

其他文献

改进居民消费价格调查的建议

报纸

利用环境DNA技术调查入侵种克氏原螯虾在元阳梯田的分布

学位

飞机起落架磁流变减摆器控制系统的设计与实现

学位

乌鳢早期性腺发育组织学及Foxl2和Cyp19a1b基因的克隆和表达研究

学位

中华绒螯蟹幼蟹生长特性研究

学位

LNA、ARA、DHA和EPA对卵形鲳鲹幼鱼生长及免疫影响的研究

学位

罗氏沼虾IMD信号通路关键基因（Relish、IMD）的克隆和功能研究

学位

环杭州湾大湾区理念下杭甬一体化策略与协调体系研究

期刊

饲料中大豆粕替代鱼粉对牛蛙生长性能、消化酶活力和肠道组织结构的影响

学位

“重返阶级”:理论与意义网络首发

期刊