有限状态机的建模与优化设计

通常的Verilog HDL编码风格生成的电路速度慢、面积大、毛刺干扰严重．基于此特点提出一种优秀、高效的verilog HDL描述方式来进行有限状态机设计，介绍了有限状态机的建模原则，并通过一个可综合的实例，验证了该方法设计的有限状态机在面积和功耗上的优势．     

基于3G的手持设备与无线网络的信息安全

对现有的无线局域网络的安全问题进行了讨论，着重分析了手机、PDA等手持设备加入无线局域网络后对无线网络安全的影响．分析了现有的无线安全网络的安全隐患，以及手机、PDA等手持设备带来的新的隐患，提出了相应的新的解决办法，并分析了相应的运行平台．     

有限状态机的建模与优化设计

通常的Verilog HDL编码风格生成的电路速度慢、面积大、毛刺干扰严重.基于此特点提出一种优秀、高效的Verilog HDL描述方式来进行有限状态机设计,介绍了有限状态机的建模原则,并通过一个可综合的实例,验证了该方法设计的有限状态机在面积和功耗上的优势.     

一种可重构控制器的设计和实现

基于算数增强的有限状态机(AFSM)模型,给出一种可重构(reconfigurable)控制器结构,用于实现各种网络设备接口控制器和存储器接口控制器。该结构具有动态可重构的能力,FPGA仿真结果表明,与传统基于RTL描述的AISC设计方案相比,所提出的可重构控制器结构可以达到相似的性能,但是设计和实现更加简单高效。     

用布尔可满足性验证逻辑电路的等价性

提出了使用布尔可满足性来验证数字电路的等价性验证方法.这一验证方法把每个电路抽象成一个有限状态机,为两个待验证的电路构造积机,把等价性验证问题转换成了积机的断言问题.改进了Tseitin变换方法,用于把电路约束问题变换成合取范式公式.用先进的布尔可满足性求解器zChaff判定积机所生成的布尔公式的可满足性.事例电路验证说明了该方法的有效性.     

Architecture design for reliable and reconfigurable FPGA-based GNC computer for deep space exploration

SRAM (static random access memory)-based FPGA (field programmable gate array), owing to its large capacity, high performance, and dynamical reconfiguration, has become an attractive platform for SoPC (system on programmable chip) development. However, as the configuration memory and logic memory of the SRAM-based FPGA are highly susceptible to SEUs (single-event upsets) in deep space, it is a challenge to design and implement a highly reliable FPGA-based system for spacecraft, and no practical architecture has been proposed. In this paper, a new architecture for a reliable and reconfigurable FPGAbased computer in a highly critical GNC (guidance navigation and control) system is proposed. To mitigate the effect of an SEU on the system, multi-layer reconfiguration and multi-layer TMR (triple module redundancy) techniques are proposed, with a reliable reconfigurable real-time operating system (SpaceOS) managing the system level fault tolerance of the computer in the architecture. The proposed architecture for the reconfigurable FPGA-based computer has been implemented with COTS (commercial off the shelf) FPGA and has firstly been applied to the GNC system of a circumlunar return and reentry flight vehicle. The in-orbit results show that the proposed architecture is capable of meeting the requirements of high reliability and high availability, and can provide the expressive varying functionality and runtime flexibility for an FPGA-based GNC computer in deep space.     

传输触发架构的可编程神经网络处理器设计

卷积神经网络算法存在着算法结构多样和数据交换计算量大的问题．为此,提出了一种基于传输触发体系架构的可编程卷积神经网络处理器．系统采用多通道直接存储器访问通道、多端口存储器和专用池化数据通道组成数据传输网络解决了数据交换问题．实验表明,该系统在实现卷积神经网络的加速计算方面,虽然吞吐速率比并行流水线方案慢11%,但与之相比具备可编程、适应不同神经网络的特性,节省了46.5%硬件乘法器资源,比其他非流水线实现方案吞吐速率至少快40%．该方案具有系统并行度大、可编程、可在线配置和处理速度较高的特点．     

