下载 >  行业 >  交通 > 高速铁路列车运行控制系统的形式化建模与验证方法

高速铁路列车运行控制系统的形式化建模与验证方法 评分:

高速铁路列车运行控制系统的形式化建模与验证方法
2012-04-04 上传大小:45.07MB
分享
收藏 举报
高铁控制系统常见故障诊断技术

介绍了高速列车故障诊断的研究意义, 特别关注了高速列车信息控制系统的故障诊断研究工作. 给出了高速列车信息控制系统的一般性定义. 高速列车信息控制系统主要包括牵引传动控制系统、制动控制系统、列车运行控制系统和网络系 统. 针对每一个子系统, 分别阐述了其故障诊断技术的研究现状, 简要分析了相应故障诊断技术的思想与优劣特点. 最后探讨了高速列车故障诊断研究中亟待解决的问题以及未来可能的研究方向.

立即下载
软件形式化方法 有限状态机

软关于有限状态机的件形式化方法 ,包括模型检测,外文论文打包。

立即下载
智能交通信号灯形式化建模

描述智能交通信号灯形式化建模方法,描述智能交通信号灯形式化建模方法,描述智能交通信号灯形式化建模方法,

立即下载
PAT——一种高性能软件验证工具

通信顺序进程(communicating sequential proces)验证软件,打开csp格式文件的软件,对开发的软件进行验证的高性能工具。

立即下载
计算机联锁系统

  保车站行车的技术设备,是高速铁路信号最重要的系统之一。高速铁路必须采用安全、可靠的计算机联锁系统。计算机联锁系统和列车运行控制系统、调度集中系统相结合,构成完备的高速铁路信号系统。

立即下载
ATS模式下列车运行的模拟与仿真

整个ATS仿真系统包含控制中心的CATS子系统、沙盘控制子系统、集中站的LATS子系统和停车场的计算机联锁子系统。同时涉及到沙盘控制系统和模拟列车控制系统。

立即下载
spin625工具

spin625工具,形式化分析与验证。 软件形式化方法

立即下载
网络协议的形式化分析与设计

网络协议的形式化分析与设计 古天龙 2003 计算机网络及数据通信是当今信息社会的基石,网络协议则是其中不可缺少的重要组成部分。形式化方法与技术已经渗透到网络协议开发的整个过程

立即下载
基于多传感器信息融合的列车定位方法研究

列车定位子系统在列车运行控制系统中起着非常重要的作用:列车定 位方法的精度和可靠性是确定列车安全防护距离的重要因素,会关系到列车的运 行间隔,会影响轨道交通系统的效率;列车定位方法的机理和采用的传感器是确 定列车运行控制系统制式的重要因素之一,会关系到闭塞控制的方式,会影响到 列车运行控制系统的兼容性和生命周期费用。因此深入研究列车定位方法,对于 推动列车运行控制系统的研究和轨道交通系统的发展具有重大和深远的意义。

立即下载
自动控制系统建模(MATLAB实现)

matlab下实现自动控制系统建模分析,对自控的学习有一定帮助,

立即下载
关于高速铁路列车运行控制技术的发展概要

是2010版的PPT,很有用的哦,不过限于上传大小限制,只能上传这点。

立即下载
形式化验证,模型检测和数理逻辑经典书籍系列(1)

我搜集的数理逻辑、形式化验证、模型检测方面的经典书籍:Logic in Computer Science Modelling and Reasoning about Systems;A Second Course in Formal Languages and Automata Theory;Real-Time Systems Formal Specification and Automatic Verification;Computability Theory ;Computational Complexity A Modern Approach

立即下载
列车运行控制系统课件

列车运行控制系统课件总复习第一章绪论。列车运行控制系统根据前方行车条件,为每列车产生行车许可,并通过地面信号和车载信号的方式向司机提供安全运行的凭证。(地面设备) 车载设备根据接收到的行车许可产生允许速度,当列车速度超过允许速度时控制列车实施制动,使列车降速乃至停车,防止列车超速颠覆或与前方列车追尾等,保证行车安全。(车载设备)

立即下载
《电力电子、电机控制系统建模和仿真》随书源码

