论文部分内容阅读
通过具体公式在增加或删去某些文字或子句后生成的新公式的可满足性来研究极小不可满足公式类的常见子类Dis-MU,HIT-MU,Unique-MU,MARG-MU,MAX-MU和之间的包含关系.
集合的某些子类间的包含关系
【摘 要】
：
通过具体公式在增加或删去某些文字或子句后生成的新公式的可满足性来研究极小不可满足公式类的常见子类Dis-MU,HIT-MU,Unique-MU,MARG-MU,MAX-MU和之间的包含关系.
【机 构】
：
襄樊学院,数学系,湖北,襄樊,441053
【出 处】
：
襄樊学院学报
【发表日期】
：
2008年8期
其他文献
临床上用碳酸锂治疗躁狂症尚有许多不良反应,其治疗剂量[(0.5～1.4)mmol/L]与中毒剂量(1.5mmol/L)十分接近,临床上必须经常监测锂盐浓度,以防止中毒现象的发生.锂盐的测定方法
目的:探讨高能聚焦超声(HIFu)治疗乳糜尿的临床应用效果。方法:回顾性分析采用FEP-BY02型HIFu治疗乳糜尿患者25例。结果:25例患者均安全接受治疗,治疗后1～4个月行常规尿乳糜定
当前,“链式管理”已成为企业获取核心竞争力的战略管理模式,本文将通过对现有的“链式管理”理论的概括分析,揭示“链式管理”的内涵,在对现有理论和实践面临的一些困境的分
随着学生年龄的增长,其身心有非常大的变化,对事物的认知和处理也有较大的变化.初中生活泼好动,身心成长还不成熟,所以在课堂上只要老师一提问,他们都会争先恐后地举手,积极
门静脉高压（portal hypertension, PHT）是慢性肝病肝硬化的并发症，随着病程的进展，门静脉压力的不断增高，会出现食管胃底静脉曲张、破裂出血，肝性脑病，腹水等临床表现，因此监测门静脉
传统教学模式或许能满足中职体育教学大纲的要求,却难以同学校的整体教学目标相契合。结果使体育课程的学科地位不仅陷于尴尬的境地,且体育教学也难以吸引学生的兴趣。为此,
舞蹈是一项与身体素质密切相关的舞蹈运动.舞蹈几乎所有的动作结构都需要身体各种素质的参与.如舞蹈中托举动作的完成需要有良好的力量素质和爆发力素质为支撑.而完成整套动
人力资源管理是现代企业管理的核心,而薪酬激励是其中一项最困难、最敏感的工作.特别是对于在资金、规模、企业知名度等方面相比处于劣势的企业来说,薪酬激励尤为重要.如何发
脑内血肿穿刺引流术为神经外科常见手术之一.我院自1994年以来应用现在的CT定位方法成功治疗适合穿刺抽吸引流术的脑内血肿58例,方法简单,定位准确,成功率高,现报告如下.