Design and implementation of a SPMD simulation platform

Software simulation plays a very important role inthe design and validation of high-performance parallelsystems.Three major simulation methodologies usedare:Trace-Driven Simulation(TDS),Execution-Driv-en Simulation(EDS),and Program-Driven Simulation(or Instruction-Driven Simulation).All these methodshave advantages and disadvantages,and each has itsfields where it is most suitable.Trace-Driven Simula-tion uses a program’s execution trace to drive an archi-tecture simulation model of a…     

微分积分结合方法在轴向气隙永磁电机三维磁场计算中应用

微分积分结合方法在计算电机内磁场时,不仅具有连续性求解的优点,而且它是实现在小型机上算大题目较为理想的方法。用这种方法计算传统电机的三维磁场问题已有人做过一定的工作,而用这种方法计算结构特殊的轴向气隙永磁盘式电机的三维磁场还存在一些新的问题需要解决。论文作者已成功地将这种方法用于轴向气隙永磁盘式电机的三维磁场计算中。本文只介绍其计算过程中与传统电机不同的两个特殊问题,即轴向气隙永磁电机的有限元离散方程中永磁体激励项计算方法及对称旋转公式的研究,最后给出用此方法对一台爪形电枢轴向气隙永磁盘式电机三维静磁场的计算结果。     

一种高效的H.264 CABAC解码器的VLSI结构

提出一种H．264／AVC中基于上下文的自适应二进制算术编码（CABAC）解码器的硬件设计方法．在采用并行结构的基础上．给出了一种高效的VLS1实现方案．采用两级有限状态机结构控制宏块解码过程，共通过对残差系数存储器的定时清零解决了数据存储耗时的问题，大大降低了解码控制的复杂度．从而提高解码速度．达到每1至2个时钟解出1比特．仿真结果表明，该方案能满足H.264／AVC main profile CIF 30fps实时解码的要求．     

基于对象的虚拟外存管理

为解决多虚拟机环境中的外存管理问题,研究了基于虚拟机监控器的多虚拟机结构,概括出多虚拟机环境中外存空间的隔离与保护、外存空间的按需分配和外存空间的扩展等主要外存管理问题.借鉴虚拟内存管理思想和基于对象的网络存储协议,提出了一种虚拟外存管理系统的设计方案,有效地解决了外存管理中的上述问题.实验表明,虚拟分区可以动态创建和...     

面向入侵检测的Aho-Corasick算法内存消耗研究

多模式匹配算法在网络入侵检测系统中有着广泛的应用,目前的研究主要集中在如何提高算法的匹配速度上,对于算法的内存消耗研究较少。对于基于硬件实现的嵌入式入侵检测而言,如何降低多模式匹配算法的内存消耗也是一个值得关注的问题。Aho-Corasick(AC)算法是一个基于有限状态机的多模式匹配算法,该算法具有O(n)的时间复杂度,但是由于状态表存储开销较大使其难以应用到嵌入式入侵检测系统中。对AC算法的内存消耗进行了深入地研究,分析了几种可行的AC有限状态机存储策略,提出了一种改进的Banded-Row格式的AC有限状态机存储策略。实验结果表明,该策略能够在较小地影响AC算法匹配速度的前提下,更加有效地降低其内存消耗。     

Machines,Tools and Tool Transporter Concurrent Scheduling in Multi-machine FMS with Alternative Routing Using Symbiotic Organisms Search Algorithm

This study explored the concurrent scheduling of machines, tools, and tool transporter(TT) with alternative machines in a multi-machine flexible manufacturing system(FMS), taking into mind the tool transfer durations for minimization of the makespan(MSN). When tools are expensive, just a single copy of every tool kind is made available for use in the FMS system. Because the tools are housed in a central tool magazine(CTM), which then distributes and delivers them to many machines, because there ...     

用CPLD实现的DRAM控制器

