期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
面向形式化验证的联锁翻译器软件设计
被引量:
1
1
作者
王绍新
王燕芩
闫连山
《铁路通信信号工程技术》
2022年第2期18-23,42,共7页
根据联锁系统的形式化验证系统需求,设计一种联锁数据翻译器软件的总体方案,实现站点接口文件、T LE文件和布尔逻辑文件等文件的翻译转换,生成形式化验证所需要的LCF文件。最后详细说明翻译器软件基于函数式语言OCaml的代码实现。
关键词
联锁系统
形式化验证
翻译器软件
OCaml
函数式语言
下载PDF
职称材料
题名
面向形式化验证的联锁翻译器软件设计
被引量:
1
1
作者
王绍新
王燕芩
闫连山
机构
卡斯柯信号(成都)有限公司
卡斯柯信号有限公司
西南交通大学信息科学与技术学院
出处
《铁路通信信号工程技术》
2022年第2期18-23,42,共7页
基金
中国国家铁路局集团有限公司科技研究开发计划重点课题(N2021S003)
四川省重大科技专项(2019ZDZX0007)。
文摘
根据联锁系统的形式化验证系统需求,设计一种联锁数据翻译器软件的总体方案,实现站点接口文件、T LE文件和布尔逻辑文件等文件的翻译转换,生成形式化验证所需要的LCF文件。最后详细说明翻译器软件基于函数式语言OCaml的代码实现。
关键词
联锁系统
形式化验证
翻译器软件
OCaml
函数式语言
Keywords
interlocking system
formal verification
translator software
OCaml
functional programming
分类号
U294.362 [交通运输工程—交通运输规划与管理]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
面向形式化验证的联锁翻译器软件设计
王绍新
王燕芩
闫连山
《铁路通信信号工程技术》
2022
1
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部