检索结果-内蒙古大学图书馆

软件学报 2018年第11期29卷 3260-3277页

作者：孙晋永古天龙闻立杰钱俊彦刘华东西安电子科技大学计算机科学与技术学院陕西西安710071 广西可信软件重点实验室(桂林电子科技大学) 广西桂林541004 清华大学软件学院北京100084

工作流修正是工作流重用的重要任务.目前,在基于工作流的可重用片段——stream的语义工作流修正中,当工作流stream库中不存在与检索语义工作流中的工作流stream结构相似的stream时,无法修正检索语义工作流.针对这种情况,提出了一种改进... 详细信息

工作流修正是工作流重用的重要任务.目前,在基于工作流的可重用片段——stream的语义工作流修正中,当工作流stream库中不存在与检索语义工作流中的工作流stream结构相似的stream时,无法修正检索语义工作流.针对这种情况,提出了一种改进方法——基于stream行为特征的语义工作流修正算法.使用任务紧邻关系集表达stream的行为特征.对于检索语义工作流的每个stream(称为查询stream),使用锚集合数据索引和stream匹配规则过滤工作流stream库得到候选匹配stream集;之后,基于变更请求和stream的行为相似性对候选stream集进行验证,得到需替换的查询stream和最符合变更请求并与它足够行为相似的匹配stream;然后,使用每个匹配stream替换对应需替换的查询stream以逐步修正检索语义工作流中的缺陷;最后得到修正语义工作流.实验结果表明,与现有的基于工作流stream的修正算法相比,该算法得到了整体质量更好的修正语义工作流集,其适应性更好.该修正算法能够为业务过程管理人员进行适应新业务需求的工作流变更提供较好质量的参考语义工作流,对提高业务过程管理中工作流重用的效率和质量有较大的帮助.

关键词：工作流重用语义工作流修正工作流stream 行为特征

来源：评论

学校读者我要写书评

暂无评论

基于在线迁移学习的重现概念漂移数据流分类

引用

计算机研究与发展 2016年第8期53卷 1781-1791页

作者：文益民唐诗淇冯超高凯桂林电子科技大学计算机与信息安全学院广西桂林541004 广西可信软件重点实验室(桂林电子科技大学) 广西桂林541004 广西信息科学实验中心(桂林电子科技大学) 广西桂林541004 河北科技大学信息学院石家庄050018

随着大数据时代的到来,数据流分类被应用于诸多领域,如:垃圾邮件过滤、市场预测及天气预报等.重现概念是这些应用领域的重要特点之一.针对重现概念的学习与分类问题中的"负迁移"和概念漂移检测的滞后性,提出了一种基于在线迁... 详细信息

随着大数据时代的到来,数据流分类被应用于诸多领域,如:垃圾邮件过滤、市场预测及天气预报等.重现概念是这些应用领域的重要特点之一.针对重现概念的学习与分类问题中的"负迁移"和概念漂移检测的滞后性,提出了一种基于在线迁移学习的重现概念漂移数据流分类算法——***-OTL在检测到概念漂移时存储刚学习的一个基分类器,然后计算最近的样本与存储的各历史分类器之间的领域相似度,以选择最适合对后续样本进行学习的源分类器,从而改善从源领域到目标领域的知识迁移.另外,RC-OTL还在概念漂移检测之前根据分类准确率选择合适的分类器对后续样本分类.初步的理论分析解释了RC-OTL为什么能有效克服"负迁移",实验结果进一步表明:RC-OTL的确能有效提高分类准确率,并且在遭遇概念漂移后能更快地适应后续样本.

关键词：概念漂移迁移学习重现概念在线学习负迁移

来源：评论

学校读者我要写书评

暂无评论

一种透明的可信云租户隔离机制研究？

引用

软件学报 2016年第6期27卷 1538-1548页

作者：石勇郭煜刘吉强韩臻马威常亮北京交通大学计算机与信息技术学院北京100044 广西可信软件重点实验室(桂林电子科技大学) 广西桂林541004

