一类格值自动机的极小化

来源 :计算机工程与应用 | 被引量 : 0次 | 上传用户:cxwycn
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
给出了格值自动机的同余和同态,从代数角度出发详细研究了同余和同态关系的代数性质,揭示了格值自动机的代数性质和取值格半群的紧密联系,利用同余和同态关系最终研究了格值自动机的极小化问题,在正则同余下给出了可在有限步实现具有模糊初始状态和特殊模糊终状态的自动机极小化的算法。
其他文献
根据《青海省自动气象站业务系统管理规定》和《对比观测期间监测资料评估技术方法》的规定,对青海省2007年11个基准站人工观测和自动观测资料进行了对比分析。
现有的很多约简算法都是由构造决策表的区分矩阵出发,将矩阵中非空元素的合取范式转化为极小析取范式。但是,基于Skowron提出的区分矩阵约简算法对不相容决策表会产生错误的
中国农村的土地经营权正在发生大范围的流转,但其是否影响了农户的政治参与尚且不明,研究使用中国28个省份在村农户的微观调查数据发现:土地经营权流转直接影响了农户的政治
本刊讯9月9日,运城市苹果推介会亮相北京国际果蔬展览,作为山西果蔬展览活动的"开场秀",运城"万腾""万荣"等品牌苹果竞相出场,吸引了众多国内外采购商的目光。近年来,该市瞄准国际
提出了基于水平集和迭代自组织数据分析的岩心砾石图像分割方法,既可克服水平集算法伴生的图像过分割问题,也可解决迭代自组织算法产生的图像边缘飘移问题。该方法首先运用水平集算法获取目标颗粒的准确边界,运用迭代自组织算法提取目标颗粒的整体;其次将两种方法提取的图像给以迭加综合处理,克服水平集算法伴生的图像过分割和迭代自组织算法产生的边缘飘移的缺陷,进而得到既完整又边界准确的目标颗粒。该方法运用于岩心砾石图
提出一种可抵抗MP3压缩的稳健的数字音频盲水印算法。该算法通过对音频小波域的近似分量进行分段以嵌入水印。水印提取时按音频特征实现自适应重分段,同时自动调整提取强度,解
"哈密王枣"是哈密大枣的变异,2003年在新疆生产建设兵团第十三师火箭农场哈密大枣园发现。2013年4月通过新疆维吾尔自治区林木品种审定委员会认定。该品种果实近似倒卵圆形,平
摘 要 靖西市属于我国广西壮族自治区,气温年均19.1℃,气候非常适合种植百香果。基于此,从靖西市的具体自然环境和百香果生长需要的气候条件进行分析,得出了具体的结论,希望为相关研究人员提供参考。  关键词 百香果;气候条件;生长环境;靖西市  中图分类号:S667.9 文献标志码:B DOI:10.19415/j.cnki.1673-890x.2016.35.017  百香果属于西番莲科,是一种藤
准确估计指纹纹线间距对指纹图像分割、增强及指纹细节特征提取具有重要意义。针对现有纹线间距估计方法存在的不足,提出了一种基于纹线方向投影信号谱分析的指纹纹线间距估计方法。该方法首先对指纹块方向图进行选择性平滑以滤除噪声干扰,然后计算方向投影信号的傅立叶变换能量谱,并通过谱分析提取信号基频,以此估计出纹线间距。实验结果表明,与现有的一些典型方法相比,该文方法对于纹线间距的估计更为准确、可靠。
随着信息时代的发展,智能数据分析方法在医学领域中的应用地位不断提升。其中在医学影像诊断过程中,高效数据分析方法的介入更是人们所期待的。将形式概念分析理论应用到X线