广东省高等学校学科与专业建设专项资金项目(2012KJCX0079)
- 作品数：6 被引量：9H指数：2
- 相关作者：杨必成陈强李晓霞更多>>
- 相关机构：广东第二师范学院更多>>
- 发文基金：广东省高等学校学科与专业建设专项资金项目国家自然科学基金更多>>
- 相关领域：理学自动化与计算机技术更多>>
- 本体推理在几何定理机器证明中的应用
- 2013年
- 文中阐述了平面几何定理机器证明的基本原理及方法,针对几何定理机器证明过程中可读证明的产生,及推理信息快速增长的问题,提出了一种基于本体推理的几何定理机器证明方法。通过具体案例,描述了以Protégér软件为工具,基于WordNet重用的领域本体半自动构建方法,构建几何本体模型的过程,并结合Prolog规则进行双向推理。结果表明将本体引入几何定理机器证明是可行的,且本体推理脱离了代数形式,使得推理过程更接近自然语言的描述,同时推理效率更高。
- 李晓霞陈强
- 关键词：定理机器证明本体模型
- 一个较为精确的半离散非齐次核的Hilbert不等式被引量：2
- 2013年
- 应用权系数的方法及改进的Euler-Maclaurin求和公式,建立一个具有最佳常数因子的较为精确的半离散非齐次核的Hilbert不等式,并考虑了它的含参数推广式及等价式.
- 杨必成陈强
- 关键词：权系数HILBERT不等式等价式
- 关于两类半离散含对数非齐次核逆向的Hilbert型不等式
- 2013年
- 应用权系数的方法、复分析技巧及参量化思想,建立两类具有最佳常数因子的、半离散含对数非齐次核逆向的Hilbert型不等式及其等价式。
- 杨必成
- 关键词：权系数HILBERT型不等式等价式
- 论全平面Hilbert型积分不等式及其算子刻画
- 2014年
- 引入独立参量,应用权函数的方法及实分析技巧,建立一个具有最佳常数因子的全平面非齐次核Hilbert型积分不等式,考虑了其等价式、逆式及相关的齐次式与Hardy型不等式;定义了全平面Hilbert型积分算子,还求出了一些特殊核的算子范数.
- 杨必成
- 关键词：权函数等价式范数
- 论半离散的Hilbert型不等式及其算子表示
- 2015年
- 引入独立参量及中间变量,应用权函数方法及实分析技巧,建立齐次与非齐次核半离散Hilbert型不等式的等价联系,定义了等价的半离散Hilbert型算子,还考虑了一些特殊核的范数表示.
- 杨必成
- 关键词：权函数等价式
- 一个较为精确的半离散的Hilbert型不等式被引量：8
- 2013年
- 应用权系数的方法及Hadamard不等式,建立了一个具有最佳常数因子的、较为精确的半离散的Hilbert型不等式,并考虑了它的等价式.
- 杨必成陈强
- 关键词：权系数HILBERT型不等式等价式
