项目简介： 无线电监测站服务验证系统是依 托无线电管理一体化平台的技术架构构建的应用系统，实现统一的超短波监测业务和监测数据验证服务的平台。该系统可以验证不同的无线电监测系统之间数据传输的协议是否规范， 规范无线电监测系统通过提供RMTP 标准接口服务程序，让其他系统获得无线电监测数据，从而实现无线电监测

FC-AV是FC的一个子集，提供数字音、视频至FC的映射格式，可实现航电系统中传感器和显示器网络的视频传输。 功能介绍： 在现代航电系统中，越来越多的信息是以图像的形式进行传输，这些信息通过复杂机载系统传递给飞行员和机组人员。视频系统包括：红外传感器、光学照相机、雷达、飞行记录仪、地图系统、视频叠加系统、抬头显示（HUP）、多功能显示器和视频综合处理器等。视频系统被用在飞机滑行和起飞辅助系统，货物装载、导航、目标追踪、防撞系统及更加严格的任务处理方面。 在现代航电系统中，主要显示设备为了支持视频画面的平滑和清晰的文字显示，需要传输高分辨率（XGA或者更高），24bit RG，帧刷新率60Hz的画面。一些严格的任务系统甚至需要1600×1200@60Hz的视频图像。视频系统还必须支持多种视频类型，每一个视频源的带宽、分辨率、帧速率、像素格式和同步类型都不尽相同。 国外已有支持FC-AV协议的相关产品，目前国内相关研究及应用处于起步阶段。光航信科技根据相关实际需求自主开发出了拥有自主知识产权的适合于FC-AV协议的功能演示卡。功能板卡可将视频封装成FC帧，通过SFP模块连接入FC交换机，可在FC网络中传输。相关演示程序及文档可向我们索取。

FC-AV是FC的一个子集，提供数字音、视频至FC的映射格式，可实现航电系统中传感器和显示器网络的视频传输。

FC-AV是FC的一个子集，提供数字音、视频至FC的映射格式，可实现航电系统中传感器和显示器网络的视频传输。 功能介绍： 在现代航电系统中，越来越多的信息是以图像的形式进行传输，这些信息通过复杂机载系统传递给飞行员和机组人员。视频系统包括：红外传感器、光学照相机、雷达、飞行记录仪、地图系统、视频叠加系统、抬头显示（HUP）、多功能显示器和视频综合处理器等。视频系统被用在飞机滑行和起飞辅助系统，货物装载、导航、目标追踪、防撞系统及更加严格的任务处理方面。 在现代航电系统中，主要显示设备为了支持视频画面的平滑和清晰的文字显示，需要传输高分辨率（XGA或者更高），24bit RG，帧刷新率60Hz的画面。一些严格的任务系统甚至需要1600×1200@60Hz的视频图像。视频系统还必须支持多种视频类型，每一个视频源的带宽、分辨率、帧速率、像素格式和同步类型都不尽相同。 国外已有支持FC-AV协议的相关产品，目前国内相关研究及应用处于起步阶段。光航信科技根据相关实际需求自主开发出了拥有自主知识产权的适合于FC-AV协议的功能演示卡。功能板卡可将视频封装成FC帧，通过SFP模块连接入FC交换机，可在FC网络中传输。相关演示程序及文档可向我们索取。

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

要实现三维量子霍尔效应，就需要达到所谓的极端量子极限条件（Extreme Quantum Limit）。这个实验条件要求异常苛刻，如果选用常用的金属铜块作为研究对象，要施加超过3000特斯拉的磁场才能进入极端量子极限态，而这是当前的实验条件无法提供的。因此，三维量子霍尔效应方向的研究一度处于几乎停顿的状态。 为了满足这项苛刻的条件，张立源团队巧妙地选用了高品质的五碲化锆（ZrTe5）晶

（一）项目背景 工业互联网将给制造行业带来技术革命，各工业强国都已将其纳入国家发展战略。德国政府 在 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 业务调度算法；