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

计算机研究与发展 2022年第5期59卷 1015-1034页

作者：黄涛付安民季宇凯毛安王占丰胡超南京理工大学计算机科学与工程学院南京210094 广西可信软件重点实验室(桂林电子科技大学) 广西桂林541004 南京莱克贝尔信息技术有限公司南京210007 解放军陆军工程大学指挥控制工程学院南京210007

近年来,工业互联网的安全事件日益频发,尤其是工业控制系统(industrial control system,ICS),该现象揭示了目前ICS中已经存在较多的安全隐患,并且那些针对ICS安全隐患的大多数攻击和防御方法都需要对工控协议进行分析.然而,目前ICS中大... 详细信息

近年来,工业互联网的安全事件日益频发,尤其是工业控制系统(industrial control system,ICS),该现象揭示了目前ICS中已经存在较多的安全隐患,并且那些针对ICS安全隐患的大多数攻击和防御方法都需要对工控协议进行分析.然而,目前ICS中大多数私有工控协议都具有与普通互联网协议完全不同的典型特征,如结构、字段精度、周期性等方面,导致针对互联网协议的逆向分析技术通常都无法直接适用于工控协议.因此,针对工控协议的逆向分析技术已经成为近几年学术界和产业界的研究热点.首先结合2种典型工控协议,深入分析和总结了工控协议的结构特征.其次,给出了工控协议逆向分析框架,深入剖析了基于程序执行和基于报文序列的工控协议逆向分析框架的特点,并依次从人机参与程度和协议格式提取方式这2个角度,重点针对基于报文序列的工控协议分析方法进行详细阐述和对比分析.最后探讨了现有逆向分析方法的特点及不足,并对工控协议逆向分析技术的未来研究方向进行展望与分析.

关键词：工业控制系统协议逆向工程工业控制协议报文序列启发式规则

来源：评论

学校读者我要写书评

暂无评论

任务序列强度感知的大规模集群服务器控制模型

引用

计算机应用研究 2020年第12期37卷 3753-3756页

作者：蔡文伟朱嘉贤张会兵肇庆学院计算机科学与软件学院大数据学院广东肇庆526061 桂林电子科技大学广西可信软件重点实验室广西桂林541004

异构云数据中心各类服务器的控制成本和性能上的差异将影响其运维管理成本及QoS博弈平衡关系,针对任务序列强度具有的时效性,提出了任务序列强度感知的大规模任务调度模型。依据当前到达数据中心的任务序列强度以及集群中服务器的当前状... 详细信息

异构云数据中心各类服务器的控制成本和性能上的差异将影响其运维管理成本及QoS博弈平衡关系,针对任务序列强度具有的时效性,提出了任务序列强度感知的大规模任务调度模型。依据当前到达数据中心的任务序列强度以及集群中服务器的当前状态,在任务调度中强调节约服务器运维管理成本和各服务器负载均衡的基础上实现优化数据中心对任务序列处理的平均响应时间和系统的吞吐量。通过对实验结果的分析,验证了集群服务器控制模型在任务调度中的可信度大于95%,同时通过与当前应用广且具代表性的算法——最短任务优先、公平分发机制进行比较分析,其效果是三者中最好的,也验证了模型的有效性和可行性。

关键词：异构云数据中心大规模任务调度负载均衡多服务器控制

来源：评论

学校读者我要写书评

暂无评论

双方参与的随机数生成和验证方案

引用

计算机工程与应用 2018年第18期54卷 121-124页

作者：刘建湘刘忆宁长沙理工大学计算机与通信工程学院长沙410076 桂林电子科技大学可信软件重点实验室广西桂林541004

随机数在电子商务中具有很重要的作用,尤其是对公平性有较多要求的场合。而且因为很多协议需要在移动终端运行,协议的执行效率也是必须要考虑的。该文使用单向函数,设计了一种新的随机数生成算法,保障参与双方对结果的生成具有同等的影... 详细信息

随机数在电子商务中具有很重要的作用,尤其是对公平性有较多要求的场合。而且因为很多协议需要在移动终端运行,协议的执行效率也是必须要考虑的。该文使用单向函数,设计了一种新的随机数生成算法,保障参与双方对结果的生成具有同等的影响力,从而保证了协议的公平性,而且其他的性质包括效率性、实际性、抗伪造性、不可预测性也都得到了很好的满足。

关键词：单向函数随机数可验证性公平性

来源：评论

学校读者我要写书评

暂无评论

一个分布式K互斥算法的概率模型检测

引用

计算机应用研究 2015年第4期32卷 1036-1039页

作者：刘来骆翔宇华侨大学计算机科学与技术学院福建厦门361021 桂林电子科技大学广西可信软件重点实验室广西桂林541004

