职称/职务　　副教授

联系电话　　13152081924
电子邮件　　hnmeng@xaut.edu.cn
　　

孟海宁，女，博士，副教授，硕士生导师，美国麻省大学访问学者。1979年3月出生于内蒙古乌海市，2008年5月获西安交通大学计算机软件与理论专业博士学位。

 

主讲本科生课程：离散数学、大学计算机基础、操作系统等。主讲硕士研究生课程：高级数理逻辑。

 

目前主要从事云计算系统可靠性建模及优化、数据统计分析、机器学习等研究。主持国家自然科学基金、陕西省自然科学基金、陕西省教育厅专项、西安市碑林区科技计划项目、校特色创新计划项目、横向课题等10余项；在国内外学术期刊及会议上发表论文30余篇，其中被SCI、EI检索20余篇；申报专利1项；获陕西高等学校科学技术奖1项。

 

主持或参加的主要科研项目

(1)国家自然科学基金青年项目，61602375，云服务器性能衰退预测与多级再生模型研究，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, Cambodia , 2017: 1850 -1854

(2)  Meng Haining, Wang Yichuan, Wang Huaijun. Optimal control method for runtime system maintenance.  IEEE Control and Decision Conference, Chongqing, China , 2017: 3272 -3275

(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, Finland , 2015.8.20- 2015.8.22

(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年，西安理工大学“教书育人先进个人”