Max-Plus方程式を用いた数理モデル構築のための手法の開発とその応用

Max-Plus方程组数学模型构建方法的开发及其应用

• 批准号: 22K03423
• 负责人: 高橋 大輔
• 金额: $ 2.41万
• 依托单位: Waseda University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (C)
• 财政年份: 2022
• 资助国家: 日本
• 起止时间: 2022-04-01 至 2027-03-31
• 项目状态: 未结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-22K03423/
• 关键词: max-plus代数; 粒子系; ファジーセルオートマトン; 可解系; セルオートマトン; 基本図; max方程式; 漸近挙動; 数理モデル; 離散系; 可積分系; 非線形系

本年度は、(1)可解なmax方程式の探索とその一般化、(2)max-plus多項式の分解の一意性、(3)粒子系の3次元基本図の解析、(4)ファジーセルオートマトンの漸近解の解析の4点について主に研究を行った。(1)については、解の複雑度が多項式オーダーになるものについて、空間依存性にパラメータを導入することにより、可解なmax方程式の一般化に成功した。また、常差分タイプのmax方程式に関する解析にも初めて取り組み、一定の成果の導出に成功した。(2)については、max-plus多項式の幾何的表現の凸包による分解を利用して、因数分解に相当する基本多項式の分解の一意性の証明に取り組んだ。分解の具体的なアルゴリズムについては我々は既に得ていたが、最終的な基本多項式のセットが分解の方法によらず一意的であるかについて、限定的な場合について解析を行い、証明に成功した。(3)については、1次元離散空間中を時間発展則によって移動する多粒子系について、運動量の空間平均の漸近挙動の解析について研究を行った。系の挙動を表す状態図として、密度－運動量平均の依存性を表す基本図と呼ばれるグラフが重要であるが、運動量平均の密度のみによる依存関係の一意性は、初期値により担保できない場合がある。そこで、粒子密度、および、それと独立な別の保存量によって運動量平均を表すと一意的な3次元グラフが導出できる場合について、グラフの厳密な導出に成功した。(4)については、セルオートマトンの時間発展則を多項式によって連続化したファジーセルオートマトンについて、時間無限大での解が一様解になるものについて解析した。従来は、空間サイトの状態値が加重平均になっているタイプの一般的証明が知られていたが、そのタイプに属さない、より難度が上がったタイプの時間発展則について、区間縮小の方法をうまく利用することで証明に初めて成功した。

This year, we conducted four main research projects: (1) Generalization of solvable max equations,(2) Uniformity of max-plus polynomial decomposition,(3) Three-dimensional fundamental analysis of particle systems, and (4) Four-point analysis of asymptotic solutions of particle systems. (1)The generalization of solvable max equations is successful in solving complex polynomial equations and spatial dependence equations. The analysis of the equation of constant difference and max is successful in obtaining a set of parameters and deriving certain results. (2)In this paper, the convex hull decomposition of the geometric representation of max-plus polynomials is used to prove the significance of the decomposition of basic polynomials. The specific method of decomposition is not only achieved, but also the final method of decomposition of the basic polynomial is achieved. The analysis is carried out in limited situations and proved to be successful. (3)Time evolution in one-dimensional discrete space, multi-particle systems, spatial averaging of motion, and analysis of asymptotic motion The dependence of system motion on state, density and motion average is expressed in terms of basic motion, importance, density and motion average dependence, initial motion, guarantee, etc. For example, particle density, particle (4)The time evolution of the solution is polynomial, and the solution is infinite. In the past, the state value of space is increased, the average value is increased, the general proof is increased, the difficulty is increased, the time is extended, and the method of reducing the interval is used to prove the initial success.

项目成果

Three-dimensional fundamental diagram of particle system of 5 neighbors with two conserved densities

具有两个守恒密度的5邻域粒子系统三维基本图

• DOI: 10.14495/jsiaml.14.80
• 发表时间: 2022
• 期刊: JSIAM Letters
• 影响因子: 0.4
• 作者: Endo Kazushige;Takahashi Daisuke
• 通讯作者: Takahashi Daisuke

可解なmax方程式の解について

关于可解最大方程的解

• 发表时间: 2023
• 作者: Endo Kazushige;Takahashi Daisuke;北川宗詢，高橋大輔;戸谷剛大，黒﨑健太郎，高橋大輔
• 通讯作者: 戸谷剛大，黒﨑健太郎，高橋大輔

粒子系の3次元基本図について

关于粒子系统三维基本图

• 发表时间: 2022
• 作者: Endo Kazushige;Takahashi Daisuke;北川宗詢，高橋大輔;戸谷剛大，黒﨑健太郎，高橋大輔;山本航，高橋大輔;高橋大輔，延東和茂，金井紗和
• 通讯作者: 高橋大輔，延東和茂，金井紗和

max-plus多項式の分解の一意性について

关于max-plus多项式分解的唯一性

• 发表时间: 2023
• 作者: Endo Kazushige;Takahashi Daisuke;北川宗詢，高橋大輔
• 通讯作者: 北川宗詢，高橋大輔

あるファジーセルオートマトンの漸近解について

模糊元胞自动机的渐近解

• 发表时间: 2023
• 作者: Endo Kazushige;Takahashi Daisuke;北川宗詢，高橋大輔;戸谷剛大，黒﨑健太郎，高橋大輔;山本航，高橋大輔
• 通讯作者: 山本航，高橋大輔