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

密码学报 2022年第4期9卷 743-754页

作者：张剑林昌露黄可可刘亚丽福建师范大学数学与统计学院福州350117 福建师范大学福建省网络安全与密码技术重点实验室福州350007 福建师范大学计算机与网络空间安全学院福州350117 江苏师范大学计算机科学与技术学院徐州221116 桂林电子科技大学广西可信软件重点实验室桂林541004 桂林电子科技大学广西密码学与信息安全重点实验室桂林541004

秘密共享是信息保护的一种重要工具,在多等级结构秘密共享中,等级较高的参与者不仅能够参与自身所处等级的秘密重构,同时也能参与低等级参与者的秘密重构并正确重构出秘密值,即参与者等级越高,权限越大.为实现高等级的更大权限,通常需... 详细信息

秘密共享是信息保护的一种重要工具,在多等级结构秘密共享中,等级较高的参与者不仅能够参与自身所处等级的秘密重构,同时也能参与低等级参与者的秘密重构并正确重构出秘密值,即参与者等级越高,权限越大.为实现高等级的更大权限,通常需要为高等级参与者计算相应的公开值,使得高等级参与者能够计算得到秘密在对应等级中的子秘密.本文首先提出了一种多等级门限结构的秘密共享方案,能够以更少的公开值实现多等级功能.应用中国剩余定理的多项式形式,在不同模数的情况下产生不同次数的多项式作为秘密分发多项式.同时将该方法进行推广,分别通过增加公开值和中国剩余定理聚合嵌入的方法,构造了两种多等级结构的多秘密共享方案,有效地减少了多等级多秘密共享方案的公开值个数.

关键词：秘密共享多秘密多等级结构门限结构秘密重构

来源：评论

学校读者我要写书评

暂无评论

多模态人工智能数据分析实验服务平台建设

引用

实验室研究与探索 2023年第4期42卷 188-193页

作者：吴岸雄赵嘉凌黄少伟蔡文伟张会兵肇庆学院计算机科学与软件学院广东肇庆526061 肇庆学院信息中心广东肇庆526061 桂林电子科技大学广西可信软件重点实验室广西桂林541004

为了培养具备创新能力的人工智能新工科人才,探索人工智能人才培养新模式新路径,进一步提升应用型高校的大数据及人工智能实验教学水平,同时能实现科研成果向业务价值的转化,提出了建设具有多模态人工智能数据分析能力的实验和科研一体... 详细信息

为了培养具备创新能力的人工智能新工科人才,探索人工智能人才培养新模式新路径,进一步提升应用型高校的大数据及人工智能实验教学水平,同时能实现科研成果向业务价值的转化,提出了建设具有多模态人工智能数据分析能力的实验和科研一体化的教科研服务平台。多模态人工智能是计算机视觉和交互式人工智能模型的融合,基于应用型高校的基本特征,在分析了服务平台功能需求基础上,提出了整合大数据及人工智能核心技术引擎模块;实现了其关键核心技术多模态数据重构及转换、多模态深度学习服务平台;构建了基于平台应用的人才培养课程服务体系。可为高校在教学、管理、人工智能实训、大数据开发和可视化、大数据及人工智能课程实训资源等多方面提供核心技术应用和基础支撑。

关键词：多模态人工智能数据分析数据重构实验服务平台

来源：评论

学校读者我要写书评

暂无评论

利用冗余核的MPSoC故障检测方法

引用

计算机应用 2014年第1期34卷 41-45页

作者：唐柳黄樟钦侯义斌方凤才张会兵北京工业大学计算机学院北京100124 广西师范学院物理与电子工程学院南宁530023 广西可信软件重点实验室(桂林电子科技大学) 广西桂林541004

在处理器可靠性研究中,为在容错机制部署与容错开销之间达到较好的平衡,提出一个利用冗余核进行检测代码计算任务的多处理器片上系统(MPSoC)故障检测方法。该方法利用多核系统天然的冗余特性,将用于进行故障检测的冗余代码中的大部分计... 详细信息