租户隔离是云计算能被作为第三方服务提供给租户的重要前提,因此,云租户隔离机制的安全有效性能否被租户信任,对云计算服务的推广非常关键.但在云计算这种第三方服务模式中,由于租户不能参与云服务基础设施及其安全隔离机制的建设和管... 详细信息

租户隔离是云计算能被作为第三方服务提供给租户的重要前提,因此,云租户隔离机制的安全有效性能否被租户信任,对云计算服务的推广非常关键.但在云计算这种第三方服务模式中,由于租户不能参与云服务基础设施及其安全隔离机制的建设和管理过程,因此他们难以对云租户隔离机制的安全有效性建立信心.将透明性要求视为可信云租户隔离机制的一部分,将云租户隔离机制和租户透明要求都转化为云服务系统中不同安全域之间的信息流,对云租户隔离机制进行定义,并制定云计算平台中的域间信息流策略控制方式,最后,基于信息流无干扰理论证明了所定义的云租户隔离机制在安全方面的有效性.

关键词：云租户隔离租户透明性信息流策略可信云无干扰理论

来源：评论

学校读者我要写书评

暂无评论

时空域信息融合的智能家居入侵检测算法

引用

北京邮电大学学报 2017年第3期40卷 76-84页

作者：李民政蓝剑平桂林电子科技大学计算机与信息安全学院桂林541004 广西信息科学实验中心桂林541004 广西可信软件重点实验室桂林541004

针对现有智能家居入侵检测算法收敛速度慢及抗干扰能力差进而导致决策系统实时性和鲁棒性差的缺陷,分析了时空域证据融合的特性,得出时域融合存在冲突融合、空域融合更存在去除冲突融合的结论.基于此,提出了基于证据理论的时域自适应加... 详细信息

针对现有智能家居入侵检测算法收敛速度慢及抗干扰能力差进而导致决策系统实时性和鲁棒性差的缺陷,分析了时空域证据融合的特性,得出时域融合存在冲突融合、空域融合更存在去除冲突融合的结论.基于此,提出了基于证据理论的时域自适应加权算法及空域证据修正的3种证据融合入侵检测算法,并将提出的检测算法应用于智能家居入侵检测系统.检测结果表明,提出的算法能够加快融合结果的收敛速度,增强抗干扰能力,并能提高入侵检测系统决策的实时性和鲁棒性.

关键词：时空域信息融合证据理论入侵检测

来源：评论

学校读者我要写书评

暂无评论

云环境下基于PTPM和无证书公钥的身份认证方案？

引用

软件学报 2016年第6期27卷 1523-1537页

作者：王中华韩臻刘吉强张大伟常亮北京交通大学计算机与信息技术学院北京100044 广西可信软件重点实验室(桂林电子科技大学) 广西桂林541004

为了解决目前云环境下用户与云端之间进行身份认证时所存在的安全问题和不足,将PTPM（portable TPM）和无证书公钥密码体制应用到云环境中,提出一种用于实现用户与云端之间双向身份认证的方案.与现有方案相比,新方案具有以下特点：在通... 详细信息

为了解决目前云环境下用户与云端之间进行身份认证时所存在的安全问题和不足,将PTPM（portable TPM）和无证书公钥密码体制应用到云环境中,提出一种用于实现用户与云端之间双向身份认证的方案.与现有方案相比,新方案具有以下特点：在通过建立身份管理机制实现用户和云端身份唯一性的基础上,首先利用PTPM不仅确保了终端平台的安全可信和云端与用户之间认证结果的真实正确,而且支持用户利用任意终端设备来完成与云端的身份认证过程;其次,新方案基于无证书公钥签名算法实现了“口令＋密钥”的双因子认证过程;最后,通过安全性理论证明和性能分析,证明所提方案在保证EUF-CMA安全性的同时,显著提高了用户和云端之间身份认证的计算效率.

关键词：云计算身份认证便携式TPM 无证书公钥密码

