熊猫体育碩士研究生導師簡介

姓 名：王曦

性 別：女

最高學位/職稱📊：博士/副教授

出生年月：1974.4

電子郵箱：wang_xi_happy@163.com

專業領域：電子信息-計算機技術

研究方向🚬：

計算機軟件

主講課程☮️：《軟件工程》💇🏼‍♀️、《面向對象原理與Java實踐》、《C/C++程序設計》🐪、《信息隱藏》、《區塊鏈技術》🏟、《數字圖像處理》🤦🏿‍♀️。

出版著作及代表性論文👨🏼‍🌾：

1. 王曦，歐陽城添✖️，專著，《Büchi自動機模型檢測及其安全性分析應用研究》.中南大學出版社，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.熊猫体育校級課題（編號🧑🏼‍⚕️：2019rc075）🔆，項目主持人，正承擔

6.廣東省普通高校特色創新項目（已獲報出），經費：5萬🕘，2023.1-2024.12👨‍👦‍👦，正承擔