自动机理论相关论文
混杂系统是连续变量过程和离散事件过程并存且相互交换信息的动态系统，随着微型计算机和微处理器的迅速发展并在实际中大量应用，混杂......
现实世界中，许多问题的解决常常需要同时考虑时间信息和空间信息，因此时空推理便应运而生。近年来，时空推理已成为十分活跃的研究方向......
作为计算理论中最简单的数学模型,有限自动机不仅是复杂性理论的理论基础,而且与其他领域密切相关,例如神经网络、模式识别、密码......
随着企业业务流程的日益复杂,作为一种流程定义、管理和监控的核心技术,工作流技术已经得到广泛应用。一个完整的工作流管理系统一......
在软件项目开发中,软件项目管理对软件项目是否能顺利完成起到了至关重要的作用。软件项目管理对象包括软件开发过程中涉及的人力......
混杂系统是连续变量系统和离散事件系统并存的复杂系统，已成为计算机科学和控制理论研究的热点，在工业及社会生活的各个领域有着广泛......
自动机理论是研究离散数字系统的功能、结构及两者关系的数学理论．它旨在研究自动机的分析与综合问题．有限自动机是自动机理论的一个......
棒材打包机是针对工业棒形钢材的打捆包装处理而设计的专用机械设备。由于打包工业现场环境恶劣,打包机完成打包操作动作多、工艺......
本文主要讨论了由l-值自动机(或称为基于量子逻辑的自动机)构造的格的一些性质，研究了初始格l与由l-值自动机构造的格之间的关系，并......
随着信息技术和网络技术的迅速发展，计算机网络在日常生活中的应用日益普遍。如何确保其正确性和安全性成为日益紧迫的问题.在现有......
自动机理论[1 ]是研究离散数字系统的功能、结构及两者关系的数学理论,随着数字计算机、数字通信及自动化等新技术的出现和发展,自......
自动机理论是研究离散数字系统的功能、结构及其两者关系的数学理论。五十年代,在开关网络理论和数理逻辑中图灵机理论的基础上,形......
学位
自动机理论是研究离散数字系统的功能、结构及其两者关系的数学理论.它旨在研究自动机的分析与综合问题.有限自动机是自动机理论的......
自动机理论是研究离散数字系统的功能、结构及其两者关系的数学理论,它旨在研究自动机的分析与综合问题。分析就是分析一个给定的......
自动机理论[1]是研究离散数字系统的功能、结构及两者关系的数学理论,随着数字计算机、数字通信及自动化等新技术的出现和发展,自......
本文对自动机理论的研究主要是两个方面:自动机的极小化和极小化的时间复杂性。在自动机的状态集合上定义等价关系,引入等价类,将......
自动机理论是研究离散型数字系统的功能、结构及两者关系的数学理论,是对许多具体的离散数字系统的抽象;自动机理论是在开关网络理......
Partial矩阵是Chirkov在研究自动机理论时引入的,其在自动控制,图象处理,系统分析等方面也有着重要的应用,吸引了众多学者的关注.......
冯·诺伊曼是计算机科学哲学的主要奠基人之一。为了实现莱布尼茨把人的理性还原为计算的梦想，冯·诺伊曼在图灵通用计算机的数学模......
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7......
Extreme learning machine(ELM) has attracted much attention in recent years due to its fast convergence and good performa......
一、引言在自动机理论中常常对于标准的Moore自动机增加某些装置构成用于各种不同用途的自动机,它们常用于语言的识别器、算法设计......
蜜罐系统作为一种主动响应的安全技术,利用诱骗技术吸引入侵,对网络数据进行捕捉和控制,及时获取攻击信息并记录入侵过程,研究攻击......
编译原理中文法是个非常重要的概念。没有文法,形式语言和自动机理论就无法实现描述。而文法的二义性是一种常见的现象,有些文法甚......
澄清了各类量子自动机之间的相互关系,并给出了量子自动机的各种等价刻画定理.引入G-量子自动机、g-量子自动机、(广义)量子自动机......
采用模型检查技术,对IPv6的邻居发现协议的属性进行了形式化验证.该协议的模型由目前广泛用于设计和描述通信协议的MSC(message se......
根据编译原理中的自动机理论，给出了异构数据源城市道路仿真模型的接口设计及接口实现算法，数据交换采用中性文件交换方式。以DXF格......
针对仿生自主学习控制问题，根据自动机的原理，以操作条件反射学习机制为基础，运用仿牛的白组织学习方法，提出一种自治操作条件反射自动......
本文借助图论的理论 ,通过识别回路和不包含回路的由起始状态到终止状态的路径的方法 ,提出一种构造给定有穷自动机对应的正则表达......
给出了地理编码系统体系结构,剖析了该系统的各组成部分,其中对地理编码数据库和地址匹配两部分进行了重点描述,将自动机理论和动......
在形式语言和自动机理论研究中,Fuzzy语言显得特别重要,而Fuzzy正则语言是Fuzzy形式语言的核心部分,是自动机理论与实际相结合的一......
模型检验是一种重要的自动验证技术，通过显式状态搜索或隐式不动点计算来验证并发或实时系统的模态/命题性质，以保证通信协议、数字......
在形式语言与自动机理论课程中，文法与自动机的构造在本质上都与结构化程序设计的思想有着很强的联系。本文从具体例子出发，阐明了这......
信号自动机为一类实时系统建立了比时间自动机更适合的模型.文中针对信号自动机因无验证算法可用而不能用于实际的实时系统模型验......
6 Sigma是过程量化与控制、过程改进的有力工具和有效方法，针对敏捷软件开发方法现阶段在质量管理和过程控制上可能存在的问题，分析......
一个新奇概率的模糊控制系统被建议在控制协议(TCP ) 联网的传播对待拥挤回避问题。TCP 网络的交通测量上的研究证明了包交通展出......
任务型聊天机器人TaskBot,是智能客服技术的主要发展方向。但是TaskBot面临诸如多轮对话、信息记忆、复杂场景处理等问题。本文结......
利用三元关系定义半群语言（半群的子集），初步讨论了半群语言的代数性质，然后证明了非空有限集合∑上的自由半群∑^＊的半群语言类与有穷......
用建立在脚本对象模型上的Visual Interdev的Design-time Controls控件设计Web界面时,面临的一个问题是如何处理控件间及界面间的......
自动机是一种抽象的计算模型,它可以根据输入的字符串来实现状态与状态之间的跳转。基于这个特点,可以把自动机理论运用搜索目标问......
理论计算机科学在很多不同领域有其根源:生物学家研究神经网的模型,电气工程师发展交换理论用以作为硬件设计的工具,数学家对逻辑......
计算机犯罪作为一种伴随信息化产生的新生事物,自出现以来便对公安机关的传统侦查工作提出了新的挑战。由于其内在的高科技性、高......
冯·诺依曼是计算机科学哲学理论的主要奠基人之一。他的计算机科学哲学思想主要体现在他的自动机理论中。冯·诺依曼为自动机理论......
与传统“一对多”的课堂教育相比,远程教育的最大优势在于能够借助各种计算机技术满足学习者的个性化需要,实现“以学生为中心”的......
随着人类社会的进步和经济的发展，能源和环境问题已经成为世界各国最为关心的问题之一。风力发电以其环保无污染、发展前景大、可开......
现代计算机理论源于古希腊毕达哥拉斯主义和柏拉图主义,是毕达哥拉斯数学自然观的产物。计算机结构体现了数学助发现原则。现代计......
