广西可信软件重点实验室开放基金

作品数:47被引量:103H指数:5
导出分析报告
相关作者:张迎周王勇缪裕青陈光喜张大鹏更多>>
相关机构:桂林电子科技大学南京邮电大学燕山大学清华大学更多>>
相关期刊:《南京师大学报(自然科学版)》《计算机工程与设计》《光谱学与光谱分析》《计算机应用研究》更多>>
相关主题:数据挖掘光谱分析并行计算偏最小二乘关联规则更多>>
相关领域:自动化与计算机技术理学电子电信一般工业技术更多>>
-

检索结果分析

结果分析中...
条 记 录,以下是1-10
视图:
排序:
一种参数化的改进SDG程序切片方法被引量:1
《南京邮电大学学报(自然科学版)》2017年第6期75-80,89,共7页张迎周 徐晨晨 竺殊荣 
国家自然科学基金(61300054);广西可信软件重点实验室开放基金;江苏省"青蓝工程"中青年学术带头人资助项目
程序切片是一种重要的程序分析理解方法,在实际的生产和研究方面已经得到非常广泛的应用。目前主流的过程间程序切片方法是基于系统依赖图(SDG)算法,但这种算法缺乏对过程内切片结果的再使用。文中提出一种参数化的改进SDG切片方法,使...
关键词:改进SDG 过程内切片 过程间切片 传递依赖边 
一种改进的基于FP-Tree的高效挖掘最大频繁项目集算法被引量:8
《济南大学学报(自然科学版)》2017年第2期111-117,共7页尹治华 张大鹏 谭明 王新生 
国家自然科学基金项目(61303129);广西可信软件重点实验室开放基金项目(KX201212)
为了解决最大频繁项目集算法DMFIA(discover maximum frequent itemsets algorithm)在挖掘候选项目集维数较大而最大频繁项目集维数较小的情况下产生大量候选项目集的问题,提出一种改进的基于FP-Tree(frequent pattern tree)的最大频繁...
关键词:数据挖掘 关联规则 最大频繁项目集 频繁模式树 非频繁项目集 
求有限集合覆盖的构造方法
《大学数学》2017年第2期39-42,共4页吴寄语 邱伟星 王蔚 张迎周 
广西可信软件重点实验室开放基金;江苏省"青蓝工程"中青年学术带头人项目
在近似算法领域,集合覆盖问题是研究的比较早和比较透彻的问题之一.文中解决与经典SCP不同的另一问题,针对有限集合覆盖的构造,提出一种构造有限集合上的集合覆盖的算法,并且给出了该算法的完备性证明.该算法简单有效,是一种用于构造集...
关键词:有限集合 NP问题 集合的划分 集合覆盖 
描述逻辑εL的二阶线性推理机制被引量:3
《软件学报》2017年第2期216-233,共18页王驹 陈光喜 余泉 
国家自然科学基金(61463044;61363030);广西自然科学基金(2013GXNSFAA019330);广西可信软件重点实验室开放基金;桂林电子科技大学计算机软件创新团队基金(kx201419);广东省数学教育工程技术研究中心开放基金~~
基于描述逻辑的本体的保守扩充理论、模块抽取理论、通用模块构建理论及其相关算法是本体工程中本体构建、本体融合及重构的核心理论与工具.国际上该领域已有Lutz等人使用形式构模方法证明了ALC的保守扩充判定算法复杂度是二阶时间指数...
关键词:描述逻辑 保守扩充 模块本体抽取 二阶线性推理机制 DL-Lite家族 
基于多层MapReduce的混合网络流量分类特征选择方法被引量:1
《桂林电子科技大学学报》2016年第2期123-128,共6页王勇 龙也 陶晓玲 韦毅 
国家自然科学基金(61163058;61363006);广西可信软件重点实验室开放基金(KX201306)
针对传统的特征选择方法只适用于小规模数据集、运行效率低的缺陷,结合Filter方法和Wrapper方法的特点,提出一种基于多层MapReduce的混合网络流量分类特征选择方法。该方法通过Fisher score对数据进行预处理,剔除部分无关特征,实现高维...
关键词:特征选择 FISHER SCORE SFS MAPREDUCE 
基于Lucene的Web服务查询系统设计与实现
《桂林电子科技大学学报》2016年第1期29-34,共6页叶骏宏 王勇 强保华 
国家自然科学基金(61163057;61163058);广西自然科学基金(2012GXNSFAA053228);广西可信软件重点实验室开放基金(KX201308)
针对用户需求复杂多变,提出了用户反馈2阶段Web服务查询方法。该方法引入基于Lucene规范的Web服务搜索引擎系统,该系统由WSDL处理模块、向量化模块、相似度计算模块和QoS模块组成,分别支持WSDL解析功能、WSDL索引建立与查询功能、自定...
关键词:WEB服务 用户反馈2阶段查询 WSDL LUCENE 
BDI-Agent应用系统的集成开发环境的实现被引量:1
《小型微型计算机系统》2015年第12期2719-2724,共6页和敬刚 张大鹏 王帅 王新生 史忠植 
国家“九七三”重点基础研究发展计划项目(2013CB329500)资助;国家自然(61303129)资助;广西可信软件重点实验室开放基金项目(KX201212)资助
为了便于开发带有BDI推理机制的多Agent应用系统,首先在已有的MAGE(Multi-Agent Environment)平台上,通过引入BDI推理模块构建了一种具有BDI推理机制的多智能体运行平台MAGER(Multi-Agent Environment with Reasoner);然后将MAGER运行...
关键词:BDI MAGER VAStudio 集成开发环境 
基于随机函数的哈希函数被引量:6
《计算机工程与设计》2015年第10期2679-2683,共5页王勇 蔡国永 
广西可信软件重点实验室开放基金项目(KX201408)
为增强hash函数的安全性,提出将哈希函数随机化的观点。将传统确定的哈希函数替换成随机的哈希函数,随机函数具有多种具体形式,在运算的时候通过消息确定随机函数的具体形式,哈希函数的破译者不知道消息,无从得知哈希函数的具体形式而...
关键词:哈希 函数 随机 密码学 安全性 
基于图形分类的令牌桶流控算法被引量:1
《桂林电子科技大学学报》2015年第5期391-394,共4页王勇 叶明川 
国家自然科学基金(61163058;61363006);广西可信软件重点实验室开放基金(KX201306)
针对接入多维网关的异构网络因信道速率不同而引起的网络拥塞,在GPON技术的DBA算法和流控算法基础上,提出一种基于预测和分级轮询的动态带宽分配算法,并结合基于图形分类的令牌桶算法,通过对不同类型的服务进行动态带宽分配,实现流量控...
关键词:DBA 预测轮询 图形分类 令牌桶 
基于SDN的云中心动态负载均衡方法被引量:5
《桂林电子科技大学学报》2015年第4期321-324,共4页王勇 匡玉雯 
国家自然科学基金(61163058;61363006);广西可信软件重点实验室开放基金(kx201306)
为了实现基于数据流级的动态负载均衡,将SDN技术应用于云数据中心,提出一种基于SDN的云中心动态负载均衡方法。该方法利用SDN技术在流和任务调度上灵活性的优势,通过OpenFlow协议对服务节点流量及负载状况进行实时监测。当系统发生负载...
关键词:软件定义网络 云计算 数据中心 动态负载均衡 
检索报告 对象比较 聚类工具 使用帮助 返回顶部