自动机理论相关论文
本文首先介绍了二值图像和灰级图像的形式描述和形式语言与自动机理论和图像压缩、图像变换方面的应用以及三维实体的形式描述、投......
针对用户安全登录问题,提出了一种基于自动机的密码匹配模型.首先,对于用户任意输入的密码进行同态映射加密;其次,构造出可接受加......
混杂系统是连续变量过程和离散事件过程并存且相互交换信息的动态系统,随着微型计算机和微处理器的迅速发展并在实际中大量应用,混杂......
现实世界中,许多问题的解决常常需要同时考虑时间信息和空间信息,因此时空推理便应运而生。近年来,时空推理已成为十分活跃的研究方向......
作为计算理论中最简单的数学模型,有限自动机不仅是复杂性理论的理论基础,而且与其他领域密切相关,例如神经网络、模式识别、密码......
随着企业业务流程的日益复杂,作为一种流程定义、管理和监控的核心技术,工作流技术已经得到广泛应用。一个完整的工作流管理系统一......
探讨基于时间自动机理论进行物联网系统建模和模型检测的理论、方法、工具和实践。对时间自动机的基础理论进行比较全面和精确的论......
冯·诺伊曼的概率逻辑是形式逻辑的推广;概率逻辑容许把真实程度区分为一定的次序,这类次序从1开始,并“紧密地”逼近于自己的对......
Robert E·Tarjan曾是John E.Hoperoft的学生,他们的密切合作取得了算法设计与分析方面的卓越贡献,赢得了1986年度ACM图灵奖的荣誉......
本刊讯 作为综合性科学研究所改革的一种新尝试,软件研究所大胆调整原有结构,提出了“小研究,大产业”的办所方向,把形成软件产业......
20世纪的计算革命不仅为我们提供了崭新的科学研究的方法,而且为我们提供了全新的看问题的视角。计算机的理论和实践使我们逐步形成......
电子计算机会计算,会下棋,会分析思考问题,人称电脑,是人脑的延伸。然而最早的会思考的机器比通常的通用电子计算机要早,叫做图灵......
本文尝试性地将格子气自动机理论引入内燃机喷雾计算中,通过建立2维格子气的喷雾理想模型,对喷雾场在时间、空间和速度进行离散化,对单......
题目作者期页:;‘JC,勺一,J‘U哎J4,一x﹃-‘曰7勺︼2 44‘J‘U7才OnC,n,11,﹄ ,..且J.‘JI,了︸/4 4D八内、︶4气6‘n11勺.玉JI J.l,.1月咔......
本文对具有变行程运动机构的自动机械的循环图设计问题,即同步点确定方法进行了研究。文中提出用位移-速度图的方法确定这类机构的......
这篇文章是作者在西德GMD(数学和数据处理协会)为庆祝Carl Adam Petri博士六十岁生日召开的会上所作的报告。对Petri的成就和远见......
自动机是离散数字动态系统的一种数学模型,按照存贮量是否有限,分为有限自动机和无限自动机。自动机理论是本世纪50年代在开关网......
定义了起止自动机,给出了其构造算法;并给出了使用起止自动机进行条码码制综合判定的CD算法。该算法是多码制环境下实现快速码制判定的......
本文讨论了人机接口的分类及特点,着重介绍了图形人机接口的重要性及实用性;引入了回溯自动机作为定义人机接口的一种抽象数学模型,并......
目前设计时序电路大都是根据要求,选用一定类型的触发器,列出各触发器的真值表和激励表,再由状态转换求出驱动方程,利用卡诺图进......
对计算理论中有关NFA、TM教学上容易混淆的概念描述及计算进行了研究 ,特别是对它的教学方法进行了思考 ,以利于师生对相关的理论......
网络教育是建立终身学习体系的重要途径之一,网络课程的设计是网络教育研究的重要课题之一。本文对我国网络课程的现状及存在问......
现今国内外已经有不少对可信平台模块进行测试的研究成果,但是对测试效率分析不足.本文基于自动机理论和中国邮递员问题,提出了可......
针对在时间多尺度条件下制造系统同时具有离散和连续事件,经典的极大代数方法已经不能描述连续事件问题,提出了一种基于混杂时间......
基于文献[1],本文探讨了一个仿真腿控制系统的各个主要部分,并就其中的控制运用有限态自动机实现方法设计了详细的硬件电路。文中......
本文基于有限自动机,对一类离散事件动态系统进行代数表述、分析与综合。文中引入通道矩阵、可能状态等概念,建立了受控离散事件动......
在软件项目开发中,软件项目管理对软件项目是否能顺利完成起到了至关重要的作用。软件项目管理对象包括软件开发过程中涉及的人力......
混杂系统是连续变量系统和离散事件系统并存的复杂系统,已成为计算机科学和控制理论研究的热点,在工业及社会生活的各个领域有着广泛......
自动机理论是研究离散数字系统的功能、结构及两者关系的数学理论.它旨在研究自动机的分析与综合问题.有限自动机是自动机理论的一个......
棒材打包机是针对工业棒形钢材的打捆包装处理而设计的专用机械设备。由于打包工业现场环境恶劣,打包机完成打包操作动作多、工艺......
本文主要讨论了由l-值自动机(或称为基于量子逻辑的自动机)构造的格的一些性质,研究了初始格l与由l-值自动机构造的格之间的关系,并......
随着信息技术和网络技术的迅速发展,计算机网络在日常生活中的应用日益普遍。如何确保其正确性和安全性成为日益紧迫的问题.在现有......
自动机理论[1 ]是研究离散数字系统的功能、结构及两者关系的数学理论,随着数字计算机、数字通信及自动化等新技术的出现和发展,自......
自动机理论是研究离散数字系统的功能、结构及其两者关系的数学理论。五十年代,在开关网络理论和数理逻辑中图灵机理论的基础上,形......
学位
自动机理论是研究离散数字系统的功能、结构及其两者关系的数学理论,它旨在研究自动机的分析与综合问题。分析就是分析一个给定的......
自动机理论[1]是研究离散数字系统的功能、结构及两者关系的数学理论,随着数字计算机、数字通信及自动化等新技术的出现和发展,自......
自动机理论是在开关网络理论和数理逻辑中图灵机理论的基础上形成的一个数学分支学科.随着近代科技的发展,自动机理论成为控制理论,对......
本文对自动机理论的研究主要是两个方面:自动机的极小化和极小化的时间复杂性。在自动机的状态集合上定义等价关系,引入等价类,将......
自动机理论是研究离散型数字系统的功能、结构及两者关系的数学理论,是对许多具体的离散数字系统的抽象;自动机理论是在开关网络理......
Partial矩阵是Chirkov在研究自动机理论时引入的,其在自动控制,图象处理,系统分析等方面也有着重要的应用,吸引了众多学者的关注.......
在许多实时系统中,同一个计算平台上往往既有硬实时关键计算任务又有软实时非关键计算任务。硬实时任务必须在规定时间内完成,否则......
构造一种新型神经Mealy机,神经Mealy机具有一定的学习能力,它主要通过学习来获得(von Newman)计算机结构,可以较好地避免普通计算......
研究主要针对桃树生长的拓扑结构进行探讨,在分析桃树自然生长的基础上侧重探讨了人为因素的影响,针对人工修剪情况,运用基于双尺......