浙江师范大学数理与信息工程学院导师：钟发荣 正文

　　姓名：钟发荣　
　　职称：教授　
　　所在学院：数理与信息工程学院　

　　研究方向：移动进程演算；Web服务组合
　　主讲课程：主讲本科课程：计算机图形学、数据结构、编译原理、人工智能
　　指导专业：(0812) 计算机科学与技术（一级）

　　科研项目（课题）
　　1．异步非对称chi-演算的弱互模拟同余研究(Y105272)，主持，浙江省自然科学基金项目，2006.1-2007.12，已结题
　　2．面向谐波检测的嵌入式系统的研究与开发(2006C21018)，主持，浙江省科技计划重点项目，2006.1-2008.6，已上交材料，已结题
　　3．Web服务的容错编制研究(60873234)，主持，国家自然科学基金项目，2009.1-2011.12，在研

　　论文著作
　　1．钟发荣，傅育熙. 非对称带不等算子chi-演算的基同余，计算机学报，ISSN 0254-4164，28(10)：1626-1637，2005.10. EI (05489513208)
　　2．钟发荣，贾浻，陈建明，傅育熙. 消除有限容量演算中的强干扰，上海交通大学学报，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，Farong 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，Farong 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，Farong 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，Farong 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．黄银强，钟发荣. 非对称chi-演算的符号互模拟验证算法，微电子学与计算机，ISSN 1000-7180，23(9)：193-196，2006.9
　　12．Chang YANG，Farong 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，Farong 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，Farong 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

　　指导研究生简况：已毕业研究生7人，在读6人

　　*如果发现导师信息存在错误或者偏差，欢迎随时与我们联系，以便进行更新完善。

添加浙江师范大学学姐微信，或微信搜索公众号“考研派小站”，关注[考研派小站]微信公众号，在考研派小站微信号输入[浙江师范大学考研分数线、浙江师范大学报录比、浙江师范大学考研群、浙江师范大学学姐微信、浙江师范大学考研真题、浙江师范大学专业目录、浙江师范大学排名、浙江师范大学保研、浙江师范大学公众号、浙江师范大学研究生招生）]即可在手机上查看相对应浙江师范大学考研信息或资源。

浙江师范大学