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

• 2025考研復(fù)試標準班
• 26考研全科上岸規(guī)劃營「擇校▪規(guī)劃▪備考」
• 吉林大學(xué)2026考研專業(yè)課復(fù)習(xí)資料「真題▪筆記▪講義▪題庫」

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

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

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

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

智能信息處理

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

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

軟件形式化

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

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

軟件工程

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

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

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

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

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

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

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

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