| Project/Area Number |
21K03359
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Allocation Type | Multi-year Fund |
|---|
| Section | 一般 |
|---|
| Review Section |
Basic Section 12040:Applied mathematics and statistics-related
|
|---|
| Research Institution | Doshisha University |
|---|
Principal Investigator |
渡邊 芳英 同志社大学, 理工学部, 教授 (50127742)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
渡邉 扇之介 福知山公立大学, 情報学部, 准教授 (80735316)
西田 優樹 東京理科大学, 工学部情報工学科, 助教 (70906601)
|
|---|
| Project Period (FY) |
2021-04-01 – 2024-03-31
|
| Project Status |
Granted (Fiscal Year 2022)
|
| Budget Amount *help |
¥3,380,000 (Direct Cost: ¥2,600,000、Indirect Cost: ¥780,000)
Fiscal Year 2023: ¥1,560,000 (Direct Cost: ¥1,200,000、Indirect Cost: ¥360,000)
Fiscal Year 2022: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000)
Fiscal Year 2021: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000)
|
|---|
| Keywords | 加重平均型3値3近傍ファジーCA / 対称群作用 / 時間的空間的周期性 / 2値4近傍CA / メタ安定分岐現象 / 加重平均型3状態3近傍ファジーCA / 完全1次保存ファジーCA / CAの時間的空間的な周期性 / 交通流モデル / セルオートマトン / ファジー化 / 多項式表現 / 保存量 / ダイナミクス |
|---|
| Outline of Research at the Start |
（１）シミュレーションにより特徴的な漸近挙動をもつ3状態3近傍ＣＡを選び出し，そのようなＣＡの局所遷移関数の有理多項式表現を用いて漸近挙動の理論解析を行う．そのためにはまずファジー化した3状態3近傍ＣＡの漸近挙動の理論解析を行い，それがもとのＣＡの挙動にどのように反映されるかを調べる．
（２）ファジー化された3状態3近傍ＣＡのなかで，一般加重平均型と呼ばれるＣＡに注目し，その漸近挙動を理論的に解析する．
（１）と（２）で取り上げた3状態3近傍ＣＡにおいて高次保存則の存在を調べ，高次保存則が漸近挙動に果たす役割を検証する．また高次保存則を用いてメタ安定分岐などの理論的解明を図る．
|
| Outline of Annual Research Achievements |
（１）H.BetelとP.Flochiniはファジー化された2値3近傍CA（EFCA)のなかで，加重平均型と呼ばれるクラスのCAを定義し，その漸近的振る舞いを調べ，それらの時間的空間的収束性を明らかにした．我々は3値3近傍CAまたはもっと多くの値（状態）を持つ3近傍CAに対して，それらのCAにおける状態を高次元空間の独立なベクトルとみなし，混合状態をそれらのベクトルにより作られる単体の周および内部の点と考えることによりファジー化することに成功した．このような3値3近傍ファジーCAにおいてもECAの場合と同様にして加重平均型と呼ばれるFCAのクラスを定義することができる．1昨年度までの研究では，加重平均型3値3近傍ファジーファジーCAの漸近的な振る舞いをケーススタディーにより調べ，それらの時間的または空間的な漸近的収束性を明らかにした．昨年度の研究では，このような研究内容を理論的に再構成し，一昨年度までに得られた結果を3次元ベクトルに作用する3次対称群の作用の観点から理論的に整理した．
（２）交通流モデルとしてよく知られているECA184を拡張して，前が空いていれば車は2マスまで進めるモデルを考えると，それは2値4近傍CAとして定式化できる．このようなCAに対してコンピュータシミュレーションを行うと，車の密度が1/3以下であればどのような初期状態に対してもある時間経過の後には車は進行方向に一定に流れるようになり，密度が1/3と1/2のときは初期状態で車が渋滞していても，時間経過とともに渋滞が解消する場合と解消しない場合がある（メタ安定分岐）ことがわかる．この事実を理論的に解明することを目標として研究を進め，密度が1/3以下のときには，すでに述べた事実を数学的に証明し，密度が1/3より大きく1/2以下のときには，渋滞が解消するような初期状態に対する一つの十分条件を与えた．
|
| Current Status of Research Progress |
Current Status of Research Progress
2: Research has progressed on the whole more than it was originally planned.
Reason
（１）研究計画の重要な目標であった加重平均型3値3近傍ファジーCAの時間的空間的周期性を3次対称群の群作用の観点から組織的に調べて，統一的な証明を与え，結果を整理することについてはほぼ決着がついた．これを拡張して4値3近傍CAについても加重平均型ファジーCAを4次の対称群の群作用を用いて一般的に定義することができる．さらに状態数がNである場合も全く同様にしてN次対称群の作用を用いて加重平均型N値3近傍ファジーCAを定義することができる．対称群は加重平均をとる前の二つの状態ベクトルにそれぞれ作用する．その際作用する対称群の二つの要素が可換であれば，N＝3の場合と全く同様な議論でファジーCAの漸近的振る舞いを調べてその時間的空間的周期性を明らかにすることができそうとの感触は得ており，実際N＝４のときには確かめることができた．ただ非可換の場合は今のところN=3のときと同様にはできそうにはない状況である．
（２）メタ安定分岐現象を示す交通流モデルとしての2値4近傍CAについては，密度が1/3から1/2の時に渋滞が解消するような初期条件に対する十分条件が得られたことは大きな進歩であると考えており，このことからも研究はある程度は順調に進んでいると考えている．
|
| Strategy for Future Research Activity |
（１）状態数が4以上である3近傍加重平均型ファジーCAの漸近的な振る舞いを調べることが当面の一つの目標となる．状態数がNの場合は，混合状態はN次元のベクトルで表すことができ，加重平均型ファジーCAは3つの近傍のベクトルの内の二つのベクトルにそれぞれN次対称群の要素を作用させてそれらの加重平均で次の時刻の状態ベクトルが定まる数学モデルである．加重平均をとる前の二つのベクトルに作用する対称群の要素が可換である場合は，3値（状態）の場合とほとんど同じ議論ができると考えており，まずそのことから手をつける．しかし対称群の要素が非可換の場合は対称群の構造がＮ＝3とＮが4以上ではずいぶん異なり，同様の議論が進んでいない．とりあえず具体的にN＝４の時から始めたい．
（２）2値4近傍のCAが示すメタ安定分岐現象について，密度が1/3を超えて1/2以下の時と理論的な解析についてはまだ不完全で，渋滞が解消するための一つの十分条件が得られたのみであり，渋滞が解消するための必要十分条件はまだ得られていない．また同様にメタ安定分岐現象を示すモデルとして有名なスロースタートモデルについては3値3近傍CAとしての定式化が得られているだけで，その理論的な解析は手つかずである．これについても2値4近傍CAの場合を手本にして研究を進めたいと考えている．
（３）加重平均型3値3近傍ファジーCAは，膨大な数ある3値3近傍ファジーCAのなかでとても小さなクラスを作っているに過ぎない．これらの膨大な数のCAから何かのモデルとなるCAを選び出すこと．また選び出したCAの漸近的振る舞いを調べることが次の大きな目標である．漸近的振る舞いを調べるには，今のところ加重平均型の理論解析で用いた手法の類似物を使うこと以外の方法を知らない．新たな解析手法の開発も重要な課題である．
|
Report
(2 results)
Research Products
(10 results)
