-
公开(公告)号：CN106844613A
公开(公告)日：2017-06-13
申请号：CN201710035894.1
申请日：2017-01-17
Applicant: 桂林电子科技大学
IPC: G06F17/30
CPC classification number: G06F17/3028
Abstract: 本发明公开一种基于符号BDD的大规模图数据可达性索引构建方法，先根据图数据构建BDD图，即使用BDD表示有向图；再使用符号步骤来完善构建的空白索引结构列表，即填入每个节点的标识标签和区间标签。针对生成的标识标签的过程，使用符号步骤更快速的广度优先搜索出所有节点并分配标识标签。然后为每个节点生成的区间标签，根据符号步骤每个节点的可达节点都搜查出来，将这些可达节点的标识标签值的与该节点的区间标签比较，所有节点都完成该操作即形成最终区间标签。这个最终的索引结构列表即可完成静态图数据上各个节点的可达性查询任务。本发明构建的可达性索引结构列表可以完成可达性查询操作，并能够有效提高可达性索引构建速度。
-
公开(公告)号：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: 本发明公开一种基于果蝇优化算法的多工位装配序列规划方法，包括：采用优先序列图表示零件间的优先约束关系，构建优先关系矩阵、集成干涉矩阵、工位能力表和装配信息表，描述装配零部件间的干涉关系以及零件与工位之间的关系。给出了果蝇算法的编码体系，并兼顾果蝇算法的局部和全局搜索能力很好地设计了果蝇的三个搜索阶段：气味搜索、视觉搜索和协同搜索。综合考虑装配操作成本、更换工具成本、装夹变更成本和运输成本的影响，提出更接近实际工程的适应度函数表达式。根据优先序列矩阵引导初始序列进化，再利用果蝇优化算法对产品装配序列和工位分配顺序进行优化。
-
Patent Agency Ranking
公开(公告)号：CN104653126A
公开(公告)日：2015-05-27
申请号：CN201510011347.0
申请日：2015-01-09
Applicant: 桂林电子科技大学
Abstract: 本发明公开了一种石油钻杆抓取推送机械手，其左、右夹臂通过左右扩张收缩机构和前后移动机构安装于推送架的上、下安装板之间，左右扩张收缩机构包括上滑动板与上安装板之间、下滑动板与下安装板之间对称设置的滑动板传动组件以及上安装板与夹臂之间、下安装板与夹臂之间对称设置的夹臂传动组件；前后移动机构包括设于左、右夹臂之间的移动板，移动板滑动置于上、下安装板的滑动槽内，移动板的上、下端分别连接上滑动板和下滑动板。本发明主体尺寸小，张口大，适用的钻杆直径范围广，可在钻杆丛中作业，提高作业效率，特别适合夹持5英寸～10英寸的钻杆。
-
公开(公告)号：CN104540140A
公开(公告)日：2015-04-22
申请号：CN201510011677.X
申请日：2015-01-09
Applicant: 桂林电子科技大学
IPC: H04W16/10
CPC classification number: H04W16/10
Abstract: 本发明公开了一种无线通信网的动态频率分配方法，将无线通信网络频率分配问题形式化为图表示、检测和筛选可用频率、通信网络频率约束符号ADD表示、构建变量序π和标记分解变量、分解频率分配问题为子问题集、依次对子问题集中子问题求解、求解上界、对非分解变量用桶消元算法求解、对分解变量采用深度优先分支定界算法求解、若存在新加入通信网络节点，构建成新子问题、对子问题进行求解；通过利用ADD的高紧凑表示和以集合方式处理多组数据的方式处理约束，提高频率分配问题求解效率。本发明能够在较高的算法效率下，完成对无线通信网络的频率分配问题，同时还能适应动态自主网络的频率分配。
-
公开(公告)号：CN102495985B
公开(公告)日：2014-06-25
申请号：CN201110414109.6
申请日：2011-12-13
Applicant: 桂林电子科技大学
IPC: G06F21/31
Abstract: 本发明公开了一种基于动态描述逻辑的角色访问控制方法，其特征是：该方法首先在原有基于角色访问的基础上，引入角色库的概念，并把角色形式化地分为静态角色和动态角色，然后运用其扩展模型ERBAC来控制访问，并用动态描述逻辑SHOIQ-DL来描述ERBAC模型的访问控制方法，建立SHOIQ-DLERBAC知识库，最后，利用动态描述逻辑的一致性判定方法，来处理角色的约束机制，实现在访问过程中对约束机制的自动处理。本发明提出的模型和方法，能够在企业和网络，不论在静态还是动态的访问控制中都会对数据起到保护作用，从而使得数据更加安全；此外，该方法以动态描述逻辑作为逻辑基础，能够对角色访问控制系统中的相关知识进行严格的刻画和推理，进而在此基础上实现对角色约束的自动处理。
-
公开(公告)号：CN119940362A
公开(公告)日：2025-05-06
申请号：CN202510033047.6
申请日：2025-01-09
Applicant: 桂林电子科技大学
IPC: G06F40/289 , G06F40/30 , G06N3/08
Abstract: 本发明提供一种基于束搜索的中文文本对抗攻击方法，属于自然语言处理领域，该方法包括获取对抗样本攻击的中文数据集；对中文文本进行分词；随后对分词后的文本使用中文的字形、拼音、同义词等进行扰动，从而增强对抗样本的语义保留性；最后利用束搜索算法探索对抗样本空间，从而进一步提高攻击成功率。本发明能够实现高攻击成功率的文本对抗攻击，并且生成的中文文本对抗样本具有良好的可读性。
-
公开(公告)号：CN119938882A
公开(公告)日：2025-05-06
申请号：CN202510033143.0
申请日：2025-01-09
Applicant: 桂林电子科技大学
IPC: G06F16/334 , G06F16/335 , G06F16/338 , G06F16/35 , G06N5/04
Abstract: 本发明公开一种面向中文生成大型语言模型的偏见攻击方法，属于自然语言处理领域，用于文本对抗攻击，该方法包括获取偏见攻击所需数据集；利用数据集初始化偏见关联并设置优化的目标；然后通过基于适应性的搜索利来寻找流畅的对抗提示，适应性搜索利用了大模型预测下一个词元的概率分布和语义相似度过滤来提高对抗提示的隐蔽性；随后计算不同目标的Pareto前沿；并用面向偏见的选择策略选择有效的候选对抗提示；最后利用获得的对抗提示评估生成文本的偏见的鲁棒性。
-
-
-
-
-
-
-
-
-
Search Results
213
records
(took 0.034 seconds)
