闵应骅

闵应骅的个人简介

闵应骅： 男，1935年12月出生，湖南省人，1962年毕业于吉林大学数学系概率论与数理统计专业，美国电气电子工程师学会院士(Fellow, IEEE)。现任中科院计算所研究员，博士生导师，龙星计划委员会副主任，湖南大学教授，中国计算机学会容错计算专业委员会主任，中国计算机学会编辑出版工作委员会主任，《计算机科学技术学报（英）》执行主编。

个人简介

闵应骅，男，1935年12月出生，湖南省人，1962年毕业于吉林大学，概率论与数理统计专业，现任美国电气电子工程师学会院士(Fellow, IEEE)，中科院计算所研究员，博士生导师，文献中心主任。湖南大学教授，国家自然科学基金委员会学科评审组成员，中国计算机学会容错计算专业委员会主任，中国计算机学会编辑出版工作委员会主任。

个人简历

1957年至1962年，吉林大学数学系毕业

1962年至1966年，在铁道科学研究院从事逻辑网络和可靠性理论学习与研究

1966年至1986年，铁道部科学研究院助理研究员、副研究员

1981年至1982年，美国纽约州立大学计算机科学系访问学者

1982年至1983年，美国斯坦福大学电气工程系和计算机科学系访问助理教授

1986年至1987年，美国科罗拉多州立大学计算机科学系访问教授

1993年1月至4月，美国伊利诺依大学交叉科学实验室,访问教授

1996年3月至6月，德国波茨坦大学,访问教授

主要工作

作为课题负责人，主持“容错计算基础技术研究,"国家自然科学基金资助重点课题, 1998年至2001年。

作为课题负责人，主持“容错计算和计算机可靠性理论基础研究",国家自然科学基金资助课题, 1995年至1997年。

作为课题负责人，主持“容错系统中的故障检测”, 国家自然科学基金课题, 1992年至1994年。

参加“数字电路的可测试性分析和测试技术",国家八五课题,1991年至1995年。

主持“铁路车站联锁安全保证系统”, 与铁路通号公司合同, 1992年至1993年。

主持“康发工作站测试产生系统”, 科健公司资助, 1990年至1991年。

参加“逻辑测试”, 国家七五课题, 1987年至1991年。

作为课题负责人，主持“可信性的概念与方法”, 国家自然科学基金资助课题, 1989年至1990年。

参加“容错计算机基础研究”, 863 计划课题, 1987年至1990年。

主持“南翔编组站自动控制系统”。1977年3月, 提出南翔编组站计算机控制系统的第一张框图,1978年1月进行外围设备调试, 并开通试验。1981年出版专著一本。1983年“南翔自动控制系统”通过鉴定, 1984年获国家科技进步二等奖。

主持“编组站计算机控制系统”, 1976年6月4日。在丰台西站进行了用计算机控制溜放的我国第一勾车试验。

参加“编组站自动化”课题，1973年至1979年。

参加“逻辑网络与可靠性理论” 课题。在1962年至1966年发表论文 6 篇。翻译技术论文15篇, 收集在由中国科学出版社1966年出版的“组合网络”一书中。

闵应骅教授的突出贡献就是发展了布尔代数，提出了布尔过程的概念，用数学分析的概念精确描述了逻辑电路的定时特征，该理论已经在高速IC设计方面显示出广泛的应用前景。

学术交流

1962年至1966年，在铁道科学研究院从事逻辑网络和可靠性理论学习与研究

1966年至1986年，铁道部科学研究院助理研究员、副研究员

1981年至1982年，美国纽约州立大学计算机科学系访问学者

1982年至1983年，美国斯坦福大学电气工程系和计算机科学系访问助理教授

1986年至1987年，美国科罗拉多州立大学计算机科学系访问教授

1993年1月至4月，美国伊利诺依大学交叉科学实验室,访问教授

1996年3月至6月，德国波茨坦大学,访问教授

成果获奖

