蔡開元，男，1965年生於福建莆田，1984、1987和1991年在北京航空航天大學獲得學士、碩士和博士學位，1993年至1995年應聘在Centre for Software Reliability, City University, London工作，1995年任北航教授，1998年獲國家傑出青年科學基金，1999年被教育部批准為“長江學者獎勵計畫”特聘教授，2009年獲“中創軟體人才獎”，併入選“新世紀百千萬人才工程國家級人選”。主要研究方向包括軟體可靠性與測試，可靠飛行控制和軟體控制論等。
基本介紹
- 中文名：蔡開元
- 國籍：中國
- 出生地：福建莆田
- 出生日期：1965年
- 畢業院校：北京航空航天大
- 性別：男
個人簡介,學習經歷,工作經歷,研究領域,榮譽及獎勵,開授課程,教學及科研成果,學術與社會兼職,
個人簡介
蔡開元，男，1965年生於福建莆田，1984、1987和1991年在北京航空航天大學獲得學士、碩士和博士學位，1993年至1995年應聘在Centre for Software Reliability, City University, London工作，1995年任北航教授，1998年獲國家傑出青年科學基金，1999年被教育部批准為“長江學者獎勵計畫”特聘教授，2009年獲“中創軟體人才獎”，併入選“新世紀百千萬人才工程國家級人選”。主要研究方向包括軟體可靠性與測試，可靠飛行控制和軟體控制論等。除英國外，曾在美國、澳大利亞、香港訪問工作。擔任Fuzzy Sets and Systems國際雜誌編委；The International Journal of Software Engineering and Knowledge Engineering和Journal of Systems and Software（特輯）客座主編；(美國) Kluwer Academic Publishers出版社 The Kluwer International Series on Asian Studies in Computer and Information Science 國際叢書主編。並擔任多種境外召開的國際學術會議程式委員會委員或主席。
主要學術論文發表在多個國際雜誌上；兩本英文專著《Software Defect and Operational Profile Modeling》和《Introduction to Fuzzy Reliability》分別於1998年和1996年由Kluwer Academic Publishers在美國出版。論著被美、日、俄、義大利等十多個國家和地區約數十位學者引用或發展，其中被SCI它引用百餘次。關於軟體可靠性的部分研究工作被稱為“蔡氏模型”，並被寫入Springer出版社出版的英文教材。主要研究領域為軟體可靠性與測試、智慧型系統與控制、軟體控制論。
學習經歷
1980年考入北京航空航天大學本科, 分別於1984年、1987年、1991年在北航獲得學士、碩士、博士學位。
工作經歷
1991-1993：北京航空航天大學自動控制系講師、副教授；
1993-1995：Research Fellow, City University, London, UK
1995-至今：北京航空航天大學自動控制系教授
1993-1995：Research Fellow, City University, London, UK
1995-至今：北京航空航天大學自動控制系教授
研究領域
導航、制導與控制，可靠飛行控制，軟體可靠性與測試，軟體控制論
榮譽及獎勵
1998：國家傑出青年科學基金
1999：教育部“長江學者獎勵計畫”特聘教授
2007：“高等學校自然科學獎”一等獎
2009：“中創軟體人才獎”
2009：“新世紀百千萬人才工程”國家級人選
1999：教育部“長江學者獎勵計畫”特聘教授
2007：“高等學校自然科學獎”一等獎
2009：“中創軟體人才獎”
2009：“新世紀百千萬人才工程”國家級人選
開授課程
本科生課程《套用離散數學》；
研究生課程《模糊數學》，《軟體可靠性工程》
教學及科研成果
[1] Lin Tie, Kai-Yuan Cai, and Yan Lin, “On Uncontrollable Discrete-Time Bilinear Systems which are “Nearly” Controllable”, IEEE Transactions on Automatic Control, Vol.55, No.12, 2010, pp2853-2858.
[2] Bo Zhu, Kai-Yuan Cai, “Approximate trajectory tracking of input-disturbed PVTOL aircraft with delayed attitude measurements”, International Journal of Robust and Nonlinear Control, Vol.20, No.14, 2010, pp1610-1621.
[3] DedongYang, Kai-Yuan Cai, “Reliable Guaranteed Cost Sampling Control for Nonlinear Time-delay systems”, Mathematics and Computers in Simulation, Vol.80, No.10, 2010, pp2005-2018.
[4] Kai-Yuan Cai, Lei Zhang, “Fuzzy Reasoning as a Control Problem”, IEEE Transactions on Fuzzy Systems, Vol.16, No.3, 2008, pp600-614.
[5] Huai-Ning Wu, Kai-Yuan Cai, “H2 Guaranteed Cost Fuzzy Control Design for Discrete-Time Nonlinear Systems with Parameter Uncertainty”, Automatica, Vol.42, 2006, pp1183-1188.
[6] Kai-Yuan Cai, “Robustness of Fuzzy Reasoning and δ-Equalities of Fuzzy Sets”, IEEE Transactions on Fuzzy Systems, Vol.9, No.5, 2001, pp738-750.
[7] Kai-Yuan Cai, Ping Cao, Zhao Dong, Ke Liu, “Mathematical Modeling of Software Reliability Testing with Imperfect Debugging”, Computers and Mathematics with Applications, Vol.59, No.10, 2010, pp3245-3285.
[8] Cheng-Gang Bai, Kai-Yuan Cai, Qing-Pei Hu, Szu-Hui Ng, “On the Trend of Remaining Software Defects Estimation”, IEEE Transactions on Systems, Man, and Cybernetics – Part A, Vol.38, No.5, 2008, pp1129-1142.
[9] Kai-Yuan Cai, De-Bin Hu, Cheng-Gang Bai, Hai Hu, Tao Jing, “Does Software Reliability Growth Behavior Follow a Non-homogeneous Poisson Process”, Information and Software Technology, Vol.50, 2008, pp1232-1247.
[10] Kai-Yuan Cai, Zhao Dong, Ke Liu, “Software Testing Processes as a Linear Dynamic System”, Information Sciences, Vol.178, 2008, pp1558-1597.
[11] Kai-Yuan Cai, Changhai Jiang, Hai Hu, Chenggang Bai, “An Experimental Study of Adaptive Testing for Software Reliability Assessment”, Journal of Systems and Software, Vol.81, 2008, 1406-1429.
[12] Kai-Yuan Cai, Bo Gu, Hai Hu, Yong-Chao Li, “Adaptive Software Testing with Fixed-Memory Feedback”, Journal of Systems and Software, Vol.80, 2007, pp1328-1348.
[13] Kai-Yuan Cai, Yong-Chao Li, Ke Liu, “Optimal and Adaptive Testing for Software Reliability Assessment”, Information and Software Technology, Vol.46, 2004, pp989-1000.
[14] Kai-Yuan Cai, “Optimal Software Testing and Adaptive Software Testing in the Context of Software Cybernetics”, Information and Software Technology, Vol.44, 2002, pp841-855.
[15] Kai-Yuan Cai, Lin Cai, Wei-Dong Wang, Zhou-Yi Yu, David Zhang, “On the Neural Network Approach in Software Reliability Modeling”, Journal of Systems and Software, Vol.58, 2001, pp47-62.
[16] Kai-Yuan Cai, Software Defect and Operational Profile Modeling, Kluwer Academic Publishers, Boston/Dordrecht/London, 1998.
[17] Kai-Yuan Cai, “Censored Software-Reliability Models”, IEEE Transactions on Reliability, Vol.46, No.1, 1997, pp69-75.
[18] 蔡開元，軟體可靠性工程基礎，清華大學出版社，1995.
[19] Kai-Yuan Cai, Chuan-Yuan Wen, Ming-Lian Zhang, “A Critical Review on Software Reliability Modeling”, Reliability Engineering and System Safety, Vol.32, 1991, pp357-371.
[2] Bo Zhu, Kai-Yuan Cai, “Approximate trajectory tracking of input-disturbed PVTOL aircraft with delayed attitude measurements”, International Journal of Robust and Nonlinear Control, Vol.20, No.14, 2010, pp1610-1621.
[3] DedongYang, Kai-Yuan Cai, “Reliable Guaranteed Cost Sampling Control for Nonlinear Time-delay systems”, Mathematics and Computers in Simulation, Vol.80, No.10, 2010, pp2005-2018.
[4] Kai-Yuan Cai, Lei Zhang, “Fuzzy Reasoning as a Control Problem”, IEEE Transactions on Fuzzy Systems, Vol.16, No.3, 2008, pp600-614.
[5] Huai-Ning Wu, Kai-Yuan Cai, “H2 Guaranteed Cost Fuzzy Control Design for Discrete-Time Nonlinear Systems with Parameter Uncertainty”, Automatica, Vol.42, 2006, pp1183-1188.
[6] Kai-Yuan Cai, “Robustness of Fuzzy Reasoning and δ-Equalities of Fuzzy Sets”, IEEE Transactions on Fuzzy Systems, Vol.9, No.5, 2001, pp738-750.
[7] Kai-Yuan Cai, Ping Cao, Zhao Dong, Ke Liu, “Mathematical Modeling of Software Reliability Testing with Imperfect Debugging”, Computers and Mathematics with Applications, Vol.59, No.10, 2010, pp3245-3285.
[8] Cheng-Gang Bai, Kai-Yuan Cai, Qing-Pei Hu, Szu-Hui Ng, “On the Trend of Remaining Software Defects Estimation”, IEEE Transactions on Systems, Man, and Cybernetics – Part A, Vol.38, No.5, 2008, pp1129-1142.
[9] Kai-Yuan Cai, De-Bin Hu, Cheng-Gang Bai, Hai Hu, Tao Jing, “Does Software Reliability Growth Behavior Follow a Non-homogeneous Poisson Process”, Information and Software Technology, Vol.50, 2008, pp1232-1247.
[10] Kai-Yuan Cai, Zhao Dong, Ke Liu, “Software Testing Processes as a Linear Dynamic System”, Information Sciences, Vol.178, 2008, pp1558-1597.
[11] Kai-Yuan Cai, Changhai Jiang, Hai Hu, Chenggang Bai, “An Experimental Study of Adaptive Testing for Software Reliability Assessment”, Journal of Systems and Software, Vol.81, 2008, 1406-1429.
[12] Kai-Yuan Cai, Bo Gu, Hai Hu, Yong-Chao Li, “Adaptive Software Testing with Fixed-Memory Feedback”, Journal of Systems and Software, Vol.80, 2007, pp1328-1348.
[13] Kai-Yuan Cai, Yong-Chao Li, Ke Liu, “Optimal and Adaptive Testing for Software Reliability Assessment”, Information and Software Technology, Vol.46, 2004, pp989-1000.
[14] Kai-Yuan Cai, “Optimal Software Testing and Adaptive Software Testing in the Context of Software Cybernetics”, Information and Software Technology, Vol.44, 2002, pp841-855.
[15] Kai-Yuan Cai, Lin Cai, Wei-Dong Wang, Zhou-Yi Yu, David Zhang, “On the Neural Network Approach in Software Reliability Modeling”, Journal of Systems and Software, Vol.58, 2001, pp47-62.
[16] Kai-Yuan Cai, Software Defect and Operational Profile Modeling, Kluwer Academic Publishers, Boston/Dordrecht/London, 1998.
[17] Kai-Yuan Cai, “Censored Software-Reliability Models”, IEEE Transactions on Reliability, Vol.46, No.1, 1997, pp69-75.
[18] 蔡開元，軟體可靠性工程基礎，清華大學出版社，1995.
[19] Kai-Yuan Cai, Chuan-Yuan Wen, Ming-Lian Zhang, “A Critical Review on Software Reliability Modeling”, Reliability Engineering and System Safety, Vol.32, 1991, pp357-371.
學術與社會兼職
1. 國際叢書主編：《The Kluwer International Series in Asian Studies on Computer and Information Science》；
2. 國際雜誌編委：《Fuzzy Sets and Systems》, 《International Journal of Quality, Statistics, and Reliability》, 《International Journal of Grid and Distributed Computing》；
3. 國際雜誌Guest-editor：《Fuzzy Sets and Systems》 (1996), 《Journal Systems and Software》 (2006), 《International Journal of Software Engineering and Knowledge Engineering》 (2006), 《IEEE Transactions on Reliability》 (2010)；
4. 中國計算機學會軟體工程專業委員會委員；
5.“飛行器控制一體化技術”國防科技重點實驗室學術委員會副主任；
2. 國際雜誌編委：《Fuzzy Sets and Systems》, 《International Journal of Quality, Statistics, and Reliability》, 《International Journal of Grid and Distributed Computing》；
3. 國際雜誌Guest-editor：《Fuzzy Sets and Systems》 (1996), 《Journal Systems and Software》 (2006), 《International Journal of Software Engineering and Knowledge Engineering》 (2006), 《IEEE Transactions on Reliability》 (2010)；
4. 中國計算機學會軟體工程專業委員會委員；
5.“飛行器控制一體化技術”國防科技重點實驗室學術委員會副主任；
