入侵检测系统中基于免疫的克隆选择算法 被引量：15

1

作者 吴泽俊 钱立进 梁意文 《计算机工程》 CAS CSCD 北大核心 2004年第6期50-52,共3页

机体免疫系统的许多有益特性被应用于入侵检测系统，使之能够主动地防御各种各样的网络攻击。该文在分析了将人工免疫学应用到入侵检测的过程中所遇到诸多问题之后，提出了一个基于免疫的克隆选择算法。该算法采用一种新的基因型与表现... 机体免疫系统的许多有益特性被应用于入侵检测系统，使之能够主动地防御各种各样的网络攻击。该文在分析了将人工免疫学应用到入侵检测的过程中所遇到诸多问题之后，提出了一个基于免疫的克隆选择算法。该算法采用一种新的基因型与表现型的表达方式，利用全新的匹配方法，引入反向选择算子，对入侵检测的人工免疫模型进行了有效改进。 展开更多

关键词 人工免疫 入侵检测 克隆 反向选择算子

下载PDF 职称材料

入侵检测系统中的一种免疫遗传算法 被引量：15

2

作者 刘赛 徐斌 梁意文 《计算机工程》 CAS CSCD 北大核心 2004年第8期63-64,共2页

在入侵检测系统中，为了有效防止各种形式的入侵行为，引入了生物学中的免疫特性，讨论了一个能检测较大范围网络入侵的免疫遗传学算法，并在一个新的模式识别器中引入了遗传算法的相关知识。

关键词 人工免疫 入侵检测 免疫遗传算法

下载PDF 职称材料

一种基于预测控制的SaaS系统自适应方法 被引量：11

3

作者 熊伟 李兵 +1 位作者 陈军 周华昱 《计算机学报》 EI CSCD 北大核心 2016年第2期364-376,共13页

对于部署在虚拟服务器集群上的多层云端应用系统而言,可以通过调整运行时架构以适应需求和上下文环境的变化,并保证其在动态负载下的性能.然而,由于缺乏通用的方法,如何从问题空间上的需求自适应地映射到解空间上的架构就成为了一个关... 对于部署在虚拟服务器集群上的多层云端应用系统而言,可以通过调整运行时架构以适应需求和上下文环境的变化,并保证其在动态负载下的性能.然而,由于缺乏通用的方法,如何从问题空间上的需求自适应地映射到解空间上的架构就成为了一个关键的问题.为解决这个问题,目前存在3种驱动方法:需求驱动模型、架构驱动模型和综合需求和架构模型的驱动方法.然而,这些方法的性能是有限的,并且忽视了时间变化规律,对横切系统多个层次的需求演化支持也不足.文中提出了一个基于预测控制的自适应方法(SAPC),它采用综合需求和架构的模型来驱动系统的自适应.该方法根据监控获取的运行时状态信息日志得到服务组件QoS值,学习基于小波变换的模型以准确预测服务组件的QoS,并通过预测控制诱导需求进化或实现运行时架构的模型转换来达到系统的自适应.更进一步,其根据当前的服务组件的QoS以及目标QoS做出优化决策.在控制操作部分中,判别当前情况下是做框架调整还是需求调整.如果存在可行的运行时模型,则通过预测控制产生操作向量,继而自动生成面向方面的脚本;该脚本被执行后会重构运行时模型并生成相应实例,该实例被传递给并行计算架构(比如MapReduce、Yarn或Spark等)来执行.否则,运用训练好的模型标识出进化点,然后将进化点与初始的需求混合起来以诱导需求进化.为验证上述方法,文中以一个名为CloudCRM在线SaaS平台为基准进行了大规模的实验,该平台基于RGPS元模型框架,通过对开源软件SuperCRM进行服务化改造来获得,其支持多租户.为观察平台在不同模型驱动方法的性能表现,文中对于该平台进行了剪裁,构造了4种由不同模型驱动的系统(包括Static、Req、Arch与SAPC),实验结果验证了文中方法的有效性.其中,在用户数为20时文中方法相对于其他3种方法在� 展开更多

关键词 自适应系统 需求 预测控制 服务质量 软件即服务 云计算

下载PDF 职称材料

人工免疫系统中免疫细胞的分离演化策略 被引量：4

4

作者 杨荣华 董红斌 +1 位作者 康立山 梁意文 《计算机工程与应用》 CSCD 北大核心 2003年第36期58-60,156,共4页