在处理器可靠性研究中,为在容错机制部署与容错开销之间达到较好的平衡,提出一个利用冗余核进行检测代码计算任务的多处理器片上系统(MPSoC)故障检测方法。该方法利用多核系统天然的冗余特性,将用于进行故障检测的冗余代码中的大部分计算任务转移到冗余核中进行,检测软件控制流的正确性和数据的一致性,实现MPSoC的故障检测。所提方法无需添加额外硬件,通过指令级的冗余进行故障检测,可满足系统可靠性需求,同时又能减少面积开销,在性能方面和花销上做到有效的权衡。在一个MPSoC上对所提方法进行验证实验,通过故障注入,运行多个基准程序进行有效性验证,并将所提方法与几种具有代表性的软件检测硬件故障方法故障检测能力、面积、内存以及性能花销等方面进行比较,实验结果证明所提方法有效且能够在性能和花销之间取得较好的权衡。

关键词：多处理器片上系统可靠性故障检测冗余核检测代码

来源：评论

学校读者我要写书评

暂无评论

RCC的可数核心模型

引用

计算机科学 2016年第4期43卷 241-246,273页

作者：赵晓蓉余泉王驹黔南民族师范学院计算机科学系都匀558000 黔南民族师范学院数学系都匀558000 桂林电子科技大学广西可信软件重点实验室桂林541004

空间逻辑是人工智能领域中的研究热点,RCC系统(GRCC系统)是其中最受关注的一个形式化系统。从连接关系的冗余和非冗余性质出发,给出了核心模型的定义,并且证明了核心模型的存在性定理。讨论了RCC模型的个体(相当于空间中的物体)内部连通... 详细信息

空间逻辑是人工智能领域中的研究热点,RCC系统(GRCC系统)是其中最受关注的一个形式化系统。从连接关系的冗余和非冗余性质出发,给出了核心模型的定义,并且证明了核心模型的存在性定理。讨论了RCC模型的个体(相当于空间中的物体)内部连通性,证明了该内部连通性是一阶语义可定义的。基于内部连通性,证明了核心模型的外延定理。

关键词：空间逻辑 RCC 最小连通核心模型

来源：评论

学校读者我要写书评

暂无评论

面向类集成测试序列生成的强化学习研究

引用

软件学报 2022年第5期33卷 1674-1698页

作者：丁艳茹张艳梅姜淑娟袁冠王荣存钱俊彦中国矿业大学矿山数字化教育部工程研究中心江苏徐州221116 中国矿业大学计算机科学与技术学院江苏徐州221116 桂林电子科技大学广西可信软件重点实验室广西桂林541004 广西师范大学广西多源信息挖掘与安全重点实验室广西桂林541004

集成测试是软件测试过程中不可缺少的步骤,针对在集成测试中如何对系统中的类合理排序的问题,国内外研究者提出了多种生成类集成测试序列的方法,然而他们大多没有将测试桩复杂度作为评估测试代价的指标.针对该问题,提出面向类集成测试... 详细信息

集成测试是软件测试过程中不可缺少的步骤,针对在集成测试中如何对系统中的类合理排序的问题,国内外研究者提出了多种生成类集成测试序列的方法,然而他们大多没有将测试桩复杂度作为评估测试代价的指标.针对该问题,提出面向类集成测试序列生成的强化学习研究方法,以总体测试桩复杂度为评价测试代价的指标,生成测试代价尽可能低的类集成测试序列.首先,定义强化学习任务,根据任务设定算法的追求目标;其次,进行程序的静态分析,根据分析得到的结果计算测试桩复杂度;然后,将测试桩复杂度的计算融入奖励函数的设计中,为选择下一步动作提供信息和依据;最后,通过奖励函数反馈值函数,通过值函数的设定保证累计奖励最大化.当智能体完成规定训练次数,系统会选择获得最大累计奖励值的类集成测试序列进行输出,即为我们追求的测试代价尽可能低的结果.实验结果表明,与现有方法相比,在以总体测试桩复杂度为评价指标时,提出的方法结果更优.

