论文部分内容阅读
首先在格值逻辑框架下引入格值自动机的概念，并提出可逆映射的概念，从而诱导出格值可逆自动机的概念；其次研究了格值可逆自动机的代数性质同时给出保证该代数性质成立的充分必要条件。
格值可逆自动机的代数性质
【摘 要】
：
首先在格值逻辑框架下引入格值自动机的概念，并提出可逆映射的概念，从而诱导出格值可逆自动机的概念；其次研究了格值可逆自动机的代数性质同时给出保证该代数性质成立的充分必要
【机 构】
：
榆林学院
【出 处】
：
价值工程
【发表日期】
：
2011年23期
【基金项目】
：
榆林学院青年基金资助项目（10YK31）.
其他文献
设立农牧系统教育培训基地,是新时期农牧业现代化发展建设的必然要求。把农牧系统教育培训基地办好,为加快推动中国特色农牧业现代化发展进程作出贡献,是高等农业院校应承担
我国面临的本币升值压力与二十世纪八、九十年代的日本有很大的相似性。本文通过分析日元升值对日本经济的积极和消极影响,借鉴日本的经验教训来讨论人民币升值的可能带来的
文章阐述了混凝土存在的几种缺陷,从粉煤灰、矿物外加剂对混凝土的机理作用进行了研究,并简要分析了混凝土的碳化破坏机理及其防治措施。
给出了PLC和变频器实现130t／h煤粉锅炉控制系统中的应用方法，该方法对用于煤粉锅炉控制系统中有很强的实用能力。应用结果表明了该方法的有效性和可靠性。
XX公司为了降低从车间1到车间2输送物料的运输成本，在车间1和车间2之间建设了一条总长650米的链条输送线，用于物料的连续输送。由于原控制系统存在诸多缺陷，并缺乏及时的售后服
高职教育人才培养方案是确定高职教育人才培养目标和保证教育质量的指导性文件。本文探讨了高职教育人才培养方案的制订过程，并对制订高职教育人才培养方案中遇到的问题提出建
随着我国科学技术的进步以及施工技术的不断改进,人居环境质量得到了极大的提高,但在建筑工程中,还是存在一些质量问题,本文针对当前房屋建筑工程质量的管理现状,探讨了提高
与其他热喷涂工艺相比，冷喷技术具有巨大优势，但参数部分的影响较为明显，控制工艺技术的探讨尤为重要。
随着多媒体课室的日益普及和计算机网络的不断发展，特别是internet与校园网的接轨，为教师和学生带来了极大的方便和大量的资源。但随之而来的网络安全问题也越来越突出，如果这个
本文介绍了软土地基采用预应力混凝土管桩工程实例,分析预应力混凝土管桩桩顶水平位移异常的原因和处理措施,并总结设计和施工应注意的问题。