著者

米田 多江 小林 順平 太田 理

出版者

一般社団法人電子情報通信学会

雑誌

電子情報通信学会技術研究報告. IN, 情報ネットワーク (ISSN:09135685)

巻号頁・発行日

vol.99, no.436, pp.25-30, 1999-11-18

被引用文献数

1

---

跳合検出における端末の割り当て方は大きな課題となっている.仕様上,同じ状態であっても,端末の割り当て方によって競合が起きたり起きなかったりする.そのため,競合検出において,いかに有効な端末割り当てを行うかが重要となる.本論文では,端末の割り当てに関して,端末の組み合わせ数に関する問題と端末が属するサービスの決定に関する問題の2つについて述べる.前者においては,競合の発生に関係しない端末の組み合わせの縮退法と実際にあり得ない状態の組み合わせを持つ端末割り当ての削除法を提案する.また,後者においては,割り当てられた端末の属するサービスを決定する方法を示す.更に,提案手法にある複合サービスを適用した結果より,計算量を約2000分の1に押さえられることを示した.

著者

米田 多江 太田 理

出版者

一般社団法人電子情報通信学会

雑誌

電子情報通信学会技術研究報告. SSE, 交換システム (ISSN:09135685)

巻号頁・発行日

vol.100, no.79, pp.13-18, 2000-05-19

被引用文献数

1

---

複数のサービスを同時に提供した時に生じるサービス仕様間の不整合のことを競合と呼ぶ.競合は仕様段階で検出されることが望ましいが, 仕様段階で検出するには端末変数に実際の端末を割り当てる必要がある.更に, 端末の割り当て方によって競合が起きたり起きなかったりするため, 競合を漏れなく検出するには全ての端末の割り当てについて競合か否かの検査を行わなければならない.よって, 競合検出にかかる計算量は膨大となる.本論文では, 端末割り当て数削減のキーとなる「等価な状態」の定義を行い, その定義に基づいて, 検査を行わなければならない端末割り当てを「同一端末が割り当てられる端末変数の組み合わせについて, 異なる組合せを与える端末割り当て」のみに削減できることを証明する.