关键词：类集成测试序列强化学习测试桩测试代价奖励函数

来源：评论

学校读者我要写书评

暂无评论

基于熵加权属性子空间的目标社区发现

引用

中文信息学报 2019年第8期33卷 111-120页

作者：刘海姣马慧芳昌阳李志欣西北师范大学计算机科学与工程学院甘肃兰州730070 桂林电子科技大学广西可信软件重点实验室广西桂林541004 广西师范大学广西多源信息挖掘与安全重点实验室广西桂林541004

该文提出一种基于熵加权属性子空间的目标社区发现方法,挖掘与用户偏好相关的社区。首先,从属性和结构两个方面综合考虑节点间的相似度,利用用户给定的样例节点及其邻居扩展得到目标社区中心点集;其次,在中心点集上,设计一种熵加权的属... 详细信息

该文提出一种基于熵加权属性子空间的目标社区发现方法,挖掘与用户偏好相关的社区。首先,从属性和结构两个方面综合考虑节点间的相似度,利用用户给定的样例节点及其邻居扩展得到目标社区中心点集;其次,在中心点集上,设计一种熵加权的属性权重计算方法,得到目标社区的属性子空间权重;再次,利用目标社区的属性子空间权重,基于节点的属性和结构相似度重写网络中边的权重;最后,定义社区适度函数并结合重写后网络中边的权重改进社区适度函数,以中心节点集为核心,挖掘基于用户偏好的内部连接紧密且与外部分离较好目标社区。此外,该方法可以扩展到网络中多个社区发现及离群点检测任务中。在人工网络和真实网络数据集上的实验结果验证了该文所提算法的效率和有效性。

关键词：熵属性权重社区发现用户偏好

来源：评论

学校读者我要写书评

暂无评论

面向不可变存储环境的近似成员查询二级索引

引用

桂林电子科技大学学报 2023年第5期43卷 345-354页

作者：黄昊天张敬伟吴泽正刘宇翔王瀚桂林电子科技大学计算机与信息安全学院广西桂林541004 桂林电子科技大学广西可信软件重点实验室广西桂林541004

键值存储系统得益于优异的写入性能被广泛应用于各种Web应用。主流的键值存储系统多利用布隆过滤器优化非主键查询性能,而该方法存在查询效率受数据段数量影响和误判引发的多余数据段访问可能性等不足。为了进一步优化键值系统分析处理... 详细信息

键值存储系统得益于优异的写入性能被广泛应用于各种Web应用。主流的键值存储系统多利用布隆过滤器优化非主键查询性能,而该方法存在查询效率受数据段数量影响和误判引发的多余数据段访问可能性等不足。为了进一步优化键值系统分析处理的查询能力,针对一次写多次读的数据访问特征,提出了新型二级索引。通过构建全局索引,避免了多过滤器探测引发的查询延迟提高。此外,提出了预探测递归驱逐策略,优化了索引构建效率。与传统方法相比,该索引处理存在数据项查询时能够返回完全正确的数据段编号序列。进一步,该索引基于逻辑链的范围查询方案实现了范围查询。实验结果验证了索引结构的有效性。与基线结构相比,该索引的查询性能提升了约10~50倍。

关键词：二级索引键值数据存储查询优化 NoSQL 在线分析处理

来源：评论

学校读者我要写书评

暂无评论

基于时态测试器的实时分支时态逻辑模型检测

引用

软件学报 2022年第8期33卷 2930-2946页

作者：骆翔宇黄欣玥古天龙苏开乐陈祖希郑黎晓华侨大学计算机科学与技术学院福建厦门361021 广西可信软件重点实验室(桂林电子科技大学) 广西桂林541004 暨南大学信息科学技术学院/网络空间安全学院广东广州510632 南京信息工程大学人工智能学院江苏南京210044

