基于Real-Time Object-Z语言的铁路交叉道口系统的形式化描述

1

作者 魏艳鸣 《郑州轻工业学院学报（自然科学版）》 CAS 2009年第3期32-36,共5页

形式化语言Object-Z的实时扩展Real-Time Object-Z可以对实时系统进行形式化描述.以铁路交叉道口系统的应用证明了这一点.

关键词 REAL-TIME OBJECT-Z 铁路交叉道口系统 形式化描述

在线阅读 下载PDF 职称材料

手机与高校信息教育——继“易堵”还是“易导”热论后的思考

2

作者 张卉 《濮阳职业技术学院学报》 2014年第4期98-99,共2页

近年来,随着智能手机的普及,它已经成了一种生活方式。智能手机为人们的生活带来方便的同时也产生了数以万计的"低头族"。大学课堂中亦是如此,不少学生的青春在微信、小说、游戏中度过。那么,面对这样的状况高校应因势利导,... 近年来,随着智能手机的普及,它已经成了一种生活方式。智能手机为人们的生活带来方便的同时也产生了数以万计的"低头族"。大学课堂中亦是如此,不少学生的青春在微信、小说、游戏中度过。那么,面对这样的状况高校应因势利导,通过开设新专业,让这种力量巡着正确的方向,产生正能量和正效果。 展开更多

关键词 智能手机 大学生活 专业建设

在线阅读 下载PDF 职称材料

基于改进Prewitt算子的矿井视频图像小波阈值去噪 被引量：15

3

作者 张凡 张倩 《金属矿山》 CAS 北大核心 2015年第8期131-136,共6页

由于矿井成像环境的复杂性,导致所获取的图像较为模糊且存在一定程度的噪声,有必要采用适当的方法滤除其中的噪声并提高图像的清晰度。为此,提出了一种结合边缘检测的小波域矿井视频图像去噪算法。首先对噪声图像采用均值滤波算法进行... 由于矿井成像环境的复杂性,导致所获取的图像较为模糊且存在一定程度的噪声,有必要采用适当的方法滤除其中的噪声并提高图像的清晰度。为此,提出了一种结合边缘检测的小波域矿井视频图像去噪算法。首先对噪声图像采用均值滤波算法进行预处理;然后对分别从检测模板、自适应阈值设定方法对经典的Prewitt算子进行适当改进,并采用改进的Prewitt算子提取预处理后图像的边缘轮廓信息,从而获得边缘图像和非边缘图像;最后对于非边缘图像,采用一种基于自适应阈值的改进小波阈值函数模型进行去噪处理,该模型充分结合了小波硬、软阈值去噪模型的优势,能够随着小波分解层数的变化自适应调整阈值大小。为了验证该算法的有效性,采用2幅实地获取的山东兖州某煤矿井下视频监控图像进行试验,并与小波硬、软阈值函数模型及2类已有的改进型小波阈值函数模型进行去噪效果对比。结果表明,该算法的去噪效果优于其余几类函数模型,且算法耗时略占优势,对于提高矿井视频监控图像的质量具有一定的参考价值。 展开更多

关键词 数字矿山 矿井视频图像 边缘提取 PREWITT算子 小波变换 小波阈值函数模型

在线阅读 下载PDF 职称材料

基于粒子滤波的网络入侵相频特征提取算法 被引量：9

4

作者 陈利军 郭红艳 《科技通报》 北大核心 2016年第3期101-104,共4页

通过对网络入侵特征的优化提取,提高网络入侵的检测能力。传统方法采用粒子群进化方法提取网络入侵信号的能量信息特征,在对粒子的位置进行调整过程中对干扰信息的滤波性能不好,降低了检测性能。提出基于优化粒子滤波模糊网络入侵相频... 通过对网络入侵特征的优化提取,提高网络入侵的检测能力。传统方法采用粒子群进化方法提取网络入侵信号的能量信息特征,在对粒子的位置进行调整过程中对干扰信息的滤波性能不好,降低了检测性能。提出基于优化粒子滤波模糊网络入侵相频特征提取算法。仿真结果表明,采用该算法进行模糊网络入侵特征提取,通过粒子滤波,能有效抑制合法数据的干扰,提高网络入侵的检测性能。 展开更多

关键词 网络入侵 网络安全 信号 粒子滤波

在线阅读 下载PDF 职称材料

基于改进伪中值滤波和非局部均值滤波的红外图像滤波方法 被引量：7

5

作者 张倩 《工矿自动化》 北大核心 2014年第12期57-60,共4页

