文献

J-GLOBAL ID：201702282315798607   整理番号：17A0297852

スマートホームプラットフォームコンポーネントの適応と協調モデルと形式的解析【JST・京大機械翻訳】

The Formal Analysis of Component Adaptation and Interaction of Frameworks for Smart Home

著者 (3件)： Li Aiping (College of Computer Science and Technology,Taiyuan University of Technology) ,  Ma Junwei (College of Computer Science and Technology,Taiyuan University of Technology) ,  Duan Liguo (College of Computer Science and Technology,Taiyuan University of Technology)
資料名： Taiyuan Ligong Daxue Xuebao  (Taiyuan Ligong Daxue Xuebao)
巻： 47  号： 2  ページ： 212-217  発行年： 2016年 
JST資料番号： C2209A  ISSN： 1007-9432  CODEN： TLDXF3  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 中国 (CHN)  言語： 中国語 (ZH)

抄録/ポイント： 本論文では,スマートホームプラットフォームにおけるコンポーネント適応と協調問題を解決することを目的として,装置の独立性とデータの一貫性を保証するために,コンポーネント適応と協力に基づくインテリジェントホームプラットフォームの論理モデルを提案し,プラットフォームとコンポーネントの形式的記述とモデリングを行った。プラットフォームの機能要求に従って,モデルの特性を分析し,検証した。実験結果により,本モデルにおいて,プラットフォーム要素の適応および協調は,デッドロックフリー,非停止および発散の必要性を満たすことができ,そして,マルチユーザ要求を並列処理することによって,データ一貫性および操作有効性を達成することができた。本研究はスマートホームプラットフォームの研究開発と検証に一定の意義がある。Data from the ScienceChina, LCAS. Translated by JST【JST・京大機械翻訳】

シソーラス用語： *形式記述 ,  並列処理 ,  モデリング
準シソーラス用語： マルチユーザ ,  機能要求 ,  論理モデル ,  *協調モデル , 【Automatic Indexing@JST】

著者キーワード (4件)： sart home frameworks ,  component adaptation ,  component interaction ,  formal methods

分類 (3件)： 計算機網  (JC03000K) ,  計算機システム開発  (JD02010R) ,  データベースシステム  (JD03030U)

タイトルに関連する用語 (3件)： 適応 ,  協調モデル ,  解析