基于自动机理论的模型检测技术在形式化验证领域处于核心地位,然而传统自动机在时态算子上不具备可组合性,导致各种时态逻辑的模型检测算法不能有机整合.为了实现集成限界时态算子的实时分支时态逻辑RTCTL*的高效模型检测,提出一种RTCTL... 详细信息

基于自动机理论的模型检测技术在形式化验证领域处于核心地位,然而传统自动机在时态算子上不具备可组合性,导致各种时态逻辑的模型检测算法不能有机整合.为了实现集成限界时态算子的实时分支时态逻辑RTCTL*的高效模型检测,提出一种RTCTL*正时态测试器构造方法以及相关符号化模型检测算法,既证明了所提出的RTCTL*正时态测试器构造方法是完备的,也证明了该算法时间复杂度与被验证系统呈线性关系,与公式长度呈指数关系.基于JavaBDD软件包成功开发了该算法的模型检测工具MCTK2.0.0.完成了MCTK与著名的符号化模型检测工具nu Xmv之间的实验对比分析工作,结果表明:MCTK虽然在内存消耗上要多于nu Xmv,但是MCTK的时间复杂度双指数级小于nuXmv,使得利用MCTK验证大规模系统的实时时态性质成为可能.

关键词：符号化模型检测公平离散系统正时态测试器实时分支时态逻辑二元决策图

来源：评论

学校读者我要写书评

暂无评论

基于纠删码的数据消冗存储系统可靠性增强研究

引用

计算机研究与发展 2011年第S1期48卷 1-6页

作者：彭成王树鹏贾志凯中国科学院成都计算机应用研究所自动推理实验室成都610041 中国科学院计算技术研究所信息安全研究中心北京100190 电子装备结构设计教育部重点实验室(西安电子科技大学) 西安710071

针对如何使用纠删码技术增强数据消冗存储系统可靠性的问题进行了研究,首先研究了纠删编码中关键参数对存储可靠性的影响,通过数学推导证明了使用纠删码技术并不总是会比冗余复制技术更有效的增强存储可靠性,同时分析了使用纠删码技术... 详细信息

针对如何使用纠删码技术增强数据消冗存储系统可靠性的问题进行了研究,首先研究了纠删编码中关键参数对存储可靠性的影响,通过数学推导证明了使用纠删码技术并不总是会比冗余复制技术更有效的增强存储可靠性,同时分析了使用纠删码技术增强存储可靠性的条件,并结合数据消冗存储系统的特点给出一种纠删编码关键参数的选取算法,经过实验证明,该算法能够利用更少的存储空间获得比冗余复制技术更高的存储可靠性.

关键词：数据消冗存储系统重复数据删除纠删码

来源：评论

学校读者我要写书评

暂无评论

基于可交互相关性矩阵的维度重排径向坐标可视化方法

引用

模式识别与人工智能 2017年第7期30卷 637-645页

作者：张志豪张军平陈德铭卢颖袁晓如古天龙复旦大学计算机科学技术学院上海200433 复旦大学上海市智能信息处理重点实验室上海200433 飞利浦中国研究院上海201102 北京大学信息科学技术学院北京100871 桂林电子科技大学广西可信软件重点实验室桂林541004

针对现有维度排序方法较少考虑到用户参与的问题,文中提出基于可交互相关性矩阵的维度重排径向坐标可视化方法.采用考虑到径向坐标可视化(RadViz)特性、拥有可变参数的层次聚类算法推荐初始的维度顺序,提供展示算法结果的系统树图用于... 详细信息

针对现有维度排序方法较少考虑到用户参与的问题,文中提出基于可交互相关性矩阵的维度重排径向坐标可视化方法.采用考虑到径向坐标可视化(RadViz)特性、拥有可变参数的层次聚类算法推荐初始的维度顺序,提供展示算法结果的系统树图用于指导用户交互式地调整、选取、删除维度,进行特征子集选择.实验表明,文中方法具有较好的交互性,注重用户体验,减轻RadViz中的投影点重叠问题.

关键词：径向坐标可视化(RadViz) 维度重排相关性矩阵层次聚类特征子集选择

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：