首先对伪中值滤波算法进行了改进:噪声检测过程融入像素点灰度值、几何距离等因素,实现噪声点从图像像素点中的逐步分离;采用加权滤波的方法滤除噪声。其次对改进非局部均值滤波算法的先验信息获取方法进行了改进:对噪声图像进行提升小... 首先对伪中值滤波算法进行了改进:噪声检测过程融入像素点灰度值、几何距离等因素,实现噪声点从图像像素点中的逐步分离;采用加权滤波的方法滤除噪声。其次对改进非局部均值滤波算法的先验信息获取方法进行了改进:对噪声图像进行提升小波变换,采用一种新型阈值函数选择低频分解系数,对高于阈值的系数进行重构得到参考图像,计算参考图像的相似度权值并将其作为改进非局部均值滤波算法的先验信息。最后基于2种改进算法提出了一种红外图像滤波方法,即依次采用改进伪中值滤波算法和基于先验信息的改进非局部均值滤波算法对红外图像进行滤波处理,然后将其与参考图像进行融合,以修正被过度滤波的图像。实验结果表明,该方法针对高密度噪声的红外图像有较好的滤波效果。 展开更多

关键词 红外图像 图像滤波 随机噪声 伪中值滤波 非局部均值滤波 先验信息

在线阅读 下载PDF 职称材料

红外图像改进非局部均值滤波算法研究 被引量：5

6

作者 张凡 《激光技术》 CAS CSCD 北大核心 2015年第5期662-665,共4页

为了有效地滤除红外图像中的噪声,提出了一种改进型非局部均值滤波算法(INLMF)。该算法首先针对传统算法中采用固定尺寸的方形图像块无法有效刻画图像中大量分布的细节信息这一缺陷,结合图像中像素点灰度信息提出了一种图像块自适应划... 为了有效地滤除红外图像中的噪声,提出了一种改进型非局部均值滤波算法(INLMF)。该算法首先针对传统算法中采用固定尺寸的方形图像块无法有效刻画图像中大量分布的细节信息这一缺陷,结合图像中像素点灰度信息提出了一种图像块自适应划分方法,使得划分后的图像块在尺寸和形状上依赖于图像中灰度信息的实际分布情况;其次引入结构相似度因子对算法中的图像块权重值计算方法进行适当改进;最后分别将INLMF算法与已有的两类改进型NLMF算法对两幅红外监控图像进行滤波,并进行了理论分析和实验验证。结果表明,INLMF算法相对于其余几类算法而言,滤波效果较好,该研究对于提高红外图像滤波效果是有帮助的。 展开更多

关键词 图像处理 非局部均值滤波算法 改进非局部均值滤波算法 结构相似度

在线阅读 下载PDF 职称材料

结合轮廓粗筛和HOG细分的快速行人检测方法 被引量：1

7

作者 张莉 魏艳鸣 周兵 《电子技术应用》 北大核心 2017年第6期130-133,137,共5页

为解决现有行人检测方法虚警率高、运算效率低的问题,提出一种快速行人检测方法。首先,依靠轮廓的几何特征进行第一层粗筛选,依据轮廓的不变矩特征进行第二层粗筛选,剔除干扰目标,降低虚警率。在此基础上,裁剪图像上的可疑图像块,仅在... 为解决现有行人检测方法虚警率高、运算效率低的问题,提出一种快速行人检测方法。首先,依靠轮廓的几何特征进行第一层粗筛选,依据轮廓的不变矩特征进行第二层粗筛选,剔除干扰目标,降低虚警率。在此基础上,裁剪图像上的可疑图像块,仅在可疑图像块上提取HOG特征,并结合线性支持向量机进行特征分类,进一步降低虚警率。同时由于大幅减少了提取HOG特征的数量,从而提高了运算效率。仿真实验在INRIA数据集上进行训练,在Caltech数据集上进行验证。结果表明,该方法的行人检测虚警率低,运算效率高。 展开更多

关键词 行人检测 轮廓提取 不变矩 方向梯度直方图 支持向量机

在线阅读 下载PDF 职称材料

联合部件特征与增强SVM的行人检测算法 被引量：1

8

作者 欧中亚 山田宏尚 《电子技术应用》 北大核心 2017年第4期133-137,共5页

