《具有模糊性程式語義模型的研究》是依託華東師範大學，由陳儀香擔任項目負責人的面上項目。
基本介紹
- 中文名：具有模糊性程式語義模型的研究
- 項目類別：面上項目
- 項目負責人：陳儀香
- 依託單位：華東師範大學
- 批准號：60673117
- 申請代碼：F0203
- 負責人職稱：教授
- 研究期限：2007-01-01 至 2009-12-31
- 支持經費：26（萬元）
項目摘要
計算機語言的語義研究是計算機科學技術研究的大方向之一，她主要包含了操作語義、指稱語義、公理語義以及謂詞演算系統等類型的語義模型，其研究成果對程式設計語言、編譯技術、軟體安全以及分散式系統等分支領域有重大的實際意義。.在基本上完成經典語義模型建立後，人們開始關注非經典程式語義模型的建立和研究。具有隨機性的程式語義模型首先受到了理論與套用人士的關注。人們使用機率和統計方法，建立了機率進程演算系統，機率進程指稱語義的機率冪域理論，以及機率謂詞演算系統。.模糊性是計算機世界的另一不精確和不確定性的表現形式，如模糊查詢以及模糊輸入。.本項目在已有的研究工作基礎上，進一步地研究具有模糊性的形式語義模型，包括模糊進程代數，模糊謂詞演算系統。在此基礎上建立程式的模糊語義，以及模糊算法的語義，其研究成果無論理論上還是實際套用上都有較高的價值。
