雷丽晖
职称/职务：副教授
电话：
个人主页：
电子信箱：leilihui@snnu.edu.cn
研究方向：可信软件理论与技术（复杂系统模型检测） 网络计算（移动云计算、大数据感知与预测）
办公地点： 文津楼三段四层2413
个人简介
雷丽晖 博士，副教授。2008年9月至今，在陕西师范大学计算机科学学院任教（人才引进）。2000年9月在西北大学攻读硕士学位，并于2003年7月获得计算机软件与理论的工学硕士学位。2003年9月在西安电子科技大学攻读博士学位，并于2008年6月获得计算机应用技术的博士学位。研究方向有可信软件理论与技术（复杂系统模型检测）和网络计算（移动云计算、大数据感知与预测）。主持并完成国家自然科学青年基金1项，参与了多项国家自然科学面上基金，主持并完成高等学校博士学科点专项科研基金资助项目1项，中央高校基本科研业务费专项资金项目1项，陕西师范大学优秀科技预研项目1项，发表学术论文20余篇。
学术论文
[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 of
Computational Information Systems, 2014.10(2): 859- 866. (EI检索)
[4] Lihui Lei, Yongming Li. Formal Verification of the Processor Pre-allocation Algorithm for Multiprocessor
Scheduling. 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检索)
软件著作权
[1] 雷丽晖，张恒. 可能性测度下的模型验证软件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,主持)