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

浙江师范大学数理与信息工程学院导师：钟发荣的内容如下，更多考研资讯请关注我们考研派网站的更新！敬请收藏本站。或下载我们的考研派APP和考研派微信公众号（里面有非常多的免费考研资源可以领取哦）[浙江师范大学化学与生命科学学院导师：查笑君] [浙江师范大学化学与生命科学学院导师：钱前] [浙江师范大学化学与生命科学学院导师：潘建伟] [浙江师范大学化学与生命科学学院导师：王长春] [浙江师范大学化学与生命科学学院导师：杨玲] [浙江师范大学化学与生命科学学院导师：蔡妙珍]

浙江师范大学学姐微信
为你答疑,送资源

95%的同学还阅读了： [2022浙江师范大学研究生招生目录] [浙江师范大学研究生分数线[2013-2021]] [浙江师范大学王牌专业排名] [浙江师范大学考研难吗] [浙江师范大学研究生院] [浙江师范大学考研群] [浙江师范大学研究生学费] 浙江师范大学保研夏令营 浙江师范大学考研调剂2022最新信息 [浙江师范大学研究生辅导] [考研国家线[2006-2021]] [2022年考研时间：报名日期和考试时间]

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

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

　　研究方向：移动进程演算；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人

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

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