免疫细胞是人工免疫系统最关键的组件,它在整个生命周期的演变过程将直接决定免疫系统的性能。文章针对免疫细胞的浓度和系统识别效率这两个相互制约的约束条件,分析了免疫细胞在不同阶段的差异,提出了一个免疫细胞的进化策略。论文采... 免疫细胞是人工免疫系统最关键的组件,它在整个生命周期的演变过程将直接决定免疫系统的性能。文章针对免疫细胞的浓度和系统识别效率这两个相互制约的约束条件,分析了免疫细胞在不同阶段的差异,提出了一个免疫细胞的进化策略。论文采用不同的适应方法,控制细胞群体的演化方向。并充分考虑单个细胞的覆盖能力和免疫细胞群体对资源的占用问题,采用多目标优化策略,使免疫系统的有效性得到明显改善。 展开更多

关键词 人工免疫系统 免疫细胞 分离演化策略 表示模型

下载PDF 职称材料

基于Horspool算法的模糊匹配 被引量：2

5

作者 钱立进 吴泽俊 董红斌 《计算机工程》 CAS CSCD 北大核心 2004年第1期60-61,共2页

匹配模式中存在模糊信息的匹配形式称为模糊匹配，它是目前字符串匹配的重 要研究方向。Horspool算法是精确匹配的经典算法，但不能实现模糊匹配。该文将要求匹配 的模式转化为相应的二进制数序列，在Horspool算法基础上扩大其功能，使... 匹配模式中存在模糊信息的匹配形式称为模糊匹配，它是目前字符串匹配的重 要研究方向。Horspool算法是精确匹配的经典算法，但不能实现模糊匹配。该文将要求匹配 的模式转化为相应的二进制数序列，在Horspool算法基础上扩大其功能，使其能够实现模糊 匹配，且不影响其精确匹配的功能。 展开更多

关键词 模式匹配 模糊匹配 BM算法 HORSPOOL算法 精确匹配

下载PDF 职称材料

基于免疫的专家系统动态克隆更新算法 被引量：4

6

作者 刘海波 季卫华 吴泽俊 《计算机工程与应用》 CSCD 北大核心 2003年第36期52-54,共3页

文章基于人工免疫系统培育识别器的原理,在现有的专家系统的基础上,提出了专家系统推理机动态克隆更新的算法,初步解决了已有专家系统知识库动态更新复杂的问题。

关键词 专家系统 人工免疫系统 人工智能 识别器 动态克隆更新算法 推理机算法

下载PDF 职称材料

数字序列抗原的淋巴细胞的演化方法 被引量：3

7

作者 司马云瑞 梁意文 +1 位作者 王曙光 赵仕奇 《计算机工程与应用》 CSCD 北大核心 2003年第10期70-72,共3页

论文对计算机免疫学中Self集的物理空间分布和识别器的构造进行了探讨性的分析,并针对传统方法识别效果差、缺乏灵活性等缺点,提出了一种基于遗传算法的具有空间自适应能力的识别器构造方法,并通过实验比较了该算法与传统识别器构造算... 论文对计算机免疫学中Self集的物理空间分布和识别器的构造进行了探讨性的分析,并针对传统方法识别效果差、缺乏灵活性等缺点,提出了一种基于遗传算法的具有空间自适应能力的识别器构造方法,并通过实验比较了该算法与传统识别器构造算法的效果。 展开更多

关键词 数字序列抗原 计算机网络 网络安全 防火墙 人工免疫学 入侵检测 演化计算 计算机免疫学 计算机安全 “淋巴细胞”

下载PDF 职称材料

免疫识别器动态覆盖性的选择策略 被引量：2

8

作者 卢嫦娟 董红斌 《计算机工程与应用》 CSCD 北大核心 2003年第36期65-67,共3页

免疫识别器的浓度、系统资源占用与人工免疫系统的有效性具有重要的关联关系。在尽可能少地占用系统资源,即降低识别器浓度的前提下,为了更有效地识别NONSELF,保证识别器的动态覆盖性是关键。文章根据机体免疫学的动力学原理,提出了一... 免疫识别器的浓度、系统资源占用与人工免疫系统的有效性具有重要的关联关系。在尽可能少地占用系统资源,即降低识别器浓度的前提下,为了更有效地识别NONSELF,保证识别器的动态覆盖性是关键。文章根据机体免疫学的动力学原理,提出了一种动态选择算法,通过对识别器的优胜劣汰提高识别器集合的整体识别能力。 展开更多

关键词 网络安全 信息泄漏 防火墙 人工免疫系统 免疫识别器 动态覆盖性 计算机网络

下载PDF 职称材料

源程序语义检测的稳定模型分析方法 被引量：2

9

作者 杨利军 董红斌 +1 位作者 梁意文 谭成予 《计算机工程》 CAS CSCD 北大核心 2006年第15期96-98,共3页

