貴州大學計算機科學與技術學院

貴州大學計算機科學與技術學院，位於貴州省貴陽市，坐落在貴州大學北校區——著名的旅遊風景名勝區貴陽市花溪河畔。

貴州大學是全國高校中較早成立計算機科學與技術學科的高校之一，1972年創辦計算機軟體本科專業，1983年開始招收計算機軟體專業研究生，1986年成立計算機科學系，1992年計算機科學與技術學科成為省級重點學科，1995年獲計算機軟體與理論碩士授予權，1998年獲計算機套用技術碩士授予權，2000年獲計算機軟體與理論博士授予權，2003年獲軟體工程和計算機技術2個工程碩士授予權，2004年獲計算機軟體與理論高校在職師資碩士授予權，2005年獲計算機科學與技術一級學科碩士授予權，2009年獲得計算機科學與技術博士後流動站，2011年計算機科學與技術學科獲得貴州省特色重點學科，2011年計算機軟體與理論二級學科博士點升格為軟體工程一級學科博士點，2012年獲得貴州省軟體工程與信息安全特色重點實驗室，2013年獲得貴州省首批專業碩士研究生工作站（計算機控制技術），2013年獲得“貴州省先進計算與醫療信息服務工程實驗室”。2015年，申請獲批貴州省雲計算與大數據專業碩士工作站。

基本介紹

• 中文名：貴州大學計算機科學與技術學院
• 簡稱：計算機科學與技術學院簡介
• 創辦時間：1972年
• 類別：省級重點學科
• 類型：計算機軟體本科專業
• 主管部門：1992年計算機科學與技術學科成為省級重點學科
• 所屬企業：貴州大學計算機科學與技術學院
• 現任領導：黨委書記：郭蘭
• 專職院士：副院長：秦永彬（教授）
• 本科專業：計算機科學系

學院簡介

計算機科學與技術學院簡介

（2018年3月）

貴州大學計算機科學與技術學院坐落在貴州大學北校區（貴陽花溪）。貴州大學是全國高校中較早成立計算機類專業的高校之一，1972年創辦計算機軟體本科專業，1983年開始招收計算機軟體專業研究生，1986年成立計算機科學系，1992年計算機科學與技術學科成為省級重點學科，1995年獲計算機軟體與理論碩士授予權，1998年獲計算機套用技術碩士授予權，2000年獲計算機軟體與理論博士授予權，2003年獲軟體工程和計算機技術2個工程碩士授予權，2004年獲計算機軟體與理論高校在職師資碩士授予權，2005年獲計算機科學與技術一級學科碩士授予權，2009年獲得計算機科學與技術博士後流動站，2011年計算機科學與技術學科獲得貴州省特色重點學科，2011年計算機軟體與理論二級學科博士點升格為軟體工程一級學科博士點，2012年獲得貴州省軟體工程與信息安全特色重點實驗室，2013年獲得計算機控制技術專業碩士研究生工作站（貴州省首批專業碩士研究生工作站），2013年獲得“貴州省先進計算與醫療信息服務工程實驗室”，2015年申請獲批貴州省雲計算與大數據專業碩士研究生工作站，2015年，獲批貴州省公共大數據重點實驗室（跨學科共建），2017年，獲批貴州省智慧型醫學影像分析與精準診斷重點實驗室。2017年全國第四輪學科評估中，軟體工程一級學科等級為“B-”（前40%），計算機科學與技術一級學科等級為“C+”（前50%）。

