浙江師范大學(xué)數(shù)理與信息工程學(xué)院導(dǎo)師：鐘發(fā)榮 正文

　　姓名：鐘發(fā)榮　
　　職稱(chēng)：教授　
　　所在學(xué)院：數(shù)理與信息工程學(xué)院　

　　研究方向：移動(dòng)進(jìn)程演算；Web服務(wù)組合
　　主講課程：主講本科課程：計(jì)算機(jī)圖形學(xué)、數(shù)據(jù)結(jié)構(gòu)、編譯原理、人工智能
　　指導(dǎo)專(zhuān)業(yè)：(0812) 計(jì)算機(jī)科學(xué)與技術(shù)（一級(jí)）

　　科研項(xiàng)目（課題）
　　1．異步非對(duì)稱(chēng)chi-演算的弱互模擬同余研究(Y105272)，主持，浙江省自然科學(xué)基金項(xiàng)目，2006.1-2007.12，已結(jié)題
　　2．面向諧波檢測(cè)的嵌入式系統(tǒng)的研究與開(kāi)發(fā)(2006C21018)，主持，浙江省科技計(jì)劃重點(diǎn)項(xiàng)目，2006.1-2008.6，已上交材料，已結(jié)題
　　3．Web服務(wù)的容錯(cuò)編制研究(60873234)，主持，國(guó)家自然科學(xué)基金項(xiàng)目，2009.1-2011.12，在研

