黄方剑
- 作品数：10 被引量：29H指数：2
- 供职机构：电子科技大学更多>>
- 发文基金：国家重点基础研究发展计划中国科学院知识创新工程国家自然科学基金更多>>
- 相关领域：理学自动化与计算机技术更多>>
- 一种基于机电设备的知识图谱推理引擎架构系统
- 本发明公开了一种基于机电设备的知识图谱推理引擎架构系统，属于推理引擎技术领域。该架构系统包括界面接口层、数据缓冲层、后台处理层、关系数据库层、图数据库层、推理引擎层。通过多数据库交互同步方法，使用层次化架构设计合理地组合...
- 曾亚剑侯晓荣黄方剑
- 文献传递
- 多项式方程组的零点分解算法研究及改进
- 初式是各大经典三角化零点分解算法中使用最为频繁的一个概念，是多个分解方案的基础出发点和主要工具，但是它缺少以分析的观点来看待零点分解问题。本文的主要内容是根据李永彬[100]中提到的优集的概念代替初式来对现有的一些三角化...
- 黄方剑
- 关键词：多项式方程组
- 文献传递
- 一种基于分数阶无刷直流电机的参数化控制方法
- 本发明涉及分数阶无刷直流电机的Hopf分岔控制领域，提供了一种基于分数阶无刷直流电机的参数化控制方法，该方法的步骤为：建立分数阶无刷直流电机控制模型，分析多个系统参数共同作为分岔参数时的系统状态；提出分数阶无刷直流电机镇...
- 杨婧侯晓荣李晓雪王洪艳黄方剑闫芳田婷婷曾亚剑
- 一种基于机电设备的知识图谱推理引擎架构系统
- 本发明公开了一种基于机电设备的知识图谱推理引擎架构系统，属于推理引擎技术领域。该架构系统包括界面接口层、数据缓冲层、后台处理层、关系数据库层、图数据库层、推理引擎层。通过多数据库交互同步方法，使用层次化架构设计合理地组合...
- 曾亚剑侯晓荣黄方剑
- 实轮换对称型及其半正定性判定的可读证明
- 2012年
- 可读证明是不等式机器证明领域中的热点问题.针对具有对称零点的实轮换对称型,文章提出了其线性空间的一组基以及分拆算法和两种分拆形式用于对不等式进行可读证明研究.讨论了该线性空间的维数,以及轮换对称型半正定性的判别方法.给出了一类具有对称零点的轮换对称型的半正定性判定条件.大量实例表明此分拆方式在轮换对称型半正定性的判定及可读证明上具有很好的实用性.
- 陈胜利黄方剑
- 关键词：可读证明
- 相对优集及其在不可约算法中的应用
- 2012年
- 从优集出发,提出了相对优集的定义及其计算算法.并将其应用到不可约零点分解中,提供了一种新的不可约零点分解算法.从实例计算结果可知,就某些多项式方程组而言,相对于原来已有的算法,使用相对优集修改后,能够很好地进行分解,减少了冗余分支的出现.
- 黄方剑
- 关键词：多项式方程组
- 一种基于分数阶无刷直流电机的参数化控制方法
- 本发明涉及分数阶无刷直流电机的Hopf分岔控制领域，提供了一种基于分数阶无刷直流电机的参数化控制方法，该方法的步骤为：建立分数阶无刷直流电机控制模型，分析多个系统参数共同作为分岔参数时的系统状态；提出分数阶无刷直流电机镇...
- 杨婧侯晓荣李晓雪王洪艳黄方剑闫芳田婷婷曾亚剑
- 一种基于混合数据库的知识图谱及其构建方法
- 本发明提供一种基于混合数据库的知识图谱及其构建方法，属于知识图谱构建技术领域。本发明构建的知识图谱集合了关系数据库的特点，方便结构化数据的增删查改，同时数据转化为图数据的形式，将知识的关联形式化的存储起来，由于其数据关联...
- 曾亚剑侯晓荣黄方剑
- 文献传递
- 一类多项式不等式的证明研究被引量：2
- 2007年
- 综述性地介绍了最近几年来不等式机器证明领域的新近成果,比较了现有的几种方法,提出了一个新的研究方法。并以此方案寻找一类非负三元六次对称多项式空间的极小多项式。
- 黄方剑
- 关键词：不等式证明数学机械化
- 三元对称形式的Schur分拆与不等式的可读证明被引量：29
- 2006年
- 本文给出了一类三元对称形式(即对称齐次多项式)的一种分拆法,即将此类多项式表示成一类特定形式的正半定对称形式的线性组合,介绍分拆算法．并由此而给出了三元对称形式半正定的一个充分条件．
- 陈胜利黄方剑
