《並行計算模型和並行算法研究》是依託北京大學，由袁崇義擔任負責人的面上項目。
基本介紹
- 中文名：並行計算模型和並行算法研究
- 項目負責人：袁崇義
- 項目類別：面上項目
- 依託單位：北京大學
- 批准號：69673035
- 申請代碼：F0204
- 負責人職稱：教授
- 研究期限：1997-01-01 至 1999-12-31
- 支持經費：8（萬元）
項目摘要
本課題以π演算、UNITY和Petri網等三類不同的並行計算模型為研究對象，探討交叉語義假設是否合理，尋找不依賴交叉語義假設的途徑。研究發現，在交叉語義假設下證明為正確的程式系統允許不可能被用戶接受的性質存在，因而是不合理的。研究表明，UNITY以其邏輯系統為基礎的形式化程式設計方法在保證程式正確性的同時，還能有效發掘程式的並行成分，它對交叉語義假設的依賴是因為它沒有利用客觀存在於賦值語句之間的依賴關係。Petri網恰能彌補這一點。我們提供了適用於描述和分析程式的Petri網---PPNET雛形，已初步實現了擴充的UNITY（BD_UNITY），為進一步研究非交叉語義並行計算模型及其並行語義規則奠定了基礎。本課題有5名碩士和2名博士參與，已畢業3名碩士。
