论文部分内容阅读
讨论了基于析取统一模的S蕴涵的若干性质,并在此基础上给出了它的2种等价刻画.最后研究了基于2种特殊析取统一模（幂等统一模、表现统一模）的S蕴涵.
基于析取统一模的S蕴涵的研究
【摘 要】
：
讨论了基于析取统一模的S蕴涵的若干性质,并在此基础上给出了它的2种等价刻画.最后研究了基于2种特殊析取统一模（幂等统一模、表现统一模）的S蕴涵.
【机 构】
：
安徽师范大学数学计算机科学学院
【出 处】
：
宁夏大学学报：自然科学版
【发表日期】
：
2015年4期
【基金项目】
：
安徽省高校科研基金资助项目（KJ2012A136）
其他文献
目的：寻找在深度烧伤的治疗中一种较理想的创面覆盖物，方法：应用５０ｋｇ左右健康小白猪的皮肤，制成０．４ｍｍ厚度的细网状脱细胞真皮，移植于烧伤切痂后或烧伤瘢痕切除后的创面上，手术当天或１周后在脱
本文对17例肝脏炎性假瘤的临床病理特点进行了分析。结果显示该病的主要特点是:发病年龄较轻,平均37.2岁;男性多见,占82.4%;近65%的患者无特殊病史;76.5%的患者具有以右上腹
<正> 近年来,用多种凝集素对子宫内膜腺癌的研究较少。我们用麦胚凝集素(WGA)、大豆凝集素(SBA)、菜豆凝集素(PHA)、刀豆凝集素(ConA)和双花扁豆凝集素(DBA),以ABC酶标法染色
微波炉在临床快速病理技术中的应用纪小龙，曹晓哲，胡南南随着医院深化改革和等级评定的需要，病理科在医院的位置越来越重要，临床各科都要求既快又准地获得病理报告。但广大中小医
BIM技术在高速公路工程建设中的应用,对于提升整个工程建设的稳定性和牢固性等方面起着非常重要作用。公路建设环境复杂,社会经济的发展对公路建设的要求也在提高。BIM技术能
<正> 暴发型肺脂肪栓塞是骨折后严重并发症之一,多见于长骨干骨折。因一般性外科或骨科手术引起本病导致病人急死者较为罕见。国内外文献亦极少报道,本文就我院所遇2例报道如
对拓扑空间中的邻域系性质进行了进一步研究.提出了邻域系算子和邻域连续映射的概念,定义了邻域系算子范畴,讨论了该范畴上的余积和乘积,并证明了邻域系算子范畴与拓扑范畴是
硬脆蜡块组织的软化处理张卫青，张同全，孙明祥，孙天玉在日常病理工作中，常会碰到因组织处理失当或组织自身原因而引起的硬脆组织蜡块，如组织脱钙不彻底，组织含有不易觉察的钙化灶，含