期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
8
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
框架投影时序逻辑程序设计语言中的指针
被引量:
4
1
作者
王小兵
段振华
《西安电子科技大学学报》
EI
CAS
CSCD
北大核心
2008年第6期1069-1074,共6页
针对框架投影时序逻辑程序设计语言Framed Tempura,提出了一种形式化指针及其实现的新方法.该方法扩展了投影时序逻辑,基于名字常量给出了指针引用和反引用的形式化定义,再使用框架操作符和极小模型,给出了指针在投影时序逻辑的可执行子...
针对框架投影时序逻辑程序设计语言Framed Tempura,提出了一种形式化指针及其实现的新方法.该方法扩展了投影时序逻辑,基于名字常量给出了指针引用和反引用的形式化定义,再使用框架操作符和极小模型,给出了指针在投影时序逻辑的可执行子集Framed Tempura中的实现方法.原地逆置单链表的实例说明该方法是切实可行的.
展开更多
关键词
形式语言
时序逻辑程序设计
数据结构
程序设计语言
下载PDF
职称材料
面向自动校验系统的指针式压力表读数识别
被引量:
14
2
作者
李祖贺
刘嘉
+1 位作者
薛冰
王凤琴
《计算机工程与应用》
CSCD
北大核心
2016年第23期213-219,共7页
针对基于机器视觉的指针式压力表校验系统,给出了一种采用帧差分法和角度法自动识别指针仪表读数的方案,并且为了解决残缺指针区域的质心偏移问题提出了一种利用区域极值点确定指针质心的方法。首先基于霍夫圆检测进行表盘中心定位和表...
针对基于机器视觉的指针式压力表校验系统,给出了一种采用帧差分法和角度法自动识别指针仪表读数的方案,并且为了解决残缺指针区域的质心偏移问题提出了一种利用区域极值点确定指针质心的方法。首先基于霍夫圆检测进行表盘中心定位和表盘分割;然后采用三帧差分法检测指针区域,并从其八方向极值点中选择最接近指针区域最小外接矩形对角顶点的两点来定位指针质心;最后连接指针质心和表盘中心以计算指针偏转角度和识别读数。实验结果表明基于区域极值点的指针质心定位可以简单有效地修正残缺指针区域质心偏移,整体方案能够较准确地识别指针式压力表读数。
展开更多
关键词
指针式仪表
读数识别
帧差分
质心提取
下载PDF
职称材料
指针式电学三表自动检定系统研制
被引量:
4
3
作者
曾舒帆
李亚娟
+3 位作者
朱自科
陈万才
张自长
张颖超
《中国测试》
CAS
北大核心
2019年第4期104-108,共5页
针对指针式电学三表无法实现全自动检定这一问题,该文设计并实现一套电学三表自动检定系统,通过一系列自动控制机制实现自动检定的硬件控制需求,提出应用帧间差值剪影法、Hough变换以及阈值逐次逼近法实现的实时动态指针识别算法,将指...
针对指针式电学三表无法实现全自动检定这一问题,该文设计并实现一套电学三表自动检定系统,通过一系列自动控制机制实现自动检定的硬件控制需求,提出应用帧间差值剪影法、Hough变换以及阈值逐次逼近法实现的实时动态指针识别算法,将指针信息转换为角度的方法可以满足准确快速的实时指针识别需求。建立的自动检定系统可以代替传统的检定方式,建立数据库以及数据处理系统用于数据的处理,整体实现指针式仪表的全自动检定,系统测试的综合误差优于0.03%。
展开更多
关键词
指针式仪表
自动检定
帧间差值剪影法
HOUGH变换
阈值逐次逼近法
下载PDF
职称材料
FPW对缓冲区溢出的实时检测
被引量:
2
4
作者
邢江宁
张炜
+1 位作者
张铁军
苏凯英
《小型微型计算机系统》
CSCD
北大核心
2004年第4期766-769,共4页
缓冲区溢出类的安全漏洞是最为常见的一种攻击形式 .本文介绍了缓冲区溢出的机理和作者所设计的 FPW(Frame Pointer Watcher) .FPW通过监视前帧指针来实时检测对函数返回地址的溢出攻击 .和同类工具相比 。
关键词
缓冲区溢出
帧指针
前帧指针
返回地址
下载PDF
职称材料
基于备份控制流信息的缓冲区溢出监测技术
被引量:
2
5
作者
谢汶兵
马晓东
+1 位作者
李中升
牛夏牧
《计算机工程与应用》
CSCD
北大核心
2016年第11期101-107,共7页
C/C++在提供灵活的使用方式和高效目标码的同时,由于缺少边界检查机制,缓冲区溢出成为C/C++程序面临的一种严重的攻击威胁。给出了一种缓冲区溢出攻击的动态防护方法。使用在库中声明的数组来备份函数的控制流信息,包括返回地址和栈帧指...
C/C++在提供灵活的使用方式和高效目标码的同时,由于缺少边界检查机制,缓冲区溢出成为C/C++程序面临的一种严重的攻击威胁。给出了一种缓冲区溢出攻击的动态防护方法。使用在库中声明的数组来备份函数的控制流信息,包括返回地址和栈帧指针,来动态监测非法的篡改行为。该方法可以对缓冲区溢出攻击中的直接攻击和间接攻击均有效防护。通过RIPE基准平台和两道实际应用的测试以及理论比较表明该方法的有效性。
展开更多
关键词
缓冲区溢出
控制流备份
返回地址
帧指针
动态监测
RIPE
下载PDF
职称材料
基于Libsafe库的缓冲区溢出检测算法改进
6
作者
谢汶兵
姜军
+1 位作者
李中升
牛夏牧
《计算机科学》
CSCD
北大核心
2015年第S1期382-387 424,424,共7页
C/C++提供了很多高效的诸如strcpy等字符串操作库函数,但由于缺乏相应安全边界检查机制,存在着一些容易被攻击者利用的缓冲区溢出漏洞与威胁。讨论已有的Libsafe安全库增强机制并分析了其依赖于栈帧指针回溯栈活动记录的局限性。提出基...
C/C++提供了很多高效的诸如strcpy等字符串操作库函数,但由于缺乏相应安全边界检查机制,存在着一些容易被攻击者利用的缓冲区溢出漏洞与威胁。讨论已有的Libsafe安全库增强机制并分析了其依赖于栈帧指针回溯栈活动记录的局限性。提出基于程序指令特征码匹配来回溯函数栈活动记录的Libsafe安全库增强方法。逐条匹配函数体指令与已知候选集指令来获取栈信息。并在追溯栈活动记录时,将已回溯到的栈活动记录用哈希函数保存,以返回地址作为关键字用链地址法进行检索。对改进版Libsafe安全库检测方法做了算法可行性和复杂度分析。从灵敏性、完整性、准确性、性能等几个方面做了实验与分析,表明该机制的高效性与可用性。
展开更多
关键词
Libsafe库检测
栈帧指针
堆栈活动记录
指令特征码
回溯栈
哈希函数
下载PDF
职称材料
汽车虚拟仪表的指针设计与实现
被引量:
1
7
作者
吉爽
程安宇
邓勇
《汽车零部件》
2018年第2期71-76,共6页
针对汽车虚拟仪表指针运动过程中的指示准确度、响应时间和平滑性问题,将传统汽车仪表机械指针运动机制与显示器帧频率相结合,设计一种虚拟指针运动控制方案。CANoe硬件在环仿真实验结果表明:该方案不仅满足指针指示的准确度和响应时间...
针对汽车虚拟仪表指针运动过程中的指示准确度、响应时间和平滑性问题,将传统汽车仪表机械指针运动机制与显示器帧频率相结合,设计一种虚拟指针运动控制方案。CANoe硬件在环仿真实验结果表明:该方案不仅满足指针指示的准确度和响应时间要求,而且指针运动过程中无拖影、跳变等现象。
展开更多
关键词
汽车虚拟仪表
显示器帧频率
虚拟指针
指针控制
下载PDF
职称材料
基于机器视觉的指针式仪表读数识别
被引量:
18
8
作者
张志锋
王凤琴
+2 位作者
田二林
薛冰
李祖贺
《控制工程》
CSCD
北大核心
2020年第3期581-586,共6页
针对基于机器视觉的仪表自动校准系统,提出了一种在HSV颜色空间中进行指针仪表读数识别的方案。首先通过对比指针位置不同的两幅表盘图像获得不包含指针的参考表盘图像,然后在其明度分量中通过Hough圆检测进行表盘中心定位,在饱和度分...
针对基于机器视觉的仪表自动校准系统,提出了一种在HSV颜色空间中进行指针仪表读数识别的方案。首先通过对比指针位置不同的两幅表盘图像获得不包含指针的参考表盘图像,然后在其明度分量中通过Hough圆检测进行表盘中心定位,在饱和度分量中进行刻度区域定位,并采用连通域标记法定位刻度线质心,用这些质心和表盘中心建立读数识别参考系统。针对待识别的表盘图像,基于帧差分法进行指针区域定位并确定指针的最小外接矩形,将其质心视为指针质心以克服质心偏移问题,在检测到刻度线质心和指针质心后,采用角度法进行读数识别。实验结果表明该方法能精确有效地确定指针仪表读数。
展开更多
关键词
机器视觉
指针仪表
读数识别
帧差分
最小外接矩形
下载PDF
职称材料
题名
框架投影时序逻辑程序设计语言中的指针
被引量:
4
1
作者
王小兵
段振华
机构
西安电子科技大学计算理论与技术研究所
出处
《西安电子科技大学学报》
EI
CAS
CSCD
北大核心
2008年第6期1069-1074,共6页
基金
国家自然科学基金重点项目资助(60433010)
文摘
针对框架投影时序逻辑程序设计语言Framed Tempura,提出了一种形式化指针及其实现的新方法.该方法扩展了投影时序逻辑,基于名字常量给出了指针引用和反引用的形式化定义,再使用框架操作符和极小模型,给出了指针在投影时序逻辑的可执行子集Framed Tempura中的实现方法.原地逆置单链表的实例说明该方法是切实可行的.
关键词
形式语言
时序逻辑程序设计
数据结构
程序设计语言
Keywords
formal languages
temporal logic programming
data structures
pointer
framing
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
TP312 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
面向自动校验系统的指针式压力表读数识别
被引量:
14
2
作者
李祖贺
刘嘉
薛冰
王凤琴
机构
郑州轻工业学院计算机与通信工程学院
郑州轻工业学院软件学院
河南省日立信股份有限公司
出处
《计算机工程与应用》
CSCD
北大核心
2016年第23期213-219,共7页
基金
河南省科技厅基础与前沿技术研究项目(No.142300410248)
河南省高等学校重点科研项目计划(No.15A510041)
文摘
针对基于机器视觉的指针式压力表校验系统,给出了一种采用帧差分法和角度法自动识别指针仪表读数的方案,并且为了解决残缺指针区域的质心偏移问题提出了一种利用区域极值点确定指针质心的方法。首先基于霍夫圆检测进行表盘中心定位和表盘分割;然后采用三帧差分法检测指针区域,并从其八方向极值点中选择最接近指针区域最小外接矩形对角顶点的两点来定位指针质心;最后连接指针质心和表盘中心以计算指针偏转角度和识别读数。实验结果表明基于区域极值点的指针质心定位可以简单有效地修正残缺指针区域质心偏移,整体方案能够较准确地识别指针式压力表读数。
关键词
指针式仪表
读数识别
帧差分
质心提取
Keywords
pointer
instrument
reading recognition
frame
difference
centroid extraction
分类号
TP391 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
指针式电学三表自动检定系统研制
被引量:
4
3
作者
曾舒帆
李亚娟
朱自科
陈万才
张自长
张颖超
机构
云南省计量测试技术研究院
出处
《中国测试》
CAS
北大核心
2019年第4期104-108,共5页
基金
国家质检公益性行业科研专项(201410133)
文摘
针对指针式电学三表无法实现全自动检定这一问题,该文设计并实现一套电学三表自动检定系统,通过一系列自动控制机制实现自动检定的硬件控制需求,提出应用帧间差值剪影法、Hough变换以及阈值逐次逼近法实现的实时动态指针识别算法,将指针信息转换为角度的方法可以满足准确快速的实时指针识别需求。建立的自动检定系统可以代替传统的检定方式,建立数据库以及数据处理系统用于数据的处理,整体实现指针式仪表的全自动检定,系统测试的综合误差优于0.03%。
关键词
指针式仪表
自动检定
帧间差值剪影法
HOUGH变换
阈值逐次逼近法
Keywords
pointer
meter
automatic verification
inter
frame
difference silhouette method
Hough transform
threshold successive approximation method
分类号
TP274.4 [自动化与计算机技术—检测技术与自动化装置]
下载PDF
职称材料
题名
FPW对缓冲区溢出的实时检测
被引量:
2
4
作者
邢江宁
张炜
张铁军
苏凯英
机构
南京师范大学数学与计算机学院
中国科学院沈阳计算技术研究所
张家港市沙洲工学院计算机系
出处
《小型微型计算机系统》
CSCD
北大核心
2004年第4期766-769,共4页
基金
863应急项目基金 ( 3 0 1-7-8)资助
文摘
缓冲区溢出类的安全漏洞是最为常见的一种攻击形式 .本文介绍了缓冲区溢出的机理和作者所设计的 FPW(Frame Pointer Watcher) .FPW通过监视前帧指针来实时检测对函数返回地址的溢出攻击 .和同类工具相比 。
关键词
缓冲区溢出
帧指针
前帧指针
返回地址
Keywords
buffer overflow
frame pointer
previous
frame pointer
return address
分类号
TP393 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
基于备份控制流信息的缓冲区溢出监测技术
被引量:
2
5
作者
谢汶兵
马晓东
李中升
牛夏牧
机构
江南计算技术研究所
哈尔滨工业大学深圳研究生院
出处
《计算机工程与应用》
CSCD
北大核心
2016年第11期101-107,共7页
基金
国家863高技术研究发展计划项目(No.2012AA010901)
国家科技重大专项基金(No.2013ZX01029002)
计算机体系结构国家重点实验室开放课题
文摘
C/C++在提供灵活的使用方式和高效目标码的同时,由于缺少边界检查机制,缓冲区溢出成为C/C++程序面临的一种严重的攻击威胁。给出了一种缓冲区溢出攻击的动态防护方法。使用在库中声明的数组来备份函数的控制流信息,包括返回地址和栈帧指针,来动态监测非法的篡改行为。该方法可以对缓冲区溢出攻击中的直接攻击和间接攻击均有效防护。通过RIPE基准平台和两道实际应用的测试以及理论比较表明该方法的有效性。
关键词
缓冲区溢出
控制流备份
返回地址
帧指针
动态监测
RIPE
Keywords
buffer overflow
control flow duplication
return address
frame pointer
runtime monitor
RIPE
分类号
TP309 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
基于Libsafe库的缓冲区溢出检测算法改进
6
作者
谢汶兵
姜军
李中升
牛夏牧
机构
江南计算技术研究所
哈尔滨工业大学深圳研究生院
出处
《计算机科学》
CSCD
北大核心
2015年第S1期382-387 424,424,共7页
基金
国家"863"高技术研究发展计划项目基金(2012AA010901)
国家科技重大专项基(2013ZX01029002)
计算机体系结构国家重点实验室开放课题资助
文摘
C/C++提供了很多高效的诸如strcpy等字符串操作库函数,但由于缺乏相应安全边界检查机制,存在着一些容易被攻击者利用的缓冲区溢出漏洞与威胁。讨论已有的Libsafe安全库增强机制并分析了其依赖于栈帧指针回溯栈活动记录的局限性。提出基于程序指令特征码匹配来回溯函数栈活动记录的Libsafe安全库增强方法。逐条匹配函数体指令与已知候选集指令来获取栈信息。并在追溯栈活动记录时,将已回溯到的栈活动记录用哈希函数保存,以返回地址作为关键字用链地址法进行检索。对改进版Libsafe安全库检测方法做了算法可行性和复杂度分析。从灵敏性、完整性、准确性、性能等几个方面做了实验与分析,表明该机制的高效性与可用性。
关键词
Libsafe库检测
栈帧指针
堆栈活动记录
指令特征码
回溯栈
哈希函数
Keywords
Detection of Libsafe library,Stack
frame pointer
,Activate record,Attribute code of instruction,Look back upon stack,Hash functio
分类号
TP309 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
汽车虚拟仪表的指针设计与实现
被引量:
1
7
作者
吉爽
程安宇
邓勇
机构
重庆邮电大学自动化学院
出处
《汽车零部件》
2018年第2期71-76,共6页
文摘
针对汽车虚拟仪表指针运动过程中的指示准确度、响应时间和平滑性问题,将传统汽车仪表机械指针运动机制与显示器帧频率相结合,设计一种虚拟指针运动控制方案。CANoe硬件在环仿真实验结果表明:该方案不仅满足指针指示的准确度和响应时间要求,而且指针运动过程中无拖影、跳变等现象。
关键词
汽车虚拟仪表
显示器帧频率
虚拟指针
指针控制
Keywords
Car virtual instrument
Display
frame
frequency
Virtual
pointer
pointer
control
分类号
U463.7 [机械工程—车辆工程]
下载PDF
职称材料
题名
基于机器视觉的指针式仪表读数识别
被引量:
18
8
作者
张志锋
王凤琴
田二林
薛冰
李祖贺
机构
郑州轻工业大学软件学院
郑州轻工业大学计算机与通信工程学院
河南省日立信股份有限公司
出处
《控制工程》
CSCD
北大核心
2020年第3期581-586,共6页
基金
国家自然科学基金项目(61975187,61873246,61702462,61702464)
河南省科技攻关计划项目(182102210607,192102210108,192102210243)
+2 种基金
河南省高等学校重点科研项目计划(15A510041,16A520028)
郑州轻工业大学博士科研基金项目(2014BSJJ077,2018BSJJ040)
郑州轻工业大学星空众创空间孵化项目(2018ZCKJ318)。
文摘
针对基于机器视觉的仪表自动校准系统,提出了一种在HSV颜色空间中进行指针仪表读数识别的方案。首先通过对比指针位置不同的两幅表盘图像获得不包含指针的参考表盘图像,然后在其明度分量中通过Hough圆检测进行表盘中心定位,在饱和度分量中进行刻度区域定位,并采用连通域标记法定位刻度线质心,用这些质心和表盘中心建立读数识别参考系统。针对待识别的表盘图像,基于帧差分法进行指针区域定位并确定指针的最小外接矩形,将其质心视为指针质心以克服质心偏移问题,在检测到刻度线质心和指针质心后,采用角度法进行读数识别。实验结果表明该方法能精确有效地确定指针仪表读数。
关键词
机器视觉
指针仪表
读数识别
帧差分
最小外接矩形
Keywords
Machine vision
pointer
gauge
reading recognition
frame
difference
minimal bounding rectangle
分类号
TP391.4 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
框架投影时序逻辑程序设计语言中的指针
王小兵
段振华
《西安电子科技大学学报》
EI
CAS
CSCD
北大核心
2008
4
下载PDF
职称材料
2
面向自动校验系统的指针式压力表读数识别
李祖贺
刘嘉
薛冰
王凤琴
《计算机工程与应用》
CSCD
北大核心
2016
14
下载PDF
职称材料
3
指针式电学三表自动检定系统研制
曾舒帆
李亚娟
朱自科
陈万才
张自长
张颖超
《中国测试》
CAS
北大核心
2019
4
下载PDF
职称材料
4
FPW对缓冲区溢出的实时检测
邢江宁
张炜
张铁军
苏凯英
《小型微型计算机系统》
CSCD
北大核心
2004
2
下载PDF
职称材料
5
基于备份控制流信息的缓冲区溢出监测技术
谢汶兵
马晓东
李中升
牛夏牧
《计算机工程与应用》
CSCD
北大核心
2016
2
下载PDF
职称材料
6
基于Libsafe库的缓冲区溢出检测算法改进
谢汶兵
姜军
李中升
牛夏牧
《计算机科学》
CSCD
北大核心
2015
0
下载PDF
职称材料
7
汽车虚拟仪表的指针设计与实现
吉爽
程安宇
邓勇
《汽车零部件》
2018
1
下载PDF
职称材料
8
基于机器视觉的指针式仪表读数识别
张志锋
王凤琴
田二林
薛冰
李祖贺
《控制工程》
CSCD
北大核心
2020
18
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部