文献

J-GLOBAL ID：201702273464317293   整理番号：17A1395908

mCWQのための証明システム【Powered by NICT】

A Proof System for mCWQ

著者 (5件)： Xie Wanling ,  Wu Xi ,  Zhu Huibiao ,  Lu Gang ,  Liu Ailun
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2017  号： COMPSAC  ページ： 45-50  発行年： 2017年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 無線センサネットワーク(WSN)の最も重要な特徴の一つとして,ノードの移動性は,ネットワークにおける通信リンクの信頼性に影響し,異常をもたらし,WSNにより提供されるサービスの品質を低下させている。mCWQ計算(すなわち,移動度を持つCWQ計算)は,最近,ノードの移動性の特徴を捕捉し,WSNの通信品質を向上させるために提案した。本論文では,その正しさを証明するためにmCWQ計算に対する証明システムを提案した。我々の仕様はHoare論理に基づいている。可観測動作のタイミングを記述するために,プリミティブを有する主張言語を拡張した。また終端と非停止計算の双方が,この証明システムで記述できる。Copyright 2017 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： ネットワーク ,  移動度 ,  センサネットワーク ,  信頼性 ,  *品質 ,  言語
準シソーラス用語： Hoare論理 ,  通信品質 ,  通信リンク ,  移動性 ,  無線センサネットワーク , 【Automatic Indexing@JST】

分類 (2件)： 計算機網  (JC03000K) ,  マイクロ波・ミリ波通信  (ND08020W)

タイトルに関連する用語 (1件)： 証明