CRC码布尔矩阵的一些代数性质及图灵机识别

(n,k)CRC码是通信和计算机常用编码.通过讨论并导出(n,k)CRC码布尔矩阵的一些代数性质,其中一些性质的推导要直接使用(n,k)CRC码的循环性、系统性和封闭性.     

有穷自动机在车辆管理系统开发中的应用

利用有穷自动机理论对"企业车辆管理"的生命周期状态转化进行了形式化描述.通过分析车辆管理的流程,得到了车辆管理所涉及的各项业务流程,并对各项业务进行了说明,使得车辆管理的业务流程更加清晰.     

非确定型有穷自动机的极小化

利用自动机状态集上的等价关系对自动机的状态集进行极小化, 从而得到与原自动机功能等价的极小化自动机. 通过两台确定型有穷自动机（DFA）的连接, 构造一台非确定型有穷自动机（NFA）. 利用这两台确定型有穷自动机状态集上的等价关系, 可以构造这台非确定型有穷自动机状态集上的等价关系, 从而对这台非确定型有穷自动机进行极小化. 结果表明这台非确定型有穷自动机的极小化自动机的状态复杂 度, 不大于对那两台确定型有穷自动机的极小化自动机进行连接得到的非确定型有穷自动机的状态复杂度; 并且自动机在等价关系基础上进行极小化时不改变识别语言.     

关于确定有穷自动机最小化算法的注记

《程序设计语言编译原理》给出了确定有穷自动机(以下简称为DFA)最小化的算法.步骤1 构造DFA M 状态集S的分划Ⅱ.该分划是由若干个不相交的状态子集所组成,并且任何不同的两子集的状态都是可区别的,而同一子集中的任何两个状态都是等价的.其构造算法如下:BEGIN     

非确定模糊有穷自动机的ε-语言逼近

在max-?复合推理下引入了非确定模糊有穷自动机的概念,其中?是t-模运算.为了比较2个非确定模糊有穷自动机的行为,借助于[0,1]上的一个实数 ε,定义了2种ε-语言逼近,讨论了它们之间的关系.证明了非确定模糊有穷自动机和模糊有穷自动机之间是0-弱语言逼近的,即二者可以接受相同的模糊语言.此外,还讨论了2种ε-语言逼...     

正则表达式与有穷自动机等价性在Isabelle/HOL中的形式化

针对正则表达式和有穷自动机,在机器辅助定理证明系统Isabelle/HOL中进行了形式化描述。通过对语言、正则表达式、确定和不确定有穷自动机在Isabelle/HOL中建立模型,定义了它们之间的相互转换函数并证明了这些函数的正确性,从而验证了正则表达式和有穷自动机在描述能力上的等价性,即:在同一有限字母表下,对任意正则表达式,都存在一个有穷自动机,使得二者描述的语言相同;反之亦然。通过分析与证明,表明采用机器辅助定理证明系统,对计算理论传统核心领域之一的自动机理论进行分析和证明是可行的。     

有穷自动机的数字电路故障定位方法

用有穷自动机确定数字电路故障定位方法,从而可得到故障定位向量构成的语言正则性及其性质的一些实用结果     

汉字有穷自动机的优化及相关算法研究

在研究了汉字有穷自动机可以表示的语言基础上,引进了最小状态汉字有穷自动机和可区分状态的概念,并利用汉字有穷自动机间的等价性和可区分状态的性质,给出了一种最小化算法,实验证明,此算法优于最小化汉字有穷自动机算法.     

有穷级整函数的唯一性

讨论有穷级整函数的唯一性，推广并改进了仪洪勋等人的结果。     

H.324系统中CRC码递推算法及其软件实现

通过对ＣＲＣ码多项式运算特点的分析,给出了Ｈ．３２４会议电话系统中ＣＲＣ码的快速递推算法及其程序实现方法．与同类算法比较及测试结果表明该算法能够充分满足实时处理的需要     

一个特殊的线性函数与H布尔函数的关系

通过讨论一个特殊的线性函数与H布尔函数的关系问题,发现它的良好性质在H布尔函数的生成验证中都有用途.     

布尔函数与形态算子关系的研究

以布尔代数理论和欧式空间中二值形态变换理论为基础,通过布尔函数引入一个结构化映射,对二值形态变换的基本运算(腐蚀、膨胀)进行了描述,探讨了布尔函数与形态变换的关系,以期为二值形态变换的扩展提供新的途径.     

高非线性度n-输入m-输出布尔函数的一般构造方法

给出一种构造具有高非线性度n-输入m-输出布尔函数的一般方法,还给出了存在非线性度是非0的n-输入m-输出布尔函数的一个充要条件.     

布尔函数的迹单项式逼近

提出了用单项迹函数代替线性函数来定义的布尔函数一种新的谱值,称之为布尔函数的d-Walsh循环谱,通过计算d-Walsh循环谱来研究布尔函数的最佳单项迹函数逼近,使用该方法的计算复杂性仅为22n/n.利用单项迹函数逼近序列密码的前馈函数可实现对序列密码的采样攻击,对序列密码设计与分析具有重要意义.     

求布尔函数的零化子的算法

文章分析了Boolean函数f存在降次函数的充要条件,给出了求解零化多项式的若干算法。     

非线性可分Boolean函数分解及神经网络实现

对于2n个顶点用0或1标记的n维超方体,利用n输入Boolean函数f的输出vi(i=0,1,…,2n-1)与偏移量σi的关系,用一组平行的超平面实现分隔n维超方体顶点。从而,实现非线性可分Boolean函数的分解及二进神经网络隐层神经元的实现。同时,给出几个例子说明分解方法以及其有效性。     

有穷自动机中的等价性与等价归并算法

通过引入等价性原则,简化了对正则语言判定的步骤,并在有限自动机的状态集上引入等价关系,利用等价归并算法将给定的自动机中的等价状态进行归并,生成与其等价的最小自动机。     

一类具有多种密码学性质的布尔函数构造

介绍一类高非线性的平衡相关免疫的布尔函数的构造方法,并利用Bent函数的高非线性,经直和的方法构造出具有多种密码学性质的布尔函数.     

广义布尔函数的正规性

基于布尔函数的正规性,提出了广义正规Boolean函数的概念,给出了一些广义正规Boolean函数的构造方法,证明了广义正规Bent函数及其对偶函数所具有的一些独特性质.