🔢 数学
A Stimulated Arrival Multi-Server Markovian Queue With Differentiated Vacations
本論文は、状態依存的な刺激到着および差別化された二段階バケーション・ポリシーを特徴とするマルチサーバー待ち行列システムに対し、確率母関数を用いて定常確率および性能指標を導出する連続時間マルコフモデルを提示するものである。
🔢 Category
math
278 件の論文
🔢 数学
Traveling waves in a cell-to-cell transmission model for the spread of viral infections
本論文は、不動点引数、簡約された常微分方程式系の相平面解析、および数値シミュレーションを用いることにより、分布型時間遅延を伴う空間的に離散的な細胞間ウイルス感染モデルにおける進行波の存在を確立し、そのプロファイルを特徴付けるものである。
🔢 数学
On reliable computing on the real numbers
本論文は、単位区間の分割における関数の漸近列を用いて連続関数を近似し、連続性の公理に依拠することなくブラウワーの連続性定理を証明するために、ブラウワーの直観主義的な連続体の観点に基づいた計算フレームワークを提示するものである。
🔢 数学
The initial condition as a decaying forcing: ageing and Lyapunov exponents of fractional maps
本論文は、分数階ロジスティック写像およびヘノン写像が、リャプノフ指数を効率的に計算するためにメモリモード上の自律系として厳密に再定式化可能であることを示し、初期条件が減衰するべき冪乗則の強制力として作用することで、カオス領域において初期状態の持続的かつ非自明な記憶を誘発することを明らかにしている。
🔢 数学
A Two-Stage Finite Element Approach for High-precision Guaranteed Lower Eigenvalue Bounds
本論文は、勾配メッシュ上で高次要素を用いる新しい二段階有限要素アルゴリズムを提案しており、これにより、標準的な高次上界と同程度に鋭い厳密な下限固有値界を生成し、精度における長年のギャップを効果的に埋めるとともに、計算効率の面でCrouzeix--Raviartのような既存の手法を大幅に凌駕するものである。
📊 統計学
Complex Probabilistic Neutrosophic Sets for Multi-Criteria Decision-Making: New Aggregation Operators and Comparative Analysis
本論文は、不確実な実生活のシナリオにおける専門家の意見の受容レベルをより適切に捉えるために、新しい複素確率的ニュートロソフィック（CPN）集合を導入し、新たな加重平均および幾何学的集約演算子を提案し、自動車の選択に関するケーススタディと比較分析を通じて、対応する多基準意思決定フレームワークを検証するものである。
🔢 数学
Proof Assistants at the interplay of mathematical cultures: a semiotic-cultural analysis of proof in higher education
本論文は、記号論的・文化的枠組みを用いて、証明助手、特にVerbose Leanが、数学的対象や推論ステップの必然的な形式化を通じて、数学的実践を再構成し、暗黙の仮定を明示化することにより、いかに学部数学における認識論的な啓示者として機能するかを分析するものである。
🔢 数学
Proximal Point Algorithms in Hadamard Spaces and Generalized Fermat-Torricelli Problem
本論文は、アダマール空間における二重和不正確巡回近接点アルゴリズムを開発し、距離的劣正則性の下での線形および超線形収束を確立し、弱鋭最小値による有限停止性を証明し、さらに、明示的なレゾルベント公式と数値的検証を伴う新しい一般化フェルマー・トリチェッリ問題を解くためにこれらの結果を適用するものである。
🔢 数学
Laplace Transform Inversion Techniques for the Ruin Probability of the Compound Poisson Process Perturbed by Diffusion
本論文は、拡散によって摂動を受けた複合ポアソン過程における破産確率を推定するために、ラプラス変換を数値的に逆変換する手法であるタルボット法、オイラー法、およびサドルポイント近似法を評価・比較し、これら3つの手法はいずれも極めて小さな確率に対しては極めて小さい相対誤差をもたらすものの、タルボット法が最も高い精度を達成することを明らかにしている。
🔢 数学
On Base , Normal and Near-normal Sequences
本論文は、n=41、42、および43において初めてBS(n+1, n)を構成する新しいアルゴリズムを提示すると同時に、n=42および44におけるニアノーマル系列の非存在、ならびにn=41から45におけるノーマル系列の非存在を証明することによってヤンの予想を覆し、さらにn=8k-2のときにノーマル系列が存在しないという一般的な証明を行うものである。