郑纬民
1970 年毕业于清华大学自动控制系并留校任教。1982 年获硕士学位,现为清华大学计算机系教授、博士生导师。担任中国计算机学会副理事长;中国计算机学会学术工会主任;北京市科技进步奖第八届评审委员会委员等。1985-1986 年曾在美国纽约州立大学石溪分校从事分布操作系统研究。1989-1991年曾在英国南安普敦大学参加函数语言并行编译系统研究。

 
主要荣誉称号  
 

获国家科技进步一等奖 1 项,部级科技进步奖 6 项。被评为清华大学先进工作者 4 次。清华大学优秀共产党员 1 次。优秀博士后合作导师 1 次。

 
学科建设  
 

作为计算机系统结构的学科带头人, 郑纬民 教授十分重视学科建设,密切关注计算机学科的发展,并能准确地把握学科的发展方向,将集群计算机、 CPU 设计、网格计算、高性能存储等确定为高性能计算技术研究所的研究方向,研究水平在国内处于领先地位。十五期间,高性能计算技术研究所共承担多项重要课题: 973 课题 2 项,国家基金委重点项目 2 项、国家基金委面上项目 12 项目、国防预研项目 3 项, 863 项目 11 项及多项国际合作项目等。主持研制的清华集群计算机系统性能多次进入同期全球高性能计算机系统 TOP 500 之列。目前清华集群计算机系统已经应用于北京、天津等省市的日常气象预报,并在网络信息安全等部门发挥了重要作用。获国家科技进步奖一等奖一项。研制的 OpenMP 编译器、检查点设置和回卷系统以及并行调试器已成为国内外多所大学进行进一步研究工作的基础。在他的带领下,用一年的时间研制成功了我国当时运行频率最高的高性能嵌入式 CPU-THUMP107 ,其最高频率为 500MHz ,功耗 <0.5W 。他领导的网格计算研究组取得了多项具有自主知识产权的成果,已推广到 20 多家重点大学使用。由他牵头完成的生物信息学网格已经投入实际运行 , 每天的用户访问量超过了 5 万人次。所研制的网格中间件、网格监控系统和网格互连互通技术达到了国际先进水平,己应用于国家科技大平台、上海科技大平台和某国防单位。目前他负责承担国家科技大平台生物信息学应用系统。

在网络存储方面 , 研制了的“高可扩展海量存储网络系统 TH-MSNS ”,已通过中国软件评测中心评测和教育部的鉴定,“该系统在整体技术上达到了国际先进水平,其中分布式虚拟存储技术和多路远程镜像技术具有重要创新”,“带外虚拟存储技术、大容量内存虚拟磁盘技术进入国际领先行列”。 TH-MSNS 系统是国内具有自主知识产权的国产网络存储系统,分别获 2004 年北京市科技二等奖、 2005 年首届“中国计算机学会创新奖”二等奖等, 2005 年国家 863 计划首届“浪潮高性能计算创新集体奖”二等奖。该系统已申请 13 项专利,已授权 4 项,获得 15 项软件著作权登记,相关研究成果发表在 IEEE Trans. on Computers 、 ACM Trans. on Storage 和 Mass Storage Systems and Technologies 等重要国际期刊和会议上。目前 TH-MSNS 系统已有 70 余套应用在国家审计署、北京市公安局、胜利油田、视频、高校等行业或部门,特别是为“金审工程”二期建设的实施提供了重要的支撑平台 , 为国家数据安全的提供了有力的保障。 郑纬民 教授连续 4 年科研经费在计算机系列第一。

 
年轻教师培养  
 

郑纬民 教授十分重视年轻教师的培养,充分发挥年轻教师的积极性,目前已取得可喜的成绩。

