物联网中安全通信协议的形式化分析

针对物联网通信协议安全性不足和使用非形式化方法进行分析时容易出现错误的问题,提出了一种物联网安全通信协议,建立了协议主体模型和攻击者模型,采用通信顺序进程CSP的形式化方法对协议模型进行了分析。该通信协议对传送的信息进行加密,采用的加密方式是散列函数结合异或运算。协议主体进行了相互认证,认证服务器为协议主体通信分配了会话密钥,解决了读写器非法扫描和信息安全传送的问题。利用故障发散改进检测器（FDR）对该协议模型CSP进程进行了检测,结果表明：该协议主体进行了相互认证,会话密钥是安全的,所提出的物联网通信协议是安全可靠的,CSP方法用于分析协议的安全性是可行的。     

嵌入式移动数据库中的移动Agent问题探讨

随着互联网络技术和无线通信技术的发展,嵌入式移动数据库技术已成为目前数据库领域的一个新的研究分支,文中对移动Agent技术进行了概要说明,在此基础上讨论了将移动Agent技术应用于嵌入式移动数据库中的优势,探讨了基于移动Agent的嵌入式移动数据库的体系结构以及将移动Agent引入后它的研究侧重点。     

基于特征的印刷体数字符号识别系统

探讨了一种印刷体数字符号快速识别算法，采用图像旋转、去噪声、图像分割等手段对含有印刷体数字符号的图像进行预处理，然后根据印刷体数字的字符结构提取4种稳定且有效的结构特征，即横线特征、竖线特征、水平方向过线数和垂直方向过线数．根据这些特征构造编码器，进行编码识别，使用VC 编程实现．实验表明，该算法速度快、精度高，有一定的抗干扰性。     

面向物联网的智能家居系统设计

为了实现家庭设施的智能化控制,提出了应用物联网技术的智能家居系统设计方法,综合运用计算机网络、无线遥控、视频监控、视频编码与传输、电器控制等技术,以工控PC主板为核心,插入视频采集卡,应用设计的计算机软件进行MPEG4编码实现了视频录像功能,再将编码后的数据传送到网络或手机上,实现了远程视频监控.采用STC89C51单片机,将无线接收模块、无线发射模块、电话模块连接起来,并通过串口与PC主板连接,从而实现了报警信息采集、智能家居控制功能.通过协议转发器,将无线控制信号转发为红外控制信号,实现了对空调、电视等设备的控制,达到防盗监控、视频录像、远程视频监控、远程控制等诸多功能.     

Casper/FDR和串空间在物联网通信协议中的形式化分析

通过应用实例研究了如何用Casper/FDR和串空间两种分析方法对通信协议进行形式化分析:用Casper/FDR对协议的有穷状态进行穷举验证,当发现协议漏洞时会自动给出攻击的迹,但是此方法会产生状态爆炸的问题;串空间方法正好可以解决状态爆炸问题,用串空间对协议的各种状态进行证明,但是如果发现了协议漏洞,该方法不能给出攻击者的迹。     

基于FPGA的DES加密芯片的设计

通过对DES加密原理的分析,推导出了DES的算法公式,通过对算法中核心部分的数学分析和化简,借助Verilog语言与C语言编程以及EDA设计软件的帮助,实现了DES算法的FPGA条件下的重构设计,同时对密钥的动态管理提出了新的设计方案。最后,通过对设计结果的功能仿真和测试分析,论证了整个设计过程的正确性。     

基于马尔可夫链的嵌入式内存预测分配算法

为了提高嵌入式系统内存动态分配效率,在分析经典内存分配算法和马尔可夫链预测原理的基础上,提出了一种嵌入式系统内存预测分配算法.该算法融合聚类分析法,利用内存分配的转移量统计信息及其概率矩阵对嵌入式系统内存动态分配进行预测.在实现中采用轻量级预测线程预测下一次申请的内存块大小,减少内存动态分配时等待内存创建的时间.通过增加预测线程的μC/OS-Ⅱ系统和未增加预测线程的μC/OS-Ⅱ系统进行对比实验,实验结果表明了该算法的可行性和高效性.     

嵌入式智能家电远程控制系统设计

设计一种基于嵌入式系统的电话智能遥控家用电器装置。该装置作为一种附件嵌入到电话机中,具有主人手机号码预存识别、密码保护、语音提示操作系统和家电智能控制等功能,实现了家用电器远程智能控制的目的。本文简单地分析本装置的国内需求状况和市场开发前景;提出该装置的具体硬件和软件设计方法。     

基于计算机视觉的汽车收费系统

给出了一种基于计算机视觉的汽车收费系统 ,该系统由传感装置、图像采集系统和计算机车牌识别和收费管理系统组成 .当埋地线圈检测到汽车通过关口时 ,发出信号给图像采集系统 ,摄入并采集到车牌图像后 ,经识别软件得到汽车的牌照号码 ,由收费系统查询相应的数据库 ,进行收费、通缉报警等操作     

实时操作系统任务调度策略的研究与设计

实时操作系统的调度策略是影响系统实时性和稳定性的一个重要因素,通过对抢占调度和分时调度的研究,设计了一个可分级抢占和分时调度的实时操作系统。用抢占调度方式来保证系统的实时性,用分时调度来减少进程饥饿现象的发生,提高系统的稳定性,更易于使用。