程式表征

程式表征，人類認知表征形式的類型之一，表征難以詳細描述的信息，採用計算機模型和實驗來加以研究。

基本介紹

• 中文名：程式表征
• 外文名：procedural representation

程式

對於程式設計而言，表征和計算從不同側面刻畫了程式可以實現的智慧型功能。就像計算機必須基於二進制這種表征方式去設計計算方式一樣，程式設計中的計算方式也必須基於特定表征方式之上。也就是說，表征方式決定了可以採取的計算方式。在並行程式中，基於不同表征方式的軟體決定了該種軟體可以實現的特定功能。研究並行程式的表征方式及其發展趨勢，是並行程式設計發展的關鍵前提所在。

發展原因

隨著人工智慧、作業系統、語言開發、編譯技術、通信技術、大規模資料庫、多處理機等套用技術的發展，並行處理的重要性日益顯現出來。當前，並行處理主要糾結於算法問題，用並行語言作為描述手段，受到軟硬體及通信環境的制約。因此，並行程式設計中的首要事務，不僅僅是程式設計本身，還需要多層次全面考慮。尤其是程式的表征問題，其重要性隨著並行程式的廣泛套用而逐漸突顯出來。並行程式的發展受到兩個方面的驅動:一方面是計算機硬體技術的發展;另一方面是計算機軟體的發展。

特徵性

並行系統不可避免地會受到並行性、通訊、不確定性、系統死鎖系統的拓撲結構、驗證等問題的困擾，而這些問題都與程式語言的表征方式相關。程式語法、語義的複雜，是當前程式語言難以被推廣接受的一個主要因素。用戶需要自行解決任務和程式的劃分、數據交換、同步和互斥以及性能平衡等各種因素。FORTRAN 語言是第一個面向過程的高級語言，是科學計算領域最主要的程式語言。