聚类工具

0
帮助 本站公告
您现在所在的位置:网站首页 > 知识中心 > 检索结果
排序:
学位论文 基于时间自动机的模型验证理论及应用研究
摘要:本文在R.ALUR等人提出的时间自动机的基础上深入研究了系统模型验证理论及其实际应用。通过判定实时系统以... 显示全部
关键词: 实时系统 时间自动机 协议验证 时延 模型验证理论
学位论文 网络化机器人控制系统
摘要:随着网络技术和机器人技术的深入发展,网络化机器人控制日趋备受人们的关注,成为了学术界研究的热点课题。... 显示全部
关键词: 网络化机器人 协同控制 遥操作 时延 交互
学位论文 卫星信道拥塞控制算法研究与实现
摘要:近年来,随着因特网的发展和普及,卫星网络作为一种新的数据承载网络,逐步和地面网络结合,提供越来越广... 显示全部
关键词: 拥塞控制 卫星信道 拥塞窗口 时延 卫星网络 互联网 通信协议
学位论文 远程医疗机器人遥操作关键技术的研究
摘要:  本文在全面分析国内外已有成果的基础上,为保证远程遥操作的实时性及安全性,进行了大量的研究工作。... 显示全部
关键词: 网络遥操作 时延 波变量 远程遥操作
找到4条结果
`