计算机模型与算法研究所
姓名：刘 伟 性别：男 学历：博士
职称：教授 办公室：计算机系 隶属部门：教科研办公室
联系方式：15063992767，liuwei_doctor@yeah.net，欢迎2019级研究生联系
个人简介：
博士，教授，博导，主持国家自然科学基金面上项目，山东省自然科学基金面上项目等；获省科技进步奖、青岛市自然科学奖、省优秀博士论文等多项科研奖励。发表论文30余篇，其中第一作者作者SCI、EI检索10余篇；主要研究方向：工作流、服务计算、Petri网理论与应用、软件形式化分析与验证。
详细信息:
刘 伟 教授，博导，博士，计算机科学与技术系
从事工作流、服务组合、、大数据分析、Petri网理论与应用等方面的研究工作。在《Enterprise Information System》、《IEEE Transactions on Systems Man and Cybernetics: Systems》、《计算机学报》、《计算机集成制造系统》、《Journal of Software Engineering》、《Journal of Applied Science》、《Journal of Computational Information Systems》等国内外学术期刊上发表录用相关论文30余篇，SCI、EI期刊检索10余篇；参编教材1部；主持参与项目29项，其中主持国家自然科学基金面上项目1项、山东省自然科学基金1项、山东省高等学校科技计划项目1项，主持山东省研究生教育创新计划资助项1项，主持嵌入式系统与服务计算教育部重点实验室开放课题基金1项，以主要成员（第二、三位）参加973专题、863子课题、国家自然科学基金重大研究计划子项目3项，以主要成员（第三位）参加山东省科技攻关、教育部项目项，以主要成员（第二位）参与教育部等重点实验室项目3项，以其它位次参与国家自然科学基金重点课题、863子课题、省、部、厅、校各级项目17项；荣获8项省、市厅级奖励，2014年获山东省优秀博士论文奖、有1项科技成果获2013年山东高等学校优秀科研成果（自然科学类）奖（第一位）、有1项科技成果获山东省研究生优秀科技创新成果奖二等奖（第一位），获山东省科技进步二等奖1项，青岛市自然科学奖二等奖1项；2013年获山东软科学优秀成果奖一等奖1项；另外，有1项科技成果鉴定为国际先进。
主持或参加科研项目
项目类别、批准号、名称、研究起止年月、获资助金额、项目状态
1. 国家自然科学基金项目、61472228、扩展逻辑Petri网理论及其在跨组织业务过程协同中的应用研究、2015.01-2018.12、85万元、在研、项目负责人
2. 山东省自然科学基金、ZR2014FM009、扩展逻辑工作流网理论及其在组织间业务过程协同中的应用研究、2014.12-2017.12、16万元、在研、项目负责人
3. 山东省高等学校科技计划项目、J12LN11、逻辑Petri网组合性质及其在分布式协同工作流中的应用、2012.6-2015.12、6万元、结题、项目负责人
4. 嵌入式系统与服务计算教育部重点实验室开放基金、ESSCKF201301、分布式Web服务集成形式化模型与分析方法研究、2013-2015、2万元、结题、项目负责人
5. 山东省研究生教育创新计划项目、SDYY10018、计算机类工程硕士学位论文质量保障体系研究、2010.7-2012.6、2万元、已结题、项目负责人
6. 国家自然科学基金项目、61170078、逻辑Petri网演化推理机制研究及其在服务组合中的应用、2012.01-2015.12、结题、参加（第4位）
7. 教育部高等学校博士学科点专项科研基金项目、逻辑Petri网的推理分析技术及其在服务组合中的应用、2012.01-2014.12、12万元、结题、参加（第3位）
8. 山东省高等学校科技计划项目、基于虚拟总线的网络环境下协同服务若干关键技术研究、2012.6-2015.12、6万元、结题、参加
9. 国家自然科学基金重大研究计划项目、面向电子银行的病态软件行为模型及验证理论研究、2010-2011、12万元、已结题、参加
10. 山东省科技攻关项目、2008GG30001024、基于动态工作流的协同软件平台设计与开发、2008.7-2009.12、已结题、参加（第3位）
获奖和鉴定成果
1. 刘伟、杜玉越等，分布式协同系统形式化模型及其应用研究，山东高等学校优秀科研成果奖（自然科学类）,2015,
2. 刘伟、杜玉越等，Web服务集成形式化建模与分析技术研究.山东高等学校优秀科研成果奖（自然科学类），2013。
3. 刘伟，服务组合及其相关技术研究，山东省优秀博士论文，2014
4. 刘伟 等，逻辑Petri网组合性质及其应用研究，山东省学位委员会、教育厅，山东省研究生优秀科技创新成果奖，二等奖，2010。
5. 杜玉越、傅游、张鹏、庞善臣、刘伟、曾庆田等，工作流的建模与动态构建技术研究及应用，山东省人民政府，山东省科技进步奖，二等奖，2011。
6.庞善臣、杜玉越、曾庆田、刘伟 等，动态工作流的建模理论与方法，青岛市人民政府，青岛市自然科学奖，二等奖，2011。
7. 吴洪越、亓亮、栾文静、刘伟、胡强，一种基于逻辑Petri网的Web服务簇组合方法，山东省研究生优秀科技创新成果奖二等奖，2013。
8.贺国平、梁永全、吴哲辉、郑永果、彭延军、刘伟、王向荣、杜玉越、梁向前，构建研究生教育创新平台，培养高素质人才，山东省省级教学成果奖评审委员会，山东省研究生教育省级教学成果奖，二等奖，2009。
9. 傅游、杜玉越、花嵘、韩丛英、刘伟，基于有机计算的分布计算系统资源自主管理模型与方法研究，山东省科学技术厅，鉴定达到国际先进水平。
发表录用部分期刊论文
1. Wei Liu，Yuyue Du，Chun Yan. Soundness preservation in composed logical time workflow nets. Enterprise Information System.6(1):95-113. 2012（SCI收录: 914BL）
2. Wei Liu, Yuyue Du, et al. Transformation of Logical Workflow Nets. IEEE Transactions on Systems Man and Cybernetics: Systems. 2014.10 . SCI收录
3 Wei Liu，Lu Wang（研究生），Yuyue Du，Deadlock Property Analysis of Concurrent Programs Based on Petri Net Structure，International Journal of Parallel Programming，2017, SCI
4 Wei Liu，Lu Wang（研究生），et al. Modeling and Analysis for Uncertainty in Logistic Chains Based on Logical Time Petri Nets. 2017, SCI
5 Wei Liu，Lu Wang（研究生），Yuyue Du，Pin Wang（研究生），Property Analysis of Composable Web services，Telecommunication Computing & Electronics and Control, 2016.6. EI收录
6 王聘（研究生），刘伟（通讯作者），杜玉越，基于逻辑数据Petri网的业务过程建模与分析，计算机集成制造系统，2017, EI
7 Wei Liu，Pin Wang（研究生），Yuyue Du，et al.，Logical Petri Nets with Data,2015. EI收录
8. Wei Liu, Yuyue Du, Chun Yan. A web service discovery and composition method based on service classes. Journal of Software Engineering, 2013, 7(2): 68-76. （EI收录: 20132016341209）
9. Wei Liu*, Yuyue Du, Chun Yan. A service selection method based on Web service Clusters. Journal of Applied Science, 2013, 13(24): 5734-5738. （EI收录:20140517256965）
10. Wei Liu*,Yuyue Du, Chun Yan. Properties Analysis of Substitution of Logical Workflow Nets. Journal of Computational Information Systems, 2014. EI收录
11. Wei Liu*,Yuyue Du, Chun Yan. A method to calculate recommendation trust of Web services. Journal of Software Engineering, 2014. EI收录
13. Wei Liu*，Yuyue Du，Haichun Sun. Soundness Analysis of T-Restricted Interorganizational Logical Workflow Nets. Information Technology Journal, 8(6): 821-829, 2009.（EI收录: 20093112225210）
14. Wei Liu*，Yuyue Du，Baoqi Guo，Chun Yan，Qiang Xu. A Fast Algorithm for Web Service Composition Based on Dynamic Description Logic. Information Technology Journal, 9(6): 1150-1157,2010.（EI收录: 20102813075745）
15. Wei Liu*，Yuyue Du，Huanqing Cui，Chun Yan. Liveness Analysis of Parallel Programs Petri Net Models. International Conference on Information Engineering and Computer Science (ICIECS2009): 2517-2520, 2009.12.（EI收录：20101212795472）
16. Wei Liu*，Yuyue Du，Haichun Sun，Chun Yan. Soundness Verification and Analysis of Interorganizational Logical Workflow Nets.The 2nd International Workshop on Education Technology and Computer Science (ETCS2010):354-357,2010.3.（EI收录：20102312986130）
联系方式：
电话：15063992767
欢迎2017级硕士研究生联系