《电力电子、电机控制系统的建模和仿真》是2010年机械工业出版社出版的图书,作者是洪乃刚。本书以MATLAB为基础,介绍了MATLAB电气系统模型库模块及其功能,并以实例介绍了电力电子和电机控制系统的建模和仿真方法,内容包括AC/DC、DC/DC、DC/AC、AC/AC的各种变换电路,直流调速系统和交流调速系统等。

立即下载
电力电子、电机控制系统建模与仿真-洪乃刚(10版本高清书以及书本配套仿真模型)

电力电子、电机控制系统的建模与仿真-洪乃刚(10版本高清书以及书本配套仿真模型),其他上传的大多不清晰或者有少许问题,很适合初学者下载学习。

立即下载
电力电子、 电机控制系统建模和仿真 洪乃刚 教材和课件

本书以MATLAB为甚础,介绍了MATLAB电气系统模型库模块及其功能,并以实例介绍了电力电子和电机控制系统的建模和仿真方法,内容包括AC/DC、DC/DC、DC/AC、AC/AC的各种变换电路,直流调速系统 和交流调速系统等。为了适应现代数字化控制系统的发展,本书在连续系统的建模仿真外,还介绍了采样离散系统的建模和仿真方法。

立即下载
电力电子、电机控制系统建模和仿真 洪乃刚编著

首先说明,我是在淘宝上买的电子书,物超所值。 本书以MATLAB为基础,介绍MATLAB电气系统模型库模块及其功能,并以实例介绍了电力电子和电机控制系统的建模和仿真方法,内容包括AC/DC、DC/DC、DC/AC、AU/AC的各种变换电路,直流调速系统和交流调速系统等。为了适应现代数字化控制系统的发展。本书在连续系统的建模仿真外,还介绍了采样离散系统的建模和仿真方法,本书附有仿真模型光盘,最大限度地为读者学习提供方便

立即下载
nusmv(WIN)

nusmv是形式化验证的一个常用工具,主要可以进行LTL,CTL的建模。windows版。

立即下载
2015无线闭塞中心技术规范

C3列车运行控制系统RBC 无线闭塞中心技术规范最新规范

立即下载
Unifying Theories of Programming and Formal Engineering Methods

是一本有关形式化建模和模型验证方面的学术论文集,包含5篇相关学术论文

立即下载

热点文章

img

spring mvc+mybatis+mysql+maven+bootstrap 整合实现增删查改简单实例.zip

资源所需积分/C币 当前拥有积分 当前拥有C币
5 0 0
点击完成任务获取下载码
输入下载码
为了良好体验,不建议使用迅雷下载
img

高速铁路列车运行控制系统的形式化建模与验证方法

会员到期时间: 剩余下载个数: 剩余C币: 剩余积分:0
为了良好体验,不建议使用迅雷下载
VIP下载
您今日下载次数已达上限(为了良好下载体验及使用,每位用户24小时之内最多可下载20个资源)

积分不足!

资源所需积分/C币 当前拥有积分
您可以选择
开通VIP
4000万
程序员的必选
600万
绿色安全资源
现在开通
立省522元
或者
购买C币兑换积分 C币抽奖
img

资源所需积分/C币 当前拥有积分 当前拥有C币
5 4 45
为了良好体验,不建议使用迅雷下载
确认下载
img

资源所需积分/C币 当前拥有积分 当前拥有C币
5 0 0
为了良好体验,不建议使用迅雷下载
VIP和C币套餐优惠
img

资源所需积分/C币 当前拥有积分 当前拥有C币
5 4 45
您的积分不足,将扣除 10 C币
为了良好体验,不建议使用迅雷下载
确认下载
下载
您还未下载过该资源
无法举报自己的资源

兑换成功

你当前的下载分为234开始下载资源
你还不是VIP会员
开通VIP会员权限,免积分下载
立即开通

你下载资源过于频繁,请输入验证码

您因违反CSDN下载频道规则而被锁定帐户,如有疑问,请联络:webmaster@csdn.net!

举报

  • 举报人:
  • 被举报人:
  • *类型:
    • *投诉人姓名:
    • *投诉人联系方式:
    • *版权证明:
  • *详细原因: