-
公开(公告)号：CN107358471A
公开(公告)日：2017-11-17
申请号：CN201710581785.X
申请日：2017-07-17
Applicant: 桂林电子科技大学
Abstract: 本发明公开一种基于游览行为的旅游资源推荐方法及系统，通过在各景点安装蓝牙位置标签设备为游客智能终端提供景点标示，智能终端以此准确获得该游客在景区的详细游览轨迹；利用游客携带的智能终端获取其游览行为数据，并通过计算各游客的游览行为数据获得其对各旅游资源的喜爱度评价，并由此生成动态推荐结果。该方法获取的评价数据及推荐结果能够精确到景区内的各个景点，且结果由游客游览行为计算得到，因此具有客观、全面的优点。此外，该方法还能够针对旅游资源具有随时节变化，游览价值动态变化的特点。通过对不同时间段游客的游览行为的统计，得到不同时间段内景区及景点的动态推荐结果。
-
公开(公告)号：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数据的正确性和简洁性。
-
Patent Agency Ranking
公开(公告)号：CN105825293A
公开(公告)日：2016-08-03
申请号：CN201610137366.2
申请日：2016-03-10
Applicant: 桂林电子科技大学
Abstract: 本发明公开一种基于果蝇优化算法的多工位装配序列规划方法，包括：采用优先序列图表示零件间的优先约束关系，构建优先关系矩阵、集成干涉矩阵、工位能力表和装配信息表，描述装配零部件间的干涉关系以及零件与工位之间的关系。给出了果蝇算法的编码体系，并兼顾果蝇算法的局部和全局搜索能力很好地设计了果蝇的三个搜索阶段：气味搜索、视觉搜索和协同搜索。综合考虑装配操作成本、更换工具成本、装夹变更成本和运输成本的影响，提出更接近实际工程的适应度函数表达式。根据优先序列矩阵引导初始序列进化，再利用果蝇优化算法对产品装配序列和工位分配顺序进行优化。
-
公开(公告)号：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知识库，最后，利用动态描述逻辑的一致性判定方法，来处理角色的约束机制，实现在访问过程中对约束机制的自动处理。本发明提出的模型和方法，能够在企业和网络，不论在静态还是动态的访问控制中都会对数据起到保护作用，从而使得数据更加安全；此外，该方法以动态描述逻辑作为逻辑基础，能够对角色访问控制系统中的相关知识进行严格的刻画和推理，进而在此基础上实现对角色约束的自动处理。
-
公开(公告)号：CN119962676A
公开(公告)日：2025-05-09
申请号：CN202510021918.2
申请日：2025-01-07
Applicant: 桂林电子科技大学
Abstract: 本申请公开了一种因果证据推理的复杂系统安全性评估方法，涉及系统安全性评估领域，该方法包括：获取复杂系统的历史评估数据，生成历史数据集；基于历史数据集构建复杂系统安全性评估指标体系；获取待评估复杂系统的指标数据；采用因果证据推理方法，基于复杂系统安全性评估指标体系，对指标数据中各指标的因果关系进行挖掘和量化，得到因果关系量化值；基于因果关系量化值，利用因果证据推理方法确定待评估复杂系统的安全性评估结果。本申请能够提高复杂系统安全性评估的准确性。
-
-
-
-
-
-
-
-
-
Search Results
213
records
(took 0.045 seconds)
