Model Verification

教授模擬已經超過十年了,即使是網路虛擬世界盛行的年代,模擬的觀念對大多數的學生還是相當困難。有些同學好不容易找出程式的語法錯誤後,看到有結果出來就如釋重負地以為大功告成,卻沒有發現模擬的運作過程不同於作業的要求,繳交作業前才發現模擬的結果與別人有明顯的差距,而不知道該如何找出問題的癥結。

為甚麼我在課堂上不教這些東西呢?時間不夠啦。即使將模擬改成兩學期的課,也不可能涵蓋所有重點。剛好學校有筆經費補助,所以我選擇程式驗證與實驗設定這兩個部份寫了幾個範例,請同學幫我寫成網頁,有興趣的人進來看看吧。

Caution: 建議依照流程順序進行學習。

返回教學系統首頁

Revised 2006/1/1