论文部分内容阅读
本文定义了加权Moore机的同余、同态,给出了同态定理并证明了同余关系在加权Moore机中构成一个完备格。在同余关系下给出了加权Moore机的商Moore机,并给出了求最小状态Moore机的算法。
加权Moore机的同余与最小化
【摘 要】
：
本文定义了加权Moore机的同余、同态,给出了同态定理并证明了同余关系在加权Moore机中构成一个完备格。在同余关系下给出了加权Moore机的商Moore机,并给出了求最小状态Moore
【机 构】
：
陕西师范大学数学与信息科学学院,陕西师范大学网络信息中心,陕西师范大学计算机科学学院
【出 处】
：
计算机工程与科学
【发表日期】
：
2010年9期
【基金项目】
：
国家自然科学基金资助项目（60873119）
其他文献
目前提出的密钥协商协议大部分都是基于Diffie-Hellman交互，对协商信息进行认证，并在成员之间建立一个会话密钥，实施安全通信。本文找出了文献[1]中的两个安全漏洞，利用双线性映
随着我国工业化进程的加快,特别是市场经济体制的确立,学校教育与就业之间、学生学习与职业选择之间的关系日益密切。这种适应市场经济体制需要而进行的教育体制改革已经打破了传统的统包统分的就业格局,唤起了学生参与职业选择和社会生活的主体意识。以就业指导为重点的职业指导,在“双向选择”“自主择业”的就业模式下,正发挥着它前所未有的重要作用。然而,由于缺乏系统的职业知识教育和指导,不少学生在与用工单位“双向选
21世纪,是知识经济迅速发展的时代,是学习决定命运的时代。在这样的时代里,学习和培训成为个人和组织的共同需要。加强对员工的培训,可以帮助企业形成核心竞争力,获得竞争优势。下面就企业如何认识对于员工的培训,以及应该选择何种有效的培训方法,如何评估培训效果阐述笔者的个人观点。 一、如何看待员工的培训 培训主要是一个需求的整合以及需求怎么加以整合的过程。这个需求来自于两个方面:一是接受培训的
一、树立自身的良好形象 班主任要经常和学生打交道，是学生心目中的一个典范，班主任在做任何事情都必须注意自身的一言一行和一举一动。也就是说，班主任要靠言教，更要靠身教，必须不断提高自身的思想政治素质和工作能力，树立自身良好的形象，要时刻注重自身的品格、学识和涵养。特别要注意一些小事和细节，如果教师言不雅、行不正，教师就容易失去威信，给班级管理带来不利。比如，学校要求学生不许穿拖鞋、染发、穿奇装异服
GML是基于XML的空间信息编码标准。GML模式匹配技术作为实现应用模式的集成与共享的关键技术，与GML解析机理和实现技术密切相关。本文详细介绍了关于GML模式匹配的概念；给出了
1998年，我们曾以“一种既非古典又非凯恩斯的宏观经济理论模型”为题，对现存的两种宏观理论提出质疑。十几年过去了，我们似乎找到了这两种理论在逻辑上的共同缺陷。本文从Cobb-D
随着构件技术的发展和构件库规模的扩大，构件的表示与检索技术作为构件库管理的两个核心技术已经成为研究热点。根据目前被广泛应用的构件刻面分类描述方法及其特点．本文从构件
<正>树立问题教学意识,是职业教育新课程改革的重要要求。如果把一堂课视作一篇动听的乐曲,那么课堂上一个个问题就是五线谱上的音符。在中职财会课堂中,以学生的全面发展为