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

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

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

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

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

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

智能信息處理

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

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

軟件形式化

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

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

軟件工程

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

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

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

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

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

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

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

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