Bwin必赢国际官网
您所在的位置: 首页 >> 师资队伍 >> 教学科研人员 >> 副教授 >> 正文

教学科研人员

雷丽晖
发布时间:2017-01-20     浏览量:   分享到:


1F3B87

雷丽晖
职称/职务:副教授/硕士生导师
电话:
个人主页:
电子信箱:leilihui@snnu.edu.cn
研究方向:可信软件理论与技术,大数据感知与预测
办公地点:文津楼二段2424


个人简介

雷丽晖  博士,副教授。2008年在西安电子科技大学获得博士学位。2014年至2015年在美国圣何塞州立大学计算机工程系做访问学者。主持并完成国家自然科学青年基金1项,参与并完成与国家自然科学面上基金3项,主持并完成高等学校博士学科点专项科研基金资助项目2项,中央高校基本科研业务费专项资金项目2项,Bwin必赢国际官网优秀科技预研项目3项,在Information Sciences、软件学报等国内外学术期刊上发表学术论文40余篇,获得专利2项,软件著作权3项。

学术论文

[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] Bwin必赢国际官网优秀科技预研项目:基于EDFA的组合Web服务验证工具(2009.1.-2010.12,主持)