🔢 수학
A Stimulated Arrival Multi-Server Markovian Queue With Differentiated Vacations
본 논문은 상태 의존적 자극 도착과 차별화된 2단계 휴가 정책을 특징으로 하는 다중 서버 대기 행렬 시스템에 대하여, 확률 생성 함수를 활용하여 현실적인 서비스 환경에 대한 장기 확률 및 성능 지표를 도출하는 연속 시간 마르코프 모델을 제시한다.
🔢 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
본 논문은 연속성 공리(Axiom of Continuity)에 의존하지 않고 브라우어의 연속성 정리(Brouwer Continuity Theorem)를 증명하기 위해, 단위 구간 분할 위의 함수들의 점근 수열을 사용하여 연속 함수를 근사하는 브라우어의 직관주의적 연속체 관점에 기반한 계산 프레임워크를 제시한다.
🔢 수학
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
본 논문은 고차 요소(high-order elements)를 등급 격자(graded meshes)에 적용하여 표준 고차 상한값만큼 정밀한 엄밀한 고유값 하한을 생성하는 새로운 2단계 유한 요소 알고리즘을 제안하며, 이는 정확도 측면에서 오랫동안 존재했던 격차를 효과적으로 해소하고 계산 효율성 측면에서 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 spaces)에 대한 이중 합 부정확 순환 근접 점 알고리즘(double sum inexact cyclic proximal point algorithm)을 개발하여, 메트릭 부정규성(metric subregularity) 하에서의 선형 및 초선형 수렴을 확립하고, 약한 날카로운 최솟값(weak sharp minima)을 통한 유한 종료를 증명하며, 명시적인 분해 가능 공식(resolvent formulas)과 수치적 검증을 갖춘 새로운 일반화된 페르마-토리첼리 문제(Fermat–Torricelli problem)를 해결하는 데 이 결과들을 적용한다.
🔢 수학
Laplace Transform Inversion Techniques for the Ruin Probability of the Compound Poisson Process Perturbed by Diffusion
이 논문은 확산에 의해 교란된 복합 푸아송 과정에서 파산 확률을 추정하기 위해 라플라스 변환을 수치적으로 역변환하는 탈보트(Talbot), 오일러(Euler), 안장점(saddlepoint) 근사 기법을 평가하고 비교하며, 세 가지 방법 모두 극도로 작은 확률에 대해 매우 작은 상대 오차를 나타내지만 탈보트 방법이 가장 높은 정확도를 달성한다는 것을 밝혀냈다.
🔢 수학
On Base , Normal and Near-normal Sequences
이 논문은 n=41, 42, 43에서 처음으로 BS(n+1, n) 기저 수열을 구성하는 새로운 알고리즘을 제시하는 동시에, n=42와 44에서 근정규(near-normal) 수열이 존재하지 않음을 증명하고 n=41부터 45까지 정규(normal) 수열이 존재하지 않음을 증명함으로써 양(Yang)의 추측을 반증하며, 나아가 n=8k-2일 때 정규 수열이 존재하지 않는다는 일반적인 증명을 제공한다.