6
สามารถใช้โปรแกรมการสร้างแบบจำลองที่แตกต่างกันสองแบบเพื่อยืนยันผลลัพธ์ของกันและกันได้หรือไม่?
แบบจำลองคอมพิวเตอร์ การสร้างแบบจำลองคอมพิวเตอร์ใช้ในสาขาวิศวกรรมต่าง ๆ ฉันกำลังพิจารณาเฉพาะการวิเคราะห์โครงสร้างหรือการวิเคราะห์องค์ประกอบ จำกัด (FEA) บางครั้งตัวแบบจะถูกใช้เพื่อเร่งการคำนวณซ้ำ ๆ ซึ่งสามารถทำได้ด้วยมือ บางครั้งแบบจำลองจะใช้ในการคำนวณที่ไม่ง่ายหรือทำได้ด้วยมือ การตรวจสอบ มีวิธีการมาตรฐานเล็กน้อยสำหรับการตรวจสอบผลลัพธ์ของรุ่นคอมพิวเตอร์ เรียกใช้แบบจำลองการตรวจสอบและยืนยันว่าผลลัพธ์ตรงกับคำตอบที่คำนวณไว้ก่อนหน้านี้ เรียกใช้แบบจำลองอย่างง่ายที่สามารถตรวจสอบได้ด้วยการคำนวณด้วยมือ ทดสอบแบบจำลองทางกายภาพ ปัญหาเกี่ยวกับวิธีการตรวจสอบสองวิธีแรกข้างต้นคือพวกเขาตรวจสอบเฉพาะสถานการณ์เท่านั้นหรือตรวจสอบเฉพาะส่วนต่าง ๆ ของโปรแกรม วิธีการแบบจำลองทางกายภาพอาจมีราคาแพงสำหรับแบบจำลองขนาดเต็มและแบบจำลองขนาดอาจไม่ให้ผลลัพธ์แบบเดียวกับขนาดเต็ม สิ่งนี้ทำให้เกิดช่องว่างในสิ่งที่สามารถตรวจสอบผลลัพธ์ได้ สำหรับโมเดลที่ซับซ้อนใด ๆ ไม่มีวิธีที่ง่ายในการตรวจสอบว่าผลลัพธ์จากโปรแกรมนั้นถูกต้อง วิศวกรต้องเชื่อมั่นว่าซอฟต์แวร์นั้นให้ผลลัพธ์ที่ถูกต้องจากแบบจำลอง ตรวจสอบเปรียบเทียบ รูปแบบอาจถูกป้อนเข้าไปในสองโปรแกรมที่แตกต่างกัน (ทำโดย บริษัท ที่แตกต่างกัน) ข้อสันนิษฐานคือถ้าผลลัพธ์ของทั้งสองโมเดลมีความคล้ายคลึงกันมากเพียงพอผลลัพธ์ที่ได้ควรถูกต้องสำหรับแบบจำลองที่ใช้ สิ่งนี้จะไม่พบข้อผิดพลาดใด ๆ ในการสร้างแบบจำลองดั้งเดิม แต่จะตรวจจับข้อผิดพลาดในการนำซอฟต์แวร์ไปใช้ สามารถใช้โปรแกรมสองโปรแกรมแยกกันเพื่อตรวจสอบ "ความถูกต้อง" ของผลลัพธ์จากโมเดลได้หรือไม่? การใช้วิธีนี้ในการเปรียบเทียบแบบจำลองในโปรแกรมสองโปรแกรมที่แยกกันนั้นจะให้ระดับความเชื่อมั่นในผลลัพธ์เท่ากันกับวิธีการตรวจสอบอื่น ๆ หรือไม่? อะไรคือข้อเสียของการใช้โพรซีเดอร์นี้?