为解决遮挡、姿态变化等局部变化引起的行人检测性能下降问题,提出一种融合全局和局部特征的行人检测方法。首先,将人体分为全局和局部6个部件;然后,改进Haar-like特征描述子,用于快速提取人体局部部件特征,再融合全局部件的方向梯度直... 为解决遮挡、姿态变化等局部变化引起的行人检测性能下降问题,提出一种融合全局和局部特征的行人检测方法。首先,将人体分为全局和局部6个部件;然后,改进Haar-like特征描述子,用于快速提取人体局部部件特征,再融合全局部件的方向梯度直方图特征,构建人体的联合部件特征。最后,结合增强学习思路改进支持向量机学习方法,对联合部件特征进行训练和分类。实验结果表明,该方法正确率高,虚警率低,受遮挡、姿态变化影响小。 展开更多

关键词 行人检测 方向梯度直方图 Haar-like 支持向量机 增强学习

在线阅读 下载PDF 职称材料

基于噪声检测的矿井视频监控图像投票中值滤波 被引量：3

9

作者 黄晶晶 《金属矿山》 CAS 北大核心 2017年第2期117-120,共4页

矿井视频监控由于受到井下光照不均匀、高浓度粉尘、成像器件电压不稳定等因素的影响,导致实时获取的图像对比度不高且含有大量的颗粒状噪声,严重影响对图像的准确判读与分析。为此,对经典中值滤波算法进行了改进,提出了一种融合噪声检... 矿井视频监控由于受到井下光照不均匀、高浓度粉尘、成像器件电压不稳定等因素的影响,导致实时获取的图像对比度不高且含有大量的颗粒状噪声,严重影响对图像的准确判读与分析。为此,对经典中值滤波算法进行了改进,提出了一种融合噪声检测策略与投票统计学原理的改进型中值滤波算法。首先对获取的原始矿井视频监控图像采用双平台直方图均衡化算法(Double platform histogram equalization,DPHE)进行处理,该算法通过对图像各灰度级对应的像素点数目设定2个阈值(平台值)对图像背景信息进行抑制,对图像细节信息进行增强;然后将增强后的图像划分为多个规则图像块,根据各图像块内像素点灰度值的分布特征设计了一种噪声图像块自适应检测方法,若某图像块内的灰度值异常点数目超过一定限值,则该图像块被标记为噪声图像块;最后,对噪声图像块进行投票中值滤波。采用C++语言对所提算法进行了编程,并采用2幅采集于某煤矿井下综采工作面的视频监控图像进行试验,结果表明:所提算法对于不同失真程度的矿井视频监控图像的处理效果优于中值滤波、直方图均衡化等算法,对于最大限度地发挥矿井视频监控系统的作用有一定的参考价值。 展开更多

关键词 矿井视频监控系统 噪声检测 双平台直方图均衡化 投票中值滤波 C++语言

在线阅读 下载PDF 职称材料

电信网络领域实时数据挖掘的智能代理技术 被引量：1

10

作者 莫建麟 廖建锋 《光通信研究》 北大核心 2013年第3期7-10,21,共5页

由于电信网络环境的动态性,DM(数据挖掘)技术的简单应用并不足以及时获取到更深层的知识。文章首先对基于DM技术实时状态下的应用提出一种方法论,把电信数据转换为知识这一系列过程;然后,通过智能代理框架来协助实时环境下的DM流程;最后... 由于电信网络环境的动态性,DM(数据挖掘)技术的简单应用并不足以及时获取到更深层的知识。文章首先对基于DM技术实时状态下的应用提出一种方法论,把电信数据转换为知识这一系列过程;然后,通过智能代理框架来协助实时环境下的DM流程;最后,对基于智能代理获取到实时知识的DM技术的整合进行案例分析。实验表明,实时知识是管理电信网络的关键。 展开更多

关键词 实时数据挖掘 智能代理 电信网络

在线阅读 下载PDF 职称材料

基于决策树CART算法的镍金属价格预测研究 被引量：2

11

作者 孙建召 《世界有色金属》 2016年第9期76-77,共2页

镍是一种十分重要的有色金属资源。我国早在公元前一世纪就已经懂得了用镍和铜制造合金,称之为＂鋈＂。金属镍广泛应用于电镀行业,并大量用于制造各种合金和电磁材料。随着人类对有色金属材料的研究和开发,镍产品被应用到越来越多的领域... 镍是一种十分重要的有色金属资源。我国早在公元前一世纪就已经懂得了用镍和铜制造合金,称之为＂鋈＂。金属镍广泛应用于电镀行业,并大量用于制造各种合金和电磁材料。随着人类对有色金属材料的研究和开发,镍产品被应用到越来越多的领域,对镍的需求量增大使得金属镍的价格也水涨船高。在全球有色金属市场上,金属镍的价格剧烈震荡,供需失衡严重,给投资者和生产使用者造成很大的困难。因其具有的震荡性和敏感性,很难提前预测镍金属将来的价格。所以,对镍金属价格影响因素的分析与梳理,运行使用决策树CART算法组建模型,对金属镍价格进行预测,结合宏观因素与微观因素,对结果的影响进行统计分析和对比,证实了使用决策树CART算法对镍金属的预测价格起到明显的作用,具有良好的效果,说明其方法的可行性。 展开更多

