勉治宝  博士/副教授/硕导

通信地址：甘肃省兰州市安宁东路967号西北师范大学计算机科学与工程学院,730070

Email：mianzhibao@163.com

研究领域：基于模型的系统工程，自动模型转换，模型验证，系统可靠性分析与架构最优化，基于RCM（Reliability Centered Maintenance）的设备维修，设备健康监测与维修智能决策等。

教育背景

2010--2014英国赫尔大学，理学博士，计算机科学与技术 

2008--2009英国诺丁汉大学，理学硕士，计算机科学与技术 

2001--2005中国矿业大学，工程学士，信息工程 

工作经历

2020--至今 - 西北师范大学–计算机学院，副教授，硕导

2016--2019 - 北方民族大学–计算机学院，讲师，硕导

2013--2016 - DB Schenker Rail UK - 机车可靠性部门经理 

2005--2008 - 中国电信安徽分公司，企业级网络维护

讲授课程

研究生：工程英语、软件可靠性工程概论、复杂系统可靠性分析方法及应用

本科：软件工程、软件工程管理、数据库系统原理、计算与信息素养、大学计算机、工程经济、Java

科研项目

·甘肃省教育厅创新基金项目，基于AADL扩展附件的系统成本建模方法研究，2021/02-2023/02，在研，主持。

·西北师范大学2020年青年教师科研能力提升计划项目，NWNU-LKQN2020-15,采用HiP-HOPS对AADL模型进行多目标结构最优化分析的模型转换，2020/07-2023/06，在研，主持。

·宁夏自然科学基金面上项目（省部级），2019AAC03120,基于模型转换的可靠性系统架构最优化研究，2019/05-2021/05，结题，主持。

·宁夏重点研发计划项目（省部级重点），2018BEE03019，基于CMMS的RCM智能设备维修管理模式研究，2018/09-2021/09，结题，主持。

·宁夏高等学校一流学科建设项目（省部级重点），NXYLXK2017A07，基于AADL2和HiP-HOPS的系统模型转换及可靠性系统结构多目标最优化分析，2018/03-2020/03，结题，主持。

·宁夏人社厅2017年留学人员创新创业择优资助项目（省部级），宁夏南部山区彭阳县智能旅游综合基地规划与开发建设项目，2017/12-2019/12，结题，主持。

·2017年国家民委教研项目（省部级），17042，民族高校基于MOOC+SPOC的大学计算机课程改革研究—以北方民族大学为例，2017/09-2019/09，结题，主持。

·北方民族大学重点科研项目，2017KJ25，RCM技术在制造业领域的应用研究以宁夏共享集团为例，2017/05-2020/05，结题，主持。

·DB Schenker 集团科研项目，DBS-RCM2014002，RCM for Locomotive Maintenance，2014/03-2016/03，3万英镑，已结题，主持。

·国家自然科学基金地区项目，61862001，可信工作流管理系统的关键技术及其标准化研究，2019/01-2022/12，37万，在研，参与。

·国家自然科学基金地区项目，61962002，多设备支持的协同工作环境中感知模型的研究与应用，2020-01至2023-12 ，38万元，在研，参与。

·国家自然科学基金地区项目，61962001，基于决策过程的广义可能性时序逻辑的符号模型检测方法研究，2020-01至2023-12，38万元，在研，参与。

·欧盟联合科学研究基金项目，Grant 732242，DEIS，2017/01-2019/12，€4.9M (约3700万人民币)，已结题，参与。

·欧盟联合科学研究基金项目，Grant 260057，MAENAD，2011/01-2015/12，€398,000 (约290万人民币)，已结题，参与。

论文情况

•施小东,勉治宝^*,高亚晴.基于AADL的IoP系统可靠性评估方法[J/OL].计算机工程, 2021,2022(1):1-10, https://doi.org/10.19678/j.issn.1000-3428.00.59738.

•Mian Z, Jia S, Shi X, Tang C, Chen J and Gao Y, 2020，A Model-based RCM Analysis Method, 2020 IEEE 20th International Conference on Software Quality, Reliability and Security Companion (QRS-C), Macau, China, pp. 301-307, doi: 10.1109/QRS-C51114.2020.00059.

