那些被組織為單向計算的計算機程序(它們對輸入執行操作以產生需要的輸出)并不適合于實現那些需要求解約束條件的系統。與攝氏溫度和華氏溫度有關的常見方程式說明了這一涉及到變量和約束條件的問題。
9c = 5(f - 32)
這樣的方程式不是單向的。給定其中任何一個數量,我們可以使用它來計算另一個數量。假設我們具有一個方程式,其中 c 和 f 是變量,適用于它們的約束條件是數學條件加、減、乘、除(非常類似于 CAD 系統)。然而,將該方程式轉換為程序將迫使我們根據其中一個數量來計算另一個數量。用于計算 c 的函數無法用來計算 f,盡管它們的計算產生于相同的方程式。
返回頁首
問題陳述
設計一個表示上述方程式的系統,以便用來根據一個數量計算另一個數量。
問題域
我們具有一個方程式,其中 c 和 f 是變量,而適用于它們的約束條件是數學條件“加、減、乘、除”。在我們求解該方程式的過程中,將實施各種約束條件并計算中間值。如果用變量表示所有值(包括中間值),則可以按如下方式分解該方程式的左側部分。
k = 9;
延伸閱讀
文章來源于領測軟件測試網 http://www.kjueaiud.com/