HORN集

作品数：11被引量：3H指数：1
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：刘叙华欧阳丹彤黄天民裴峥杨凤杰更多>>
相关机构：吉林大学西南交通大学《电器》编辑部浙江大学更多>>
相关期刊：《湘潭师范学院学报（自然科学版）》《电器》《上海科技大学学报》《汽车工艺师》更多>>
相关基金：国家自然科学基金国家教育部博士点基金国家高技术研究发展计划国家攀登计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
奥地利Prinzhorn集团计划收购俄罗斯SFT瓦楞包装公司50%股份
《中华纸业》2019年第9期69-69,共1页
奥地利Prinzhorn集团宣布同意收购俄罗斯SFT瓦楞包装公司50%股份,将成立合资公司。SFT是俄罗斯的一个家族企业,年产能5亿平方米瓦楞包装、45万吨包装纸板和55万吨可回收纸,旗下有Kamenskaya纸厂和Aleksinskaya纸厂等。
关键词：HORN集 SFT 俄罗斯 奥地利 瓦楞 收购 包装纸板 合资公司 
奥地利Prinzhom集团在土耳其建设第三家包装纸板厂
《中华纸业》2017年第19期77-78,共2页
奥地利Prinzhorn集团包装纸板部的下属企业Hamburger Turkey已签署土地购买协议,在土耳其建设第三家纸厂工厂选址于伊斯坦布尔东南250公里处.新厂投资3亿欧元,预计2020年完工,将创造约500个工作岗位.该厂将安装具有先进技术的纸机,纸机...
关键词：包装纸板 土耳其 奥地利 纸板厂 M集 HORN集 伊斯坦布尔 工厂选址 
Horn全球技术开放日再显槽加工领军者姿态
《汽车工艺师》2015年第7期41-41,共1页
哈挺（HARDINGE）、德国当地时间2015年6月17-19日,槽加工刀具领导者Paul Horn（号恩）在其位于图宾根的工厂举行了盛大的全球技术开放日。据Horn集团总裁Lochar Horn先生介绍说,该技术开放日每两年一届,2015年参加人数规模再创新高,为...
关键词：HORN集 技术 槽加工 姿态 加工刀具 领导者 
泰国Kulthorn集团:来自大象之国的压缩机制造商
《电器》2012年第2期60-61,共2页陈莉 
2012年1月13日，隶属泰国Kulthorn，集团的KKC压缩机厂（Kulthorn Kirby Public Co．，Ltd．，以下简称KKC）正式投产30周年。这一天，作为泰国第一家也是最大的压缩机制造商，KKC在泰国曼谷举行了隆重的庆典。为了体现对中国市场的重视...
关键词：HORN集 压缩机 制造商 泰国 大象 PUBLIC 中国市场 LTD 
HORN集上基于广义归结方法的定理机器证明
《湘潭师范学院学报（自然科学版）》2009年第1期31-34,共4页戴望州 
设计了一个Horn集上基于广义归结方法的定理机器证明系统。在算法中使用广度优先与深度优先结合避免了传统归结的组合爆炸。分析了该系统的优缺点,在前人研究的基础上地提出了几点优化的建议。
关键词：广义归结 HORN集 机器证明 
基于模糊神经网络的Horn集上的输入归结被引量：1
《西南交通大学学报》2002年第5期565-569,共5页裴峥 黄天民 
国家自然科学基金 (6 0 0 74 0 14 )
关于定理机器证明的归结原理已应用到人工智能的很多领域 ,同时提出了各种改进方法。其中 ,输入归结是一种非常好的推理方法 ,它对于Horn集是完备的。模糊神经网络是模糊逻辑与神经网络的融合 ,文中利用模糊神经网络的知识表示及学习的...
关键词：模糊神经网络 HORN集 模糊逻辑系统 归结原理 输入归结 人工智能 机器证明 
广义Horn集
《软件学报》1995年第4期248-256,共9页刘叙华 欧阳丹彤 
国家自然科学基金;博士点基金;863计划;国家攀登计划项目
本文定义了广义Ｈｏｒｎ集，并在广义Ｈｏｒｎ集上证明了广义输入归结的完备性；广义输入对称调解的完备性；以及一定条件下的广义输入有向调解的完备性．文中还证明了广义调解法的提升引理．
关键词：对称调解 有向调解 广义 HORN集 
输入调解法和单元调解法在Horn集上的完备性被引量：1
《软件学报》1993年第1期6-11,共6页欧阳丹彤 孙吉贵 刘叙华 
国家自然科学基金;国家教委博士点基金
本文证明了调解法的提升引理,以及输入调解法对Horn集的完备性,进而证出了单元调解法对Horn集的完备性。
关键词：调解法 单元调解法 完备性 HORN集 
Horn集上的有向调解法被引量：2
《吉林大学自然科学学报》1992年第4期38-42,共5页欧阳丹彤 刘叙华 
国家自然科学基金;国家教委博士点基金;国家863计划资助课题
本文证明了在一定条件下输入有向调解法在Horn集上是完备的,进而得出了在该条件下的单元有向调解法对Horn集的完备性。
关键词：HORN集 调解法 完备性 
λ-Horn集上的λ-单元锁归结
《吉林大学自然科学学报》1989年第3期39-41,共3页刘叙华 杨凤杰 
本文给出了λ-Horn集上的λ-单元锁归结方法,并证明了λ-单元锁归结方法对λ-恒假公式是完备的。
关键词：λ-Horn子句 λ-约化集 锁归结 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部