蔡開元

蔡開元

蔡開元,男,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-至今:北京航空航天大學自動控製系教授 

研究領域

導航、製導與控製,可靠飛行控製,軟體可靠性與測試,軟體控製論

榮譽及獎勵

1998:國家傑出青年科學基金

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. 

學術與社會兼職

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.“飛行器控製一體化技術”國防科技重點實驗室學術委員會副主任; 

相關詞條

其它詞條