亚洲欧美国产精品粉嫩|亚洲精品精品无码专区|国产在线无码精品电影网|午夜无码久久久久久国产|亚洲国产精品一区二区动图|国产在线精品一区在线观看|欧美伊人久久久久久久久影院|中文字幕日韩av在线一区二区

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

位置:中冶有色 >

有色技術(shù)頻道 >

> 失效分析技術(shù)

> 用于形式化驗證的聯(lián)鎖數(shù)據(jù)安全轉(zhuǎn)換方法及翻譯器

用于形式化驗證的聯(lián)鎖數(shù)據(jù)安全轉(zhuǎn)換方法及翻譯器

824   編輯:管理員   來源:中冶有色技術(shù)網(wǎng)  
2023-03-19 09:01:25
一種用于形式化驗證的聯(lián)鎖數(shù)據(jù)安全轉(zhuǎn)換方法及翻譯器,采用不同的編程方法和編程語言開發(fā)兩個具有相同功能的翻譯器,所述翻譯器的輸入文件至少包含:聯(lián)鎖數(shù)據(jù)中的聯(lián)鎖信息表、設(shè)備接口信息表、站場描述數(shù)據(jù)和聯(lián)鎖布爾邏輯數(shù)據(jù),比較兩個翻譯器的輸出文件的一致性來實現(xiàn)對過程失效的檢測,從而保證數(shù)據(jù)的安全轉(zhuǎn)換。本發(fā)明無需對每個車站進(jìn)行專門的形式化開發(fā),降低了技術(shù)成本和設(shè)計風(fēng)險,安全性高,兼容性好,通用性強,應(yīng)用范圍廣。
聲明:
“用于形式化驗證的聯(lián)鎖數(shù)據(jù)安全轉(zhuǎn)換方法及翻譯器” 該技術(shù)專利(論文)所有權(quán)利歸屬于技術(shù)(論文)所有人。僅供學(xué)習(xí)研究,如用于商業(yè)用途,請聯(lián)系該技術(shù)所有人。
我是此專利(論文)的發(fā)明人(作者)
分享 0
         
舉報 0
收藏 0
反對 0
點贊 0
標(biāo)簽:
失效分析
全國熱門有色金屬技術(shù)推薦
展開更多 +

 

中冶有色技術(shù)平臺微信公眾號
了解更多信息請您掃碼關(guān)注官方微信
中冶有色技術(shù)平臺微信公眾號中冶有色技術(shù)平臺

最新更新技術(shù)

報名參會
更多+

報告下載

第二屆中國微細(xì)粒礦物選礦技術(shù)大會
推廣

熱門技術(shù)
更多+

衡水宏運壓濾機有限公司
宣傳
環(huán)磨科技控股(集團)有限公司
宣傳

發(fā)布

在線客服

公眾號

電話

頂部
咨詢電話:
010-88793500-807
專利人/作者信息登記