貴州大學計算機科學與技術學院現有3個系部（計算機科學系，網路空間安全系，大學生計算機基礎教學中心），1個博士後流動站（計算機科學與技術博士後流動站），1個一級學科博士學位授權點（軟體工程），2個一級學科碩士點（計算機科學與技術、軟體工程），2個專業碩士研究生工作站（貴州省計算機控制技術專業碩士研究生工作站、貴州省雲計算與大數據專業碩士工作站），3個學術型碩士學位授權點（計算機套用技術、計算機軟體與理論、網路與信息安全），2個專業型碩士學位授權點（計算機技術、軟體工程），2個在職工程碩士授權點（計算機技術、軟體工程），6個本科專業（計算機科學與技術專業、信息安全專業、網路工程專業、軟體工程專業、數字媒體技術專業、空間信息與數位技術）， 1個省級重點學科（計算機科學與技術），1個省級特色重點學科（貴州省計算機科學與技術特色重點學科），2個省級重點實驗室（貴州省智慧型醫學影像分析與精準診斷重點實驗室、貴州省公共大數據重點實驗室），1個省級特色重點實驗室（貴州省軟體工程與信息安全特色重點實驗室），1個省級工程實驗室（貴州省先進計算與醫療信息服務工程實驗室），6個科研所，1個計算機培訓中心，2個工程中心。

學院擁有一支綜合素質好、學術水平高、實踐經驗豐富、具有開拓創新精神的教學科研隊伍。學院現有教職工144人，其中專職教師132人，教授17人，副教授45人，講師57人，高級實驗師4人，實驗師9人。具有博士學位的教師25人、具有碩士學位的教師44人，省管專家5人，省級教學名師1人，校級學科學術帶頭人5人，校中青年學術骨幹5人。目前在校博士生30人，碩士生300餘人，本科生1500餘人，學院學生規模近2000人。

學院擁有一流的教學、科研、實驗環境，設有貴州省智慧型醫學影像分析與精準診斷重點實驗室、貴州省軟體工程與信息安全特色重點實驗室、貴州省先進計算與醫療信息服務工程實驗室、計算機軟體技術基礎實驗室、信息安全實驗室、軟體工程實驗室、大學生創新實驗室、網路安全實驗室（貴州大學與貴州省軍區共建）、計算機套用技術實驗室、計算機基礎實驗室、計算機軟體與理論實驗室（博士點）、雲計算與移動網際網路基礎實驗室、先進計算與信息工程實驗室、雲計算與大數據中心，信息安全與智慧型科學實驗室，大數據安全與隱私保護實驗室，等等。

計算機科學與技術學科研究領域廣泛，經過40多年的建設和發展，學院已經形成了“理論計算機科學”、“密碼學與信息安全”、“人工智慧與模式識別”、“資料庫與軟體工程”、“多媒體技術”、“計算機測控與嵌入式軟體”、“網路安全檢測”、“套用系統軟體與中文信息處理”、“大數據管理與套用”、“多源數據融合與集成技術”、“大數據安全與隱私保護”、“圖形圖像分析與處理”、“醫學圖像處理與精準診斷”“雲計算與移動網際網路”、“企業信息系統及套用”等眾多研究領域和方向。特別在可計算性理論與計算複雜性、密碼學與信息安全、資料庫技術、人工智慧、嵌入式系統、醫學圖像處理、多源數據融合與集成技術等領域有較強的優勢，已形成了自己的一些特色或優勢，其部分理論研究成果已達到國際先進水平，部分套用研究成果已達到國內先進水平。通過40多年的建設與發展，理論研究成果在不斷地提升學科在國內外的知名度，套用成果通過轉化已為貴州省的經濟建設做出了較大的貢獻。

計算機科學與技術學科秉承“重視基礎理論研究，注重理論與實踐相結合”的傳統。在艱苦的科研條件下，依靠自身的努力，積極參國內外學術交流，先後取得了一批高水平的科學研究成果。1992—2003年期間，先後主持完成國家863計畫項目4項，國家自然科學基金項目7項。2004年—2012年期間，計算機科學與技術學院承擔的國家級項目、省部級項目和橫向聯合項目累計已超過40項，其中國家自然科學基金項目2項。2013年—2017年期間，計算機科學與技術學院承擔的國家級項目、省部級項目和橫向聯合項目累計已超過80項，其中國家自然科學基金項目18項。多年來，本學科共獲得國家科學技術進步三等獎1項、貴州省科技進步一等獎1項、獎航空部科技進步獎二等獎1項、貴州省科技進步二等獎5項、航空部科技進步獎三等獎1項、貴州省科技進步三等獎13項。多年來，本學科科研人員累計發表了幾百篇學術論文，其中在國際權威期刊或頂級會議《ArtificialIntelligence》、《AI Communications》、《Information and Computation》、《IEEE Trans. Knowl. Data Eng.》、《International Conference on Knowledge Rapresentation & Reasoning》和國內權威期刊《Science in China》、《J. of Comput. Sci. and Technol.》、《計算機學報》、《軟體學報》、《電子學報》、《計算機研究與發展》、《計算機套用研究》、《計算機工程與套用》、《計算機科學》等相繼發表眾多學術論文。學術論文中被三大檢索（SCI、EI、ISTP）收錄的論文累計超過300篇。