关键词 决策树 CART 金属镍 价格预测

在线阅读 下载PDF 职称材料

最大似然稀疏编码在人脸识别中的研究

12

作者 单桂军 廖建锋 《电视技术》 北大核心 2013年第23期230-233,共4页

稀疏编码(SRC)是一种用于人脸识别的方法,该方法把检测图像表示为一组训练样本的稀疏线性组合,表示的准确性通过L2或L1残余项来衡量。此模型假定编码残余项服从高斯分布或拉普拉斯分布,实际上却不能很准确地描述编码错误率。为了解决这... 稀疏编码(SRC)是一种用于人脸识别的方法,该方法把检测图像表示为一组训练样本的稀疏线性组合,表示的准确性通过L2或L1残余项来衡量。此模型假定编码残余项服从高斯分布或拉普拉斯分布,实际上却不能很准确地描述编码错误率。为了解决这个问题,提出了一种新的稀疏编码方法,建立一种有约束的回归问题模型,用最大似然稀疏编码(MSC)寻找此模型的最大似然估计参数,对异常情况具有很强的鲁棒性。在Yale及ORL人脸数据库的实验结果表明了该方法对于人脸模糊、光照及表情变化等的有效性及鲁棒性。 展开更多

关键词 人脸识别 特征抽取 稀疏编码 最大似然估计

在线阅读 下载PDF 职称材料

基于工作任务的项目教学在高职“网页设计与制作”课程中的应用 被引量：1

13

作者 欧中亚 《教师》 2016年第26期69-70,共2页

高职教育的培养目标是为社会输送大量高素质的应用型人才，这就决定了高职教育教学方法要注重提高学生的实践操作能力。目前，项目教学法在高职教育中得到了广泛的应用。该方法是以工作任务的形式，发挥学生的自主能动性，来共同完成教... 高职教育的培养目标是为社会输送大量高素质的应用型人才，这就决定了高职教育教学方法要注重提高学生的实践操作能力。目前，项目教学法在高职教育中得到了广泛的应用。该方法是以工作任务的形式，发挥学生的自主能动性，来共同完成教师布置的任务，不仅提高了学习兴趣，也锻炼了实践技能，是高职教育方法改革的重点。鉴于此，文章以高职“网页设计与制作”课程为例，对项目教学法的应用进行了研究。 展开更多

关键词 项目教学 网页设计与制作 高职教学

在线阅读 下载PDF 职称材料

延迟容忍网络在海上通信性能仿真中的应用

14

作者 危锋 《舰船科学技术》 北大核心 2016年第3X期136-138,共3页

船舶在海上航行时,其与陆地及其他船舶的通信主要依靠卫星及无线电系统进行。卫星与船舶之间距离非常远,有时船舶相互之间的距离也较远,影响船舶与卫星之间及船舶与船舶之间通信准确性及时性。本文通过对延迟容忍网络的研究,试图提高船... 船舶在海上航行时,其与陆地及其他船舶的通信主要依靠卫星及无线电系统进行。卫星与船舶之间距离非常远,有时船舶相互之间的距离也较远,影响船舶与卫星之间及船舶与船舶之间通信准确性及时性。本文通过对延迟容忍网络的研究,试图提高船舶通信的准确性和及时性。 展开更多

关键词 卫星 无线电系统 准确性 延迟容忍

在线阅读 下载PDF 职称材料

一种混沌块加密算法

15

作者 危锋 《郑州轻工业学院学报（自然科学版）》 CAS 2014年第6期73-77,共5页

针对混沌理论在密码学应用中的安全问题,基于离散耦合映像格子和渐进确定性随机理论,设计了一种混沌块加密算法.该算法使用渐进确定性随机产生的密钥对明文进行扩散,并通过对离散耦合映像格子的迭代而进行加密.对其进行有效性测试及敏... 针对混沌理论在密码学应用中的安全问题,基于离散耦合映像格子和渐进确定性随机理论,设计了一种混沌块加密算法.该算法使用渐进确定性随机产生的密钥对明文进行扩散,并通过对离散耦合映像格子的迭代而进行加密.对其进行有效性测试及敏感度分析和抵抗统计分析,结果表明,该混沌加密算法具有较高的安全性. 展开更多