来源：评论

学校读者我要写书评

暂无评论

基于ALCQ(D)的CBR事例表示及相似性度量

引用

计算机科学 2014年第4期41卷 223-229页

作者：孙晋永古天龙常亮马林威西安电子科技大学计算机学院西安710071 桂林电子科技大学广西可信软件重点实验室桂林541004

针对目前用于CBR事例表示的描述逻辑,如EL、ALC、ALCNR等缺少定性数量约束和有型域约束的问题,将具有定性数量约束和有型域构子的描述逻辑ALCQ(D)应用于CBR中。首先使用ALCQ(D)概念表示有定性数量约束、具体数据类型和数据值约束需求的... 详细信息

针对目前用于CBR事例表示的描述逻辑,如EL、ALC、ALCNR等缺少定性数量约束和有型域约束的问题,将具有定性数量约束和有型域构子的描述逻辑ALCQ(D)应用于CBR中。首先使用ALCQ(D)概念表示有定性数量约束、具体数据类型和数据值约束需求的CBR事例,并对之索引。研究两种主要的具体数据类型:数值类型和符号类型。然后定义ALCQ(D)范式来规范事例的索引表示,最后给出事例相似性度量方法。该度量方法先对事例索引的各个部分进行相似性度量,然后对度量结果进行加权求和得到最终相似性。实验结果表明,ALCQ(D)可以更准确地表示事例,事例相似性度量方法可以更贴切地度量事例的相似性,这对提高事例检索的速度和准确性以及提高CBR系统的效率具有重要意义。

关键词：基于事例推理描述逻辑事例表示事例检索相似性

来源：评论

学校读者我要写书评

暂无评论

基于描述逻辑的事例推理综述

引用

计算机科学 2014年第11期41卷 1-6,39页

作者：孙晋永古天龙常亮西安电子科技大学计算机学院西安710071 桂林电子科技大学广西可信软件重点实验室桂林541004

基于描述逻辑的事例推理(CBR)是当前CBR研究的热点之一。首先介绍了CBR的起源,然后回顾了基于描述逻辑的CBR的发展历史,接着从4个方面:事例表示与组织、事例检索、事例修正和事例库维护综述了基于描述逻辑的CBR的研究工作,最后指出了基... 详细信息

基于描述逻辑的事例推理(CBR)是当前CBR研究的热点之一。首先介绍了CBR的起源,然后回顾了基于描述逻辑的CBR的发展历史,接着从4个方面:事例表示与组织、事例检索、事例修正和事例库维护综述了基于描述逻辑的CBR的研究工作,最后指出了基于描述逻辑的CBR目前存在的问题并相应地提出了未来的研究方向。

关键词：基于事例推理描述逻辑事例表示事例检索事例修正

来源：评论

学校读者我要写书评

暂无评论

集群数据库系统的日志复制和故障恢复

引用

软件学报 2017年第3期28卷 476-489页

作者：王嘉豪蔡鹏钱卫宁周傲英华东师范大学计算机科学与软件工程学院上海200062 广西可信软件重点实验室(桂林电子科技大学) 广西桂林541004

互联网、社交、购物、金融等各类应用直接面临海量用户的高并发访问,传统的单点数据库逐渐成为这些应用系统的瓶颈,而众多互联网应用能够良好运行的主要原因是使用了基于集群环境的数据管理系统作支撑.与传统数据库系统相比,基于集群环... 详细信息

