公开(公告)号：CN105893660B

公开(公告)日：2018-10-19

申请号：CN201610190855.4

申请日：2016-03-30

Applicant: 桂林电子科技大学

Inventor： 古天龙 ,  闵丰 ,  徐周波 ,  宁黎华 ,  常亮

IPC: G06F17/50

Abstract: 本发明公开一种面向符号BDD操作的CPU设计方法及计算系统，包括：BDD数据结构设计、新型数据结构操作算法、专用指令系统设计、CPU内核与构架设计、BDD操作专用运算系统构建以及系统的硬件实现。本发明通过用户上位机将操作对象转换，传输至所设计的专用BDD运算系统，通过系统内专用CPU运算机制对BDD数据进行操作计算，以达到快速运算的目的；通过建立新型BDD数据结构与对应操作算法，提高了BDD操作运算的效率。本发明能够在较高的算法效率以及较高的硬件处理效率下完成BDD操作计算任务，同时还能保证BDD数据的正确性和简洁性。

公开(公告)号：CN106204317B

公开(公告)日：2019-05-17

申请号：CN201610543989.X

申请日：2016-07-12

Applicant: 桂林电子科技大学

Inventor： 常亮 ,  暴雨欣 ,  古天龙 ,  袁文兵 ,  闵丰 ,  徐周波

IPC: G06F17/50 ,  G06N5/04

Abstract: 本发明公开一种基于本体的子装配体识别方法，利用本体对复杂装配构建本体知识框架，根据显性领域知识推理隐含知识拓展装配信息知识库；结合语义网络规则语言规则库，针对刚性连接结构识别子装配体。本发明能够在异构系统之间提供装配领域的一致性知识描述框架，子装配体识别层次结构化装配结构，减小装配序列规划问题规模，提高装配制造效率。

公开(公告)号：CN106204317A

公开(公告)日：2016-12-07

申请号：CN201610543989.X

申请日：2016-07-12

Applicant: 桂林电子科技大学

Inventor： 常亮 ,  暴雨欣 ,  古天龙 ,  袁文兵 ,  闵丰 ,  徐周波

IPC: G06Q50/04 ,  G06N5/04

CPC classification number: Y02P90/30 ,  G06Q50/04 ,  G06N5/04

Abstract: 本发明公开一种基于本体的子装配体识别方法，利用本体对复杂装配构建本体知识框架，根据显性领域知识推理隐含知识拓展装配信息知识库；结合语义网络规则语言规则库，针对刚性连接结构识别子装配体。本发明能够在异构系统之间提供装配领域的一致性知识描述框架，子装配体识别层次结构化装配结构，减小装配序列规划问题规模，提高装配制造效率。

公开(公告)号：CN105893660A

公开(公告)日：2016-08-24

申请号：CN201610190855.4

申请日：2016-03-30

Applicant: 桂林电子科技大学

Inventor： 古天龙 ,  闵丰 ,  徐周波 ,  宁黎华 ,  常亮

IPC: G06F17/50

CPC classification number: G06F17/505

Abstract: 本发明公开一种面向符号BDD操作的CPU设计方法及计算系统，包括：BDD数据结构设计、新型数据结构操作算法、专用指令系统设计、CPU内核与构架设计、BDD操作专用运算系统构建以及系统的硬件实现。本发明通过用户上位机将操作对象转换，传输至所设计的专用BDD运算系统，通过系统内专用CPU运算机制对BDD数据进行操作计算，以达到快速运算的目的；通过建立新型BDD数据结构与对应操作算法，提高了BDD操作运算的效率。本发明能够在较高的算法效率以及较高的硬件处理效率下完成BDD操作计算任务，同时还能保证BDD数据的正确性和简洁性。