航空电子传感器健康评估是健康管理的子学科,涉及传感器数据收集,诊断/预测算法、检测运行时异常以及调度维护程序。航空传感器健康评估在军用航空领域得到广泛应用。本文提出了一种用于航电传感器健康评估的分布式架构,该架构使用数据...航空电子传感器健康评估是健康管理的子学科,涉及传感器数据收集,诊断/预测算法、检测运行时异常以及调度维护程序。航空传感器健康评估在军用航空领域得到广泛应用。本文提出了一种用于航电传感器健康评估的分布式架构,该架构使用数据分发服务(data distribution service,DDS),采用发布/订阅模式进行数据采集、分发、健康监测和诊断演示,同时开发了一套标准化数据模型,用于在全局数据空间中交换传感器和诊断信息。此外,采用可扩展和动态主题类型,允许系统组件的动态加入。展开更多
针对航天器软件基于星内路由的进程间通信方式存在的通信过程不灵活,配置繁琐易产生错误,通信功能简单、难以满足复杂通信需要等问题,文章提出了一种基于数据分发服务(Data Distribution Service,DDS)的航天器软件通信框架(Satellite-ba...针对航天器软件基于星内路由的进程间通信方式存在的通信过程不灵活,配置繁琐易产生错误,通信功能简单、难以满足复杂通信需要等问题,文章提出了一种基于数据分发服务(Data Distribution Service,DDS)的航天器软件通信框架(Satellite-based DDS,S-DDS),并对S-DDS进行了访真验证。结果表明:该框架实现了灵活便捷的进程间通信过程,无需对通信过程进行繁琐的配置,同时能够满足复杂的通信需要,使软件开发过程更为简单快捷,有效解决了目前航天器进程间通信存在的问题,可为航天器软件进程间实现灵活便捷的通信过程提供参考。展开更多
文摘航空电子传感器健康评估是健康管理的子学科,涉及传感器数据收集,诊断/预测算法、检测运行时异常以及调度维护程序。航空传感器健康评估在军用航空领域得到广泛应用。本文提出了一种用于航电传感器健康评估的分布式架构,该架构使用数据分发服务(data distribution service,DDS),采用发布/订阅模式进行数据采集、分发、健康监测和诊断演示,同时开发了一套标准化数据模型,用于在全局数据空间中交换传感器和诊断信息。此外,采用可扩展和动态主题类型,允许系统组件的动态加入。
文摘机器人操作系统(robot operating system,简称ROS)是一种开源的元操作系统,能够在异种计算簇上提供基于消息机制的结构化通信层.为改善ROS1中存在的数据分发实时性、可靠性问题,ROS2提出了面向数据流的数据分发服务机制.采用概率模型检验的方法,分析、验证ROS2系统数据分发机制的实时性和可靠性.首先,提出一种面向数据流的ROS2数据分发服务的形式化验证框架,并对通信系统模块建立概率时间自动机模型;其次,运用概率模型检测器,通过数据丢失率和系统响应时间等参数分析、验证ROS2面向数据流的数据分发服务的实时性、可靠性;最后,基于重传机制、服务质量(quality of service,简称QoS)策略分析,通过设置和调整服务质量参数,实现不同的数据需求和传输方式的量化性能分析,为ROS2应用的设计人员以及基于数据流的分布式数据分发服务的形式化建模、验证和量化性能分析提供参考.
文摘针对航天器软件基于星内路由的进程间通信方式存在的通信过程不灵活,配置繁琐易产生错误,通信功能简单、难以满足复杂通信需要等问题,文章提出了一种基于数据分发服务(Data Distribution Service,DDS)的航天器软件通信框架(Satellite-based DDS,S-DDS),并对S-DDS进行了访真验证。结果表明:该框架实现了灵活便捷的进程间通信过程,无需对通信过程进行繁琐的配置,同时能够满足复杂的通信需要,使软件开发过程更为简单快捷,有效解决了目前航天器进程间通信存在的问题,可为航天器软件进程间实现灵活便捷的通信过程提供参考。
