學院簡介,學科設定,師資力量,歷史沿革,現任領導,科學研究簡述,主要研究方向,計算機軟體與理論,計算機套用技術,計算機系統結構,生物信息學,學術研討,國際交流,科研榮譽綜述,
學院簡介
吉林大學計算機科學與技術學院成立於1976年,由著名教育家、數學家、計算機科學家、中國科學院院士
王湘浩教授創建。1958年,王湘浩院士以其敏銳的洞察力,率先認識到開拓計算機科學研究的重大意義,毅然從代數方向轉向計算機科學方向,創建了
控制論專業,開展了計算機理論研究,做出了國際領先水平的成果,為
計算機專業培養了骨幹人才,使吉林大學成為國內最早開展計算機科學研究的單位之一。2001年5月,由原吉林大學計算機科學系、原
吉林工業大學計算機工程與技術系、原
長春科技大學計算機系、原
長春郵電學院計算機系合併組成新的計算機科學與技術學院。
學院現有計算機科學與技術,計算機科學與技術(網路信息與安全),物聯網工程三個專業,
計算機軟體與理論、
計算機套用技術、計算機系統結構和網路與信息安全 4 個碩士點,計算機軟體與理論、計算機套用技術、計算機系統結構和生物信息學 4 個博士點,計算機科學與技術一級學科博士學位授權點。學院擁有 1 個博士後科研流動站、 1 個國家重點學科、 3 個吉林省重點學科、 1 個教育部重點實驗室、1 個信息產業部重點實驗室、1 個吉林省實驗教學示範中心、1 個吉林省重點實驗室、1 個省級工程研究中心、2 個“211”重點學科、1 個“985”二期科技創新平台。學院現有 18 研究室和 6 個教學實驗室。現有教師 199 人,其中博士生導師 27 人、教授 50 人、副教授 49 人,具有博士學位的教師 59 人。學院有雙聘中科院院士 1 人、
國務院學位委員會學科評議組成員 1 人、教育部新世紀優秀人才 3 人、享受
國務院政府津貼3 人、吉林省高級專家 2 人、吉林省有突出貢獻中青年專家 6 人、
吉林省傑出青年基金獲得者 4 人。
學院在校本科生1979人,碩士生576人,博士生232人。多年來始終以培養高質量、高層次,適應社會需求的計算機專門人才為宗旨,經過多年的努力,形成了計算機學科和數學學科相融合、與其他相關學科相交叉的科學研究和人才培養的鮮明特色,為國家培養了大批理論基礎堅實、學風嚴謹、獨立從事科學研究和解決實際問題能力強的優秀人才。
學科設定
學院設計算機科學與技術、網路與信息安全和物聯網 3 個本科專業,
計算機軟體與理論、
計算機套用技術、計算機系統結構和網路與信息安全 4 個碩士點,計算機軟體與理論、計算機套用技術、計算機系統結構和生物信息學 4 個博士點,計算機科學與技術一級學科博士學位授權點,計算機軟體與理論博士後流動站。
師資力量
現有教師209人,其中教授50人(含博士生導師34人),副教授55人,具有博士學位的教師161人。學院有雙聘中科院院士 1 人、長江學者講座教授1人,
國務院學位委員會學科評議組成員 1 人、教育部新世紀優秀人才5人、享受
國務院政府津貼3 人、吉林省高級專家 3 人、吉林省有突出貢獻中青年專家 6 人、
吉林省傑出青年基金獲得者4 人,
長春市政府特貼1人,引進
唐敖慶講座教授12名。
歷史沿革
□ 1960年到1975年先後研製了6台計算機;
□ 1976年王湘浩院士創建了計算機科學系;
□ 1977年王湘浩先生在國內率先開拓了“人工智慧”研究方向,完成了“NOVA機多用戶
BASIC”分析和TQ-6機“
FORTRAN編譯系統”;
□ 1981年首批獲計算機軟體博士學位授予權;
□ 1985年首批建立了計算機軟體博士後科研流動站;
□ 1987年計算機軟體被批准為國家重點學科專業;
□ 1993年建立了國家教委
符號計算與知識工程開放實驗室;
□ 2000年獲計算機科學與技術一級學科博士學位授予權;
□ 2001年四個計算機系組建吉林大學計算機科學與技術學院;
□ 2002年被批准建設計算與軟體科學及信息處理“十五”211重點學科;
□ 2003年建立了吉林省通信軟體產品線工程技術研究中心;
□ 2004年被批准建設計算與軟體科學“985”二期科技創新平台。
現任領導
黨委書記:孟凡二
副院長:黃 嵐 教授 (主管本科生)
行政副院長:張達鑫
黨委副書記:高戰國 (主管研究生)
黨委副書記:白 江 (主管本科生)
計算機科學與技術研究所所長:
魏曉輝 教授 (兼)
學位評定委員會主席:歐陽丹彤 教授
學術委員會主任:劉 磊 教授
教學委員會主任:左萬利 教授
海戰場攻防對抗仿真教育部重點實驗室副主任:包 鐵 副教授
吉林大學公總計算機教學與研究中心主任:魏曉輝 教授(兼)
科學研究簡述
吉林大學計算機科學與技術學院擁有較強的科研實力,在人工智慧等領域處於國內領先地位,有較強的知名度。主要研究方向有:
智慧型信息處理、軟體形式化、軟體工程、資料庫與web智慧型、資料庫與智慧型網路、
知識工程與知識科學、
計算智慧型、智慧型工程、計算機圖形學與數字媒體、計算機圖像處理與虛擬現實、智慧型控制與嵌入式系統、計算機空間信息處理技術、格線計算與網路安全、計算機協同工作技術、移動通信與網路系統、通信軟體與
協定工程、
生物信息技術、生物信息識別與信息安全技術等。承擔國家級和省部級科研項目 110 項,科研總經費 6000 多萬元。在上述項目支持下,取得了綜合信息礦產預測理論與方法體系、多媒體玉米生產智慧型系統 MISMAP和智慧型系統開發平台、
公鑰基礎設施研究、
微機電系統建模、
分散式系統與網路軟體、
符號計算及人像識別技術研究、ERP開發平台及套用等 8 項標誌性成果。
主要研究方向
(專業辦學優勢)
計算機軟體與理論
○主要研究內容:智慧型規劃與自動推理、約束程式、智慧型決策支持系統等研究領域的科學研究與軟體開發工作。
○主要成果:研究成果居國內領先地位。有教師12人,其中教授(博士生導師)3人,兩人獲教育部“新世紀優秀人才支持計畫”支持,不間斷地承擔過近20項國家自然科學基金課題,在研國家和省部級課題4項、橫向軟體開發項目4項。承擔《
人工智慧原理》等研究生課程和《離散數學》等本科生課程,其中《離散數學》為國家精品課程。
●軟體形式化
○主要研究內容:軟體
形式化方法、
語義網、程式分析技術、各種程式設計語言與實現技術、移動代碼安全、並發語義、軟體檢查等。
○主要成果:承擔並完成了國家自然科學基金項目4項、教育部博士點基金1項、省部級項目2項、協作項目3項、省級校級教改項目3項、發表學術論文70餘篇、編著學術著作13部。承擔研究生課程《
形式語義學》、《
程式分析》,本科生課程《編譯原理(雙語)》、《
高級語言程式設計》和《C#程式設計(雙語)》。《編譯原理(雙語)》課程被評為吉林大學精品課、吉林省精品課程和教育部-微軟精品課程,獲得三項省級獎勵。由博士生導師張長海教授主講的《高級語言程式設計》被評為國家級精品課。
●軟體工程
○主要研究內容:組件技術和
軟體復用技術、基於軟體體系結構的軟體開發方法、
軟體維護和
軟體設計改進方法、軟體演化方法和
軟體自動化技術、軟體重構方法和技術、軟體測試、面向方面的編程技術、基於移動代理的軟體開發方法、
軟體工程環境和軟體開發輔助工具等。
○主要成果:研究組成員完成國家重點攻關項目和國家自然科學基金項目4項,在國核心心刊物或國際會議上發表論文50餘篇。
●資料庫與web智慧型
○主要成果:完成國家自然科學基金項目“基於
Petri網的主動型
面向對象資料庫管理系統(1997-1999)”、吉林省科技發展計畫項目“第二代網路搜尋引擎的研製(2000-2003)”。承擔國家自然科學基金項目“具有增量性質的移動式主題爬行系統(2004-2006)”。在國際會議和《
軟體學報》等核心刊物上發表論文40餘篇,其中被
三大檢索結構檢索論文9篇,出版教材和學術專著4部。獲得國家級和部委級獎勵5項。
●資料庫與智慧型網路
○主要成果:承擔國家攻關項目2項,
國家863計畫項目1項,國家自然科學基金項目5項,省部級及其它科研項目幾十項。獲國家科技進步二等獎1項,機械工業部科技進步一等獎1項,及多項省部級其它獎項。又在各種國內外刊物上發表數十篇的論文。
計算機套用技術
○主要研究內容:不確定性推理方法與技術;多專家系統協作技術;貝葉斯網推理和學習;異構知識表示的相互轉換;知識庫求精和知識庫一致性檢測等。
○主要成果:承擔多項國家863項目,利用包括專家系統等多種技術開展面向農業信息化領域套用研究,開發了二十多個農業實用ES,並持續進行了大規模推廣套用。97至04年,增收節支約22.3億元。研究工作先後獲吉林省科技進步一等獎和二等獎各1項、長春市科技進步一等獎1項。
○主要研究內容:DAI與多Agent系統主要包括:複雜任務求解方法;Agent感知方法;Agent規劃方法;DAI規劃識別、生成、最佳化方法;Agent派生與回收、動態組裝方法;動態DAI體系結構模型。面向Agent程式設計主要包括:智慧型Agent體系結構、邏輯理論、程式設計方法和語言及多Agent協商方法。移動Agent技術主要包括:
移動Agent系統體系結構、理論模型、遷移規劃、通信和安全。
○主要成果:自1984年開始,完成國家863和自然科學基金項目10項,發表論文50餘篇。提出了基於
BDI組件式智慧型Agent模板結構模型。提出了擴展契約網協商模型ECNNM。提出了支持Agent通信和協商有分支時序結構的一階多
模態邏輯。提出基於模板模型、擴展BDI邏輯、支持多Agent協商模型ECNNM的Agent程式設計語言NOAPL。基於上述成果研製了“開放、自適應、分散式多Agent協作系統工具COT”,用COT開發了多ES石油測井
解釋系統。還提出了移動Agent系統模板結構、基於環境演算的
移動Agent系統形式化模型、遷移規劃模型、可靠性通信模型和通信性能最佳化模型,面向網路管理的安全模型和基於博弈論的電子商務
虛擬市場模型,並將移動Agent技術套用於網路管理和電子商務領域。
●時空信息表示和推理
○主要研究內容:時間和空間是人類永恆的話題,時空推理在人工智慧等領域中占據重要地位。該院的時空推理研究始自1996年,覆蓋了很多研究方面,並套用到地理信息系統、
精準農業等領域。研究內容主要包括:時空邏輯、時空代數、時空本體、時空
數據挖掘、時空資料庫、移動對象資料庫等。獲得了基金資助包括自然科學基金重大項目子課題1項、自然科學基金
面上項目3項,省科技發展計畫項目4項等。
○主要成果:對區域連線演算進行了混合維擴展,並套用於定性空間遮蔽關係表示;提出了處理時空信息的不確定性、
模糊性和粒度模型,並分別套用於GIS、
空間數據挖掘和時空資料庫;處理綜合時空信息的模型;定性空間查詢語言和時空查詢語言;改進的公路網移動對象模型;柵格數據模型下模糊區域的
拓撲關係分析。基於上述研究,獨立開發了支持時空推理的組件式地理信息系統CGIS和多個農業套用系統,使測土施肥真正成為可能。共發表核心期刊以上論文60餘篇,SCI索引7篇,EI索引15篇。
○主要研究內容:傳統的數據分析手段難以應付越來越多的數據。為使人們能理解並有效地使用這些數據,以數據挖掘為研究背景,該院展開了以基於格機和粗糙集的數據挖掘理論與方法為主的研究,主要研究內容包括:對當時的格機理論、方法進行深入研究,重點研究格機的標註與其分類特性;研究增量式格機的標註與其分類特性,給出增量式格機的嚴格形式化定義;面向文本等
非結構化數據,研究基於格機理論的數據約簡方法和分類方法。研究
粗糙集理論公理組的極小化問題;研究基於粗糙集理論的屬性約簡方法和數據約簡方法;研究基於格機理論和粗糙集理論的
數據挖掘方法。
○主要成果:學院在基於格機和
粗糙集的數據挖掘理論與方法上取得了一定的成果。擴展了格機的等標註的思想,提出了交集標註的概念,用以解決多類別決策問題;將上述思想並套用於文本數據的多類別決策問題,取得了較好的效果;去除了粗糙集公理組中隱含著的冗餘性, 得到了更為精練的兩組粗糙集公理, 並證明了它們的可靠性; 定義了極小粗糙集公理組概念, 並證明了給出的兩組粗集公理是極小的;在基於
粗糙集理論的屬性約簡和數據約簡方面,提出了基於
信息熵和
遺傳算法的屬性約簡算法、基於特徵矩陣的最小約簡算法、增量式規則提取方法。
○主要研究內容:計算智慧型所涉足的神經網路、
模糊系統和進化計算相關理論、模型和算法,以及計算智慧型方法在機器味覺和嗅覺、圖象處理、商務智慧型、
智慧型交通、現代物流、生物信息學和
生物識別技術等領域的套用研究。
○主要成果:承擔國家自然科學基金重點項目1項、國家自然科學基金
面上項目2項、十五攻關項目1項、“863”項目1項、省部級項目7項和多項橫向科研項目,獲得省部級科技進步二等獎2項、三等獎3項:發表學術論文100多篇;其中被SCI收錄20多篇,SCI引用26次,被EI收錄40多篇,被國核心心刊物引用116次;出版學術著作1部,獲得國家發明專利1項,獲得
軟體著作權4項。
●計算機圖形學與數字媒體
○主要研究內容:計算機繪畫與動畫,計算機
動漫技術與套用,基於點的造型與繪製、幾何造型中曲面拼接的基礎理論和算法、分形的計算機生成,基於內容的多媒體檢索,眼底三維圖象組建和醫學圖像處理,圖象
超解析度和圖象配準,流媒體壓縮、編碼、解碼及代理快取技術,三維模型檢索系統中利用
聚類分析方法平台系統的開發,基於
聚類分析的三維模型資料庫分析與組織等。
○主要成果:自八十年代初開始開展計算機圖形學與數字媒體方面的教學、科研和開發工作,多年來承擔與完成國家自然科學基金4項,省部級項目2項,其他各類科研項目10餘項。發表學術論文200餘篇,其中被
三大檢索收錄50餘篇。
●計算機圖像處理與虛擬現實
○主要研究內容:計算機圖像處理的理論與套用研究,主要有
數字水印技術、
圖像檢索技術、醫學圖像處理、基於圖像的繪製技術,基於圖像的3維重建技術等;虛擬現實技術和套用研究,主要有虛擬環境的模擬、自然景物的模擬、
碰撞檢測技術等;模式識別和機器視覺的研究,基於約束的幾何模型研究,多媒體技術研究。
○主要成果:承擔
國家自然科學基金項目2項、省部級項目4項及多項
橫向科研項目。發表學術論文130餘篇,其中被SCI收錄30餘篇,EI收錄25篇,ISTP 收錄 30多篇。出版教材3部。
●智慧型工程
○主要成果:自2001年起承擔與完成國家自然科學基金項目2項、省部級項目2項,獲省部級科技進步獎4項。發表學術論文100餘篇,其中被SCI收錄40餘篇,EI收錄50餘篇。
●移動通信與網路系統
○主要成果:完成國家科技攻關項目1項,863項目1項,國家自然科學基金項目3項,省部級項目12項以及多項工業界委託項目,獲省部級獎3次。主持國家發改委高新技術及產業化項目1項,國家自然科學基金
面上項目1項和
振興東北老工業基地科技攻關項目1項。在國內外知名刊物上發表論文60餘篇,出版教材(主編)8本。
●智慧型控制與嵌入式系統
○主要成果:完成863項目、“攻關”項目等3項,國家自然科學基金項目2項,省部級項目8項,獲省部級科學技術進步獎4項,發表論文100餘篇,出版教材8部。●計算機空間信息處理技術
○主要研究內容:
空間數據的採集、量測、分析、存貯、管理、顯示、傳播和套用方面的集成的信息科學與技術。重點研究油田多維信息和
數字地球信息的大容量數據存儲技術、多媒體資料庫技術、壓縮傳輸技術、智慧型化搜尋算法、數據倉庫與數據挖掘、空間數據的建模和模擬,
3S集成理論與方法,
科學計算可視化和虛擬現實技術,
人機互動技術等。
○主要成果:獲國家863項目1項,國家自然科學基金項目2項,省部級項目16項,獲省部級科技進步二等獎2項,三等獎8項,發表論文60餘篇,出版專著3部。
計算機系統結構
○主要研究內容:機群作業系統及在分布
並行計算和伺服器群方面的套用;格線計算;網路安全;網際網路技術及在IP電話、VPN、電子商務/政務等方面的套用。
○主要成果:完成國家科技攻關項目5項,863項目3項,國家自然科學基金項目6項,國家教委博士點基金項目2項,吉林省自然科學基金項目3項以及若干工業界委託項目。在研項目有國家自然科學基金重大項目1項,國家自然科學基金
面上項目1項,吉林省傑出青年項目1項以及國際合作項目1項。專著9部,在國內外知名刊物上發表論文100多篇。獲省部級科技進步獎8次,包括原電子部特等獎1次、原國家教委二等獎1次和三等獎3次, 吉林省二等獎1次,吉林省三等獎2次。機群作業系統的研究處於國內領先、國際先進水平,網際網路研究處於國內先進水平。
●信息安全
是中國最早進行
PKI技術研究和開發的單位之一,在PKI技術方面的研究工作居國內領先行列。
○主要研究內容:基於加密技術和
黑客技術的信息與網路安全的研究;基於公共密鑰和專用密鑰的加密技術。
○主要成果:承擔國家、省部級項目20餘項,發表學術文章50餘篇。根據中國電子商務協會的統計數據,吉林大學研製的“數字證書認證系統SRQ05”在國內占有率已經達到70%以上。承建的“福建省
數字證書認證系統暨SRQ05
電子證書認證系統”獲得國家密碼科技進步一等獎。
●計算機支持協同工作技術
○主要研究內容:基於網路的分散式協作系統的原理與技術,典型套用包括基於工作流的協作工作框架、通信網路網路性能協同監測系統及協作作戰指揮系統等。
○主要成果:國家科技攻關項目1項,國家863項目1項(子課題),國家科技成果推廣項目1項,國防科工委項目1項,省重大項目1項,省重點項目1項,省部級項目6項,企業聯合項目20餘項。在國內外發表論文36篇,
EI檢索5篇。撰寫教材和專著7部。獲專利1項。
○主要研究內容:
電信通信網由封閉式
集中控制環境轉向開放式分布
控制環境後的網路智慧型理論和軟體技術;電信通信網環境中的感知通信、自適應業務提供、可重配置網路和可視化;網路管理智慧型化;以IP為核心的下一代網路(NGN)結構、模型和關鍵技術等。
○主要成果:完成省部級以上
縱向課題10餘項及多項
橫向課題。其中部級重大項目2項,教育部博士點基金項目1項;累計完成
科研經費近千萬元;獲省級教學成果獎二等獎、省級教學軟體一等獎和吉大教學成果獎一等獎各一項。在國內外核心刊物上發表學術論文70餘篇,著書2部。其中SCI檢索論文5篇、
EI檢索論文10篇、
ISTP論文2篇。
生物信息學
○主要成果:承擔與完成
國家自然科學基金項目3項、省部級項目4項,獲省部級科技進步獎5項。發表學術論文90餘篇,其中被SCI收錄30餘篇,EI收錄50餘篇。
●生物信息識別與信息安全技術
○主要研究內容:提出了一些基於虹膜、指紋、人像生物特徵識別的相關理論、技術、算法與系統,以及基於生物特徵與水印相融合的信息安全技術。
○主要成果:自2001年起,獲得省部級科研項目4項,獲省部級科技進步一等獎1項,獲國家專利3項。發表論文50多篇,其中,SCI、EI、ISTP檢索25篇。
學術研討
2010年 環太平洋格線套用與中間件聯盟第19屆會議
2010年 第五屆計算機科學與技術前沿國際會議
2005年 生物信息國際會議
2003年 知識科學與計算科學高級研討會
國際交流
學院邀請來自美國、英國、加拿大、澳大利亞、瑞典、新加坡、日本、香港等國家和地區的專家、學者共 100 餘人次來校講學、進行學術交流及合作研究。與新加坡國家高性能計算研究所、香港中文大學自動化與計算機輔助工程系、美國西維吉尼亞大學協作工程研究中心、加拿大不列顛哥倫比亞大學電子與計算機工程系、新加坡國立大學機械工程系等國外大學、研究機構建立了合作科研關係,與美國加州大學聖地亞哥分校簽定了合作協定,加入了美國環太平洋格線套用與中間件聯盟( PRAGMA ),在生物信息、格線計算等領域進行合作研究。與國際著名 IT 公司和研究機構 IBM 、微軟、 ORACAL 、 SUN 、 HP 、日本理光、 BEA 等簽署了合作協定,建立了合作人才培訓計畫和技術交流關係;自2001 年起,有 10 餘人次出國參加國際學術會議,其中有 6 人應邀在大會上做學術報告。 聘請了國際著名生物化學家、美國喬治亞大學生物化學和分子生物系主任戴維 · 普埃特博士為吉林大學名譽教授,聘請了國際著名計算生物學家,美國喬治亞大學生物化學與分子生物學系教授、美國國家橡樹嶺實驗室計算生物學研究所傑出科學 家徐鷹 博士、香港中文大學電子與自動化系教授王鈞博士、美國 IBM 公司華生研究中心資深研究員宮雷光博士、英國 De Montfort 大學計算機科學系教授楊宏戟博士、維吉尼亞大學協作工程研究中心 Y. V. Ramana Reddy 博士等為吉林大學客座教授。 2004 年承辦國家自然科學基金委員會資助的由傑出海外華人教授回國講授的龍星計畫全國研究生課程,來自 17 個大學和研究機構的160 多名學者、研究生參加了系列學術講座。 2005 年7月再次承辦龍星計畫全國研究生課程系列學術講座。2005 年7月主辦長春國際生物信息學研討會,有國內外代表200餘人出席會議。
科研榮譽綜述
獲國家科技進步二等獎 1 項,電子部特等獎 1 項,吉林省科技進步一等獎 2 項,省部級科技進步二等獎 4 項、三等獎 13 項,全國商業科技進步獎三等獎 1 項,長春市科技進步一等獎 1 項, “九五”國家重點攻關計畫重大科技成果獎 1 項。發表學術論文、專著情況:發表學術論文 900 多篇,被SCI 收錄 130 篇, EI 收錄 212 篇,出版專著 24 部。