沈陽航空航天大學碩士研究生專業介紹：計算機軟件與理論

專業介紹來源：中國考研網 2016-08-04　相關院校：沈陽航空航天大學

沈陽航空航天大學研究生計算機軟件與理論專業介紹如下：

計算機軟件與理論

一、學科概況

計算機軟件與理論是遼寧省重點培育學科，自二十世紀八十年代初該學科即開展了形式語言學與自然語言理解、數據庫系統方面的研究，二十世紀九十年代中期又開展了人機智能交互、多文種信息處理、知識工程管理、計算機網絡及信息安全等方面的研究工作，逐步形成了研究特色。計算機軟件與理論學科于2006年獲得“計算機軟件與理論”碩士學位授予權，2007年被評為遼寧省重點扶植學科。
學科目前有教師49人，其中校級學科及學術帶頭人4人，教授6人，副教授16人，講師20人；博士以上學歷的教師7人，學科梯隊結構合理，培養研究生30人。
經過多年的發展與建設，形成了人工智能與知識工程、數據庫與數據倉庫、網絡與信息系統安全、分布與并行計算等穩定的學科方向與學科梯隊。由本學科與計算機應用技術學科聯合組成的“人工智能與知識工程團隊”被評為遼寧省高等學校創新團隊，人機智能研究中心的多文種機器翻譯及處理平臺、人機優勢互補和動態編碼技術達到國際先進水平，其中，“基于知識管理和智能控制的協同翻譯平臺”通過了中國中文信息學會組織的成果鑒定，達到國際領先水平，并獲得了“錢偉長中文信息處理科學技術一等獎。
近年來，先后承擔了國家自然科學基金、國家863計劃、國防基礎科研、教育部科學技術重點研究項目、遼寧省自然科學基金、省教育廳基金、沈陽科技攻關項目等多項基礎科研項目10余項，同時也承擔了在遼寧地區的航空研究所、生產廠的多項研究合作項目20余項，為航空院所解決了部分技術難題，取得了一些創新性進展和實用化突破，科研經費達2300余萬元；先后榮獲了遼寧省科技進步二、三等獎、沈陽市科技進步二、三等獎等獎項和成果鑒定10余項；在重要學術刊物上發表論文180余篇，SCI、EI、ISTP檢索論文30余篇。
在研究基地建設中，已建成遼寧省知識工程與人機交互工程技術研究中心；校內建設了人工智能研究室、自然語言處理實驗室、數據庫與數據倉庫實驗室、網絡與信息安全研究室和分布式系統研究室等專業研究室和實驗室，為人才培養創造了良好條件。

二、研究方向簡介

