自动机论文

论文摘要在很多场合下,人们要求计算机系统具有高度的安全性以及可靠性。一个计算机系统的安全性很大程度上取决于其所搭载的操作系统,而操作系统的安全性很大程度上取决于它的内核。因此保...

论文摘要随着信息技术与社会科学的快速发展,虚拟实验教学正以一种崭新的教学方式走进日常教学活动中,为教师带来了实验教学新的契机。建立适合学生发展、有助于学生能力提升的虚拟实验操作...

论文摘要近些年来,P2P（Peer-to-Peer）技术的使用越来越广泛。然而P2P技术给人们带来便利的同时,也造成了不少问题。例如,P2P流量的“带宽吞噬”特性造成了网络带宽...

论文摘要本文针对一个C/C++程序静态安全检查工具，设计并实现了基于自动机的安全检查机制，该机制可以使工具的使用者在外部自定义安全规则，动态地解析安全规则来检查源代码中存在的安...

论文摘要随着计算机科学的不断发展,信息数据量呈爆炸性增长,给数据处理工作带来了一定的挑战,用户的查询也变的越来越复杂。由于需要处理的数据规模越来越大,进行的搜索也越来越困难,正...

论文摘要机器博弈源自于二十世纪五十年代,是一门新兴的研究领域。作为飞速发展的新学科,它的竞技水平不断攀升,但是其理论成果还相对匮乏。为了能够使机器博弈更均衡的发展,亟需为其理建...

论文摘要解释是软件系统开发与构造过程中反复出现的一个主题。一个应用系统自身可被理解为针对数据的变换和解释。系统开发者为实现软件系统的适应性与扩展性,利用解释系统将开发时尚不能确...

论文摘要随着金融证券管理、Internet流量监控、Web使用日志等新型应用领域对数据的管理与分析提出了新的要求,数据流及其相关技术已经成为当前数据处理领域的研究热点之一。由于...

论文摘要统一建模语言(UnifiedModelingLanguage,UML)是一种易理解、易描述、直观的可视化建模语言,它提供多种模型元素从系统的各个角度描述系统性质、功能及...

论文摘要Petri网是一种重要的数学模型,它能够有效地对并发系统进行描述和建模。线性时序逻辑LTL则是描述和验证并发系统特性的一种重要的形式化工具,它能够方便、准确地描述并发系...

论文摘要XML是W3C于1998年推出的一种标记语言。由于其独特的技术优势,XML推出后很快就成为网络中数据表示及交换的标准。因此,要构建基于XML的各种应用,准确并高效的从X...

论文摘要串匹配算法是计算机科学领域中一个重要的基础研究领域。在文本处理、数据压缩、搜索引擎、生物计算,以及网络安全等大量的应用中,都需要进行串匹配。本文主要讨论精确模式串匹配,...

论文摘要随着信息化程度越来越高,信息安全的重要性逐渐引起更加广泛的重视。当前安全技术不断地发展,各种新的攻击手段和工具日新月异,本文正是在这一背景之下,对当前主要的安全技术--...

论文摘要基因分型,统计分析和基因功能研究是现代遗传学研究中的三个核心组成部分。这三个部分顺序衔接,成为揭开遗传疾病致病机制的重要手段。本文对这三个部分的研究方法做出细致的分析并...

论文摘要多传感器融合是指为了完成需要的识别、估计和决策等任务,对从时间序列上获得的各种传感器数据以及从其他途径获得的信息按照一定的准则进行综合分析与判断的处理过程。目前,对多传...

论文摘要电信技术的发展和用户对电信服务多样化、个性化的需求促使了智能网技术的产生和发展。智能网实现了呼叫控制和业务提供控制的分离，使运营商能够快速的开发满足用户需求的增值业务。...

论文摘要本文中，我们对理论计算机科学中的下界问题及其意义进行了简要的综述，并阐述了作者在ω-自动机转换的状态复杂性和形式语言中starheight问题上的两项研究工作。在ω-自...

论文摘要自动机理论的研究始于20世纪40年代，经过几十年的发展，自动机理论已成为计算机科学中的一个重要分支，并应用于计算机科学的许多领域，如编译程序构造、文本处理、结构型数据翻...

论文摘要目前软件工业界面临着产品功能越来越复杂和推出产品周期越来越短的双重压力。软件工程的一个主要目标就是在复杂性增加的情况下仍能构造正确可靠的系统。为了达到上述目标,形式化方...

论文摘要随着XML数据在互联网络上应用的不断增长，对庞大的XML数据流的查询正成为数据查询领域内研究的热点。XML流的查询问题主要归结到XPath的查询，而如何高效的处理XPa...