有穷状态自动机相关论文
中断是整个计算机系统必不可少的重要组成部分。它对输入输出处理、多道程序和分时操作、人机联系的实时处理、事故处理、程序的监......
将在工业设计领域应用很成功的模型检验技术引入到信息技术软件产品的安全漏洞挖掘中,提出了针对源码的漏洞挖掘系统原型,以开放源......
控制程序是粉状智能物料运输车完成自动卸料过程的关键，控制程序设计的好坏决定卸料过程能否顺利完成。针对新型粉状物料运输车智能......
提出一种用有穷状态自动机研究浅海声场的方法。应用Snell定律对单步的声线传播进行研究,分析了浅海声场内在的状态及状态转移特性......
给出了一种二维的浅海声线追踪方法，解决了声线的反射、折射、全反射等问题并快速地找出声线的路径。对于单步的声线追踪，声速剖面假......
协议分析状态机是提高协议分析正确性的重要保证。将其应用于入侵检测系统是一个新的研究应用方向。协议的形式化描述工具有穷状态......
本文介绍了德汉机器翻译 GCAT 系统的基本原理和方法,指出了在汉语生成过程中,汉语句子各成分的词组类型、句法功能、语义关系、逻......
对Web遗留系统进行服务化包装，是实现遗留系统服务化迁移的关键。传统的白盒服务包装需要侵入原有遗留系统修改代码，运行风险增强，针......
设计了一种汉字手写式键盘输入法，给出了基于快速模糊匹配方法的笔画智能生成算法及其实现。该方法在键盘上将汉字笔画模拟表示为笔......
水声定位技术在军事和海洋科学领域都有广泛的应用,它在保障国家的国防安全和国民经济建设的顺利进行中起着重要作用。基于测时的......
该文研究基于脱氧核糖核酸（Deoxyribonucleic Acid,DNA）计算的线性时序逻辑（Linear Temporal Logic,LTL）模型检测问题.为此,该文给出了......
信息化社会中，信息安全必然很重要，然而信息安全所面临的威胁也由来已久。信息系统中的漏洞是引起网络信息安全问题的根源，漏洞和安全......
