【摘 要】
：
机器人操作系统(robot operating system,简称ROS)是一种开源的元操作系统,能够在异种计算簇上提供基于消息机制的结构化通信层.为改善ROS1中存在的数据分发实时性、可靠性问
【机 构】
：
首都师范大学信息工程学院,高可靠嵌入式系统技术北京市工程研究中心（首都师范大学）,北京成像理论与技术高精尖创新中心（首都师范大学）,轻型工业机器人与安全验证北京市重点实验室（首都师范大学）
【基金项目】
：
国家重点研发计划(2019YFB1309900),国家自然科学基金(61876111),科技创新服务能力建设-基本科研业务费(00620530290073),首都师范大学交叉科学研究项目(0062155087)。
论文部分内容阅读
机器人操作系统(robot operating system,简称ROS)是一种开源的元操作系统,能够在异种计算簇上提供基于消息机制的结构化通信层.为改善ROS1中存在的数据分发实时性、可靠性问题,ROS2提出了面向数据流的数据分发服务机制.采用概率模型检验的方法,分析、验证ROS2系统数据分发机制的实时性和可靠性.首先,提出一种面向数据流的ROS2数据分发服务的形式化验证框架,并对通信系统模块建立概率时间自动机模型;其次,运用概率模型检测器,通过数据丢失率和系统响应时间等参数分析、验证ROS2面向数据流
其他文献
计算机科学的发展主要涉及硬件和软件的发展,而软、硬件发展的核心问题之一是如何保证它们是安全可靠的.如今,硬件性能变得越来越高,运算速度也越来越快,体系结构、软件的功
世上事,有的真是说不清道不明,就说这西来镇吧,让我不由想起一段往事,可算是与其有缘。我是长江南岸镇江市人。镇江之东,也有个西来的名字,叫西来桥,是被一条小夹江从陆地划
展开技术借助分支进程可在一定程度上缓解Petri网性质分析中的状态爆炸问题.但展开网中仍然包含了系统的所有状态信息.某些应用问题仅需对系统特定状态的可覆盖性进行判定,以
针对近年生猪产业发展面临的困境,四川省政府制定和实施了重振川猪雄风的战略。而随着生猪养殖的逐步复苏,加工环节成为制约产业可持续发展的关键因素,存在产业规模小、效益
【目的】对位山闸改建后的引水能力进行预测。【方法】利用RBF神经网络非线性拟合能力强和遗传算法寻优能力强的优点,建立一种基于遗传算法(GA)优化RBF神经网络隐层各参数的
【目的】缓解东北粮食主产区地下水超采压力,促进地表水、地下水资源科学配置。【方法】以黑龙江省庆安县和平灌区为研究区,基于耗水均衡的地下水数值模拟模型,采用实测资料
中央财经委员会第六次会议做出推动成渝地区双城经济圈建设重大决策部署,成渝地区双城经济圈建设上升为国家重大战略,宜宾迎来前所未有的重大发展机遇。本文旨在分析宜宾融入
随着信息物理融合系统CPS(cyber physical system)研究的深入,CPS的安全性问题越来越受到人们的广泛关注,如何验证CPS时空不一致的安全性问题已经成为研究热点.针对该问题,提
近年来,宜宾市全面贯彻落实党的路线方针政策和国家的法律法规,坚持工业经济与环境保护融合发展,相得益彰。本文在全面了解宜宾市工业绿色发展现状、存在主要问题基础上,进一
PolarFS是阿里巴巴开发的分布式文件系统,它实现了分布式共识协议Raft的一种变体,称为ParallelRaft.ParallelRaft突破了Raft中顺序提交、顺序执行的限制,允许状态机乱序执行