对一个大容量的DRAM存储器而言,控制器是必不可少的,本文论述一个用CPLD实现的DRAM控制器,它由三个模块组成,用状态机实现,可保证对DRAM的访问、换页、刷新间的有效配合,对CPLD的行为控制,采用了ABEL硬件描述语言。     

基于VHDL的有限状态机设计

通过2种状态机的设计方法比较,说明使用VHDL语言设计出稳定、可靠的有限状态机的方法是有效 的和实用的.由于两者对状态寄存器值的不同处理方法,使得状态机在采用不同编码方法时可靠性出现差异. 针对此问题提出的状态机设计方法很好的解决了这个问题,保证采用常用编码方法进行状态机编码时,不管采 用何种状态机的设计方法,状态机都会处于稳定、可靠状态.     

模型驱动在数控系统开发中的应用研究

开放式数控系统的研究已经成为目前数控系统研究的热点,模型驱动开发技术是目前软件开发研究的先进技术。为研究模型驱动技术在数控系统软件开发中的应用,作者分析了当前数控系统设计开发中的一些问题,在开放式数控系统软件常用的开发技术基础之上,采用MDD（Model-Driven Developmen）软件设计的思想和开放式模式设计软件的模型结构,分析设计了数控系统的软件开发途径,提出了判断引擎和模式转换规则库相结合的数控模式仲裁模块设计,并利用有限状态机理论、利用Matlab和Stateflow工具箱建立了工作模式仲裁模块的行为状态模型,通过Matlab Simulink仿真环境可以实现对建立的行为模型进行了验证。通过在MATLAB中调试和进行模型的有效验证,可以建立一个无逻辑错误的可执行模型,可以仿真数控系统的运行情况,检验模型是否按照期望的模式在运行。通过这种方法设计开发软件,可使描述文档的问题尽早发现,也使软件的修改更新工作变得简单易操作,而软件的开放性特征也得到了很好地体现。     

永磁材料及温度对内置式永磁电机性能及转矩脉动的影响

研究了不同的永磁材料及其温度对内置式永磁电机的性能影响。给出了现代牵引电机二维有限元瞬态模型,采用有限元方法计算了不同型号的铷铁硼永磁材料及不同温度时电机的转矩、转矩纹波及齿槽转矩,并对其进行了比较分析。其结论对电机设计研究者及工程师具有指导参考意义。     

基于内存自省技术的虚拟化安全防护模型

提出了一种基于内存自省技术的虚拟化安全防护模型,能够在无任何先验知识的前提下,通过实时分析物理主机物理内存重构物理主机状态信息、发现正在运行的虚拟机以及重构虚拟机高级语义信息,及时发现虚拟机中存在的恶意行为,并对恶意行为做出智能响应.实验结果表明,该模型具有透明、抗攻击、通用和高效等特性.     

基于VMCS结构体的虚拟机恶意对象关联检测方法

虚拟机的安全运行是云计算运行环境可信性的重要保证。针对基于虚拟机自省的安全检测方法在云环境规模化、多样化虚拟机场景下面临通用性监控与深度检测间题,提岀基于VMCS结构体的虚拟机恶意对象关联检测方法,实现异构虚拟机内存无痕地、通用地获取,以及对虛拟机内、虛拟机间恶意行为的深度检测。最后,通过实验验证了所提方法对主流的Iinx和 Windows操作系统皆可有效处理,通用性较强。     

非完全确定有限状态机最小闭覆盖的有效算法

有限状态机(FSM)综合中,状态化简对减少电路的复杂度是非常重要的,由于EDA综合系统的发展和需要,要求能够有效地对较大规模的FSM最小化,对于完全确定的有限状态的已有较好的算法,而非完全确定的有限状态机的最小化的问题一直是个难题。利用生成序列、动态构造搜索树、修剪、启发式深度搜索和分支限界等方法,提出了一种有效的求解非完全确定有限状态机的状态最小化算法,减少了搜索的空间,提高求解速度。