文献

J-GLOBAL ID：201702217515285611   整理番号：17A0889459

WSANsを用いた戦場監視定式化【Powered by NICT】

Battlefield surveillance formalism using WSANs

著者 (4件)： Afzaal Hamra (Department of Computer Science, COMSATS Institute of Information Technology, Sahiwal, Pakistan) ,  Iqbal Zafar (Department of Computer Science, COMSATS Institute of Information Technology, Sahiwal, Pakistan) ,  Saeed Tahreem (Department of Computer Science, COMSATS Institute of Information Technology, Sahiwal, Pakistan) ,  Zafar Nazir Ahmad (Department of Computer Science, COMSATS Institute of Information Technology, Sahiwal, Pakistan)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2017  号： ICEE  ページ： 1-6  発行年： 2017年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 戦場監視は国家安全保障の問題に対処するため注目されるようになった。戦場でだけでなく兵器または火力は戦争に勝つために火力と武器の有効利用のための効果的な指令,制御システム,インテリジェント事前計画,実行時間意思決定能力が求められている。陸軍上,ときにはそれらは戦争を失うかもしれない膨大な努力にもかかわらず,負荷を増加させた。戦争無線センサとアクタネットワークにおける成功の確率を増加させるためにWSANは環境にセンシング環境,インテリジェント意思決定,指令能力と実行作用能力のために戦場で使用することができる。それ故,本研究では,WSANを用いた戦場監視のためのモデルを提示した。象限ベースクラスタリングは,ネットワーク寿命を増加させるために使用した。象限は,センサ,関係者(ロボット)と命令発行のためのコントローラノードから構成されている。コントローラは互いに通信象限の情報を共有することができる。戦場監視のために提案されたモデルをグラフで表現される論理アーキテクチャを示す。グラフベースモデルでは,形式仕様言語,すなわちウィーン開発法記述言語(VDM SL)を用いた等価形式的仕様記述に変換した。VDM-SLはその記述的性質と有効電力モデリングネットワークのため使用されている。開発した形式的仕様記述はそれを検証し,検証するVDM-SLツールボックスで利用可能な様々な技術によって解析した。Copyright 2017 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： 兵器 ,  センサ ,  意思決定 ,  *定式化 ,  グラフ ,  ロボット ,  計算機アーキテクチャ ,  モデル ,  制御系 ,  制御装置 ,  仕様記述言語 ,  通信
準シソーラス用語： 形式的仕様記述 ,  実行時間 ,  *戦場 , 【Automatic Indexing@JST】

分類 (1件)： 計算機網  (JC03000K)

タイトルに関連する用語 (2件)： 戦場 ,  定式化