杜玉越,男,教授,博士生導師,1960年2月出生,山東聊城市人,1982年7月參加工作,1982年7月本科畢業於山東工業大學計算數學專業,1991年4月研究生畢業於南京航空航天大學計算數學專業,獲碩士學位;2003年研究生畢業於同濟大學計算機套用技術專業,獲工學博士學位。現為山東科技大學信息科學與工程學院學術委員會主任。
基本介紹
- 中文名:杜玉越
- 國籍:中國
- 民族:漢族
- 出生地:山東聊城市東昌府區
- 出生日期:1960年2月
- 職業:教師
- 畢業院校:山東工業大學
個人簡介,主要工作,主要成績,主要從事,
個人簡介
杜玉越,男,博士,教授,博士生導師。漢族,山東聊城市人,中共黨員。1982年7月本科畢業於山東工業大學計算數學專業,獲學士學位;1991年3月研究生畢業於南京航空航天大學計算數學專業,獲碩士學位;2003年7月研究生畢業於同濟大學計算機套用技術專業,獲工學博士學位。1998年破格晉升為教授。現為CCF高級會員,中國計算機學會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 Electronics》、《計算機學報》、《軟體學報》等國內外重要刊物上發表學術論文160餘篇,其中SCI收錄16餘篇、EI收錄80餘篇。作為項目負責人主持國家自然科學基金3項、教育部高等學校博士學科點專項科研基金博導類資助課題1項、山東省科技攻關計畫項目2項、山東省自然科學基金2項、中科院計算機科學國家重點實驗室開放課題4項;作為項目主要學術骨幹承擔國家重點基礎項目(973計畫)2項、國家自然科學基金重點項目2項、省部級課題8項。曾獲山東省科技進步二等獎1項(首位)、山東省自然科學三等獎1項(第二位)、上海市優秀博士論文獎、青島市自然科學二等獎1項(第二位)、山東省高校科技進步獎5項。
主要工作
目前主要從事形式化工程方法、Web服務、港口智慧型監管、大數據、CSCW系統、工作流、物聯網技術、Petri網理論與套用等方面的教學和研究工作,作為項目負責人主持國家自然科學基金3項、教育部高等學校博士學科點專項科研基金博導類資助課題1項、山東省科技攻關計畫項目2項、山東省自然科學基金2項、中科院計算機科學國家重點實驗室開放課題4項;作為項目主要學術骨幹承擔國家重點基礎項目(973計畫)2項、國家自然科學基金重點項目2項、省部級課題8項。
主要成績
在《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 Electronics》、《計算機學報》、《軟體學報》等國內外重要刊物上發表學術論文160餘篇,其中SCI收錄16餘篇、EI收錄80餘篇。
曾獲山東省科技進步二等獎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-Time 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. IEEE Transactions on Systems, Man, and Cybernetics--Part A: Systems and Humans, 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 Design and Temporal Petri net Modeling of the Grid Electronic Commerce Systems. Chinese Journal of Electronics, 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期.
主要從事
形式化工程方法、Web服務、港口智慧型監管、CSCW系統、工作流、物聯網技術、Petri網理論與套用等方面的教學和研究工作,在《IEEE Transactions on System, Man and Cybernetics: Systems》、《IEEE Transactions on System, Man and Cybernetics: Applications and Reviews》、《Information Sciences》、《Enterprise Information Systems》、《Journal of Computer Science and Technology》、《Chinese Journal of Electronics》、《計算機學報》、《軟體學報》等國內外重要刊物上發表學術論文160餘篇,其中SCI收錄18篇、EI收錄50餘篇。作為項目負責人主持國家自然科學基金3項、教育部高等學校博士學科點專項科研基金博導類資助課題1項、山東省科技攻關計畫項目2項、山東省自然科學基金2項、中科院計算機科學國家重點實驗室開放課題4項;作為項目主要學術骨幹承擔國家重點基礎項目(973計畫)2項、國家自然科學基金重點項目2項、省部級課題8項。曾獲山東省科技進步二等獎1項(首位)、山東省自然科學三等獎1項(第二位)、山東省優秀博士學位論文指導教師、上海市優秀博士論文獎、青島市自然科學二等獎1項(第二位)、山東省高校科技進步獎5項。