|
===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ 非 ： [ひ] 1. (adj-na,n,pref) faulty- 2. non- ・ 非同期 ： [ひどうき] (n) asynchronous ・ 同 ： [どう] 【名詞】 1. the same 2. the said 3. ibid. ・ 同期 ： [どうき] 1. (n-adv) contemporary 2. corresponding period 3. synchronous 4. same period 5. same class ・ 期 ： [き] 1. (n,n-suf) period 2. time ・ ー ： [ちょうおん] (n) long vowel mark (usually only used in katakana) ・ マトン ： [まとん] (n) mutton, (n) mutton
非同期セル・オートマトン（ひどうきセル・オートマトン、）はセル・オートマトンの一種であり、それを構成する各セルの状態が他のセルと非同期に更新されるものをいう。 セル・オートマトンは他のマルチエージェント・システムのモデルと同様に、通常は時間を離散的に、そして状態更新が同期的に起こるように扱う。モデルにおける各セルの状態が同時に更新され、他のセルの新しい状態からの影響が及ぶ前に決められる。それに対して非同期セル・オートマトンは各セルが独立に更新され、セルの新しい状態が近傍のセルの状態の計算に影響を与える。 同期的な更新は 2 つのフェーズに分けられる。第 1 のフェーズは相互作用であり、近傍のセルと更新規則に基づいて各セルの新しい状態が計算される。状態値は一時記憶に保持される。第 2 のフェーズにおいては、新しい状態をセルにコピーすることによって状態値を更新する。それとはちがって、非同期の更新はこのようにフェーズを分離することがなく、状態変化がただちに実現される。この違いを次のように要約することができる。 ここで は時刻 ''t'' における要素状態のベクトルであり、 は更新に使用される一時的なコピーであり ''i'' は個々の要素のインデクスであり、''N'' はこのモデルにおける総要素数であり、f() は集合 ''Ki の要素の現在の状態要素の新しい状態を計算する関数である ()。 同期アプローチは大域的なクロック同期信号が存在して全セルの同時更新が保証されることを仮定する。これはコンピュータ・システムにおいては便利な仮定だが、そのような機構の存在が示せないときには、たとえば生物システムにおいては、非現実的な仮定である。 ==更新スキーム== いくつかの研究は非同期的なモデルを実現して、同期的なモデルとのふるまいの違いを発見した。Bersini and Detours (1994) は Conway のライフゲームが更新スキームにどれだけ敏感であるかを示した。どんな興味深いふるまいも非同期の場合には消えてしまう。Harvey and Bossomaier (1997) はランダムな 2 値のネットワーク (random boolean network) の確率的な更新は固定的アトラクタ (point attractor) だけを生みだす、つまり周期的なふるまいは起こらないことを指摘した。ただし、彼らは緩い周期アトラクタという概念を導入した。金田 (Kanada (1994)) は、同期的に更新されるときはカオスの淵のパターンを生成する 1 次元セル・オートマトンのモデルが、非同期かつランダムに更新されるときにはカオス的でないパターンを生成することを示した。Orponen (1997) はどのような同期的に更新される閾値のある論理ユニット（人工神経 参照）のネットワークも、更新順序に制約のないネットワークによってシミュレートできることを示した。Sipper et al. (1997) は特定の計算を実行する一様でないセル・オートマトンの進化をしらべた。これらのモデルにおいては全ノードが同一の更新規則に従うという通常の要件をゆるめている。これらのモデルにおいてはノードはブロックにまとめられる。すなわち、ブロック内のノードは同期的に更新されるが、各ブロックは非同期的に更新される。彼らは 3 つのスキームを実験した。(1) 各タイムステップにおいて 1 個のブロックがランダムに選択されて置換され、(2) 各タイムステップにおいて 1 個のブロックがランダムに選択されるが置換されず、(3) 各タイムステップにおいて 1 個のブロックが固定的な更新順序に従って選択される。 様々な型の非同期更新があり、様々な著者が様々なやり方でそれらを記述している。下図に示すスキームは次の通りである (Cornforth et al. 2005)。 * 同期スキーム - 全セルがタイムステップごとに並列に更新される。これが従来のモデルであり、比較のために記述している。 * ランダム独立スキーム - 各タイムステップに 1 個のセルがランダムに選択されて更新される。 * ランダム順序スキーム - 各タイムステップに全ノードがランダムな順序で更新される。 * 周期的スキーム - 各タイムステップに 1 個のノードが固定の更新順序に従って選択される。この順序はモデルの初期化時にランダムに決められる。 * 自己クロック (self-clocked) スキーム - 各セルは独立なタイマーを持ち、その周期とフェーズとはランダムに初期化される。その 1 周期が終わると、セルは更新されてタイマーがリセットされる。更新は自律的に起こり、異なるセルについては異なるレートで進行する。 * 自己同期 (self-sync) スキーム - 自己クロック・スキームと同様に、しかしタイマーのフェーズは近傍のセルとの局所的な結合によって影響され、そのために局所的な同期が実現される。 下記の時刻と状態との関係図は、他のパラメタが変化しないときの、セル・オートマトンのモデルの更新スキームの変化に起因する違いを示す。使用する規則 30 は各図に共通である。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「非同期セル・オートマトン」の詳細全文を読む スポンサード リンク
|