Verificação pública dos motores de estabilidade

Limite de uso: esta verificação de software não é certificação de projeto, revisão independente nem substituto de ART. O resultado vale somente para os casos e modelos declarados.

Prontidão de engenharia: bloqueada. Há diagnósticos de tração/revisão obrigatória nas forças e buscas metaheurísticas sem certificação de mínimo global. A aprovação abaixo é de reprodução numérica.

Interoperabilidade integrada

O fixture interno comum preservou EXTERNAL, PIEZO e NONCIRC_SURFACE, reproduziu Janbu/Spencer/GLE e avaliou 6/6 pares cinemáticos sem redigitação. Ele é uma regressão de paridade e não integra a contagem de benchmarks externos.

• SHA-256 do DXF: 9519880d74ecab234dcabe3a2a451d33b90477e5348cfd6a51375cb50f473125
• FS governante interno PWA/Kotlin: 2.776916661432 / 2.776916661432 (spencer)

Desempenho probabilístico local

O caso seequent-james-bay-monte-carlo-fixed-surface executou 10000 amostras em 3 repetições. Primeira execução: 1351.658 ms; mediana: 1227.781 ms; alvo estrito: menos de 2000 ms em todas as execuções. Gate: APROVADO.

Resultado de desempenho local, não certificação multiplataforma. O gate estrito exige primeira execução, mediana e todas as repetições abaixo do alvo.

Evidência numérica

Integridade e artefatos

• SHA-256 do manifesto: 65e3217c3b09d5014c25ecb533478336eb1e1bcede5492e3bc9bdb9dcae7d05d
• Hashes de todos os casos idênticos: SIM
• Evidência completa em JSON
• Evidência bruta de desempenho
• Relatório técnico em PDF

Fontes primárias e confrontos independentes

1. Slide Hand Calculation #1 - Simple Homogeneous Dry Slope - Tabela 1; Equação 6; Tabela 3; respostas nas páginas 5 e 9
2. Slide Hand Calculation #2 - Simple Homogeneous Wet Slope - Tabela 1; Equação 6; Tabela 3; respostas nas páginas 5 e 10
3. Slide2 Slope Stability Verification Manual - Problema 54, páginas 196-198; Figura 54.1, Tabela 54.1, Tabela 54.2 e Figura 54.3
4. GeoStudio Example - Tension Cracks - Arquivo oficial .gsz, revisão 181 de 12/03/2025; análise "4 - Tension crack with water"; XML principal, XML da análise, 001/slip_surface.csv, 001/column_72.csv, 001/intercolumn_72.csv e 001/lambdafos_72.csv
5. Effects of earthquakes on dams and embankments - Método do bloco deslizante de Newmark; caso sintético integrado analiticamente por trechos lineares
6. Hoek-Brown failure criterion - 2002 edition - Equações 2-5 e 8-10; parâmetros do exemplo da Seção 7
7. The shear strength of rock joints in theory and practice - Lei empírica de atrito baseada em JRC, JCS e ângulo de atrito residual
8. EM 1110-2-1902 - Slope Stability - Apêndices C e G: Eqs. C-19 a C-21, G-16/G-17 e Figuras G-12a/G-12b/G-13a/G-13b/G-13c, p. C-23 a C-25 e G-21 a G-23
9. Rapid Drawdown with Simple Effective Stresses - Arquivo oficial .gsz, revisão 177 de 12/03/2025; análise "2 - After rapid drawdown"; XML principal, XML da análise, 001/slip_surface.csv, 001/column_281.csv e 001/intercolumn_281.csv
10. A two-dimensional interpolation function for irregularly-spaced data - ACM National Conference 1968, p. 517-524; média ponderada pelo inverso da distância
11. Slide2 Documentation - Interpolation Method - TIN Triangulation; plano pelos três vértices e interpolação linear
12. Slide Slope Stability Verification Manual, Part 2 - Problema 41, páginas 131-132; Figura 41.1, Tabela 41.1 e seção 41.4
13. GeoStudio Example - Slip Surface Optimization - Arquivo oficial .gsz, revisão 72 de 12/03/2025; análise "1b - Entry-Exit Optimized"; XML principal, XML da análise, 001/slip_surface.csv, 001/column_397.csv, 001/intercolumn_397.csv e 001/optimization.csv
14. GeoStudio Example - Reinforcement with User Defined - Caso 1, p. 2 e 6, Equações 1 e 2
15. Slide2 Documentation - Grouted Tieback - Implementation of Grouted Tieback Support, Equações 1 a 4
16. Slide2 Tutorial 08 - Probabilistic Analysis - Seções 2 a 4; tabela de variáveis aleatórias; figuras Results e Histogram
17. Probabilistic - James Bay Case History - Arquivo oficial .gsz, revisão 196 de 03/06/2025; análise "8 - No spatial consideration"; XML, 001/slip_surface.csv, 001/column_1.csv e 001/prob_1.csv
18. NIST/SEMATECH e-Handbook of Statistical Methods - Seção 7.2.4.1, fórmulas de Wilson e exemplo unilateral de 95%
19. Best Practices in Dam and Levee Safety Risk Analysis - Chapter A-7 - Seção A-7.2, Equações A-7-10 e A-7-11, p. A-7-10
20. NIST/SEMATECH e-Handbook of Statistical Methods - Beta Distribution - Seção 1.3.6.6.17, Cumulative Distribution Function e Common Statistics
21. NIST/SEMATECH e-Handbook of Statistical Methods - Gamma - Seção 8.1.6.5, exemplo com alpha=2, beta=30 e t=24
22. NIST/SEMATECH e-Handbook of Statistical Methods - Exponential - Seção 8.1.6.1, exemplo lambda=0,01 e t=100 horas
23. Seequent, SLOPE/W Example — Tension Cracks - Exemplo oficial que define os modos por ângulo e linha, γw=10 kN/m³ e a força hidrostática de 20 kN/m usada nos benchmarks de trinca.
24. Rocscience Slide2, Handling Tension in Limit Equilibrium - Orientação oficial sobre forças entre fatias negativas, modelagem explícita da trinca e necessidade de revisão quando a tração é extensa.
25. Rocscience Slide2, Advanced Project Settings — Tensile Stress - Documentação oficial do controle de tensão basal, da resistência cisalhante nula em base tracionada e das condições que tornam o FS inválido.
26. Jiang, Baker e Yamagami (2003), The effect of strength envelope nonlinearity on slope stability computations - Referência primária original do Problema 41 e da envoltória não linear confrontada.
27. Su (2009), Global Optimization of General Failure Surfaces in Slope Analysis by Hybrid Simulated Annealing - Base técnica oficial da combinação VFSA/LMC, dos limites dinâmicos e da reprodutibilidade por semente.
28. Rocscience, Conversion of Nonlinear Strength Envelopes to Generalized Hoek-Brown Envelopes - Fundamentação técnica oficial da formulação Power Curve da Rocscience.
29. XSLOPE, Rocscience verification problems — VP44 - Reprodução pública independente usada somente para confrontar a divergência de γ do manual.
30. Seequent, Probabilistic — James Bay Case History - Descrição oficial do estudo probabilístico, da amostragem Monte Carlo e da influência da variabilidade espacial.