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

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

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

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

　　論文著作
　　1．鐘發(fā)榮，傅育熙. 非對稱帶不等算子chi-演算的基同余，計算機學報，ISSN 0254-4164，28(10)：1626-1637，2005.10. EI (05489513208)
　　2．鐘發(fā)榮，賈浻，陳建明，傅育熙. 消除有限容量演算中的強干擾，上海交通大學學報，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，淮北煤炭師院學報，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．黃銀強，鐘發(fā)榮. 非對稱chi-演算的符號互模擬驗證算法，微電子學與計算機，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

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

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

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

浙江師范大學