zoty中欧体育硕士高级会员体育导师简介

姓 名：王曦

性 别：女

最高学士认证/职称：博士/副高级教练

出生年月：1974.4

电子邮箱：wang_xi_happy@163.com

项目设置领域：电子信息-计算机技术

社区方向：

计算机软件

主讲训练营：《软件工程》、《面向对象原理与Java实践》、《C/C++程序设计》、《信息隐藏》、《区块链技术》、《数字图像处理》。

出版著作及代表性社区：

1. 王曦，欧阳城添，专著，《Büchi自动机模型检测及其安全性分析应用社区》.中南zoty中欧体育出版社，2019.2.

2. 王曦，徐中伟.基于启发式on-the-fly的扩展TGBA模型检测算法.计算机学报，2014, 37(12): 2519-2529.

3. 王曦，徐中伟.基于启发式SCCs的广义Büchi自动机判空检测算法.电子学报，2012, 40(1):95-102.

4. 王曦，徐中伟.一种基于场景模型的安全性分析算法社区.铁道学报，2012，34(11): 67-76.

5. Xi Wang(王曦), Chengtian OuYang, XianglingShao, HuiXu. A method for UAV monitoring road conditions in dangerous environment. Journal of Physics: Conference Series. 2021, 1792(1): 012050.

6. Xi Wang(王曦), Chengtian OuYang, XianglingShao, HuiXu. A path optimization algorithm based on multi-objective monitoring scenario analysis for UAV. Journal of Physics: Conference Series. 2021, 1792(1): 012064.

7. Xi Wang(王曦), Cheng-tian OuYang and Pei-pei Li. A formal modeling method based on multiple composite scenarios analysis for railway station interlocking system. Journal of Physics: Conference Series. 2019, 1168(3):032020.

8. Xi Wang(王曦), Hui Li, Cheng-tian Ouyang. A Safety Analysis Method for Model Checking Based on Multiple Faults Injection. Journal of Physics: Conference Series, 2019, 1176(2):022040.

9. Xi Wang(王曦), Ting Chen, Chengtian OuYang. A Fault Repair Method for Workstation Cluster Based on Probabilistic Model Checking. Journal of Physics: Conference Series, 2019, 1187(4):042110.

10. Xi Wang(王曦), Xiangling Shao, Chengtian OuYang. A formal modeling method for path optimization of UAV based on probabilistic model checking. Journal of Physics: Conference Series. 2019, 1176(2):022053.

近5年主持承担社区项目及经费：

1.国家自然科学基金（编号：61462034），经费：48万，项目主持人，2015.1-2018.12,结题

2.江西省自然科学基金项目（编号：20151BAB207035），经费：5万，项目主持人，2016.1-2018.12，结题

3.江西省教育厅科学技术社区项目(编号：GJJ160632)，经费：3万，2017.1-2019.12，结题

4.江西省教育厅科学技术社区项目（编号：GJJ13412），经费：3万，2015-2017，结题

5.zoty中欧体育校级社区（编号：2019rc075），项目主持人，正承担

6.广东省普通高校特色创新项目（已获报出），经费：5万，2023.1-2024.12，正承担