一种基于状态机的形式化验证技术

状态机作为一种描述实体间交互或者单个实体行为的建模图,它具有丰富的直观图形化的符号。在许多模型的设计阶段都采用它来建模。但是因为缺乏精确完整的语义定义,给它的形式化验证带来困难。本文给出一种形式化操作语义,并概述基于形式化规则的验证技术。     

一种基于状态机的形式化验证技术

状态机作为一种描述实体间交互或者单个实体行为的建模图,它具有丰富的直观图形化的符号。在许多模型的设计阶段都采用它来建模。但是因为缺乏精确完整的语义定义,给它的形式化验证带来困难。本文给出一种形式化操作语义,并概述基于形式化规则的验证技术。     

一种基于有限状态机的模型转换方法

为实现模型的自动转换,通过定义一个清晰的基于规则的模型转换框架,提出了一种基于有限状态机的模型转换方法,用有限状态机技术解决转换规则的实现问题,并定义了适合规则实现机制的形式表示法,然后结合UML模型到SQL模型转换的典型场景,通过一个模型转换示例说明模型转换方法的具体应用,结果表明了该方法的可行性和有效性。该方法适用于状态明显的模型之间的转换,促进了模型自动转换的应用和发展。     

基于有限状态机的一种事件重建算法

介绍了运用有限状态机进行事件重建的理论,利用已搜集到的证据作为限制条件,提出了一种改进的事件重建算法,最后简要分析了一个案例.实验结果表明该算法是可行和有效的.     

一种改进的分组密码可重构处理结构设计①

应用于密码运算的粗粒度可重构处理结构,以其高性能和较好的灵活性而受到广泛研究。在密码可重构处理结构中,结构合理的配置电路对于提高整个电路的配置速度,加速密码运算非常重要,因此在已有的一种分组密码可重构处理结构的基础上对其配置电路进行改进。从而可以大大提高结构规整的分组密码算法的配置速度。     

一种基于FPGA状态机的智能电子密码锁的设计

电子密码锁和普通机械锁相比具有很多优点,广泛适用于商业、办公、个人等应用领域。本文讨论了一种基于FPGA的电子密码锁的设计方案,软件部分采用状态机描述的方法实现,采用状态机的描述方法,可以使程序的编写清晰简化,具有一定的实用价值。     

基于有限状态机的CTI呼叫处理系统

引入有限状态机进行呼叫处理流程设计,通过市长公开电话系统的开发,提供一种比较便捷通用的板卡方式 CTI呼叫处理系统开发模式.     

一种基于状态机的文档文本自动提取方法

对于不同文本格式下的文本内容检索是当前互联网研究的热点问题之一。为了达到快速获取文档内文本信息为内容检索提供基础数据并提高整体检索效率的目的,以Microsoft Office 2007文档格式为分析基础,提出了基于状态机的文本自动提取方法。实验证明,提出的方法在文本提取的正确性、内存耗费、提取时间方面达到了很好的效果。     

多核分组处理系统软件结构研究

结合分组处理和多核系统的特点,对分组处理系统的基本结构进行了详细的分析,并通过实际平台对分析的结论进行了验证.分析中不仅考虑了通信和同步的开销,也考虑了数据Cache和指令Cache的命中率问题.分析和实验的结果表明,如果能够对各个处理阶段的资源进行恰当的分配,使用混合结构的分组处理系统有可能获得比并行结构系统更好的性能.进一步提出了设计混合分组处理系统时需要解决的关键问题和需要遵循的一些原则.     

一种基于Feistel网络的反馈式分组混沌密码的研究

近年采,将混沌理论应用到信息安全已成为研究的一个热点。本文基于Feistel网络,提出了一种新颖的反馈式分组混沌密码算法。在该算法中,当前加密分组输出将影响下一明文分组要运行的轮数,而每一轮使用的孓盒的序号与加密密钥有关,轮数及s盒的序号均由混沌映射动态生成。由于混沌的固有特性,使得加密系统变得更加复杂,更加难以分析和预测。实验结果表明,本算法具有优良的密码学特性,对明文和密钥以及混沌系统参数的细微变动都非常敏感。产生的密文随机性很好。对本算法的安全性进行了分析,结果表明它具有很高的抗穷举攻击的能力。     

一种硬件加速型融合防火墙包处理流程的设计与实现

针对硬件加速型融合防火墙,在保证其功能完善的基础上,设计并实现了一种可充分发挥系统性能的包处理流程.对各设计要点进行了详细说明并给出了设备性能测试结果.     

