针对传统的关联分类算法在构造分类器的过程中需要多次遍历数据集从而消耗大量的计算、存储资源的问题,该文提出了一种基于知识进......

通过分析传统方法的不足，提出用于反演消解的启发估计函数ｈ（Ｃ，Ｂ）的一种新的学习方法，并特别强调约束不等式条件ｈ（Ｃ，Ｂ）×ｈ（Ｃ，Ｂ）〉０必须瑕目标函数联系......

本文用类型一阶理论来定义逻辑程序，并通过引入Ｌａｋａｔｏｓ的基于证伪的发现方法论将原有的封闭型类型一阶理论改造为开放的类型一阶理论，在此基......

研究<墨辩>的辩论止谬原则和论式,有助于理解<墨辩>作为辩论工具的实用价值.文章从分析<墨辩>"诺"的表述含义入手,论证了三类"诺"......

由于反驳语是一种威胁面子的行为,因此人们在交际中会用到各种策略来缓和其语效。根据收集的语料,并借用Trosberg（1993）对言语行为的......

文章建立了更符合工程实际的桩土系统瞬态振动计算模型，利用有限差分法计算了非完整桩在瞬态轴向激振力作用下的动力响应。根据反射......

今本《文子》一书，无论在行文格式还是思想内容上。都看似《老子》一书的注释。因而自元代至今，许多人将该书认定为《老子》的古注。......

本文构造了开放对象的进化模型，其进化进程是通过消息与环境相互作用并按一定的重构逻辑重构自身，这个过程包括平稳的内部修正进程和......

为保障高速铁路行车安全,从铁磁性材料磁化的机理出发,分析漏磁检测的基本原理,介绍漏磁检测技术在钢轨缺陷检测中的应用研究,提出......

百家争鸣是墨辩产生的基础和作用对象，研究《墨辩》的辩论止缪原则和论式，有助于理解《墨辩》作为辩论工具的实用价值。文章从分析《......

定义了一个建立在一阶谓词基础上的开放的逻辑系统,它由证明演算和假设演算组成。本文在文献[1]的基础之上对假设演算进行了某些扩......

定义了认知过程中出现的反例及反驳两个概念,定义了一个描述理论与实践交互作用的逻辑系统OLS,此系统由证明演算及假设演算组成。......