검증 방법론

계산식이 사는 곳

계산 레이어는 이 웹사이트 안에 작성되지 않는다. 범용 엔지니어링 공식은 전부 formulab이라는 오픈소스 TypeScript 라이브러리에 있고, 이 사이트는 그것을 감싸는 얇은 래퍼다. 이 분리는 의도적이다 — 공식을 보여주는 화면과 무관하게 공식 자체를 읽고, 시험하고, 반박할 수 있어야 하기 때문이다. formulab은 현재 206개 함수를 제공하며, 208개 테스트 파일에 걸친 3,131개 자동 테스트가 이 사이트가 고정한 버전에서 전부 통과한다.

여기서 "표준과 대조 검증했다"가 뜻하는 것

흔히 뭉뚱그려지는 두 가지를 구분한다. 인용은 그 공식이 어느 표준에서 왔는지 밝히는 것이다. 검증은 누군가 그 표준의 원문을 실제로 입수해 구현된 수치를 한 줄씩 대조했다는 뜻이다. 전체 도구에 표준 인용이 460건 있고, 그중 61건이 현재 formulab 소스의 기계 검사 가능한 출처 주석으로 뒷받침된다. 나머지 인용은 맥락과 참고 문헌이지 검증의 증거가 아니다. 모든 인용이 검증된 것처럼 암시하는 대신 이 비율을 밝히는 이유는, 바로 그 구분이 방법론을 공개하는 목적 자체이기 때문이다.

• ISO 7243:2017 — WBGT 열스트레스 기준값, 5개 작업강도 등급 전건을 원문과 대조
• ISO 7870-2:2023 — X-bar/R 관리도 상수. 표의 5개 셀이 ±0.001 어긋난 것을 발견해 정정
• ISO 7870-3 — 인수관리도. 표준의 워크드 예제로 공식을 역검증
• ISO 7870-4:2011 — CUSUM 관리도
• ISO 7870-5 — 이동평균/이동범위 관리도. 표준의 원시 데이터 표에서 골든값을 직접 재계산
• ISO 4000-1 — 타이어 하중지수 및 속도기호 표

변경마다 도는 검사

자동화되지 않은 검증은 썩는다. 아래 검사들은 지속적 통합에서 실행되며 실패하면 배포를 막는다. 그래서 공식이 자기가 근거로 내세운 출처에서 조용히 멀어질 수 없다.

• 표준 자신에 인쇄된 워크드 예제를 그대로 재현하는 골든 테스트
• 하드코딩된 계수표를 발행된 출처와 대조하는 상수표 검사
• 산문에 실린 모든 워크드 예제의 산술 검사(9개 로케일 전수)
• 페이지의 산문과 그 페이지가 실제로 계산하는 공식 사이의 일관성 검사
• 임계값이 정확히 한 곳에만 존재해 자기 자신과 어긋날 수 없게 하는 임계값 검사

무거운 도구를 떠받치는 솔버 엔진

최적화·일정계획·통계·실험계획 도구도 알고리즘을 여기서 다시 구현하지 않는다. WebAssembly로 컴파일돼 사용자의 브라우저에서 실행되는 오픈소스 엔진을 호출한다.

• u-numflow — 수학·통계·확률 프리미티브
• u-analytics — SPC 관리도, 공정능력, 와이블 신뢰성, 가설검정
• u-insight — 군집화, 이상탐지, 주성분분석, 회귀, 데이터 프로파일링
• u-metaheur — 유전알고리즘, 시뮬레이티드 어닐링, ALNS, 제약 프로그래밍
• u-geometry — 다각형 연산, 충돌 검출, 민코프스키 합, 공간 색인
• u-nesting — 2D 다각형 네스팅 및 3D 빈패킹
• u-routing — 차량 경로 최적화(TSP, CVRP, VRPTW)
• u-schedule — 잡숍 일정계획
• u-doe — 요인·RSM·다구치 설계, 분산분석, 검정력 분석

주장하지 않는 것

이 도구들은 스크리닝과 추정을 위한 것이다. 해당 표준, 자격을 갖춘 기술자, 또는 실측을 대체하지 않는다. 특히 안전 관련 결과 — 열스트레스, 아크플래시, 추락 클리어런스, 하중 한계 — 는 판단의 출발점이지 판단 자체가 아니다. 보유한 표준과 어긋나는 수치를 발견하면 알려주기 바란다. 원문과 대조해 확인하겠다: [email protected].