职称/职务 副教授
联系电话 **
电子邮件 hnmeng@xaut.edu.cn
孟海宁，女，博士，副教授，硕士生导师，美国麻省大学访问****。1979年3月出生于内蒙古乌海市，2008年5月获西安交通大学计算机软件与理论专业博士学位。
主讲本科生课程：离散数学、大学计算机基础、操作系统等。主讲硕士研究生课程：高级数理逻辑。
目前主要从事云计算系统可靠性建模及优化、数据统计分析、机器学习等研究。主持国家自然科学基金、陕西省自然科学基金、陕西省教育厅专项、西安市碑林区科技计划项目、校特色创新计划项目、横向课题等10余项；在国内外学术期刊及会议上发表论文30余篇，其中被SCI、EI检索20余篇；申报专利1项；获陕西高等学校科学技术奖1项。
主持或参加的主要科研项目
(1)国家自然科学基金青年项目，**，云服务器性能衰退预测与多级再生模型研究，2017/01-2019/12，21万，主持
(2) 陕西省自然科学基础研究计划项目，2014JQ8302，复杂环境下应用服务器中间件可生存性建模及预测方法研究，2014/01-2015/12，3万，主持
(3) 陕西省教育厅专项研究计划项目，09JK642，基于构件技术的应用服务器中间件可靠性预测方法研究，2009/07-2011/07，2万，主持
(4) 西安市碑林区科技计划项目，GX1505，基于软件再生的企业私有云平台性能管理技术研发，2015/01-2016/12，2万，主持
(5) 国家自然科学基金面上项目，面向无人驾驶主动安全保障的有轨电车状态估计与风险评估，2018/01-2021/12，63万，参加
(6) 国家自然科学基金面上项目，多线程程序约束构建，优化求解及其智能测试方法研究，2015/01-2018/12，84万，参加
(7) 国家自然科学基金青年项目，基于智能全分散式网络的车站联锁系统调度模型研究，2012/01-2014/12，21万，参加
(8) 国家自然科学基金面上项目，人工内分泌协同计算模型及其应用研究，2011/01-2013/12，36万，参加
代表性学术论文
(1) Meng Haining, Zhang Xu, Zhu lei. Optimizing software rejuvenation policy based on CDM for cloud system. IEEE Proceedings of Industrial Electronics and Applications, Siem Reap,
(2) Meng Haining, Wang Yichuan, Wang Huaijun. Optimal control method for runtime system maintenance. IEEE Control and Decision Conference, Chongqing,
(3) Meng Haining, Hei Xinhong, Zhang Jiulong. Software Aging and Rejuvenation in a J2EE Application Server, Quality and Reliability Engineering International, 2016, 32 (1): 89-97
(4) Meng Haining, Liu Jianjun, Hei Xinhong. Modeling and optimizing periodically inspected software rejuvenation policy based on geometric sequences, Reliability Engineering & System Safety, 2015, 133: 184-191
(5) Meng Haining, Hei Xinhong, Li Yan. A rejuvenation model for software system under normal attack, IEEE Conference on Trust Computing, TrustCom 2015, 1160-1164, Helsinki,
(6) Sui Liansheng, Duan Kuaikuai, Liang Junli, Zhang Zhiqiang, Meng Haining. Asymmetric multiple-image encryption based on coupled logistic maps in fractional Fourier transform domain, Optics and Lasers in Engineering, 2014, 62: 139-152
(7) Liu Jianjun, Meng Haining. Study on the Transformation Method of AADL-Based Reliability Model in the Embedded System，Cloud Computing, 278-286, 2014, Wuhan, P.R. China, 2014.05.25-2014.05.29
(8) Meng Haining, Hei Xinhong, Liu Jianjun. Detection and analysis of software aging in a service-oriented J2EE application server, Information Technology Journal, 2013, 12 (9): 1857-1862
(9) Meng Haining, Hei Xinhong, Liu Jianjun. Analytical modeling of periodically inspected software rejuvenation policy, Information Technology Journal, 2013, 12 (6): 1227-1232
(10) 孟海宁, 齐勇, 侯迪. 基于非马尔可夫随机Petri网的软件再生建模与分析, 计算机学报, 2007, (12): 2212-2217
获奖情况
(1)2017年，轨道交通信号系统可靠性保障方法研究与应用. 陕西省高等学校科学技术奖一等奖, 排名第五
(2)2016年，西安理工大学“科研先进个人”
(3)2014年，西安理工大学“优秀本科生导师”
(4)2013年，西安理工大学“教书育人先进个人”
