龐善臣，男，博士，山東嘉祥縣人，1974年10月18日出生，中共黨員，現為山東科技大學信息科學與工程學院副院長、副教授，中國計算機學會Petri網專業委員會委員， 2008年2月同濟大學計算機軟體與理論專業博士畢業，2009年3月，在清華大學從事博士後研究工作。
基本介紹
- 中文名：龐善臣
- 性別：男
- 學歷：博士
- 籍貫：山東嘉祥縣人
- 年齡：1974年10月18日出生
- 面貌：中共黨員
- 職務：教授
簡介,發表的主要論文,主持或參與的理論項目及獲獎情況,
簡介
從事（高級）Petri網理論與套用、形式化方法、模型檢查、CSCW系統、分散式並發系統分析與驗證等領域的教學和研究工作，主持國家自然科學基金項目1項，主持國家博士後基金項目1 項，作為學術骨幹參加國家重點基礎研究計畫項目（973）1項，參加國家863項目1項、國家自然科學基金項目3項、上海市重大重點計畫等省級基金項目3 項，在《IEEE Trans. Industrial Informatics》、《IEEE T. Systems, Man, and Cybernetics: Systems》《Discrete Mathematics》《Graphs and Combinatorics》《Dynamics of Continuous, Discrete and Impulsive Systems》《計算機學報》《軟體學報》《自動化學報》《電子學報》等雜誌上發表論文40餘篇，其中SCI檢索8篇、EI檢索26篇；其中2012年在《電子學報》發表的論文入選科技部情報所的《領跑5000》（《電子學報》每年不多於兩篇入選）；獲得授權專利2項，軟體著作權2件，獲山東省科技進步二等獎1項，青島市自然科學二等獎2項，黃島區自然科學二等獎1項，山東省高等學校科研成果二等獎、三等獎各1項，入選2011年青島市第八屆青年科技獎，入選2015年山東省第十一屆青年科技獎，擔任多個國際會議的程式委員和程式主席，擔任多個國際及國內重要期刊的審稿人。主持企業信息化項目10餘項，獲第一屆山東科技大學優秀青年科技工作者、“我心目中的好老師”、創新活動指導獎等10餘項稱號，指導學生參加美國數學建模競賽，獲一等獎1項、二等獎2項，參加全國數學建模競賽，獲國家一等獎、二等獎各1項。
發表的主要論文
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.龐善臣,蔣昌俊.一種基於不變數結構分解的工作流性能分析.計算機學報，2010,33(5):908-918.(EI檢索)
9.龐善臣,林闖.可重寫Petri網：位置可重寫及性質分析.計算機學報,2012,35(10):2182-2193.(EI檢索)
10.龐善臣.一種基於資源約束的工作流建模及分析方法.電子學報,2012, 40(8):1497-1502.(EI檢索)
11.尹浩,袁小群,林闖,張法,龐善臣,劉志勇.內容網路服務節點部署理論綜述.計算機學報，2010,33(9):1611-1620.(EI檢索)
12.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檢索）
13.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.
14.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.
15.Shanchen Pang, Eryan Li.Rating and Generating Sudoku Puzzles. ETCS2010,Wuhan. IEEE Society 5-6 March. 2010(EI檢索)
16.Hua He,Shanchen Pang.A Stochastic Network Calculus Approach for NCS Performance Analysis.2010 IEEE Asia-Pacific Services Computing Conference, December 6 - 10, 2010, Hangzhou, China:492-498.(EI檢索)
17.XU Guangquan,PANG Shanchen, GAO Honghao, XIAO Yingyuan,LI Xiaohong,FENG Zhiyong. State/Action-based Fairness Verification for Non-determinism. Chinese Journal of Electronics. 2011.20(4):603-606 (SCI、EI)
18.Li Yin; Lin Chuang;Pang Shan-Chen; Zhou Meng-Chu. DPLWN: a novel model for designing and implementing dynamic business processes and process changes.2010 International Conference on Computational Science and Its Applications: 145-154.
19.Yan Wei, Lin Chuang,Pang Shanchen.The optimized reinforcement learning approach to run-time scheduling in data center9th International Conference on Grid and Cloud Computing 2010:45-51. (EI檢索)
20.范小芹,蔣昌俊,王俊利，龐善臣.隨機QoS感知的Web服務組合.軟體學報,2009,30(3):546-556.(EI檢索)
21.Shanchen Pang,Chuang Lin, Mengchu Zhou, Yin Li.A Workflow Decomposition Algorithm Based on Invariants. Chinese Journal of Electronics. 2011, 20(1):1-5. (SCI、EI)
22.Shanchen Pang, Yin Li, Hua He, Chuang Lin.A Model for Dynamic Business Processes and Process Changes. Chinese Journal of Electronics. 2011.20(4):632-636 (SCI、EI)
主持或參與的理論項目及獲獎情況
主持國家自然科學基金重大研究計畫項目1項，國家自然科學基金面上項目3項，國家重點基礎研究計畫項目子課題（973）1項，科技部創新工作方法專項課題1項，教育部科技發展中心計畫項目1項，山東省優秀中青年科學家科研獎勵基金項目1項，青島市科技發展計畫項目1項，參加國家863項目、國家自然科學基金項目、上海市重大重點計畫等項目
往年重要課題：
1、中國國家博士後基金項目：基於Petri網重寫的服務組合方法研究（No. 20090460318）2009.12～2011.3，項目主持人
2、國家重點基礎研究計畫項目（973）：信息服務的服務質量控制與度量（No.2010CB328105）,學術骨幹
3、國家自然科學基金項目：面向可信管理的軟體病態模型、機理及理論研究（No.90718012）2008.1～2010.12，參加
4、國家自然科學基金項目：DNA計算模型的理論研究及套用（No.60503002）2006.1～2008.12，參加
5、龐善臣,張金泉,丁志軍,紀淑娟,劉關俊. 基於Petri網的協同系統建模及套用，獲2006年山東高等學校科研成果自然科學三等獎.
6、圖與仿生計算理論及套用的研究，山東高等學校優秀科研成果獎自然科學二等獎，2005，第五位.
7、生物計算理論、模型及最佳化套用，青島市自然科學二等獎，2009，第4位
近5年主持的縱向課題級（代表性）：
1．國家自然科學基金項目：Petri網可重寫理論及在服務組合中的套用（No. 60970001）2010.1-2012.12，項目主持人
2．國家自然科學基金重大研究計畫項目：面向電子商務服務的可信軟體關鍵技術及集成方案研究（No.91018007）2011.1-2011.12, 項目主持人
3.國家自然科學基金項目：可重寫Petri網理論及在大規模動態分散式系統中的套用（No.61272093）2013.1-2016.12，項目主持人
4.國家自然科學基金項目：基於第三方的電子商務可信軟體線上度量方法及集成研究（No. 61572523）2016.1-2019.12，項目主持人
5.國家重點基礎研究計畫項目（973）：信息服務的服務質量控制與度量（No.2010CB328105）, 2010.1-2014.08，子課題主持人
6.山東省優秀中青年科學家科研獎勵基金: 基於虛擬機架構的信息服務可信關鍵技術研究 (No.BS2011DX027) 2011.12-2014.11項目主持人
7.教育部科技發展中心計畫項目（網路時代的科技論文快速共享研究（2013））：基於劃分及加權語義梯度的論文相似度關鍵技術及系統設計（No.2013126）2013.1-2013.12，項目主持人
8.科技部創新工作方法專項：油氣開採智慧型生產創新方法推廣方案（大數據環境下的油氣開採創新方法研究與套用示範No.201502005006）2016.1-2017.12，第六課題負責人.
