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