-
公开(公告)号：CN108389262A
公开(公告)日：2018-08-10
申请号：CN201810210327.X
申请日：2018-03-14
Applicant: 桂林电子科技大学
IPC: G06T17/30
Abstract: 本发明公开一种结合曲率特征的用递归图重建分叉血管表面的方法，包括获取单分支血管骨架线的代数表达，结合曲线的曲率特征对骨架线进行采样；基于曲线的采样点的法向量取横截面，拟合截面上的轮廓点得到轮廓线；采用递归图的方法插补轮廓线，得到每一单分支上完整的轮廓线；将不同分支在分叉区域进行拼接，得到整个血管的完整轮廓线；将轮廓线的对应点用三角面拼接构建血管表面；选择Loop细分方法对血管表面进一步细分，使重构表面更加光滑，该方法结合曲率特征进行采样，降低了采样密度，用递归图方法进行轮廓插补，重建的血管模型更逼真，减小了计算量，提高重建效率，且重建的血管模型具备可重构性，为引入物理特性建立功能性血管模型建立基础。
-
公开(公告)号：CN107680010A
公开(公告)日：2018-02-09
申请号：CN201710910640.X
申请日：2017-09-29
Applicant: 桂林电子科技大学
CPC classification number: G06Q50/14 , G06F16/9535
Abstract: 本发明公开一种基于游览行为的景区路线推荐方法及其系统，通过获取游客在游览过程中产生的行为数据，利用频繁游览路线挖掘方法，从已获取的历史游览行为数据中挖掘生成一组候选游览路线。再根据游客输入的总游览时间、游览起始/结束地点等个人游览约束，从候选路线中搜索满足个人约束且游览价值最高的路线推荐给游客。本发明具有推荐路线精度高，推荐结果个性化程度及游览体验度高的特点。
-
公开(公告)号：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触发器不存在空翻现象，抗干扰性能好，工作速度快；逻辑电路具有电路简洁、布局规整、易于构造的优点，同时还具有自启动功能。
-
公开(公告)号：CN105183652B
公开(公告)日：2018-01-30
申请号：CN201510581987.5
申请日：2015-09-14
Applicant: 桂林电子科技大学
IPC: G06F11/36
Abstract: 本发明公开一种时间动态下推网络的转换方法，用于描述含有递归、动态线程创建的实时并发递归建模。首先在DPN中引入描述连续时间的全局时钟，以及能描述与时间相关全局变量和栈字符“年龄”的实数时钟，从而可对基于共享内存进行异步通信，且带有动态线程创建的实时并发系统进行建模。其次对基于整数划分的时钟等价技术，给出一种基于时钟关键点的优化技术，缩减时钟区间，从而缩减转换后的状态空间。由于时间动态下推网络为一种实时并发递归程序的抽象模型，基于关键点的时钟等价优化技术把该模型转换为动态下推网络，这样通过确认动态下推网络模型的执行是否会运行到错误状态，从而检测出此模型即所对应并发递归程序中的错误或漏洞。
-
公开(公告)号：CN107609592A
公开(公告)日：2018-01-19
申请号：CN201710833159.5
申请日：2017-09-15
Applicant: 桂林电子科技大学
Abstract: 本发明公开一种面向字母识别的图编辑距离方法，基于现有的SFBP算法框架，通过对代价矩阵框架元素的逐项搜索比较，对每行和每列中满足约束条件的元素个数进行计数；通过比较每行每列满足约束条件的元素个数所占每行每列的比例，对SFBP代价矩阵框架添加相应的代价值行列数，改变其代价矩阵框架，以达到优化的目的。当达到优化目标时，就可以使用求解算法对代价矩阵进行求解计算，从而避免约束条件对算法使用的限制，使得算法更好的应用于字母识别领域中。
-
Patent Agency Ranking
公开(公告)号：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‑μ的解释结构引入状态迁移系统，作为待检测的系统模型，弥补了传统验证方法没有考虑对命题描述不充分的局限性。
-
公开(公告)号：CN106355252A
公开(公告)日：2017-01-25
申请号：CN201610748840.5
申请日：2016-08-29
Applicant: 桂林电子科技大学
CPC classification number: G06N5/022 , G06F17/30289
Abstract: 本发明为一种基于访问控制权限的ASP知识库增量式验证方法，ASP知识库P性质f为已验证性质，f1为待验证性质，f2是f1中的未验证性质。本法首先向ASP知识库中的规则加入访问控制权限，构造基于访问控制权限的ASP知识库模型；再根据权限依赖关系获得f的性质规则权限集M和f2的性质规则权限集N，判断M与N的关系，排除f1不成立的情况。最后利用f中的信息简化验证f2。本方法通过设置访问控制权限避免对已验证性质的重新验证，仅需对部分ASP知识库P进行增量式性质验证，有效地提高了性质验证效率；可以一次性验证多条性质，避免多次运行验证工具造成的大量上下文切换的开销。
-
-
-
-
-
-
-
-
-
Search Results
210
records
(took 0.032 seconds)
