閔應驊： 男，1935年12月出生，湖南省人，1962年畢業於吉林大學數學系機率論與數理統計專業，美國電氣電子工程師學會院士(Fellow, IEEE)。現任中科院計算所研究員，博士生導師，龍星計畫委員會副主任，湖南大學教授，中國計算機學會容錯計算專業委員會主任，中國計算機學會編輯出版工作委員會主任，《計算機科學技術學報（英）》執行主編。
基本介紹
- 中文名：閔應驊
- 國籍：中國
- 民族：漢族
- 出生地：湖南
- 出生日期：1935.12
個人簡介,個人簡歷,主要工作,學術交流,成果獲獎,學術論文,
個人簡介
閔應驊，男，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年出版的“組合網路”一書中。
作為課題負責人，主持“容錯計算和計算機可靠性理論基礎研究",國家自然科學基金資助課題, 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月，德國波茨坦大學,訪問教授
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位
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月。
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月。
