搜索筛选:
搜索耗时0.0907秒,为你在为你在102,285,761篇论文里面共找到 14 篇相符的论文内容
发布年度:
[学位论文] 作者：翟仲毅,
来源：桂林电子科技大学 年份：2013
通信顺序进程(Communicating SequentialProcesses,CSP)由Hoare于1978年提出,它是并发性研究的重要理论,是构建并发系统的经典方法。随着CSP在分布式系统、网络安全协议方面...
[报纸论文] 作者：翟仲毅,
来源：北京邮电大学 年份：2017
...
[期刊论文] 作者：张翼, 赵岭忠, 翟仲毅,
来源：桂林电子科技大学学报 年份：2022
针对智能体在局部观测下无法有效决策的问题,提出了一种结合深度强化学习的冲突消解方法。该方法基于DDQN算法,利用强化学习的学习模式的特性,计算智能体的累计回报,通过回报值的大小确定智能体的优先级,从而达到冲突消解的目的。通过模拟现实生活中的堵车场景......
[期刊论文] 作者：翟仲毅,王雪松,赵岭忠,
来源：桂林电子科技大学学报 年份：2012
针对程序切片在程序理解和程序测试方面的应用,提出了一种基于ASP的程序切片方法。ASP是一种声明性问题解决方法,它可以高效地描述程序切片问题。基于ASP的切片方法,可以把切...
[期刊论文] 作者：赵岭忠,翟仲毅,钱俊彦,,
来源：计算机科学 年份：2013
CSP（Communicating Sequential Processes）是构建并发系统和网络安全协议的经典方法.当前主流的CSP模型验证方法需将进程转化为迁移系统,转化过程比较复杂；性质采用迹进行规范,...
[期刊论文] 作者：邵怀禹,钱俊彦,翟仲毅,
来源：桂林电子科技大学学报 年份：2021
为了在不暴露数据源的情形下安全地进行用户数据的存储和共享,提出了一种基于区块链的物联网隐私数据保护方案.通过建立原数据的唯一数据标识来保护数据的版权和完整性,设计了相应的智能合约来实现数据标识的上链和访问操作,并采用链上公钥签名和链下群签名的方......
[期刊论文] 作者：沈荔萍,钱俊彦,翟仲毅,
来源：桂林电子科技大学学报 年份：2021
针对现有网络入侵检测方法在识别稀有攻击时检测率低的问题,提出了一种基于联合攻击分类器的入侵检测方法.通过分离数据集获得普通攻击集和稀有攻击集,再基于所获得的子集分别训练攻击分类器来消除普通攻击模式对稀有攻击模式的影响.采用NSL-KDD数据集对该方法......
[期刊论文] 作者：付光超, 赵岭忠, 翟仲毅,,
来源：桂林电子科技大学学报 年份：2018
针对现有ASP知识库访问控制方法未考虑知识库中存在完整性约束的问题,提出一种基于封闭权限集的用户授权方法。根据ASP知识库中文字与规则间的依赖关系,采用一种新型依赖规则...
[期刊论文] 作者：熊远武, 赵岭忠, 翟仲毅,,
来源：计算机工程与设计 年份：2019
为提升多智能体系统的工作效率,克服差分进化算法DE (differential evolution)在多智能体系统任务分配过程中的不足,提出一种基于QOC (quantization orthogonal crosser)策略...
[期刊论文] 作者：赵岭忠,司徒凌云,翟仲毅,钱俊彦,
来源：计算机科学 年份：2013
前期工作中，为解决CSP模型检测不支持一次运行验证多条性质的问题，构建了基于ASP的CSP模型检测框架，但其存在着可描述并发进程形态不完善与可验证并发系统规模受限的问题。构建......
[期刊论文] 作者：赵岭忠,翟仲毅,钱俊彦,郭云川,
来源：软件学报 年份：2015
模型检测是通信顺序进程（communicating sequential processes,简称CSP）形式化验证的重要手段.当前,CSP模型检测方法基于操作语义,需将进程转化为迁移系统,进而提取语义模型,但...
[期刊论文] 作者：王亚丽,杨育捷,赵岭忠,翟仲毅,
来源：河南师范大学学报：自然科学版 年份：2016
主要通过指称语义和回答集程序（Answer Set Programming,简称ASP）完成迹模型的生成,并构建了一套基于计算树逻辑（computing tree logic,简称CTL）的CSP模型验证方法.实验表明,该方...
[期刊论文] 作者：刘培培,赵岭忠,翟仲毅,郑鹏鹏,
来源：桂林电子科技大学学报 年份：2021
针对人流量数据的时空特性和外部因素等对预测精度的影响,提出一种基于空洞卷积的密集连接网络人流量预测模型.通过空洞密集连接模块捕获相邻区域之间的空间依赖关系,采用SE-LSTM模块帮助网络学习更重要的特征并学习数据中的周期性和动态时间性;对于外部因素,利......
[会议论文] 作者：赵岭忠[1]司徒凌云[2]翟仲毅[2]钱俊彦[2],
来源：第四届全国智能信息处理学术会议 年份：2013
前期工作中,为解决CSP模型检测不支持一次运行验证多条性质的问题,构建了基于ASP的CSP模型检测框架,但其存在着可描述并发进程形态不完善与可验证并发系统规模受限的问题.构...
相关搜索：
