析取分配格等价刻划及性质

来源 :湖北工学院学报 | 被引量 : 0次 | 上传用户:smartq
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
通过给出基格和M-stone空间等概念,获取了析取分配格的一个重要刻划定理,并给出了析取分配格成为布尔格的一个重要条件。
其他文献
目的:选择老年根面龋充填治疗的理想材料。方法:将132例298颗患牙,随机分成3组,分别用Dyract AP复合体、玻璃离子水门汀和银汞合金充填治疗,观察3年。结果:Dyract AP复合体成功率93
公共自行车系统是中心城区公共交通系统的重要组成部分,能有效应对解决城市拥堵、空气污染等问题。本文研究推广公共自行车的可行性、必要性和重要意义,对解决道路交通主要问
目的 探讨对新近发现的2—型糖尿病进行强化治疗后,来改善他们预后的可行性。方法对58例新近2—型糖尿病病人随机分成两组,治疗组给予短效胰岛素分次皮下注射使空腹及餐后2小时
目的研究广西藤茶提取物APS在体外对乙肝病毒(HBV)的作用。方法采用血清药理学方法,将APS含药血清作用于2.2.15细胞,收集细胞上清液,用MTT法测定细胞上清液中HBsAg、HBeAg的含量。结
主要论述了LISP语言中无用单元回收过程的实现机制,在分析各种基本无单元回收算法的基础上,选择了一种较优的GC算法用LISP系统,这种算法克服了简单Copying算法频繁复制有用记录的弱点,解决了Mark-Sweep算法中
提出了一种计算非线性优化问题的神经网络模型,研究了该神经网络的稳定性,探讨了利用该神经网络进行优化设计的原理和方法。
临床路径管理是一种最新的医疗质量管理方式.临床护理路径(clincal nursing palhway)是患者在住院期间的护理模式,即针对特定的患者群体,以时间为横轴;以入院指导、入院时诊
期刊
本文通过对施工区间地质情况分析,针对兰州地铁隧道盾构法施工过程中存在的主要问题提出相关的解决方案。兰州砂卵石地层的特殊地质特性导致盾构法施工过程中,由于人工填土问
瘦身、素颜这些当今时尚的名词,都代表了一种人们追求自然、真实、美好、简约的心态和状态.数学课堂学习活动也应更加简约.但简约的学习活动中却不简单,其中蕴含着兴趣的热度
自2002年1月开展经尿道气化治疗膀胱肿瘤以来,已成功进行39例。在电切的基础上加气化,既保证了完全切除肿瘤又避免了出血、膀胱穿孔等并发症发生的可能,现报告如下。