论文部分内容阅读
本文证明了在一定条件下输入有向调解法在Horn集上是完备的,进而得出了在该条件下的单元有向调解法对Horn集的完备性。更多还原
Horn集上的有向调解法
【摘 要】
：
本文证明了在一定条件下输入有向调解法在Horn集上是完备的,进而得出了在该条件下的单元有向调解法对Horn集的完备性。更多还原
【机 构】
：
吉林大学计算机科学系,吉林大学计算机科学系长春,长春
【出 处】
：
吉林大学自然科学学报
【发表日期】
：
1992年4期
【基金项目】
：
国家自然科学基金,国家教委博士点基金,国家863计划资助课题
其他文献
鉴于地震数据不连续性检测的重要性,本文提出了一种保持和检测地震图像不连续性（如：岩层,断层,河道等）的方法.通常在图象不连续的地方,象素值会有较大的差异,文中用4×4的方
<正> 1.前言: 美国的机器人市场,1986年出厂数和1985年大致相同,增长速度开始大大减慢,预计1987年将减少.到1985年为止发展起来的美国机器人市场也开始发生变化,现在正处于大
一、ESWL的碎石原理冲击波是由水中火花放电产生的。放电的电极置于一个对称半椭球体的第一焦点上。放电使水汽化而产生冲击波。冲击波经球体内壁反射会聚在第二焦点处,即可
安徽师范大学政法学院哲学马克思主义哲学学科是安徽省级重点学科，该学科自1986年招收硕士研究生以来，经过20多年的发展，在学科建设，人才培养，学术交流等方面取得长足的发展.
研究了驱动条件对有机薄膜电致发光形成过程的影响，初步分析了这种形成过程的机理。
Menshen是一家德国塑料模具产品生产公司，该公司最近研发了一种特殊的产品．这种产品的功能类似一个阀门装置．每次．当消费者停止吮吸时．阀门装置便会自动关闭，以防止包装内容物外溢
紧持“发展以技术为基础”的宇电公司，于2008年4月推出超薄型的TM5000系列隔离式安全栅和TM6000系列信号隔离器。这两大产品均为全模块化设计，小体积，低功耗；具备供电电源-输入回
本文提出在智能变电站过程层网络通信系统采用EPON进行组网的应用方案,在对智能变电站过程层通信业务分析、及EPON技术和现阶段智能变电站过程层所采用的主流工业以太网技术