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

• 2025考研復試標準班
• 26考研全科上岸規劃營「擇校▪規劃▪備考」
• 吉林大學2026考研專業課復習資料「真題▪筆記▪講義▪題庫」

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

知識工程與專家系統

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

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

智能信息處理

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

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

軟件形式化

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

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

軟件工程

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

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

數據庫與web智能

主要研究內容：數據庫理論、機器學習、數據挖掘與Web挖掘、網絡搜索引擎。

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

數據庫與智能網絡

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

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