副教授
雷丽晖
职称/职务:副教授
电话:
个人主页:
电子信箱: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,主持)

                        

点击量: 最近更新时间:2017/01/20 16:15:18