排序方式: 共有27条查询结果,搜索用时 218 毫秒
21.
有限自动机化合的一些结果 总被引:4,自引:4,他引:0
主要讨论了有限自动机的化合与化合前两个有限自动机的弱可逆性,严格延迟步数,弱逆以及线性的一些关系. 相似文献
22.
研究弱可逆有限自动机的分解可以为分析有限自动机公开钥密码体制的安全性提供一种重要途径。从输出权的角度讨论了一般的延迟r步弱可逆有限自动机M的分解问题,得到了它可以分解出k0(k0≤r)阶延迟元的一个充要条件,即M可以分解成延迟r-k0步弱可逆有限自动机和k0阶延迟元当且仅当M的所有状态的长k0输出权为1。 相似文献
23.
无前像位形(GOE)是元胞自动机的一个重要特征,它的存在关系到元胞自动机的可逆性。本文主要利用矩阵代数的原理,针对一类二元域上的特殊混合规则的线性二维元胞自动机进行讨论,给出了在不同的情况下,一个位形是GOE的充分必要条件,以及计算元胞自动机中GOE的个数的算法。 相似文献
24.
通过研究有限群自动机的关联环和导图来刻画有限群自动机,给出了有限群自动机不可约和不可分的一些判别法则。 相似文献
25.
本文针对机器视觉现有方法对目标的姿态判定及不同视角间仿射变换参数估计存在的对应特征点提取困难、计算复杂度高等不足,提出一种新的算法.算法引入角点和凸壳等概念,检测目标图像和模板图像的角点,分别组成特征点集并构造点集凸壳,由计算几何原理可知凸壳上的点在仿射变换前后具有对应性.当凸壳内部有内点时,分别对凸壳上的点、凸壳内部的点、凸壳的形心的横坐标和纵坐标构建方程,利用此方程组求解得到仿射变换6个未知参数;当凸壳内部无内点时,采用多项式理论再构建一组二次方程,以达到求解仿射变换参数的目的.实验结果表明,本方法不需要搜索特征点集间一一对应关系,只需点群子集间整体对应,估计得到的仿射变换参数精确,计算复杂度远低于基于区域的同类算法. 相似文献
26.
有限交换环上的线性元胞自动机 总被引:2,自引:2,他引:0
在线性元胞自动机矩阵表示的基础上证明有限交换环上的线性元胞自动机的一组定理,并借此分析某些典型线性元胞自动机的演化性质. 相似文献
27.