王莉

作品数：9被引量：16H指数：2
导出分析报告
供职机构：华中科技大学更多>>
发文主题：鼓泡颗粒物烟气脊柱侧凸污染物控制更多>>
发文领域：自动化与计算机技术环境科学与工程医药卫生动力工程及工程热物理更多>>
发文期刊：《工业控制计算机》《武汉大学学报（理学版）》《小型微型计算机系统》《计算机研究与发展》更多>>
所获基金：湖北省自然科学基金国家自然科学基金国家科技型中小企业技术创新基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-9
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种改进的Petri网S不变量计算方法被引量：2
《计算机工程》2010年第17期1-3,共3页周丰 王明哲 王莉 
国家自然科学基金资助项目(60874068)
用于计算Petri网S不变量的M-S算法将所有正负行两两做线性组合变换,增加了算法的复杂度,得到的最终结果也并不一定是最小S不变量支撑。针对该问题,提出一种改进算法。通过增加对Petri网关联矩阵的预处理步骤,减少线性组合运算的次数,并...
关键词：PETRI网 S不变量 状态方程 复杂度 
一种新的在线攻击意图识别方法研究被引量：6
《小型微型计算机系统》2008年第7期1347-1352,共6页李之棠 王莉 李东 
国家自然科学基金项目(60573120)资助;湖北省自然科学基金项目(2005ABA25)资助
现有的利用入侵检测告警来构建攻击场景、识别多步攻击意图的方法存在着需要定义复杂的关联规则、过于依赖专家知识和难以发现完整场景等不足,为此提出了一种基于攻击行为序列模式挖掘方法的攻击意图识别技术.通过分析入侵告警的攻击行...
关键词：入侵告警 攻击行为序列 序列模式挖掘 关联度 
实时自适应交通信号控制CPN建模分析被引量：2
《公路交通科技》2008年第6期115-119,共5页王莉 王明哲 周丰 郭法滨 
武汉市科学技术局关键技术攻关项目(20061002078)
以单路口交通控制为研究时象,指出了传统单路口控制策略中存在的一些缺陷,提出一种优化的交通信号控制策略:实时自适应控制。按照该策略,采用非固定相序控制方案,并提出了相应相位持续时间的具体算法。然后,建立了实时自适应策略的着色P...
关键词：交通工程 实时自适应 建模 信号控制 CPN 
基于Hash函数改进遗传算法的IPv6下模糊异常检测模型被引量：2
《武汉大学学报（理学版）》2006年第5期600-603,共4页黎耀 李之棠 王莉 
国家自然科学基金(60573120);湖北省自然科学基金(2005ABA256)资助项目
为了实现基于IPv6的异常检测,设计了一种新的高效异常检测模型.针对传统遗传算法编码效率低下的不足进行了改进.该模型使用基于遗传算法的IPv6模糊异常检测规则生成技术,采用Hash函数进行初始种群优化、随机实数编码进行种群编码,提高...
关键词：遗传算法 HASH函数 模糊检测 
一种新的基于统计的攻击场景挖掘算法研究被引量：2
《计算机研究与发展》2006年第z2期442-446,共5页李之棠 王莉 黎耀 
湖北省自然科学基金项目(2005ABA256)
提出了一种新的攻击场景挖掘算法.该算法建立在对高级告警的进一步分析和处理之上,通过统计挖掘找出概率统计上的弱关联攻击链,再对这些攻击链进行进一步的关联分析,从而构建出真实攻击场景模型.该方法较之大多数需要定义复杂的关联规...
关键词：高级告警 攻击场景构建 统计 挖掘 
一种基于无或言规则集的改进的关联规则挖掘算法
《计算机工程》2005年第5期99-101,共3页卢炎生 王莉 赵栋 
提出了一个基于无或言规则集的改进的关联规则算法——IHPD。无或言规则集(disjunction-freesets)是一种精简集表示。这一算法总结了HLinEx,IHP和DHP算法的优点,极大地改善了算法性能,并且使算法的使用不仅仅局限于长类型的频繁项目集...
关键词：数据挖掘 精简集 频繁项目集 
蒸汽锅炉安全联锁系统的建模及校验被引量：2
《微计算机信息》2005年第1期31-32,40,共3页王莉 孔力 程晶晶 
蒸汽锅炉实时控制系统一股用于控制炉内水位,使其保持在特定的范围内。为了加强环保和安全监测,蒸汽锅炉实时控制系统等过程控制中的有关场所要设置监测报警及安全联锁系统,所以其安全联锁系统的设计与验证也非常重要。本文采用Stateflo...
关键词：蒸汽锅炉 安全联锁 有限状态机 离散模型 验证 
蒸汽锅炉安全联锁系统的形式化验证
《工业控制计算机》2004年第11期28-29,共2页程晶晶 王莉 孔力 
蒸汽锅炉实时控制系统一股用于控制炉内水位,使其保持在特定的范围内。为了加强环保和生产安全,蒸汽锅炉实时控制系统等过程控制中的有关场所要设置监测报警及安全联锁系统,所以其安全联锁系统的验证也非常重要。本文采用形式化验证工具...
关键词：蒸汽锅炉买时控制系统 形式化验证 安全监测 安全联锁 符号模型检验 
基于CISCO路由器的网络管理及防火墙系统设计与实现
《计算机工程》2000年第S1期478-480,共3页王莉 黎耀 柳斌 王海丽 
本文就一个相对简单的网管、防火墙系统的设计与实现进行了介绍。文中就ＳＮＭＰ协议以及一次性口令也作了一定的介绍。
关键词：防火墙 网络管理 管理信息库 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部