论文部分内容阅读
MP^M系统是在中介逻辑系统的基础上建立起来的，用于处理数据库中不完全信息的三值逻辑命题演算系统．本文通过在MP^M系统上建立—个代数系统，对MP^M系统进行了代数抽象，讨论了MP^M系统的代数性质．本文还研究了该代数系统的次直积，以及与其它一些代数系统之间的关系．
中介命题演算系统MP^M的代数系统
【摘 要】
：
MP^M系统是在中介逻辑系统的基础上建立起来的，用于处理数据库中不完全信息的三值逻辑命题演算系统．本文通过在MP^M系统上建立—个代数系统，对MP^M系统进行了代数抽象，讨论了MP^M
【机 构】
：
南京航空航天大学信息科学与技术学院,南京大学计算机软件新技术国家重点实验室
【出 处】
：
数学研究与评论
【发表日期】
：
2006年4期
【基金项目】
：
计算机软件新技术国家重点实验室（南京大学）开放课题：数据库中的不完全信息与不一致信息研究,973计划,“海量信息系统规律、模型和维护机理研究”子课题：海量信息系统知识与管理研究（G1999032701）
其他文献
2016年3月31日,由中国照明电器协会、中国照明学会室外照明专业委员会、中国市政工程协会城市照明专业委员会共同主办的＂2016（第十二届）中国道路照明论坛＂在江苏扬州会议中心隆重
小微企业是给力经济发展的＂轻骑兵＂,复杂多变的国内外经济形势让大多数小微企业一直在浪尖上跳舞。＂抓大不放小＂,＂放水养鱼＂,扶持培育,纾解小微企业面临的诸多困难,开创小微企业铺
本文研究了整数环模16剩余类环Z16上的二次剩余码，讨论了它们的幂等生成元及其扩展码的自对偶性等代数性质，并研究了码长为7的Z16二次剩余码在两种已有的Gray映射下的有趣性质，
目的：评价分析阿奇霉素治疗小儿支原体感染的疗效。方法：选择小儿支原体感染患者120例，随机分成观察组和对照组两组．年龄2～10岁。两组均给予相同的常规治疗，同时对照组采用红霉素治
教师是一个高压力职业。随着社会的发展，技能型人才严重缺乏，国家对职业教育的投入增加，中等职业教育受到更多的关注，大量高校毕业生充实到职业教育队伍中来，并成为职业教育的骨干
2017年9月5日,省经济和信息化委印发了《四川省技术改造项目节能审查办法》,原《四川省技术改造项目节能评估和审查办法》（川经信办技改[2016]31号）同时废止。2016年下半年,全
气泡是由壳层与内部空腔组成的一种物质,由于它具有特殊的结构,使其具有优异的遮光性和可变形性,广泛用于涂料、油漆、化妆品、食品及医学领域。微流元件法是研究气液和液液
<正> 去年,我们在认真贯彻执行“紧中有活”信贷政策的同时,结合宏观紧缩形势采取积极措施,既控住了信贷规模,又避免了紧缩下的“一刀切”情况。一方面按时完成了上级分配的
本文分析了半导体量子点电致发光器件用于航空舱内照明的可行性。根据国内外相关资料，讨论了航空舱内照明的夜视兼容性要求，说明了航空舱内照明系统的发展现状，对半导体量子点电