我院畢業生專業理論知識紮實，動手實踐能力和創新能力強，受到社會和用人單位的廣泛讚譽，湧現出了不少優秀人才、傑出人才，為國家、為社會做出了突出貢獻。近年來，博士、碩士畢業生就業率100%，本科生就業率超過90%。計算機科學與技術學科在貴州省具有極高的社會聲譽，在全國也具有較高的知名度。學院近年來積極服務於貴州省的大數據發展戰略，為貴州省的大數據發展提供科技支撐和人才支撐。

學院重視國內外的學術交流活動，與清華大學、北京大學、浙江大學、哈爾濱工業大學、重慶大學、南京大學、中國科學院等國內外高等院校及科研院所進行了廣泛的學術聯繫，與德國、英國、日本、澳大利亞、美國等國外一些國家和地區的學術交流頻繁。

學院領導

黨委書記：郭蘭，主持學院黨委全面工作。分管黨建、組織人事、思想政治、精神文明、統戰等工作。

院長：許道雲（教授），主持學院行政全面工作。分管學科建設、師資隊伍建設、研究生管理、學術交流、外事、財務等工作。

黨委副書記：鄒年娟，分管學生管理（研究生、本科生）、紀律檢查、安全、對外宣傳、工會等工作。

副院長：李秦偉（教授），分管實驗室建設與管理、本科生實習（訓）、大學生科技創新、大學生科技競賽、畢業論文等工作。

副院長：秦永彬（教授），分管科研、產學研、對外合作與技術服務、學院信息化等工作。協助院長分管學科建設等工作。

副院長：龍慧雲（副教授），分管本科教學、成人教育與培訓、Google資助計畫等工作。。

學科建設

學科簡介

貴州大學“計算機科學與技術”（一級學科）於1992年被批准為省級重點學科，2002年二級學科“計算機套用技術技術”又獲批為省級重點學科。計算機科學與技術學科現有“計算機軟體與理論”1個博士學位授權點（2001年）、“計算機軟體與理論”（1983年）和“計算機套用技術”（1998年）2個碩士學位授權點、“軟體工程”和“計算機技術”2個工程碩士授權點（2003年）。目前，“計算機科學與技術”學科具有計算機科學與技術、軟體工程、信息安全、網路工程等四個本科專業。

“計算機科學與技術”學科四個專業目前有在校生近1500人，其中本科生1283人、碩士生128人、博士生29人、工程碩士186人。

經過十多年的建設，“計算機科學與技術”學科取得了較快的發展和卓有成效的成果，學科已經形成了“可計算性理論與計算複雜性”、“人工智慧”、“密碼學與信息安全”、“計算機網路技術”、“資料庫技術”、“多媒體技術”、“軟體分析”、“計算機控制技術”、“嵌入式系統”、“中文信息處理”、“智慧型信息處理”和“機器學習”等10餘個研究方向，特別在可計算性理論與計算複雜性、數理邏輯、資料庫技術、人工智慧、嵌入式系統等領域有較強的優勢，已形成了自己的一些特色或優勢，其部分理論研究成果已達到國際先進水平，部分套用研究成果已達到國內先進水平。通過十多年的建設與發展，學科已為國家輸送了大量的各類人才，理論研究成果在不斷地提升學科在國內外的知名度，套用成果通過轉化已為貴州省的經濟建設做出了較大的貢獻。

