混值有限自动机及其有效综合

来源 :电子学报 | 被引量 : 0次 | 上传用户:notfeet
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文引入了混值有限自动机的溉念和相应的状态触发矩阵及状态转换矩阵,并在此基础上提出了混合使用二值和三值触发器实现混值有限自动机的有效方法。
其他文献
依据近代计算机视觉方法——双眼视觉系统理论及空间几何学的基本原理,本文提出一种新的三维平面纹理理解方法(Shape from Texture)。这种方法较前人的方法有计算量少,结构简单及通用性强等优点,具有较大的实用性。
本文根据EPR基本理论和量子化学的一些计算结果,并对照中子辐照GaAs样品中EPR“As_(Ga)”谱线形状随退火温度变化的实验结果,认为为了揭示EPR“As_(Ga)”缺陷本性必须考虑包
本文提出了一种新型的并行三维纹理综合算法,即:基于图象的自协方差函数,均值和方差的纹理综合方法。实验结果表明,利用此模型在三维物体表面综合纹理时,计算速度较以前的方
本文在二叉判别树的基础上,提出了一种新的多级假设检验的两级图象匹配方法。给出了表示多级假设检验的二叉判别树的定义及计算代价公式,导出了一种新的可变门限,得出了采用
本文通过引入增广不定导纳矩阵的概念,提出了计算多相开关电容(MSC)网络函数一阶和二阶余子式的一种快速有效分类算法。并提出了产生MSC网络符号函数的素数编码法,可以用它得
从改善农用运输车行驶平顺性的角度.提出改进农用运输车后悬架的弹性元件结构型式,并导出新悬架的偏频计算表达式.
到目前为止,直线法仅应用于矩形域或复合矩形域上的电磁场边值问题。本文基于复合矩形域上的直线法原理,建立了曲边域上二维电磁场边值问题的直线法模型,并以方—圆过渡波导
本文由阻抗劈的高频绕射系数公式,迭加原理和物理光学近似导出条状有耗介质涂覆平板远场RCS的解析表达武。本文结果得到实验验证且和文献符合很好。
本文对前窗快速RLS算法提出了几种新的重新启动方法,使前窗算法在重新启动后仍能有效地应用于联合过程估计问题,而避免了较复杂的协方差类算法。实验结果表明,这些方法具有简
本文讨论一类非线性生成器的分析与综合。这类非线性生成器由三部份组成:nm级的带有本原联结多项式的线性移位寄存器,随机选择器;m端的非线性前馈函数。本文证明了该系统的线