袁崇義，漢族，陝西澄城人，中共黨員，在職中央黨校大學學歷，1965年4月出生，1985年7月參加工作。
現任陝西省渭南市審計局調研員調研員。
基本介紹
- 中文名：袁崇義
- 國籍：中國
- 籍貫：陝西澄城
- 政治面貌：中共黨員
袁崇義(陝西省渭南市審計局調研員)
本詞條是多義詞，共2個義項
收起列表 ▲
相關詞條
- 袁崇義
袁崇義，漢族，陝西澄城人，中共黨員，在職中央黨校大學學歷，1965年4月出生，1985年7月參加工作。現任陝西省渭南市審計局調研員調研員。...
- 袁崇義(山東省濱海區籍貫烈士)
袁崇義 袁崇義（1921年-1939年10月），男，山東省濱海區人。生前是八路軍山東縱隊一支隊戰士，1939年10月在臨朐五井犧牲。人物生平 生前是八路軍山東縱隊一支隊戰士。犧牲情況 1939年10月在臨朐五井犧牲。
- Petri網套用
《Petri網套用》是2013年出版的圖書，作者是袁崇義。內容簡介 《信息科學技術學術著作叢書:Petri網套用》以幫助讀者用好Petri網為目的，以實例深入淺出地介紹Petri網，包括（定性與定量的）靜態結構、動態性質和分析方法等。作者將30餘年來對Petri網理論的學習、研究和實踐凝聚到《信息科學技術學術著作叢書:Petri網套用》...
- OESPA:面向語義的編程理論(英文版)
《OESPA：面向語義的編程理論（英文版）》是2019年科學出版社出版的圖書，作者是袁崇義。內容簡介 傳統的軟體理論研究是形式語法和形式語義分離，語義研究成果沒有實用性，測試一直是軟體開發的必要步驟。本書是統一研究語法與語義的成果，包括程式模型（OE），語義公理（A），語義謂詞（SP），語義謂詞演算，是一套全新...
- Petri網原理與套用
《Petri網原理與套用》是2005年3月電子工業出版社出版的圖書。作者是袁崇義。內容簡介 Petri網是一種適合於描述異步並發現象的系統模型，它既有嚴格的數學定義，又有直觀的圖形表示，既有豐富的系統描述手段和系統行為分析技術，又為計算機科學提供堅實的概念基礎。本書是對《Petri網原理》一書的修訂，增加了大量的...
- 並行計算模型和並行算法研究
《並行計算模型和並行算法研究》是依託北京大學，由袁崇義擔任負責人的面上項目。項目摘要 本課題以π演算、UNITY和Petri網等三類不同的並行計算模型為研究對象，探討交叉語義假設是否合理，尋找不依賴交叉語義假設的途徑。研究發現，在交叉語義假設下證明為正確的程式系統允許不可能被用戶接受的性質存在，因而是不合理的。
- 非交叉語義並行計算模型及其語義組合規則
《非交叉語義並行計算模型及其語義組合規則》是依託北京大學，由袁崇義擔任負責人的面上項目。項目摘要 交叉語義假設是並行計算模型共同的語義基礎，其合理性卻沒有得到論證。人們追求並行程式系統的組合語義描述，迄今也沒有滿意的結果。上述現象的根本原因是缺乏對並行程式系統靜態結構的準確描述。本課題以Petri網結構為...
