论文部分内容阅读
本文给出了代换定理的优于文献[1]的证明方法,并把代换定理与其他定理结合,构造了一个判定DNF表达式永真性的算法,使代换定理得到实际应用。
代换定理的证明及其应用
【摘 要】
：
本文给出了代换定理的优于文献[1]的证明方法,并把代换定理与其他定理结合,构造了一个判定DNF表达式永真性的算法,使代换定理得到实际应用。
【机 构】
：
华中理工大学计算机科学与工程系
【出 处】
：
华中理工大学学报
【发表日期】
：
1989年4期
其他文献
本文提出了用于预测球形低温冷刀周围被损伤组织增长速率的一阶摄动解.模型中包括有血流和代谢热的影响,且允许生物组织的初始温度高于其相变温度.在求解过程中,冻结相和未冻
本文提出函数依赖图的概念和理论,并重点应用它对关系模式候选关键字的求解问题进行了深入而系统的讨论,解决了单属性情况下候选关键字的求解问题,得到了若干新的结论。
本文给出了LSI/VLSI设计的一种方法,对其设计过程中的一个重要环节,即版图的设计规则展开了讨论。文中讨论了积木式布局方案中单元版图的设计方法和应注意的问题,并给出了具
本文阐述了用于注射模CAD系统的模具结构设计方法及绘图软件包的特点、功能及其实现方法,采用了特殊的编码系统处理零件的设计数据.
俄罗斯新的交错层压术（CLT）和3层板材的生产俄罗斯：Fill机械工程公司（Fill Machine Engineering）宣布来自俄罗斯的大订单。木材能力中心（Wood Competence Center）获得制造用于实木房
本文研究了控制量变化率受限时的MRAS控制。在文献[1～3]的启发下,本文提出了控制量变化率受限时的MRAS鲁棒变结构控制问题;给出了控制器结构、控制律、自适应律,分析了系统的
<正> 语段是现代语言学中话语分析所研究的重要对象。在过去很长一段时间内,语法学不把语段列入它的研究范畴。事实上,语段与词、词组、句子一样是语言的结构单位。语段是“由两个或两个以上的句子构成的,在形式和内容上与上下文互相关联而又相对独立的一段话即一个语言片段。”语段中句子与句子之间在意义上有逻辑联系,整个语段可以归纳出中心意义,语段在形式上有一定的语言手段作为连接句子的标志。试举一例: To those old allies whose cultural and spiritual orig
在油气田开发过程中常会有硫化氢剧毒气体产生,该气体对人体和设备都具有很高的危害性,因此硫化氢的有效防治对于油气田的安全生产至关重要。本文详细介绍了油田酸化作业过程
本文应用诺沃日洛夫的壳体理论,对输送液体的层压复合材料圆柱壳的自由振动进行了分析,在分析中忽略了壳体结构的切向及轴向惯性力的影响,考虑了壳体和液体的相互作用,导出了
以温度回升法为基础，建立了适合于具有结晶范围合金凝固潜热处理的数学模型，为计算机准确地进行凝固过程数值模拟，提供了合理、精确的计算方法。