成果简介：星载SAR数字仿真和地面验证系统包括总体参数与分析、回波模拟、数据压缩与成像算法、图像评估、非理想因素等模块。该系统能够实现多种工作模式、多种极化方式的下的总体参数设计、多工作模式设计与优化、参数复核复算与成像仿真验证等功能，并能够定量分析轨道摄动、地球自转、大气传输路径、卫星平台误差、姿态误差、极化耦合、天线形变和天线展开误差等非理想因素对SAR成像及应用的影响。此外，该软件可支持大运算量，并具有良好的可扩展性。 项目来源：横向项目 技术领域：地球观测与导航

成果简介：GEOSAR卫星运行在高轨道，长合成孔径时间使得目标回波具有距离徙动量大、空变性剧烈的特点，因而成像处理难度大。同时电离层对信号传播的影响也是影响卫星成像性能的重要因素。 GEOSAR地面成像验证系统利用导航卫星作为照射源、在地面配置多通道接收机分别接收直达波和回波信号，其中直达波信号用于实现卫星与接收机间的时频同步和分析电离层的影响，回波信号可用于实现成像处理。通过研究此模式下回波信号特性和成像算法，因此利用该验证体制可实现对GEOSAR成像机理的等效地面成像验证；同时，

本发明公开一种飞行器全寿命自主保障系统推理机及其实现方法，所述推理机主要包含故障诊断模块和健康评估模块：故障诊断模块主要负责推理机的知识库整理和基于测试的故障诊断算法；健康评估模块基于故障诊断模块的故障推理结果，评估飞行器全机、分系统、子系统和单机产品的健康状况。

产品详细介绍   互动地面投影系统又称互动投影、互动地面投影或地面互动投影系统，采用先进的计算机视觉技术，身体移动跟踪软件及投影显示技术来营造一种奇幻动感的交互体验。观众通过身体动作与地面图像、广告、游戏等进行互动时，系统可产生各种生动的特效影像，如水波纹、翻转、碰撞、擦除、避让、跟随等，必定会给您留下难忘的印象。本系统主要设备有：互动主机，感应设备，捕捉设备，投影机；辅助设备：音响，屏幕（地板）。  系统可实现60帧/每秒的高速动作跟踪；可提供USB接口和PCI接口的感应器。  可支持大面积如10米长、1.8米宽的互动投影面积，及圆形的非标准互动投影。  为您提供的服务及系统的功能：  1. 可提供10个非flash的高品质效果模板，用户可自行设定效果的三层，如背景图片，前层图片等。有背景音乐支持；背景画面可以是静态图片、动态图片或视频。  2. 动作捕捉系统可以是高速的USB接口或者经济的PCI插卡配模拟摄象机。  3. 最大的成功案例可拼接12mx2m， 多摄象机、多投影机。  4. 系统安装设定简单，动作捕捉性能不受环境光影响。  5. 我们所有的地面互动投影的效果是完全可定制的，根据您的需要设置互动效果，把2-D，3-D图形，声音和视频以任何形式融合在一起。  6. 利用C++和OPENGL进行底层开发，具有跨平台性和超强的稳定性，相比地通过插件而使用其他工具开发的系统，具有明显的高效率性。 

软件可信性自动验证是新一代信息技术领域的新技术。我们基于原创性且国际先进水平的理论成果，自主研发了高效的自动推理工具；借鉴目前世界上最先进的程序形式化技术，形成了C程序自动验证系统和PLC程序自动验证系统，对指针安全、数组越界、溢出等常见复杂问题可实现自动验证或根据用户需要验证特殊性质，具有验证速度快、发现缺陷能力强、成本低的特点，从技术上突破了程序分析、程序测试的一些瓶颈，对提高软件质量具有不可替代的作用。目前，本自动验证系统已验证了涉及航空航天、武器装备、铁路、通讯等多种系统，显现出了明显效果，得到了认可。 该成果具有国际先进水平，自主可控，填补了国内程序可信性自动验证的空白，获得省部级和学会级三等以上奖励，有着有广阔的应用领域。。