2004年中國大學研究生院計算機專業排名中，貴州大學“計算機軟體與理論”二級學科位列第15名，一級學科在全國大致也能排在前30名左右。目前，“計算機軟體與理論”二級學科已具備了申報國家重點學科的基礎和條件。

師資隊伍

學院擁有一支綜合素質好、學術水平高、實踐經驗豐富、具有開拓創新精神的教學科研隊伍。現有教職工139人，其中專職教師126人，具有副高以上職稱教師54人，講師46人，高級實驗師4人，實驗師17人。具有博士學位的教師25人、具有碩士學位的教師70人，省管專家5人，省級教學名師2人，校級學科學術帶頭人5人，校中青年學術骨幹5人。

學科建設成效

1．科學研究及成果

“計算機科學與技術”學科秉承“重視基礎理論研究，注重理論與實踐相結合”的傳統。在艱苦的科研條件下，依靠自身的努力，積極參國內外學術交流，先後取得了一批高水平的科學研究成果。

承擔項目：1992年—2009年期間，學科點承擔的國家級項目、省部級項目和橫向聯合項目已超過100項，科研經費超過5000萬元。其中國家級項目如下：

(1)國家自然科學基金重大項目1項：

張明義：可信約束下軟體錯誤診斷與修正框架[90718009，2008-2010]。

(2)國家自然科學基金項目11項：

李祥：邏輯與計算複雜性[19331050，1994-1997]、BSS機器模型下實函式的計算複雜度與不可解度研究[69673048，1996-1999]；

李堅石：可分合機電元件電接觸熱過程的理論研究[1993-1995]、軟體可靠性與安全性綜合評價方法研究[2005-2009]；

張明義：數理邏輯（非經典）在知識工程中的套用[19861002，1999-2001]、難於計算問題的固定參數複雜性研究及套用[10161005，2002-2004]、基於回答集語義的約束邏輯程式設計[60573009, 2006-2008]；

許道云：不可滿足公式的結構以及證明方法的研究[60463001，2005-2007]；命題公式有效推理的特殊變元集及算法研究（編號：60863005，開始時間：2009.1）;信息傳播算法的數學理論和原理》（編號：60911130013，2009.3—2009.12）;函式的Fine-可計算性與計算複雜性（編號：61011130038，2010.3—2010.12）;

(3)國家863計畫項目4項：

李祥：環域上的程式設計系統與BSS機器計算理論[863-306-05-09-1C，1995-1998]；

張明義：非單調邏輯的一些新探索[863-306-05-16C，1992-1994]、常識推理與歸納推理研究[863-306-05-04-7，1994-1996]、類比與歸納的形式系統及套用研究[863-306-05-05-5A，1996-1998]。

獲獎情況：自1992年以來，本學科獲得國家科學技術進步三等獎1項（李堅石）、貴州省科技進步一等獎1項（李祥）、獎航空部科技進步獎二等獎1項（李堅石）、貴州省科技進步二等獎5項（李祥2項，李堅石3項）、航空部科技進步獎三等獎1項（李堅石）、貴州省科技進步三等獎13項（李祥、李堅石等）。

論文發表情況：自1992年以來，本學科點人員積撰寫研究論文，發表了幾百篇學術論文。其中在國際權威期刊或頂級會議《ArtificialIntelligence》、《AI Communications》、《Information and Computation》、《IEEE Trans. Knowl. Data Eng.》、《International Conference on Knowledge Rapresentation & Reasoning》和國內權威期刊《Science in China》、《J. of Comput. Sci. and Technol.》、《計算機學報》、《軟體學報》、《電子學報》、《計算機科學》、《計算機研究與發展》、《計算機工程與套用》等都有學術論文發表，學術論文中被三大檢索（SCI、EI、ISTP）收錄的論文已超過200篇。