传统的验证方法难以保证分布式K互斥算法的有效性和安全性。为解决这一问题,给出了进一步的研究,提出一种基于概率模型检测器PRISM的方法,对Kerry Raymond的分布式K互斥算法进行形式化建模与分析验证。通过设置算法中各个进程进入临界... 详细信息

传统的验证方法难以保证分布式K互斥算法的有效性和安全性。为解决这一问题,给出了进一步的研究,提出一种基于概率模型检测器PRISM的方法,对Kerry Raymond的分布式K互斥算法进行形式化建模与分析验证。通过设置算法中各个进程进入临界区的时间而得出的结果中发现,改变临界区的数目K,对于某一进程进入临界区的平均及时时间的影响并不大。如果某一进程的执行时间比其他进程大很多,则K的增加可以提高运行效率。最后证明了这一结论。

关键词：分布式K互斥算法概率模型检测 PRISM 平均及时时间

来源：评论

学校读者我要写书评

暂无评论

自然场景图像中的中文文本检测算法

引用

计算机工程与设计 2018年第3期39卷 804-807,818页

作者：缪裕青刘水清张万桢欧威健蔡国永桂林电子科技大学计算机与信息安全学院广西桂林541004 桂林电子科技大学广西可信软件重点实验室广西桂林541004 桂林航天工业学院实践教学部广西桂林541004

为降低当前场景文本检测算法在图像背景复杂时检测中文文本的误检率,提出一种基于自然场景图像的中文文本检测算法TDSI。使用一系列启发式规则分别改进MSER算法和SWT算法,根据笔画宽度值的标准差过滤非文本区域;根据汉字的结构特征,即... 详细信息

为降低当前场景文本检测算法在图像背景复杂时检测中文文本的误检率,提出一种基于自然场景图像的中文文本检测算法TDSI。使用一系列启发式规则分别改进MSER算法和SWT算法,根据笔画宽度值的标准差过滤非文本区域;根据汉字的结构特征,即候选区域的质心、重合区域等特征将文本区域聚集成汉字。实验结果表明,针对背景较复杂的自然场景图像中的中文文本,TDSI算法在自建图像数据库中获得了较好的准确率、召回率和F值。

关键词：场景文本检测中文文本检测最大稳定极值区域笔画宽度变换启发式规则汉字结构

来源：评论

学校读者我要写书评

暂无评论

基于大页内存的学习索引内存分配策略

引用

华东师范大学学报（自然科学版） 2023年第2期 73-81页

作者：官嘉林朱艳吴庭亮陈艳张敬伟桂林电子科技大学广西可信软件重点实验室广西桂林541004 桂林航天工业学院计算机科学与工程学院广西桂林541004

大数据时代,数据信息的不断膨胀给数据的快速存取带来了巨大挑战.因此,设计一种高效的索引结构具有重要意义. ALEX (updatable adaptive learned index)是一种利用机器学习模型代替传统B-树索引结构的学习索引,具有较好的时间、空间性能... 详细信息

大数据时代,数据信息的不断膨胀给数据的快速存取带来了巨大挑战.因此,设计一种高效的索引结构具有重要意义. ALEX (updatable adaptive learned index)是一种利用机器学习模型代替传统B-树索引结构的学习索引,具有较好的时间、空间性能,但存在频繁的缺页中断问题.为解决此问题,进一步提升ALEX性能,在ALEX基础上提出了一种基于大页内存的内存预分配策略,较好地降低了内存缺页中断率,提升了ALEX性能.在内存分配阶段,采用预分配策略;在内存回收阶段,则采用延迟释放策略.在Longitudes数据集上的实验表明,该策略具有良好的效果.

关键词：学习索引大页内存数据存取

来源：评论

学校读者我要写书评

暂无评论

一种多任务学习的跨模态视频情感分析方法

引用

计算机工程与应用 2023年第12期59卷 141-147页

作者：缪裕青董晗张万桢周明蔡国永杜华巍桂林电子科技大学计算机与信息安全学院广西桂林541004 桂林电子科技大学广西图像图形与智能处理重点实验室广西桂林541004 桂林航天工业学院工程综合训练中心广西桂林541004 仲恺农业工程学院信息科学与技术学院广州510225 桂林海威科技股份有限公司广西桂林541004 桂林电子科技大学广西可信软件重点实验室广西桂林541004

针对现有跨模态视频情感分析模型中模态融合不充分、空间复杂度较高以及较少考虑说话人本身属性对情感影响等问题,提出了一种结合多头注意力与多任务学习的跨模态视频情感分析模型。对视频进行预处理,得到视频、音频、文本三个模态的特... 详细信息

