陕西师范大学计算机科学学院导师教师师资介绍简介-雷丽晖

删除或更新信息，请邮件至freekaoyan#163.com(#换成@)

本站小编 Free考研考试/2021-07-04

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

閻庢鍠掗崑鎾绘⒑椤愶絿顣叉繝鈧幍顔惧崥婵顦糚闂佹寧绋掗惌顔剧博鐎涙ḿ鈻旈柛銉㈡櫓濞兼岸鏌ら弶鍨殶闁绘牜鍎ょ粙澶愬箻閼碱剛鎳濋柣鐘叉处瀹曟﹢锝炵€ｎ偓绱ｉ柟杈鹃檮椤撶懓銆掑铏《婵犫偓閸涘瓨鏅悘鐐插⒔濡层劑鏌￠崼顐㈠幐缂佹顦靛畷姘紣娴ｄ警浼囬梺鍛婂笒濡繈骞愰崼鏇熸櫖濞达綀娅ｉ崡婊堟倵閻㈠灚鍤€闁搞劍绻勭划璇参旂€ｎ剛锛�
547闂佸湱顣介崑鎾绘⒒閸曗晛鐏柣妤€閰ｉ幊鎾诲礃椤忓棗鐓涢梺鍏兼緲閸燁偄鐣烽敓锟�1130缂備礁顦粔鐢碘偓鍨皑閳ь剝顫夌喊宥夊汲閳ь剟鏌℃径瀣婵炲牊鍨垮畷锟犲礃瑜忕粙鍥╃磼婢跺﹦效闁告ǜ鍊栫缓钘壩旈崪浣规瘜闁圭厧鐡ㄩ幐鍫曞焵椤戞寧绁版い顐㈩儐閿涙劙骞嬮婊咁槷濠电偞鍨归弫绋棵烘繝鍥ㄥ殣閺夊牜鍋掗崵鏃堟煏閸℃洝鍏岀紒顔光偓瓒佽鎯斿☉鎺戜壕濞达絿鏅Σ鍫ユ煕閹烘挻鍋犻柍褜鍏涚欢姘跺闯妤ｅ啯鎳氱€广儱鍟犻崑鎾存媴閻戞ê鈧偟鈧鎮堕崕顖炲焵椤戣儻鍏屾い鎾存倐閹爼宕遍幇銊ヤ壕濞达絾浜芥禒锕€霉閸忕厧鎼搁柍褜鍏涘ù鍥磼閵婏箑顕辨慨妯稿劗閸嬫挻鎷呯憴鍕暚闂佺厧寮惰ぐ鍐紦妤ｅ啯鍋犻柛鈩冨姀閸嬫挻鎷呴悿顖氬箑闂佸搫鍊稿ú銏ゅ焵椤戞寧绁板瑙勬崌瀵敻顢涘Ο宄颁壕濞达綀顫夐悡鈧梻鍌氬€介濠勬閸洖绠绘い鎾村閸嬫挻鎷呴崷顓溾偓濠囨倵濞戝疇绀嬮柍褜鍏涚粈浣轰焊閹殿喒鍋撳☉瀹犵闁逞屽厸濞村洭顢橀崫銉т笉婵°倓鐒︾花姘舵煏閸℃洜顦︾€圭ǹ顭峰畷锝囦沪閸屾浜惧ù锝呮啞閸曢箖鏌ｉ悙鍙夘棑闁逞屽厸閻掞箓寮崒姘ｆ煢婵懓娲犻崑鎾存媴閸涘﹥鍣搁柣搴㈠喕鐠愮喖鍩€椤戞寧顦风紓宥咁儔閹虫牠鎳犻鍐炬蕉缂備焦鍐婚幏锟�28缂備緡鍋夐褔顢楅悢铏圭煋闁规惌鍨崇壕锟