🔢 数学
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
本文证明了分数阶逻辑映射和 Hénon 映射可以被精确地重新表述为记忆模态上的自治系统，从而实现对李雅普诺夫指数的高效计算，并揭示了初始条件如何作为一种衰减幂律强迫，在混沌机制中诱导出对初始状态持久且非平凡的记忆。
🔢 数学
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
本文针对 Hadamard 空间开发了一种双和不等精确循环近端点算法，在度量次正则性条件下建立了其线性与超线性收敛性，通过弱锐极小值证明了有限终止性，并将这些结果应用于求解一个新的广义费马-托里切利问题，并给出了显式解析算子公式及数值验证。
🔢 数学
Laplace Transform Inversion Techniques for the Ruin Probability of the Compound Poisson Process Perturbed by Diffusion
本文评估并比较了用于数值反演拉普拉斯变换以估计受扩散扰动的复合泊松过程中的破产概率的 Talbot、Euler 和鞍点近似技术，发现虽然这三种方法在极小概率下均能产生极小的相对误差，但 Talbot 方法实现了最高的精度。
🔢 数学
On Base , Normal and Near-normal Sequences
本文提出了一种新算法，首次构造出了 和 $43BS(n+1, n)n=4244n=4145n=8k-2$ 时不存在正规序列的一般性证明。