梁意文，男，1962年10月生，武漢大學計算機學院教授，博士，教授，博士生導師，計算機套用技術系主任。主要研究興趣為：人工免疫系統，資料庫理論，網路安全，邏輯程式設計等。曾從事分散式資料庫的研究工作、網路建設和網路軟體研究、進行演化計算的學習和套用研究等。發表學術論文30餘篇。主持國家自然科學基金重大研究計畫——基於免疫原理的大規模網路入侵檢測和預警模型。主持或參加校園網路建設、醫院管理系統、醫療設備、企業網路及套用軟體等20餘項課題項目的開發。 科研成果： 目前，主持國家自然科學基金重大研究計畫——基於免疫原理的大規模網路入侵檢測和預警模型。主持或參加校園網路建設、醫院管理系統、醫療設備、企業網路及套用軟體等20餘項課題項目的開發。
基本介紹
研究領域,項目研究,論文介紹,
研究領域
人工免疫系統，資料庫理論，網路安全，邏輯程式設計等。曾從事分散式資料庫的研究工作、網路建設和網路軟體研究、進行演化計算的學習和套用研究等。主講本科《高級語言程式設計》、《資料庫概論》、《Linux分析》、《作業系統》、《面向對象程式設計》等，研究生課程《資料庫理論與設計》、《套用軟體設計》的教學。參與了很多大型計算機實驗室的配置與建設，國內外計算機方面交流活動，培養出了很多優秀的計算機人才。目前已在國家12·5計畫中獲得部分項目，正在積極籌劃中。
項目研究
研究興趣是將人工免疫系統和邏輯程式理論套用到信息安全、金融預警、癌症診斷、SOC測試等領域。與澳大利亞新南威爾斯大學、西悉尼大學在邏輯程式設計、演化計算保持合作關係，與北京大學在SOC領域開始進行理論研究，與加拿CARLETON大學在資料庫理論進行過合作，與商學院在金融模型方面保持合作。
科研方向： ，資料庫理論，網路安全，邏輯程式設計等。
科研成果： 目前，主持國家自然科學基金重大研究計畫——基於免疫原理的大規模網路入侵檢測和預警模型。主持或參加校園網路建設、醫院管理系統、醫療設備、企業網路及套用軟體等20餘項課題項目的開發。發表學術論文30餘篇。
論文介紹
基於穩定模型的軟體多樣性與安全初探
該文簡要闡述了軟體多樣性與安全性的關係後，基於STABLE MODEL是邏輯程式的語義模型的觀點，從軟體與邏輯程式設計的關聯出發，提出了用邏輯程式設計實現軟體多樣性的方法。論文首先介紹了邏輯程式中穩定模型的形成、定義、演算方法，通過邏輯程式與穩定模型之間存在的多對一的映射關係，產生軟體的多樣性。最後，通過具體的分析，提出了基於穩定模型的程式多樣性演化方法，這一方法實現了從一個源程式到一系列等價程式的多樣性演化，從而提高了系統的魯棒性和安全性。
染色體識別模型的群體有效性
論文針對人工免疫系統(AIS)需要解決的兩個關鍵問題：抗原的海量和識別器的群體有效性，借鑑生物學中染色體的特性，利用有限的特徵片斷來表示網路中複雜多樣的被檢測對象，提出了基於染色體的人工免疫識別器模型。通過進一步分析用遺傳算法搜尋染色體識別器的多目標最佳化問題，介紹了染色體識別器的群體有效性。
邏輯程式的事實維護
事實是邏輯程式的重要組成部分。事實維護影響著整個邏輯程式的一致性和完整性，並能夠促進和完善規則維護。論文在分析了人工進行維護操作的弊端後。對事實維護中可能出現的情況進行分類分析，提出了事實維護系統的框架，重點描述了預警檢測子系統所扮演的核心作用。
防火牆安全策略的語義分析方法
給出了通過語義分析防火牆安全策略的方法。先將安全策略用一個優先邏輯程式表示,然後計算其語義。由於語義容易理解,管理員能很容易地分析安全策略配置,檢測配置的正確性。
