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

位置:北方有色 >

有色技术频道 >

> 失效分析技术

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

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

999   编辑:管理员   来源:北方有色网  
2023-03-19 09:01:25
一种用于形式化验证的联锁数据安全转换方法及翻译器,采用不同的编程方法和编程语言开发两个具有相同功能的翻译器,所述翻译器的输入文件至少包含:联锁数据中的联锁信息表、设备接口信息表、站场描述数据和联锁布尔逻辑数据,比较两个翻译器的输出文件的一致性来实现对过程失效的检测,从而保证数据的安全转换。本发明无需对每个车站进行专门的形式化开发,降低了技术成本和设计风险,安全性高,兼容性好,通用性强,应用范围广。
声明:
“用于形式化验证的联锁数据安全转换方法及翻译器” 该技术专利(论文)所有权利归属于技术(论文)所有人。仅供学习研究,如用于商业用途,请联系该技术所有人。
我是此专利(论文)的发明人(作者)
         
咨询细节
标签:
失效分析
有色金属设备
有色金属技术
有色金属企业
有色金属资讯
有色金属价格
有色金属报告
热门分类
冶金百科 | 铅冶金工艺——火法炼铅(三段炉炼铅法) 铜业百科 | 铜合金的分类及合金元素的作用 历史性时刻!中国新能源汽车的渗透率首次突破50% 南山铝业第一家海外电解铝项目将落户印尼,规划产能为100万吨 2025年8月中国动力电池行业报告:龙头企业优势明显 矿山安全 | 露天矿山开采的五大防护措施 小知识 | 金属钼了解一下 钨矿——工业之基,战争金属之王 2024年度邱定蕃有色冶金青年科技奖获奖名单 冶金百科 | 铜冶金-火法炼铜小知识(四) 冶金百科 | 铜冶金-火法炼铜小知识(一) 方圆公司赴台技术服务团队凯旋 原来他们都是中南大学杰出校友! 西工大王锦程团队:难熔高熵合金激光增材制造取得新突破! 火电回血、风光失速:大唐发电净利润飙涨47%掀起的“五大电力”排位战 冶金百科 | 铜冶金-湿法炼铜小知识(一) 铜业百科 | 铜及铜合金热处理概述 展商推荐 | 威格科技(苏州)股份有限公司邀您出席第三届全国钒钛资源与储能科技大会 衡水市:独立储能发展布局指导方案印发 冶金百科 | 铜冶金工艺——奥图泰闪速熔炼 冶金百科 | 铝冶金——拜耳法生产氧化铝 中国电建以61亿元成功竞得云浮超大砂石矿权 推动节能降碳!陕西省有色金属行业碳达峰实施方案发布 2.06亿元“抢滩”固态电池:华域汽车收购上汽清陶49%股权背后的三重逻辑 冶金百科 | 稀土冶金 - 稀土元素原子半径及离子半径变化规律是什么,何谓镧系收缩? 《钴产业发展报告(2025)》重磅发布--助你穿透行业迷雾,把握战略机遇 普鲁士蓝的有趣特性:不只是颜料,还可以用来回收金属,做电池及杀死肿瘤细胞? 新能源产业发展方向明确!全国首部新能源产业促进条例发布 小知识 | 钛合金是如何制造锻压的?它可以运用到哪些领域? 冶金百科 | 有色金属冶金基础知识
北方有色技术平台

最新更新技术

报名参会
更多+

热门专家
更多+

报告下载

铼产业报告(2026)
推广

热门技术
更多+

衡水宏运压滤机有限公司
宣传

慧博士报告
更多+

环磨科技控股(集团)有限公司
宣传

发布

在线客服

公众号

电话

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