您的位置： 专家智库 > >

翟仲毅

作品数：27 被引量：15H指数：3
供职机构：桂林电子科技大学更多>>
发文基金：国家自然科学基金广西壮族自治区自然科学基金软件工程国家重点实验室开放基金更多>>
相关领域：自动化与计算机技术医药卫生经济管理更多>>

合作作者

文献类型

  • 18篇专利
  • 8篇期刊文章
  • 1篇学位论文

领域

  • 15篇自动化与计算...
  • 2篇医药卫生
  • 1篇经济管理

主题

  • 5篇智能体
  • 5篇智能体系统
  • 5篇资源受限
  • 5篇多智能
  • 5篇多智能体
  • 4篇缺失数据
  • 4篇多智能体系
  • 4篇多智能体系统
  • 4篇CSP
  • 3篇通信顺序进程
  • 3篇进化算法
  • 3篇基于ASP
  • 3篇ASP
  • 3篇并发系统
  • 3篇差分
  • 3篇差分进化
  • 3篇差分进化算法
  • 2篇代理
  • 2篇代理节点
  • 2篇电力

机构

  • 27篇桂林电子科技...
  • 1篇武汉大学
  • 1篇中国科学院
  • 1篇中国电子科技...
  • 1篇河南师范大学
  • 1篇盯盯拍(深圳...
  • 1篇广西交科集团...

作者

  • 27篇翟仲毅
  • 24篇赵岭忠
  • 11篇钱俊彦
  • 1篇王亚丽
  • 1篇李峰
  • 1篇郭云川
  • 1篇王士成
  • 1篇杨育捷
  • 1篇常亮
  • 1篇王雪松
  • 1篇何倩
  • 1篇董庆贺
  • 1篇覃匡宇
  • 1篇王勇
  • 1篇刘鹏

传媒

  • 2篇计算机科学
  • 1篇河南师范大学...
  • 1篇软件学报
  • 1篇计算机工程与...
  • 1篇中国科技成果
  • 1篇中国传媒大学...
  • 1篇桂林电子科技...

年份

  • 1篇2024
  • 2篇2023
  • 7篇2022
  • 5篇2021
  • 4篇2020
  • 1篇2019
  • 1篇2018
  • 1篇2016
  • 1篇2015
  • 3篇2013
  • 1篇2012
共 27 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
一种基于资源占用的边缘服务迁移仿真方法
本发明公开一种基于资源占用的边缘服务迁移仿真方法，通过对创建的边缘节点及其上的边缘服务进行边缘服务迁移仿真，并在边缘服务仿真过程中获得不同边缘节点服务迁移的最优阈值，从而指导实际生产中边缘服务迁移算法的部署与实施。本发明...
翟仲毅向科赵岭忠钱俊彦潘海玉刘培培
文献传递
一种面向电力缺失数据的协同补全方法
本发明公开了一种面向电力缺失数据的协同补全方法，通过采集电力数据，并对采集到的数据进行分析，统计电力数据的缺失情况；采用自相分析的方法分析数据列自身的前后关系，挖掘数据列自身的隐式关系，为电力数据的属性列选择合适步长的历...
翟仲毅来桂兵赵岭忠
基于ASP的CSP进程描述与组合研究被引量：2
2013年
前期工作中,为解决CSP模型检测不支持一次运行验证多条性质的问题,构建了基于ASP的CSP模型检测框架,但其存在着可描述并发进程形态不完善与可验证并发系统规模受限的问题。构建了全新的并发系统ASP描述体系,其解决了前期工作中前缀描述不允许出现类环状结构的问题,可完整描述各种形态的CSP进程。研究了并发组合进程生成技术,它可使多个进程自动化并发组合,并生成一个满足所有行为特性、具有一致结构特性的新进程,保持了验证框架内进程描述的一致性,有利于并发进程的抽象与验证。实验表明了基于ASP的CSP进程描述与组合进程生成技术的有效性,以及基于该ASP描述体系的系统性质验证的可行性。
赵岭忠司徒凌云翟仲毅钱俊彦
关键词：CSPASP
基于ASP和迹语义的并发系统CSP模型验证研究
通信顺序进程(Communicating SequentialProcesses,CSP)由Hoare于1978年提出,它是并发性研究的重要理论,是构建并发系统的经典方法。随着CSP在分布式系统、网络安全协议方面的应用,...
翟仲毅
关键词：ASP技术并发系统
文献传递
基于进程迹的CSP模型验证框架被引量：3
2013年
CSP(Communicating Sequential Processes)是构建并发系统和网络安全协议的经典方法。当前主流的CSP模型验证方法需将进程转化为迁移系统,转化过程比较复杂;性质采用迹进行规范,不利于活性的描述。提出了一种基于进程迹的CSP模型验证框架,其性质采用通用的规范方法LTL进行描述。利用ASP(Answer Set Programming)技术实现了一个CSP验证系统。实验表明,与类似系统相比,该系统的描述能力更强,验证结果的准确性更高,在性质不满足时还可提供反例。
赵岭忠翟仲毅钱俊彦
关键词：并发系统
基于CTL的并发系统CSP模型验证
2016年
主要通过指称语义和回答集程序(Answer Set Programming,简称ASP)完成迹模型的生成,并构建了一套基于计算树逻辑(computing tree logic,简称CTL)的CSP模型验证方法.实验表明,该方法对于分支类型的性质具有较好的描述能力,且保证了验证的正确性.
王亚丽杨育捷赵岭忠翟仲毅
关键词：计算树逻辑
一种面向实时视频流的边缘环境行为识别系统
本发明公开了一种面向实时视频流的边缘环境行为识别系统，包括视频流获取模块、视频流存储模块、视频流预处理模块、缓存模块、滑窗定位模块、行为识别模块和用户界面模块；滑窗定位模块基于弹性跳跃滑窗的动作启动在线检测方法通过定位动...
翟仲毅陈晓峰赵岭忠
多智能体系统任务规划方法
本发明公开一种多智能体系统任务规划方法，利用多智能体系统模型，引入正交交叉差分进化算法对系统当中任务进行有效的规划。与现有技术相比，本发明提出的多智能体系统规划方法效率明显，精确度更高，可靠性更强，能够有效的为多智能体系...
赵岭忠熊远武翟仲毅向科
文献传递
一种基于时空融合的物联网缺失数据补全方法
本发明公开了一种基于时空融合的物联网缺失数据补全方法，通过收集物联网传感器的时序数据，得到传感器的历史数据，对离线的传感器的历史数据进行统计分析，分析传感器数据的缺失情况；数据空间关系感知：采用标准化互信息的方法挖掘收集...
翟仲毅来桂兵赵岭忠
基于ASP的程序切片被引量：2
2012年
针对程序切片在程序理解和程序测试方面的应用,提出了一种基于ASP的程序切片方法。ASP是一种声明性问题解决方法,它可以高效地描述程序切片问题。基于ASP的切片方法,可以把切片的查找转化为回答集的求解。另外,对传统数据流切片算法进行了改进;改进后的算法可以减少重复计算,提高了运行效率。通过实验表明了此改进法的正确性和高效性;并且比较了3种ASP求解器(DLV、Smodels、Cmodels)的执行效率,基于Cmod-els的改进算法的运行效率是最高的。
翟仲毅王雪松赵岭忠
关键词：程序切片数据流回答集编程
全选 清除 导出
共3页<123>
聚类工具0