人物简介
梁意文，男，1962年10月生， 武汉大学计算机学院 教授， 博士，教授， 博士生导师， 计算机应用技术系主任。主要研究兴趣为：人工免疫系统，数据库理论，网络安全，逻辑程序设计等。曾从事分布式数据库的研究工作、网络建设和网络软件研究、进行演化计算的学习和应用研究等。主讲本科《高级语言程序设计》、《数据库概论》、《Linux分析》、《操作系统》、《面向对象程序设计》等，研究生课程《数据库理论与设计》、《应用软件设计》的教学。参与了很多大型计算机实验室的配置与建设，国内外计算机方面交流活动，培养出了很多优秀的计算机人才。目前已在国家12·5计划中获得部分项目，正在积极筹划中。项目研究
研究兴趣是将人工免疫系统和逻辑程序理论应用到信息安全、金融预警、癌症诊断、SOC测试等领域。与澳大利亚新南威尔士大学、西悉尼大学在逻辑程序设计、演化计算保持合作关系，与北京大学在SOC领域开始进行理论研究，与加拿CARLETON大学在数据库理论进行过合作，与商学院在金融模型方面保持合作。
科研方向： 人工免疫系统，数据库理论，网络安全，逻辑程序设计等。
科研成果： 目前，主持国家自然科学基金重大研究计划——基于免疫原理的大规模网络入侵检测和预警模型。主持或参加校园网络建设、医院管理系统、医疗设备、企业网络及应用软件等20余项课题项目的开发。发表学术论文30余篇。
论文介绍
基于稳定模型的软件多样性与安全初探
该文简要阐述了软件多样性与安全性的关系后，基于STABLE MODEL是逻辑程序的语义模型的观点，从软件与逻辑程序设计的关联出发，提出了用逻辑程序设计实现软件多样性的方法。论文首先介绍了逻辑程序中稳定模型的形成、定义、演算方法，通过逻辑程序与稳定模型之间存在的多对一的映射关系，产生软件的多样性。最后，通过具体的分析，提出了基于稳定模型的程序多样性演化方法，这一方法实现了从一个源程序到一系列等价程序的多样性演化，从而提高了系统的鲁棒性和安全性。染色体识别模型的群体有效性
论文针对人工免疫系统(AIS)需要解决的两个关键问题：抗原的海量和识别器的群体有效性，借鉴生物学中染色体的特性，利用有限的特征片断来表示网络中复杂多样的被检测对象，提出了基于染色体的人工免疫识别器模型。通过进一步分析用遗传算法搜索染色体识别器的多目标优化问题，介绍了染色体识别器的群体有效性。逻辑程序的事实维护
事实是逻辑程序的重要组成部分。事实维护影响着整个逻辑程序的一致性和完整性，并能够促进和完善规则维护。论文在分析了人工进行维护操作的弊端后。对事实维护中可能出现的情况进行分类分析，提出了事实维护系统的框架，重点描述了预警检测子系统所扮演的核心作用。防火墙安全策略的语义分析方法
给出了通过语义分析防火墙安全策略的方法。先将安全策略用一个优先逻辑程序表示,然后计算其语义。由于语义容易理解,管理员能很容易地分析安全策略配置,检测配置的正确性。
更新日期：2024-05-06
