西北师范大学计算机学院导师教师师资介绍简介-勉治宝简介

删除或更新信息，请邮件至freekaoyan#163.com(#换成@)

本站小编 Free考研考试/2021-07-16

勉治宝博士/副教授/硕导
通信地址：甘肃省兰州市安宁东路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-RCM**，RCM for Locomotive Maintenance，2014/03-2016/03，3万英镑，已结题，主持。
·国家自然科学基金地区项目，**，可信工作流管理系统的关键技术及其标准化研究，2019/01-2022/12，37万，在研，参与。
·国家自然科学基金地区项目，**，多设备支持的协同工作环境中感知模型的研究与应用，2020-01至2023-12，38万元，在研，参与。
·国家自然科学基金地区项目，**，基于决策过程的广义可能性时序逻辑的符号模型检测方法研究，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 Zand 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/**/29, ISBN: 978-7-89510-390-0.
发明专利
·Mian Zet al.,基于AADL V1和HiP-HOPS的模型转换分析方法, 6.3.
·Mian Zet al.,基于AADL V1的系统最优化分析方法, 3.7.
·Mian Zet al.,一种基于AADL时序特性的模型转换方法, 5.8.
软著
·勉治宝,闫茹,乡村智慧旅游管理系统. 2020SR**, 2020-2-17.
热烈欢迎广大优秀学子加入我的课题组！研究生基本要求：
?扎实的数学基础，熟悉形式化方法及概率论与数理统计者优先；
?具有较强的编程与系统开发能力，熟练掌握Java或其它编程语言，有大型软件、软硬件集成项目开发经验者优先；
?逻辑思维缜密，具有良好的中、英文阅读及写作能力，能够准确快速地阅读中、英文文献、书写中、英文文章，通过CET6、雅思6.5以上、托福88以上者优先；
?态度端正、目标明确、善于计划、勤于落实、爱思考、善学习、能吃苦、肯吃苦、有恒心、踏实、认真、渴望成功；
?性格开朗、积极向上、阳光、正能量满满、有良好的团队协作能力；
?做有意义的科研，做自己喜欢的方向。

西北师范大学计算机学院导师教师师资介绍简介-勉治宝简介

本站小编 Free考研考试/2021-07-16

相关话题/计算机 师范大学

领限时大额优惠券,享本站正版考研考试资料!

西北师范大学计算机学院导师教师师资介绍简介-马满福简介

西北师范大学计算机学院导师教师师资介绍简介-党小超简介

西北师范大学计算机学院导师教师师资介绍简介-王小牛简介

西北师范大学计算机学院导师教师师资介绍简介-冯百明简介

西北师范大学计算机学院导师教师师资介绍简介-李焱简介

西北师范大学计算机学院导师教师师资介绍简介-张晓帆简介

西北师范大学计算机学院导师教师师资介绍简介-姚军简介

西北师范大学计算机学院导师教师师资介绍简介-贾向东简介

西北师范大学计算机学院导师教师师资介绍简介-王维盛简介

西北师范大学计算机学院导师教师师资介绍简介-曹素珍简介