計算機模型
計算機建模用於各種工程領域。我專門考慮結構分析或有限元分析(FEA)。有時使用模型來加快可以手工完成的重複計算。有時使用模型來執行不容易甚至無法手工完成的計算。
檢查
有幾種標準方法可以用來檢查計算機模型的結果。
- 運行驗證模型並確認結果與先前計算的答案相符。
- 運行可以通過手動計算進行檢查的簡單模型。
- 測試物理模型。
上面兩種檢查方法的問題在於它們要么只檢查特定情況,要么僅檢查程序的簡單部分。
對於全尺寸模型,物理模型方法可能會很昂貴,而比例模型可能無法始終獲得與全尺寸模型相同的結果。
這在可檢查的結果上留下了空白。對於任何復雜的模型,沒有簡單的方法來檢查程序的結果是否正確。工程師必須相信該軟件能夠從模型中產生正確的結果。
比較檢查
模型可以輸入到兩個不同的程序中(由不同的程序組成)。公司)。假設是,如果兩個模型的結果足夠相似,則結果對於所使用的模型應該是正確的。這不會在創建原始模型時捕獲任何錯誤,但會捕獲軟件實現中的錯誤。
- 能否使用兩個單獨的程序來檢查結果的“正確性”
- ?是否可以使用這種在兩個單獨程序中比較模型的方法來提供與其他任何檢查方法相同的結果保證水平? >
- 使用此過程可能有什麼缺點?