期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于概率时间自动机的异构多agent自适应运行时验证
1
作者
穆勇安
刘玮
+2 位作者
高胜
叶幸瑜
王紫昊
《计算机应用研究》
CSCD
北大核心
2023年第12期3728-3735,共8页
多agent自适应系统在运行过程中需要根据环境进行自适应调整。异构agent能够提高agent的使用效率和降低系统的构建成本,但存在复杂的协作问题,因此提出一种基于概率时间自动机的异构多agent自适应系统运行时验证方法。该方法通过形式化...
多agent自适应系统在运行过程中需要根据环境进行自适应调整。异构agent能够提高agent的使用效率和降低系统的构建成本,但存在复杂的协作问题,因此提出一种基于概率时间自动机的异构多agent自适应系统运行时验证方法。该方法通过形式化描述异构agent的功能特征并融合环境中的随机因素构建概率时间自动机模型模拟自适应系统的运行过程,针对异构agent之间的协作逻辑制定安全约束条件以确保系统运行中状态迁移流程的安全性。通过模型检查结合运行时定量验证方法进行实验验证,在智能泊车系统案例中应用该方法。实验结果表明,agent之间协作逻辑的正确性可以有效保证系统运行时的稳定性,且相较于不使用运行时定量验证的初始系统在相同时间内正常运行的时间提升了21%左右。
展开更多
关键词
自适应系统
异构agent
概率时间自动机
AGENT协作
运行
时
定量
验证
下载PDF
职称材料
具有固定运行时分的列车运行控制系统研究
被引量:
7
2
作者
刘海东
陈绍宽
+2 位作者
褚琴
王靓
陈善亮
《北方交通大学学报》
CSCD
北大核心
2002年第5期24-27,共4页
探讨了列车运行模拟系统的总体结构 ,针对给定运行时分条件下列车运行的算法 ,构造了在节时、节能、定时条件下列车运行模拟系统 ,结合案例给出了列车运行的模拟结果 ,结果表明定时算法的误差在 30s以内 .
关键词
固定
运行
时分
列车
运行
控制系统
牵引计算
定量运行
智能控制
计算机模拟
列车
运行
模拟系统
下载PDF
职称材料
题名
基于概率时间自动机的异构多agent自适应运行时验证
1
作者
穆勇安
刘玮
高胜
叶幸瑜
王紫昊
机构
武汉工程大学计算机科学与工程学院
出处
《计算机应用研究》
CSCD
北大核心
2023年第12期3728-3735,共8页
基金
国家自然科学基金资助项目(62072350,62102292)
武汉工程大学第十四届研究生教育创新基金资助项目(CX2022339,CX2022322)。
文摘
多agent自适应系统在运行过程中需要根据环境进行自适应调整。异构agent能够提高agent的使用效率和降低系统的构建成本,但存在复杂的协作问题,因此提出一种基于概率时间自动机的异构多agent自适应系统运行时验证方法。该方法通过形式化描述异构agent的功能特征并融合环境中的随机因素构建概率时间自动机模型模拟自适应系统的运行过程,针对异构agent之间的协作逻辑制定安全约束条件以确保系统运行中状态迁移流程的安全性。通过模型检查结合运行时定量验证方法进行实验验证,在智能泊车系统案例中应用该方法。实验结果表明,agent之间协作逻辑的正确性可以有效保证系统运行时的稳定性,且相较于不使用运行时定量验证的初始系统在相同时间内正常运行的时间提升了21%左右。
关键词
自适应系统
异构agent
概率时间自动机
AGENT协作
运行
时
定量
验证
Keywords
self-adaptive system(SAS)
heterogeneous agent
probabilistic timed automata
agent cooperative
runtime quantitative verification
分类号
TP311.5 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
具有固定运行时分的列车运行控制系统研究
被引量:
7
2
作者
刘海东
陈绍宽
褚琴
王靓
陈善亮
机构
北方交通大学交通运输学院
出处
《北方交通大学学报》
CSCD
北大核心
2002年第5期24-27,共4页
基金
交通运输系统模拟实验室项目 (2 0 0 10 1)
香港理工大学研究基金资助项目 (EE/P0 0 0 44 )
文摘
探讨了列车运行模拟系统的总体结构 ,针对给定运行时分条件下列车运行的算法 ,构造了在节时、节能、定时条件下列车运行模拟系统 ,结合案例给出了列车运行的模拟结果 ,结果表明定时算法的误差在 30s以内 .
关键词
固定
运行
时分
列车
运行
控制系统
牵引计算
定量运行
智能控制
计算机模拟
列车
运行
模拟系统
Keywords
traction calculation
fixed_time movement
intelligent control
computer simulation
分类号
U292.4 [交通运输工程—交通运输规划与管理]
U284.59 [交通运输工程—交通信息工程及控制]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于概率时间自动机的异构多agent自适应运行时验证
穆勇安
刘玮
高胜
叶幸瑜
王紫昊
《计算机应用研究》
CSCD
北大核心
2023
0
下载PDF
职称材料
2
具有固定运行时分的列车运行控制系统研究
刘海东
陈绍宽
褚琴
王靓
陈善亮
《北方交通大学学报》
CSCD
北大核心
2002
7
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部