互联网、社交、购物、金融等各类应用直接面临海量用户的高并发访问,传统的单点数据库逐渐成为这些应用系统的瓶颈,而众多互联网应用能够良好运行的主要原因是使用了基于集群环境的数据管理系统作支撑.与传统数据库系统相比,基于集群环境的数据库系统具有更好的扩展性和可用性,而日志复制是保证这些特性的核心组件.传统的主备架构的日志复制在异常情况下对未决事务日志处理不佳,导致数据副本之间存在不一致的风险.另外,分布式系统领域的一致性算法缺乏对事务一致性的处理,而且在选主时存在活锁、多主和频繁选主的问题,无法直接适用于事务日志复制.提出了一种集群环境下的事务日志复制策略和恢复机制,能够有效处理未提交日志,提供了强弱两种读一致性,并且提出一种轻量级的选主算法,可以避免出现以上的选主问题.在开源Ocean Base分布式数据库系统中实现了上述机制,并使用基准测试工具对系统进行测试,通过一系列实验验证了系统的扩展性和可用性.

关键词：日志复制故障恢复一致性可用性数据库系统

来源：评论

学校读者我要写书评

暂无评论

支持密钥更新与审计者更换的云安全审计方案

引用

计算机研究与发展 2022年第10期59卷 2247-2260页

作者：周磊陈珍珠付安民苏铓俞研南京理工大学计算机科学与工程学院南京210094 广西可信软件重点实验室(桂林电子科技大学) 广西桂林541004

云存储提供数据托管服务,解决了本地端数据管理与分享受限问题.但现有的用于确保云存储数据完整性的审计方案面临一个重要的安全问题:签名密钥一旦泄露,依赖于该密钥产生签名的审计方案将无法提供完整性保护.此外,现有审计方案均默认在... 详细信息

云存储提供数据托管服务,解决了本地端数据管理与分享受限问题.但现有的用于确保云存储数据完整性的审计方案面临一个重要的安全问题:签名密钥一旦泄露,依赖于该密钥产生签名的审计方案将无法提供完整性保护.此外,现有审计方案均默认在整个审计期间仅有一个审计者,然而审计者可能由于被攻陷、被贿赂或资源不足不能再提供审计代理服务.因此,提出一个支持密钥更新与审计者更换的审计方案AKUAR(auditing scheme supporting key update and auditor replacement).针对密钥暴露导致签名无效问题,AKUAR结合双线性对与代理重签名思想设计了高效安全的密钥与标签更新机制,并且由云端承担计算复杂的标签更新操作,仅在本地端引入了少量的开销.此外,当充当审计者的雾节点退出审计时,新的雾节点可以代替其继续进行完整性审计工作,在保证新签名密钥不被泄露给旧雾节点的同时实现了审计服务的可持续性.安全分析证明了AKUAR是安全的,性能评估也证实了AKUAR在标签生成与密钥更新阶段仅引入了少量可接受的计算开销与通信开销.

关键词：云存储完整性审计密钥更新密钥暴露抵制审计者更换

来源：评论

学校读者我要写书评

暂无评论

一种改进的模糊认知诊断模型

引用

数据采集与处理 2017年第5期32卷 958-969页

作者：李忧喜文益民易新河徐智桂林电子科技大学计算机与信息安全学院桂林541004 桂林电子科技大学广西可信软件重点实验室桂林541004

认知诊断模型利用学生做题的得分情况和测试题-知识点的关系来挖掘学生的潜在特质,以得到学生对知识点的掌握情况,进而可以预测学生对测试题的得分情况。但已有的认知诊断模型一般都忽视了主观题中学生对知识点的掌握数量和掌握程度及... 详细信息

认知诊断模型利用学生做题的得分情况和测试题-知识点的关系来挖掘学生的潜在特质,以得到学生对知识点的掌握情况,进而可以预测学生对测试题的得分情况。但已有的认知诊断模型一般都忽视了主观题中学生对知识点的掌握数量和掌握程度及知识点的重要性对认知诊断的影响。本研究提出一种改进的模糊认知诊断模型(Revised fuzzy cognitive diagnosis framework,R-FuzzyCDF),在主观题的诊断中假设随着学生掌握知识点的个数增多,学生正确作答的概率增高,并考虑了知识点的重要性对认知诊断的影响,实验结果表明这种改进的FuzzyCDF模型进一步提高了认知诊断的准确性。

关键词：认知诊断连接型补偿型知识点重要性主观题

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：