合肥金星智控科技股份有限公司
宣传

位置：中冶有色 >

有色技术频道 >

有色金属技术

矿山技术

冶金技术

材料制备及加工技术

环境保护技术

分析检测技术

> 分析检测技术

> 失效分析技术

> 用于形式化验证的联锁数据安全转换方法及翻译器

用于形式化验证的联锁数据安全转换方法及翻译器

732   编辑：管理员   来源：中冶有色技术网  
2023-03-19 09:01:25
一种用于形式化验证的联锁数据安全转换方法及翻译器，采用不同的编程方法和编程语言开发两个具有相同功能的翻译器，所述翻译器的输入文件至少包含：联锁数据中的联锁信息表、设备接口信息表、站场描述数据和联锁布尔逻辑数据，比较两个翻译器的输出文件的一致性来实现对过程失效的检测，从而保证数据的安全转换。本发明无需对每个车站进行专门的形式化开发，降低了技术成本和设计风险，安全性高，兼容性好，通用性强，应用范围广。
声明：
“用于形式化验证的联锁数据安全转换方法及翻译器” 该技术专利(论文)所有权利归属于技术(论文)所有人。仅供学习研究，如用于商业用途，请联系该技术所有人。
我是此专利(论文)的发明人(作者)
分享 0
         
举报 0
收藏 0
反对 0
点赞 0
标签：
失效分析
上一个：高速铁路连续桥梁同步纠偏方法
下一个：用于气压线控制动系统的电磁阀及其使用方法

与 “用于形式化验证的联锁数据安全转换方法及翻译器” 相关技术

▪ 李红旗镁合金导电抗蚀功能涂层
▪ 使用寿命长的金属超声波探伤仪
▪ 磁性球磨机转筒结构
▪ 能够提升分离效果的筛砂机振动筛料斗
▪ 三自由度旋轧机
▪ 可调节式煤矿作业用通风机
▪ 色母粒生产用便于清理的振动筛
▪ 多自由度大挠度弹性振动筛分系统及调控方法
▪ 便于检修的x射线测厚仪配电柜
▪ 方便球磨机使用的上料装置

相关失效分析设备推荐

无级变速金相分析研磨抛光机
proceq Equotip Bambino 2 经济实惠、使用方便的便携式硬度计
在线式二甲基甲酰胺气体检测仪
微机控制电子万能试验机
污水处理厂硫化氢检测报警仪
全国热门有色金属技术推荐
江苏矿山技术 徐州矿山技术 江苏选矿技术 江苏通用技术 徐州通用技术 北京矿山技术 北京采矿技术 北京通用技术 福建矿山技术 福建通用技术 江苏冶金技术 江苏火法冶金技术 北京冶金技术 北京火法冶金技术 北京湿法冶金技术 福建冶金技术 江苏材料制备及加工技术 常州材料制备及加工技术 江苏新能源材料技术 江苏加工技术 北京材料制备及加工技术 福建材料制备及加工技术 江苏环境保护技术 南京环境保护技术 苏州环境保护技术 南通环境保护技术 江苏废水处理技术 江苏固/危废处置技术 北京环境保护技术 北京废水处理技术 第十七届东亚资源再生技术国际会议
展开更多 +

 

中冶有色技术平台微信公众号
了解更多信息请您扫码关注官方微信
中冶有色技术平台微信公众号中冶有色技术平台

最新更新技术

▪李红旗镁合金导电抗蚀功能涂层
▪使用寿命长的金属超声波探伤仪
▪磁性球磨机转筒结构
▪能够提升分离效果的筛砂机振动筛料斗
▪三自由度旋轧机
▪可调节式煤矿作业用通风机
▪色母粒生产用便于清理的振动筛
▪多自由度大挠度弹性振动筛分系统及调控方法
▪便于检修的x射线测厚仪配电柜
▪方便球磨机使用的上料装置

报名参会
更多+

2024高分子材料合成与表征技术研讨会
2024高分子材料合成与表征技术研讨会
2024年08月01日 ~ 03日
第三届全国先进功能材料制备/加工及应用技术交流会
第三届全国先进功能材料制备/加工及应用技术交流会
2024年08月16日 ~ 18日
全国冶金矿产固废资源化第五届学术会议
全国冶金矿产固废资源化第五届学术会议
2024年08月20日 ~ 22日
2024中国铅锌产业科技大会
2024中国铅锌产业科技大会
2024年08月23日 ~ 25日
第三届全国难熔金属及硬质合金技术研讨会
第三届全国难熔金属及硬质合金技术研讨会
2024年08月30日 ~ 09月01日

报告下载

1 实验室管理与实践
下载:52
2 化学实验室暖通系统设计新趋势
下载:50
3 矿产品样品制备要点与难点分析
下载:44
4 质检部门风险防控管理的探讨 （矿
下载:41
5 ICP-MS/MS测定有色金属中
下载:37
6 电位滴定法在北矿检测实验室的应
下载:33
7 电位滴定仪在有色金属分析的应用
下载:32
8 国家标准《铜精矿及主要含铜物料
下载:32
9 全面禁止洋垃圾入境形势下的固废
下载:32
10 金精矿制样与分析方法的研究
下载:32
第二届关键基础材料模拟、制备与评价技术交流会
推广

热门技术
更多+

1压力平衡机构
2水电站的尾水预埋件
3防爆阀保护膜
4化工矿产有色金属的检测机构
5矿石分类与实时定量分析的光谱检测新方法
6矿石中有色金属成分和含量的检测装置
7有色金属现货状态评估系统及方法
8有色金属废料中铁磁性杂质检测设备及检测工艺
9高温熔体缓冷装置及渣包测温方法
10便携式矿山测量激光仪
衡水宏运压滤机有限公司
宣传
环磨科技控股（集团）有限公司
宣传

发布

在线客服

公众号

电话

顶部
咨询电话：
010-88793500-807
专利人/作者信息登记