为了提高安全关键实时嵌入式软件系统的质量，降低开发成本与周期，并使得软件系统具有可重用、可移植和互操作等特性，基于目前国际标准体系结构描述语言AADL（ Architecture Analysis and Design Language）和同步语言Signal，研发了辅助配套软件工具集，可进行系统的可靠性、可调度性、安全性分析，以及自动代码生成，从全生命周期的角度保证系统的可信性质。 本项目主要特点如下。 1．可以插件的形式集成在AADL开发平台OSATE上，支持高可靠性实时系统的软件设计建模； 2．可以提供集成开发环境，将AADL模型转换为TASM模型和UPPAL模型，然后采用相关的模型分析和检测工具进行验证分析，包括可靠性、可调度性、时间属性等分析； 3．可以支持基本的AADL到C，Signal到OpenMP的自动代码生成技术。 目前该成果已指导多个关键实时系统的建模和验证应用，获得国家专利1项。

本实用新型提供一种流场实时精确测量系统，包括示踪粒子发生器，用于产生示踪粒子并释放到待测流场；图像处理子系统，包括激光发射单元和图像采集单元，用于照亮示踪粒子并且采集示踪粒子图像；PIV 测量子系统，用于接收示踪粒子图像数据，测量全流畅速度矢量，并按照流场情况调整采集图像时间间隔和实现空间分辨率自适应测量；示踪粒子发生器设置在待测流场上游，图像处理子系统采集流场中示踪粒子图像，传递给 PIV 测量子系统。本实用新型提供的流场实时精确测量系统，对于流速高，尤其是高超音速流场、变化剧烈的流场进行实时测量

随着反射面天线口径不断增大和频段不断升高，日照温度效应对天线的电性能的影响已经越来越引起工程界的重视。露天工作的大口径反射面天线因日照温度场而产生较大的温度梯度，导致结构产生明显变形，进而严重影响天线的电性能。针对天线所在地理位置及气候环境，通过仿真与实测相结合的方法实时预估天线温度场和热变形，结合天线实际结构，提出了相适应的温度传感器布局方案，设计了电性能实时自适应补偿流程，开发了一套反射面天线温度场实时监测与热变形实时补偿系统，实现了天线的电性能的实时补偿，为提高大口径反射面天线复杂环境下的服役性能提供了技术支撑。 主要技术指标 研制的热变形补偿系统的调整量计算精度优于反射面天线控制系统调整量最小分辨率，电性能补偿的实时性良好，该系统通过了总装专家联合测试组的测试，测试结果表明热变形补偿系统设计可行，能够修正热变形导致的指向误差，在对星动态测试中，能够提高天线接收射电星的功率。 相关成果 研制了一套大口径天线热变形实时补偿软硬件系统一套，包含温度传感器最优布置方法、数据采集硬件系统、温度传感器的误差分析与补偿算法、大口径天线热变形实时补偿系统综合软件平台。

新型混沌介质偏振信息实时探测系统以场景目标光与散射光偏振特性的差异为基础，结合渥拉斯顿棱镜的分光原理，设计的一种新型混沌介质偏振信息实时探测系统。偏振是独立于光强、光谱和相位之外的另一维信息，本系统考虑并利用光的偏振特性及其包含的混浊介质信息，以去除云、雨、雾霾等混浊介质的影响为目的，实现云、雨、雾霾天气条件下清晰图像的重建，保证恶劣条件下精确观测。该系统具有以下优势：² 拓展探测维度：提高探测精度：反应物质自身特性：增强环境适应性