(一)人工智能與知識工程方向
負責人簡介：蔡東風教授，男，先后在北京航空航天大學獲得碩士學位（84年）、日本東京大學獲得博士學位（98年），多年來一直從事人工智能領域中自然語言處理、機器學習、組合優化等方面的科研工作。1998年，近十年的日本留學歸國后，在微軟亞洲研究院從事基于統計的自然語言處理技術的研究與開發。在基于大規模語料庫的“漢語統計語言模型的建立與應用”的研究課題中取得了可喜成果，獲得了兩項微軟技術專利。省級重點學科計算機應用技術學科學術帶頭人，沈陽市優秀專家，入選遼寧省百千萬人才工程百人選。
主要研究內容：本研究方向是目前計算機科學研究領域中極為活躍的前端學科。主要進行組合優化、機器學習、語言理解、知識推理、自動問答等領域的基本技術和算法的研究。與其它有關研究方向相比，本研究方向更著眼于基礎理論和方法，特別是基于統計機器學習的方法和基于知識的語義計算模型的研究、注重多種技術和多種策略的綜合運用，研究的最終目標是使計算機能夠真正理解人類的語言。
研究特色：本研究方向針對海量的高維文本數據，提出了基于檢索的文本聚類技術，并申請了國家專利；針對人工智能中的離散約束優化問題（NP難題），提出了“基于線性規劃的局部搜索法”，顯著地提高了求解問題的效率和精度（日本《人工智能學報》1999年）；在語言理解方面，提出了新的基于知網的語義相似相關度的計算模型，在文本聚類、語義標注和譯文選擇等多項應用中發揮了重要作用，取得了顯著效果，發表有關學術論文多篇；在智能人機交互方面，開發了“基于語音的多通道智能人機交互平臺”，2004年8月通過省級科技成果鑒定，該交互平臺在基于語音的多通道智能人機交互技術方面達到了國際先進水平，獲得專家的一致好評，并獲得了遼寧省科技進步三等獎；在自動問答技術方面，提出了“基于語句相似度計算模型的答案抽取方法”和“基于統計與知識相結合的答案驗證技術”，實驗表明，該方法比傳統的向量空間模型（VSM）有明顯的優勢。本研究方向在國家、省市多項科研項目的大力支持下，充分發揮在已有智能檢索方面的技術積累和優勢，積極開展了新一代智能問答技術的研究，申請參加了2008年在日本東京舉辦的國際信息處理技術評測（NTCIR-7），屆時將參加多項跨語言問答檢索的任務評測和專利數據挖掘的評測。相信通過這樣的國際交流必將進一步促進本研究方向的建設和發展。先后獲得國家自然科學基金、國家863、國防基礎科研、教育部科學技術研究重點項目、省市基金等20余項縱向課題的資助。在有關人工智能和計算語言學的理論和方法等方面進行了積極的探索，發表學術論文50余篇，獲得“省科技進步二等獎”、“省國防科技進步一等獎”、“市科技進步一等獎”等有關科技獎項10余項。

(二)網絡與信息系統安全研究方向
負責人簡介：徐蕾教授，女，計算應用技術學科的學術帶頭人，遼寧省計算機學會理事，沈陽市科技計劃評審專家；近年來，承擔了遼寧省基金項目，與中科院計算研究所、沈陽飛機設計研究所、沈陽空氣動力研究所等單位的合作項目，實驗室科研經費總額近200萬元。發表研究論文近20篇。鑒定成果一項，獲獎成果一項。
主要研究內容：在訪問控制方面主要研究基于角色的多層次訪問控制策略，研究基于RBAC的訪問控制模型中，多維的組織機構在模型中的表示與實現問題，進而給出基于RBAC訪問控制模型在多維組織機構所對應的多維RBAC訪問控制實現模型；研究在網絡環境下數字資源使用控制問題，主要側重于數字資源使用許可證的表示與使用控制、防復制、易使用等方面的技術和數字資源域用戶訪問控制技術。在公鑰基礎設施PKI及相關技術方面，主要研究PKI中的證書發布、證書撤銷信息的發布；PKI中的信任模型，特定信任模型下的證書路徑構造與驗證算法等理論與技術。數字簽名研究主要針對數字簽名算法效率及用戶身份認證技術的應用。數字簽名的算法研究包括，門限數字簽名、群簽名等數字簽名算法。主要應用于用戶身份認證系統，匿名身份驗證系統與基于上述身份驗證的數據訪問控制技術研究。在入侵檢測技術方面主要集中在網絡用戶訪問行為的分類研究；網絡robot行為分析、檢測與防御；網絡攻擊的檢測與預測算法等方面的工作。在國防與航空部門的應用系統研究方面，針對國防與航空部門的應用需求，開展基于上述技術的應用系統研究。
研究特色：在訪問控制領域提出了基于RBAC的信任模型、權限代理模型，時間限制訪問模型等，部分解決了RBAC訪問控制模型在實際應用中的問題。在PKI相關技術研究方面，提出新的PKI信任模型，使得PKI的信任關系擴展容易，提高了證書路徑構造算法的效率；提出了新的證書撤銷信息的發布方法，提高了證書有效性信息的查詢效率。數字簽名技術研究中提出了新的門限數字簽名與群簽名算法，改進了算法的安全性。在安全應用系統方面，開發了基于主流操作系統（Windows/Unix等）及主要應用協議的日志智能審計系統；完成了國家計算機網絡與信息安全管理中心基金項目“基于主機的第三方系統審計、分析與防護工具”；與中國科學院計算技術研究所合作完成了多項國家計算機網絡與信息安全管理中心的專項項目。承擔國家863項目子項目“特定網絡應用的信息監控系統”的研究及開發工作；特定網絡應用的信息監控系統研究主要針對提供動態信息源的網絡應用，實現動態信息采集和跟蹤，進行信息掃描和內容甄別。從而可以在此基礎上為國家特定的部門提供信息推送、技偵、和內容預報警等服務。在航空部門的應用系統開發方面，完成了軟件配置訪問控制系統，科研項目管理信息系統，航電仿真支持環境等項目的研究與開發工作，項目全部應用于沈陽飛機設計研究所的科研工作與型號研究工作。
網絡與信息系統安全研究室現有教師10人，其中教授2名，兼職研究員1名，副教授3名，講師4名；實驗室在讀研究生17名，工程碩士6名；實驗室具有較先進的網絡工作環境，能夠滿足研究生進行研究與實驗工作的需要。

