基于PIC16F917单片机的预付费电能表设计

预付费电能表是实行"先购电,后用电"的一种计量装置。系统以单片机为主控核心,集电能采集、数据处理、写卡、显示及控制等多种功能为一体。设计实现的智能预付费电能表具有稳定性强、实时性好及使用方便等特点,不仅克服了手工抄表缺乏智能化的缺点,而且能适应多种应用状况,具有良好的发展前景和应用价值。     

一种具有强实时性、强鲁棒性的图像匹配算法

针对描述符BRIEF对图像旋转敏感的问题,提出一种改进的描述符RIBRIEF,该描述符具有识别能力强、提取速度快、占用空间小及抗干扰能力强等优点,并具有旋转不变性.经分析,图像匹配算法的实时性较大程度上由特征点数量、匹配点搜索次数及描述符相似度计算复杂度决定,因此提出通过描述符索引与描述符聚类相结合、基于FAST稳定特征点提取和逻辑运算计算相似度等方法提高算法的整体实时性.实验结果表明,与描述符BRIEF及SURF相比较,基于描述符RIBRIEF的图像匹配算法在鲁棒性及实时性方面均具有明显优势.     

PCNN模型在彩色图像分割中的应用

针对脉冲耦合神经网络(PCNN)模型主要应用于灰度图像处理的局限性,利用脉冲发生器将颜色信息引入模型作为输入,与灰度信息共同控制神经元的内部行为,控制等灰度值的不同颜色区域分期点火,实现彩色图像的精确分割.双输入PCNN模型实现了彩色图像的分割,同时保持了PCNN模型对噪声的鲁棒性,从简单的仿真图像和实际图像两方面验证了此分割方法的有效性.     

基于动态符号执行的C代码缓冲区溢出检测

缓冲区溢出是C程序中众多安全隐患的根源之一,以C程序代码为目标对象,提出了一个基于底层虚拟机中间代码的缓冲区溢出检测工具PathChecker.该工具基于动态符号执行方法,使用无量词谓词公式刻画缓冲区操作的安全性质,并利用可满足模型理论求解器技术检验缓冲区操作的安全性.实验结果表明,该工具能有效检测C代码中的缓冲区溢出漏洞,且易于推广至其他高级程序语言代码和其他类型安全漏洞的检测.     

椭圆曲线密码的优化设计方法

椭圆曲线密码算法依赖于离散对数问题的困难性,具有安全强度高、计算复杂度小的特点.椭圆曲线密码系统的主要操作为点乘运算,是加解密过程中最为耗时的部分.文中对点乘运算进行优化,提出了椭圆曲线密码算法实现的硬件体系结构,设计了基于FPGA/ASIC的加解密系统.通过对有限二进制域的乘法优化、平方优化和除法优化,提高了加解密算法的实现效率.分析和测试表明,所设计的硬件体系结构具有硬件资源消耗小、模块接口复杂度低和可扩展性强的特点,且支持113、163、193等多种密钥长度,相对于椭圆曲线密码算法的软件实现,文中的椭圆曲线密码处理器加速比最高可达到上千倍.     

视频序列中运动对象检测技术的研究现状与展望*

将运动对象检测技术分为变化检测、运动检测和特征检测三类,介绍了各类技术的思想,对现有方法进行了归类,指出各方法的本质区别,从理论和实验两方面剖析其优势和不足并指出了适用场合。讨论了目前视频运动对象检测技术存在的问题,展望了未来的发展方向。     

基于MPEG 4的无线视频传输方案的研究*

提出一种基于MPEG4的无线视频传输非等重误码保护方案。根据信道反馈的丢包率信息,自适应选择输出视频流的保护模式。在丢包信道中,对MPEG4码流中运动信息和纹理信息采取不同的保护力度,使用FEC重点保护运动信息数据提高其对误码的鲁棒性。在无丢包信道中,不对数据进行保护,降低打包开销,减少冗余数据。     

安全攸关软件系统建模与验证专题前言

随着计算机技术应用的日益普及和不断深入,软件系统的规模和复杂性急剧增大,软件在越来越多的系统中成为主要的使能部件.在航空航天、武器装备、医疗设备、交通、核能、金融等安全攸关的应用领域,软件系统失效将导致灾难性的后果,保障软件系统的质量成为迫切的需求和挑战.建模、分析与验证是保障软件系统质量的重要环节和手段.本专题收录的14篇论文反映了近年来我国学者在安全攸关软件系统建模与验证领域的     

基于RFID技术的无线Key模型

随着互联网应用的普及,USBKey在网上交易、身份签名和认证等各种电子商务活动中扮演着越来越重要的角色.因此USBKey的发展趋势成为人们关注的焦点.针对公司、银行、交易所等场所可能出现的USBKey使用的安全问题,本文提出了一种基于RFID技术的无线Key模型,并对其安全性进行了分析.     

测试流程管理与监控系统

工作流中的过程定义、解释执行以及管理监控等相关技术能很好的解决测试管理环境中测试流程定义、测试流程解释执行及监控等相关问题,文中首先分析了软件测试过程模型目前无法满足需求的情况和工作流技术的特点,提出了基于工作流的方法,采用基于XML的测试流程模板定义和存储方法,应用操作语义来描述软件测试过程实例,最后给出了系统的设计和实现过程。