三年前国家非常重视国产 CPU 的研发,中科院计算所、北京大学、国防科大、浙江大学都成立了研究中心。清华大学在 CPU 方面要不要为国家作贡献 ? 在人力、财力十分困难情况下他担任了清华大学 CPU 中心主任。他让年轻教师汪东升任技术总负责人和申请 863 项目负责人。充分信任和调动中心所有年轻教师的积极性和创造性。用一年的时间研制成功了我国当时运行频率最高的高性能嵌入式 CPU-THUMP107 ,其最高频率为 500MHz ,功耗 <0.5W 。为我校争得了荣誉。汪东升目前在 CPU 设计与开发方面已崭露头角,受到国内同行的关注。

他鼓励留校不久的年轻教师舒继武承担 863 重点项目“高性能网络服务器统”,总经费 1400 万人民币。这是计算机主题经费最大的项目。每次向 863 专家组汇报工作他都陪舒继武去。他参加小组每次讨论。和研究生谈心。在网络存储基础件、网络存储中间件和网络存储应用等方面申报了 10 项专利。该系统产品已通过了中国软件评测中心测试,并通过了成果鉴定,系统在整体技术上达到了国际先进水平,其中分布式虚拟存储技术和多路远程镜像技术具有重要创新。该系统是国内第一台具有自主知识产权的产品,有三大系列的多个型号的 SAN 系统产品,已应用在石油、网络安全、审计和教育等行业。舒继武在国内该领域己有很大的影响力。最近他被评为教育部新世纪人才和清华大学学术新秀。

他极力推荐年轻教师杨广文担任国家 863 “高性能计算机及其核心软件”重大专项总体组专家。杨广文领导的网格计算研究组取得了多项具有自主知识产权的成果,已推广到 20 多家重点大学使用。研制的“生物信息学网格”也已经投入实际运行。杨广文目前担任了高性能所所长。

年轻教师陈文光担任了国家 863 高性能计算机评测中心负责人。他积极协助陈文光开展工作。该中心的工作巳获得科技部和有关专家的好评。

年青教师张悠慧、武永卫等也已独立承担多项 863 及国家基金项目。

另外他还指导多名博士后,与博士后一起讨论研究工作,都取得了很好的成绩。其中 3 位被评为优秀博士后。他被评为优秀博士后合作导师。

由于郑纬民在培养、使用年轻人方面开展了创造性工作,高性能研究所形成了一个积极向上、团结合作、研发能力强研发团队。

 
教书育人  
 

在组织进行科研开发的同时, 郑纬民 教授十分重视教学环节,在教学改革中做了大量工作。他给研究生开设的《高等计算机系统结构》课被清华大学评为精品课、还多次获得清华大学教书育人奖。 郑纬民 教授不断总结教学中的成果,积极跟踪国内外教学的动态,及时编写和翻译了大量的经典教材,如,《计算机组成和设计硬件 / 软件接口》,《计算机系统结构:一种定量的方法》,《高等计算机系统结构》,《计算机系统结构》,《函数程序设计语言 - 计算模型、编译技术和体系结构》。 郑纬民 教授十分重视育人工作,他身体力行,以自身的正直、激情和奋斗精神感染着身边的同事,特别是高性能研究所的同学们。他特别关心和爱护同学们,经常帮助同学解决生活和学习中的各种困难,在同学们中享有很高的威信。

 
国际合作  
 

