王莉
- 作品数：50 被引量：35H指数：3
- 供职机构：华中科技大学更多>>
- 发文基金：湖北省自然科学基金国家自然科学基金国家科技型中小企业技术创新基金更多>>
- 相关领域：自动化与计算机技术环境科学与工程医药卫生交通运输工程更多>>
- 蒸汽锅炉安全联锁系统的建模及校验被引量：2
- 2005年
- 蒸汽锅炉实时控制系统一股用于控制炉内水位,使其保持在特定的范围内。为了加强环保和安全监测,蒸汽锅炉实时控制系统等过程控制中的有关场所要设置监测报警及安全联锁系统,所以其安全联锁系统的设计与验证也非常重要。本文采用Stateflow工具在有限状态机理论的基础上,建立蒸汽锅炉安全联锁系统的离散模型并根据输入输出验证其安全性,并结合Sf2smv工具从Stateflow产生Smv(Sym-bolicModelVerifier)程序,自动检验Stateflow状态图的属性,以此来检验蒸汽锅炉安全联锁系统的设计是否合理。
- 王莉孔力程晶晶
- 关键词：蒸汽锅炉安全联锁有限状态机
- 一种改进的Petri网S不变量计算方法被引量：3
- 2010年
- 用于计算Petri网S不变量的M-S算法将所有正负行两两做线性组合变换,增加了算法的复杂度,得到的最终结果也并不一定是最小S不变量支撑。针对该问题,提出一种改进算法。通过增加对Petri网关联矩阵的预处理步骤,减少线性组合运算的次数,并得到最小S不变量支撑。理论与实验结果证明,M-S算法的复杂度为s×t,而改进算法的复杂度为s+t,该算法能有效减少计算复杂度。
- 周丰王明哲王莉
- 关键词：PETRI网复杂度
- 一种用于冶金尘泥的萃取物粘结剂及其制备方法和应用
- 本发明提供了一种用于冶金尘泥的萃取物粘结剂及其制备方法和应用，属于固体废弃物领域，该制备方法具体为：在惰性气氛下，将有机溶剂与煤共热预设时间，以促进煤中的小分子有机物断键并溶解在有机溶剂中，然后对其进行固液分离以获得萃取...
- 罗光前赵天宇邹仁杰方灿孙瑞泽肖逸张浩宇邱文聪王莉余鸣宇李显姚洪
- 一种针对脊柱侧凸矫正治疗的反馈控制方法及相关设备
- 本申请实施例公开了一种针对脊柱侧凸矫正治疗的反馈控制方法及相关设备，其中方法包括：步骤一：终端获取第一预设值；步骤二：终端根据第一预设值设置施力强度；步骤三：终端接收施力强度的反馈信号，信号包含实际治疗力度值；步骤四：终...
- 朱国力黄晓琳何柏村王莉
- 文献传递
- 供热混合系统的抽象及其形式化验证
- 本文采用了两者结合的方法，先对供热混合系统用基于定性推理的方法，将其转变为离散的抽象系统，并用Matlab中的图形化建模工具Stateflow建立了离散状态模型图，再采用符号模型验证工具SMV(Symbolic Mode...
- 王莉
- 关键词：数据抽象符号模型检验
- 文献传递
- 网络多步攻击意图在线识别方法
- 本发明提供一种网络多步攻击意图在线识别方法，该方法提取收到的安全事件告警信息的特征，根据该特征和攻击行为发生序列模式集进行模式匹配，若匹配成功，计算符合模式匹配的前后安全事件告警信息的关联度，根据关联度与关联度阈值的比较...
- 王莉李之棠陈琳李伟明朱晓林汪洋
- 文献传递
- 生物絮凝剂(普鲁兰)处理印染废水的研究
- 王莉
- 关键词：印染废水微生物絮凝剂普鲁兰絮凝
- 两个常染色体隐性视网膜色素变性合并白内障家系的致病基因突变分析
- 视网膜色素变性（Retinitis Pigmentosa，RP）是一种常见的遗传性视网膜功能退行性疾病，全球发病率为1:3000-5000。RP典型临床症状为夜盲、进行性视野缺损和视力下降，可伴发斜视、屈光不正、眼球震颤...
- 王莉
- 关键词：视网膜色素变性白内障突变频率
- 一种针对脊柱侧凸矫正治疗的反馈控制方法及相关设备
- 本申请实施例公开了一种针对脊柱侧凸矫正治疗的反馈控制方法及相关设备，其中方法包括：步骤一：终端获取第一预设值；步骤二：终端根据第一预设值设置施力强度；步骤三：终端接收施力强度的反馈信号，信号包含实际治疗力度值；步骤四：终...
- 朱国力黄晓琳何柏村王莉
- 基于CISCO路由器的网络管理及防火墙系统设计与实现
- 2000年
- 本文就一个相对简单的网管、防火墙系统的设计与实现进行了介绍。文中就ＳＮＭＰ协议以及一次性口令也作了一定的介绍。
- 王莉黎耀柳斌王海丽
- 关键词：防火墙网络管理管理信息库