成果轉化：學科除了重視基礎理論研究之外，更重視套用系統開發及研究成果轉化，特別是橫向聯合。自1992年以來，學科一直和我省的航空、航天、電子、醫療衛生等部門進行合作，不斷地致力於合作研究和成果轉化，成果轉化項目30項。2005年學科與航空系統一起建立了貴州省智慧型控制工程研究中心（貴州省發改委批准），該中心先後完成了國家重點工程項目“CS097試驗器計算機測控系統”等科研項目20餘項，為企業創造經濟效益上億元，目前並正在進行的科研項目有貴州省工業攻關項目“數控加工中心網路平台建設”、“大型整機裝備最佳化設計“等16項。近幾年的橫向聯合科研經費累計超過800萬元人民幣。

2．人才培養

學科所屬的二級學科“計算機軟體與理論”博士點是貴州省獲得的兩個最早博士學位授予權的其中一個，其領銜導師是學科帶頭人李祥教授，該博士點從2002年開始招生，目前總共招生人數為55人，已有30人畢業並獲得博士學位；兩個二級學科碩士點“計算機軟體與理論”和“計算機套用技術”從1998年統計至今，目前累計招生人數已超過400人；專業碩士的招生人數累計也超過30人；自1992年以來，本科生招生人數累計已超過3000人。學科不但培養出了大量的研究生以上的高層次人才，他們目前都正在自己的工作崗位上發揮著骨幹的作用，而且為經濟主戰場培養出了大量的專門人才。

3．學科平台建設

在學科隊伍建設方面：藉助於博士點和碩士點的建設等有利條件，年輕教師基本上都在攻讀博士、碩士學位。選送部分年輕教師到國外和國內著名院校（科研院、所）攻讀學位、進修、進行合作研究，請校外教師參與博士和碩士研究生、青年教師的培養工作，進行學術講座和合作研究等。

專業布局

博士後流動站：計算機科學與技術

博士點：計算機軟體與理論

一級學科碩士點：計算機科學與技術

二級學科碩士點：計算機軟體與理論，計算機運用技術，信息安全，信號與信息處理

專業碩士授權點：軟體工程，計算機技術

高校師資碩士：計算機軟體與理論

本科專業：計算機科學與技術，軟體工程，信息安全，網路工程，數字媒體

省級重點學科：計算機科學與技術（貴州省人民政府批准，1992）

教學支撐單位：計算機科學與技術系，信息網路安全系

實驗室概況

學院擁有優良的教學/科研軟、硬體與網路資源，已建立了支撐本科生、研究生實踐教學的“三大開放實驗平台”， 3個公共專業基礎實驗室，4個校、企合作實訓基地，以及院屬科研機構的項目研發實驗室；10個專業實驗室，包括多個方向的碩士培養實驗室；博士點實驗室4個；省級重點實驗室1個。多層次、多角度上滿足了學院教學、科研的要求，也為產學研項目研發提供了良好的技術支撐環境。

經過30多年的建設和發展，學院已經形成了人工智慧、信息與網路安全、計算複雜性、計算機網路技術、資料庫技術、多媒體技術、軟體工程、計算機控制技術、中文信息處理、計算機仿真技術與工程分析、Linux與開源軟體技術、嵌入式系統、網路與信息系統、電子政務等10餘個研究方向。學院在數理邏輯、資料庫技術和人工智慧、最最佳化理論等領域有較強的優勢。部分研究套用研究成果達到國內先進水平，一些理論研究成果已達到國際先進水平。

科研項目

該學科承擔的主要科研項目情況

“十五”以來，學院承擔信息技術領域研發重要項目70餘項，科研經費總計近1500萬元。 其中： 包括國家自然科學基金3項.(含2項國際合作項目)，國家863重大專項課題 1項，科技部攻關項目1項，教育部春暉計畫13項，教育部教改項目2項，貴州省自然科學基金項目6項，貴州省科技攻關項目5 項，日本NTT國際合作項目1項，以及服務地方政府、企事業單位的信息技術研發與套用推廣項目近50項。發表學術論文 208 篇（其中, SCI、EI、ISTP收錄40篇）；科研成果轉化21項；主編教材8本，科研成果（教材）套用於本科教學6項；獲得省部級以上科研獎勵9項。在該省許多行業的套用項目研發、信息化建設與套用推進等方面發揮了積極、重要的作用，產生了良好的社會效益與經濟效益。

