雷麗暉

雷麗暉，女，博士，陝西師範大學副教授。研究方向：可信軟體理論與技術（複雜系統模型檢測） 網路計算（移動雲計算、大數據感知與預測）。主持並完成國家自然科學青年基金1項，參與了多項國家自然科學面上基金，主持並完成高等學校博士學科點專項科研基金資助項目1項，中央高校基本科研業務費專項資金項目1項，陝西師範大學優秀科技預研項目1項，發表學術論文20餘篇。

基本介紹

• 中文名：雷麗暉
• 畢業院校：西安電子科技大學
• 學位/學歷：博士
• 職業：教師
• 專業方向：可信軟體理論與技術（複雜系統模型檢測） 網路計算
• 任職院校：陝西師範大學
• 職稱：副教授

人物簡介

個人經歷

2008年9月-，在陝西師範大學計算機科學學院任教（人才引進）

2000年9月在西北大學攻讀碩士學位，並於2003年7月獲得計算機軟體與理論的工學碩士學位

2003年9月在西安電子科技大學攻讀博士學位，並於2008年6月獲得計算機套用技術的博士學位

軟體著作

雷麗暉，張恆. 可能性測度下的模型驗證軟體V1.0.中國,中華人民共和國國家著作權局，登記號:2014SR033139.

科學研究

科研項目

[1] 高等學校博士學科點專項科研基金資助項目:基於擴展模糊自動機的Web服務組合研究與實現(2010.1.-2012.12,主持)

[2] 國家自然科學基金項目:基於擴展模糊自動機的組合Web服務驗證方法研究(2011.1.-2013.12,主持)

[3] 國家自然科學基金項目:把不確定性用半環來描述的計算模型、理論及其套用研究(2013.1.-2012.16,參與)

[4] 國家自然科學基金項目:基於偽半環的不確定計算模型及其套用研究(2013.1.-2015.12,參與)

[5] 中央高校基本科研業務費專項資金項目:基於擴展模糊自動機的組合Web服務形式化驗證(2009.1.-2010.12,主持)

[6] 陝西師範大學優秀科技預研項目:基於EDFA的組合Web服務驗證工具(2009.1.-2010.12,主持)

發表論文

[1] Lihui Lei, S.Sengupta,,T.Pattanaik, Jerry Gao. MCloudDB: A Mobile Cloud Database Service Framework. Proceedings of the 3rd IEEE International Conference on Mobile Cloud Computing, 2015, Services and Enginerering. (EI檢索)

[2] Jerry Gao.Lihui Lei, Shui Yu Li.Big Data Sensing and Service: A Tutorial. Proceedings of 2015 IEEE First International [2] Conference on Big Data Computing Service and Applications. (EI檢索)

[3] Lihui Lei, Yongming Li. Verification of Dynamic Composite Web Services Under Possibility Measure. Journal ofComputational Information Systems, 2014.10(2): 859- 866. (EI檢索)

[4] Lihui Lei, Yongming Li. Formal Verification of the Processor Pre-allocation Algorithm for MultiprocessorScheduling. Journal of Computational Information Systems, 2012,8(16):6973- 6980. (EI檢索:)

[5] 雷麗暉，段振華．使用擴展區間時序邏輯為並發工作流建模. 西安電子科技大學學報，2007,34(4):673-680. (EI檢索)

[6] 雷麗暉，段振華．基於擴展投影時序邏輯的組合Web 服務描述與驗證．西安交通大學學報，2007,41(10): 1155-1159.(EI檢索)

[7] 雷麗暉，段振華．一種基於擴展有限自動機驗證組合Web服務的方法．軟體學報．2007, 18(12):2980?2990.(EI檢索)

[8] Lihui Lei, Zhenhua Duan and Yu Bin. Semantic Matching of Web Services for Collaborative Business Processes. Lecture Notes in Computer Science. 2007,4402,479-488. (EI檢索)

[9] Lihui Lei，Zhenhua Duan. Integrating AJAX and Web Services for Cooperative Image Editing. IEEE IT Professional, 2007,9. Pages: 25-29. (EI檢索)

[10] Lihui Lei, Zhenhua Duan. Transforming OWL-S Process Model into EDFA for Service Discovery. Proceedings of the International Conference on Web Services 2006 (ICWS'06), 2006,137-144. (EI檢索)