梁意文

梁意文，男，1962年10月生，武汉大学计算机学院教授，博士，教授，博士生导师，计算机应用技术系主任。

展开

人物简介

　　梁意文，男，1962年10月生，武汉大学计算机学院教授，博士，教授，博士生导师，计算机应用技术系主任。主要研究兴趣为：人工免疫系统，数据库理论，网络安全，逻辑程序设计等。曾从事分布式数据库的研究工作、网络建设和网络软件研究、进行演化计算的学习和应用研究等。主讲本科《高级语言程序设计》、《数据库概论》、《Linux分析》、《操作系统》、《面向对象程序设计》等，研究生课程《数据库理论与设计》、《应用软件设计》的教学。参与了很多大型计算机实验室的配置与建设，国内外计算机方面交流活动，培养出了很多优秀的计算机人才。目前已在国家12·5计划中获得部分项目，正在积极筹划中。

项目研究

　　研究兴趣是将人工免疫系统和逻辑程序理论应用到信息安全、金融预警、癌症诊断、SOC测试等领域。与澳大利亚新南威尔士大学、西悉尼大学在逻辑程序设计、演化计算保持合作关系，与北京大学在SOC领域开始进行理论研究，与加拿CARLETON大学在数据库理论进行过合作，与商学院在金融模型方面保持合作。

　　科研方向：人工免疫系统，数据库理论，网络安全，逻辑程序设计等。

　　科研成果：目前，主持国家自然科学基金重大研究计划——基于免疫原理的大规模网络入侵检测和预警模型。主持或参加校园网络建设、医院管理系统、医疗设备、企业网络及应用软件等20余项课题项目的开发。发表学术论文30余篇。

论文介绍

基于稳定模型的软件多样性与安全初探

　　该文简要阐述了软件多样性与安全性的关系后，基于STABLE MODEL是逻辑程序的语义模型的观点，从软件与逻辑程序设计的关联出发，提出了用逻辑程序设计实现软件多样性的方法。论文首先介绍了逻辑程序中稳定模型的形成、定义、演算方法，通过逻辑程序与稳定模型之间存在的多对一的映射关系，产生软件的多样性。最后，通过具体的分析，提出了基于稳定模型的程序多样性演化方法，这一方法实现了从一个源程序到一系列等价程序的多样性演化，从而提高了系统的鲁棒性和安全性。

染色体识别模型的群体有效性

　　论文针对人工免疫系统(AIS)需要解决的两个关键问题：抗原的海量和识别器的群体有效性，借鉴生物学中染色体的特性，利用有限的特征片断来表示网络中复杂多样的被检测对象，提出了基于染色体的人工免疫识别器模型。通过进一步分析用遗传算法搜索染色体识别器的多目标优化问题，介绍了染色体识别器的群体有效性。

逻辑程序的事实维护

　　事实是逻辑程序的重要组成部分。事实维护影响着整个逻辑程序的一致性和完整性，并能够促进和完善规则维护。论文在分析了人工进行维护操作的弊端后。对事实维护中可能出现的情况进行分类分析，提出了事实维护系统的框架，重点描述了预警检测子系统所扮演的核心作用。

防火墙安全策略的语义分析方法

　　给出了通过语义分析防火墙安全策略的方法。先将安全策略用一个优先逻辑程序表示,然后计算其语义。由于语义容易理解,管理员能很容易地分析安全策略配置,检测配置的正确性。

更新日期：2024-12-24

推荐车载视频

推荐车载音乐

车载音乐下载榜