【国民娱乐每日礼金gm777.top,吉利彩票登录中大奖】我们为您提供吉利彩票登录注册,吉利彩票登录投注,吉利彩票登录app,吉利彩票登录平台,巨华彩票开户,充提快速,操控简单,为吉利彩票登录彩民服务!

計算機學院

校內科研機構

  • 站內搜索

    友情鏈接

    研究方向與機構

    計算機軟件與理論(軟件工程)
    來源:  發布時間: 2019-06-13 17:54:01<

         

    目前,研究人員中有教授2人吉利彩票登录、副教授8人,具有博士學位的8人。近5年承擔國家自然科學基金5項吉利彩票登录,其他省部級以上科研項目10余項,年均科研經費60萬 元吉利彩票登录。近5年發表SCI/EI檢索的高水平學術論文60余篇吉利彩票登录,并獲得多項軟件著作版權。所形成的“云計算與軟件工程”團隊入選2014年內蒙古自治區科技創 新團隊〖势钡锹?,F有研究方向包括:

          1. 云計算與服務軟件  

    (1)建設面向科研需求的云計算基礎IaaS支撐平臺,實現科研軟硬件資源共享,服務于云計算關鍵技術攻關與實驗驗證吉利彩票登录,并支撐較大規模的云服務應用示范運行吉利彩票登录。

    (2)云資源管理關鍵技術吉利彩票登录,包括面向用戶QoS偏好和社團關系的云資源選擇與推薦技術,面向多用戶和網絡感知的云服務組合與發現技術,云平臺能耗評估技術和虛擬網絡拓撲優化技術。

    (3)構建基于云工作流技術的協同應用平臺軟件,支持云環境下具有流程性質的各類科研應用吉利彩票登录,為科研工作提供大數據計算、業務流程管理與運作的運行軟件環境。

    成員:周建濤(教授吉利彩票登录,博導)吉利彩票登录、劉靖(副教授)、高永強(博士)、于磊(博士)、王燕(博士)

          2.軟件質量確認與形式化方法  

    (1)面向SDN進行網絡協議的形式建模與測試,包括一致性測試、符合型測試的測試推導、測試執行等吉利彩票登录,開發Openflow、SPDY的TTCN-3測試例吉利彩票登录,并基于TTCN-3 對OpenFlow 協議進行并行測試研究吉利彩票登录。

    (2)基于Petri網模型的SaaS型測試生成服務方法及測試平臺吉利彩票登录吉利彩票登录,面向復雜軟件中存在的大規模并發行為吉利彩票登录,保證所生成測試例的正確性和可執行性,提升大規模測試例生成過程的自動化程度吉利彩票登录、效率和應用能力。

    (3)面向云服務軟件的軟件動態容錯技術吉利彩票登录,通過主動監測服務構件運行時狀態指標預測服務失效,并依據失效評估結果實施有效的主動容錯方案,以容錯即服務模式為云應用系統提供持續可靠的運行時保障。

    成員:李華(教授吉利彩票登录,博導)、王顯榮(副教授)、趙玉蘭(副教授)、劉詠梅(副教授)吉利彩票登录、孫濤(副教授)吉利彩票登录、劉靖(副教授)、邢熠(博士)

          3.軟件工程與算法  

    (1)遺留軟件系統向云平臺的移植技術,包括對于遺留軟件系統的理解、遺留軟件系統中可重用組件的發現以及針對可重用組件的算法重構等。

    (2)研究云計算環境下的新型軟件研發技術,研究軟件加密等相關算法。

    成員:周建濤(教授,博導)、趙俊峰(副教授)、劉玉林(副教授)吉利彩票登录吉利彩票登录、斯勤夫(副教授)


    ?

    內蒙古大學計算機學院  

    聯系我們 | 關于我們 | 郵箱地址:csmhjy@imu.edu.cn    蒙ICP16002391號-1


        @2016 內蒙古大學計算機學院 版權所有

    吉利彩票登录