個人簡介
閔應(yīng)驊，男，1935年12月出生，湖南省人，1962年畢業(yè)于吉林大學(xué)，概率論與數(shù)理統(tǒng)計專業(yè)，現(xiàn)任美國電氣電子工程師學(xué)會院士(Fellow, IEEE)，中科院計算所研究員，博士生導(dǎo)師，文獻(xiàn)中心主任。湖南大學(xué)教授，國家自然科學(xué)基金委員會學(xué)科評審組成員，中國計算機(jī)學(xué)會容錯計算專業(yè)委員會主任，中國計算機(jī)學(xué)會編輯出版工作委員會主任。
個人簡歷
1957年至1962年，吉林大學(xué)數(shù)學(xué)系畢業(yè)
1962年至1966年，在鐵道科學(xué)研究院從事邏輯網(wǎng)絡(luò)和可靠性理論學(xué)習(xí)與研究
1966年至1986年，鐵道部科學(xué)研究院助理研究員、副研究員
1981年至1982年，美國紐約州立大學(xué)計算機(jī)科學(xué)系訪問學(xué)者
1982年至1983年，美國斯坦福大學(xué)電氣工程系和計算機(jī)科學(xué)系訪問助理教授
1986年至1987年，美國科羅拉多州立大學(xué)計算機(jī)科學(xué)系訪問教授
1993年1月至4月，美國伊利諾依大學(xué)交叉科學(xué)實驗室,訪問教授
1996年3月至6月，德國波茨坦大學(xué),訪問教授
主要工作
作為課題負(fù)責(zé)人，主持“容錯計算基礎(chǔ)技術(shù)研究,"國家自然科學(xué)基金資助重點課題, 1998年至2001年。
作為課題負(fù)責(zé)人，主持“容錯計算和計算機(jī)可靠性理論基礎(chǔ)研究",國家自然科學(xué)基金資助課題, 1995年至1997年。
作為課題負(fù)責(zé)人，主持“容錯系統(tǒng)中的故障檢測”, 國家自然科學(xué)基金課題, 1992年至1994年。
參加“數(shù)字電路的可測試性分析和測試技術(shù)",國家八五課題,1991年至1995年。
主持“鐵路車站聯(lián)鎖安全保證系統(tǒng)”, 與鐵路通號公司合同, 1992年至1993年。
主持“康發(fā)工作站測試產(chǎn)生系統(tǒng)”, 科健公司資助, 1990年至1991年。
參加“邏輯測試”, 國家七五課題, 1987年至1991年。
作為課題負(fù)責(zé)人，主持“可信性的概念與方法”, 國家自然科學(xué)基金資助課題, 1989年至1990年。
參加“容錯計算機(jī)基礎(chǔ)研究”, 863 計劃課題, 1987年至1990年。
主持“南翔編組站自動控制系統(tǒng)”。1977年3月, 提出南翔編組站計算機(jī)控制系統(tǒng)的第一張框圖,1978年1月進(jìn)行外圍設(shè)備調(diào)試, 并開通試驗。1981年出版專著一本。1983年“南翔自動控制系統(tǒng)”通過鑒定, 1984年獲國家科技進(jìn)步二等獎。
主持“編組站計算機(jī)控制系統(tǒng)”, 1976年6月4日。在豐臺西站進(jìn)行了用計算機(jī)控制溜放的我國第一勾車試驗。
參加“編組站自動化”課題，1973年至1979年。
參加“邏輯網(wǎng)絡(luò)與可靠性理論” 課題。在1962年至1966年發(fā)表論文 6 篇。翻譯技術(shù)論文15篇, 收集在由中國科學(xué)出版社1966年出版的“組合網(wǎng)絡(luò)”一書中。
閔應(yīng)驊教授的突出貢獻(xiàn)就是發(fā)展了布爾代數(shù)，提出了布爾過程的概念，用數(shù)學(xué)分析的概念精確描述了邏輯電路的定時特征，該理論已經(jīng)在高速IC設(shè)計方面顯示出廣泛的應(yīng)用前景。
學(xué)術(shù)交流
1962年至1966年，在鐵道科學(xué)研究院從事邏輯網(wǎng)絡(luò)和可靠性理論學(xué)習(xí)與研究
1966年至1986年，鐵道部科學(xué)研究院助理研究員、副研究員
1981年至1982年，美國紐約州立大學(xué)計算機(jī)科學(xué)系訪問學(xué)者
1982年至1983年，美國斯坦福大學(xué)電氣工程系和計算機(jī)科學(xué)系訪問助理教授
1986年至1987年，美國科羅拉多州立大學(xué)計算機(jī)科學(xué)系訪問教授
1993年1月至4月，美國伊利諾依大學(xué)交叉科學(xué)實驗室,訪問教授
1996年3月至6月，德國波茨坦大學(xué),訪問教授
成果獲獎
IEEE 計算機(jī)學(xué)會金核心成員獎, 2002
IEEE 計算機(jī)學(xué)會功勛服務(wù)獎, 2001
IEEE Computer Society award for founding and chairing RTL ATPG & DFT workshop, 2000.
中國科學(xué)院華為獎教金,1999年
“集成電路邏輯設(shè)計與測試基礎(chǔ)技術(shù)研究”, 1999年獲得中國科學(xué)院自然科學(xué)二等獎，排名第1位。
列入美國馬奎世界名人錄Who’s Who in the World, MARQUIS 13th Edition, 1996, P.911.
IEEE Computer Society award for contributions to ATS, 1996.
“PLA 測試的閔方法” 國家自然科學(xué)基金委優(yōu)秀成果，1996.
中國科學(xué)院優(yōu)秀導(dǎo)師獎,1993年
“測試方法研究與應(yīng)用”, 1992年獲得中國科學(xué)院自然科學(xué)二等獎，排名第2位。
“一種 PLA 測試方法”, 1990年獲得中國科學(xué)院自然科學(xué)三等獎，排名第1位。
“ETG PLA 設(shè)計”, 1989年獲得中國計算機(jī)學(xué)會優(yōu)秀論文獎
“數(shù)字系統(tǒng)設(shè)計與測試”, 1989年, 1993年, 1994年被中國科技大學(xué)評為最佳研究生課程
“南翔鐵路編組站自動控制系統(tǒng)”, 1984年獲得國家科技進(jìn)步二等獎，排名第11位
學(xué)術(shù)論文
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)
趙瑞蓮，閔應(yīng)驊，“基于謂詞切片的字符串測試數(shù)據(jù)自動生成” 《計算機(jī)研究與發(fā)展》, 第39卷, 第4期, 第473-481頁, 2002年4月。
閔應(yīng)驊，“關(guān)于fault與failure, MTBF與MTTF的譯名，”《科技術(shù)語研究》，第4卷, 第1期，第9-10頁,2002年3月
駱祖瑩，閔應(yīng)驊，楊士元. 一種新的CMOS電路最大功耗估計方法. 北京：計算機(jī)研究與發(fā)展，第38卷, 第12期，第1418-1422頁,2001年12月
閔應(yīng)驊，“可信系統(tǒng)與網(wǎng)絡(luò)”,《計算機(jī)工程與科學(xué)》，第23卷, 第5期，第21-23、28頁,2001年11月
謝高崗，閔應(yīng)驊，張大方，馬維民“一個基于實際測試的網(wǎng)絡(luò)流量模型”,《計算機(jī)工程與科學(xué)》，第23卷, 第5期，第51-53、62頁,2001年11月
駱祖瑩，閔應(yīng)驊，楊士元,“用于CMOS電路平均功耗快速模擬的輸入向量對序列壓縮方法：理論與實踐”，《計算機(jī)學(xué)報》第24卷, 第10期, 第1034-1043頁, 2001年10月。
李立健，閔應(yīng)驊，“基于布爾過程的組合電路波形模擬”，計算機(jī)輔助設(shè)計與圖形學(xué)報. 第13卷, 第3期, 第242-246頁, 2001年3月。
駱祖瑩，閔應(yīng)驊，楊士元, “一種新的CMOS組合電路最大功耗快速模擬方法”，計算機(jī)輔助設(shè)計與圖形學(xué)學(xué)報，第13卷, 第7期, 第577-581頁,2001年7月。
趙瑞蓮，閔應(yīng)驊，“一種基于數(shù)據(jù)流分析的程序定義域自動確定方法”，計算機(jī)輔助設(shè)計與圖形學(xué)學(xué)報，第13卷, 第8期, 第762-768頁, 2001年8月。
閔應(yīng)驊, “計算科學(xué)的回顧與前瞻，”《自然科學(xué)進(jìn)展》，第10卷, 第10期, 第877-883頁, 2000 年10 月。
江建慧，閔應(yīng)驊，施鴻寶, "數(shù)字電路并發(fā)差錯定位的概念與基本結(jié)構(gòu)," 《計算機(jī)研究與發(fā)展》, 第37卷, 第5期, 第532-542頁, 2000年5月。
李華偉，李忠誠，閔應(yīng)驊，“單跳變敏化，”《計算機(jī)輔助設(shè)計與圖形學(xué)學(xué)報》，第12卷，第4期，第308-311頁，2000年4月。
高 峰，李忠誠，閔應(yīng)驊，吳 杰，“超立方體多處理機(jī)系統(tǒng)中基于擴(kuò)展安全向量的容錯路由” 《計算機(jī)學(xué)報》，第23卷，第3期，第248-254頁，2000年3月。
江建慧，閔應(yīng)驊，施鴻寶，“一種擴(kuò)展故障安全系統(tǒng)理論，”《電路與系統(tǒng)學(xué)報》，第4卷，第4期，第1-9頁，1999年12月。
李華偉，李忠誠，閔應(yīng)驊，“基于測量的時滯故障診斷，”《計算機(jī)學(xué)報》，第22卷，第11期，第1178-1183頁，1999年11月。
李華偉，李忠誠，閔應(yīng)驊，“雙倍可變觀測點的時滯測試，”《電子學(xué)報》，第27卷，第11期，第120-122頁，1999年11月。
江建慧，閔應(yīng)驊，施鴻寶, "數(shù)字電路并發(fā)差錯檢測的新概念," 《計算機(jī)研究與發(fā)展》, 第36卷, 第9期, 第1133-1141頁, 1999年9月。
李華偉，李忠誠，閔應(yīng)驊，“帶時間參數(shù)的測試產(chǎn)生” 《計算機(jī)學(xué)報》，第22卷，第4期，第390-394頁，1999年4月。
閔應(yīng)驊, "CMOS 電流測試綜述," 《計算機(jī)研究與發(fā)展》, 第36卷, 第2期, 第129-133頁, 1999年2月。
趙宇虹, 李忠誠, 閔應(yīng)驊,"有序二叉判定圖(OBDD)的有效實現(xiàn),"《計算機(jī)輔助設(shè)計與圖形學(xué)學(xué)報》, 1998年,第10卷, 增刊, 第136—142頁。(EI tagged)
龍望寧, 閔應(yīng)驊, 楊士元, 李忠誠, "一個有效的通路時滯故障測試生成系統(tǒng)DTPG,"《計算機(jī)學(xué)報》, 1998年, 4月, 第21卷, 第4期, 第315—323頁。
龍望寧, 楊士元, 童恃白, 閔應(yīng)驊, "基于遺傳算法的TBDD變量排序,"《電子學(xué)報》, 1998年, 第26卷, 第4期, 第1-6頁。(EI ISSN: 0372-2112 CODEN: TTHPAG)
趙宇虹, 李忠誠, 閔應(yīng)驊, "帶時間參數(shù)布爾函數(shù)的符號表示及其在計算電路延遲中的應(yīng)用,"《計算機(jī)學(xué)報》, 1997年, 10月, 第20卷, 第10期, 第908—917頁。
龍望寧, 楊士元, 閔應(yīng)驊, 童詩白, "基于重量分析的OBDD變量排序算法,"《計算機(jī)學(xué)報》, 1997年, 8月, 第20卷, 第8期, 第702—710頁。(EI B9710-0250-033. C9710-1160-049)
周應(yīng)權(quán), Mike W.T.Wong, 閔應(yīng)驊, “基于連續(xù)校驗和的模擬檢錯電路硬件開銷的優(yōu)化,”《電子學(xué)報》, 1997年, 2月, 第25卷, 第2期, 第45—49頁。(EI B9707-1285-001. C9707-7410D-049)(EI 97423797157)
閔應(yīng)驊, 李忠誠,“布爾過程論”,《中國科學(xué)》E輯, 1996年12月,第26卷,第6期,第541-548頁。
閔應(yīng)驊,"容錯計算二十五年,"《計算機(jī)學(xué)報》,1995年12月,第18卷,第12期,第930-943頁。(EI C9606-5470-016)
李忠誠, 潘榆奇, 閔應(yīng)驊, "一個基于電路結(jié)構(gòu)分析的測試產(chǎn)生系統(tǒng) -- SABATPG," 《中國科學(xué)》A輯, 1993年2月,第23卷,第2期,第189-196頁。
閔應(yīng)驊, “一種 C 可測乘法器的設(shè)計與測試”, 《計算機(jī)研究與發(fā)展》, 1992年2月, 第29卷, 第2期, 第8-12頁。
閔應(yīng)驊, “一種保留進(jìn)位陣列乘法器的分析”,《計算機(jī)研究與發(fā)展》, 第29卷, 第2期, 第1-7頁, 1992年2月。
