计算机模型与算法研究所
姓名:杜玉越 性别:男 学历:博士研究生
职称:教授 办公室: 隶属部门:计算机科学与技术系,计算机科学与技术系
联系方式:
个人简介:
现为CCF高级会员,中国自动化学会网络信息服务专委委员。国家科学技术奖评审会评专家。发表学术论文160余篇,其中SCI收录17篇。主持国家自然科学基金3项、国家973项目子课题2项。获山东省科技进步奖2项。获山东省优秀研究生指导教师和青岛西海岸新区拔尖人才荣誉称号。
详细信息:
杜玉越,男,博士,山东聊城市人,中共党员。现为山东科技大学计算机科学与工程学院学术委员会主任、三级教授、博士生导师。1982年7月本科毕业于山东工学院计算数学专业,获学士学位;1991年3月研究生毕业于南京航空航天大学计算数学专业,获硕士学位;2003年7月研究生毕业于同济大学计算机应用技术专业,获工学博士学位。1998年破格晋升为教授。1982-1985年在山西矿业学院任助教;1985-2005年在聊城大学计算机学院任助教、讲师、副教授、教授、院长;2005年至今在山东科技大学工作。现为CCF高级会员,中国自动化学会网络信息服务专业委员会委员。国家科学技术奖评审会评专家。《计算机工程与应用》编委,《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收录17篇、EI收录60余篇。作为项目负责人主持国家自然科学基金3项、教育部高等学校博士学科点专项科研基金博导类资助课题1项、山东省科技攻关计划项目2项、山东省自然科学基金2项、中科院计算机科学国家重点实验室开放课题4项;作为项目主要学术骨干承担国家重点基础项目(973计划)2项、国家自然科学基金重点项目2项、省部级课题8项。曾获山东省科技进步二等奖1项(首位)、山东省自然科学三等奖1项(第二位)、山东省优秀博士学位论文指导教师、上海市优秀博士论文奖、青岛市自然科学二等奖1项(第二位)、山东省高校科技进步奖5项。获山东省优秀研究生指导教师和青岛西海岸新区拔尖人才等荣誉称号。 部分获奖项目:2011年11月项目“工作流的建模与动态构建技术研究及应用”获山东省科技进步二等奖,完成人:杜玉越,傅游,张鹏,庞善臣,刘伟,曾庆田,张福新,花嵘,李鹏。2002年9月项目“机群网络系统的模型与算法研究”获山东省自然科学三等奖,完成人:蒋昌俊杜玉越 阎春钢 叶志宝 蒋树强。2014年6月论文“服务组合及其相关技术研究”获山东省优秀博士学位论文奖,指导教师:杜玉越,完成人:刘伟。2016年11月论文“基于服务簇集的Web服务发现研究”获山东省优秀博士学位论文奖,指导教师:杜玉越,完成人:宁玉辉。2006年1月论文“电子商务系统的Petri网建模理论与分析技术研究”获上海市优秀博士论文奖,指导教师:蒋昌俊,完成人:杜玉越。2012年4月项目“动态工作流的建模理论及方法”获青岛市自然科学二等奖,完成人:庞善臣,杜玉越,曾庆田,刘伟,强海龙2010年9月项目“逻辑Petri网组合性质及其应用研究”获山东省研究生优秀科技创新成果二等奖,指导教师:杜玉越,主要完成人:刘伟、闫春、孙海春、周月明。部分科研项目:国家自然科学基金(No. 61170078):逻辑Petri网演化推理机制研究及其在服务组合中的应用,2012.01-2015.12,项目负责人。国家自然科学基金(No. 60773034):逻辑Petri网理论及其合成运算性质研究,2008.01-2010.12,项目负责人。国家自然科学基金(No. 60573018):基于Petri网的电子商务系统形式化分析与验证技术研究,2006.1-2006.12,项目负责人。国家973计划课题(No. 2010CB328101):信息服务的过程范式理论,2010.01-2014.12,第2位。(主要学术骨干)国家973计划课题(No. 2004CB318001):数学机械化理论与核心算法,2005.1-2009.12,第9位。(学术骨干)山东省科技攻关项目(No. 2011GGX10114):基于物联网与4D的口岸危险品集装箱智能监管技术研究, 2011.01-2012.12,项目负责人。山东省科技攻关项目(No. 2008GG30001024):基于动态工作流的协同软件平台设计与开发, 2008.7-2009.12, 项目负责人。山东省自然科学基金项目(No. 2004ZX17):企业电子交易P2P计算模式与搜索机制研究,2004.12-2006.12,项目负责人。代表性论文: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, v 44, n 4, p 468-481, April 2014.YuYue Du, YuHui Ning, Liang Qi. Reachability analysis of logic Petri nets using incidence matrix, Enterprise Information Systems. Nov. 2014, 8(6): 630-647.YuYue Du , YuHui Ning. Property Analysis of Logic Petri Nets Using Reachable Marking Graphs. Frontiers of Computer Science, Aug. 2014, 8(4): 684-692.Hu Qiang, Yuyue Du. Service Net Algebra Based on Logic Petri Nets. Information Sciences, June 2014,268: 271–289.Wei Liu, YuYue Du, MengChu Zhou, Chun Yan. Transformation of Logical Workflow Nets. IEEE Transactions on Systems, Man, and Cybernetics: Systems, v 44, n 10, p 1401-1412, October 2014.Yuyue Du,Their Reachable Trees. Enterprise Information Systems, November 17, 2015, 9(8): 900-919.Wei Liu, Yuyue Du, Chun Yan. Soundness preservation in composed logical time workflow nets. Enterprise Information Systems. February 2012,6 (1): 95-113.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, 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杜玉越,薛洁,李彦成. 基于服务簇的服务组合替换与分析. 电子学报, 2014, 42 (11): 2231-2238.吴洪越,杜玉越. 一种基于逻辑Petri网的Web服务簇组合方法. 计算机学报,《计算机学报》,2015年1期.杜玉越,蒋昌俊. 一种基于逻辑Petri网的协同实时系统工作流模拟技术. 《计算机学报》,2004年4期. 联系方式:Email:yydu001@163.com
通信地址:青岛市黄岛区(东区)前湾港路579号 山东科技大学计算机学院(邮编:266590)