RSA算法中大素数硬件生成方法研究与设计

在RSA加密算法的硬件设计中,大素数的生成极为关键.为了提高RSA算法中大素数的生成效率,在传统筛法的基础上,提出了一种能自动生成确定性大素数的硬件实现算法-循环迭代法.该算法的硬件实现采用状态机架构,使用VerilogHDL语言描述,并通过Modelsim仿真.实验结果表明,使用该方法生成素数序列,具有快速准确、高效、易于硬件实现的特点,为RSA算法的使用提供了极大的便利.     

短时交通流预测FSMSVR模型

针对城市道路短时交通流的复杂非线性特点和以往的预测仅考虑典型交通条件（无交通事故等突发事件）的现状,结合交通流的特征,提出了一种有限状态机支持向量回归模型（finite state machine of support vector regression model,FSMSVR）的短时交通流预测机制. 通过线性回归算法和指数平滑算法划分交通流状态,根据各状态特点结合支持向量回归算法建立有限状态机工作机制,实现涵盖典型和非典型交通条件的短时交通流预测. 通过实验例证,对比了FSMSVR模型和传统SVR模型对城市道路6min交通流的预测,研究结果表明,该预测机制能够提高预测精确度,在非典型条件下有着较好的预测表现.     

电话会议系统中电话事件状态及状态转移设计

以一个电话会议汇接系统的设计开发为例，针对电话会议汇接系统的实时性多任务的特点、运用 有限状态机模型，从状态和状态转移的设计入手，结合面向对象程序语言编程，探讨此类系统的软件设计 的思路和方法。     

基于三位一体协同的虚拟机隔离保护方案

针对基于虚拟机(virtual machine, VM)保护框架的代码隔离技术中所存在的单一隔离环境安全问题,提出一种三位一体协同虚拟机保护方案。基于Mealy自动机对核心代码和关键数据进行混淆转换,采用虚拟机框架进行保护,将关键数据和核心代码迁移至第三方安全环境,最后结合篡改恢复和自毁技术构建本地软硬件和远程云端三位一体协同保护方案,构建了模拟系统,并基于测试保护程序验证了该保护方案的有效性和可行性。     

nRF905的LED屏无线通信设计与实现

针对采用芯片nRF905的LED屏无线通信,分别给出了上位机和下位机的系统框图,分析了系统的功耗,比较了无线模块和串口通信的通信速率,验证了系统的可行性,设计了串口通信协议,为保证数据质量,设计了数据通信协议,针对串口数据的nRF905分包转发,设计了无线芯片通信协议,例举了状态机的五种状态,介绍了状态间的转换条件,巧妙地编程设计了通信数据的定时器检查,论述了基于状态机的嵌入式单片机软件编程。     

嵌入式IPv6协议的设计与实现

随着联网设备特别是嵌入式联网设备数量的增加,能提供几乎无穷尽IP地址的IPv6协议的优势越来越显著.所以,在嵌入式设备中实现IPv6协议栈具有很大的现实意义.结合嵌入式本身所固有的性质,给出了IPv6的设计原则和关键技术.实现时简化了IPv6模块中的ICMPv6和邻居发现的相关功能,在传输层只实现TCP模块,并简化了TCP运行状态机机制.最后将实现的协议通过移植到LPC2200开发板上,并通过简单C/S通信实验表明协议实现的可行性.整个软件代码量小、结构简单、易于移植和扩充.对嵌入式设备上移植IPv6协议栈提供了参考方案.     

不确定带权有限状态机的最小化问题

本文提出一个不完全确定带权有限状态机的状态最小化问题：找一个状态间权值最小的机器覆盖确定机。在详细讨论了与这一问题解决有关的概念基础上，借助于ｂｉｎａｔｅ覆盖问题，给出了它的两个分枝限界算法。     

UML状态机视图的RSL形式描述

使用RAISE规范语言RSL给出了UML状态机视图的形式描述.通过这一形式化提出了一种对图形化的UML状态机视图模型的形式化和RSL规范进行集成的框架,这一工作是对UML类图在RSL中形式化的继续,使得人们可以对UML的非形式化模型给出一种精确、无二义性的语义解释,同时也提高了RSL规范的抽象层次,增强了其可读性、简明性.最后通过一个应用实例,说明这一框架如何用于从UML模型创建对应的形式化规范,并对模型的性质进行了分析.     

SPI4.2接口的FPGA实现

介绍了SPI4.2接口协议和数据结构定义,给出了使用FPGA实现的逻辑框图和状态机设计,最后描述了几种数据突发传输情况下的仿真结果.     

基于状态机的USB 2.O事件检测模块的硬件实现

USB接口因具有高速、易用、热插拔及低成本等特点,已经成为计算机接口技术的主流;由于USB2.0在USB1.1基础上数据传输速率大大提高及功能更加完善,从而在实际实现中基于USB2.0协议的总线事件的检测和处理模块的设计变得异常复杂。文章提出了一种USB2.0整体构架方案,重点阐述对事件检测模块的设计和实现;对该模块进行电路的功能仿真、综合以及验证表明,在功能和时序上符合USB 2.0规范,达到预期目标。