检索结果-南通市图书馆

多安全域云边协同大数据服务平台关键技术及应用

在线全文

学校读者我要写书评

暂无评论

中国科技成果 2024年第1期25卷 63-63,65页

作者：何倩常亮王士成刘阳翟仲毅王勇李峰覃匡宇董庆贺罗勇刘鹏江炳城李双富刘思远桂林电子科技大学中国电子科技集团公司第五十四研究所广西交科集团有限公司盯盯拍(深圳)技术股份有限公司

随着云计算、物联网、移动互联网等技术的迅速发展,越来越多的终端接入互联网并产生了海量异构数据,进而交互聚合,构建出面向大众、跨部门、跨领域、跨系统的大数据服务.行业应用大数据服务在海量数据接入、分发、存储及智能处理方面普... 详细信息

随着云计算、物联网、移动互联网等技术的迅速发展,越来越多的终端接入互联网并产生了海量异构数据,进而交互聚合,构建出面向大众、跨部门、跨领域、跨系统的大数据服务.行业应用大数据服务在海量数据接入、分发、存储及智能处理方面普遍存在传输负载高、实时响应差、安全程度低、管理难度高、智能协同不够等问题,难以满足新兴万物互联应用在数据优化、敏捷连接、实时分析、安全保护等方面的关键需求,需要一个高效的集海量数据接入、存储、共享于一体的通用大数据云边协同服务平台.通用大数据云边协同服务平台通过构建多安全域云边协同机制,充分利用网络及边缘的计算能力,降低时延并优化数据分发过程,保证数据分发、存储和处理过程中的细粒度访问控制,加强跨域数据共享协同,有利于突破制约行业大数据服务应用拓展的限制,实现多个安全域之间的安全、快捷的海量数据互联与处理.

关键词：数据云数据优化智能处理安全域云计算物联网海量数据数据分发

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

基于关键迹和ASP的CSP模型检测

软件学报 2015年第10期26卷 2521-2544页

作者：赵岭忠翟仲毅钱俊彦郭云川软件工程国家重点实验室(武汉大学) 湖北武汉430072 广西可信软件重点实验室(桂林电子科技大学) 广西桂林541004 中国科学院信息工程研究所北京100093

模型检测是通信顺序进程(communicating sequential processes,简称CSP)形式化验证的重要手段.当前,CSP模型检测方法基于操作语义,需将进程转化为迁移系统,进而提取语义模型,但转化过程较为复杂;待验证性质采用CSP语言进行描述,虽然有... 详细信息

模型检测是通信顺序进程(communicating sequential processes,简称CSP)形式化验证的重要手段.当前,CSP模型检测方法基于操作语义,需将进程转化为迁移系统,进而提取语义模型,但转化过程较为复杂;待验证性质采用CSP语言进行描述,虽然有利于精炼检测(refinement checking),但描述能力较弱,通用性不强.鉴于此,提出了一种新的CSP指称语义模型——关键迹模型(critical-trace model)及基于该指称语义模型的CSP模型检测方法,并证明了其验证的可靠性,避免了上述问题.关键迹模型采用递归策略计算,待验证性质采用线性时态逻辑(linear temporal logic,简称LTL)描述.基于回答集程序设计(answer set programming,简称ASP)实现了关键迹模型的自动生成及LTL的自动验证,并开发了一个CSP模型检测原型系统——T_ASP.实验结果表明:与类似系统相比,该系统的描述能力更强,验证结果的准确性更高,且可同时验证多条性质,在性质不满足时还可提供多条反例.

关键词：模型检测通信顺序进程关键迹模型线性时态逻辑回答集程序设计

在线全文

学校读者我要写书评

暂无评论

基于进程迹的CSP模型验证框架

计算机科学 2013年第11期40卷 181-186,221页

作者：赵岭忠翟仲毅钱俊彦桂林电子科技大学计算机科学与工程学院桂林541004

CSP(Communicating Sequential Processes)是构建并发系统和网络安全协议的经典方法。当前主流的CSP模型验证方法需将进程转化为迁移系统,转化过程比较复杂;性质采用迹进行规范,不利于活性的描述。提出了一种基于进程迹的CSP模型验证框... 详细信息