面向数据包处理的众核处理器核资源分配方法

众核处理器具有强大的并行处理能力,成为提升路由器转发性能的有效途径.基于众核处理器的数据包处理采用多级流水线结构,每个流水阶段的执行时间不同,要求分配不同的核数.已有的核资源均衡分配方法(equi-partition, EQUI)为每个流水阶段分配相同的核数,存在核资源浪费等缺点,限制了数据包处理性能.提出了一种众核处理器资源优化方法,即根据数据包的处理步骤将其划分成多个子阶段,通过统计各阶段的总执行时间,按执行时间比例分配给各个模块所需核数.与已有的EQUI相比,核资源最佳分配方法在数据包转发速率上提高了约20%.     

应用MES技术优化分组加工工艺过程

分组加工模式的应用是特色工艺研究和精细化加工的结合,目前被应用在了很多企业中。为了解决计划制订到生产调度指挥这一过程中的问题,企业采用了MES技术来优化这一模式下的工艺过程。分析了MES技术的应用。     

千兆网络入侵防御系统高速数据包处理的研究与实现

随着千兆以太网的广泛应用和网络入侵行为的日益复杂化，其网络入侵防御系统的需求越来越迫切了，通过对网络入侵防御系统的关键技术系统分析，提出了一种新的千兆网络入侵防御系统的总体解决方案，重点描述了其高速数据包处理硬件平台的具体设计和实现技术，并详细介绍其工作流程，最后给出了这种高速数据包处理硬件平台的测试性能和结论。     

一个用于TCP协议中包重排序的硬件结构

TCP协议是当前Internet中的基础协议．为了满足高端服务器的要求，其硬件实现机制已经成为当前的一个研究热点．主要介绍了TCP中乱序包重排序的一种硬件结构．该结构采用ZBTSRAM作为存储器件，以流水线方式完成重排序，性能满足高端服务器系统要求，具有很好的可扩展性．详细介绍了具体的设计原理和相关数据结构，对性能和关键参数的设置进行了分析．     

园区网网络监测技术探析

园区网的结构和上面的应用正变得越来越复杂,并出现了对网络性能要求敏感的应用。对网络用户和研究人员来说,网络状态监测越来越重要。文章阐述了园区网网络监测的意义,并探讨分析了当前主要的网络监测理论和技术。     

局域网异常数据包监控与处理系统的设计

网络监控作为一种行之有效的安全手段在现今计算机网络领域得到了广泛的应用。以VC++为工具,设计和实现了一个基于WinPcap的数据包监控系统,系统能捕获数据包,分析数据包,建立了处理异常数据包的策略库,对不正常数据包执行相应的策略,从而为局域网正常运行提供保障。     

一种深度包检测引擎的FPGA硬件实现

针对硬件防火墙的防护性能优势,提出一种基于FPGA实现的硬件防火墙,利用FPGA设计深度包检测引擎,实现基于应用层的内容防护。深度包检测引擎支持固定、浮动和统一资源定位符关键词匹配,可实现灵活的表项宽度变化和表项更新操作。实际测试表明,采用基于FPGA设计的深度包检测引擎,硬件防火墙的主要处理指标满足实用性要求。     

帧同步混合小波包变换快速算法及其在语音处理中的应用

帧同步的小波包快速算法是一种类似FFT的小波变换算法。本文提出帧同步混合小波包的分析方法，其特点是在发挥小波变换的时频分析特点的同时，分析时窗能够满足语音处理中帧长的要求，从而可以实现实时处理。这种混合小波包具有完全重构特性。文中用实验对比表明了帧同步混合小波包分析的优越特性。     

基于图像处理和模式识别的网络图像监控系统

随着科学技术和生活水平不断的提高,人们的财产和人身安全问题已经不仅仅来自于传统的经验,而是逐渐的转变到虚拟的网络当中;为此,提高人们的隐私安全和财产安全需要加强网络监控,其中图像监控是较为主要的方面;加强图像监控的可靠性和实时性,是实现社会稳步发展和人民网络隐私安全的首要目标;应用计算机网络技术和现代化通讯技术相结合,综合图像处理技术和模式识别技术的应用,设计应用于网络图像监控系统是当前社会发展的安全技术保障之一;文章通过对图像监控进行简析,阐述图像处理技术和模式识别技术的相关方面,探讨研究网络图像监控中图像识别和处理方面的技术;通过对图像处理中的色彩均化和模糊识别实验,得出其对于网络中传播的图片辨识度和提取信息能力具有很高的发展。