•Mian Z, Bottaci L, Papadopoulos Y and Mahmud N, 2019, Model Transformation for analyzing Dependability of AADL model by using HiP-HOPS, Journal of Systems & Software,151:258-282, https://doi.org/10.1016/j.jss.2019.02.019. (SCI, JCR 1区)

•Mian Z, Gao Y, Shi X and Tang C, 2019, Semantic Mapping for Model Transformation between AADL2 and HiP-HOPS, the 4th International Conference on System Reliability and Safety (ICSRS 2019), pp. 539-543, Rome, Italy.

•Mian Z, Tang C, Gao Y, Jia S, Shi X and Chen J, 2019, A Cost Modeling Method Based on AADL2, the 4th International Conference on System Reliability and Safety (ICSRS 2019), pp. 549-553, Rome, Italy.

•Mian Z, Bottaci L, Jiang J, He J, Yu Q, and Wang X, 2018, A Dependability Modeling and Analysis Approach for an IoP-based Service System, The 4th IEEE International Conference on Internet of People (IoP 2018), pp. 2036-2041, Guangzhou, China. (EI)

•Mian Z, Bottaci L, Papadopoulos Y, Sharvia S, Mahmud N, 2015, Model Transformation for Multi-objective Architecture Optimisation of Dependable Systems, Advances in Intelligent Systems and Computing, Vol 307:91-110. (EI)

•Mian Z and Bottaci L, 2013, Multi-objective Architecture Optimisation Modelling for Dependable Systems, the 4th IFAC Conference on Dependable Control of Discrete Systems (DCDS2013), 46(22):31-36, York University, UK. (EI)

•Mahmud N and Mian Z, 2014, Automatic Generation of Temporal Fault Trees from AADL Models, Safety, Reliability and Risk Analysis: Beyond the Horizon - Proceedings of the European Safety and Reliability Conference, ESREL 2013, pp. 2741-2749. (EI)

•Mian Z, Bottaci L, Papadopoulos Y and Biehl M, 2012, System Dependability Modelling and Analysis Using AADL and HiP-HOPS, Proceedings of the 14th IFAC Conference on Information Control Problems in Manufacturing (INCOM’2012), 45(6): 1647-1652, Bucharest, Romania. (EI)

•Mian Z, 2012, Meta-heuristics for Multidimensional Knapsack Problems, Proceedings of the 4th International Conference on Computer Research and Development, IPCSIT, Vol.39, pp. 40-44, IACSIT Press, Singapore.

•勉治宝^*, 王越, 虎贵凤, 2018, 大学计算机-计算与信息素养课程MOOC教学实践—以北方民族大学为例, 第十四届“大学计算机课程报告论坛”论文集, 高教出版社, https://2d.hep.com.cn/1874313/29, ISBN: 978-7-89510-390-0.

发明专利

·Mian Z et al., 基于AADL V1和HiP-HOPS 的模型转换分析方法, 201910150866.3.

·Mian Z et al., 基于AADL V1的系统最优化分析方法, 201910150763.7.

·Mian Z et al., 一种基于AADL时序特性的模型转换方法, 201910150715.8.

软著

·勉治宝, 闫茹, 乡村智慧旅游管理系统. 2020SR0139846, 2020-2-17.

热烈欢迎广大优秀学子加入我的课题组！研究生基本要求：

•扎实的数学基础，熟悉形式化方法及概率论与数理统计者优先；

•具有较强的编程与系统开发能力，熟练掌握Java或其它编程语言，有大型软件、软硬件集成项目开发经验者优先；

•逻辑思维缜密，具有良好的中、英文阅读及写作能力，能够准确快速地阅读中、英文文献、书写中、英文文章，通过CET6、雅思6.5以上、托福88以上者优先；

•态度端正、目标明确、善于计划、勤于落实、爱思考、善学习、能吃苦、肯吃苦、有恒心、踏实、认真、渴望成功；

•性格开朗、积极向上、阳光、正能量满满、有良好的团队协作能力；

•做有意义的科研，做自己喜欢的方向。