丁佐华（zouhuading@hotmail.com）.docVIP

丁佐华 个人资料: 浙江理工大学理学院教授，硕士生导师 美国南佛罗里达大学(University of South Florida) 数学博士 中国计算机学会软件工程专业委员会委员 中国计算机学会Petri网专业委员会委员 浙江理工大学数学一级硕士点计算数学学科负责人 浙江理工大学软件工程一级硕士点方向负责人 浙江理工大学《计算与软件工程》负责人 科研项目 （主持）国家自然科学基金国际重大合作项目（重点）：在线软件可靠性工程的理论和方法研，0万，2013年1月-2016年12月。 （主持）国家自然科学基金面上项目：基于常微分方程的自适应软件模型研究（No.，55万，2012年1月-2015年12月。 （主持）国家自然科学基金重大研究计划：基于常微分方程的程序死锁检测研究（No.，50万，2009年1月-2011年12月。 （主持）浙江省自然科学基金重点项目：服务组合的可靠性计算研究（No.Z1090357），40万，2010年1月-2012年12月。 （主持）教育部留学回国人员基金：基于结构的程序自动产生及逆软件工程问题，3万，2008年1月至2010年12月。 Zuohua Ding, Jiaying Ma, Abraham Kandel, Petri Net Representation of Switched Fuzzy Systems, IEEE Transactions on Fuzzy Systems, accepted.(SCI, IF 4.29) Zuohua Ding, Hui Shen, Abraham Kandel, Hypergraph Partitioning For The Parallel Computing of Fuzzy Differential Equations, Fuzzy Sets and Systems, accepted.(SCI, IF 1.988) 丁佐华, Jeff Sanders, 江明月, 张娜, 蒲戈光, 基于GCL语言的测试用例生成方法, 计算机学报，印刷中。(EI) Ziwei Liu, Jing Liu, Jifeng He, Zuohua Ding: Spatio-temporal UML Statechart for Cyber-Physical Systems, ICECCS 2012: 137-146 (EI) Mingyue Jiang, Zuohua Ding, Jing Liu, Service Selection Based On Behavior Matching, Journal of Software, 7(9): 1950-1959 (2012).(EI) Zuohua Ding, Jiaying Ma: Modeling and Analysis of Switched Fuzzy Systems, SEKE 2012: 135-138.(EI) Zuohua Ding, Mingyue Jiang, Abraham Kandel. Port Based Reliability Computing For Service Composition. In: IEEE Transactions on Service Computing, vol. 5 no.3, pp. 422-436, 2012.(SCI) Zuohua Ding, Hui Shen, and Qiwei Ge, Checking System Boundedness Using Ordinary Differential Equations, In: Information Sciences, 187: 245-265 (2012) (SCI, IF 2.984) Zuohua Ding, Hui Shen, and Jianwen Cao, Parallel computation of continuous Petri nets based on hypergraph partitioning，Journal of Supercomputing，vol.62, no.1, pp. 345-377, 2012.(SCI) Zuohua Ding, Hui Shen, and Jianwen Cao, Hypergraph Partitioning for the Parallel Computation of Continuous Petri Nets, Lecture Notes in Computer Sciences, vol.6873, pp. 257–271, 2011.(EI) Zuohua D