吉林大學碩士研究生專業(yè)介紹：計算機軟件與理論

• 2026考研英語全程班 6班
• 26考研全科上岸規(guī)劃營「擇校▪規(guī)劃▪備考」
• 吉林大學2026考研專業(yè)課復習資料「真題▪筆記▪講義▪題庫」

吉林大學研究生計算機軟件與理論專業(yè)介紹如下：

知識工程與專家系統(tǒng)

主要研究內容：不確定性推理方法與技術；多專家系統(tǒng)協(xié)作技術；貝葉斯網(wǎng)推理和學習；異構知識表示的相互轉換；知識庫求精和知識庫一致性檢測等。

研究成果：承擔多項國家863項目，利用包括專家系統(tǒng)等多種技術開展面向農(nóng)業(yè)信息化領域應用研究，開發(fā)了二十多個農(nóng)業(yè)實用ES，并持續(xù)進行了大規(guī)模推廣應用.97至04年，增收節(jié)支約22.3億元。研究工作先后獲吉林省科技進步一等獎和二等獎各1項、長春市科技進步一等獎1項。

智能信息處理

主要研究內容：智能規(guī)劃與自動推理、約束程序、智能決策支持系統(tǒng)等研究領域的科學研究與軟件開發(fā)工作。

主要成果：研究成果居國內領先地位。現(xiàn)有教師12人，其中教授（博士生導師）3人，兩人獲教育部“新世紀優(yōu)秀人才支持計劃”支持，不間斷地承擔過近20項國家自然科學基金課題，在研國家和省部級課題4項、橫向軟件開發(fā)項目4項。承擔《人工智能原理》等研究生課程和《離散數(shù)學》等本科生課程，其中《離散數(shù)學》為國家精品課程。

軟件形式化

主要研究內容：軟件形式化方法、語義網(wǎng)、程序分析技術、各種程序設計語言與實現(xiàn)技術、移動代碼安全、并發(fā)語義、軟件檢查等。

主要成果：承擔并完成了國家自然科學基金項目4項、教育部博士點基金1項、省部級項目2項、協(xié)作項目3項、省級校級教改項目3項、發(fā)表學術論文70余篇、編著學術著作13部。承擔研究生課程《形式語義學》、《程序分析》，本科生課程《編譯原理》和《高級語言程序設計》。《編譯原理》課程被評為吉林大學精品課、吉林省精品課程和教育部-微軟精品課程，獲得三項省級獎勵。

軟件工程

主要研究內容：組件技術和軟件復用技術、基于軟件體系結構的軟件開發(fā)方法、軟件維護和軟件設計改進方法、軟件演化方法和軟件自動化技術、軟件重構方法和技術、軟件測試、面向方面的編程技術、基于移動代理的軟件開發(fā)方法、軟件工程環(huán)境和軟件開發(fā)輔助工具等。

主要成果：近年來，研究組成員完成國家重點攻關項目和國家自然科學基金項目4項，在國內核心刊物或國際會議上發(fā)表論文50余篇。

數(shù)據(jù)庫與web智能

主要研究內容：數(shù)據(jù)庫理論、機器學習、數(shù)據(jù)挖掘與Web挖掘、網(wǎng)絡搜索引擎。

主要成果：完成國家自然科學基金項目“基于Petri網(wǎng)的主動型面向對象數(shù)據(jù)庫管理系統(tǒng)(1997-1999)”、吉林省科技發(fā)展計劃項目“第二代網(wǎng)絡搜索引擎的研制(2000-2003)”。目前正承擔國家自然科學基金項目“具有增量性質的移動式主題爬行系統(tǒng)(2004-2006)”。在國際會議和《軟件學報》等核心刊物上發(fā)表論文40余篇，其中被三大檢索結構檢索論文9篇，出版教材和學術專著4部。獲得國家級和部委級獎勵5項。

數(shù)據(jù)庫與智能網(wǎng)絡

主要研究內容：面向高維、海量數(shù)據(jù)的智能處理理論，數(shù)據(jù)挖掘基礎理論與應用，Internet組播路由技術，并行程序設計，并行工程與工程數(shù)據(jù)庫系統(tǒng)，計算機支持協(xié)同工作與設計。目前的研究重點在于嵌入式數(shù)據(jù)庫理論與技術，數(shù)據(jù)挖掘與信息融合技術，面向網(wǎng)絡計算的大規(guī)模仿真和海量數(shù)據(jù)處理技術。

主要成果：承擔國家攻關項目2項，國家863計劃項目1項，國家自然科學基金項目5項，省部級及其它科研項目幾十項。獲國家科技進步二等獎1項，機械工業(yè)部科技進步一等獎1項，及多項省部級其它獎項。近期在《計算機學報》、《軟件學報》等權威學術刊物上發(fā)表論文三十余篇，在國際會議、核心期刊上發(fā)表論文一百五十余篇。