文献

J-GLOBAL ID：201702250358051803   整理番号：17A0942725

Wi-Fiベースのモバイルアドホックネットワークのためのモビリティの形式的モデル化【Powered by NICT】

Formal modeling of Mobility for Wi-Fi based Mobile Ad hoc Networks

著者 (4件)： Saeed Tahreem (Department of Computer Science, COMSATS Institute of Information Technology, Sahiwal, Pakistan) ,  Iqbal Zafar (Department of Computer Science, COMSATS Institute of Information Technology, Sahiwal, Pakistan) ,  Afzaal Hamra (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  号： ICIEECT  ページ： 1-5  発行年： 2017年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 研究の最も集束領域の一つは,絶対必要アドホックネットワークである。アドホックネットワークの最も共同型は,モバイルアドホックネットワーク(MANET)である。いくつかの問題は,基盤設備無しの構造と自由に移動するノードの自己構成挙動のためにMANETの展開中に遭遇する可能性がある。移動ノードの移動性管理は,これらネットワークの最も未解決の問題である。MANETのための移動度モデルの設計容易なタスクではない。この非常にような理由から,これらのモデルはいくつかのツールまたはシミュレータにより完全に記述し,検証しなければならない。シミュレーションツールの限界のために,本論文では,Wi-Fi(ノードが可変位置の固定範囲)に基づくMANETのための提案した移動度管理のための形式的モデル。形式的手法はモデルの検証と検証に使用した数学ベースの技術であり,複合体/臨界系の任意の型の正しさと完全性を確実にする。提案したモデルは,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】

シソーラス用語： シミュレータ ,  *モデリング ,  完全性 ,  形式言語 ,  *アドホックネットワーク ,  *ネットワーク ,  *移動度
準シソーラス用語： ツールキット ,  論理モデル ,  シミュレーションツール ,  移動性 ,  移動ノード ,  自己構成 ,  *モバイルアドホックネットワーク ,  *WiFi , 【Automatic Indexing@JST】

分類 (2件)： 計算機網  (JC03000K) ,  移動通信  (ND08030H)

タイトルに関連する用語 (4件)： Wi-Fi ,  モバイルアドホックネットワーク ,  モビリティ ,  モデル化