论文部分内容阅读
根据部分多值逻辑的完备性理论，定出部分四值逻辑中4元单纯可离关系，再按照准完备集之间的相似关系概念，对所定出的关系进行分类。
部分四值逻辑中4元单纯可离关系之分类
【摘 要】
：
根据部分多值逻辑的完备性理论，定出部分四值逻辑中4元单纯可离关系，再按照准完备集之间的相似关系概念，对所定出的关系进行分类。
【机 构】
：
湘潭大学信息工程学院
【出 处】
：
计算技术与自动化
【发表日期】
：
2006年2期
【基金项目】
：
国家自然科学基金资助项目（60083001）
其他文献
企业过程模型评价效果很难通过简单途径取得定量的对比分析结果，本文提出时间约束Petri网理论，在企业过程模型的主要指标采用Little转化为以时间为主的评价体系的基础上，研究采
从P＝EsEr/Z。sinθsinδ出发，综述了提高电力系统输送功率的各种途径，从传统的提高输电电压，到紧凑型输电，多相输电和灵活交流输电（FACTS）。并附带介绍了用户电力技术（Custom Power,C
小麦是我国的一种重要农业作物,种植区域广、产量大,其产量和品质对我国经济建设以及人民生活都有很大的影响.然而,由于小麦的病虫害种类多、分布广、危害大,每年都给小麦生
我国作为农业生产大国,对农业技术水平的提升加大重视力度.随着现代科技领域的全面突破,诞生了许多先进的农业种植技术,在农业生产应用中都取得了不俗的应用效果.以农业生产
网络化控制系统的出现,大大推动了控制系统的发展,正成为新的研究热点.针对网络化控制系统,建立了一种新型的状态变量模型,以此为基础设计了线行二次型最优控制器(LQR).同时
土壤肥料是促进农作物生长发育的重要保障.对于当代的农业生产活动而言,如果想要切实的提升农作物的质量与产量,就一定要科学合理的施用土壤肥料.科学合理的施用土壤肥料,不
XML正逐渐成为WWW数据表示和交换的标准,如何有效实现对于XML数据的存储、查询及更新等操作是XML相关技术研究中的一个重要领域.本文首先简要介绍了我们的基于模式匹配的XML
提出了采用动态BP神经网络预测器(NNP)预测系统输出和基于正态型激活函数的模糊神经网络控制器(FNNC)对交流伺服系统进行控制的思想,对预测器、控制器及其程序设计进行分析。