铁路信号控制安全性逻辑形式化技术的研究
基本信息
批准号：60674004
项目类别：联合基金项目
资助金额：26.00
负责人：徐中伟
学科分类：
依托单位：同济大学
批准年份：2006
结题年份：2009
起止时间：2007-01-01 - 2009-12-31
项目状态： 已结题
项目参与者：陈邦兴,郦萌,吴芳美,梅萌,杜军威,杨晋辉,胡一飞,秦书波,沈永清
关键词：
铁路信号安全性形式化语言逻辑
结项摘要
目前我国铁路信号功能需求和技术条件都是用自然语言来表达的。正是由于自然语言的模糊性、不确定性和时常发生的二义性，有时不得不用继电器电路图来说明。随着计算机越来越多应用于铁路信号控制，软件正逐步取代故障安全继电器电路完成信号安全性逻辑的运算，为此迫切需要研究一种无二义、直观、易于验证和测试且故障安全的铁路信号安全性控制逻辑形式化描述语言。现有的形式化描述语言工具尚没有完全能够直接用于我国铁路信号领域
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
WMTL-代数中的蕴涵滤子及其应用
WMTL-代数中的蕴涵滤子及其应用
DOI：10.11897/SP.J.1016.2018.00886
发表时间：2018
2
融合字符串特征的维吾尔语形态切分
融合字符串特征的维吾尔语形态切分
DOI：
发表时间：2022
3
蛇模型在等深线自动化简中的应用
蛇模型在等深线自动化简中的应用
DOI：
发表时间：2016
4
A Fast Algorithm for Computing Dominance Classes
A Fast Algorithm for Computing Dominance Classes
DOI：
发表时间：2016
5
可证安全的无证书混合签密
可证安全的无证书混合签密
DOI：
发表时间：2015
徐中伟的其他基金
批准号：61075002
批准年份：2010
资助金额：40.00
项目类别：面上项目
相似国自然基金
1
控制系统形式化设计中逻辑特征应用的研究
批准号：11426136
批准年份：2014
负责人：张晋津
学科分类：A0601
资助金额：3.00
项目类别：数学天元基金项目
2
基于时态逻辑的形式化综合
批准号：69473017
批准年份：1994
负责人：韩俊刚
学科分类：F0209
资助金额：8.00
项目类别：面上项目
3
基于高阶逻辑的分数阶PID控制器形式化分析与验证
批准号：61862062
批准年份：2018
负责人：赵春娜
学科分类：F0201
资助金额：39.00
项目类别：地区科学基金项目
4
基于事件逻辑的安全协议形式化分析及验证
批准号：61163005
批准年份：2011
负责人：肖美华
学科分类：F0201
资助金额：30.00
项目类别：地区科学基金项目