(三)分布與并行計算研究方向
負責人簡介：石祥濱教授，男，博士。1963年8月出生。1985年7月畢業于沈陽工業大學，獲工學學士學位（計算機應用）。1990年3月畢業于東北大學，獲工學碩士學位（計算機應用）。1998年5月畢業于東北大學計算機軟件與理論專業，獲工學博士學位（計算機軟件與理論），遼寧省計算機軟件學會理事長，遼寧省電子學會副理事長,曾任遼寧大學信息學院院長，學科帶頭人。主持或參與完成科研課題30余項，主持完成的項目中有10項通過鑒定，多次獲得省市獎勵，在《計算機學報》、《軟件學報》等期刊和會議上發表論文50余篇。沈陽市十大杰出青年知識分子，遼寧省百千萬工程百人層次。
主要研究內容：Peer-to-peer、網格等網絡計算模式的研究，重點解決大規模系統的可伸縮性問題；基于J2EE、 CORBA、.NET(DCOM)、JXTA和OGSA架構各種應用系統的技術，以滿足不同的應用需求；通信機制、應用層協議、網絡服務質量和網絡安全問題的研究，在保證安全的前提下有效地提高網絡通信的性能和效率；應用層消息過濾和聚集機制的研究，在應用層有效地減少消息發送量，以滿足有實時性要求的各種應用；各種信息集成中間件及利用數據倉庫與數據挖掘技術實現個性化推薦的研究，以解決分布式系統的異構性，提高服務質量；網絡仿真測試平臺的研究，以解決大規模環境下的仿真試驗問題；數據存儲、負載均衡等問題的研究，以解決大規模環境下海量數據的一致性和服務性能問題；可信和公平計算的研究，應用信任理論和博弈論理論解決網絡計算的信任和公平性問題。
研究特色：主要應用領域包括大規模多玩家網絡游戲、分布式虛擬現實和協同工作系統等。在大規模多玩家網絡游戲的研究上，已經取得了突破性進展。取得的創新性的成果包括：基于Agent技術和中間件技術的可伸縮的P2PMMOG體系結構；適合于MMOG的P2P覆蓋網絡協議和消息分發機制；基于視覺特征的感知模型、基于N-tree的興趣域劃分理論和可預測的管理算法；基于事件關聯機制的同步算法；適合MMOG的Agent建模方法和Agent的服務調度策略和負載均衡策略；自適應的防欺騙通信協議和自適應的欺騙檢測機制；NPC路徑搜索算法和游戲流量分析模型等。在分布式虛擬現實的研究上，解決了場景管理、地形生成算法和遠程繪制等技術問題，在協同工作系統的研究上，解決了感知模型、系統工作流、同步機制和應用共享等關鍵技術問題。在協同設計系統的研究上，主要針對機械領域，重點解決了各種沖突的解決策略；在P2P視頻的研究上，重點解決了分布機制和緩存機制。五年來，先后承擔了3個課題的研究開發工作，培養碩士研究生33名，發表學術論文40余篇。
分布式系統研究室現有教師8名，其中教授1名，副教授1名，講師3名，助教3名；參與各類科學研究的在讀研究生16名。

