论文部分内容阅读
MP^M系统是在中介逻辑系统的基础上建立起来的，用于处理数据库中不完全信息的三值逻辑命题演算系统．本文通过在MP^M系统上建立—个代数系统，对MP^M系统进行了代数抽象，讨论了MP^M系统的代数性质．本文还研究了该代数系统的次直积，以及与其它一些代数系统之间的关系．
中介命题演算系统MP^M的代数系统
【摘 要】
：
MP^M系统是在中介逻辑系统的基础上建立起来的，用于处理数据库中不完全信息的三值逻辑命题演算系统．本文通过在MP^M系统上建立—个代数系统，对MP^M系统进行了代数抽象，讨论了MP^M
【机 构】
：
南京航空航天大学信息科学与技术学院,南京大学计算机软件新技术国家重点实验室
【出 处】
：
数学研究与评论
【发表日期】
：
2006年4期
【基金项目】
：
计算机软件新技术国家重点实验室（南京大学）开放课题：数据库中的不完全信息与不一致信息研究,973计划,“海量信息系统规律、模型和维护机理研究”子课题：海量信息系统知识与管理研究（G1999032701）
其他文献
小微企业是给力经济发展的＂轻骑兵＂,复杂多变的国内外经济形势让大多数小微企业一直在浪尖上跳舞。＂抓大不放小＂,＂放水养鱼＂,扶持培育,纾解小微企业面临的诸多困难,开创小微企业铺
本文研究了整数环模16剩余类环Z16上的二次剩余码，讨论了它们的幂等生成元及其扩展码的自对偶性等代数性质，并研究了码长为7的Z16二次剩余码在两种已有的Gray映射下的有趣性质，
目的：评价分析阿奇霉素治疗小儿支原体感染的疗效。方法：选择小儿支原体感染患者120例，随机分成观察组和对照组两组．年龄2～10岁。两组均给予相同的常规治疗，同时对照组采用红霉素治
气泡是由壳层与内部空腔组成的一种物质,由于它具有特殊的结构,使其具有优异的遮光性和可变形性,广泛用于涂料、油漆、化妆品、食品及医学领域。微流元件法是研究气液和液液
本文分析了半导体量子点电致发光器件用于航空舱内照明的可行性。根据国内外相关资料，讨论了航空舱内照明的夜视兼容性要求，说明了航空舱内照明系统的发展现状，对半导体量子点电