278 artigos
Este artigo apresenta um modelo marcoviano de tempo contínuo para um sistema de filas de múltiplos servidores apresentando chegadas estimuladas dependentes do estado e uma política de férias diferenciada de dois estágios, utilizando funções geradoras de probabilidade para derivar probabilidades de longo prazo e medidas de desempenho para ambientes de serviço realistas.
Este artigo estabelece a existência e caracteriza os perfis de ondas viajantes em um modelo de infecção viral célula-a-célula espacialmente discreto com atrasos temporais distribuídos, utilizando argumentos de ponto fixo, análise de plano de fase de um sistema de EDO reduzido e simulações numéricas.
Este artigo apresenta uma estrutura computacional baseada na visão intuicionista do contínuo de Brouwer, utilizando sequências assintóticas de funções em partições do intervalo unitário para aproximar funções contínuas e provar o Teorema da Continuidade de Brouwer sem depender do Axioma da Continuidade.
Este artigo demonstra que os mapas logístico fracionário e de Hénon podem ser exatamente reformulados como sistemas autônomos em modos de memória para permitir o cálculo eficiente de expoentes de Lyapunov, revelando que a condição inicial atua como um forçamento de lei de potência decrescente que induz uma memória persistente e não trivial do estado inicial em regimes caóticos.
Este artigo propõe um novo algoritmo de elementos finitos de dois estágios que emprega elementos de alta ordem em malhas graduadas para gerar limites inferiores de autovalores rigorosos tão agudos quanto os limites superiores de alta ordem padrão, fechando efetivamente uma lacuna de precisão de longa data e superando significativamente métodos existentes como Crouzeix–Raviart em termos de eficiência computacional.
Este artigo introduz o novo conjunto neutrófico probabilístico complexo (CPN) para capturar melhor os níveis de aceitação de opiniões de especialistas em cenários reais de incerteza, propõe novos operadores de agregação geométrica e de média ponderada, e valida um framework correspondente de tomada de decisão multicritério através de um estudo de caso de seleção de automóvel e análise comparativa.
Este artigo emprega um arcabouço semiótico-cultural para analisar como os Assistentes de Prova, especificamente o Verbose Lean, funcionam como reveladores epistêmicos na graduação em matemática ao reconfigurar as práticas de prova e tornar explícitas as suposições implícitas por meio da formalização necessária de objetos matemáticos e passos inferenciais.
Este artigo desenvolve um algoritmo de ponto proximal cíclico inexato de soma dupla para espaços de Hadamard, estabelecendo sua convergência linear e superlinear sob subregularidade métrica, provando a terminação finita via mínimos agudos fracos e aplicando esses resultados para resolver um novo problema de Fermat–Torricelli generalizado com fórmulas de resolvente explícitas e validação numérica.
Este artigo avalia e compara as técnicas de aproximação de Talbot, Euler e ponto de sela para inverter numericamente a transformada de Laplace para estimar probabilidades de ruína em um processo de Poisson composto perturbado por difusão, constatando que, embora todos os três métodos produzam erros relativos pequenos para probabilidades extremamente pequenas, o método de Talbot alcança a maior precisão.
Este artigo apresenta um novo algoritmo para construir sequências base BS(n+1,n) pela primeira vez para n=41, 42 e 43, ao mesmo tempo em que refuta a conjectura de Yang ao provar a inexistência de sequências quase-normais para n=42 e 44 e de sequências normais para n=41 a 45, incluindo uma prova geral de que não existem sequências normais quando n=8k-2.