简介

近 5年发表的主要论文

主持或参与的理论项目及获奖情况

简介

庞善臣，男，博士，山东嘉祥县人，1974年10月18日出生，中共党员，现为山东科技大学信息科学与工程学院副院长、副教授，中国计算机学会Petri网专业委员会委员， 2008年2月同济大学计算机软件与理论专业博士毕业，2009年3月，在清华大学从事博士后研究工作。近十年来一直从事（高级）Petri网理论与应用、形式化方法、模型检查、CSCW系统、分布式并发系统分析与验证等领域的教学和研究工作，主持国家自然科学基金项目1项，主持国家博士后基金项目1 项，作为学术骨干参加国家重点基础研究计划项目（973）1项，参加国家863项目1项、国家自然科学基金项目3项、上海市重大重点计划等省级基金项目3 项，在《Discrete Mathematics》《Graphs and Combinatorics》《Dynamics of Continuous, Discrete and Impulsive Systems》《计算机学报》《软件学报》《自动化学报》《电子学报》等杂志上发表论文30余篇，其中SCI、EI检索10篇；主持企业信息化项目10余项，获山东高等学校科研成果二等奖、三等奖各1项，获第一届山东科技大学优秀青年科技工作者、“我心目中的好老师”、创新活动指导奖等10余项称号，三年来，指导学生参加美国数学建模竞赛，获一等奖1项、二等奖2项，参加全国数学建模竞赛，获国家一等奖、二等奖各1项。

近 5年发表的主要论文

1.庞善臣,蒋昌俊,孙萍,周长红.共享合成Petri网的性质分析.自动化学报,2004,30(6):944-948.(EI检索)

2.庞善臣,蒋昌俊.基于家态的多事务工作流完整性分析.电子学报,2006,34(6):1163-1168.(EI检索)

3.庞善臣,蒋昌俊.一种基于不变量结构分解的工作流性能分析.计算机学报，2009

4.庞善臣,蒋昌俊.Petri网在工作流系统建模和分析中的应用.系统仿真学报,2005,17:100-104.（EI检索）

5.庞善臣,蒋昌俊.工作流模型验证及分解的多项式算法分析.同济大学学报，2009,37(3):390-394.(EI检索)

6.庞善臣,王淑栋.一种基于模式最长前缀正文分割的串匹配新算法.小型微型计算机系统，2004,25(3):404-406.

7.庞善臣,王淑栋,蒋昌俊.BM串匹配的一个改进算法. 计算机应用,2004,24(12):11-13.

8.Shanchen pang, shumei wang, changjun jiang. A Framework for Designing Grid Workflow System based on Ontology. The 6th International Conference on Grid and Cooperative Computing,IEEE Computer Society:2007,354-360.（EI检索）

9.Shan-chen Pang,Xiao-wei Guan,Zhi-hui Lin,Lei-zhi Wang. Effective Approach Based on Divide-and-Conquer and Genetic Algorithm for Redistricting. Dynamics of Continuous, Discrete and Impulsive Systems,2007,Vol.14(3S):950-956.

10.PANG Shan-Chen,SU Yan-Sen,LI Ye, SU Jie, ZHANG Huai-Zhou. A Study on the Model of the Traffic Signs in the Traffic Circle. ICIECS 2009.

11.范小芹,蒋昌俊,王俊利，庞善臣.随机QoS感知的Web服务组合.软件学报,2009,30(3):546-556.(EI检索)

主持或参与的理论项目及获奖情况

1、国家自然科学基金项目：Petri网可重写理论及在服务组合中的应用（No. 60970001）2010.1～2012.12，项目主持人

2、中国国家博士后基金项目：基于Petri网重写的服务组合方法研究（No. 20090460318）2009.12～2011.3，项目主持人

3、国家重点基础研究计划项目（973）：信息服务的服务质量控制与度量（No.2010CB328105）,学术骨干

4、国家自然科学基金项目：面向可信管理的软件病态模型、机理及理论研究（No.90718012）2008.1～2010.12，参加

5、国家自然科学基金项目：DNA计算模型的理论研究及应用（No.60503002）2006.1～2008.12，参加

6、庞善臣,张金泉,丁志军,纪淑娟,刘关俊. 基于Petri网的协同系统建模及应用，获2006年山东高等学校科研成果自然科学三等奖.

7、图与仿生计算理论及应用的研究，山东高等学校优秀科研成果奖自然科学二等奖，2005，第五位.

8、生物计算理论、模型及优化应用，青岛市自然科学二等奖，2009，第4位.