师资队伍

师资队伍

勉治宝简介
2021年03月05日 发布单位:计算机科学与工程学院



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

通信地址:甘肃省兰州市安宁东路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以上者优先;

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

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

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

 


版权所有©西北师范大学计算机科学与工程学院  管理登录 甘公网安备62010502000939号 陇ICP备17000462号-1