-
题名基于Proteus的单片机虚拟仿真实验案例设计
被引量:35
- 1
-
-
作者
谭筠梅
李玉龙
王履程
-
机构
兰州交通大学国家级计算机实验教学示范中心
兰州交通大学电子与信息工程学院
-
出处
《实验技术与管理》
CAS
北大核心
2018年第5期122-125,共4页
-
基金
兰州交通大学2017教改项目(JGY201718)
兰州交通大学2018实验教改项目(2018029)
-
文摘
提出采用实际工程案例驱动教学的实验教学新方法。设计了基于Proteus仿真的单片机货车超重监控系统的实验案例,案例汇聚了单片机实验课程的各个知识点,着重培养学生软硬件系统集成能力和工程实践能力,大大地提高了学生的学习兴趣,取得了良好的实验教学效果。
-
关键词
单片机
PROTEUS
实验案例
实践教学
-
Keywords
SCM
Proteus
experiment case
practical teaching
-
分类号
TP391.9
[自动化与计算机技术—计算机应用技术]
G642
[自动化与计算机技术—计算机科学与技术]
-
-
题名城市轨道交通智能视频分析关键技术综述
被引量:25
- 2
-
-
作者
谭筠梅
王履程
雷涛
王小鹏
-
机构
兰州交通大学国家级计算机实验教学示范中心
兰州交通大学电子信息工程学院
-
出处
《计算机工程与应用》
CSCD
2014年第4期1-6,17,共7页
-
基金
国家自然科学基金(No.61261029
No.61202314)
兰州交通大学青年科学基金项目(No.2011003)
-
文摘
轨道交通是改善城市公共交通状况的有效途径。随着城市轨道交通的快速建设,人们对城市轨道交通的安全问题越来越重视。智能视频分析技术通过对监控视频流的实时分析,对场景中的各种目标进行检测、分类、跟踪,并分析和判断目标的行为,从而能在异常情况发生时可以及时报警、主动防范,提高处理突发事件的效率。主要研究了智能视频分析技术在轨道交通智能视频监控系统中的应用背景及技术框架,总结了智能视频分析中的关键技术的不同实现方法及其常见的算法。
-
关键词
城市轨道交通
视频监控
智能视频分析
目标检测
目标分类
目标跟踪
行为识别与理解
异常行为检测及判定
-
Keywords
urban rail transit
video surveillance
intelligent video analysis
target detection
target classification
target tracking
behavior recognition and understanding
abnormal behavior detection and determination
-
分类号
TP391.4
[自动化与计算机技术—计算机应用技术]
-
-
题名基于形态学结构元素建模的车道线检测算法
被引量:21
- 3
-
-
作者
雷涛
樊养余
王小鹏
王履程
-
机构
西北工业大学电子信息学院
兰州交通大学电子与信息工程学院
-
出处
《计算机应用》
CSCD
北大核心
2009年第2期440-443,共4页
-
基金
甘肃省自然科学基金资助(0710RJZA046)
-
文摘
针对智能车辆辅助导航系统中车道线检测算法复杂、鲁棒性差的问题,提出了一种基于形态学结构元素建模的车道线检测算法。算法首先通过交变序列滤波器对原始图像进行滤波,然后利用具有车道模型特征的结构元素对预处理后的图像进行特定目标提取,再对提取出的车道左、右标识线进行外线判断运算以去除双边缘,将所得结果进行整合得到车道左右内侧边缘线,最后进行Hough变换标记车道线。实验表明,该算法简单、鲁棒性强,能准确地检测到车道标识线。
-
关键词
车道线检测
交变序列滤波器
结构元素
HOUGH变换
鲁棒性
-
Keywords
traffic lane detection
Alter Sequence Filter(ASF)
structure elements
Hough transformation
robustness
-
分类号
TP391.41
[自动化与计算机技术—计算机应用技术]
-
-
题名基于机器视觉的枸杞分级方法
被引量:13
- 4
-
-
作者
王履程
谭筠梅
王小鹏
雷涛
-
机构
兰州交通大学电子与信息工程学院
-
出处
《计算机工程与应用》
CSCD
2013年第24期16-18,23,共4页
-
基金
国家自然科学基金(No.61261029
No.61202314)
兰州交通大学青年科学基金项目(No.2011003)
-
文摘
针对目前传统的枸杞分级主要采用人工方法,费时费力且效率不高的缺点,提出了一种基于机器视觉技术对枸杞进行自动分类的方法。采用数字图像处理技术对枸杞图像进行了预处理、分割,从而提取枸杞的色泽、大小及形状等特征参数;用K-means算法对特征进行聚类,得到枸杞相应等级的基准;根据聚类分析得到的基准采用最小距离分类器对枸杞进行分级。实验结果表明,该方法能够准确快速地对不同色泽和大小的枸杞进行分类。
-
关键词
枸杞分级
图像分割
特征提取
聚类分析
最小距离分类器
-
Keywords
wolfberry classification
image segmentationi feature extraction
cluster analys'is
minimum distance classifier
-
分类号
TP391.4
[自动化与计算机技术—计算机应用技术]
-
-
题名基于工程认证的数据结构与算法课程教学研究
被引量:12
- 5
-
-
作者
张冰涛
王小鹏
王履程
沈瑜
边彩虹
-
机构
兰州交通大学电子与信息工程学院
兰州市热力总公司销售分公司
-
出处
《软件导刊》
2019年第1期201-204,共4页
-
基金
国家自然科学基金项目(61461025
61761027)
+1 种基金
兰州交通大学教改项目(JGY201841)
兰州交通大学青年基金项目(2016004)
-
文摘
数据结构与算法课程作为计算机与信息类专业的基础课程,传统教学过程中存在重视理论教学,忽视实践教学的问题。为适应工程认证要求,对数据结构与算法课程实践教学环节进行研究与改革。将原有以理论教学为主的教学方式,转换为以理论教学为基础、实践教学为核心的教学体系,从而锻炼和培养学生的工程实践能力。围绕实践教学环节,以兰州交通大学服务大交通行业的特色为切入点,结合数据结构与算法课程特点,构建6~8个科学可行的实践教学案例,填补现阶段数据结构与算法课程实践教学环节无标准化、科学化、系统化教学案例的空白。
-
关键词
课程教学
工程教育
实践教学
教学案例
-
Keywords
curriculum instruction
engineering certification
practice teaching
teaching cases
-
分类号
G434
[文化科学—教育学]
-
-
题名基于机器视觉的隧道车辆检测系统设计与实现
被引量:11
- 6
-
-
作者
王建强
王履程
-
机构
中铁一局集团电务工程有限公司
兰州交通大学电子与信息工程学院
-
出处
《自动化与仪器仪表》
2015年第9期100-101,共2页
-
文摘
目前在车辆检测方面,基于机器视觉的智能视频分析经过近十几年的发展技术上已经比较成熟,相对于以往常用的基于线圈检测具有的优越性和高性价比已渐渐得到业内人士的认可,代表了未来车辆检测应用领域的发展方向。阐述了基于机器视觉的智能车辆检测的工作原理,设计了隧道视频车辆检测系统,并分析了其异常事故的管理应用和系统自检功能等。
-
关键词
机器视觉
隧道车辆检测
异常事故
-
Keywords
Machine vision
Tunnel vehicle detection
Abnormal incident
-
分类号
TP391.41
[自动化与计算机技术—计算机应用技术]
-
-
题名一种有效去除图像中脉冲噪声的滤波算法
被引量:8
- 7
-
-
作者
谭筠梅
王履程
鲁怀伟
-
机构
兰州交通大学电子与信息工程学院
兰州交通大学数理与软件工程学院
-
出处
《兰州交通大学学报》
CAS
2011年第1期18-21,共4页
-
基金
甘肃省自然科学基金(0803RJZA027)
-
文摘
为了抑制脉冲噪声,根据脉冲噪声点和边缘像素点的特征,提出了一种新的基于脉冲噪声点检测的滤波算法.实验结果表明,与传统中值滤波相比,这种新算法很好地保留了图像的细节,尤其在噪声密度较低时,滤波性能更加优越.
-
关键词
脉冲噪声
中值滤波
噪声点检测
-
Keywords
impulse noise
median filter
noise detection
-
分类号
TP751.1
[自动化与计算机技术—检测技术与自动化装置]
-
-
题名基于图论的MANET入侵检测方法
被引量:8
- 8
-
-
作者
张冰涛
王小鹏
王履程
张忠林
李延林
刘虎
-
机构
兰州交通大学电子与信息工程学院
兰州大学信息科学与工程学院
中国科学院近代物理研究所
-
出处
《电子与信息学报》
EI
CSCD
北大核心
2018年第6期1446-1452,共7页
-
基金
国家自然科学基金(61761027
61261029
+1 种基金
61662043)
兰州交通大学青年基金(2016004)~~
-
文摘
移动Ad hoc网络(MANET)易遭受各种安全威胁,入侵检测是其安全运行的有效保障,已有方法主要关注特征选择以及特征权重,而忽略特征间潜在关联性,针对此问题该文提出基于图论的MANET入侵检测方法。首先通过对典型攻击行为分析,合理选择9种特征作为节点,依据欧式距离确定节点间的边以构建结构图。其次发掘节点(即特征)间关联性,综合考虑节点邻居规模属性和节点邻居之间的紧密程度属性,利用图论所对应的统计特性度分布和聚集系数具体实现两属性。最后对比实验结果证明此方法与传统方法相比平均检测率和误检率分别提高10.15%、降低1.8%。
-
关键词
入侵检测
移动AD
HOC网络
图论
特征关联性
-
Keywords
Intrusion detection
Mobile Ad hoc NETwork (MANET)
Graph theory
Feature correlation
-
分类号
TP393.06
[自动化与计算机技术—计算机应用技术]
-
-
题名实时性分布式监控系统的设计与实现
被引量:5
- 9
-
-
作者
王履程
孙卫
谭筠梅
-
机构
兰州交通大学信息与电气工程学院
甘肃省疾病控制中心
-
出处
《兰州交通大学学报》
CAS
2005年第1期40-42,共3页
-
文摘
提出了一种实时性分布式监控系统的整体解决方案, 利用数字数据网(DDN)实现本地监控网络和远程监控网络的连接, 利用数据网关实现监控点到局域网的连接.整体监控网络采用以太网,在计算机上实现对分布各处的监控点进行实时的监控.软件实现采用COM技术开发,有实时性强、便于维护、升级和通用性强等特点;硬件连接采用以太网和数据网关,具有可靠性高,系统稳定、便于管理维护的特点.
-
关键词
分布式
COM技术
数据网关
-
Keywords
distribution
COM technology
data gateway
-
分类号
TP302.1
[自动化与计算机技术—计算机系统结构]
-
-
题名基于噪声强度估计的中值滤波
被引量:6
- 10
-
-
作者
王履程
王静
谭筠梅
王小鹏
-
机构
兰州交通大学电子与信息工程学院
-
出处
《兰州交通大学学报》
CAS
2008年第6期112-114,共3页
-
基金
甘肃省自然科学基金(0710RJZA046)
-
文摘
为了提高中值滤波器的滤波性能和适应不同强度的椒盐噪声,提出了基于噪声强度估计的中值滤除算法.该算法通过椒盐噪声密度估计确定图像中的噪声强度的大小,然后根据噪声强度选择相应的滤波器及参数.计算机仿真实验结果表明:该算法能对未知噪声强度的退化图像在较短的时间内有效地去除噪声的同时,较好地保护图像细节.
-
关键词
椒盐噪声
噪声强度估计
中值滤波
迭代中值滤波
自适应中值滤波
-
Keywords
pepper-salt Noise
noise density estimation
median filter
iterative median filter
adaptive median filter
-
分类号
TP391.41
[自动化与计算机技术—计算机应用技术]
-
-
题名矢量自对偶形态学滤波算子
被引量:3
- 11
-
-
作者
雷涛
樊养余
罗维薇
王履程
-
机构
兰州交通大学电子与信息工程学院
西北工业大学电子信息学院
-
出处
《自动化学报》
EI
CSCD
北大核心
2015年第5期1013-1023,共11页
-
基金
国家自然科学基金(61202314
61461025)
+1 种基金
中国博士后科学基金(2014T70937
2012M521801)资助~~
-
文摘
自对偶形态学算子不依赖形态学腐蚀、膨胀算子的先后次序,是一种等同处理图像背景和前景的形态学算子.而将自对偶形态学算子拓展到多通道图像处理是一个难题.为了解决该问题,提出了基于极值约束的矢量自对偶形态学滤波算子(EC-VSDMF).首先根据对称矢量排序算法构建满足对偶性的矢量形态学算子,然后依据形态学算子中的极值原理优化矢量集合,从而有效抑制矢量集合中包含单通道极值的矢量作为输出结果,最终实现了具有约束功能的矢量自对偶形态学滤波算子(VSDMF).实验结果表明,EC-VSDMF继承了传统自对偶形态学滤波算子的性质,将其应用于彩色图像滤波可以改善现有矢量形态学滤波算子导致滤波后图像亮度和色度发生偏移的问题.滤波后的图像在有效抑制噪声的同时较好地保留了图像细节,滤波性能甚至超过了多种现有的矢量中值滤波算子.
-
关键词
数学形态学
彩色图像滤波
矢量排序
自对偶形态学算子
-
Keywords
Mathematical morphology
color image filtering
vector ordering
self-dual morphological operators
-
分类号
TP391.41
[自动化与计算机技术—计算机应用技术]
-
-
题名基于工程项目引领的嵌入式系统实验设计
被引量:3
- 12
-
-
作者
谭筠梅
王履程
蓝天
-
机构
兰州交通大学国家级计算机实验教学示范中心
兰州交通大学电子与信息工程学院
-
出处
《实验科学与技术》
2014年第6期101-103,共3页
-
基金
兰州交通大学2013年实验教改基金资助项目(201301)
-
文摘
针对目前嵌入式系统实践教学存在的问题,探索并提出了以工程项目引领为基础的实验教学新模式。根据嵌入式实验教学目的和嵌入式工程人才培养要求,设计了具体可行的实验项目。学生通过完成该工程项目的软硬件设计,极大地提高了学习积极性及创新能力,教学实践表明,效果良好。
-
关键词
嵌入式系统
项目引领
实践教学
创新能力
-
Keywords
embedded system
project leading
practical teaching
innovation ability
-
分类号
TP39
[自动化与计算机技术—计算机应用技术]
G642.423
[自动化与计算机技术—计算机科学与技术]
-
-
题名基于区域生长的极光图像分割方法
被引量:2
- 13
-
-
作者
王妍
王履程
郑玉甫
雷涛
-
机构
兰州交通大学电子与信息工程学院
-
出处
《计算机工程与应用》
CSCD
北大核心
2016年第23期190-195,212,共7页
-
基金
国家自然科学基金(No.61201293
No.61202314
+1 种基金
No.61461025)
兰州交通大学青年科学基金项目(No.2011003)
-
文摘
极光卵对于研究磁层结构和能量存储是非常重要的。提出一种基于区域生长的极光图像分割算法。首先根据极光图像的特点,对原始图像进行预处理,根据预处理后图像的灰度特性,选取一组能正确代表目标区域的种子像素;其次,在分析像素邻域灰度特性的基础上,采用最大类间方差法求得自适应最佳阈值,从而代替传统区域生长算法手动选取阈值时造成的系统误差,再采用基于区域灰度差的方法,制定出区域生长的停止条件;最后,利用数学形态学的方法进行分割后修正,消除了由于噪声而造成生长后的区域中出现的空洞和不连续现象。实验结果表明,相对于已有的极光卵分割方法,基于区域生长的方法改善了图像的分割质量。
-
关键词
极光卵
区域生长
种子点
最大类间方差法
图像分割
-
Keywords
auroral oval
region-growing
seed points
optimal segmenting threshold
image segmentation
-
分类号
TP391.4
[自动化与计算机技术—计算机应用技术]
-
-
题名基于粗糙集的视频监控图像增强算法
被引量:2
- 14
-
-
作者
谭筠梅
王履程
-
机构
兰州交通大学国家级计算机实验教学示范中心
兰州交通大学电子与信息工程学院
-
出处
《自动化与仪器仪表》
2015年第2期117-118,共2页
-
基金
兰州交通大学青年科学基金项目(2011003)
-
文摘
视频监控系统中受许多客观因素的影响,图像实际成像会影响到监控效果。粗糙集理论是一种处理不完整性和不确定性问题的数学工具。根据人眼的视觉特性,将粗糙集理论应用到视频监控图像。实验表明该算法对视频监控图像有较好的增强效果,并对噪声具有一定的抑制作用,可以满足实际工程上的需求。
-
关键词
监控视频
图像增强
粗糙集
子图
-
Keywords
Video surveillance
Image enhancement
Rough set
subgraph
-
分类号
TP391
[自动化与计算机技术—计算机应用技术]
-
-
题名基于视频分析的电视视频监测技术
被引量:2
- 15
-
-
作者
赵亚男
王履程
张冰涛
-
机构
甘肃省广播电视网络股份有限公司
兰州交通大学电子与信息工程学院
-
出处
《广播与电视技术》
2017年第10期128-131,共4页
-
基金
兰州交通大学青年基金(批准号:2016004)资助
-
文摘
本文分析了当前广播电视安全播出中违法信息监测的重要性,对基于视频分析的电视节目内容监控的关键技术进行了分析,提出了视频、文字、音频等分类处理的方法。保障了广播电视节目的安全、可靠传输,提高了广播电视安全播出工作效率。
-
关键词
安全播出
场景分割
文字提取
字幕提取
-
Keywords
Safety broadcasting, Scene segmentation, Text extraction, Caption extraction
-
分类号
TN943.6
[电子电信—信号与信息处理]
-
-
题名矢量对偶形态学算子
被引量:1
- 16
-
-
作者
雷涛
张艳宁
樊养余
王小鹏
王履程
-
机构
西北工业大学计算机学院
兰州交通大学电子与信息工程学院
西北工业大学电子信息学院
-
出处
《电子学报》
EI
CAS
CSCD
北大核心
2016年第6期1285-1293,共9页
-
基金
国家自然科学基金(No.61461025
No.61202314
+3 种基金
No.61261209
No.61402371)
中国博士后科学基金(No.2012M521801)
中国博士后特别资助(No.2014T70937)
-
文摘
对偶性是形态学算子的重要性质之一,且具有重要应用.现有的矢量形态学算子均难以满足对偶性,从而限制了矢量数学形态学理论的发展及应用.为了解决该问题,研究了现有矢量形态学算子的性质,发现彩色空间和矢量排序算法是导致矢量形态学算子难以满足对偶性的两个关键因素.通过选用对称彩色空间,利用矢量对称距离实现了具有对偶特性的矢量形态学算子.为了验证矢量对偶形态学算子的性能,给出了满足对偶特性的矢量形态学滤波及梯度算子,并将其应用到彩色图像滤波及边缘检测中.实验结果表明,矢量对偶形态学算子较传统的矢量形态学算子具有更好的对称性,对噪声条件下的图像进行滤波及边缘检测,均获得了更好的处理效果.
-
关键词
数学形态学
矢量形态学算子
彩色图像处理
对偶性
-
Keywords
mathematical morphology
vector morphological operators
color image processing duality
-
分类号
TP391.41
[自动化与计算机技术—计算机应用技术]
-
-
题名协议组合逻辑安全的WMN认证密钥协商方案
被引量:1
- 17
-
-
作者
张冰涛
王小鹏
王履程
-
机构
兰州交通大学电子与信息工程学院
-
出处
《计算机应用研究》
CSCD
北大核心
2017年第8期2473-2477,共5页
-
基金
国家自然科学基金资助项目(64261029
61461025)
兰州交通大学青年基金资助项目(2016004)
-
文摘
IEEE P802.11 sTM/D1.01中EMSA认证协议是无线网状网络(WSN)安全的重要保证。基于协议组合逻辑形式化分析了EMSA协议的安全性,发现EMSA协议存在密钥泄露伪装攻击。针对该安全威胁,运用协议演绎系统提出了一种新的WSN安全认证密钥协商方案,并使用协议组合逻辑对新方案进行了形式化的安全性证明分析。最终表明新协议相对于EMSA协议更加安全,具有前向安全性,可抵御密钥泄露伪装攻击,更适合WSN应用环境。
-
关键词
无线网状网络安全
协议组合逻辑
协议演绎系统
密钥泄露伪装攻击
-
Keywords
WSN security
protocol composition logic
protocol derivation system
key compromise impersonation attack
-
分类号
TN915.08
[电子电信—通信与信息系统]
-
-
题名蓝牙技术鉴权的研究
- 18
-
-
作者
谭筠梅
王履程
-
机构
兰州交通大学信息与电气工程学院
-
出处
《中国仪器仪表》
2005年第10期58-62,共5页
-
文摘
蓝牙是一种新兴的无线接入技术,但其安全性不高。本文主要讨论其安全机制中鉴权的方法、鉴权函数以及鉴权在安全方面存在的问题及其改进。
-
关键词
蓝牙
鉴权
安全机制
蓝牙技术
鉴权
无线接入技术
安全机制
安全性
权函数
-
Keywords
Bluetooth Authentication Safety
-
分类号
TN925
[电子电信—通信与信息系统]
-
-
题名MANET中基于蚁群算法的改进DSR协议
被引量:1
- 19
-
-
作者
张冰涛
王小鹏
王履程
李延林
-
机构
兰州交通大学电子与信息工程学院
中国科学院近代物理研究所
-
出处
《计算机应用研究》
CSCD
北大核心
2018年第8期2461-2464,2468,共5页
-
基金
国家自然科学基金资助项目(64261029
61461025)
兰州交通大学青年基金资助项目(2016004)
-
文摘
详细分析了移动Ad hoc网络中DSR协议,发现在移动情形下节点端到端延迟、路由负载以及能量消耗等过高问题。针对DSR协议的不足之处,提出基于蚁群算法的改进DSR协议——ACOIDSR。新协议在路由发现过程中,建立稀疏模式和稠密模式弥补DSR协议泛洪策略的不足;在路由选择过程中,利用路径长度、拥塞程度和链接可靠度计算每条路径的信息素数量,进而作出最佳路径的选择;在路由维护过程中,提出一种新的信息素衰退策略用于路由维护。仿真实验用于ACOIDSR协议在端到端的延迟、路由负载以及能量消耗等方面分析,实验结果表明新协议在以上三个方面均有显著下降。
-
关键词
移动AD
HOC网络
蚁群算法
改进DSR协议
-
Keywords
mobile Ad hoc networks(MANET)
ant colony optimization(ACO)
improve DSR protocol
-
分类号
TN915.04
[电子电信—通信与信息系统]
-
-
题名面向铁路应急的MANET安全节点发现协议建模
被引量:1
- 20
-
-
作者
张冰涛
王小鹏
李延林
王履程
-
机构
兰州交通大学电子与信息工程学院
中国科学院近代物理研究所
-
出处
《兰州交通大学学报》
CAS
2015年第1期60-64,共5页
-
基金
国家自然科学基金(61261014
61202314)
+2 种基金
甘肃省科技支撑计划项目(1204GKCA051)
高等学校基本科研业务费项目(212090)
兰州交通大学-金川公司预研基金(JCYY2013009)
-
文摘
针对铁路应急通信网络安全问题,通过对其特征的详细分析,提出了面向铁路应急的移动自组网络安全节点发现协议建模,以达到解决铁路应急通信网络安全节点发现问题的目的.在对铁路应急的移动自组网络规则描述的基础上,给出具体的安全节点建模过程,并对其正确性、安全性、执行效率进行了详细的分析.最后以两类具体的安全节点发现过程为实例进行探讨,表明其与传统加密方式结合后,仍保持其有效性.
-
关键词
铁路应急通信
移动自组网络
安全节点发现
-
Keywords
railway emergency communication
mobile ad hoc networks
security node discovery
-
分类号
TP391.4
[自动化与计算机技术—计算机应用技术]
-