地理的制約を考慮した並行計算

• Item type: SIG Technical Reports(1)
• 公開日: 1997-03-07
• タイトル: 地理的制約を考慮した並行計算
• タイトル / 言語: en
• タイトル: Concurrent Calculus with Geographical Constraints
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 仙台電波高専
• 著者所属: 仙台電波高専
• 著者所属: 仙台電波高専
• 著者所属(英): en
• 著者所属(英): Sendai National College of Technology
• 著者所属(英): en
• 著者所属(英): Sendai National College of Technology
• 著者所属(英): en
• 著者所属(英): Sendai National College of Technology
• 著者名: 安藤, 敏彦; 高橋, 薫; 加藤, 靖
• 著者名(英): Toshihiko, Ando; Kaoru, Takahashi; Yasushi, Kato
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: ネットワーク構造が動的に変化するシステムをモデル化するのにπ計算などの並行計算が有効である．しかし，これらの並行計算では，現在の移動通信システムや移動計算システムを記述するには不十分である．それは、移動通信システムが周波数再利用のため地域分割による通信の局所化を行っているのに対し，π計算等のモデルでは通信は大局的に行うと考えているからである．本研究では，地理的な条件に対するコミュニケーション可能性を場の概念の導入によりモデル化した．これによって，セルラーシステムを採用している移動通信システムなどを記述することが可能になる．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: Use of concurrent calculi is one of the most effective approaches to model concurrent systems with network structures changeable dynamically. Such calculi, however, could not be sufficient to model mobile telecommunication systems or mobile computing systems. Because it is considered that communication between processes is global in the model of concurrent calculus, such as π calculus. We introduce the concept of a field to express geographical constraints for modeling local communication in this paper. A concurrent calculus with a field can be useful to describe mobile telecommunication systems.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10112981
• 書誌情報: 情報処理学会研究報告ソフトウェア工学（SE）; 巻 1997, 号 25(1996-SE-113), p. 9-16, 発行日 1997-03-07
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会