（一）项目背景 工业互联网将给制造行业带来技术革命，各工业强国都已将其纳入国家发展战略。德国政府 在 2011 年推出的《高技术战略》率先推出“工业 4.0”，并在 2013 年的汉诺威工业博览会上正式 推出；同年，美国通用电气（GE）提出了工业互联网概念，受到世界各国广泛关注。在我国制定的“中 国制造 2025”、“新基建” 和“互联网 +”等重大战略中，均明确提出要加快和完善工业互联网 的发展。工业互联网实现人、机、物的互联，通过传感器对工业现场设备进行实时感知，借助大数 据分析技术对各环节实现准确有效的控制，从而提高生产效率。随着我国将推动制造业高端化、智 能化、绿色化的宏伟目标列入“十四五”规划，工业互联网得到了前所未有的发展。时间敏感网 络（Time Sensitive Network, TSN）作为工业互联网的一项关键技术，能够为各生产要素之间信息传 递提供实时性确定性保障，也因此越来越受到重视。时间敏感网络 TSN 的前身是音视频桥接技术 （Audio Video Bridging，AVB），包括流预留协议（Stream Reservation Protocol，SRP）、时间敏感应 用的时序和同步（IEEE 802.1AS）以及时间敏感流的转发和排队增强（IEEE 802.1Qav）等，通过增 强以太网标准提高音视频传输的实时性。2012 年，AVB 工作组正式更名为 TSN。从之前的音视频 领域逐渐扩展到车载以太网领域、工业控制领域甚至本文中的航空航天领域。TSN 的核心思想是提 出可互操作的系统，并支持多个制造商、协议和机构在同一个网络上共享，而数据使用相同的程序 逻辑进行分析。TSN 作为二层网络结构，使得越来越多的公司可以利用此结构上实现 OT（Operational Technology）和 IT（Information Technology）的集成。 （二）项目简介 TSN 技术的研究基于网络与交换技术，先后得到了工业界和政府部门的连续多年的课题支持。目前我们已经掌握核心关键技术，基于 FPGA、嵌入式系统和软件，研究并建立了如下原型验证系统：  1. 基于 TSN 的交换系统  支持 4~16 个 1G/10G 以太网接口（光电），流量调度和整形，门控调度、逐流过滤、门控和测量；802.1AS 时钟同步，主从同步精度达到 30~50ns，SyncE 和外部锁相环支持下可达到 1~2ns 2. 基于 TSN 的终端系统 1G/10G 以太网接口（光电），硬件和协议栈业务接口，终端流量调度和整形，门控调度、逐流过滤、 门控和测量；与交换机匹配的 802.1AS 时钟同步  3. TSN 协议分析与测量工具原型 TSN 流量发生器、部分协议测试原型（持续研究开发中）、TSN 流量 TAP 等  4. TSN 业务调度算法和调度软件原型 （三）关键技术 802.1AS 同步技术； 802.1Qav、802.1Qbv、802.1Qci 等流量控制管理技术； TSN 协议分析与测试技术； TSN 业务调度算法；

本系统采用振动、温度、电压、电流等多种传感器来采集表征通风机健康状况的各种物理参数，来判断电机的异常工作状态，并实时显示电机轴的振动及温度等参数情况。并且通过上位机提取信息的特征，采用人工智能处理，实时地、连续地对通风机进行智能体检。在通风机发生故障之前，预测通风机故障并发出报警信号，并且能够在风机出现故障时给出相应的解决策略。

（1）在传输平台上，采用工业光纤以太环网技术，以矿调度控制室为中心，分别向主副井绞车房、主抽风机房、压风机房等四处敷设矿用阻燃光缆，通过光纤收发器、光缆将信号传入调度控制室交换机，构成冗余的千兆环网。（2）各子系统通过光纤收发器通过光纤连接到交换机上。（3）在软件集成上，采用组态软件，通过一致的软件界面，实现对各类自动系统的综合、集中监测与监控。（4）该系统提供的扩展接口，便于将来其它系统的接入和集成。