文献

J-GLOBAL ID：201802236925954797   整理番号：18A0871451

故障拡張モデルの確率検定モデルへの変換規則【JST・京大機械翻訳】

Translation rules of fault extended model to probabilistic checking model

著者 (5件)： Wang Peng (中国民航大学天津市民用航空器適航与維修重点実験室,天津300300;中国民航大学適航学院,天津300300) ,  Zhang Fan (中国民航大学適航学院,天津,300300) ,  Dong Lei (中国民航大学天津市民用航空器適航与維修重点実験室,天津300300;中国民航大学適航学院,天津300300) ,  Hu Jianbo (空軍工程大学装備管理与安全工程学院,陜西西安,710051) ,  Zhao Zhangxiao (中国民航大学天津市民用航空器適航与維修重点実験室,天津300300;中国民航大学適航学院,天津300300)
資料名： Xitong Gongcheng yu Dianzi Jishu  (Xitong Gongcheng yu Dianzi Jishu)
巻： 39  号： 11  ページ： 2501-2508  発行年： 2017年 
JST資料番号： C2068A  ISSN： 1001-506X  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 中国 (CHN)  言語： 中国語 (ZH)

抄録/ポイント： 故障拡張モデルと確率検定モデルに基づいて,確率検定モデルの構文論的意味,移動命令と論理的関係を分析することによって,明確で完全な変換規則を研究して,故障拡張モデルの確率検定モデルへの変換を実現した。さらに,モデルの定量的確率検定変換規則を研究し,論理検証表現を構築した。最後に,航空機搭載通信システムの同調制御機能について,確率検定に基づく定量的安全性評価を実施した。結果により、故障拡張モデルを確率検査モデルの変換規則に変換することで、複雑なシステムの定量安全性の自動分析を実現できるため、航空機の複雑なシステムの安全性評価過程を有効にサポートできることが明らかになった。Data from Wanfang. Translated by JST【JST・京大機械翻訳】

シソーラス用語： 構文論 ,  安全性 ,  航空機 ,  *故障 ,  通信方式 ,  安全評価 ,  自動分析
準シソーラス用語： 航空機搭載 ,  指令 , 【Automatic Indexing@JST】

著者キーワード (5件)： translation rules ,  formal ,  safety ,  probabilistic model checking ,  fault

分類 (1件)： 航空機事故  (TE01040E)

タイトルに関連する用語 (5件)： 故障 ,  拡張 ,  モデル ,  確率 ,  検定