Metodologia
Como estas calculadoras são construídas, quais normas foram conferidas com o texto original, quais verificações automáticas rodam a cada alteração e o que não…
Onde ficam as fórmulas
A camada de cálculo não está escrita dentro deste site. Todas as fórmulas de engenharia de uso geral ficam no formulab, uma biblioteca TypeScript de código aberto sem dependências de execução, e este site é apenas um invólucro fino em torno dela. Essa separação é proposital: as fórmulas precisam poder ser lidas, testadas e contestadas independentemente da interface que as apresenta. O formulab oferece atualmente 206 funções e é coberto por 3.131 testes automatizados distribuídos em 208 arquivos de teste, todos aprovados na versão fixada por este site.
O que "verificado contra a norma" significa aqui
Distinguimos duas coisas que costumam ser confundidas. Uma citação indica de qual norma a fórmula veio. Uma verificação significa que alguém obteve o texto original da norma e conferiu linha a linha os números implementados. No conjunto das ferramentas há 460 citações de normas, das quais 61 estão atualmente respaldadas por uma anotação de procedência verificável por máquina no código do formulab. As demais citações são contexto e leitura complementar, não prova de verificação. Publicamos essa proporção em vez de sugerir que toda citação foi verificada, porque é justamente essa distinção que dá sentido a publicar uma metodologia.
- ISO 7243:2017 — valores de referência WBGT de estresse térmico, as cinco classes de intensidade de trabalho conferidas com o texto original
- ISO 7870-2:2023 — constantes de cartas de controle X-barra/R; cinco células da tabela divergiam em ±0,001 e foram corrigidas
- ISO 7870-3 — cartas de controle de aceitação, fórmula reverificada a partir dos exemplos resolvidos da norma
- ISO 7870-4:2011 — cartas de controle CUSUM
- ISO 7870-5 — cartas de média móvel e amplitude móvel, valores de referência recalculados diretamente da tabela de dados brutos da norma
- ISO 4000-1 — tabelas de índice de carga e símbolo de velocidade de pneus
Verificações que rodam a cada alteração
Verificação que não é automatizada apodrece. As checagens a seguir rodam na integração contínua e bloqueiam uma publicação quando falham, de modo que uma fórmula não pode se afastar silenciosamente da fonte que declara.
- Testes de referência que reproduzem os exemplos resolvidos impressos nas próprias normas
- Verificações de tabelas de constantes, comparando coeficientes fixados no código com sua fonte publicada
- Verificações aritméticas de todo exemplo resolvido exibido no texto, em nove idiomas
- Verificações de coerência entre o texto de uma página e a fórmula que aquela página de fato avalia
- Verificações de limiar para que cada valor-limite exista em um único lugar e não possa contradizer a si mesmo
Motores por trás das ferramentas mais pesadas
As ferramentas de otimização, programação da produção, estatística e planejamento de experimentos também não reimplementam seus algoritmos aqui. Elas chamam motores de código aberto compilados para WebAssembly e executados no seu navegador.
- u-numflow — primitivas matemáticas, estatísticas e probabilísticas
- u-analytics — cartas de controle SPC, capacidade de processo, confiabilidade de Weibull, testes de hipótese
- u-insight — agrupamento, detecção de anomalias, análise de componentes principais, regressão, perfilagem de dados
- u-metaheur — algoritmos genéticos, recozimento simulado, ALNS, programação por restrições
- u-geometry — operações com polígonos, detecção de colisão, somas de Minkowski, indexação espacial
- u-nesting — aninhamento de polígonos 2D e empacotamento 3D
- u-routing — otimização de roteirização de veículos (TSP, CVRP, VRPTW)
- u-schedule — programação job-shop
- u-doe — planejamentos fatoriais, RSM e Taguchi, ANOVA, análise de poder
O que não afirmamos
Estas são ferramentas de triagem e estimativa. Elas não substituem a norma aplicável, um engenheiro qualificado ou uma medição. Isso vale sobretudo para resultados ligados à segurança — estresse térmico, arco elétrico, distância de queda, limites de carga — que são o ponto de partida de uma decisão, não a decisão. Se você encontrar um número que contraria a norma que tem em mãos, avise-nos e conferiremos com a fonte: [email protected].