布尔代数上的自动机理论

来源 :湘潭大学 | 被引量 : 0次 | 上传用户:zyu03
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
该文简述了国内外应用广泛的三类得要的自动机与一类著名的布尔函数的主要研究成果.对布尔代数上的自动机进行了研究,同时根据线性内动结构特征破译了一种基于阵列变换的密码系统. 取得了下列新的成果:1、首次给出了循环方程组的解和解数,并依此定出了几类基本而得要的循环自动机和半循环自动机的图型. 定理3.1~3.4.2、根据循环矩阵中的周期性、循环方程组的解数和容斥原理提出了计算一般循环自动机的图型的具体步骤,有效算法. 3、首次给出了循环方程组的直交解及其解数.并依此定出了循环自动机在直交空间中几类基本而重要的图型. 定理3.5~3.6.4、根据循环矩阵的周期特性,循环方程组的直交解数和容斥原理提出了计算一般循环自动机在直交空间中图型的具体步骤,有效算法.并编制程序上机实现.5、首次给出了主正规方程组的正交解及解烽.并依此定出了主正规内动机在正交空间中几类基本而重要的图型.定理3.7~3.9.6、根据主正规矩阵的正交数特性和容斥 原理提出了计算主正规内动机在正交空间中图型的具体步骤.7、对一种基于阵列变换的密码系统进行了分析研究.证明了此密码系统是一个线性内动机,并提出了一种有效的"已知明文攻击"算法.
其他文献
该文就是对VPN的各种实现机制,包括VPN的逻辑结构、寻址方式、封装方案、路由机制、安全性能、传输效率、等各方面进行分析,对实现VPN的一些基本模型,如使用IP Sec ,VPND,PPT
计算机博弈就是计算机下棋。图灵测试便是要通过下棋检测计算机智能水平的高低。计算机博弈属于人工智能领域的一个重要分支。计算机的博弈水平代表了计算机的智能水平。让计
  本文首先分析了个人信息的内涵,个人信息管理系统的现状及存在问题,并提出了一个基于XML文档进行个人信息管理的方案。然后在简要介绍XML技术的基础上,演示了一项个人信息的
人体动作的分割和识别一直是计算机视觉领域一个重要的课题。在人机交互、视频监控自动化、游戏控制系统等应用场景下,准确的动作识别都是整个系统中至关重要的一环。相较于
在人类的思维和学习过程中,类比推理是一种重要的方法和手段.实际上,设计师在进行大多数工程项目的设计时,都有意识或无意识地运用了类比推理.基于类比的工程智能CAD技术能够
句法分析任务是自然语言处理中的基本任务之一,是很多其他自然语言处理任务的基础。但是在近年来的研究工作中,句法分析任务变得越来越困难。其中一个主要的难点就在于自然语
该文的研究重点是探索总线型网络的附网存储系统的实现方法,建立系统分析模型,同时对系统进行实验测试及性能分析。主要研究内容包括:局域网环境下的附网存储系统的结构选择;附