-
公开(公告)号：CN108932306B
公开(公告)日：2021-05-25
申请号：CN201810607429.5
申请日：2018-06-13
Applicant: 桂林电子科技大学
IPC: G06F16/901 , G06F16/903
Abstract: 本发明公开一种基于对称破坏的子图同构约束求解方法，其采用约束满足问题CSP的模型，首先分析模式图和目标图的节点、边等信息构建子图同构问题的约束满足问题的模型，添加破坏对称约束，再根据约束满足问题的求解方法，对所建立的模型进行求解。破坏对称技术包括检测自同构节点和通过Schreier‑Sims算法生成对称破坏约束两步。由于对称破坏技术用于解决CSP中的对称性，通过施赖埃尔一西姆斯算法对置换群的操作生成破坏对称约束，能够避免对称子树的二次搜索，降低组合复杂性。因此算法执行过程中，有效缩减了搜索空间，提高问题的求解效率，具有良好的实用性。
-
公开(公告)号：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数据的正确性和简洁性。
-
公开(公告)号：CN104540140A
公开(公告)日：2015-04-22
申请号：CN201510011677.X
申请日：2015-01-09
Applicant: 桂林电子科技大学
IPC: H04W16/10
CPC classification number: H04W16/10
Abstract: 本发明公开了一种无线通信网的动态频率分配方法，将无线通信网络频率分配问题形式化为图表示、检测和筛选可用频率、通信网络频率约束符号ADD表示、构建变量序π和标记分解变量、分解频率分配问题为子问题集、依次对子问题集中子问题求解、求解上界、对非分解变量用桶消元算法求解、对分解变量采用深度优先分支定界算法求解、若存在新加入通信网络节点，构建成新子问题、对子问题进行求解；通过利用ADD的高紧凑表示和以集合方式处理多组数据的方式处理约束，提高频率分配问题求解效率。本发明能够在较高的算法效率下，完成对无线通信网络的频率分配问题，同时还能适应动态自主网络的频率分配。
-
公开(公告)号：CN119756165A
公开(公告)日：2025-04-04
申请号：CN202411543156.4
申请日：2024-10-31
Applicant: 桂林电子科技大学 , 广西民族大学 , 广西爱阁工房家居有限责任公司
Abstract: 本发明公开了一种基于偏移参考平面原理的线结构光光平面标定方法，包括以下步骤：对扫描仪的相机进行标定得到相机内参矩阵和畸变参数；以棋盘格标定板作为靶标参照物采集有光条的标定板图像和无光条的靶标图像；提取有光条的标定板图像在像素坐标下的特征点，并基于特征点确定光条在相机坐标系中的位置得到若干相机坐标系下的坐标点；基于若干坐标点分别构建空间平面方程得到标定板图像对应的空间平面方程；提取棋盘格标定板上的图像角点坐标，基于若干角点坐标分别构建空间平面方程得到靶标图像对应的空间平面方程；基于若干标定板图像对应的空间平面方程和若干靶标图像对应的空间平面方程得到光平面方程。
-
公开(公告)号：CN107704578B
公开(公告)日：2020-12-25
申请号：CN201710918814.7
申请日：2017-09-30
Applicant: 桂林电子科技大学
IPC: G16B20/00 , G16B40/00 , G16B50/00 , G06F16/901 , G06F16/903
Abstract: 本发明公开一种面向PPI网络比对的图匹配约束求解符号方法，利用图结构中的约束关系建立CSP模型(其中建立最短路径的约束条件)、采用基于图的回溯算法、结合OBDD符号技术以及包含的各项符号操作，从而达到求解子图同构问题的目的，最后将该技术引用到PPI网络比对问题中，并对该问题进行求解，给出一种面向PPI网络比对的图匹配约束求解符号技术。本发明结合求解约束满足问题的基于图的回跳算法，采用符号OBDD符号技术，发挥操作方法的优势，根据求解子图同构的约束符号求解技术，并将图匹配的符号算法应用到生物信息领域蛋白质相互作用网络比对问题中，其能够一定程度上提高问题的求解效率，降低状态空间复杂度。
-
Patent Agency Ranking
公开(公告)号：CN105893660B
公开(公告)日：2018-10-19
申请号：CN201610190855.4
申请日：2016-03-30
Applicant: 桂林电子科技大学
IPC: G06F17/50
Abstract: 本发明公开一种面向符号BDD操作的CPU设计方法及计算系统，包括：BDD数据结构设计、新型数据结构操作算法、专用指令系统设计、CPU内核与构架设计、BDD操作专用运算系统构建以及系统的硬件实现。本发明通过用户上位机将操作对象转换，传输至所设计的专用BDD运算系统，通过系统内专用CPU运算机制对BDD数据进行操作计算，以达到快速运算的目的；通过建立新型BDD数据结构与对应操作算法，提高了BDD操作运算的效率。本发明能够在较高的算法效率以及较高的硬件处理效率下完成BDD操作计算任务，同时还能保证BDD数据的正确性和简洁性。
-
公开(公告)号：CN104601323B
公开(公告)日：2018-03-09
申请号：CN201510081626.4
申请日：2015-02-15
Applicant: 桂林电子科技大学
IPC: H04L9/30
Abstract: 本发明公开一种基于BDD解决社会主义百万富翁问题的方法，其客户端A和B分别将各自秘密输入值改写成m位带实数类型的连分数形式；服务器对两个m位带实数类型的连分数各个对应分量的安全比较；客户端A用特殊的BDDs结构对改写成连分数形式的实数的比较过程进行刻画，并对特殊BDDs结构进行混淆加密；服务器与客户端A执行2选1不经意传输协议得到结点密钥对BDDs进行遍历，将得到加密的叶子结点信息送给客户端A和B解密得到实数的比较结果。本发明可以实现客户端A和B的秘密输入值之间的安全比较。
-
公开(公告)号：CN107465664A
公开(公告)日：2017-12-12
申请号：CN201710552034.5
申请日：2017-07-07
Applicant: 桂林电子科技大学
Abstract: 本发明公开了一种基于并行多人工蜂群算法和支持向量机的入侵检测方法，首先对原始的人工蜂群算法进行了重新设计，包括：蜜源编码方案的设计、种群的初始化设计、适应度评价函数的构造、蜜源的邻域搜索方法和招募观察蜂概率的计算，克服了算法易早熟、解的多样性差、易陷入局部最优、后期收敛速度慢等问题。其次，设计了多蜂群间的信息交流与协作机制，利用并行执行技术，给出了双环形多蜂群并行协同优化模型，用于对特征和支持向量机模型参数进行同步优化。然后，基于该协同优化模型，给出了基于并行多人工蜂群算法和支持向量机的入侵检测方法和模型。
-
公开(公告)号：CN104616084B
公开(公告)日：2017-10-20
申请号：CN201510082672.6
申请日：2015-02-15
Applicant: 桂林电子科技大学
CPC classification number: Y02P90/30
Abstract: 本发明公开一种装配序列规划方法，其可以划分为三个阶段：阶段I：装配信息收集及建立适应度函数；阶段II：利用混沌混合算法搜索装配序列；阶段III：计算适应度值，动态更新种群的规模以及更新路径信息素。本发明在蚂蚁遗传算法的基础上加入混沌算法，既在蚂蚁算法搜索之后引入混沌算法搜索，加强算法的局部搜索能力，再以这两种算法搜索到的可行解作为遗传算法的初始种群，引导遗传算法全局搜索。由于丰富了初始种群，使遗传算法的全局搜索能力得到加强，进而扩大了搜索空间。
-
公开(公告)号：CN106993052A
公开(公告)日：2017-07-28
申请号：CN201710315850.4
申请日：2017-05-08
Applicant: 桂林电子科技大学
CPC classification number: H04L63/0428 , G06Q30/0621 , H04L63/10 , H04L67/06 , H04L67/10
Abstract: 本发明公开了一种隐私保护下基于云平台的服务竞争方法，包括系统准备阶段、服务需求生成与提交阶段、服务竞争与筛选阶段、服务交付与验收阶段，该方法能够在保证服务需求方隐私安全的前提下，完成包含服务需求的发布、服务提供商的选定、服务流程的协商、订单状态跟踪、服务交付与验收等过程的全周期性工作。本发明能够实现对服务需求的访问控制、保证服务需求方隐私安全、提高服务效率与质量、实现对服务过程的全周期管控且整体具有较好的可扩展性。
-
-
-
-
-
-
-
-
-
Search Results
30
records
(took 0.023 seconds)
