您的位置： 专家智库 > >

教育部“春晖计划”(z2007-1-01032)

作品数：3 被引量：1H指数：1
相关作者：李华王燕岳婧媛郭亚杰贺楠更多>>
相关机构：内蒙古大学更多>>
发文基金：教育部“春晖计划”内蒙古自治区高等学校科学研究项目内蒙古自治区自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 3篇期刊文章
  • 2篇会议论文

领域

  • 5篇自动化与计算...

主题

  • 1篇单模式
  • 1篇单模式匹配
  • 1篇单模式匹配算...
  • 1篇形式化
  • 1篇形式化建模
  • 1篇冗余
  • 1篇入侵
  • 1篇入侵检测
  • 1篇数据挖掘
  • 1篇切片
  • 1篇切片方法
  • 1篇网络
  • 1篇网络管理
  • 1篇文本
  • 1篇无监督学习
  • 1篇模式匹配算法
  • 1篇基于文本
  • 1篇OSI
  • 1篇P2P
  • 1篇SNMP

机构

  • 5篇内蒙古大学

作者

  • 3篇李华
  • 1篇吕东旭
  • 1篇叶新铭
  • 1篇庞滨
  • 1篇吴承勇
  • 1篇王佳
  • 1篇贺楠
  • 1篇王燕
  • 1篇郭亚杰
  • 1篇岳婧媛

传媒

  • 2篇内蒙古大学学...
  • 1篇小型微型计算...

年份

  • 1篇2012
  • 2篇2011
  • 1篇2010
  • 1篇2009
共 3 条 记 录，以下是 1-5
全选 清除 导出
排序方式：
基于文本频率冗余的单模式匹配算法的研究被引量：1
2010年
针对入侵检测系统中经典的BM、KMP等单模式匹配算法进行了分析,根据入侵检测数据的特点和匹配算法的基本原理,提出了文本频率冗余度的概念,设计实现了评估文本频率冗余度的算法.实验测试了其对于单模式匹配算法效率的影响,结果显示基于文本频率冗余智能地选择匹配算法,对于提高入侵检测系统的实时性能有实际的应用价值.
王燕李华常军
关键词：入侵检测单模式匹配
基于属性的Minix3系统调用的建模和测试
2011年
面向属性的测试关注所要测试的部分,比非面向属性需要少得多的测试序列,可以降低测试的复杂度,用层次Petri网对系统进行建模可增强模型的可读性.提取Minix3系统调用的属性,利用层次Petri网对系统调用在功能层次进行了建模,可降低在代码层次中产生的复杂度,提高测试效率.
岳婧媛李华郭亚杰贺楠庞滨
BT协议的形式化建模与测试生成
2011年
B itTorrent(BT)是基于Peer-to-Peer(P2P)技术的比较流行文件共享软件,BT protoco l是其相关软件实现的一个基本协议.本文对BT协议进行深入的分析,采用有限状态机(FSM,F inite S tate M achine)对BT协议进行形式化建模,描述了正常的共享流程及部分异常处理.然后使用U IO方法生成了BT协议基于FSM模型的一致性测试序列,包括各个状态的U IO序列及各个变迁的测试序列,最后是本文的结论及下一步将要做的研究工作.
李华叶新铭吴承勇王佳吕东旭
关键词：BITTORRENT协议FSM
网络管理中基于无监督学习的流量识别研究
现今网络管理对各种应用的网络流量的管理要求越来越精确,而传统的网络管理软件及网络工具仅通过SNMP协议获得对OSI模型第三、四层网络性能的监测和网络流量的检查,获得的信息资料简单而笼统。因此,为了适应现代网络发展的需要,...
庞滨李华
关键词：OSIP2P数据挖掘无监督学习SNMP
文献传递
基于Petri网程序切片方法的Minix3的分析与测试研究
程序切片是一种通过程序的数据流和控制流来分解程序的一种方法。Petri网提供了一种用于建模和验证并发系统行为的一种手段。Minix3是一种开源微内核操作系统,内核调用是其重要特点,它是处于Minix3结构模块最低层的内核...
彭永光李华叶新铭
关键词：程序切片
文献传递
全选 清除 导出
共1页<1>
聚类工具0