| Project/Area Number |
22K11923
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Allocation Type | Multi-year Fund |
|---|
| Section | 一般 |
|---|
| Review Section |
Basic Section 60020:Mathematical informatics-related
|
|---|
| Research Institution | Osaka University |
|---|
Principal Investigator |
滝根 哲哉 大阪大学, 大学院工学研究科, 教授 (00216821)
|
|---|
| Project Period (FY) |
2022-04-01 – 2025-03-31
|
| Project Status |
Granted (Fiscal Year 2022)
|
| Budget Amount *help |
¥4,160,000 (Direct Cost: ¥3,200,000、Indirect Cost: ¥960,000)
Fiscal Year 2024: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
Fiscal Year 2023: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000)
Fiscal Year 2022: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000)
|
|---|
| Keywords | 準出生死滅過程 / 状態爆発 / 詳細CB方程式 / 局所平衡方程式 / 排他的待ち行列モデル / マルコフ連鎖 / 詳細カットバランス方程式 / 待ち行列モデル |
|---|
| Outline of Research at the Start |
状態爆発する準出生死滅過程として定式化される各種待ち行列モデルを対象に，詳細CB方程式を足がかりとして，システム長と系内客数の結合周辺分布に対する数値計算法の構築を目指す．この際，各状態の定常確率を計算することなく結合周辺確率を直接的に求める新しい数値計算法を開発する．このような接近法は，詳細CB方程式が成立する場合には可能であると思われる．このように，詳細CB方程式を足がかりとして，従来とは全く異なる主要性能指標の数値計算法の開発を目指す．
|
| Outline of Annual Research Achievements |
本研究は、状態爆発する準出生死滅過程として定式化される各種待ち行列モデルを対象に、詳細CB方程式を足がかりとして、システム長と系内客数の結合周辺分布に対する数値計算法の構築を目指すものである。状態爆発する準出生死滅過程では、個々の状態の定常確率を直接計算することは困難である。そこで、各状態の定常確率を計算することなく結合周辺確率を直接的に求める新しい数値計算法を開発する。
令和４年度は、詳細CB方程式が成立する典型的モデルである排他的待ち行列モデルをレベル依存型準出生死滅過程という視点から再検討を行った。その結果、行列積仮設から直ちに得られる詳細カットバランス（CB）方程式はレベル単位で見た際の局所平衡（LB）方程式が成立するための必要十分条件になっていることが分かった。さらに、LB方程式を出発点として、排他的待ち行列モデルの解析を行い、システム長分布分布の陽表現の導出、ならびにシステム長と系内客数の結合分布の数値計算手順の提示を行った。次に、一定到着率をもつ特別な場合に対して、結合分布の計算手順を元にしてシステム長と系内客数に関する結合母関数を求め、システム長分布と系内客数分布の陽表現、積率の計算手順、漸近公式を得た。さらに、系内客数分布に関する結果を元に、到着時のシステム長が与えられたという条件下における遅延分布を同定し、これを用いて、一般的なモデルにおける遅延分布のLSTならびに積率の計算手順を確立した。
|
| Current Status of Research Progress |
Current Status of Research Progress
2: Research has progressed on the whole more than it was originally planned.
Reason
排他的待ち行列モデルを詳細に分析した結果、詳細CB方程式と裏表の関係にあるLB方程式が定常解を求める際の鍵となることが判明した。これに基づいて、同様の構造が他のモデルでも埋め込まれているかを判定する手順を定める目処が立ちつつある。
|
| Strategy for Future Research Activity |
排他的待ち行列モデルに関する一連の結果をまとめた論文を執筆する。これと並行して、レベル依存型準出生死滅過程において詳細CB方程式が成立する条件を導出することを試みる。
|