國家級項目

計算的模型、理論和套用中的新方向（國際合作項目） 關於數值計算、可計算性及計算複雜性的算法基礎（重大國際合作項目） 計算的模型、理論和套用中的新方向（重大國際合作項目）、不可滿足公式的結構以及證明方法的研究、基於Linux的網路多媒體教學資源建設的關鍵技術與套用研究（國家863重大專題項目）。

部級項目

可視電話系統圖象壓縮編碼的研究 、基於微硬碟多媒體攜帶型播放系統、 基於CPLD/FPCA技術實現系統的多任務可程式處理、 數控加工中心網路平台建設、 數據挖掘技術在醫學CT圖像上的套用 、基於格線的喀斯特地區數字博物館基礎研究、 基於遠程心電監護服務系統 、城市電平轎車的設計――電力及控制系統0.20 。

省級項目

遙感圖象混合壓縮方法研究及實現 、基於Internet知識工程的複雜性與安全性研究 、信息安全流－一種基於類型的方法 、圖象信息隱藏技術研究 、數據挖掘技術在醫學圖像領域中的研究 、數控加工中心的網路平台建設 、通用工業測控組態軟體系統 、基於Internet網實驗室系統 、圖象資料庫套用研究 、貴州省教育信息化及遠程教育“十五”發展規劃研究 、極小不可滿足公式的同構與同態的研究 、貴州省菸草行業信息化發展戰略研究 、Internet2技術跟蹤及套用開發研究 、中文信息處理及情景對話理解研究、 Internet網路通信與網路安全 、基於Type-2圖靈計算模型研究、 基於軟交換技術構建勞動保障諮詢平台系統 、球磨機節能控制系統 、社區心血管保健監護系統 、語義Web中的本體（Ontology）關鍵技術研究、 計算機軟體開放實驗室與課件發布系統 、基於Internet遠程監護儀監護服務系統 、GUMC-16A開放中心感測控制系統、 極小不可滿足公式的同構與同態的研究 、心血管保健遠程監護儀監護服務諮詢系統 、貴州省CAE仿真分析技術套用公共服務平台建設、 基於醫學圖像的心臟三維建模方法研究 、非確定有窮自動機狀態極小化算法及其複雜性研究 、安全協定及其BAN邏輯分析套用研究 、城市應急平台建設的關鍵技術與套用研究 、非平衡複雜網路的動力學行為研究 、增量型核回歸分析理論及算法研究、 基於同質塊的多階段兩維排樣最佳化算法研究 、貴州省旅遊景點虛擬場景建模與漫遊 、J2EE與軟體工程實訓平台建設與套用研究、 高校固定資產狀態數據分析系統。

市級項目

貴陽市物價信息監測管理系統 、貴陽市企業信息化項目信息化管理系統 、基於嵌入式Linux系統微硬碟音視頻播放器 、貴陽市信訪信息管理系統、 IPv4/IPv6混合組網關鍵技術研究與套用、 貴陽市城市道路交通資料庫建設及網路模型研究、 侗文化世界非物質遺產申報資料庫建設（一期）。

橫向項目

試驗器計算機測控系統、 混倉控制系統 、煤炭遠程監控及管理系統 、銅仁電力局結構化綜合布線、 視頻自動傳送控制軟體 、六盤水勞動力市場網路系統 、Cs097A試驗台計算控制系統 、Cs095試驗台計算控制系統、 液壓試驗台計算機控制系統 、汽車點火鎖質量控制軟體 、貴陽市第四人民醫院HIS系統（軟體）、 貴陽市賓儀館監控系統 、銅仁供電局呼叫系統 、畢節供電局呼叫系統、 畢節工商局地區工商信息化管理系統 、貴陽市檔案信息入口網站建設項目、 貴陽勘測設計研究院工程科研院瀑布溝水電站安全檢測三維仿真系統、 貴陽市環境空氣品質預報系統、 MCS-1可視心律失常治療儀 、自動氣象站觀測設備研發 、計算機基礎課程建設。