浙师大数理与信息工程学院导师介绍:钟发荣
姓名:钟发荣 职称:教授 所在学院:数理与信息工程学院
姓名:钟发荣
职称:教授
所在学院:数理与信息工程学院
研究方向:移动进程演算;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 (***********)
2.钟发荣,贾浻,陈建明,傅育熙. 消除有限容量演算中的强干扰,上海交通大学学报,ISSN 1006-2467,39(8):1317-1321,2005.8. EI(***********)
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(***********),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(************)
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(***********)
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(************),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(************)
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(************)
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人
*如果发现导师信息存在错误或者偏差,欢迎随时与我们联系,以便进行更新完善。联系方式
- 2021-07-28浙江师范大学近十年现当代文学古代文学真题大纲
- 2021-04-19818我浙师大学科英语考研感想➕经验
- 2021-04-192019年学科语文903真题(回忆版)
- 2021-03-312018浙江师范大学外国语言文学考研之行(初试、复试)
- 2021-03-21浙江师范大学现当代831和631初试经验
- 2020-07-3020浙师大现当代文学真题以及一些劝告
- 2020-05-30新鲜的19浙师应用心理347考研经验分享!
- 2020-05-22已录取浙师大学科化学专业第二 总分394精华经验回馈论坛
- 2020-05-2218浙师学科英语拟录取初复试全程经验贴
- 2020-04-152019浙江师范大学333及851真题回忆版新鲜出炉