项目背景 授时、定位、导航是以北斗卫星为核心建立的 PNT 服务的三大要素，在国民经济、国家安全和科学研究诸多领域发挥广泛的支撑作用，是国家重要的基础设施。目前，时间比其他物理量要高出至少四个数量级，是当今测量准确度最高、应用最广泛、唯一实现全球高精度传递的基本物理量。 西方国家在高精尖技术领域对我们实行封锁和禁运，2019 年 8 月，美国国防部发布了其公开版《国防部定位、导航与授时体系战略》报告。报告明确了以授时为核心的定位、导航与授时体系建设。近年来国内外花费大量的财力和人力所建立的不同的卫星导航定位系统的基础工作，其中最关键的设备---精密时频设备（原子钟）远程实时在线计量、测试和校准工作的必要性也日渐展现出来。 目前国内外技术仍存在一些问题：时频系统之间的高精度时间同步特别是纳秒量级、亚纳秒量级时间同步一直无法解决，一定程度上制约了时频系统的建设和发展，也会给用户造成很大的困惑。原子频率标准的频率校准与计量，特别是在线校准与计量一直无法解决。 我国有若干个时频实验室和若干个时间统一系统，按照规定，每间隔一定的周期，需要对这些系统的时间同步能力和守时能力进行计量、校准和评估，因此，急需建立一种远程计量校准平台对时频系统时间同步、守时能力进行计量、校准和评估。 本项目基于 NTSC 现有硬件和软件资源，开展基于卫星共视/卫星双向的时频设备远程在线计量、测试和校准方法研究，解决各卫星测控基地、雷达站、各武器试验靶场及海军长河二号系统守时实验室等全军武器装备建设中的精密时频设备（原子钟）的远程实时在线计量、测试和校准困难的问题，为军用时频体系建设中高精度时频系统计量校准研究做铺垫。 （二）项目简介 本项目要对时间频率进行测量，根据时间频率量值传递基本方法，可采用直接与已知的标准信号进行比较和通过接收机接收参考标准信号然后比较两种方法。要实现时间频率的计量校准，根据相关国军标规定，在对频率稳定度进行测量时，标准频率源的频率稳定度应优于待测频率源频率稳定度的 3 倍，对频率准确度、频率漂移率等其它指标进行测量时，标准频率源的相应指标应优于待测频率源一个数量级。 据此要求，我们拟研制基于卫星共视的远程时频计量校准平台，共视主站外接国家授时中心钟房主钟信号，共视副站外接一台铷原子钟，根据时间频率量值传递要求，通过共视接收系统接收 BDS/GPS 卫星信号，一方面通过 BDS/GPS 共视比对实现对时频设备的校准。另一方面可利用共视比对数据对副站的铷原子钟进行驯服，使其通过 BDS/GPS 共视比对同步到UTC(NTSC)，作为待测时频系统远程在线计量校准可靠的参考频率源。 时频系统实时在线计量和校准示意图如图 1 所示，时间频率基准采用中国科学院国家授时中心保持的标准时间和标准频率，在国家授时中心放置卫星共视设备和卫星双向设备，在主要节点的时频系统放置卫星双向设备，在次要节点的时频系统放置卫星共视设备，使各个时频系统与国家授时中心之间建立远程的高精度时间比对，然后根据钟差比对结果完成时频系统的远程实时在线计量和校准功能。 图 1 时频系统实时在线计量和校准示意图 时频系统实时在线计量和校准装置包括 GNSS 接收机模块、卫星双向传递终端设备、卫星共视比对数据处理软件、卫星双向远程比对数据处理软件及远程在线计量和校准软件，接收机天线等模块组成。 时间频率源远程校准采用共视比对法，原理如图 2 所示。主要指标包括频率准确度和频率稳定度、频率漂移率。 图 2 共视比对法原理框图 本项目中远程用户时频系统本地时间向 UTC（NTSC）（或 UTC（CMTC））的溯源采用 BDS/GPS 共视时间比对与传递方法实现。卫星共视比对数据处理软件最后将 GNSS 卫星的星历数据、电文信息、相位测量值、GNSS 共视数据及共视比对结果以文字、图形显示。 我们利用已有条件搭建了如图 3 所示的卫星双向高精度时间比对与传递平台的调制解调器部分，并进行了 100 米电缆自环试验，得到了初步结果。 图 3 卫星双向高精度时间比对与传递平台的调制解调器 （三）关键技术 本项目涉及到的关键技术包括以下七个方面： 1.时频系统的溯源方法 2.单点对多点的远程实时在线计量技术 3.单点对多点实时在线计量和校准的 C/S 结构设计 4.自适应同步校准驯服算法 5.多线程技术研究 6.时频系统实时在线计量和校准系统 7.基于 UTC（NTSC）远程时频校准方法

本系统是基于计算机图像处理技术的 X 射线实时成像检测系统，对工业生产中关键部件实现无损检测。该系统分为动态检测和静态处理两大部分。在动态检测中，系统可以根据图像检测算法，对图像中的缺陷进行实时检测和评判。在静态处理中，系统除了可以进行图像的边缘检测，长度、面积的自动测量，灰度直方图统计等操作外，更为重要的是可以根据内置的算法及标准，对缺陷的性质和等级进行自动评定。该系统具有成像质量高、测量精确、操作简便、稳定性好的优点。

本成果包括无线电频谱监测与干扰定位系统的硬件与软件实现，数字硬件系统的设计与实现，数字硬件系统中嵌入式固件（FPGA/DSP）的设计与实现、基于计算机的远程控制/监控软件系统。系统工作基本稳定，课题组熟知无线电监测的发展现状，掌握了硬件与软件研发的全部细节。课题组在干扰定位领域的研究已取得较显著的成果，申请相关发明专利2项(已公开)。 应用本成果，将有助于发展自主知识产权的低成本高性能的无线电频谱监测与干扰系统。 图1 接收机外观照片。包含GPS接口、以太网接口、电源接口、天线接口。 图2 接收机内部结构照片。左边是数字电路，右边是射频电路 图3 系统联调照片。计算机上运行的是无线电频谱监测系统的控制与分析软件

本成果包括无线电频谱监测与干扰定位系统的硬件与软件实现，数字硬件系统的设计与实现，数字硬件系统中嵌入式固件（FPGA/DSP）的设计与实现、基于计算机的远程控制/监控软件系统。

工业生产过程中，获取工作人员实时位置非常重要。对室内作业人 员进行定位后，可非常便利的进行工业生产的人员生产过程中安全管 理、事故中的应急救援、工作中的任务监管和指派等功能。 超宽带(Ultra Wide Band, UWB)全球定位系统(Global Positioning System, GPS)组合室内室外定位系统，可分为室内定位系统和室外定 位系统两大组成部分，主要完