Base científica

Todo número que a Ancora mostra vem de um método com nome, fórmula e referência — nada é estimado no olho. Esta página existe para que seu time de auditoria/qualidade consiga verificar cada cálculo, não só confiar na palavra do software.

Fila M/M/c — Erlang C

ρ = λ/(c·μ)
P(espera) = [aᶜ/(c!·(1−ρ))] / [Σₙ₌₀^(c-1) aⁿ/n! + aᶜ/(c!·(1−ρ))]
Wq = P(espera) / (c·μ − λ)

Onde vale: Chegadas seguindo processo de Poisson, tempos de atendimento exponenciais, c servidores idênticos operando em paralelo.

Usado para: Cálculo base de utilização (ρ) e espera média a partir da taxa de chegada e do tempo de atendimento informados.

Erlang, A.K. (1909). 'The Theory of Probabilities and Telephone Conversations.' Nyt. Tidsskrift for Matematik B, 20, 33–39. Formulação C detalhada em: Allen, A.O. (1990). Probability, Statistics, and Queueing Theory. Academic Press.

Correção Allen-Cunneen (fila G/G/c)

Wq(G/G/c) ≈ Wq(M/M/c) × (ca² + cs²) / 2

Onde vale: Quando o tempo de atendimento real tem variabilidade diferente da exponencial (coeficiente de variação ≠ 1) — comum em operação real, onde alguns atendimentos são muito mais rápidos ou lentos que a média.

Usado para: Ajusta a espera calculada pelo Erlang C quando você informa uma variabilidade diferente de 1.0 no simulador.

Allen, A.O. (1990). Probability, Statistics, and Queueing Theory. Academic Press. Aproximação também descrita em Whitt, W. (1993), 'Approximations for the GI/G/m Queue', Production and Operations Management.

Simulação de Monte Carlo (validação cruzada)

Onde vale: Nenhuma — essa é a vantagem: a simulação não depende das premissas do Erlang C. Gera chegadas aleatórias (Poisson) e tempos de atendimento aleatórios (distribuição Gamma, parametrizada pela média e variabilidade informadas) e observa o comportamento real da fila, muitas vezes.

Usado para: Botão 'Validar com Monte Carlo' na calculadora: roda 20 réplicas independentes de 2.000 clientes cada, calcula a espera média observada e um intervalo de confiança de 95%. Quando o valor da fórmula analítica cai dentro desse intervalo, é evidência de que a aproximação é confiável para aquele caso.

Law, A.M.; Kelton, W.D. Simulation Modeling and Analysis. McGraw-Hill. Referência padrão em simulação de eventos discretos e replicações independentes para estimar métricas de fila em regime permanente.

Escalonamento em máquinas paralelas (atribuição ao servidor livre)

Onde vale: c servidores idênticos, cada novo cliente/atividade vai para o servidor que fica disponível mais cedo.

Usado para: Tanto na simulação de Monte Carlo quanto na lógica de fila, cada novo cliente é atribuído ao servidor livre mais cedo — garantia formal de que o resultado nunca é pior que 2× o ótimo teórico.

Graham, R.L. (1966). 'Bounds for Certain Multiprocessor Anomalies.' Bell System Technical Journal, 45, 1563–1581.

Alocação ótima de recursos entre depósitos (plano Business)

Onde vale: Função de espera convexa e decrescente em relação ao número de recursos (verdade para Erlang C/Allen-Cunneen), custo total de recursos limitado por um único orçamento linear (soma dos recursos ≤ total disponível).

Usado para: Dado um orçamento fixo de empilhadeiras/transpaleteiras e vários depósitos, decide quantos recursos cada um recebe. Aloca um recurso de cada vez sempre para quem tem o maior ganho marginal — resultado comprovadamente ótimo para essa classe de problema, sem precisar resolver uma Programação Linear/Inteira com solver dedicado.

Fox, B. (1966). 'Discrete Optimization Via Marginal Analysis.' Management Science, 13(3), 210–216. Generalização formal: Federgruen, A.; Groenevelt, H. (1986). 'The greedy procedure for resource allocation problems.' Operations Research, 34(6), 909–918.

Problema de Designação

Onde vale: Cada pessoa é designada a exatamente uma atividade e cada atividade recebe exatamente uma pessoa; os custos são comparáveis e aditivos.

Usado para: Alocação de pessoas, máquinas, salas ou equipes às tarefas com menor custo ou tempo total.

Kuhn, H.W. (1955). The Hungarian Method for the Assignment Problem. Naval Research Logistics Quarterly, 2, 83–97. DOI: 10.1002/nav.3800020109.

Lote Econômico de Compra — EOQ

Q* = √(2DS/H)

Onde vale: Demanda relativamente estável, custo fixo por pedido, custo anual de manutenção conhecido e reposição sem ruptura no modelo básico.

Usado para: Determinar lote econômico, frequência de pedidos e ponto de pedido em Compras e Estoque.

Harris, F.W. (1913). How Many Parts to Make at Once. Factory, The Magazine of Management, 10(2), 135–136, 152.

Otimização Média-Variância

Onde vale: Retornos, volatilidades e correlações são estimados na mesma periodicidade; os pesos somam 100%.

Usado para: Construção de carteira de mínima variância e análise da relação entre risco, retorno e diversificação.

Markowitz, H. (1952). Portfolio Selection. The Journal of Finance, 7(1), 77–91. DOI: 10.1111/j.1540-6261.1952.tb01525.x.

O que NÃO é fórmula acadêmica

A fase de "triagem" do alocador de recursos (quando um depósito está com fila instável, ρ≥100%) prioriza reduzir o depósito mais sobrecarregado primeiro — é uma prática padrão de priorização por gargalo, mas não carrega a mesma garantia formal de ótimo que a fase seguinte (essa sim, garantida por Fox, 1966). Deixamos essa distinção explícita de propósito: nem tudo que o sistema faz é uma prova matemática, e dizer o contrário seria desonesto.