-
公开(公告)号:CN108847169A
公开(公告)日:2018-11-20
申请号:CN201810767254.4
申请日:2018-07-13
Applicant: 桂林电子科技大学
Abstract: 本发明提出一种用于室内景区的智能讲解设备,包括:数据存储模块,存储有讲解匹配文件、讲解文件;“讲解位置”判断模块,用于判断讲解设备是否进入“讲解位置”;讲解点判断模块,用于获得当前讲解设备所面向的方向,再将该方向信息与讲解匹配文件中的“讲解位置”的信息比较,判断当前讲解设备所面向的方向上是否有需要的讲解点;播放模块,用于在判断讲解设备所面向的方向有讲解点时,通过讲解软件播放对应于该讲解点的讲解文件。本发明根据游览路线需要布置iBeacon基站,并结合智能讲解设备的地磁传感器区分讲解位置上的多个讲解点,大大降低了iBeacon基站硬件消耗,从而降低了系统建设成本,也减轻了操作人员的维护工作,节省了导览系统的维护成本。
-
公开(公告)号:CN108629019A
公开(公告)日:2018-10-09
申请号:CN201810433143.X
申请日:2018-05-08
Applicant: 桂林电子科技大学
Abstract: 本发明公开一种面向问答领域含有人名的问句相似度计算方法,分别计算人名与非人名部分的相似度,并且考虑到句子的结构,从句子的语序以及长短两方面进行句子相似度的计算,最终根据句子语义相似度和结构相似度加权求得整体句子的相似度。解决了通过以往句子相似度算法在计算含有人名的句子时,无法得到符合人为主观判断的问题。本发明提出的方法能够更加精确的计算出含有人名的句子相似度,并可以将其广泛的应用到问答领域。
-
公开(公告)号:CN108389262A
公开(公告)日:2018-08-10
申请号:CN201810210327.X
申请日:2018-03-14
Applicant: 桂林电子科技大学
IPC: G06T17/30
Abstract: 本发明公开一种结合曲率特征的用递归图重建分叉血管表面的方法,包括获取单分支血管骨架线的代数表达,结合曲线的曲率特征对骨架线进行采样;基于曲线的采样点的法向量取横截面,拟合截面上的轮廓点得到轮廓线;采用递归图的方法插补轮廓线,得到每一单分支上完整的轮廓线;将不同分支在分叉区域进行拼接,得到整个血管的完整轮廓线;将轮廓线的对应点用三角面拼接构建血管表面;选择Loop细分方法对血管表面进一步细分,使重构表面更加光滑,该方法结合曲率特征进行采样,降低了采样密度,用递归图方法进行轮廓插补,重建的血管模型更逼真,减小了计算量,提高重建效率,且重建的血管模型具备可重构性,为引入物理特性建立功能性血管模型建立基础。
-
公开(公告)号: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触发器不存在空翻现象,抗干扰性能好,工作速度快;逻辑电路具有电路简洁、布局规整、易于构造的优点,同时还具有自启动功能。
-
公开(公告)号:CN107590237A
公开(公告)日:2018-01-16
申请号:CN201710812116.9
申请日:2017-09-11
Applicant: 桂林电子科技大学
IPC: G06F17/30
Abstract: 本发明公开一种基于动态翻译原则的知识图谱表示学习方法,首先采用实体向量与关系向量之间基于翻译的模型,利用动态参数定义了动态翻译原则很好地表示了三元组中实体向量与关系向量之间的相互关联,且无须引入更多的参数;然后然后根据不同的翻译模型构建了不同的动态翻译原则;最后利用正负例元组之间基于边际的损失函数将实体向量和关系向量关联起来,并优化该损失函数,当达到优化目标时,就可以学得知识图谱中每个实体的向量和关系的向量,从而更好地表示实体和关系之间的联系,并更好的应用于大规模知识图谱补全中。本发明能够很好地应用于大规模知识图谱中,具有良好的实用性。
-
公开(公告)号: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数据的正确性和简洁性。
-
-
-
-
-
-
-
-
-