只为小站
首页
域名查询
文件下载
登录
人工智人-家居设计-城际铁路车载
列控系统
安全及智能控制关键技术研究.pdf
人工智人-家居设计-城际铁路车载
列控系统
安全及智能控制关键技术研究.pdf
2022-07-04 16:03:48
17.91MB
人工智人-家居
CTCS3级
列控系统
ATP防护曲线算法研究.docx
CTCS3级
列控系统
ATP防护曲线算法研究.docx
2022-05-29 14:06:57
255KB
算法
文档资料
安全计算机通信管理机制的形式化验证与实现
为提高下一代列车运行控制(简称列控)系统安全计算机的系统兼容性,首先对其结构进行简要分析,并对管理机制进行设计,建立了管理单元状态转移模型,同时以形式化验证工具对模型的正确性进行了验证。在此基础上对基于微控制单元(MCU, micro controller unit)的管理单元进行了软硬件的设计实现与测试。验证和测试结果表明,所设计的管理机制符合设计规范的要求,管理单元能够实现预期的状态转移功能。
2022-03-19 10:26:10
767KB
列控系统
安全计算机
通信管理机制
形式化验证
1
100430运基信号[2010]267号《铁路信号安全通信协议技术规范》.pdf
铁路信号设备之间的数据交换要保证通信安全、实时、准确,必须采用安全通信协议。本规范规定了信号安全设备之间通过封闭式传输系统进行安全相关信息交互的功能结构和协议。本规范适用于铁路信号安全设备之间的安全通信接口,同样也适用于如电梯、石油石化紧急停车ESD、安全仪表等工业控制系统涉及安全控制的设备之间的数据传输。本文是铁总RSSP-1/RSSP-2协议的完整规范,是广大铁路信号、轨道交通、信号专业的从业者和学生必备的工具文档。
2022-02-06 11:01:02
27.78MB
铁路信号
轨道交通
列控系统
安全控制
1
行业分类-电信-
列控系统
车载设备及解调轨道电路信号的方法.rar
行业分类-电信-
列控系统
车载设备及解调轨道电路信号的方法.rar
2021-08-20 14:03:14
429KB
行业分类-电信-列控系统车载设备
ATO/ATP原理,
列控系统
车载设备原理
ATO/ATP原理,
列控系统
车载设备原理
2020-02-11 03:17:51
1.16MB
ATO
ATP
1
个人信息
点我去登录
购买积分
下载历史
恢复订单
热门下载
代码随想录知识星球精华-大厂面试八股文第二版v1.2.pdf
超大规模集成电路先进光刻理论与应用.pdf
风电场风速及功率数据.zip
MVDR,Capon波束形成DO估计.zip
得到品控手册7.0.pdf
android开发期末大作业.zip
cplex_studio129.win-x86-64.exe CPLEX 12.9直接安装可使用
航迹融合算法MATLAB仿真程序
多智能体的编队控制程序的补充(之前上传少了一个文件)
SSM外文文献和翻译(毕设论文精品).doc
avantage 软件 xps 处理软件30天后不能使用问题
MTALAB NSGA2算法
计算机专业实习日记+实习周记+实习总结
MPC 模型预测控制matlab仿真程序
基于YOLOV5的车牌定位和识别源码.zip
最新下载
MC7700 MC7710 windows驱动
C#单点定位程序
西门子S7200smart变频器恒压供水一拖二PLC程序
TailwindUI PRO高级版最新版ZIP打包
Compiler Version 5编译器
成本收集器与重复制造20101125.docx
光伏功率预测数据集.rar
宿舍管理应用系统.zip
(DIY设计)音频采集卡电路+测试说明+制作说明-电路方案
奶爸的终极武器——具有防偷、尿床等多功能的智能婴儿床设计(硬件+源码+论文等)-电路方案
其他资源
斑马打印机C#上位机ZPLPrinter(通过USB打印机).zip
pygame官方文档(中文和英文)
Test_10_bits.zip
stm32实现485通信
5529ADC采样进行fft计算
(asp.net)2016淘淘汽配商城项目源码(网上商城项目源码+数据库)
MATLAB四连杆机构仿真
keil_STM32F1系列芯片支持包.rar
中兴981S无线开通手册本地转发
图像去雾算法源代码c++
binarytree:用于研究二叉树的Python库-源码
Honeywell先进控制软件介绍.pdf
微牛企业官网小程序(前端后端)
瑞萨快速入门教材
VFP住院病人管理系统
基于JSP+SQL技术的飞机票网上订票系统 javabean.zip
简易聊天工具(计算机网络课设)
行程单打印软件‖国内国际行程单打印软件
基于C#邮件客户端
网络工程师模拟器CPT(Cisco Packet Tracer6.0)
python实现类似QQ群聊
WPF 电压表 CircularGauge
MFC 五子棋 VS2013 下载
Optimized ScrollView Adapter 4.2
演示ms3d动画的例子