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

計算機學院

站內搜索

友情鏈接

招生信息

云計算與服務軟件研究方向和導師主要研究內容簡介
來源:  發布時間: 2013-11-10 00:15:16
     

本專業研究方向

云計算產業是自治區做出的重要戰略部署,本學科方向主動適應這一需求,以云計算和大數據環境下的服務機制、服務軟件為研究點,以形式化方法和服務計算技術為研究特色吉利彩票登录,重點研究云資源管理方案與策略吉利彩票登录、云工作流技術、云測試方法與技術、云存儲方法與技術等4個方面的問題吉利彩票登录。開展云計算資源管理、云存儲的核心技術,以及云工作流和云測試軟件關鍵技術的研究與攻關,并爭取完成云計算環境下的服務機制吉利彩票登录、服務軟件方面的成果轉化吉利彩票登录,為自治區的云計算產業提供技術服務和技術支撐。

本專業導師簡介

序號

姓名

性別

出生年月

學歷

學位

職稱

專業

研究方向

主要研究內容

1

周建濤

1974

博研

博士

教授

計算機軟件與理論

網絡計算與形式化方法

1.無中心網絡環境下的軟件建模和驗證:云計算環境,物聯網環境吉利彩票登录;2.計算機支持的協同工作:協同工作原理與技術吉利彩票登录,支持協同工作的網絡軟件;3.軟件工程:其中具有流程性質的過程的建模和分析,實踐技術吉利彩票登录;4.形式化描述技術:基于Petri網、XML等的技術的建模和分析。

2

李華

1964

博研

博士

教授

計算機軟件與理論

軟件與服務計算

1. 基于互聯網等分布式計算環境的軟件的服務需求,進行服務驅動的形式化建模吉利彩票登录、驗證吉利彩票登录、測試。云服務的建模及測試方法吉利彩票登录,相關測試工具開發及測試實施。

2. .基于模型的測試推導,測試優化方法及軟件質量度量方法研究?;赥TCN-3、XML的測試套設計方法吉利彩票登录。

3. .軟件的安全屬性的形式化建模分析、驗證及測試方法。

3

王顯榮

1964

碩研

碩士

副教授

計算機軟件與理論

軟件工程

1.計算機軟件。研究內容包括軟件系統建模(以UML為主)、軟件開發、軟件過程改進、軟件測試與測試自動化等理論吉利彩票登录、技術和方法的研究;

2.計算機網絡和分布式系統。研究內容主要包括協議的形式描述技術、測試方法和測試工具的研究。特別致力于建立基于TTCN-3的通用網絡協議測試環境吉利彩票登录,以滿足各種新型協議的測試。

4

趙玉蘭

1963

碩研

碩士

副教授

計算機軟件與理論

算法與軟件工程

1.通過對網絡協議的形式化描述對網絡協議進行測試和研究。2.結合通信網絡系統測試工作的實際需要,改進和擴展現有的形式描述技術,重點研究基于Ipv6下的網絡協議的結構化測試方法,主要基于E-LOTOS形式化建模以及測試方法的研究。3.對基于生成協議測試套的TTCN-3測試工具的研究。4.設計并開發基于網絡新技術的測試平臺。

5

斯勤夫

1962

本科

學土

副教授

計算機軟件與理論

算法與軟件工程

1.計算機算法的理論基礎;2.形式語言與自動機理論吉利彩票登录;3.計算理論(可計算性、不可計算性和計算復雜性)吉利彩票登录;4.圖算法吉利彩票登录、組合算法的應用研究,非數值的計算方法;5.Ramsey極圖(p,q)的構造性研究;5)操作系統原理、設計和實現吉利彩票登录;6.蒙古文科技排版軟件研究。7)3D電子游戲設計研究

6

劉詠梅

1969

碩研

碩士

副教授

計算機軟件與理論

嵌入式系統與測試工程

1.嵌入式系統吉利彩票登录,重點研究嵌入式操作系統和嵌入式應用軟件開發;2.軟件測試,包括軟件測試理論、軟件測試方法和軟件測試工具的研究、開發和應用吉利彩票登录;3.嵌入式軟件測試,主要研究嵌入式軟件測試環境的搭建及其相關的測試理論和測試技術。

7

劉玉林

1971

碩研

碩士

副教授

計算機軟件與理論

軟件工程與形式化方法

1.軟件工程與方法:網絡環境下軟件系統建模吉利彩票登录、軟件過程改進吉利彩票登录、軟件測試及測試自動化等理論和方法的研究。

2.形式化方法:基于Petri網、接口自動機等形式化工具和理論的建模和測試研究。

8

劉靖

1981

博研

博士

講師

計算機軟件與理論

云計算與可信軟件技術

1、可信軟件的建模與驗證技術:為軟件構建基于Petri網吉利彩票登录、FSM、LTS等方法的形式模型吉利彩票登录,并面向軟件可信屬性,實現基于模型檢驗技術的軟件可信性驗證與分析;

2、云計算環境中的軟件測試技術:研究云計算支撐的軟件測試方法、對SaaS云服務軟件進行測試實踐;

3吉利彩票登录吉利彩票登录、基于模型的軟件驗證與測試協同方法:基于統一形式模型,研究軟件驗證與軟件測試在方法和技術層面的融合吉利彩票登录,確認復雜網絡軟件的質量。

?

內蒙古大學計算機學院  

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


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

吉利彩票登录