IEEE 计算机学会金核心成员奖, 2002

IEEE 计算机学会功勋服务奖, 2001

IEEE Computer Society award for founding and chairing RTL ATPG & DFT workshop, 2000.

中国科学院华为奖教金,1999年

“集成电路逻辑设计与测试基础技术研究”, 1999年获得中国科学院自然科学二等奖，排名第1位。

列入美国马奎世界名人录Who’s Who in the World, MARQUIS 13th Edition, 1996, P.911.

IEEE Computer Society award for contributions to ATS, 1996.

“PLA 测试的闵方法” 国家自然科学基金委优秀成果，1996.

中国科学院优秀导师奖,1993年

“测试方法研究与应用”, 1992年获得中国科学院自然科学二等奖，排名第2位。

“一种 PLA 测试方法”, 1990年获得中国科学院自然科学三等奖，排名第1位。

“ETG PLA 设计”, 1989年获得中国计算机学会优秀论文奖

“数字系统设计与测试”, 1989年, 1993年, 1994年被中国科技大学评为最佳研究生课程

“南翔铁路编组站自动控制系统”, 1984年获得国家科技进步二等奖，排名第11位

学术论文

MIN, Yinghua, "Why RTL ATPG" Journal of Computer Science and Technology, Vol.17, No.2, 2002, pp.113-117.

Dafang Zhang, G.Xie, and Y.Min, "Node Grouping in System-Level Fault Diagnosis," Journal of Computer Science and Technology, Vol.16, No.5, 2001, pp.474-479.

MIN Yinghua, "Past and Future of Computing Science" Progress in Natural Science,Vol.10, No.11, Nov., 2000, pp.812-818.

Y.Zhou, M.W.T.Wong, and Y.Min, "On Concurrent Multiple Error Diagnosability in Linear Analog Circuits Using Continuous Checksum," International Journal of Circuit Theory and Applications, Vol.26, No.1, Feb.1998, pp.53-64.(EI No.04972105 EI Monthly No.EIP98034115084)(SCI 98 YW955)

Y.Zhou and Y.Min, "Adaptive Message Routing in a Class of Fault-Tolerant Multistage Interconnection Networks," Computers & Electrical Engineering, An international journal, Vol.23, No.4, July 1997, pp.239-247.(SCI 1997 XY280)

W. Long, Y.Min, S.Yang, and S.Tong, "Short-Time Scaling Merit of Variable Ordering of OBDDs," Journal of Computer Science and Technology, Vol.12, No.4, July 1997, pp.366-371. (EI C9709-4210-052)(EI 97413788527)

Y.Zhou, M.W.T.Wong, and Y.Min, "Hardware Reduction in Continuous Checksum-Based Analog Checkers: Algorithm and Its Analysis," J. of Electronic Testing: Theory and Applications, Vol.9, No.1/2, pp.153-163, Aug./Oct. 1996.(EI 97043429288)

Y.Zhou, and Y.Min, "A Kind of Multistage Interconnection Networks with Multiple Paths," J. of Computer Science and Technology, Vol.11, No.4, pp.395-404, July 1996.(EI C9612-5220P-016)(EI 97173561520)

Min, Youli, and Yinghua Min, "A Fault-Tolerant and Heuristic Routing Algorithm for Faulty Hypercubes," Journal of Computer Science and Technology, Vol.10, No.6, November 1995, pp.536-544.(EI C9606-5220P-003)

Min, Yinghua, Li Zhongcheng, and Min Youli, "Probability of Optimal Routing of Depth-First Algorithm," Chinese Journal of Electronics, Vol.4, No.4, October 1995, pp.33-38.(EI C9607-4230M-002)

Zhou, Yingquan, Mike W.T.Wong, and Min, Yinghua, "Necessary and Sufficient Condition for Concurrent Double Error Diagnosis in Linear Analog Circuits using continuous checksum," Chinese Journal of Electronics, Vol.4, No.4, October 1995, pp.96-99.(EI B9607-1150-001)