CSP(Communicating Sequential Processes)是构建并发系统和网络安全协议的经典方法。当前主流的CSP模型验证方法需将进程转化为迁移系统,转化过程比较复杂;性质采用迹进行规范,不利于活性的描述。提出了一种基于进程迹的CSP模型验证框架,其性质采用通用的规范方法LTL进行描述。利用ASP(Answer Set Programming)技术实现了一个CSP验证系统。实验表明,与类似系统相比,该系统的描述能力更强,验证结果的准确性更高,在性质不满足时还可提供反例。

关键词：通信顺序进程(CSP) 并发系统迹模型回答集编程(ASP)

在线全文

学校读者我要写书评

暂无评论

基于差分进化算法多智能体任务分配

计算机工程与设计 2019年第10期40卷 3020-3029页

作者：熊远武赵岭忠翟仲毅桂林电子科技大学计算机与信息安全学院广西桂林541004 桂林电子科技大学广西可信软件重点实验室广西桂林541004

为提升多智能体系统的工作效率,克服差分进化算法DE (differential evolution)在多智能体系统任务分配过程中的不足,提出一种基于QOC (quantization orthogonal crosser)策略改进的正交交叉差分进化算法AOCDE (an orthogonal crosser di... 详细信息

为提升多智能体系统的工作效率,克服差分进化算法DE (differential evolution)在多智能体系统任务分配过程中的不足,提出一种基于QOC (quantization orthogonal crosser)策略改进的正交交叉差分进化算法AOCDE (an orthogonal crosser differential evolution)。QOC在DE算法基础上,引入正交思想和数据量化技术,通过改变交叉策略,增强算法全局寻优能力,提升算法收敛性。使用该算法解决多智能体系统任务分配问题,将仿真结果与其它算法进行比较,验证了该算法的有效性。

关键词：任务分配智能体系统正交矩阵正交交叉数据量化

在线全文

学校读者我要写书评

暂无评论

基于CTL的并发系统CSP模型验证

河南师范大学学报（自然科学版） 2016年第5期44卷 140-145页

作者：王亚丽杨育捷赵岭忠翟仲毅河南师范大学计算机与信息工程学院河南新乡453007 河南师范大学"智慧商务与物联网技术"河南省工程实验室河南新乡453007 桂林电子科技大学广西可信软件重点实验室广西桂林541004

主要通过指称语义和回答集程序(Answer Set Programming,简称ASP)完成迹模型的生成,并构建了一套基于计算树逻辑(computing tree logic,简称CTL)的CSP模型验证方法.实验表明,该方法对于分支类型的性质具有较好的描述能力,且保证了验证... 详细信息

主要通过指称语义和回答集程序(Answer Set Programming,简称ASP)完成迹模型的生成,并构建了一套基于计算树逻辑(computing tree logic,简称CTL)的CSP模型验证方法.实验表明,该方法对于分支类型的性质具有较好的描述能力,且保证了验证的正确性.

关键词：模型检测迹模型计算树逻辑回答集程序设计

DSconv-LSTM:面向边缘环境的轻量化视频行为识别模型

在线全文

学校读者我要写书评

暂无评论

中国传媒大学学报（自然科学版） 2021年第6期28卷 17-22页

作者：翟仲毅赵胤铎桂林电子科技大学广西可信软件重点实验室广西桂林541004

边缘智能是将AI技术应用于边缘嵌入式设备,提供一种智能化计算新范式,被广泛应用于物联网系统。智能摄像机是具有代表性的边缘产品,能够为智能家居、智能交通和智能监控提供低延迟的视频处理能力。由于摄像机计算资源的有限性,传统的行... 详细信息

边缘智能是将AI技术应用于边缘嵌入式设备,提供一种智能化计算新范式,被广泛应用于物联网系统。智能摄像机是具有代表性的边缘产品,能够为智能家居、智能交通和智能监控提供低延迟的视频处理能力。由于摄像机计算资源的有限性,传统的行为识别模型难以在本地托管且及时地完成计算任务。本文设计了一种基于深度可分离卷积的长短时记忆学习模型-DSconv-LSTM,可以快速识别视频流中的目标行为。DSconv-LSTM使用深度可分离卷积来处理卷积LSTM学习单元中四个门的时空数据,从而大大降低了模型的复杂性。最后,利用两个公共视频数据集对DSconv-LSTM进行了评估。实验结果表明,DSconv-LSTM提升了模型的收敛性,大大减小了行为识别模型尺寸,加快了推理速度。

关键词：边缘智能行为识别资源受限轻量化模型

在线全文

学校读者我要写书评

暂无评论

基于ASP的CSP进程描述与组合研究

计算机科学 2013年第12期40卷 133-140页

作者：赵岭忠司徒凌云翟仲毅钱俊彦桂林电子科技大学计算机科学与工程学院桂林541004 广西可信软件重点实验室桂林541004

前期工作中,为解决CSP模型检测不支持一次运行验证多条性质的问题,构建了基于ASP的CSP模型检测框架,但其存在着可描述并发进程形态不完善与可验证并发系统规模受限的问题。构建了全新的并发系统ASP描述体系,其解决了前期工作中前缀描述... 详细信息

前期工作中,为解决CSP模型检测不支持一次运行验证多条性质的问题,构建了基于ASP的CSP模型检测框架,但其存在着可描述并发进程形态不完善与可验证并发系统规模受限的问题。构建了全新的并发系统ASP描述体系,其解决了前期工作中前缀描述不允许出现类环状结构的问题,可完整描述各种形态的CSP进程。研究了并发组合进程生成技术,它可使多个进程自动化并发组合,并生成一个满足所有行为特性、具有一致结构特性的新进程,保持了验证框架内进程描述的一致性,有利于并发进程的抽象与验证。实验表明了基于ASP的CSP进程描述与组合进程生成技术的有效性,以及基于该ASP描述体系的系统性质验证的可行性。

关键词： CSP ASP 模型检测

在线全文

学校读者我要写书评

暂无评论

基于DDQN的多智能体冲突消解方法

桂林电子科技大学学报 2022年第5期42卷 366-370页

作者：张翼赵岭忠翟仲毅桂林电子科技大学计算机与信息安全学院广西桂林541004

针对智能体在局部观测下无法有效决策的问题,提出了一种结合深度强化学习的冲突消解方法。该方法基于DDQN算法,利用强化学习的学习模式的特性,计算智能体的累计回报,通过回报值的大小确定智能体的优先级,从而达到冲突消解的目的。通过... 详细信息

针对智能体在局部观测下无法有效决策的问题,提出了一种结合深度强化学习的冲突消解方法。该方法基于DDQN算法,利用强化学习的学习模式的特性,计算智能体的累计回报,通过回报值的大小确定智能体的优先级,从而达到冲突消解的目的。通过模拟现实生活中的堵车场景对该方法进行评估,实验结果表明,该方法能有效解决智能体的冲突。

关键词：多智能体系统冲突消解深度神经网络深度学习强化学习

在线全文

学校读者我要写书评

暂无评论

面向稀有攻击的入侵检测方法

桂林电子科技大学学报 2021年第5期41卷 387-392页

作者：沈荔萍钱俊彦翟仲毅桂林电子科技大学计算机与信息安全学院广西桂林541004

针对现有网络入侵检测方法在识别稀有攻击时检测率低的问题,提出了一种基于联合攻击分类器的入侵检测方法。通过分离数据集获得普通攻击集和稀有攻击集,再基于所获得的子集分别训练攻击分类器来消除普通攻击模式对稀有攻击模式的影响。... 详细信息

针对现有网络入侵检测方法在识别稀有攻击时检测率低的问题,提出了一种基于联合攻击分类器的入侵检测方法。通过分离数据集获得普通攻击集和稀有攻击集,再基于所获得的子集分别训练攻击分类器来消除普通攻击模式对稀有攻击模式的影响。采用NSL-KDD数据集对该方法进行评估。实验结果表明,此联合攻击分类器在不影响普通攻击检测率的同时,提高了稀有攻击的检测率。

关键词：网络入侵检测稀有攻击联合攻击分类器检测率