针对现有跨模态视频情感分析模型中模态融合不充分、空间复杂度较高以及较少考虑说话人本身属性对情感影响等问题,提出了一种结合多头注意力与多任务学习的跨模态视频情感分析模型。对视频进行预处理,得到视频、音频、文本三个模态的特征表示。将得到的特征表示分别输入到GRU网络以提取时序特征。利用所提出的最大池化多头注意力机制,实现文本与视频、文本与音频的两两融合。将融合后的特征输入到情感分类与性别分类多任务网络得到说话人的情感极性与性别属性。实验结果表明,所提模型能够较好地利用模态间的差异信息与说话人性别属性,在有效提升情感识别准确率的同时降低了模型的空间复杂度。

关键词：视频情感分析模态融合多头注意力多任务学习模型复杂度

来源：评论

学校读者我要写书评

暂无评论

安全高效的加密数据朴素贝叶斯训练和分类

引用

密码学报 2022年第3期9卷 448-467页

作者：李兴鑫朱友文王箭南京航空航天大学计算机科学与技术学院南京210016 广西师范大学广西多源信息挖掘与安全重点实验室桂林541004 桂林电子科技大学广西可信软件重点实验室桂林541004

云外包为大规模数据上的机器学习任务提供有力支撑的同时也带来了数据隐私泄漏的风险.本文旨在通过加密保护外包数据隐私并在加密数据上高效实现安全朴素贝叶斯训练和分类.现有安全朴素贝叶斯方案大多考虑的是外包训练好的贝叶斯模型以... 详细信息

云外包为大规模数据上的机器学习任务提供有力支撑的同时也带来了数据隐私泄漏的风险.本文旨在通过加密保护外包数据隐私并在加密数据上高效实现安全朴素贝叶斯训练和分类.现有安全朴素贝叶斯方案大多考虑的是外包训练好的贝叶斯模型以及预测阶段的计算任务.虽有少量工作考虑了同时在外包数据上完成朴素贝叶斯模型训练和分类,但这些工作在安全性和效率方面存在不足.本文结合somewhat同态加密算法、SIMD(single-instruction multiple data)技术和混淆电路提出了一个新的加密数据安全朴素贝叶斯训练和分类方案.本文在不影响正确性的前提下对朴素贝叶斯算法进行转换,设计了相应的明文编码方式避免计算过程出现数据溢出,并提出了新的交互协议在外包加密数据上安全批量地实现了朴素贝叶斯模型训练和分类所需的运算.提出的方案在保护外包数据集、朴素贝叶斯模型、待分类样本和分类结果的隐私的同时有效降低了计算和通信开销.本文在半诚实模型下证明了提出方案的安全性,并且通过实验验证了提出方案的有效性.

关键词：云外包安全计算同态加密朴素贝叶斯算法

来源：评论

学校读者我要写书评

暂无评论

模糊交互时态逻辑的模型检测

引用

计算机工程与科学 2017年第12期39卷 2290-2296页

作者：袁红娟马艳芳潘海玉泰州学院计算机科学与技术学院江苏泰州225300 桂林电子科技大学广西可信软件重点实验室广西桂林541004 淮北师范大学计算机科学与技术学院安徽淮北235000

交互时态逻辑已被广泛应用于开放系统的规范描述,交互时态逻辑的模型检测技术是一个比较重要的验证方法。为了形式化描述和验证具有模糊不确定性信息的开放系统的性质,提出了一种模糊交互时态逻辑,并讨论了它的模型检测问题。首先,引入... 详细信息

交互时态逻辑已被广泛应用于开放系统的规范描述,交互时态逻辑的模型检测技术是一个比较重要的验证方法。为了形式化描述和验证具有模糊不确定性信息的开放系统的性质,提出了一种模糊交互时态逻辑,并讨论了它的模型检测问题。首先,引入了模糊交互时态逻辑的基于路径和基于不动点的两种语义,证明了其等价性。然后,基于其等价性,给出了模糊交互时态逻辑的模型检测算法和复杂性分析。

关键词：交互时态逻辑计算树逻辑并发博弈结构模型检测模糊逻辑

来源：评论

学校读者我要写书评

暂无评论

一种并行层次化的重复数据删除技术

引用

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

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

重复数据删除技术对缩减数据占用空间、提高存储设备利用率、消减存储成本具有重要的意义,该技术逐渐发展为存储领域的一项关键技术.分析比较了几项主流的重复数据删除技术的优缺点,并提出一种并行层次化的重复数据删除算法PHD(parallel... 详细信息

重复数据删除技术对缩减数据占用空间、提高存储设备利用率、消减存储成本具有重要的意义,该技术逐渐发展为存储领域的一项关键技术.分析比较了几项主流的重复数据删除技术的优缺点,并提出一种并行层次化的重复数据删除算法PHD(parallel-hierarchical deduplication),通过由粗粒度到细粒度的层次化数据消冗来提高数据去重率,并在此基础上引入并行处理以充分利用多核计算机资源解决重复数据删除速率低的问题.实验结果表明,该策略在保证重复数据删除率的同时,有效地提高了重复数据删除速率.

关键词：重复数据删除层次化并行

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：