Li, Zhongcheng, Yuqi Pan and Yinghua Min, "SABATPG: A Structural Analysis Based Automatic Test Pattern Generation System," Science in China (Series A), Vol.37, No.9, September 1994, pp.1104-1114.(SCI Source 1994 PL908)

Li, Zhongcheng, and Yinghua Min, "Pseudo-random Test Generation for Large Combinational Circuits" J. of Computer Science and Technology, Vol. 7, No. 1, 1992, pp.19--28.(China)(EI 004237500)

Min, Yinghua, Y.K.Malaiya, and Boping Jin, "Analysis of Detection Capability of Parallel Signature Analyzers," IEEE Trans. on Computers, Vol.40, No.9, Sept. 1991, pp. 1075--1081.(USA)(SCI Source 1991 GE048)

Min, Yinghua, and Hideo Fujiwara, "Fault Detection Capability of an O(m*n) Test Generation Algorithm for PLAs," IEICE Trans. Vol.E70, No.10, 1991, pp.3506--3512 (JAPAN).(SCI 1991 GM532)

Min, Yinghua, "Programmable Logic Arrays with the Properties of Easy Test Generation," Science in China, (Sevies A), Vol.33, No.12, Dec. 1990, pp.1501--1518.(China)(SCI Source 1991 ER648)

Li, Jintao, and Yinghua Min, "Product-Oriented Test-Pattern Generation Strategy for Programmable Logic Arrays," J. of Computer Science and Technology, Vol.5, No.2, April 1990, pp. 164--174.(China)(EI B90060424. C90063345)(EI Monthly No: EI9202021280)(EI 92020014384)

Min, Yinghua, "Guest Editor’s Introduction: Fault--Tolerant Computing," Special Issue on Fault--Tolerant Computing, J. of Computer Science and Technology, Vol.5, No.2 1990, pp.97-98.(China)

Min, Y., Y.K.Malaiya, and Boping Jin, "Aliasing Errors in parallel Signature Analyzers," J. of Computer Science and Technology, Vol.5, No.1, January 1990.(China) pp.24-40.(EI B90035344. C90043182)(EI 92020014370)(EI Monthly No: EI9202020518)

赵瑞莲，闵应骅，“基于谓词切片的字符串测试数据自动生成” 《计算机研究与发展》, 第39卷, 第4期, 第473-481页, 2002年4月。

闵应骅，“关于fault与failure, MTBF与MTTF的译名，”《科技术语研究》，第4卷, 第1期，第9-10页,2002年3月

骆祖莹，闵应骅，杨士元. 一种新的CMOS电路最大功耗估计方法. 北京：计算机研究与发展，第38卷, 第12期，第1418-1422页,2001年12月

闵应骅，“可信系统与网络”,《计算机工程与科学》，第23卷, 第5期，第21-23、28页,2001年11月

谢高岗，闵应骅，张大方，马维民“一个基于实际测试的网络流量模型”,《计算机工程与科学》，第23卷, 第5期，第51-53、62页,2001年11月

骆祖莹，闵应骅，杨士元,“用于CMOS电路平均功耗快速模拟的输入向量对序列压缩方法：理论与实践”，《计算机学报》第24卷, 第10期, 第1034-1043页, 2001年10月。

李立健，闵应骅，“基于布尔过程的组合电路波形模拟”，计算机辅助设计与图形学报. 第13卷, 第3期, 第242-246页, 2001年3月。

骆祖莹，闵应骅，杨士元, “一种新的CMOS组合电路最大功耗快速模拟方法”，计算机辅助设计与图形学学报，第13卷, 第7期, 第577-581页,2001年7月。

赵瑞莲，闵应骅，“一种基于数据流分析的程序定义域自动确定方法”，计算机辅助设计与图形学学报，第13卷, 第8期, 第762-768页, 2001年8月。

