-
公开(公告)号：CN109727635A
公开(公告)日：2019-05-07
申请号：CN201811486200.7
申请日：2018-12-06
Applicant: 桂林电子科技大学
Abstract: 本发明提出一种不确定图代表实例的抽取方法，该方法包括：构建训练集并建立回归模型；使用梯度下降法确定所述回归模型的回归系数；根据所述回归模型和所述回归模型的系数建立逻辑回归模型。本发明执行过程中，有效的提高了问题求解的效率，避免了当有新的蛋白质交互网络出现时对ADR算法的重复执行，具有良好的实用性。
-
-
公开(公告)号：CN104967442B
公开(公告)日：2018-02-02
申请号：CN201510445731.1
申请日：2015-07-27
Applicant: 桂林电子科技大学
IPC: H03K23/72
Abstract: 本发明公开了一种基于可逆逻辑的8421BCD码同步十进制加/减法计数器，包括4个基于可逆逻辑构造的可逆主从JK触发器及5个过渡模块，该4个可逆主从JK触发器及5个过渡模块按照各个输入端、输出端间的相互引用关系进行级联，同时将各个可逆主从JK触发器的输出CP端、输入CP端依次级联得到8421BCD码同步十进制加/减法计数器。本发明能量损耗较低，并能够在进一步显著降低系统功耗及电路实现代价的基础上实现加法计数/减法计数功能；主从JK触发器不存在空翻现象，抗干扰性能好，工作速度快；逻辑电路具有电路简洁、布局规整、易于构造的优点，同时还具有自启动功能。
-
公开(公告)号：CN107609592A
公开(公告)日：2018-01-19
申请号：CN201710833159.5
申请日：2017-09-15
Applicant: 桂林电子科技大学
Abstract: 本发明公开一种面向字母识别的图编辑距离方法，基于现有的SFBP算法框架，通过对代价矩阵框架元素的逐项搜索比较，对每行和每列中满足约束条件的元素个数进行计数；通过比较每行每列满足约束条件的元素个数所占每行每列的比例，对SFBP代价矩阵框架添加相应的代价值行列数，改变其代价矩阵框架，以达到优化的目的。当达到优化目标时，就可以使用求解算法对代价矩阵进行求解计算，从而避免约束条件对算法使用的限制，使得算法更好的应用于字母识别领域中。
-
公开(公告)号：CN106844613A
公开(公告)日：2017-06-13
申请号：CN201710035894.1
申请日：2017-01-17
Applicant: 桂林电子科技大学
IPC: G06F17/30
CPC classification number: G06F17/3028
Abstract: 本发明公开一种基于符号BDD的大规模图数据可达性索引构建方法，先根据图数据构建BDD图，即使用BDD表示有向图；再使用符号步骤来完善构建的空白索引结构列表，即填入每个节点的标识标签和区间标签。针对生成的标识标签的过程，使用符号步骤更快速的广度优先搜索出所有节点并分配标识标签。然后为每个节点生成的区间标签，根据符号步骤每个节点的可达节点都搜查出来，将这些可达节点的标识标签值的与该节点的区间标签比较，所有节点都完成该操作即形成最终区间标签。这个最终的索引结构列表即可完成静态图数据上各个节点的可达性查询任务。本发明构建的可达性索引结构列表可以完成可达性查询操作，并能够有效提高可达性索引构建速度。
-
Patent Agency Ranking
公开(公告)号：CN106657106A
公开(公告)日：2017-05-10
申请号：CN201611256846.7
申请日：2016-12-30
Applicant: 桂林电子科技大学
Abstract: 本发明涉及一种基于时态描述逻辑ALC‑μ的语义物联网服务验证方法和系统，方法包括：根据构建包含语义物联网服务的背景知识库K；构建待验证的语义物联网服务性质的公式；建模得到状态转移系统模型M；将待验证的语义物联网服务中的原子服务的语义进行断言；根据断言集合对在设定状态S下的状态转移系统模型M性质的正确性进行验证。发明将描述逻辑ALC的推理机制与μ演算模型检测算法结合起来，给出相应的时态描述逻辑ALC‑μ及其模型检测算法；一方面使用ALC‑μ公式对所期望的性质进行刻画，另一方面参照ALC‑μ的解释结构引入状态迁移系统，作为待检测的系统模型，弥补了传统验证方法没有考虑对命题描述不充分的局限性。
-
公开(公告)号：CN106201988A
公开(公告)日：2016-12-07
申请号：CN201610628004.3
申请日：2016-08-03
Applicant: 桂林电子科技大学
IPC: G06F15/78
CPC classification number: G06F15/7867
Abstract: 本发明公开了一种重构高性能目标阵列的方法，包括如下步骤：逻辑列的可满足性，逻辑列重叠区域的可满足性，可满足性模型变量约束规则，目标阵列可满足性模型生成算法，基于目标阵列可满足性模型的高性能目标阵列完备算法，基于目标阵列可满足性模型的高性能目标阵列非完备算法，该步骤用于提高目标阵列的性能，GNPTASAT算法至少要找到与CMTA算法求得的目标阵列相互等价的目标阵列时才会终止，极大的提高了重构目标阵列的性能，算法GNPTASAT优越于算法CMTA和算法DP_GCR，实验数据证明对于重构高性能目标阵列具有极大的益处。
-
公开(公告)号：CN105893660A
公开(公告)日：2016-08-24
申请号：CN201610190855.4
申请日：2016-03-30
Applicant: 桂林电子科技大学
IPC: G06F17/50
CPC classification number: G06F17/505
Abstract: 本发明公开一种面向符号BDD操作的CPU设计方法及计算系统，包括：BDD数据结构设计、新型数据结构操作算法、专用指令系统设计、CPU内核与构架设计、BDD操作专用运算系统构建以及系统的硬件实现。本发明通过用户上位机将操作对象转换，传输至所设计的专用BDD运算系统，通过系统内专用CPU运算机制对BDD数据进行操作计算，以达到快速运算的目的；通过建立新型BDD数据结构与对应操作算法，提高了BDD操作运算的效率。本发明能够在较高的算法效率以及较高的硬件处理效率下完成BDD操作计算任务，同时还能保证BDD数据的正确性和简洁性。
-
公开(公告)号：CN105825293A
公开(公告)日：2016-08-03
申请号：CN201610137366.2
申请日：2016-03-10
Applicant: 桂林电子科技大学
Abstract: 本发明公开一种基于果蝇优化算法的多工位装配序列规划方法，包括：采用优先序列图表示零件间的优先约束关系，构建优先关系矩阵、集成干涉矩阵、工位能力表和装配信息表，描述装配零部件间的干涉关系以及零件与工位之间的关系。给出了果蝇算法的编码体系，并兼顾果蝇算法的局部和全局搜索能力很好地设计了果蝇的三个搜索阶段：气味搜索、视觉搜索和协同搜索。综合考虑装配操作成本、更换工具成本、装夹变更成本和运输成本的影响，提出更接近实际工程的适应度函数表达式。根据优先序列矩阵引导初始序列进化，再利用果蝇优化算法对产品装配序列和工位分配顺序进行优化。
-
公开(公告)号：CN104653126A
公开(公告)日：2015-05-27
申请号：CN201510011347.0
申请日：2015-01-09
Applicant: 桂林电子科技大学
Abstract: 本发明公开了一种石油钻杆抓取推送机械手，其左、右夹臂通过左右扩张收缩机构和前后移动机构安装于推送架的上、下安装板之间，左右扩张收缩机构包括上滑动板与上安装板之间、下滑动板与下安装板之间对称设置的滑动板传动组件以及上安装板与夹臂之间、下安装板与夹臂之间对称设置的夹臂传动组件；前后移动机构包括设于左、右夹臂之间的移动板，移动板滑动置于上、下安装板的滑动槽内，移动板的上、下端分别连接上滑动板和下滑动板。本发明主体尺寸小，张口大，适用的钻杆直径范围广，可在钻杆丛中作业，提高作业效率，特别适合夹持5英寸～10英寸的钻杆。
-
-
-
-
-
-
-
-
-
Search Results
72
records
(took 0.026 seconds)
