李俊锋
- 作品数：7 被引量：16H指数：3
- 供职机构：郑州大学软件技术学院更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术文化科学更多>>
- 实时系统验证工具UPPAAL被引量：4
- 2006年
- 实时系统由于受时间约束,需要进行严格的分析和验证。基于时间自动机的验证是使用最为广泛的方法之一,该方法的主要不足在于状态空间爆炸问题。UPPAAL是一种使用时间自动机模型的实时系统验证工具,它可以避免状态空间爆炸问题,保证实时系统的安全性和正确性,是具有世界先进水平的实时系统验证工具。文中介绍了UPPAAL的构成、特征以及优缺点,并就UPPAAL和其它验证方法进行了比较。
- 姬莉霞李俊锋张雷
- 关键词：UPPAAL实时系统时间自动机
- 寄生虫病原体自动识别研究被引量：2
- 2008年
- 寄生虫病是影响人类健康的重要疾病。诊断该病的最常用和最可靠的方法是检测疑似患者是否携带有寄生虫病原体，然而寄生虫病原体的形态多样性和复杂性及检测人员的主观因素等严重影响了寄生虫病的正确检测。为了改变人工检测方法的低效率．便于医务工作者开展大规模的寄生虫病普查与防治工作，该文利用医学显微图像自动识别技术对人体寄生虫病原体彩色虫卵显微图像的自动识别进行了研究，并且通过对采集到的10种人体寄生虫卵图像进行识别，取得了较好的识别效果。
- 李俊锋李妍
- 关键词：寄生虫卵图像识别纹理特征分类器
- IPSec原理与应用被引量：1
- 2008年
- 通过局域网传输大批量数据时,数据很容易被连接到网络上的协议分析器捕获篡改,为了保护网络上数据的安全性,在TCP/IP网络中可以使用IPSec(IP Security,Internet协议安全)这一业界标准来加密IP数据,提高网络的安全性。本文主要介绍了IPSec的相关协议及工作原理,并应用其保护网络通信。
- 李俊锋
- 关键词：IPSEC加密
- Hadoop云平台下的基于用户协同过滤算法研究被引量：5
- 2015年
- 随着互联网的高速发展,海量新闻的个性化推荐成为一个重要课题,针对海量新闻的个性化推荐算法进行研究,以MapReduce的并行方法设计了基于Hadoop云平台下的协同过滤算法,利用MapReduce的并行方法,将传统的协同过滤算法并行化,并详细说明了并行化步骤和实现细节;最后用实验结果验证了改进的并行化的协同过滤算法在运行速度和执行效率方面有明显的提高,更适合处理大数据。
- 赵伟李俊锋韩英张红涛
- 关键词：推荐系统并行计算协同过滤
- 基于DSP的高精度电子灌胶机出胶系统的设计与实现被引量：1
- 2013年
- 从分析电子灌胶机出胶系统中存在的问题出发,介绍了一种基于DSP处理器的高精度高实时性电子灌胶机出胶系统的设计与实现,文中详细描述了出胶系统的设计结构、控制结构和工作流程,并详细论述了出胶系统中加热功能和出胶控制功能的设计与实现;由于DSP处理器具有高运行速度、强数据处理能力、高运算精度等特点,并且系统采用了独特的出胶方案,使系统实际测试的最大出胶量误差仅为±1g,有效地改善了一般电子灌胶机出胶系统出胶量控制误差大、实时性较差的问题。
- 张宏涛李俊锋
- 关键词：DSP
- 基于OpenCV的机场跑道异物检测系统设计与研究被引量：3
- 2014年
- 机场跑道的异物对飞机起降过程的安全带来非常大的威胁,所以机场跑道的异物精确检测已经成为保障飞机飞行安全一个非常重大的问题。文章主要从软硬件两个部分来研究了机场跑道异物检测系统,主要包括了机场道路监控中心和应急中心两个服务平台,重点分析了采用Camshift目标跟踪算法并应用在系统中,从而实现了监控系统前景目标识别和多目标跟踪两大功能;最后在windows系统下做了测试实验,以VS2008为实验环境,采用OpenCV函数库开发一款机场跑道异物监控系统;通过实验结果的分析,该软件系统可靠性高,运行稳定,满足了识别精确度高和跟踪实时可靠的要求,显示系统具有较高的检测精确机场跑道异物检测系统设计度,为机场跑道放入侵监测系统更深入的理论研究和进一步的实际应用提供了方便。
- 李俊锋牛合利
- 关键词：目标跟踪OPENCV
- 浅析高校教育工作者的心理品质
- 2008年
- 本文通过对心理学这门科学的分析,指出了当前高校教育工作者所应具有的心理品质。浅述了在当前形势下的高校教育工作者要学会运用相关的心理学知识,加强自身的心理品质的培养,为提高教育工作的说服力、感染力和自身行为的影响力打下坚实的基础。
- 李妍李俊锋王军委
- 关键词：心理学教育工作者心理品质
