杜玉越,男,教授,博士生导师,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期.

参考资料