王宁丽

作品数：4被引量：4H指数：1
导出分析报告
供职机构：安徽工业大学更多>>
发文主题：安全协议分析安全协议形式化分析有色PETRI网改进型更多>>
发文领域：自动化与计算机技术文化科学更多>>
发文期刊：《安徽工业大学学报（社会科学版）》《安徽工业大学学报（自然科学版）》更多>>
所获基金：安徽省高校省级自然科学研究项目更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-4
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
改进型有色Petri网的安全协议分析被引量：2
《安徽工业大学学报（自然科学版）》2010年第4期413-418,共6页王宁丽 余道华 
安徽省教育厅自然科学基金重点项目(KJ2009A136)
针对传统有色Petri网方法在安全协议分析中存在的一些不足,提出一种新的基于有色Petri网模型的分析方法。给出改进型的基于有色Petri网的模型构造方法及协议分析的具体步骤,利用此法对具体的Helsinki协议进行建模和分析。实验证明,这种...
关键词：安全协议 有色PETRI网 形式化分析 Helsinki协议 
带钢生产厚度缺陷跟踪系统的设计与实现
《电脑知识与技术（过刊）》2010年第17期4803-4804,共2页王宁丽 
安徽省教育厅自然科学研究重点项目(KJ2009A136)
为实现在带钢生产过程中对厚度缺陷点的及时发现和跟踪,以便作出相应控制和黑醋栗,设计了一套带钢生产厚度缺陷跟踪系统,实现了PLC数据获取、厚度曲线显示、缺陷点跟踪显示等功能,系统在宝钢某冷轧厂已正式投入运行,并运行良好。
关键词：缺陷跟踪 实时性 DLL 
图像灰度级相关图及应用被引量：1
《安徽工程科技学院学报（自然科学版）》2010年第3期48-52,共5页王宁丽 
安徽省高校自然科学基金重点资助项目(kj2009a136)
以目标背景相近的图像分割为例,分析图像中的各灰度级像素点分布信息与灰度级的关系,研究该信息的获取和累加方法,提出一种基于该信息的分割方法,该方法对目标和背景峰重叠的图像分割是有效的.
关键词：图像分割 图像直方图 灰度级相关图 
开放型计算机基础课实验教学示范中心的建设被引量：1
《安徽工业大学学报（社会科学版）》2009年第2期129-130,共2页王宁丽 
建设开放型计算机基础课实验教学示范中心,有利于实现教学资源共享,提高设备利用率,适应大学生自主学习的需要,提高大学生计算机应用能力。
关键词：计算机基础课 实验教学 示范中心 开放型 建设 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部