【摘 要】
:
根据部分多值逻辑的完备性理论,证明了m=2时的两类正则可离函数集必然不包含在P的极大封闭集之最小覆盖中.
【机 构】
:
湘潭大学信息工程学院,湖南,湘潭,411105
论文部分内容阅读
根据部分多值逻辑的完备性理论,证明了m=2时的两类正则可离函数集必然不包含在P的极大封闭集之最小覆盖中.
其他文献
在间歇反应器中,反应温度为30~60℃,硝酸初始浓度30~54%,磷矿初始粒径0.375~1.075毫米,搅拌强度400转/分的条件下研究了硝酸分解磷矿的反应过程机理及宏观动力学.结果表明,磷矿
目的:研究健康教育对正常高值血压患者的影响.方法:278例患者随机分为两组,即健教组和对照组各139例,健教组给予健康教育,即综合性生活方式干预和相关疾病防治知识教育,每月2
目的:测算住院护理人力实际成本,比较成本与定价的差距.资料与方法:采用典型抽样方法,分别选取上海、浙江、湖北和陕西二、三级医院各一家,收集各医院运行的相关数据,按医院
本文综述了全功能型光折变聚合物和小分子材料的研究进展,并详细汇总了这种材料的热特性,光电和电光特性,及光折变特性参数.基于对材料从分子水平上的设计思想,阐述了这种光
文运用反向传播 (BP)神经网络理论 ,设计了一个仿真 10 5单缸柴油机示功图的BP网络模型 ,并对之进行了讨论和研究 ,说明该神经网络模型不但可以满足船舶轮机仿真训练器的精度要求 ,并且还可以保证轮机仿真过程的实时性 ,从而提出了船舶轮机训练器实时仿真建模的又一种有效的方法
安全需求的多样化和复杂化使得越来越多的安全策略在上层应用中实现,如何保证上层实现的安全策略得到真正实施成为安全操作系统的基本要求。文章在分析可信系统最新发展和当
以丁苯胶乳为种子乳液,苯乙烯、甲基丙烯酸甲酯、丙烯腈的混合物为硬单体,二乙烯基苯为交联剂,在氧化还原引发体系下,以种子乳液聚合法得复合乳液,絮凝干燥后得到共聚物.研究
系统介绍了目前实现"首长信箱"的几种技术,分别对技术进行了详细的分析与探讨,通过对四种技术方案实现与安全的分析,文中最后指出在目前阶段,WEB邮件方式与数据库方式是较为
介绍了一种新的补偿办法———用铂电阻测量冷端温度 ,再根据热电偶中间温度定律进行计算来实现补偿 ,求得被测温度。
A new compensation method is introduced --- measur
在水泥、陶瓷、化工、粮油、饲料等生产领域中,各种原料之间的配比精度对生产过程的稳定和产品的产量、质量有重要的影响,高精度的配料依靠有效的控制系统.目前的配料系统大