文献

J-GLOBAL ID：202102258866381677   整理番号：21A0891080

空間論理のモデル検査【JST・京大機械翻訳】

Model Checking of Spatial Logic

著者 (6件)： Li Tengfei (Shanghai Key Laboratory of Trustworthy Computing, East China Normal University,Shanghai,China) ,  Liu Jing (Shanghai Key Laboratory of Trustworthy Computing, East China Normal University,Shanghai,China) ,  Kang JieXiang (China Aeronautical Radio Electronics Research Institute,Shanghai,China) ,  Sun Haiying (Shanghai Key Laboratory of Trustworthy Computing, East China Normal University,Shanghai,China) ,  Chen Xiaohong (Shanghai Key Laboratory of Trustworthy Computing, East China Normal University,Shanghai,China) ,  Han Li (Shanghai Key Laboratory of Trustworthy Computing, East China Normal University,Shanghai,China)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2020  号： APSEC  ページ： 169-177  発行年： 2020年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 安全クリティカルシステムの空間挙動の分析は,サイバー物理システムおよび画像処理の分野でますます多くの注目を集めている。主要な問題は,空間挙動のモデリングと解析のための表現性と検証性である。空間特性の充足可能性問題を検証するために,本論文では,計量距離を持つトポロジー空間を誘導することを通して,新しいトポメトリックモデルを提案した。空間論理に対して,S4_u公式をRCC-8関係に符号化するS4_u式と,S4_ueと命名されたS4_uを空間近傍およびそれまで拡張することにより,その進化が達成される離散空間領域,S4_uを持つ空間特性を指定した。著者らは,S4_u空間項または公式がトポメトリックモデルを満たすかどうかを検証するために,空間モデル検査アルゴリズムを提案した。ロボットの障害物回避ベース経路計画に対するアプローチの適用性を例示した。Copyright 2021 The Institute of Electrical and Electronics Engineers, Inc. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： アルゴリズム ,  位相空間 ,  ロボット ,  画像処理 ,  適応性 ,  充足可能性問題 ,  障害物回避 ,  *モデル検査 ,  経路探索
準シソーラス用語： 表現力 ,  空間モデル ,  空間領域 ,  空間特性 , 【Automatic Indexing@JST】

分類 (1件)： 図形・画像処理一般  (JE04010I)

タイトルに関連する用語 (2件)： 論理 ,  モデル検査