李国旗
??
职???????称?????????讲师
行政职务?????????/
所在机构?????????重点实验室
座???????机?????????**
办公地址?????????为民楼631
电子邮箱?????????gqli@buaa.edu.cn
个人主页????????

--> 研究方向
软件安全性、软件可靠性、人工智能、软件工程 教育背景
2003.3-2007.9 上海交通大学计算机系，获工学博士学位；1995.9-2003.1 山东大学，获工学学士和硕士学位。 学术兼职
IEICE海外会员 讲授课程
《形式化方法》 奖励与荣誉
学术成果
共发表论文50余篇，其中10篇为SCI检索期刊论文。是IEICE和Elsevier等国际著名学术期刊的审稿人。出版专著一本：Publications:Book:Guoqi Li Ran Yan Yuanxun Shao and Peng Ding. “Quantitative investing systems: platform principle and dependability”. ISBN 978-7-121-25332-4. Publishing House of electronics industry. 2015.3. (in Chinese) 《量化投资系统：平台、原理和可信性》电子工业出版社出版. 2015.3.Journal Papers：[1] Guoqi Li Yuanxun Shao Shen Hong* and Bin Liu. “An IPC-based Prolog design pattern for integrating backward chaining inference into applications or embedded systems”. Chinese Journal of Aeronautics. 2014 27(6): 1571-1577.[2] Guoqi Li. “A Modified FTA Approach to Achieve Runtime Safety Analysis of Critical Systems”. IEICE Transactions on Fundamentals of Electronics Communications and Computer Sciences. Vol.E97-A. No.10. pp.2083-2085. 2014.[3] Sheng Hong Hongqi Yang Guoqi Li* Ning Huang Xiaomin Ma and K. S. Trivedi. "Analysis of propagation dynamics in complex dynamical network based on disturbance propagation model". International Journal of Modern Physics B. Vol. 28 No. 22 (2014) ** .[4] Guoqi Li. “A framework to Integrate Public Information into Runtime Safety Analysis for Critical Systems”. IEICE Transactions on Information and Systems Vol.E97-DNo.4pp.981-983April. 2014.[5] Sheng Hong Baoqing Wang Guoqi Li* and Qian Hong. "Performance Degradation Assessment for Bearing based on Ensemble Empirical Mode Decomposition and Gaussian Mixture Model". Journal of Vibration and Acoustics. 136(6) 061006 (Sep 01 2014) (8 pages).[6] Guoqi Li and Juan Zhang. "A Novel Ontology-based Method to Represent and Classify Failure Modes of Sensors". Sensors & Transducers Vol. 25 Special Issue December 2013 pp. 112-117.[7] Guoqi Li. "Ontology-based reuse of failure modes in existing databases for FMEA: Methodology and tool." IEICE Transactions on Fundamentals of Electronics Communications and Computer Sciences. Volume and Number: Vol.E96-ANo.7pp.1645-1648Jul. 2013.[8] Guoqi Li. "Software FMEA for Safety-Critical System based on Co-analysis of System Model and Software Model". IEICE Transactions on Information and Systems Vol.E95-DNo.12pp.3101-3105Dec. 2012.[9] Guoqi Li Huanye Sheng and Xun Fan. “Incorporating metadata into Data Mining with Ontology.” IEICE Transactions on Fundamentals of Electronics Communications and Computer Sciences. Volume and Number: Vol. E90-DNo.6pp. 983-985Jul. 2007.[10] Guoqi Li and Huanye Sheng. “Classification Analysis Of Microarray Data based On Ontological Engineering”. Journal of Zhejiang University SCIENCE A 2007 v 8 4 p 638-643.
资质证书