更多




手机
EN





教师基本信息
钟发荣
性别：男
学位：博士学位 在职信息：在岗
MORE +

个人信息 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-至今浙江师范大学数理与信息工程学院，副教授、教授
、学习工作经历、现任职务职称等
主讲课程主讲本科课程：计算机图形学、数据结构、编译原理、人工智能
主讲研究生课程：高级操作系统、并行计算理论
学术兴趣及主要研究方向l移动进程演算
lWeb服务组合
科研项目1．异步非对称chi-演算的弱互模拟同余研究(Y105272)，主持，浙江省自然科学基金项目，2006.1-2007.12，已结题
2．面向谐波检测的嵌入式系统的研究与开发(2006C21018)，主持，浙江省科技计划重点项目，2006.1-2008.6，已上交材料，已结题
3．Web服务的容错编制研究(**)，主持，国家自然科学基金项目，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 Learningand 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 PervasiveComputing 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 ThreeInternational Symposium on Pervasive Computing and Applications，International Academic Publishers Ltd., ISBN 978-1-4244-2020-9, 204-209，2008.10. EI(567)
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(306)
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(439)
16．Li ZHAO, Qing LI,Farong ZHONG.A Visual Modeling Framework of WorkflowSystems 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(**)
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 FlexibleLevel Representation of Scientific Workflows. Proceedings of the 25^thInternational 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
暂无内容




最后更新时间：--浏览量：

---

更多




手机
EN





教师基本信息
钟发荣
性别：男
学位：博士学位 在职信息：在岗
MORE +

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


科学研究
中文主页 - 科学研究
专利 1 基于截断边扩展图的工程网络可靠度近似分析方法
2 摩托车制动器测试系统
3 电力数据的采集及处理方法
论文成果 查看更多> 1 Zhenguo Yang. On action permutation and progress for a type system with partially commutative asynchronous binary sessions .International Journal of Computational Science and Engineering .2015 ,Vol.10 (No.3) :253-262
2 钟发荣. 二元会话类型系统中演进特性研究^* .浙江师范大学学报(自然科学版) .2013 (第2期) :127-132
3 Letu Qingge. Filling a Protein Scaffold With a Reference .IEEE Trans Nanobioscience .2017 ,Vol.16 (No.2) :123-130
4 Chao Li. Expected computations on color spanning sets .Journal of Combinatorial Optimization .2015 ,Vol.29 (No.3) :589-604
5 Cheng-Lin Fan. On Some Proximity Problems of Colored Sets .Journal of Computer Science and Technology .2014 ,Vol.29 (No.5) :879-886


最后更新时间：--浏览量：

---

更多




EN





教师基本信息
钟发荣
性别：男
学位：博士学位 在职信息：在岗
MORE +

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


科研项目 中文主页 - 科学研究 - 科研项目
共0条0/0



最后更新时间：--浏览量：

---

更多




手机
EN





教师基本信息
钟发荣
性别：男
学位：博士学位 在职信息：在岗
MORE +

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


著作成果 中文主页 - 科学研究 - 著作成果
共0条0/0



最后更新时间：--浏览量：

---

更多




手机
EN





教师基本信息
钟发荣
性别：男
学位：博士学位 在职信息：在岗
MORE +

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


专利 中文主页 - 科学研究 - 专利
基于截断边扩展图的工程网络可靠度近似分析方法
摩托车制动器测试系统
电力数据的采集及处理方法
共3条1/1 首页上页下页尾页



最后更新时间：--浏览量：

---

更多




手机
EN





教师基本信息
钟发荣
性别：男
学位：博士学位 在职信息：在岗
MORE +

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


论文成果 中文主页 - 科学研究 - 论文成果
Zhenguo Yang. On action permutation and progress for a type system with partially commutative asynchronous binary sessions. International Journal of Computational Science and Engineering. 2015,Vol.10 (No.3):253-262
钟发荣. 二元会话类型系统中演进特性研究^*. 浙江师范大学学报(自然科学版). 2013 (第2期):127-132
Letu Qingge. Filling a Protein Scaffold With a Reference. IEEE Trans Nanobioscience. 2017,Vol.16 (No.2):123-130
Chao Li. Expected computations on color spanning sets. Journal of Combinatorial Optimization. 2015,Vol.29 (No.3):589-604
Cheng-Lin Fan. On Some Proximity Problems of Colored Sets. Journal of Computer Science and Technology. 2014,Vol.29 (No.5):879-886
范成林. On Some Proximity Problems of Colored Sets. 计算机科学技术学报(英文版). 2014 (第5期):879-886
Shiting Wen. CRP: context-based reputation propagation in services composition. Service Oriented Computing and Applications. 2012
钟发荣. 非对称~(χ≠)-演算的基同余. 计算机学报. 2005,第28卷 (第10期):1626-1637
钟发荣. Web服务事务的动态补偿模型. 浙江师范大学学报·自然科学版. 2010 (第3期):248-255
黄银强. 非对称X-演算的符号互模拟验证算法. 微电子学与计算机. 2006 (第9期):193-196
共40条1/4 首页上页下页尾页页



最后更新时间：--浏览量：

---

更多




手机
EN





教师基本信息
钟发荣
性别：男
学位：博士学位 在职信息：在岗
MORE +

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


研究领域 中文主页 - 科学研究 - 研究领域
暂无内容

最后更新时间：--浏览量：

---

更多




手机
EN





教师基本信息
钟发荣
性别：男
学位：博士学位 在职信息：在岗
MORE +

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


教学研究
中文主页 - 教学研究


最后更新时间：--浏览量：

---

更多




手机
EN





教师基本信息
钟发荣
性别：男
学位：博士学位 在职信息：在岗
MORE +

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


教学成果 中文主页 - 教学研究 - 教学成果
共0条0/0



最后更新时间：--浏览量：

---

更多




手机
EN





教师基本信息
钟发荣
性别：男
学位：博士学位 在职信息：在岗
MORE +

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


授课信息 中文主页 - 教学研究 - 授课信息
共0条0/0



最后更新时间：--浏览量：

---

更多




手机
EN





教师基本信息
钟发荣
性别：男
学位：博士学位 在职信息：在岗
MORE +

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


教学资源 中文主页 - 教学研究 - 教学资源
共0条0/0



最后更新时间：--浏览量：

---

更多




手机
EN





教师基本信息
钟发荣
性别：男
学位：博士学位 在职信息：在岗
MORE +

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


获奖信息 中文主页 - 获奖信息
共0条0/0



最后更新时间：--浏览量：