Phương pháp kiểm chứng

Nơi các công thức được đặt

Lớp tính toán không được viết bên trong trang web này. Mọi công thức kỹ thuật dùng chung đều nằm trong formulab, một thư viện TypeScript mã nguồn mở không có phụ thuộc lúc chạy, còn trang này chỉ là lớp bọc mỏng quanh nó. Sự tách biệt đó là có chủ đích: công thức phải đọc được, kiểm tra được và phản biện được một cách độc lập với giao diện trình bày chúng. Hiện formulab cung cấp 206 hàm và được bao phủ bởi 3.131 kiểm thử tự động trên 208 tệp kiểm thử, tất cả đều đạt ở phiên bản mà trang này ghim.

"Đã đối chiếu với tiêu chuẩn" ở đây nghĩa là gì

Chúng tôi phân biệt hai điều thường bị gộp làm một. Trích dẫn là nêu tên tiêu chuẩn mà công thức bắt nguồn. Kiểm chứng nghĩa là đã có người thực sự lấy văn bản gốc của tiêu chuẩn và đối chiếu từng dòng các con số được cài đặt. Trên toàn bộ công cụ có 460 trích dẫn tiêu chuẩn, trong đó 61 trích dẫn hiện được hậu thuẫn bởi một chú thích nguồn gốc kiểm tra được bằng máy trong mã nguồn formulab. Các trích dẫn còn lại là bối cảnh và tài liệu tham khảo, không phải bằng chứng kiểm chứng. Chúng tôi công bố tỷ lệ này thay vì ngụ ý rằng mọi trích dẫn đều đã kiểm chứng, bởi chính sự phân biệt ấy mới là lý do công bố một phương pháp luận.

• ISO 7243:2017 — giá trị tham chiếu ứng suất nhiệt WBGT, toàn bộ năm cấp cường độ lao động được đối chiếu với văn bản gốc
• ISO 7870-2:2023 — hằng số biểu đồ kiểm soát X-bar/R; phát hiện năm ô trong bảng lệch ±0,001 và đã sửa
• ISO 7870-3 — biểu đồ kiểm soát nghiệm thu, công thức được kiểm chứng ngược từ các ví dụ giải sẵn của tiêu chuẩn
• ISO 7870-4:2011 — biểu đồ kiểm soát CUSUM
• ISO 7870-5 — biểu đồ trung bình trượt / khoảng biến thiên trượt, giá trị chuẩn được tính lại trực tiếp từ bảng dữ liệu thô của tiêu chuẩn
• ISO 4000-1 — bảng chỉ số tải và ký hiệu tốc độ của lốp

Những kiểm tra chạy mỗi lần thay đổi

Việc kiểm chứng không được tự động hóa sẽ mục ruỗng. Các kiểm tra sau chạy trong tích hợp liên tục và chặn phát hành khi thất bại, nhờ đó một công thức không thể lặng lẽ trôi xa khỏi nguồn mà nó tuyên bố.

• Kiểm thử chuẩn tái hiện đúng các ví dụ giải sẵn in trong chính tiêu chuẩn
• Kiểm tra bảng hằng số, đối chiếu bảng hệ số mã hóa cứng với nguồn đã công bố
• Kiểm tra số học cho mọi ví dụ giải sẵn xuất hiện trong phần diễn giải, trên chín ngôn ngữ
• Kiểm tra nhất quán giữa phần diễn giải của trang và công thức mà trang đó thực sự tính
• Kiểm tra ngưỡng để mỗi giá trị giới hạn chỉ tồn tại ở đúng một nơi và không thể tự mâu thuẫn

Các bộ giải phía sau những công cụ nặng

Các công cụ tối ưu hóa, lập lịch, thống kê và thiết kế thí nghiệm cũng không cài đặt lại thuật toán ở đây. Chúng gọi các bộ máy mã nguồn mở được biên dịch sang WebAssembly và chạy ngay trong trình duyệt của bạn.

• u-numflow — các nguyên hàm toán học, thống kê và xác suất
• u-analytics — biểu đồ kiểm soát SPC, năng lực quá trình, độ tin cậy Weibull, kiểm định giả thuyết
• u-insight — phân cụm, phát hiện bất thường, PCA, hồi quy, lập hồ sơ dữ liệu
• u-metaheur — giải thuật di truyền, luyện kim mô phỏng, ALNS, lập trình ràng buộc
• u-geometry — phép toán đa giác, phát hiện va chạm, tổng Minkowski, chỉ mục không gian
• u-nesting — xếp lồng đa giác 2D và đóng thùng 3D
• u-routing — tối ưu hóa lộ trình phương tiện (TSP, CVRP, VRPTW)
• u-schedule — lập lịch job-shop
• u-doe — thiết kế giai thừa, RSM và Taguchi, ANOVA, phân tích năng lực kiểm định

Những gì chúng tôi không tuyên bố

Đây là các công cụ sàng lọc và ước lượng. Chúng không thay thế tiêu chuẩn chi phối, một kỹ sư có chuyên môn, hay một phép đo thực tế. Đặc biệt với các kết quả liên quan an toàn — ứng suất nhiệt, hồ quang điện, khoảng rơi an toàn, giới hạn tải — đó là điểm khởi đầu của một quyết định chứ không phải chính quyết định. Nếu bạn thấy một con số mâu thuẫn với tiêu chuẩn bạn đang có, hãy cho chúng tôi biết và chúng tôi sẽ đối chiếu với nguồn: [email protected].