基于逻辑程序及其稳定模型的理论,提出一种源程序语义检测的稳定模型分析方法。该方法从源程序中提取关键语句图,将安全知识规则转换为一个逻辑程序,再用关键语句图去实例化该逻辑程序,最后求解其稳定模型得到源程序的安全性评价。该方... 基于逻辑程序及其稳定模型的理论,提出一种源程序语义检测的稳定模型分析方法。该方法从源程序中提取关键语句图,将安全知识规则转换为一个逻辑程序,再用关键语句图去实例化该逻辑程序,最后求解其稳定模型得到源程序的安全性评价。该方法体现了源程序丰富的语义,具有较好的可扩展性。 展开更多

关键词 逻辑程序 语义检测 KSG图

下载PDF 职称材料

基于稳定模型的软件多样性与安全初探 被引量：1

10

作者 揭玮 梁意文 +1 位作者 苏国强 许卫平 《计算机工程与应用》 CSCD 北大核心 2004年第7期53-55,共3页

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

关键词 多样性 信息安全 稳定模型 逻辑程序设计

下载PDF 职称材料

下一代网络——多协议标记交换MPLS思想剖析

11

作者 韩海鹏 卫浩剑 《现代电子技术》 2004年第14期28-30,共3页

多协议标记交换 MPL S通过在传统的 IP包里加入标记 ,使原来依赖于 IP头标分析的路由转发转变为依赖于标记的转发 ,这不仅可以大大地提高 IP包的转发速度 ,更可使传统 IP网络具有 Qo S能力。本文深入分析了标记转发的思想 ,并指出了 MPL

关键词 标记 服务质量 信令 MPLS

下载PDF 职称材料

大规模流程模型库的高效检索算法 被引量：1

12

作者 黄华 彭蓉 冯在文 《武汉大学学报（理学版）》 CAS CSCD 北大核心 2016年第3期275-282,共8页

为了实现对大规模流程模型库的高效检索,本文提出一种基于两级索引(节点索引和边索引)的流程模型库检索(简称流程检索)算法.该算法通过节点索引过滤大规模流程模型库,得到候选模型集,由动态构建的边索引对候选模型集进行第二次过滤,应... 为了实现对大规模流程模型库的高效检索,本文提出一种基于两级索引(节点索引和边索引)的流程模型库检索(简称流程检索)算法.该算法通过节点索引过滤大规模流程模型库,得到候选模型集,由动态构建的边索引对候选模型集进行第二次过滤,应用子图同构算法对两次过滤后的候选模型进行验证.为进一步加速流程检索过程,将该算法与并行计算模式相结合,提出一种检索效率更高的多路并行检索算法.实验结果表明,本文提出的算法可以显著提高大规模流程模型库的检索效率. 展开更多

关键词 业务流程管理 流程检索 两级索引 多路并行检索

原文传递

进程异常检测中淋巴细胞的逻辑语义模型

13

作者 关刚 董红斌 +1 位作者 谭成予 梁意文 《计算机工程与应用》 CSCD 北大核心 2005年第17期39-42,78,共5页

论文针对反向选择算法无法有效地捕捉某些复杂问题空间的语义信息的缺点,以逻辑程序设计领域中的稳定模型为理论基础,提出一个淋巴细胞的逻辑语义模型。该模型采用逻辑程序表示淋巴细胞和抗原,通过计算它们的稳定模型来进行异常检测。最... 论文针对反向选择算法无法有效地捕捉某些复杂问题空间的语义信息的缺点,以逻辑程序设计领域中的稳定模型为理论基础,提出一个淋巴细胞的逻辑语义模型。该模型采用逻辑程序表示淋巴细胞和抗原,通过计算它们的稳定模型来进行异常检测。最后,以进程异常检测为背景,设计了一个系统框架。该框架充分考虑了进程系统调用短序列的语义信息,能有效地提高异常检测的准确率。 展开更多

关键词 人工免疫学 逻辑程序 异常检测

下载PDF 职称材料

防IP欺骗的多样性方法 被引量：1

14

作者 程小鸥 梁意文 《计算机应用研究》 CSCD 北大核心 2006年第8期104-106,共3页

首先介绍了TCP/IP协议中的漏洞及常用的IP欺骗的攻击手段,并针对以上问题引入生物多样性的思想,使得对话双方在通信中进行计算机认证,用多样性函数方法代替可预知序列号,建立安全的通信信道。

关键词 网络安全 TCP/IP协议 多样性 安全认证

下载PDF 职称材料

基于组合连接器的潜在无限动态结构的规范

15

作者 虞莉娟 熊惠民 应时 《计算机工程》 CAS CSCD 北大核心 2007年第23期43-44,56,共3页

