-
公开(公告)号：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: 本发明公开了一种隐私保护下基于云平台的服务竞争方法，包括系统准备阶段、服务需求生成与提交阶段、服务竞争与筛选阶段、服务交付与验收阶段，该方法能够在保证服务需求方隐私安全的前提下，完成包含服务需求的发布、服务提供商的选定、服务流程的协商、订单状态跟踪、服务交付与验收等过程的全周期性工作。本发明能够实现对服务需求的访问控制、保证服务需求方隐私安全、提高服务效率与质量、实现对服务过程的全周期管控且整体具有较好的可扩展性。
-
公开(公告)号：CN104536901B
公开(公告)日：2017-06-23
申请号：CN201510034291.0
申请日：2015-01-23
Applicant: 桂林电子科技大学
IPC: G06F11/36
Abstract: 本发明公开一种基于动态描述逻辑和模型检测的语义Web服务验证方法，在语义Web环境中模型验证技术的基础上，引入动态描述逻辑，将动作的执行作为Web服务模型中状态变化的原因，其可以将传统的模型检测技术应用到语义Web环境下Web服务验证的问题上。从系统模型的角度，将语义Web服务抽象为模型检测中的状态迁移系统；同时引入了动作理论，将原子服务的前提条件和执行结果抽象为动作理论的原子动作，将动作的执行看作是原子服务中状态迁移的原因。在此基础上，考察动作的执行所产生的模型是否满足时态规范。本发明弥补了传统的验证方法没有考虑Web服务中状态迁移原因的局限性，丰富了语义Web环境下Web服务验证的方法。
-
Patent Agency Ranking
公开(公告)号：CN106780640A
公开(公告)日：2017-05-31
申请号：CN201611236351.8
申请日：2016-12-28
Applicant: 桂林电子科技大学
IPC: G06T9/40
CPC classification number: G06T9/40
Abstract: 本发明公开一种大规模图数据表示方法，其基于K2‑tree和聚类思想，先采用了基于密度的聚类思想将图数据抽象成邻接矩阵表示形式，再在邻接矩阵的基础上进行聚类处理，从而使包含大量值为1的元素的集群结构被包含在簇中。大量值为1的元素被包含在子矩阵中，并且将所有子矩阵对应K2‑tree的L向量进行串联成一个全局性的向量global_L，并且使用了DACs编码，这将有效降低表示邻接矩阵中每个值为1的元素所耗用的空间，即提高了存储效率。本发明能够对包含亿万个节点和边的图数据进行高效、紧凑的表示和压缩，并且提供针对图数据中节点的直接和反向邻居查询操作。
-
公开(公告)号：CN106708739A
公开(公告)日：2017-05-24
申请号：CN201611259177.9
申请日：2016-12-30
Applicant: 桂林电子科技大学
IPC: G06F11/36
CPC classification number: G06F11/3684
Abstract: 本发明提供一种基于扩展状态机模型的Web服务测试用例生成方法及系统，方法包括：从Web服务接口获取Web服务描述语言的接口文档WSDL，并根据接口文档WSDL构建初始的扩展状态机模型EFSM；根据接口文档WSDL中的控制变量将初始的EFSM模型的状态进行合并及删除处理，并根据合并及删除的处理过程生成状态迁移路径；根据路径可行性度量方法来识别状态迁移路径中不可行路径，将不可行路径删除后得到改善后的EFSM模型；根据正则表达式将改善后的EFSM模型的可行路径进行遍历，生成Web服务的抽象测试用例集。本发明能够去除原EFSM模型中数据流和控制流的相互影响导致存在不可行测试路径，得到改善后的扩展状态机模型EFSM，因此减少不必要的测试工作，提高测试用例生成效率。
-
公开(公告)号：CN106649124A
公开(公告)日：2017-05-10
申请号：CN201611237624.0
申请日：2016-12-28
Applicant: 桂林电子科技大学
IPC: G06F11/36
CPC classification number: G06F11/3688
Abstract: 本发明涉及一种基于Actor模型的并行动态符号执行方法和系统，方法包括将配置后的Actor模型的并行框架合并到修改后的动态符号执行工具中；Actor模型的多个工作节点通过通讯节点从预先构造的待求解路径栈中取出任务，并根据任务探索器获取所述任务的任务路径约束值；利用约束求解器对所述任务路径约束值进行求解，得到求解值Valuation；将求解值Valuation采用递归方式来代入所述待求解路径栈中的路径，生成待探索路径，将待探索路径存入预先构造的待探索路径栈中。本发明的提出一种并行动态符号执行方法，实现了两个层面上的并行，可以在多个节点上并行分析程序路径，可同次进行约束求解和路径探索，降低程序耗时，还可以加强测试大规模程序的能力。
-
公开(公告)号：CN106067039A
公开(公告)日：2016-11-02
申请号：CN201610367542.1
申请日：2016-05-30
Applicant: 桂林电子科技大学
IPC: G06K9/62
CPC classification number: G06K9/6201
Abstract: 本发明提出一种基于决策树剪枝的模式匹配方法，其结合决策树剪枝方法的简化AC算法，包括自动机的生成、自动机的简化、计算失败指针、存储后缀表与匹配的执行等步骤。本发明将传统自动机类型模式匹配算法拆分为两个步骤：匹配可能的判定与匹配确认。通过简化自动机判别文本串与模式集中模式串有无匹配的可能，再进行匹配的确认。在保证速度的前提下，本发明提出的简化方法相比传统自动机类型模式匹配算法内存消耗减少35％‑40％。此外，本发明通过决策树剪枝方法可有效减小自动机规模，删除对分类判定无用的节点，有效降低传统自动机类型模式匹配的内存消耗。
-
公开(公告)号：CN106021618A
公开(公告)日：2016-10-12
申请号：CN201610549356.X
申请日：2016-07-13
Applicant: 桂林电子科技大学
CPC classification number: Y02D10/45 , G06F17/3087 , G06Q50/14
Abstract: 本发明提供一种景区游览信息查询和管理系统及方法，该方法包括：智能终端通过APP软件接收蓝牙基站广播的景区及景点标识码信息、记录时间戳信息同时生成游客的游览时空数据；云服务器接收智能终端发送的游客游览时空数据并进行存储和处理，得出景区景点游览信息；智能终端通过无线互联网查询云服务器获取景区景点游览信息；景区管理方通过远程管理端连接云服务器查询景区游客实时数据并向景区内游客发送管理信息。本发明实现了景区游览信息查询和管理，提高了游客对景区服务的满意度，并且具有成本、功耗较低，定位速度、精度较高，不受室内因素影响，且定位算法简单，实现景区信号覆盖实施难度小的优点。
-
-
-
-
-
-
-
-
-
Search Results
213
records
(took 0.03 seconds)