(四)數據庫與數據倉庫研究方向
負責人簡介：夏秀峰教授，男，1964年10月出生，山東省膠南市人，研究生學歷，博士學位。自1985年7月擔任高校教師至今，現任沈陽航空工業學院計算機學院副院長，沈陽航空工業學院教學名師，計算機軟件與理論學科數據庫與數據倉庫方向學術帶頭人，計算機應用技術專業和計算機軟件與理論專業碩士研究生導師，中國科學院沈陽計算技術研究所計算機科學與技術學科研究生導師。現為中國計算機學會(CCF)高級會員，遼寧省航空宇航學會計算機專業委員會常務副主任，中國青年計算機科技論壇(YOCSEF)沈陽分壇副主席。1985年7月畢業于沈陽航空工業學院電子工程系計算機及應用專業，獲工學學士學位；1991年1月獲東北大學計算機系計算機應用專業碩士學位；2005年9月獲得東北大學計算機軟件與理論專業工學博士學位。長期工作在教學科研第一線，連續多年承擔著繁重的本科和研究生教學任務，多次獲得沈陽航空工業學院優秀教師和優秀畢業設計指導教師榮譽稱號。主要從事工程數據庫、分布式數據庫、數據倉庫、信息與系統集成、數據挖掘等領域的理論研究和科研實踐工作，發表論文50余篇，參與出版教材專著6部，主持科研項目30余項，曾獲得遼寧省國防科技工業科技進步三等獎兩項，多次獲得沈陽航空工業學院先進科技工作者榮譽稱號。
主要研究內容：數據庫與數據倉庫是目前國際上應用比較廣泛和非常熱門的研究領域，其涵蓋的相關技術很多，從傳統集中式的OLTP(聯機事務處理)數據庫、空間數據庫、工程數據庫、實時數據庫、對象關系數據庫、多媒體數據庫，到分布式數據庫、數據倉庫，以及建立在它們基礎之上的應用如：OLAP(聯機分析處理)、DSS(決策支持系統)、DM(數據挖掘)等，都屬于數據庫的技術領域。在數據庫技術方面，主要研究數據庫系統實現技術、多媒體數據庫、對象關系數據庫、工程數據庫、Internet/Intranet相關數據庫技術，以及數據庫建模技術和數據庫安全技術等。在分布式數據庫技術方面，主要研究分布式數據庫理論、分布式數據庫實現技術、全局查詢優化、并發控制、一致性維護，以及企業分布式數據庫建模技術。在數據倉庫、聯機分析處理和數據挖掘技術方面，主要研究面向電子商務、工業生產等實際應用的數據倉庫的模型、數據倉庫設計方法學、數據倉庫的體系結構、數據倉庫的維護技術、元數據管理技術、數據倉庫的性能優化技術、聯機分析處理技術，以及挖掘模型建模技術、數據預處理技術、挖掘算法的選擇與設計及挖掘結果的評價技術。
研究特色：多年來我們一直致力于數據庫領域的研究工作，理論上在數據庫及數據倉庫基礎模型的創建、數據的歸檔設計和維護、歷史數據重用技術，以及信息整合、信息集成等方面有較深的研究，所提出的基于時間輪轉模型的數據庫及數據倉庫設計策略在國內具有領先地位。科研實踐中先后為沈陽飛機設計研究所、沈陽飛機工業(集團)公司、沈陽市技術監督局、遼寧省移動通信公司、國家網絡安全中心等單位設計開發了許多大中型管理信息系統，先后承擔了75攻關、85攻關課題、國防預研、沈陽市科學基金課題等多項；在研究成果產品化、產業化方面進行了積極的探索和研發、取得了創新性進展和實用化突破。
數據庫技術研究室現有教師9名，其中教授1名，副教授2名，講師6名；參與各類科學研究的在讀研究生16名。