关键词 混沌块加密算法 混沌分组密码 离散耦合映像格子 渐进确定性随机

在线阅读 下载PDF 职称材料

计算机图形学中的可见性算法

16

作者 欧中亚 《中国高新技术企业》 2011年第6期77-78,共2页

近年来,计算机图形学的发展非常迅速,被广泛应用在多个方面和领域。现阶段的可见性算法研究已经开始转向大规模场景的实时消隐判断。在PDA、手机、手提电脑等移动终端上实现3D图形显示功能已成为一个必然的趋势,也成为了面上三维图形渲... 近年来,计算机图形学的发展非常迅速,被广泛应用在多个方面和领域。现阶段的可见性算法研究已经开始转向大规模场景的实时消隐判断。在PDA、手机、手提电脑等移动终端上实现3D图形显示功能已成为一个必然的趋势,也成为了面上三维图形渲染系列设计和研究的热点。图形学的可见性算法不仅影响着嵌入式的图形系统的处理负担,而且还影响其功耗和渲染速度等。 展开更多

关键词 计算机图形学 可见性算法 深度缓存算法 层次Z-Buffer

在线阅读 下载PDF 职称材料

一种改进的数据网格资源调度技术研究 被引量：4

17

作者 韩建敏 张铁头 《科技通报》 北大核心 2012年第2期155-157,共3页

研究了网格资源调度技术。针对网格任务的瞬变性、随机性等特点,提出了一种改进的网格资源调度算法。由于数据网格任务数量庞大,本文采用了并行遗传算法优化网格资源调度。实验结果表明,提出的改进的算法能够对大规模的数据网格任务进... 研究了网格资源调度技术。针对网格任务的瞬变性、随机性等特点,提出了一种改进的网格资源调度算法。由于数据网格任务数量庞大,本文采用了并行遗传算法优化网格资源调度。实验结果表明,提出的改进的算法能够对大规模的数据网格任务进行有效调度,是一种有效的方法。 展开更多

关键词 数据网格 遗传算法 并行调度

在线阅读 下载PDF 职称材料

面向移动自组织网络的随机密钥构建策略研究

18

作者 吴冬 魏艳鸣 吴方芳 《电子技术应用》 北大核心 2017年第4期107-111,116,共6页

为了提高移动自组织网络数据通信的安全性,提出了一种随机密钥构建策略算法。首先为每一个节点构建一个路由信息表,记录路由标识、部分路由和完整路由信息。接着依据路由标识进行信息协调,使得两节点共享完整路由。最后,依据共享完整路... 为了提高移动自组织网络数据通信的安全性,提出了一种随机密钥构建策略算法。首先为每一个节点构建一个路由信息表,记录路由标识、部分路由和完整路由信息。接着依据路由标识进行信息协调,使得两节点共享完整路由。最后,依据共享完整路由的二值比特序列表示生成随机密钥,依据最小熵计算比特数上下限。仿真结果表明,与常用的ARAN和TARF安全路由协议相比,在恶意节点比例不同的条件下,采用本文策略改进的DSR路由协议具有更高的报文送达率。 展开更多

关键词 移动自组织网络 随机密钥 恶意节点 DSR 路由算法

在线阅读 下载PDF 职称材料

屏幕界面设计中的图文编排艺术

19

作者 刘丽萍 《濮阳职业技术学院学报》 2014年第3期154-156,共3页

当前,数字信息成为生活中人们获取资讯的主要来源,数字屏幕界面的设计与应用研究成为热点。图文是大众信息传播的基本视觉表现形式,即使在数字屏幕界面中文字和图片依然是信息的基本组成要素。本文立足数字屏幕界面所具有的多维度、交... 当前,数字信息成为生活中人们获取资讯的主要来源,数字屏幕界面的设计与应用研究成为热点。图文是大众信息传播的基本视觉表现形式,即使在数字屏幕界面中文字和图片依然是信息的基本组成要素。本文立足数字屏幕界面所具有的多维度、交互式设计特征,对屏幕界面中图文的表现形式进行归纳分类,并对图文编排的艺术特征进行解析。 展开更多

关键词 屏幕界面 界面设计 图文编排

在线阅读 下载PDF 职称材料