期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
一种基于机器学习的模型检查算法性能预测方法
被引量：
1
1
作者
张枨宇
诸嘉逸
+7 位作者
黄怿豪
杨迪
李建文
缪炜恺
阎迪
顾斌
詹乃军
蒲戈光
《华东师范大学学报（自然科学版）》
CAS
CSCD
北大核心
2024年第4期18-29,共12页
与非图模型是一种表示电路设计的通用基础形式,同时也是模型检查器的一种通用输入格式.介绍了一种基于与非图结构编码的特征提取方法,并基于该方法实现了一种快速的组合模型检查器Liquid.所提出的结构编码的核心思想:首先罗列出与非图...
与非图模型是一种表示电路设计的通用基础形式,同时也是模型检查器的一种通用输入格式.介绍了一种基于与非图结构编码的特征提取方法,并基于该方法实现了一种快速的组合模型检查器Liquid.所提出的结构编码的核心思想:首先罗列出与非图中所有可能的子结构,再将每个子结构出现的次数编码成向量,该向量即作为与非图的特征向量参与之后的机器学习过程.由于各种模型检查算法的性能在不同的与非图上参差不齐,Liquid的设计目标是组合多种模型检查算法,针对不同的与非图使用机器学习模型挑选出合适的算法.收集了目前所有的模型检查器基准测试集作为实验数据集并进行了实验.实验结果表明,Liquid在实验数据集上的表现优于所有组合中的独立模型检查算法,并有着不错的预测准确率.同时,还从多个维度分析了Liquid有效的原因.
展开更多
关键词
模型检查
与非图
组合模型检查器
在线阅读
下载PDF
职称材料
分布式多机器人运动控制的离散事件系统方法
被引量：
4
2
作者
周远
胡核算
+1 位作者
刘杨
林尚威
《控制理论与应用》
EI
CAS
CSCD
北大核心
2018年第1期110-120,共11页
传统多机器人系统的运动控制主要依赖于机器人的动力学方程或运动学方程,通过求解微分方程组来获得机器人的输入控制信号.随着系统中机器人数量的增加和运行环境的复杂化,动力学方程很难描述多机器人系统的运动行为,且无法很好地解决诸...
传统多机器人系统的运动控制主要依赖于机器人的动力学方程或运动学方程,通过求解微分方程组来获得机器人的输入控制信号.随着系统中机器人数量的增加和运行环境的复杂化,动力学方程很难描述多机器人系统的运动行为,且无法很好地解决诸如死锁等逻辑故障.本文简略综述了国内外的研究现状,重点介绍笔者所在研究组开展的关于离散事件系统方法在多机器人运动控制方面的应用性研究工作.其动机在于:1)基于离散事件系统方法的运动控制能够有效地解决系统运行过程中产生的诸如死锁等逻辑故障.首先,利用离散事件系统模型对多机器人系统的运动进行建模,从而降低计算复杂性;其次,基于所得离散事件系统模型,设计分布式安全运动控制算法,使各个机器人可以自主地、无碰撞地、无死锁地运动;设计分布式鲁棒运动控制算法,使得失效的机器人对系统的影响最小.2)基于离散事件系统方法的运动控制策略可以结合传统的基于运动学方程的运动控制方法,从而使系统不但能够避免顶层的逻辑故障,而且能够确定机器人执行器的输入信号.
展开更多
关键词
多机器人系统
运动控制
离散事件系统
分布式算法
在线阅读
下载PDF
职称材料
题名
一种基于机器学习的模型检查算法性能预测方法
被引量：
1
1
作者
张枨宇
诸嘉逸
黄怿豪
杨迪
李建文
缪炜恺
阎迪
顾斌
詹乃军
蒲戈光
机构
苏黎世联邦
理
工
学院
计算机
科学
学院
华东师范
大学
软件
工
程
学院
南洋理工大学计算机科学与技术学院
中航商用航空发动机有限责任公司
中国航天科技集团有限公司
中国
科学
院软件研究所
出处
《华东师范大学学报（自然科学版）》
CAS
CSCD
北大核心
2024年第4期18-29,共12页
文摘
与非图模型是一种表示电路设计的通用基础形式,同时也是模型检查器的一种通用输入格式.介绍了一种基于与非图结构编码的特征提取方法,并基于该方法实现了一种快速的组合模型检查器Liquid.所提出的结构编码的核心思想:首先罗列出与非图中所有可能的子结构,再将每个子结构出现的次数编码成向量,该向量即作为与非图的特征向量参与之后的机器学习过程.由于各种模型检查算法的性能在不同的与非图上参差不齐,Liquid的设计目标是组合多种模型检查算法,针对不同的与非图使用机器学习模型挑选出合适的算法.收集了目前所有的模型检查器基准测试集作为实验数据集并进行了实验.实验结果表明,Liquid在实验数据集上的表现优于所有组合中的独立模型检查算法,并有着不错的预测准确率.同时,还从多个维度分析了Liquid有效的原因.
关键词
模型检查
与非图
组合模型检查器
Keywords
model checking
and-inverter graph
portfolio-based model checker
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
分布式多机器人运动控制的离散事件系统方法
被引量：
4
2
作者
周远
胡核算
刘杨
林尚威
机构
南洋理工大学计算机科学与技术学院
西安电子科技
大学
机电
工
程
学院
出处
《控制理论与应用》
EI
CAS
CSCD
北大核心
2018年第1期110-120,共11页
基金
国家自然科学基金项目(61573265
61203037
+2 种基金
51305321)
新加坡教育部Tier 1科研基金(2014–T1–001–147)
新加坡教育部Tier 2科研基金(MOE2015–T2–2–049)资助~~
文摘
传统多机器人系统的运动控制主要依赖于机器人的动力学方程或运动学方程,通过求解微分方程组来获得机器人的输入控制信号.随着系统中机器人数量的增加和运行环境的复杂化,动力学方程很难描述多机器人系统的运动行为,且无法很好地解决诸如死锁等逻辑故障.本文简略综述了国内外的研究现状,重点介绍笔者所在研究组开展的关于离散事件系统方法在多机器人运动控制方面的应用性研究工作.其动机在于:1)基于离散事件系统方法的运动控制能够有效地解决系统运行过程中产生的诸如死锁等逻辑故障.首先,利用离散事件系统模型对多机器人系统的运动进行建模,从而降低计算复杂性;其次,基于所得离散事件系统模型,设计分布式安全运动控制算法,使各个机器人可以自主地、无碰撞地、无死锁地运动;设计分布式鲁棒运动控制算法,使得失效的机器人对系统的影响最小.2)基于离散事件系统方法的运动控制策略可以结合传统的基于运动学方程的运动控制方法,从而使系统不但能够避免顶层的逻辑故障,而且能够确定机器人执行器的输入信号.
关键词
多机器人系统
运动控制
离散事件系统
分布式算法
Keywords
multi-robot systems
motion control
discrete event systems
distributed algorithms
分类号
TP273 [自动化与计算机技术—检测技术与自动化装置]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
一种基于机器学习的模型检查算法性能预测方法
张枨宇
诸嘉逸
黄怿豪
杨迪
李建文
缪炜恺
阎迪
顾斌
詹乃军
蒲戈光
《华东师范大学学报（自然科学版）》
CAS
CSCD
北大核心
2024
1
在线阅读
下载PDF
职称材料
2
分布式多机器人运动控制的离散事件系统方法
周远
胡核算
刘杨
林尚威
《控制理论与应用》
EI
CAS
CSCD
北大核心
2018
4
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