动态软件体系结构的建模与分析是复杂软件系统设计的一个重要问题。基于体系结构描述语言Wright,提出了一种规范潜在无限动态结构的形式化方法。为了便于使用递归机制,引入了组合连接器和动态角色的概念,从而实现了动态体系结构的逐层... 动态软件体系结构的建模与分析是复杂软件系统设计的一个重要问题。基于体系结构描述语言Wright,提出了一种规范潜在无限动态结构的形式化方法。为了便于使用递归机制,引入了组合连接器和动态角色的概念,从而实现了动态体系结构的逐层展开。实例说明,该方法能为动态体系结构的设计提供一种增量式的开发方式,适用于连接器重用的目的。 展开更多

关键词 潜在无限动态结构 组合连接器 动态角色 WRIGHT

下载PDF 职称材料

逻辑程序的标识更新

16

作者 季卫华 梁意文 董红斌 《计算机工程》 EI CAS CSCD 北大核心 2005年第7期53-55,共3页

逻辑程序的优势在于它的自动更新,文章明确提出了丰富更新和替换更新的两种方法,通过重新标识的方法实现Extended logicprogram的自动更新,并生成更新程序,最后提出更新以后程序的求解方法。

关键词 EXTENDED LOGIC PROGRAM 自动更新 标识更新

下载PDF 职称材料

Linux进程语义安全性检测的稳定模型

17

作者 谭成予 董红斌 梁意文 《计算机工程与应用》 CSCD 北大核心 2005年第10期15-18,共4页

现有进程检测方法,检测的目标是系统调用的序列的排列关联,忽略了语义中潜在的异常。稳定模型是逻辑程序的语义模型,可以用以发现并修改逻辑程序的异常问题。该文以系统调用为基本检测点,采用逻辑程序描述进程的基本语义逻辑,用稳定模... 现有进程检测方法,检测的目标是系统调用的序列的排列关联,忽略了语义中潜在的异常。稳定模型是逻辑程序的语义模型,可以用以发现并修改逻辑程序的异常问题。该文以系统调用为基本检测点,采用逻辑程序描述进程的基本语义逻辑,用稳定模型表达进程的检测语义。系统定义进程的一系列安全语义规则,在进程执行中,计算安全语义规则与进程逻辑之间的稳定模型,得到安全语义的可计算性结论。论文最后,给出了一个Linux系统中的进程语义安全性检测的基本框架。 展开更多

关键词 信息安全 稳定模型 进程检测 系统调用

下载PDF 职称材料

逻辑程序的事实维护

18

作者 谭成予 董红斌 +1 位作者 梁意文 钱立进 《计算机工程与应用》 CSCD 北大核心 2006年第9期16-18,37,共4页

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

关键词 扩展逻辑程序 Smodel算法 事实维护

下载PDF 职称材料

一种支持潜在无限结构的软件体系结构组合方法

19

作者 熊惠民 应时 虞莉娟 《武汉大学学报（理学版）》 CAS CSCD 北大核心 2007年第5期567-570,共4页

潜在无限结构的建模需要使用递归机制,为此基于Wright语言构造了一种兼具组件和连接器特征的对象,提出了组件化连接器的概念.利用这一概念及软件体系结构组合机制,设计了一种规范潜在无限结构的形式化方法.实例表明该方法能为软件体系... 潜在无限结构的建模需要使用递归机制,为此基于Wright语言构造了一种兼具组件和连接器特征的对象,提出了组件化连接器的概念.利用这一概念及软件体系结构组合机制,设计了一种规范潜在无限结构的形式化方法.实例表明该方法能为软件体系结构提供一种增量式的开发方式,从而能适用于体系结构重用的目的. 展开更多

关键词 潜在无限结构 组合 动态角色 WRIGHT 重用

下载PDF 职称材料

一种邻域重心反向学习的粒子群优化算法 被引量：33

20

作者 周凌云 丁立新 +1 位作者 彭虎 强小利 《电子学报》 EI CAS CSCD 北大核心 2017年第11期2815-2824,共10页

粒子群优化算法使用反向学习技术可以提高性能.然而,现有的反向学习粒子群优化算法仅采用粒子最大最小边界计算反向解,没有充分利用群体搜索经验.针对此问题,提出了一种邻域重心反向学习策略,使用邻域重心作为参考点计算反向解,充分吸... 粒子群优化算法使用反向学习技术可以提高性能.然而,现有的反向学习粒子群优化算法仅采用粒子最大最小边界计算反向解,没有充分利用群体搜索经验.针对此问题,提出了一种邻域重心反向学习策略,使用邻域重心作为参考点计算反向解,充分吸收群体搜索经验的同时保持种群多样性;采用收缩因子拓展反向解搜索范围,增加找到更高质量解的机率.在典型的基准测试函数、CEC’13测试函数和一个实际工程优化问题上进行验证,实验结果说明了邻域重心反向学习策略的有效性和本文算法的竞争力. 展开更多

关键词 反向学习 邻域重心 多样性 粒子群优化

下载PDF 职称材料