　　論文著作
　　1．鐘發(fā)榮，傅育熙. 非對(duì)稱(chēng)帶不等算子chi-演算的基同余，計(jì)算機(jī)學(xué)報(bào)，ISSN 0254-4164，28(10)：1626-1637，2005.10. EI (05489513208)
　　2．鐘發(fā)榮，賈浻，陳建明，傅育熙. 消除有限容量演算中的強(qiáng)干擾，上海交通大學(xué)學(xué)報(bào)，ISSN 1006-2467，39(8)：1317-1321，2005.8. EI(05399387313)
　　3．Farong ZHONG. The early and late congruences for asymmetric chi-calculus with mismatch, Lecture Notes in Computer Science，ISSN 0302-9743，3314：371-378，2004.12. SCI(BBO38)，ISTP(BBO38)
　　4．Farong ZHONG，Yuxi FU，Yonggen GU. Avoiding grave interference in BoCa，Proceedings of 2004 International Conference on Machine Learning and Cybernetics，IEEE Computer Society Press，ISBN 0-7803-8403-2，1：444-449，2004.8. EI(04458446468)，ISTP(BBF92)
　　5．Farong ZHONG，Yuxi FU，Xiaoju DONG. Bisimulation congruence for asymmetric chi-calculus with mismatch，Proceedings of Fifth International Symposium on Parallel and Distributed Computing，IEEE Computer Society Press，ISBN 0-7695-2638-1，173-181，2006.7. EI(073210746695)
　　6．Farong ZHONG. Asymmetric chi-calculus with mismatch，淮北煤炭師院學(xué)報(bào)，ISSN 1672-7177，27(2)：1-13，2006.6.
　　7．Xiaoju DONG，F(xiàn)arong ZHONG，Yuxi FU. Bisimulation lattice of asymmetric chi calculus with mismatch，High Technology Letters，ISSN 1006-6748，9(4):50-55，2003.12. EI(04208164568)
　　8．Huaiguang WU，F(xiàn)arong ZHONG，Zhejie DUAN. A pi-calculus based model for web service composition，Proceedings of the First International Symposium on Pervasive Computing and Applications，IEEE Computer Society Press，ISBN 1-4244-0325-1，613-618，2006.8. EI(080611078753)，ISTP(BFB62)
　　9．Huaiguang WU，F(xiàn)arong ZHONG. The relation between Web Services orchestration and choreography，Proceedings of the First International Conference on Computer Science and Education，Xiamen University Press，ISBN 7-5615-2582-6，716-718，2006.7. ISTP(BFD83)
　　10．Huaiguang WU，F(xiàn)arong ZHONG. A Study of Web Services Transactions Based on Real-time p-Calculus，Proceedings of the Second International Conference on Semantics Knowledge and Grid，IEEE Computer Society Press，ISBN 0-7695-2673-X，90-90，2006.11. EI(082511322595)
　　11．黃銀強(qiáng)，鐘發(fā)榮. 非對(duì)稱(chēng)chi-演算的符號(hào)互模擬驗(yàn)證算法，微電子學(xué)與計(jì)算機(jī)，ISSN 1000-7180，23(9)：193-196，2006.9
　　12．Chang YANG，F(xiàn)arong ZHONG，Haiming TANG. A Pi-calculus based formal description for orchestration/BPEL 2.0 processes, Journal of Harbin Institute of Technology (New Series)，ISSN 1005-9113，15(SUPPL.)：124-130，2008.4. EI(082311303323)
　　13．Haiming TANG，F(xiàn)arong ZHONG，Chang YANG. A Tree-based Method of Web Service Composition，Proceedings of the Three International Symposium on Pervasive Computing and Applications，International Academic Publishers Ltd., ISBN 978-1-4244-2020-9, 204-209，2008.10. EI(20091612034567)
　　14．Zhifeng ZHU，F(xiàn)arong ZHONG. Testing Equivalence for Asymmetric x-Calculus，Proceedings of the IASTED Asian Conference on Modelling and Simulation，ACTA Press， ISBN 978-0-88986-701-7，(571-102)：1-6，2007.10. EI(20091311984306)
　　15．Jiajie WU, Farong ZHONG, Yufang QIU. A Dynamic Compensation Mechanism for Web Transactions. Proceedings of 2009 IEEE International Conference on Services Computing, IEEE Computer Society Press, ISBN 978-0-7695-3811-2, 509-512, 2009.9. EI(20100312642439)
　　16．Li ZHAO, Qing LI, Farong ZHONG. A Visual Modeling Framework of Workflow Systems Based on CCS. Proceedings of the 5th International Conference on Semantics, Knowledge and Grid, IEEE Computer Society Press, ISBN 978-0-7695-3810-5, 200-207,2009.10 EI(11049804)
　　17．Huan Liu, Farong Zhong, Bang Ouyang and Jiajie Wu. An Approach for QoS-aware Web Service Composition based on Improved Genetic Algorithm. Proceedings of 2010 International Conference on Web Information Systems and Mining, IEEE Computer Society Press, ISBN 978-0-7695-4224-9, 123-128, 2010.10
　　18．Nanshan Du, Qing Li, Yiwen Liang, Farong Zhong. Actor Petri net Model：toward Suitable and Flexible Level Representation of Scientific Workflows. Proceedings of the 25th International Symposium on Computer and Information Sciences, Lecture Notes in Electrical Engineering 62：79-84, 978-90-481-9793-4, 2010.9

　　指導(dǎo)研究生簡(jiǎn)況：已畢業(yè)研究生7人，在讀6人

　　*如果發(fā)現(xiàn)導(dǎo)師信息存在錯(cuò)誤或者偏差，歡迎隨時(shí)與我們聯(lián)系，以便進(jìn)行更新完善。

添加浙江師范大學(xué)學(xué)姐微信，或微信搜索公眾號(hào)“考研派小站”，關(guān)注[考研派小站]微信公眾號(hào)，在考研派小站微信號(hào)輸入[浙江師范大學(xué)考研分?jǐn)?shù)線、浙江師范大學(xué)報(bào)錄比、浙江師范大學(xué)考研群、浙江師范大學(xué)學(xué)姐微信、浙江師范大學(xué)考研真題、浙江師范大學(xué)專(zhuān)業(yè)目錄、浙江師范大學(xué)排名、浙江師范大學(xué)保研、浙江師范大學(xué)公眾號(hào)、浙江師范大學(xué)研究生招生）]即可在手機(jī)上查看相對(duì)應(yīng)浙江師范大學(xué)考研信息或資源。

浙江師范大學(xué)