郑纬民 教授深知国际合作对科学建设的重要性。多年以来,他一直和国内外的同行保持着密切的联系。在他积极努力下高性能所和 HP 公司成立了高性能计算联合实验室、即将和 Intel 公司成立先进计算机系统结构联合实验室(三年 100 万美金)、和微软公司合作开展对等计算研究( 200 万人民币),还与 AMD 、 IBM 等国际知名公司有着长期而深入的合作。

 
论文发表  
  • Jiwu Shu, Bigang Li, Weimin Zheng: Design and Implementation of an SAN System Based on the Fiber Channel Protocol. IEEE Trans. Computers 54(4): 439-448 (2005)
  • Siqing Gan, Weimin Zheng: Stability of multistep Runge-Kutta methods for systems of functional-differential and functional equations. Appl. Math. Lett. 17(5): 585-590 (2004)
  • Feng Zhou, Chao Jin, Yinghui Wu, Weimin Zheng: TODS: cluster object storage platform designed for scalable services. Future Generation Comp. Syst. 20(4): 549-563 (2004)
  • Weimin Zheng, Jiwu Shu, Yonggen Gu, Xiaotie Deng: Parallel Computing Method Of Valuing For Multi-Asset European Option. International Journal of Information Technology and Decision Making 3(4): 575-581 (2004)
  • Jiwu Shu, Yonggeng Gu, Weimin Zheng: A Novel Numerical Approach of Computing American Option. Int. J. Found. Comput. Sci. 13(5): 685-693 (2002)
  • Bo Yang, Fengzhou Zheng, Dingxing Wang, Weimin Zheng: Interactive and Symbolic Data Dependence Analysis Based on Ranges of Expressions. J. Comput. Sci. Technol. 17(2): 160-171 (2002)
  • Youhui Zhang, Dongsheng Wong, Weimin Zheng: User-level checkpoint and recovery for LAM/MPI. Operating Systems Review 39(3): 72-81 (2005)
  • Youhui Zhang, Weimin Zheng: User-level communication based cooperative caching. Operating Systems Review 37(1): 23-33 (2003)
  • Yun Mao, Youhui Zhang, Dongsheng Wang, Weimin Zheng: LND: A Reliable Multi-Tier Storage Device in NOW. Operating Systems Review 36(1): 70-80 (2002)
  • Chao Jin, Weimin Zheng, Feng Zhou, Yinghui Wu: A distributed persistent object store for scalable service. Operating Systems Review 36(4): 36-49 (2002)
  • Youhui Zhang, Dongsheng Wang, Weimin Zheng: Transparent Checkpointing and Rollback Recovery Mechanism for Windows NT Applications. Operating Systems Review 35(2): 78-85 (2001).
  • Hongliang Yu, Weimin Zheng, Dongsheng Wang, Haitao Dong, Lu Li: CAPU: Enhancing P2P File Sharing System with Capacity Aware Topology. APPT 2005: 214-225
  • Weimin Zheng, Lisen Mu, Qing Wang, Yongwei Wu: Grid Developing Environment in CGSP System. APPT 2005: 313-322
  • Shiming Xu, Wenguang Chen, Weimin Zheng, Tao Wang, Yimin Zhang: Hierarchical Parallel Simulated Annealing and Its Applications. ICA3PP 2005: 293-300
  • Weitao Sun, Jiwu Shu, Weimin Zheng: Parallel Seismic Propagation Simulation in Anisotropic Media by Irregular Grids Finite Difference Method on PC Cluster. ICCSA (4) 2005: 762-771
  • Chongnan Gao, Jing Sun, Jinfeng Hu, Ning Ning, Weimin Zheng: ImDeploy: A Tool for Global-Scale Service Deployment on Peer-to-Peer Networks. ICDCS Workshops 2005: 856-860
  • Wenguang Chen, Feiyun Jiang, Weimin Zheng, Peinan Zhang: A Dynamic Energy Conservation Scheme for Clusters in Computing Centers. ICESS 2005: 244-255
  • Wei Xue, Jiwu Shu, Yongwei Wu, Weimin Zheng: Parallel Algorithm and Implementation for Realtime Dynamic Simulation of Power System. ICPP 2005: 137-144
  • Jinfeng Hu, Ming Li, Hongliang Yu, Haitao Dong, Weimin Zheng: PeerWindow: An Efficient, Heterogeneous, and Autonomic Node Collection Protocol. ICPP 2005: 511-520
  • Long Liu, Wei Hu, Chunrong Lai, Hong-shan Jiang, Wenguang Chen, Weimin Zheng, Yimin Zhang: Parallel Module Network Learning on Distributed Memory Multiprocessors. ICPP Workshops 2005: 129-134
  • Youhui Zhang, Ruini Xue, Dongsheng Wong, Weimin Zheng: A Checkpointing/Recovery System for MPI Applications on Cluster of IA-64 Computers. ICPP Workshops 2005: 320-327
  • Weitao Sun, Jiwu Shu, Weimin Zheng: Deterministic Global Optimization with a Neighbourhood Determination Algorithm Based on Neural Networks. ISNN (1) 2005: 700-705
  • Bigang Li, Jiwu Shu, Fei Mu, Weimin Zheng: A Cluster LVM for SAN Environments. ISPA Workshops 2005: 149-158
  • Weimin Zheng, Meizhi Hu, Lin Liu, Yongwei Wu, Jing Tie: FleMA: A Flexible Measurement Architecture for ChinaGrid. ISPA Workshops 2005: 297-304
  • Da Xiao, Jiwu Shu, Wei Xue, Weimin Zheng: TH-VSS: An Asymmetric Storage Virtualization System for the SAN Environment. International Conference on Computational Science (3) 2005: 399-406
  • Nianmin Yao, Jiwu Shu, Weimin Zheng: Improving the Data Placement Algorithm of Randomization in SAN. International Conference on Computational Science (3) 2005: 415-422
  • Weimin Zheng, Lin Liu, Meizhi Hu, Yongwei Wu, Liangjie Li, Feng He, Jing Tie: CGSV: An Adaptable Stream-Integrated Grid Monitoring System. NPC 2005: 22-31
  • Guangyan Zhang, Jiwu Shu, Wei Xue, Weimin Zheng: MagicStore: A New Out-of-Band Virtualization System in SAN Environments. NPC 2005: 379-386
  • Weimin Zheng, Wenguang Chen, Youhui Zhang, Ruini Xue: Thckpt: Transparent Checkpointing of Linux Processes Under IA-64. PDPTA 2005: 325-331
  • Wenbin Yao, Dongsheng Wang, Weimin Zheng: A Fault-Tolerant Single-Chip Multiprocessor. Asia-Pacific Computer Systems Architecture Conference 2004: 137-145
  • Youhui Zhang, Weimin Zheng: An Object-Oriented Data Storage System on Network-Attached Object Devices. Asia-Pacific Computer Systems Architecture Conference 2004: 527-538
  • Haitao Dong, Weimin Zheng, Dongsheng Wang: Janus: Build Gnutella-Like File Sharing System over Structured Overlay. GCC 2004: 511-518
  • Ming Li, Jinfeng Hu, Haitao Dong, Dongsheng Wang, Weimin Zheng: Gemini: Probabilistic Routing Algorithm in Structured P2P Overlay. GCC 2004: 519-526
  • Youhui Zhang, Dongsheng Wang, Chongnan Gao, Weimin Zheng: A JDO Storage Cluster Based on Object Devices. GCC Workshops 2004: 187-194
  • Weitao Sun, Jiwu Shu, Weimin Zheng: Storage Virtualization System with Load Balancing for SAN. GCC Workshops 2004: 254
  • Bigang Li, Jiwu Shu, Weimin Zheng: Design and Optimization of an iSCSI System. GCC Workshops 2004: 262-269
  • Fei Mu, Jiwu Shu, Bigang Li, Weimin Zheng: A Virtual Tape System Based on Storage Area Networks. GCC Workshops 2004: 278-285
  • Guangwen Yang, Yongwei Wu, Dazheng Huang, Weimin Zheng: An Accounting and QoS Model for Grid Computing. GCC Workshops 2004: 36-43
  • Youhui Zhang, Dongsheng Wang, Jinglei Wang, Weimin Zheng: Using Model-Based Test Program Generator for Simulation Validation. ICESS 2004: 549-556
  • Justin Song, Eric Li, Wei Hu, Steven Ge, Chunrong Lai, Yimin Zhang, Xuegong Zhang, Wenguang Chen, Weimin Zheng: Parallelization of Bayesian Network based SNPs Pattern Analysis and Performance Characterization on SMP/HT. ICPADS 2004: 315-322
  • Jinfeng Hu, Ming Li, Weimin Zheng, Dongsheng Wang, Ning Ning, Haitao Dong: SmartBoa: Constructing p2p Overlay Network in the Heterogeneous Internet Using Irregular Routing Tables. IPTPS 2004: 278-287
  • Weitao Sun, Jiwu Shu, Weimin Zheng: Dynamic File Allocation in Storage Area Networks with Neural Network Prediction. ISNN (2) 2004: 719-724
  • Hongliang Yu, Jian Liu, Weimin Zheng, Meiming Shen: Event Chain Clocks for Performance Debugging in Parallel and Distributed Systems. ISPA 2004: 1050-1054
  • Jiwu Shu, Bing Wang, Weimin Zheng: Cluster-Based Parallel Simulation for Large Scale Molecular Dynamics in Microscale Thermophysics. ISPA 2004: 200-211
  • Youhui Zhang, Dongsheng Wang, Weimin Zheng: Parallel Checkpoint/Recovery on Cluster of IA-64 Computers. ISPA 2004: 212-216
  • Wei Xue, Jiwu Shu, Weimin Zheng: Parallel Transient Stability Simulation for National Power Grid of China. ISPA 2004: 765-776
  • Wenguang Chen, Dingxing Wang, Weimin Zheng: A Single Thread Discrete Event Simulation Toolkit for Java: STSimJ. International Conference on Computational Science 2004: 1131-1137
  • Jinfeng Hu, Haitao Dong, Weimin Zheng, Dongsheng Wang, Ming Li: Twins: 2-hop Structured Overlay with High Scalability. International Conference on Computational Science 2004: 174-183
  • Yongwei Wu, Guangwen Yang, Weimin Zheng, Dongdai Lin: DisCAS: A Distributed-Parallel Computer Algebra System. International Conference on Computational Science 2004: 295-302
  • Jiwu Shu, Rui Yan, Dong-chan Wen, Weimin Zheng: An Implementation of Storage-Based Synchronous Remote Mirroring for SANs. NPC 2004: 463-472
  • Youhui Zhang, Jinfeng Hu, Weimin Zheng: The Flexible Replication Method in an Object-Oriented Data Storage System. NPC 2004: 485-488
  • Yinghui Wu, Ming Li, Weimin Zheng: ONSP: Parallel Overlay Network Simulation Platform. PDPTA 2004: 1147-1153
  • Wei Shi, Wanlei Zhou, Weimin Zheng: A Self-Learning System for Identifying Harmful Network Information. iiWAS 2004
  • Xi Qian, Jian Liu, Weimin Zheng: A Portable Debugger for PVM / MPI Programs on IA64 Cluster. APPT 2003: 136-139
  • Wen Yu, Weimin Zheng: An Effective Molecular Algorithm for Solving the Satisfiability Problem. APPT 2003: 274-280
  • Jiwu Shu, Jun Yao, Changdong Fu, Weimin Zheng: A Highly Efficient FC-SAN Based on Load Stream. APPT 2003: 31-40
  • Jing Zhu, Guangwen Yang, Weimin Zheng, Tao Zhu, Meiming Shen, Li'an Qiao, Xiangjun Liu: Grid-Based Biological Computation Service Environment. GCC (1) 2003: 237-241
  • Jinfeng Hu, Yinghui Wu, Ming Li, Weimin Zheng: Improvement of Routing Structure in P2P Overlay Networks. GCC (1) 2003: 292-299
  • Kang Chen, Shuming Shi, Guangwen Yang, Meiming Shen, Weimin Zheng: Improving the Objects Set Availability in the P2P Environment by Multiple Groups. GCC (1) 2003: 396-403
  • Wenguang Chen, Weimin Zheng, Guangwen Yang: On the Malicious Participants Problem in Computational Grid. GCC (1) 2003: 839-848
  • Yongwei Wu, Guangwen Yang, Jiayin Mao, Shuming Shi, Weimin Zheng: Grid Computing Pool and Its Framework. ICPP Workshops 2003
  • Weimin Zheng, Jiwu Shu, Xiaotie Deng, Yonggen Gu: Parallel Computing Method of Valuing for Multi-asset European Option. International Conference on Computational Science 2003: 3-9
  • Yongjian Chen, Dingxing Wang, Weimin Zheng: Extended Overhead Analysis for OpenMP Performance Tuning. WOMPAT 2003: 160-169
  • Shuming Shi, Guangwen Yang, Dingxing Wang, Weimin Zheng: Potential-Based Hierarchical Clustering. ICPR (4) 2002: 272-275
  • Jiwu Shu, Bing Wang, J. Wang, M. Chen, Weimin Zheng: Cluster-based Molecular Dynamics Parallel Simulation in Thermophysics. PDCS 2002: 18-23
  • Kang Chen, Weimin Zheng, Xiaotie Deng, Haodi Feng, Shanfeng Zhu: Text Distinguishers Used in an Interactive Meta Search Engine. WAIM 2002: 181-188
  • Kang Chen, Weimin Zheng, Hung Chim, Xiaotie Deng, Haodi Feng, Shanfeng Zhu: On-Line Selection Of Distinguishing Elements For Focused Information Retrieval. ICME 2001
  • Yun Mao, Kang Chen, Dongsheng Wang, Weimin Zheng: Cluster-based online monitoring system of web traffic. WIDM 2001: 47-53
  • Shanfeng Zhu, Xiaotie Deng, Kang Chen, Weimin Zheng: Using Online Relevance Feedback to Build Effective Personalized Metasearch Engine. WISE (1) 2001: 262
  • Yun Mao, Kang Chen, Dongsheng Wang, Weimin Zheng, Xiaotie Deng: MOT: Memory Online Tracing of Web Information System. WISE (1) 2001: 271-277
  • Wei Liu, Min Wu, Xinming Ou, Weimin Zheng, Meiming Shen: Design of an I/O Balancing File System on Web Server Clusters. ICPP Workshops 2000: 119-126
  • Wei Liu, Weimin Zheng, Meiming Shen, Xinming Ou, Min Wu: An Effective File Migration Algorithm in Cluster File Systems. ICPP Workshops 2000: 329-336
  • Guangwen Yang, Weimin Zheng, Dingxing Wang: A Statistical Clustering Model and Algorithm. SSPR/SPR 1998: 859-866
  • Xiaodong Fu, Dingxing Wang, Weimin Zheng: GPR-Tree: A Global Parallel Index Structure for Multiattribute Declustering on Cluster of Workstations. APDC 1997: 300-306
  • Chun-lei Dong, Weimin Zheng, Dingxing Wang, Meiming Shen: A Scalable Parallel Workstation Cluster System. APDC 1997: 307-313
  • Shuo Di, Weimin Zheng: Reduckd Communication Protocol for Clusters. APDC 1997: 314-319
  • Dingxing Wang, Weimin Zheng, Jianxin Xiong: Research on cluster of workstations. ISPAN 1997: 275-281
  • Li Cheng, Dingxing Wang, Meiming Shen, Weimin Zheng, Peng Shanling: The Compiler for Supporting Multithreading in Cyclic Register Windows. ISPAN 1996: 57-62.
联系方式  
 
电话: 010-62783505-3
Email: zwm-dcs@tsinghua.edu.cn
地址: 清华大学计算机系高性能所
邮编: 100084

返回高性能所集群小组