文献

J-GLOBAL ID：201702219246919720   整理番号：17A0023614

ROBDDに基づくバリスの技術資料安全規則の充足可能性検証【Powered by NICT】

Satisfiability verification of engineering data safety rules of balise based on ROBDD

著者 (3件)： Tongdian Wang (State Key Laboratory of Rail Traffic Control and Safety, Beijing Jiaotong University, China) ,  Huibing Zhao ,  Linfu Zhu
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2016  号： ITSC  ページ： 2386-2391  発行年： 2016年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 技術資料安全はバリス電報編集,鉄道交通安全に影響を及ぼすに浸透している。データ安全性を確保するために既存の方法はデータは,バリス応用原理と工学データ編集仕様に基づいて生成された特異的検証ルールに従うことを検証することである。しかし,これらのルールは,自然言語,曖昧性と不足により特性化されるにより記述した。工学データの不十分な検証は,多くの場合データ安全問題をもたらす可能性があるという状況がしばしば発生する。この問題に取り組む以上のため,陰的な論理ルールは,データの各対間の制約に粉砕し調べ,先ず第一に,Boole関数としてモデル化した。縮小順序付き二分決定図(ROBDD)構築と深さ優先探索アルゴリズムは,ルールの充足可能性を検証した。オリジナルのものと比較して,抽出された認証論理規則はデータチェックの精度の有望な結果を有しており,工学データの安全性をさらに改善した。Copyright 2017 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： 自然言語 ,  モデリング ,  認証 ,  曖昧さ ,  二分決定グラフ ,  編集 ,  キャラクタリゼーション ,  *安全性 ,  アルゴリズム ,  交通安全 ,  Boole関数
準シソーラス用語： 深さ優先探索 , 【Automatic Indexing@JST】

分類 (4件)： データ保護  (JD01020V) ,  電話・データ通信・交換一般  (ND11010T) ,  パターン認識  (JE07000S) ,  計算機網  (JC03000K)

タイトルに関連する用語 (4件)： 資料 ,  規則 ,  充足可能性 ,  検証