闵应骅, “计算科学的回顾与前瞻，”《自然科学进展》，第10卷, 第10期, 第877-883页, 2000 年10 月。

江建慧，闵应骅，施鸿宝, "数字电路并发差错定位的概念与基本结构," 《计算机研究与发展》, 第37卷, 第5期, 第532-542页, 2000年5月。

李华伟，李忠诚，闵应骅，“单跳变敏化，”《计算机辅助设计与图形学学报》，第12卷，第4期，第308-311页，2000年4月。

高 峰，李忠诚，闵应骅，吴 杰，“超立方体多处理机系统中基于扩展安全向量的容错路由” 《计算机学报》，第23卷，第3期，第248-254页，2000年3月。

江建慧，闵应骅，施鸿宝，“一种扩展故障安全系统理论，”《电路与系统学报》，第4卷，第4期，第1-9页，1999年12月。

李华伟，李忠诚，闵应骅，“基于测量的时滞故障诊断，”《计算机学报》，第22卷，第11期，第1178-1183页，1999年11月。

李华伟，李忠诚，闵应骅，“双倍可变观测点的时滞测试，”《电子学报》，第27卷，第11期，第120-122页，1999年11月。

江建慧，闵应骅，施鸿宝, "数字电路并发差错检测的新概念," 《计算机研究与发展》, 第36卷, 第9期, 第1133-1141页, 1999年9月。

李华伟，李忠诚，闵应骅，“带时间参数的测试产生” 《计算机学报》，第22卷，第4期，第390-394页，1999年4月。

闵应骅, "CMOS 电流测试综述," 《计算机研究与发展》, 第36卷, 第2期, 第129-133页, 1999年2月。

赵宇虹, 李忠诚, 闵应骅,"有序二叉判定图(OBDD)的有效实现,"《计算机辅助设计与图形学学报》, 1998年,第10卷, 增刊, 第136―142页。(EI tagged)

龙望宁, 闵应骅, 杨士元, 李忠诚, "一个有效的通路时滞故障测试生成系统DTPG,"《计算机学报》, 1998年, 4月, 第21卷, 第4期, 第315―323页。

龙望宁, 杨士元, 童恃白, 闵应骅, "基于遗传算法的TBDD变量排序,"《电子学报》, 1998年, 第26卷, 第4期, 第1-6页。(EI ISSN: 0372-2112 CODEN: TTHPAG)

赵宇虹, 李忠诚, 闵应骅, "带时间参数布尔函数的符号表示及其在计算电路延迟中的应用,"《计算机学报》, 1997年, 10月, 第20卷, 第10期, 第908―917页。

龙望宁, 杨士元, 闵应骅, 童诗白, "基于重量分析的OBDD变量排序算法,"《计算机学报》, 1997年, 8月, 第20卷, 第8期, 第702―710页。(EI B9710-0250-033. C9710-1160-049)

周应权, Mike W.T.Wong, 闵应骅, “基于连续校验和的模拟检错电路硬件开销的优化,”《电子学报》, 1997年, 2月, 第25卷, 第2期, 第45―49页。(EI B9707-1285-001. C9707-7410D-049)(EI 97423797157)

闵应骅, 李忠诚,“布尔过程论”,《中国科学》E辑, 1996年12月,第26卷,第6期,第541-548页。

闵应骅,"容错计算二十五年,"《计算机学报》,1995年12月,第18卷,第12期,第930-943页。(EI C9606-5470-016)

李忠诚, 潘榆奇, 闵应骅, "一个基于电路结构分析的测试产生系统 -- SABATPG," 《中国科学》A辑, 1993年2月,第23卷,第2期,第189-196页。

闵应骅, “一种 C 可测乘法器的设计与测试”, 《计算机研究与发展》, 1992年2月, 第29卷, 第2期, 第8-12页。

闵应骅, “一种保留进位阵列乘法器的分析”,《计算机研究与发展》, 第29卷, 第2期, 第1-7页, 1992年2月。