1．可扩展并行机群系统，863项目，国家教委科技进步二等奖，1996年。2．面向对象语言的并行编译技术，863项目，国家教委科技进步二等奖，1995 年。3．并行图归约智能工作站，863项目，国家教委科技进步二等奖，1993年。4．军用软件开发新技术，国防预研项目，国家教委科技进步二等奖，1991年。5．高性能可扩展机群结构并行计算机系统，国防预研项目，电子工业部科技进步三等奖，1996年。6．国防科工委颁发的光华基金二等奖，1992年。7．计算机系统结构，电子工业部优秀教材二等奖，1996年。8．国家高技术计划先进工作者一等奖，1996年。著作与译著：1．王鼎兴，沈美明，郑纬民，温冬婵译，高等计算机系统结构，清华大学出版社，1995年。2．郑纬民等，计算机系统结构，清华大学出版社，1992年。3．郑纬民等，函数程序设计语言-计算模型、编译技术和体系结构，清华大学出版社，1996年。部分论文：1．Zheng Weimin, Shen Jun, Network Performance Measurement and Improvement for Workstation Clusters, Second Sino-German Workshop on Advanced Parallel Processing Technologies, 9, Koblenz, Germany。2．郑纬民，林立军，一种基于集合求解的严格性分析方法，《软件学报》，1996年10月。3．Zheng Weimin, Tian Xinmin, Communication and Waiting Latency Dominated Heurstitic Scheduling on Message Passing Architecture, 《软件学报》(英文版)， 2, 1, 1995年。4．Xiong Jianxin, Wang Dingxing, Shen Meiming, Zheng Weimin, On-line Debugging of Parallel Programs, International Conference on Parallel Algorithm (ICPA'95), O 1995, W5．熊建新，王鼎兴，郑纬民，沈美明，基于事件模型的可视化并行调试技术，《软件学报》， 7, 5, 292-299 ,1996年5月。6．Xiong Jianxin, Wang Dingxing, Zheng Weimin, Shen Meiming, BUSTER: An Integrated Debugger for PVM, IEEE Second International Conference on Algorithms & Architectures for Parallel Processing (ICA3PP'96), June 11-13, 1996, S7．Xiong Jianxin, Wang Dingxing, Zheng Weimin, Shen Meiming, Parallel Debugging on Workstation Cluster, Chinese Journal of Electronics, 5 , 1 , 7-13, July 1996。8．Wang Dingxing, Zheng Weimin, Shen Meiming, Tian Xinmin, Research & Development of Parallel Computing Systems in Tsinghua: A Survey, HPC'94,Singapore, 1994, 208~218。9．李程、王鼎兴、郑纬民，The P&M Compiler for Supporting Multithreading on Distributed-memory Multicomputers,IASTED I on Parallel and Distriouted Systems(Euro-PPS'97),Barcelona,Spain,June-
米果janicefeng
