• EN
教师基本信息
钟发荣
性别:男
学位:博士学位 在职信息:在岗

个人信息 Personal information

学历:博士研究生毕业 毕业院校:上海交通大学 在职信息:在岗 所在单位:数学与计算机科学学院 入职时间:1986-07-01
  • 个人简介 Personal profile

    钟发荣,男,教授

    教育背景

    Ø 1982.9-1986.6 山东大学计算机科学系计算机科学专业,本科,获理学士学位

    Ø 1991.9-1994.4 上海交通大学计算机科学与工程系,计算机软件专业重写系统方向攻读硕士研究生,获工学硕士学位

    Ø 2000.9-2005.1 上海交通大学计算机科学与工程系,计算机软件与理论专业移动进程演算方向攻读博士研究生,获工学博士学位

    工作经历

    Ø 1986.7-1991.8 浙江师范大学计算机中心,助教

    Ø 1994.4-2000.8 浙江师范大学计算机科学系,助教、讲师、副教授,其中,1998.3-1998.7 香港城市大学计算机科学系访问

    Ø 2005.1-至今   浙江师范大学数理与信息工程学院,副教授、教授

    、学习工作经历、现任职务职称等

     

    主讲课程

    主讲本科课程:计算机图形学、数据结构、编译原理、人工智能

    主讲研究生课程:高级操作系统、并行计算理论

    学术兴趣及主要研究方向

    移动进程演算

    Web服务组合

    科研项目

    1. 异步非对称chi-演算的弱互模拟同余研(Y105272),主持,浙江省自然科学基金项目,2006.1-2007.12,已结题

    2. 面向谐波检测的嵌入式系统的研究与开发(2006C21018),主持,浙江省科技计划重点项目,2006.1-2008.6,已上交材料,已结题

    3. Web服务的容错编制研究(60873234),主持,国家自然科学基金项目,2009.1-2011.12,在研

    发表论文和著作

    1. 钟发荣,傅育熙. 非对称带不等算子chi-演算的基同余计算机学报,ISSN 0254-416428(10)1626-16372005.10. EI (05489513208)

    2. 钟发荣,贾浻,陈建明,傅育熙. 消除有限容量演算中的强干扰,上海交通大学学报,ISSN 1006-246739(8)1317-13212005.8. EI(05399387313)

    3. Farong ZHONG. The early and late congruences for asymmetric chi-calculus with mismatch, Lecture Notes in Computer ScienceISSN 0302-97433314371-3782004.12. SCI(BBO38)ISTP(BBO38)

    4. Farong ZHONGYuxi FUYonggen GU. Avoiding grave interference in BoCaProceedings of 2004 International Conference on Machine Learning and CyberneticsIEEE Computer Society PressISBN 0-7803-8403-21444-4492004.8. EI(04458446468)ISTP(BBF92)

    5. Farong ZHONGYuxi FUXiaoju DONG. Bisimulation congruence for asymmetric chi-calculus with mismatchProceedings of Fifth International Symposium on Parallel and Distributed ComputingIEEE Computer Society PressISBN 0-7695-2638-1173-1812006.7. EI(073210746695)

    6. Farong ZHONG. Asymmetric chi-calculus with mismatch,淮北煤炭师院学报,ISSN 1672-717727(2)1-132006.6.

    7. Xiaoju DONGFarong ZHONGYuxi FU. Bisimulation lattice of asymmetric chi calculus with mismatchHigh Technology LettersISSN 1006-67489(4):50-552003.12. EI(04208164568)

    8. Huaiguang WUFarong ZHONGZhejie DUAN. A pi-calculus based model for web service compositionProceedings of the First International Symposium on Pervasive Computing and ApplicationsIEEE Computer Society PressISBN 1-4244-0325-1613-6182006.8. EI(080611078753)ISTP(BFB62)

    9. Huaiguang WUFarong ZHONG. The relation between Web Services orchestration and choreographyProceedings of the First International Conference on Computer Science and EducationXiamen University PressISBN 7-5615-2582-6716-7182006.7. ISTP(BFD83)

    10. Huaiguang WUFarong ZHONG. A Study of Web Services Transactions Based on Real-time p-CalculusProceedings of the Second International Conference on Semantics Knowledge and GridIEEE Computer Society PressISBN 0-7695-2673-X90-902006.11. EI(082511322595)

    11. 黄银强,钟发荣. 非对称chi-演算的符号互模拟验证算法,微电子学与计算机ISSN 1000-718023(9)193-1962006.9

    12. Chang YANGFarong ZHONGHaiming TANG. A Pi-calculus based formal description for orchestration/BPEL 2.0 processes, Journal of Harbin Institute of Technology (New Series)ISSN 1005-911315(SUPPL.)124-1302008.4. EI(082311303323)

    13. Haiming TANGFarong ZHONGChang YANG. A Tree-based Method of Web Service CompositionProceedings of the Three International Symposium on Pervasive Computing and ApplicationsInternational Academic Publishers Ltd., ISBN 978-1-4244-2020-9, 204-2092008.10. EI(20091612034567)

    14. Zhifeng ZHUFarong ZHONG. Testing Equivalence for Asymmetric x-CalculusProceedings of the IASTED Asian Conference on Modelling and SimulationACTA PressISBN 978-0-88986-701-7(571-102)1-62007.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


  • 教育经历 Education experience

    暂无内容

  • 其他联系方式 Other Contact information

    [6]邮箱:
  • 工作经历 Work experience

    暂无内容

  • 社会兼职 Professional affiliations

    暂无内容

  • 研究方向 Research direction

    暂无内容

  • 团队成员 Team members

    暂无内容