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

--> 研究方向
半监督性学习，非平衡学习，集成学习，软/硬件一体模型构建、软件缺陷预测与分析、可信软件、安全性工程等。现参与民口973大飞机专项，科工局技术基础、十三五国防预研等多项国家级纵向课题。负责国家自然科学基金，航空基金各一项，以及多项横向课题。在国际SCI，EI期刊/会议上发表30余篇学术论文。 教育背景
1997年-2001年，哈尔滨工业大学，计算机科学与工程系，本科/学士 2003年-2005年，英国谢非尔德大学，计算机科学系，研究生/硕士 2005年-2010年 英国曼彻斯特大学计算机科学学院，研究生/博士 学术兼职
讲授课程
研究生专业选修课：高级软件工程（春季） 本科生必修课程：可靠性综合实验室实践（春季） 奖励与荣誉
学术成果
期刊论文：1. Chen Ke. * Wang Shihai Semi-supervised learning via regularized boosting working on multiple semi-supervised assumptions IEEE Transactions on Pattern Analysis and Machine Intelligence v33 n1 p.2. Wang Shihai * Shin-Jye Lee A Robust Boosting by Using an Adaptive Weight Scheme The Journal of Cybernetics and Systems v43 n7 p567-584 2012.3. Zhang Quan Wang Shihai* Liu Bin An Approach for Integrated Modular Avionics Reconfiguration Modeling and Reliability Analysis based on AADL IET Software v10 n1 p18-25 2016.4．Li Zelin Wang Shihai* Zhao Tingdi Liu Bin A hazard analysis via an improved timed colored petri net with time-space coupling safety constraint the Chinese Journal of Aeronautics v29 n4 p1027-1041 2016 5. Huang F.* Liu Bin Wang Shihai Li Q The impact of software process consistency on residual defects Journal of Software Evolution & Process v27 n9 p.6. Yang Shunkun* Liu Bin Wang Shihai Model-based robust testing for avionics embedded software the Chinese Journal of Aeronautics v26 n3 p730-740 2013. 7. Renqing Li Shihai Wang* An Empirical Study for Software Fault-Proneness Prediction with Ensemble Learning Models on Imbalanced Data Sets Journal of Software v9 n3 p697-704 2014.8. Dongyi Lin Wang Shihai* Liu Bin Diao Xiaoxu Reliability Evaluation based on the AADL Architecture Model Journal of Software v9 n10 p2721-2727 2014.9.Wang Shihai* He Ping Li Zelin An enhanced software defect prediction model with multiple metrics and learners[J]. International Journal of Industrial and Systems Engineering v22 n3 p358-371 2016.10. 张贺，王世海*，刘斌，杨顺昆，余正伟，秦蕾，航空机载软件缺陷知识库框架，测控技术，第32 卷，第1期， 99-103页，2013.11.凌东怡，王世海， 刘斌，基于AADL体系结构模型的构件系统可靠性评估方法， 系统工程与电子技术（已接收）会议论文：1.Chen Ke.* Wang Shihai，Regularized boost for semi-supervised learning In Advances in Neural Information Processing Systems（NIPS），2007.12.03-05，p281-288 ，Canada Vancouver，2007.2. Wang Shihai* Chen Ke.，Ensemble learning with active data selection for semi-supervised pattern classification，IEEE International Joint Conference on Neural Networks，2007，p355-360 ，Orlando U.S.A，2007.3. Quan Zhang Shihai Wang* Bin Liu、Some Improvements on The Rules for Exchanging Between Error Model Annex and AADL to Fault Tree Proceedings - 2013 International Conference on Information Technology and Applications ITA 2013 p 338-342 2013 Proceedings - 2013 International Conference on Information Technology and Applications ITA 2013. 4. Huinan Zhang Shihai Wang* Xiaoxu Diao Bin Liu Test case generating for Integrated Modular Avionics software health monitoring the 2013 3rd International Conference on Computer Applications and Industrial Electronics Zhang Hui Nan v494-495 p873-880 2014.5. Huinan Zhang* Shihai Wang Bin Liu Xiaoxu Diao Testing Method of Integrated Modular Avionics Health Monitoring 2013 Prognostics and System Health Management， 2013 Prognostics and System Health Management Conference 2013 VOL. 33 p649-p654 2013.6. Quan Zhang Shihai Wang * Bin Liu IMA reconfiguration modeling and reliability analysis based on AADL Cyber Technology in Automation Control and Intelligent Systems (CYBER) 2014 IEEE 4th Annual International Conference on. IEEE 2014.7. Shihai Wang* Zelin Li A New Transfer Learning Boosting Approach based on Distribution Measure with an Application on Facial expression Recognition International Joint Conference on Neural Networks (IJCNN) 2014.8. Yang M. Feilong W. Shihai Wang* & Li D. Reliability assessment method of SOA architecture software system based on complex network In Cyber Technology in Automation Control and Intelligent Systems(CYBER) 2014 IEEE 4th Annual International Conference on (pp. 653-657)IEEE 2014.9. Shihai Wang He Ping. A New Software Fault Prediction Model in Imbalanced Data 2015 International Conference on Software Engineering and Information System 2015.10．Hongyan Ju Shihai Wang* Tingdi Zhao A modeling method of IMA dynamic reconfiguration based on AADL Reliability Systems Engineering (ICRSE) 2015 First International Conference on Beijing pp.1-52015.11．Chengcong Si Shihai Wang* Bin Liu A model driven multi- constraint safety analysis method for integrated modular avionics systems on time domain Prognostics and System Health Management Conference (PHM) Beijing pp.1-6 2015.12．Zelin Li Shihai Wang* Transformation rules from AADL to extended color petri net for integrated modular avionics International system safety conference 2015.13．Zelin Li Shihai Wang* Tingdi Zhao A model based simulation verification method for IMA reconfiguration on system level Reliability Systems Engineering (ICRSE) 2015 First International Conference on Beijing p1-5 2015.14. Rongbin Han Shihai Wang Transformation Rules from AADL to Imporved Colored GSPN for Integrated Modular Avionics 2016 11th International Conference on Reliability Maintainability and Safety(ICRMS).15．刘畅，谷涛，周庆，王世海，李泽林 “AADL2ECPN模型转换方法及其在IMA上的应用” 北 京 航 空 航 天 大 学 学 报.16. Shihai Wang Li Geng An improvment of weight scheme on AdaBoost in the presence of noisy data1st Asian Conference on Pattern Recognition ACPR 2011 p407-411 2011.17. Dongyi Ling Shihai Wang Bin Liu Reliability assessment method for integrated modular avionics system based on Bayesian network AIAA Modeling and Simulation Technologies Conference Washington D.C 201618.Hongyan Ju Shihai Wang Tingdi Zhao Reliability analysis for the process and DIMA dynamic reconfiguration European Safety and Reliability 2016.19.Rongbin Han Shihai Wang a safety analysis method with correlation of states for integrated modular avionics systems based on an extended generalized stochastic petri net European Safety and Reliability 2016.20.Hongyan Ju Shihai Wang Tingdi Zhao a safety evaluation method for the process of IMA dynamic reconfiguration Chinese Control Conf 201621.Guanling Li Shihai Wang oversampling boosting for classification of imbalanced software defect data Chinese Control Conf 2016
资质证书