杜玉越，男，教授，博士生導師，1960年2月出生，山東聊城市人，1982年7月參加工作，1982年7月本科畢業于山東工業大學計算數學專業，1991年4月研究生畢業于南京航空航天大學計算數學專業，獲碩士學位；2003年研究生畢業于同濟大學計算機應用技術專業，獲工學博士學位。現為山東科技大學信息科學與工程學院學術委員會主任。
個人簡介
杜玉越，男，博士，教授，博士生導師。漢族，山東聊城市人，中共黨員。1982年7月本科畢業于山東工業大學計算數學專業，獲學士；1991年3月研究生畢業于南京航空航天大學計算數學專業，獲碩士學位；2003年7月研究生畢業于同濟大學計算機應用技術專業，獲工學博士學位。1998年破格晉升為教授。現為中國計算機學會夏培肅獎高級會員，中國計算機學會Petri網專業委員會常務委員。國家科學技術獎評審會評專家。國際刊物《Information Technology Journal》編委，《IEEE Transactions on Systems, Man and Cybernetics》、《IEEE Transactions on Automation Science and Engineering》、《IEEE Software Magazine》、《Journal of Computer Science and Technology》、《計算機學報》、《軟件學報》等國內外核心期刊的審稿專家。
目前主要從事形式化工程方法、Web服務、港口智能監管、大數據、CSCW系統、工作流、物聯網技術、Petri網理論與應用等方面的教學和研究工作，在《IEEE Transactions on System, Man and Cybernetics--Part A: Systems and Humans》、《IEEE Transactions on System, Man and Cybernetics--Part C: Applications and Reviews》、《Information Sciences》、《Enterprise Information Systems》、《Journal of Computer Science and Technology》、《Chinese Journal of 電子學》、《計算機學報》、《軟件學報》等國內外重要刊物上發表學術論文160余篇，其中SCI收錄16余篇、EI收錄80余篇。作為項目負責人主持國家自然科學基金3項、教育部高等學校博士學科點專項科研基金博導類資助課題1項、山東省科技攻關計劃項目2項、山東省自然科學基金2項、中科院計算機科學國家重點實驗室開放課題4項；作為項目主要學術骨干承擔國家重點基礎項目（973計劃）2項、國家自然科學基金重點項目2項、省部級課題8項。曾獲山東省科技進步二等獎1項（首位）、山東省自然科學三等獎1項（第二位）、上海市優秀博士論文獎、青島市自然科學二等獎1項（第二位）、山東省高校科技進步獎5項。
部分獲獎項目：
2011年11月項目“工作流的建模與動態構建技術研究及應用”獲山東省科技進步二等獎，完成人：杜玉越，傅游，張鵬，龐善臣，劉偉，曾慶田，張福新，花嶸，李鵬。
2002年9月項目“機群網絡系統的模型與算法研究”獲山東省自然科學三等獎，完成人：蔣昌俊 杜玉越 閻春鋼 葉志寶 蔣樹強。
2006年1月論文“電子商務系統的Petri網建模理論與分析技術研究”獲上海市優秀博士論文獎，指導教師：蔣昌俊，完成人：杜玉越。
2012年4月項目“動態工作流的建模理論及方法”獲青島市自然科學二等獎，完成人：龐善臣，杜玉越，曾慶田，劉偉，強海龍
1999年12月項目“Petri網理論及圖形學算法研究”獲山東省教委科學技術進步二等獎，完成人：杜玉越, 曹德范, 李孝忠。
2010年9月項目“邏輯Petri網組合性質及其應用研究”獲山東省研究生優秀科技創新成果二等獎，指導教師：杜玉越，主要完成人：劉偉、閆春、孫海春、周月明。
代表性論文：
YuYue Du, ChangJun Jiang, and MengChu Zhou. Modeling and Analysis of Real-時間 Cooperative Systems Using Petri Nets.IEEE Transactions on Systems, Man, and Cybernetics--Part A: Systems and Humans, September 2007, 37(5): 643-654..
YuYue Du, ChangJun Jiang, MengChu Zhou, and You Fu. Modeling and Monitoring of E-Commerce Workflows.Information Sciences, March 2009, 179 (7): 995-1006.
YuYue Du, ChangJun Jiang, and MengChu Zhou. A Petri Nets Based Correctness Analysis of Internet Stock Trading Systems.IEEE Transactions on System, Man and Cybernetics -- Part C: Applications and Reviews, January. 2008，38(1):93 - 99.
YuYue Du, ChangJun Jiang, and MengChu Zhou. A Petri Net-based Model for Verification of Obligations and Accountability in Cooperative Systems. March 2009，39（2）：299-308.
YuYue Du, Liang Qi, and MengChu Zhou. A Vector Matching Method for Analyzing Logic Petri Nets. Enterprise Information Systems. Sep. 2011，5(4): 449-468.
Yuyue Du, Liang Qi and Mengchu Zhou. Analysis and Application of Logical Petri Nets to E-commerce Systems. IEEE Transactions on Systems, Man, and Cybernetics : Systems. Accepted as Regular Paper. 2013-3.
YuYue Du , YuHui Ning, Liang Qi. Reachability analysis of logic Petri nets using incidence matrix, Enterprise Information Systems. Accepted as Regular Paper. 2013-3. (Published online) (SCI待檢索)
Yuyue Du, Changjun Jiang. Verifying Functions in Online Stock Trading Systems. Journal of Computer Science and Technology, 2004, 19（2）：203-212.
Yuyue Du, Changjun Jiang. On the 設計 and Temporal Petri net Modeling of the Grid Electronic Commerce Systems.Chinese Journal of 電子學, 2008，17（2）：247-251.
Yuyue Du, Changjun Jiang. A Formal Approach for Obligation Analysis of E-Commerce.Chinese Journal of Electronics, 2008，17（2）：200-204
吳洪越，杜玉越. 一種基于邏輯Petri網的Web服務簇組合方法. 計算機學報，待發表，2013.
杜玉越，蔣昌俊 一種基于邏輯Petri網的協同實時系統工作流模擬技術. 《計算機學報》，2004年4期.
參考資料 >