框架投影时序逻辑程序设计语言中的指针

针对框架投影时序逻辑程序设计语言Framed Tempura,提出了一种形式化指针及其实现的新方法.该方法扩展了投影时序逻辑,基于名字常量给出了指针引用和反引用的形式化定义,再使用框架操作符和极小模型,给出了指针在投影时序逻辑的可执行子集Framed Tempura中的实现方法.原地逆置单链表的实例说明该方法是切实可行的.

面向自动校验系统的指针式压力表读数识别

针对基于机器视觉的指针式压力表校验系统,给出了一种采用帧差分法和角度法自动识别指针仪表读数的方案,并且为了解决残缺指针区域的质心偏移问题提出了一种利用区域极值点确定指针质心的方法。首先基于霍夫圆检测进行表盘中心定位和表盘分割;然后采用三帧差分法检测指针区域,并从其八方向极值点中选择最接近指针区域最小外接矩形对角顶点的两点来定位指针质心;最后连接指针质心和表盘中心以计算指针偏转角度和识别读数。实验结果表明基于区域极值点的指针质心定位可以简单有效地修正残缺指针区域质心偏移,整体方案能够较准确地识别指针式压力表读数。

指针式电学三表自动检定系统研制

针对指针式电学三表无法实现全自动检定这一问题,该文设计并实现一套电学三表自动检定系统,通过一系列自动控制机制实现自动检定的硬件控制需求,提出应用帧间差值剪影法、Hough变换以及阈值逐次逼近法实现的实时动态指针识别算法,将指针信息转换为角度的方法可以满足准确快速的实时指针识别需求。建立的自动检定系统可以代替传统的检定方式,建立数据库以及数据处理系统用于数据的处理,整体实现指针式仪表的全自动检定,系统测试的综合误差优于0.03%。

FPW对缓冲区溢出的实时检测

缓冲区溢出类的安全漏洞是最为常见的一种攻击形式 .本文介绍了缓冲区溢出的机理和作者所设计的 FPW(Frame Pointer Watcher) .FPW通过监视前帧指针来实时检测对函数返回地址的溢出攻击 .和同类工具相比 。

基于备份控制流信息的缓冲区溢出监测技术

C/C++在提供灵活的使用方式和高效目标码的同时,由于缺少边界检查机制,缓冲区溢出成为C/C++程序面临的一种严重的攻击威胁。给出了一种缓冲区溢出攻击的动态防护方法。使用在库中声明的数组来备份函数的控制流信息,包括返回地址和栈帧指针,来动态监测非法的篡改行为。该方法可以对缓冲区溢出攻击中的直接攻击和间接攻击均有效防护。通过RIPE基准平台和两道实际应用的测试以及理论比较表明该方法的有效性。

基于Libsafe库的缓冲区溢出检测算法改进

C/C++提供了很多高效的诸如strcpy等字符串操作库函数,但由于缺乏相应安全边界检查机制,存在着一些容易被攻击者利用的缓冲区溢出漏洞与威胁。讨论已有的Libsafe安全库增强机制并分析了其依赖于栈帧指针回溯栈活动记录的局限性。提出基于程序指令特征码匹配来回溯函数栈活动记录的Libsafe安全库增强方法。逐条匹配函数体指令与已知候选集指令来获取栈信息。并在追溯栈活动记录时,将已回溯到的栈活动记录用哈希函数保存,以返回地址作为关键字用链地址法进行检索。对改进版Libsafe安全库检测方法做了算法可行性和复杂度分析。从灵敏性、完整性、准确性、性能等几个方面做了实验与分析,表明该机制的高效性与可用性。

汽车虚拟仪表的指针设计与实现

针对汽车虚拟仪表指针运动过程中的指示准确度、响应时间和平滑性问题,将传统汽车仪表机械指针运动机制与显示器帧频率相结合,设计一种虚拟指针运动控制方案。CANoe硬件在环仿真实验结果表明:该方案不仅满足指针指示的准确度和响应时间要求,而且指针运动过程中无拖影、跳变等现象。

基于机器视觉的指针式仪表读数识别

针对基于机器视觉的仪表自动校准系统,提出了一种在HSV颜色空间中进行指针仪表读数识别的方案。首先通过对比指针位置不同的两幅表盘图像获得不包含指针的参考表盘图像,然后在其明度分量中通过Hough圆检测进行表盘中心定位,在饱和度分量中进行刻度区域定位,并采用连通域标记法定位刻度线质心,用这些质心和表盘中心建立读数识别参考系统。针对待识别的表盘图像,基于帧差分法进行指针区域定位并确定指针的最小外接矩形,将其质心视为指针质心以克服质心偏移问题,在检测到刻度线质心和指针质心后,采用角度法进行读数识别。实验结果表明该方法能精确有效地确定指针仪表读数。