云計(jì)算與及服務(wù)軟件工程實(shí)驗(yàn)室

云計(jì)算與及服務(wù)軟件工程實(shí)驗(yàn)室簡(jiǎn)介“云計(jì)算與服務(wù)軟件內(nèi)蒙古自治區(qū)工程實(shí)驗(yàn)室”2012年5月由內(nèi)蒙古自治區(qū)發(fā)展與改革委員會(huì)認(rèn)定，以云計(jì)算及相關(guān)服務(wù)軟件為研究重點(diǎn)，通過結(jié)合自治區(qū)云計(jì)算發(fā)展規(guī)劃及部署情況，致力于云計(jì)算環(huán)境下服務(wù)機(jī)制、服務(wù)軟件的科學(xué)研究，并進(jìn)行人才培養(yǎng)，直接服務(wù)于自治區(qū)云計(jì)算大規(guī)模建設(shè)的實(shí)施。研究方向圍繞內(nèi)蒙古自治區(qū)云計(jì)算產(chǎn)業(yè)發(fā)展規(guī)劃及戰(zhàn)略部署，實(shí)驗(yàn)室擬突破的重要技術(shù)方向及擬實(shí)現(xiàn)的成果產(chǎn)業(yè)化轉(zhuǎn)化和服務(wù)應(yīng)用，主要體現(xiàn)在如下三個(gè)方面：1．云計(jì)算基礎(chǔ)平臺(tái)建設(shè)及其關(guān)鍵技術(shù)研究建設(shè)既能服務(wù)于科研又能進(jìn)行成果產(chǎn)業(yè)轉(zhuǎn)化和服務(wù)應(yīng)用的云計(jì)算基礎(chǔ)平臺(tái)，并研究云資源管理和云工作流構(gòu)建兩項(xiàng)關(guān)鍵技術(shù)。（1）建設(shè)云計(jì)算基礎(chǔ)平臺(tái)擬建成的云計(jì)算基礎(chǔ)平臺(tái)需要既能服務(wù)于科研工作，又能較容易的支持成果產(chǎn)業(yè)轉(zhuǎn)化，并支撐較大規(guī)模的云服務(wù)應(yīng)用。（2）研究云資源管理關(guān)鍵技術(shù)完成云資源協(xié)同管理，充分利用中間件技術(shù)完成資源管理和提供終端用戶所需資源，使用戶能夠進(jìn)行大范圍的網(wǎng)絡(luò)資源共享和計(jì)算。（3）研究云工作流構(gòu)建技術(shù)構(gòu)建基于云工作流技術(shù)的協(xié)同應(yīng)用平臺(tái)，支持云環(huán)境下具有流程性質(zhì)的各類應(yīng)用。2．開發(fā)和構(gòu)建SaaS型軟件服務(wù)面向我區(qū)特色產(chǎn)業(yè)的實(shí)際需求，開發(fā)和構(gòu)建能夠支撐大規(guī)模應(yīng)用的SaaS型云軟件服務(wù)，重點(diǎn)研發(fā)符合蒙古文國(guó)家標(biāo)準(zhǔn)的蒙古文服務(wù)軟件，并通過深入研究云測(cè)試技術(shù)，支持對(duì)SaaS型云軟件的可用性和性能進(jìn)行確認(rèn)。（1）研發(fā)符合蒙古文國(guó)家標(biāo)準(zhǔn)的蒙古文服務(wù)軟件研究建立云計(jì)算環(huán)境下蒙古文信息處理與服務(wù)的核心架構(gòu)，建立相應(yīng)的服務(wù)規(guī)范，確立蒙古文在云計(jì)算環(huán)境下的標(biāo)準(zhǔn)，實(shí)現(xiàn)云計(jì)算環(huán)境下的蒙古文處理接口和軟件；在云環(huán)境下進(jìn)一步研究海量數(shù)據(jù)背景下的智能信息處理技術(shù)；將已完成的軟件做成SaaS型服務(wù)軟件。（2）研究云測(cè)試技術(shù)研發(fā)一套模型驅(qū)動(dòng)的、提供SaaS型測(cè)試服務(wù)的新型測(cè)試方法和工具；并且構(gòu)建云測(cè)試平臺(tái)，成典型SaaS型云軟件系統(tǒng)的功能和性能測(cè)試實(shí)踐，提升云測(cè)試服務(wù)的效率和應(yīng)用規(guī)模。3．構(gòu)建云計(jì)算應(yīng)用示范以云計(jì)算基礎(chǔ)平臺(tái)為支撐，在項(xiàng)目建設(shè)期內(nèi)擬開展針對(duì)較大規(guī)模SaaS型云軟件的服務(wù)應(yīng)用示范，重點(diǎn)包括在教育文化領(lǐng)域的教育科研云應(yīng)用示范，在社會(huì)公共服務(wù)領(lǐng)域的智慧城市應(yīng)急聯(lián)動(dòng)云平臺(tái)應(yīng)用示范。將高校信息化建立在云計(jì)算和服務(wù)的基礎(chǔ)之上,構(gòu)建教育科研云，使現(xiàn)有分散的、本地化的教學(xué)、科研應(yīng)用轉(zhuǎn)變成為一個(gè)與具體網(wǎng)絡(luò)運(yùn)行環(huán)境、網(wǎng)絡(luò)服務(wù)器系統(tǒng)、網(wǎng)絡(luò)操作系統(tǒng)無(wú)關(guān)的強(qiáng)大的統(tǒng)一的通用信息平臺(tái)。研究團(tuán)隊(duì)利用自治區(qū)工程實(shí)驗(yàn)室這一平臺(tái)，進(jìn)一步匯聚人才、凝聚研究力量，目前已經(jīng)取得了較好的效果。自2012年6月實(shí)驗(yàn)室建成以來(lái)，團(tuán)隊(duì)新增馬穎東、馬明、高永強(qiáng)、邵允學(xué)等6名博士，其中獲得海外博士學(xué)位的優(yōu)秀人才兩名。馬穎東博士畢業(yè)于英國(guó)薩里大學(xué)電子與電工專業(yè)，從事機(jī)器學(xué)習(xí)、立體視覺、視頻物體檢測(cè)與跟蹤等研究工作。馬明博士畢業(yè)于韓國(guó)培材大學(xué)，從事數(shù)字圖像處理、視頻編解碼、模式識(shí)別等研究工作。高永強(qiáng)博士畢業(yè)于上海交通大學(xué)計(jì)算機(jī)科學(xué)與工程系，從事虛擬化、云計(jì)算和綠色計(jì)算方面等研究工作。邵允學(xué)博士畢業(yè)于中科院自動(dòng)化研究所，從事字符識(shí)別、圖像分類、模式識(shí)別和機(jī)器學(xué)習(xí)等研究工作。學(xué)院自己培養(yǎng)的孫濤與魏宏喜2013年1月博士畢業(yè)，并晉升為副教授。目前團(tuán)隊(duì)有專業(yè)技術(shù)人員26人，其中：教授5人，4人為博士生導(dǎo)師，1人為自治區(qū)突貢專家，2人為自治區(qū)“321人才工程”一層次人選，2人為二層次人選；副教授7人，博士13人。團(tuán)隊(duì)成員結(jié)構(gòu)更加合理、研究力量進(jìn)一步增強(qiáng)，為后續(xù)研究工作開展提供了重要的人才保障。團(tuán)隊(duì)帶頭人和主要技術(shù)骨干簡(jiǎn)介如下：周建濤，實(shí)驗(yàn)室主任。女，1974年生人，博士，教授，自治區(qū)“新世紀(jì)321”人才第二層次人選。2005年畢業(yè)于清華大學(xué)，獲博士學(xué)位。內(nèi)蒙古大學(xué)計(jì)算機(jī)學(xué)院副院長(zhǎng)，博士生導(dǎo)師。從事的研究領(lǐng)域主要為網(wǎng)絡(luò)計(jì)算與形式化方法，軟件工程。現(xiàn)主持國(guó)家自然科學(xué)基金項(xiàng)目“多媒體云計(jì)算中基于QoS和可信性的資源協(xié)同管理研究（60262082）”，內(nèi)蒙古自治區(qū)自然科學(xué)基金杰出青年基金培養(yǎng)項(xiàng)目“支持實(shí)時(shí)多媒體流服務(wù)的云計(jì)算平臺(tái)關(guān)鍵技術(shù)研究（2012JQ03）”，教育部科學(xué)技術(shù)研究重點(diǎn)項(xiàng)目“面向多媒體云計(jì)算的資源協(xié)同管理關(guān)鍵技術(shù)研究(212025)”。主持完成自治區(qū)自然科學(xué)基金重點(diǎn)項(xiàng)目“網(wǎng)格工作流理論與關(guān)鍵技術(shù)研究（200508010802）”、國(guó)家自然科學(xué)基金項(xiàng)目“面向語(yǔ)義約束的協(xié)同過程形式化建模與驗(yàn)證的研究（60863015）”和教育部春暉計(jì)劃項(xiàng)目“軟件工程和再工程中的模型驅(qū)動(dòng)方法研究(Z2007-1-01042)”。在國(guó)內(nèi)國(guó)際期刊和學(xué)術(shù)會(huì)議上，發(fā)表高水平論文40余篇，參與軟件著作權(quán)登記5項(xiàng)，參與編寫教材3部。高光來(lái)男，博導(dǎo)、教授，博士生導(dǎo)師。自治區(qū)有突出貢獻(xiàn)的中青年專家，自治區(qū)“新世紀(jì)321人才”第一層次人選?，F(xiàn)任內(nèi)蒙古大學(xué)計(jì)算機(jī)學(xué)院院長(zhǎng)。從事人工智能、模式識(shí)別和蒙古文智能信息處理方向的研究工作。主持完成國(guó)家自然科學(xué)基金、自治區(qū)自然科學(xué)基金、國(guó)家863計(jì)劃項(xiàng)目、國(guó)家973計(jì)劃前期研究專項(xiàng)課題等項(xiàng)目多項(xiàng)，獲得內(nèi)蒙古自治區(qū)科技進(jìn)步二等獎(jiǎng)3項(xiàng)、三等獎(jiǎng)1項(xiàng)。在重要學(xué)術(shù)期刊雜志和國(guó)內(nèi)外學(xué)術(shù)會(huì)議上發(fā)表了40余篇論文，以第一作者身份發(fā)表的論文被SCI、EI、ISTP收錄8篇。主編或參編的4部教材在清華大學(xué)、內(nèi)蒙古大學(xué)出版社出版發(fā)行。侯宏旭，男，1972年生人，博士，教授，自治區(qū)“新世紀(jì)321”人才第一層次人選。2007年畢業(yè)于中國(guó)科學(xué)院計(jì)算技術(shù)研究所，獲博士學(xué)位。內(nèi)蒙古大學(xué)計(jì)算機(jī)學(xué)院副院長(zhǎng)，博士生導(dǎo)師。主要從事自然語(yǔ)言處理方向的研究。主持工信部電子產(chǎn)業(yè)發(fā)展基金課題、國(guó)家自然科學(xué)基金項(xiàng)目、自治區(qū)自然科學(xué)基金重點(diǎn)項(xiàng)目、教育部重點(diǎn)項(xiàng)目等科研項(xiàng)目多項(xiàng)，獲1998年度內(nèi)蒙古自治區(qū)科技進(jìn)步二等獎(jiǎng)（排名3）；2002年度內(nèi)蒙古自治區(qū)科技進(jìn)步二等獎(jiǎng)（排名5），2003年度內(nèi)蒙古自治區(qū)科技進(jìn)步二等獎(jiǎng)（排名2）。李華，女，1964年生人，博士，教授。2010年畢業(yè)于內(nèi)蒙古大學(xué)，獲博士學(xué)位。內(nèi)蒙古大學(xué)計(jì)算機(jī)學(xué)院博士生導(dǎo)師。主要從事基于形式化方法的分布式系統(tǒng)的建模與測(cè)試工作；下一代因特網(wǎng)協(xié)議一致性、互操作性測(cè)試。TTCN3測(cè)試套的設(shè)計(jì)與開發(fā)；基于微內(nèi)核操作系統(tǒng)進(jìn)行屬性建模與測(cè)試。對(duì)于系統(tǒng)的屬性建模、針對(duì)系統(tǒng)不確定性進(jìn)行測(cè)試生成及數(shù)據(jù)流與控制流相結(jié)合的測(cè)試生成方法方面有較深入的研究。主持自治區(qū)自然科學(xué)基金重點(diǎn)項(xiàng)目“基于Ipv6的路由協(xié)議的互操作性測(cè)試方法研究及實(shí)現(xiàn)（200711020803）”、國(guó)家自然科學(xué)基金項(xiàng)目“面向?qū)傩缘腃PN建模及OntheFly輔助的測(cè)試生成方法研究（61163011）”，和教育部春暉計(jì)劃項(xiàng)目“軟件進(jìn)化過程中的測(cè)試方法研究(Z2007-1-01032)”。在國(guó)內(nèi)核心刊物及國(guó)內(nèi)外相關(guān)會(huì)議發(fā)表科技論文50余篇。EI、ISTP收錄18篇。研究成果通過實(shí)驗(yàn)室團(tuán)隊(duì)的努力，在云工作流、蒙古文基礎(chǔ)軟件方面已經(jīng)取得了階段性的成果。所開發(fā)的云工作流管理系統(tǒng)可以為用戶提供業(yè)務(wù)流程管理功能，節(jié)約運(yùn)營(yíng)成本。蒙古文基礎(chǔ)軟件為云計(jì)算環(huán)境下的蒙古文處理技術(shù)奠定了基礎(chǔ)。（1）云工作流系統(tǒng)Aneka是Manjrasoft公司提出的用于開發(fā)、部署、管理云應(yīng)用的解決方案，通過Aneka可以開發(fā)分布式應(yīng)用，整合其它云計(jì)算環(huán)境中的資源。目前，Aneka云平臺(tái)已部署于前期購(gòu)買的服務(wù)器上。基于該平臺(tái)，已開發(fā)云計(jì)算環(huán)境下的工作流管理系統(tǒng)—IC-Flow(InnerMongoliaUniversityCloudWorkFlow)。IC-Flow以SaaS方式提供服務(wù)，用戶無(wú)需在自己的設(shè)備上安裝任何軟件，通過瀏覽器就可以使用IC-Flow的全部功能。系統(tǒng)可以為廣大科研工作者提供大數(shù)據(jù)的科學(xué)計(jì)算，同時(shí)也可以為中小規(guī)模企業(yè)的業(yè)務(wù)流程管理與運(yùn)作提供運(yùn)行平臺(tái)，為相關(guān)組織和部門節(jié)約運(yùn)營(yíng)成本，更好地支持科學(xué)研究開展與促進(jìn)地方經(jīng)濟(jì)建設(shè)。目前，IC-Flow已經(jīng)經(jīng)過了初步的實(shí)驗(yàn)平臺(tái)測(cè)試運(yùn)行，取得較好的實(shí)用效果。（2）蒙古文服務(wù)軟件蒙古文服務(wù)軟件研究和開發(fā)的目標(biāo)是實(shí)現(xiàn)蒙古文基礎(chǔ)和應(yīng)用軟件的支撐技術(shù)的研究，開發(fā)面向云計(jì)算服務(wù)的蒙古文軟件。目前，已經(jīng)完成“基于Linux蒙古語(yǔ)言文字操作系統(tǒng)”（如下圖所示）、“蒙古文辦公套件”軟件的開發(fā)。這些軟件是基于“中標(biāo)麒麟操作系統(tǒng)”、“中標(biāo)普華Office”開發(fā)完成的，