论文部分内容阅读
在文中，对文献【8】中介绍的具有输出字符功能的模糊自动机和模糊有限状态自动机的定义作了修改，并对它们进行了系统的研究，揭示了此两类自动机和取分配格的代数性质的紧密联系；得到了此两类自动机在：(1)强等价；(2)等价；(3)弱等价条件下的许多重要结论。
两类具有输出字符功能的模糊自动机的关系
【摘 要】
：
在文中，对文献【8】中介绍的具有输出字符功能的模糊自动机和模糊有限状态自动机的定义作了修改，并对它们进行了系统的研究，揭示了此两类自动机和取分配格的代数性质的紧密联系；
【机 构】
：
陕西师范大学数学与信息科学学院
【出 处】
：
计算机工程与应用
【发表日期】
：
2004年34期
【基金项目】
：
国家自然科学基金(编号:60174016),,国家重点基础研究发展计划(973计划)项目(编号:2002CB312200)资助,,高等学校优秀青年教师教学科研奖励计划
其他文献
森林植被的实时可视化技术是复杂虚拟环境渲染的重要组成部分，也是影响虚拟环境逼真度的重要因素。森林植被绘制的实时性是制约VR应用的重要方面。论文综述了虚拟环境中植被可
基于策略的管理是当前安全研究的热点问题之一。该文首先介绍IPsec策略的定义及；中突的原因，随后分析了对策略管理提出的要求，在此基础上提出了IPsec策略管理的一个通用框架，并对
我公司转杯纺车间有BS613型转杯纺纱机5台，设备配用FX132S1-2型排杂电机，每台净重68kg，位于车尾处，且上方有落纱板和落纱减速箱，下方有17艺排风管道，空间十分狭窄，维修保养操作非常
图像配准是计算机视觉中目标识别的一种基本方法,其目的是在待识别图像中寻找与模型图像的最佳匹配。该文讨论以特征点表示的图像间的配准问题,利用矩阵分解理论推导出射影变换下特征点集配准的闭合公式,给出变换参数估计的算法,并用模拟数据和图像角点检测的真实数据加以验证。实验表明该方法精确、稳定、受噪声影响小。
随着美容产业的逐步成长，国内国外成功的、优秀的、新兴的项目或品牌都纷纷涌入美业市场。这种潮流，给国内的企业，经营者，商家带来了压力和困难，势必会淘汰一些各方面能力较弱的团
负载平衡是提高分布式系统性能不可缺少的技术，同时也是系统高可用性、可扩展性、容错性的必然要求。该文在分析和研究负载平衡模型的基础上，提出了一种基于消息队列的负载平衡
论文详细讨论并给出了一种适合于实际应用的视频传输系统的设计原理和实现方法。设计中为提高系统资源的使用率、提高网络带宽的应用率，提出了网络通信变VBR为动态CBR的方法，通
该文在有限自动机的矩阵模型表示方法基础上，采用矩阵理论和布尔代数为工具，提出了一种有限自动机等价判定的新方法。该方法不仅有利于算法设计和计算机自动处理，其处理方法对采