Mô phỏng: chạy ra kết quả đẹp không có nghĩa là kết quả đúng

Mô phỏng có mặt trong hầu hết đồ án kỹ thuật hiện nay, vì nó rẻ hơn thực nghiệm và làm được những thứ thực nghiệm không làm được.

Nhưng nó có một cái bẫy: phần mềm luôn trả về một con số, kể cả khi bạn khai báo sai hoàn toàn. Không có thông báo lỗi nào nói với bạn rằng kết quả vô nghĩa.

Vì vậy phần đáng giá nhất trong một đồ án mô phỏng không phải là chạy được, mà là chứng minh kết quả đáng tin.

Khai báo phải viết ra hết

Người đọc phải lặp lại được mô phỏng của bạn. Nghĩa là quyển phải có đủ:

• Mô hình hình học — kích thước, đơn giản hoá những gì.
• Vật liệu và thông số — lấy từ nguồn nào, giá trị bao nhiêu.
• Điều kiện biên và tải trọng — đặt ở đâu, giá trị bao nhiêu, theo phương nào.
• Lưới hoặc bước thời gian — loại phần tử, kích thước, số lượng.
• Phần mềm và phiên bản.
• Các giả thiết đã dùng — bỏ qua ma sát, coi vật liệu đẳng hướng, xét bài toán phẳng.

Mục cuối là mục hay thiếu nhất và cũng là mục hội đồng hỏi đầu tiên. Mọi mô phỏng đều có giả thiết; không liệt kê chúng nghĩa là bạn chưa ý thức được mình đã giả định gì.

Ba cách kiểm chứng

1. Kiểm hội tụ lưới. Chạy lại bài toán với lưới mịn dần và xem kết quả có ổn định không. Nếu kết quả còn đổi nhiều khi làm mịn lưới thì lưới hiện tại chưa đủ.

Trình bày thành một bảng nhỏ: số phần tử và giá trị kết quả tương ứng. Bảng này ngắn nhưng nó chứng minh bạn hiểu công cụ mình dùng, và nó thường làm hội đồng dừng hỏi về độ tin cậy.

2. So với trường hợp có lời giải biết trước. Chạy mô phỏng cho một bài toán đơn giản mà bạn tính tay được, hoặc có lời giải trong giáo trình, rồi so hai kết quả. Khớp thì bạn tin được rằng mình khai báo đúng.

Đây là cách kiểm rẻ nhất và thuyết phục nhất.

3. So với thực nghiệm hoặc số liệu đã công bố. Tốt nhất nếu làm được. Không có thực nghiệm của mình thì so với số liệu trong một bài báo cùng điều kiện.

Nêu rõ sai lệch bao nhiêu phần trăm, và giải thích vì sao có sai lệch — chứ đừng chỉ nói kết quả phù hợp tốt.

Kiểm bằng cảm quan kỹ thuật

Trước cả ba cách trên, hãy nhìn kết quả và hỏi: cái này có hợp lý không.

• Chuyển vị lớn nhất có đúng ở chỗ bạn dự đoán không?
• Bậc độ lớn có hợp lý không? Ra một con số lệch nghìn lần so với ước lượng tay thì gần như chắc chắn sai đơn vị.
• Trường phân bố có đối xứng khi bài toán đối xứng không?
• Đổi tải lên gấp đôi thì kết quả có đổi theo cách hợp lý không?

Bốn câu này bắt được phần lớn lỗi khai báo, và mất năm phút.

Ba lỗi hay gặp

• Sai đơn vị. Lỗi kinh điển và cũng nguy hiểm nhất, vì kết quả vẫn ra và vẫn trông bình thường. Kiểm hệ đơn vị của phần mềm trước khi nhập số.
• Điều kiện biên quá lý tưởng. Ngàm cứng tuyệt đối, gối tựa hoàn hảo, tiếp xúc không ma sát. Kết quả ra đẹp nhưng xa thực tế. Nếu đơn giản hoá thì phải nói rõ và bàn về ảnh hưởng của nó.
• Chỉ chạy một trường hợp. Một điểm dữ liệu không nói được gì về xu hướng. Chạy vài trường hợp thay đổi một thông số và vẽ đồ thị — vừa cho thấy hành vi của hệ, vừa là phần nội dung thật cho chương kết quả.

Trình bày trong quyển

• Hình lưới — cho thấy mức chia và chỗ làm mịn cục bộ.
• Hình mô hình kèm điều kiện biên — thấy được tải đặt ở đâu.
• Ảnh trường kết quả kèm thang màu có ghi giá trị và đơn vị. Thang màu không có số thì hình chỉ là trang trí.
• Bảng kết quả cho các trường hợp đã chạy.
• Phần kiểm chứng — đặt ngay sau phần kết quả, đừng giấu xuống phụ lục.

Và giữ lại tệp mô phỏng gốc để nộp kèm. Hội đồng có thể muốn xem bạn khai báo thế nào, và đó cũng là bằng chứng bạn tự chạy.

Câu hỏi thường gặp