湖南大學(xué)信息科學(xué)與工程學(xué)院導(dǎo)師：繆力 正文

[導(dǎo)師姓名]
繆力

[所屬院校]
湖南大學(xué)

[基本信息]
導(dǎo)師姓名：繆力
性別：
人氣指數(shù)：742
所屬院校：湖南大學(xué)
所屬院系：信息科學(xué)與工程學(xué)院
職稱：副教授
導(dǎo)師類型：
招生專業(yè)：

[通訊方式]


[個(gè)人簡(jiǎn)述]
繆力，男，1972年9月生，湖南長(zhǎng)沙人。浙江大學(xué)管理科學(xué)博士后，2014年在紐約州立大學(xué)石溪分校訪問。主要研究軟件測(cè)試，Hadoop性能優(yōu)化技術(shù)，程序分析。

[科研工作]
學(xué)術(shù)論文——[1] Li-Hui XIANG, Li Miao，Da-Fang ZHANG, Feng-Ping CHEN. Benefit of Compression in Hadoop: A CaseStudy of Improving IO Performance on Hadoop. 2014 IEEE International Conferenceon Industrial Engineering and Information Technology (EI/ISTP)[2] 向麗輝，繆力, 張大方.壓縮對(duì)Hadoop性能影響研究.計(jì)算機(jī)工程與科學(xué)，2014[3] Tang Yuegao,Miao Li, Chen Fengping Peer-Comparison Based Fault Diagnosis for HadoopSystems. Parallel, Distributed, andNetwork-Based Processing 2014(EI/ISTP[4] Chen fenping Miao Li, Tang Yuegao, Research ofHadoop Parameters Tuning Based On Function Monitoring. Parallel, Distributed,and Network-Based Processing 2014(EI/ISTP)[5] Miao Li, Zhang Dafang,A New Proof For TheUndecidability of Context-Sensitive Synchronization-Sensitive Analysis, The 5thInternational Conference on Frontier of Computer Science and Technology (FCST2010) 18-22, Aug,2010, Changchun ,pp 291-296 (EI/ISTP)[6] Dan Zhao, Da-fang Zhang, Li Miao, Formal Verification of 802.11MAC Layer Handoff ProcessUsing SPIN Model Checker, Proceeding of World Congress on Software Engineering2009(WCRE’09), 19-21，May，2009 ，Xiamen，pp: 402 - 405（EI/ISTP）[7] 繆力，張大方，通信下推系統(tǒng)的一種有界可達(dá)算法，計(jì)算機(jī)工程與應(yīng)用，2008.9 ， 44(24), pp 19-21[8] 繆力，張大方，程序模型檢查的兩階段框架, 計(jì)算機(jī)應(yīng)用，2007， 27.(12), pp 3089-3091[9] Li Miao, Dafang Zhang, Generate TestSequences for UML Statecharts，TheChinese Journal of Electronics，2006， 15(2)，225-230 (SCI，EI)

[教育背景]
2000年獲蘭州理工大學(xué)碩士學(xué)位，2006年獲湖南大學(xué)計(jì)算機(jī)博士學(xué)位。 以上老師的信息來源于學(xué)校網(wǎng)站，如有更新或錯(cuò)誤，請(qǐng)聯(lián)系我們進(jìn)行更新或刪除，聯(lián)系方式

湖南大學(xué)

本文來源：http://www.zhongzhouzhikong.com/hunandaxue/daoshi_522021.html