北方工業(yè)大學(xué)計(jì)算機(jī)科學(xué)與技術(shù)研究生導(dǎo)師介紹：郭峰

導(dǎo)師信息來源：中國考研網(wǎng) 2016-07-07　相關(guān)院校：北方工業(yè)大學(xué)

北方工業(yè)大學(xué)計(jì)算機(jī)科學(xué)與技術(shù)研究生導(dǎo)師介紹：

2008年畢業(yè)于北京航空航天大學(xué)計(jì)算機(jī)學(xué)院,獲博士學(xué)位. 2008年7月任教于北方工業(yè)大學(xué)信息工程學(xué)院計(jì)算機(jī)系, 發(fā)表論文十余篇,其中EI檢索和核心期刊多篇. 主要研究方向?yàn)檐浖こ? Petri網(wǎng),服務(wù)計(jì)算等.

個(gè)人簡歷

教授課程

軟件工程
軟件體系結(jié)構(gòu)
Java語言程序設(shè)計(jì)

主要研究領(lǐng)域和方向

Petri網(wǎng)建模和性能分析技術(shù)、軟件工程、信息系統(tǒng)開發(fā)與集成、面向服務(wù)計(jì)算等。

近年來主要科研項(xiàng)目

近五年的榮譽(yù)和成果

年月	名稱	出版、獲獎(jiǎng)、專利信息	檢索情況/是否核心
2009.12	UML2.0順序圖的形式化研究	計(jì)算機(jī)工程與設(shè)計(jì), vol.30(24), p 5646-5649	中文核心期刊
2009.9	基于UML的多Agent系統(tǒng)軟件體系結(jié)構(gòu)建模研究	計(jì)算機(jī)應(yīng)用研究,vol.26(9),p 3384-3387	中文核心期刊
2009.12	Translating UML Statechart Diagrams to X-nets	2009 1st International Conference on Information Science and Engineering, ICISE 2009, IEEE Computer Society, p 5279-5282	EI(20102212965341), 國際會(huì)議正式文集
2009.12	Description and Analyzing the Reliability of Web Services Composition based on Petri Nets	2009 1st International Conference on Information Science and Engineering, ICISE 2009, IEEE Computer Society, p 5329-5332	EI(20102212965352), 國際會(huì)議正式文集
2010.3	Research on the Web Services Selection Problem	2nd International Workshop on Education Technology and Computer Science, ETCS 2010，IEEE Computer Society, p 284-287	EI(20102312986219), 國際會(huì)議正式文集
2010.5	Introduction to the Application of Complex Networks in softwar engineering	Proceedings of the International Conference on E-Business and E-Government, ICEE 2010,IEEE Computer Society, p 4162-4165	EI(20104913458839),國際會(huì)議正式文集
2011.3	Research of BPEL Modeling Technique Based on Colored Petri Net	3td International Workshop on Education Technology and Computer Science, ETCS 2011，IEEE Computer Society,p39-46	國際會(huì)議正式文集
2011.5	Deciding Substitutability of Web Services with Petri Net Reduction Techniques	10th IEEE/ACIS International Conference on Computer and Infornation Science, p 323-327	EI(20115214630444),國際會(huì)議正式文集
2013.5	CTL Model Checking Algorithm Using MapReduce	Lecture Notes in Electrical Engineering, vol 236, Emerging Technologies for Information Systems,Computing, and Managment, p 341-348	EI(20132716465371 )國際會(huì)議正式文集
2013.6	基于Petri網(wǎng)的Web服務(wù)描述及其可替換性分析	計(jì)算機(jī)集成制造系統(tǒng), vol.19(2), p 1423-1432	EI(20133016533970 ),中文核心期刊
2013.9	Process Net: A petri net model with the characteristics of process algebras	Journal of Chemical and Pharmaceutical Research, vol.5(9),p 347-354	EI(20134416928811 ),英文期刊
2013.12	一種面向服務(wù)Petri網(wǎng)模型及其結(jié)構(gòu)化操作語義	小型微型計(jì)算機(jī)系統(tǒng), vol.34(12),p 2739-2743	中文核心期刊

科研項(xiàng)目、學(xué)術(shù)成果

近年來出版的主要教材與專著

在研主要項(xiàng)目

國內(nèi)外學(xué)術(shù)活動(dòng)

來源未注明“中國考研網(wǎng)\考研信息網(wǎng)”的資訊、文章等均為轉(zhuǎn)載，本網(wǎng)站轉(zhuǎn)載出于傳遞更多信息之目的，并不意味著贊同其觀點(diǎn)或證實(shí)其內(nèi)容的真實(shí)性，如涉及版權(quán)問題，請聯(lián)系本站管理員予以更改或刪除。如其他媒體、網(wǎng)站或個(gè)人從本網(wǎng)站下載使用，必須保留本網(wǎng)站注明的"稿件來源"，并自負(fù)版權(quán)等法律責(zé)任。

來源注明“中國考研網(wǎng)”的文章，若需轉(zhuǎn)載請聯(lián)系管理員獲得相應(yīng)許可。

聯(lián)系方式：chinakaoyankefu@163.com

在線輔導(dǎo)中心

2026考研英語全程班寒假班
權(quán)威高配師資親授技巧，教研千錘百煉科學(xué)提分。直錄播課相結(jié)合精講互動(dòng)二合一，專業(yè)團(tuán)隊(duì)精細(xì)化作文批改。講練結(jié)合，隨學(xué)隨練穩(wěn)步提升。支持試聽~
主講團(tuán)隊(duì)：王江濤、譚劍波、董仲蠡、許聰杰、陳志超、潘赟、鄭艷彤、易熙人