提出基于矛盾体分离的动态多元协同自动演绎推理的理论和方法，提高了自动推理引擎求解和证明能力，增强了系统可信性测评的综合能力。 一、项目分类 重大科学前沿创新 二、成果简介 以具有国际先进水平的原创自动推理体系为核心支撑，立足通信系统安全检测、评定与防护，在网络空间安全可信性测评关键技术的研发与应用上实现以下重要创新:(1)提出基于矛盾体分离的动态多元协同自动演绎推理的理论和方法，提高了自动推理引擎求解和证明能力，增强了系统可信性测评的综合能力。获得命题逻辑求解器国际竞赛第二名和一阶逻辑证明器国际竞赛第二名，发表论文(JCRQ1)3篇，登记软件著作权3项。(2)提出了基于自动推理的形式化验证技术、基于交互式应用安全测试技术的检测方法，提升了网络空间安全软件系统在开发过程中软件代码层和业务逻辑层安全缺陷检测过程有效性和检测结果准确性。目前已形成拥有自主知识产权的商业工具，支撑了软件系统在关键信息基础设施中的安全应用，并辅助了国家相关信息安全标准的建设，测试工具是唯一一家被OWASPBenchmark工作组收录的中国厂商自研工具。获批国家标准2项(GB/T30279-2020  GB/T38628-2020)，获得发明专利4(ZL201910498983.9ZL2019108553424  ZL2020100476371  ZL20201175663.9)登记软件著作权11项。 (3)提出了一种网络空间非正常无线电信号的电磁干扰识别与自组织处理的方法，实现了及时发现与处理电磁威胁，提高了电磁信息的安全性。获得发明专利2项(ZL2012104380941、ZL2012104380937)，获得实用新型专利1项，发表论文1(JCRQ2）篇。

近日，西安电子科技大学空间科学与技术学院在临近空间高速目标精细识别领域取得突破性进展，在航空航天领域全球排名Top 2的CJA (Chinese Journal of Aeronautics)上发表了题为“An unsupervised classification method of flight states for hypersonic targets based on hyperspectral features”的最新研究成果，并被评选为期刊亮点文章，通过官方微信公众号、Facebook、Twitter账号进行国内外推送。

2009年9月23日，时任中共中央政治局常委、中央书记处书记、国家副主席习近平来到哈尔滨工业大学视察。

竞赛机器人性能测试及显示装置，可应用于机器人轨迹赛，如机器人直线行走、直线花样行走、直线绕障行走、按规定图形行走竞赛等，使竞赛规则更为直观、明朗，减小竞赛结果判断的人为误差。将该竞赛机器人性能测试及显示装置应用于机器人性能的评价，为生产者、销售者和购置者提供更为统一、直观、准确的评价标准。进一步扩展该竞赛机器人性能测试及显示装置，如使系统自动升降、倾斜等，可进一步丰富机器人竞赛规则、完善机器人性能评价标准。利用竞赛机器人性能测试及显示装置反馈的机器人性能信息，可进行更为深入的机器人研究开发，例如应用于人形机器人步态规划中，可推动机器人研究事业的发展。该成果已获专利 2 项，发表英文学术论文 2 篇。

空间多波束延迟网络主要应用于光控相控阵天线内部的波束形成网络，通过分组多抽头延迟，使相控阵天线在空间形成多个空间波束。 该延迟网络通过微波光子技术，在光域对微波信号进行高精度多路分组延迟及多路合成，通过光延迟技术克服了电延迟技术（同轴电缆延迟线、声表面波延迟线、微波PIN二极管延迟线等）在延迟移相上存在的固有技术缺陷，可满足高频宽带信号的延迟移相及空间波束形成需求。同时，该技术还可应用于其他需要实现射频信号精确延迟及分配的系统当中。

该项目以大规模集成电路液晶硅处理器作为核心器件以及基于其空间光波束智能开关功能设计建造了两个准样机实验系统，其一是针对高性能计算机应用的高速集成光互连组件，其二是光通信网络中使用的节点开关 ROADM（可重构光上下路复用器）。互连损耗~6dB、 串扰≤-36dB、 传输数据率 10Gbps、 高稳定性、 高性价比。

1. 痛点问题 无人驾驶是未来全球汽车产业发展趋势，近年来，国内外主要车企均投入大量资源进行无人驾驶汽车研发当中。目前，无人驾驶汽车产业正处于行业发展早期，主要集中于研发和初期测试阶段。我们通过行业调查和研究发现，当前制约无人驾驶发展的痛点是传统车企和研发机构针对无人驾驶汽车的技术研发路线存在如下痛点需求： a) 基于IT的网联车研发路线： i. 全联网的要求 ii. 网联车的系统安全性要求 b) 基于传统汽车厂的成长型单车智能研发路线： i. “一百万”场景 ii. 一百万英里 2. 解决方案 a) 目标：让L5级无人驾驶汽车比预期提前3-5年进入市场，让中国的无人驾驶技术和产业领先世界。 b) 解决方案： i. 创新的研发技术路线 ii. 拥有自主知识产权、全球领先的无人驾驶仿真研发与测试系统 c) 产品与服务： i. 智能汽车智能座舱 ii. 无人驾驶汽车研发与测试服务 iii. 无人驾驶智慧路端建设技术服务

NOKOV（度量）水下光学三维动作捕捉系统功能： • 水下运动物体的运动数据捕捉 NOKOV可提供机器鱼、水下AUV，潜艇、舰船、输油管道、缆绳等物体的运动捕捉，进行六自由度刚体识别 • 亚毫米级的数据精度 • 丰富的二次开发接口 采集到的数据可以以VRPN形式传输，或通过SDK（C++语言）端口广播与ROS、Labview、Matlab（包含Simulink）等软件通信进行二次开发。

      实名制网络学习空间，旨在打造与现实教育组织中各级教育机构、学校、班级、师生等主体相对应的网络教育组织体系。空间为多层次用户团队（包括从师生个体协作团队班级团队学校团队学科团队区域团队）提供相应的资源、工具、环境的支持和服务，实现“自上而下”、“自下而上”的双向良性互动。 教师空间：为教师开辟一个集学习、工作、交流于一体的实名制网络学习空间，以基于SNS的人际关系架构和知识体系、教材体系构建服务体系，实现信息的快速传播和精准获取，并汇聚为校、区、市、省各级生成性资源。 学生空间: 学生空间不仅能够全面记录学生成长全过程，还能为学生自主学习提供良好的信息化环境，让学生随想随学、自主学习、个性发展。学生可制定自己的学习计划，相关通知、信息都会自动推送到学习空间，空间资源能自动汇集和推送，学生相互之间，以及与学校空间、班级空间、教师空间可以互联互通，完美实现师生互动、生生互动。 家长空间：平台为针对家长用户提供便捷的，平台将呈现家校交流的相关服务。家长以家长身份、学生帐号登录，平台就会将学生近期的一些学习情况呈现出来，方便家长全面主动了解学生在校学习情况、班级情况以及，班主任、任课教师的情况，并与。家长可通过平台与任课教师进行深入的交流和沟通，关注学生的学习全过程，还可得到一线教育专家的指导和点拨。 协作组空间：教师可以按年级、学科、兴趣爱好、教育行政结构等多维度组建协作组。协作组提供资源管理、话题、问答、问卷、投票等基本应用模块，并支持文章、资源、图片、视频等分类管理，能从个人空间中选取已发布的各类资源拉取到协作组。 班级空间：班级空间是师生间的协作教学、讨论交流的网络环境，是现实班级课堂的补充与延续。班主任可组建班级，聚合管理班级学科教师、学生，课程安排，学习内容，开展学习活动，形成学习反馈，增强学生班级凝聚力和成员归属感。 学校空间：以学校为单位开展教学研活动，可与本校师生组织衔接，便于校内各项业务活动的组织管理。学校管理者可发布校内公告、查看基础管理数据。本校教师可随时参与各类教、学、研活动，本校学生可积极参与各类校园活动及社会实践活动。师生发布的所有内容会自动汇聚到学校空间，积淀本校生成性资源，支持各学校空间独立管理。 学科空间：省、市、区县、校各级机构管理的所有学科均可拥有相应的学科空间，能够自动汇聚范围内相同学科的教研员、学科带头人、教研资源、工作室、协作组、学科文章、学科活动等，加速本学科教师之间的协作交流，展示特色学科资源和成果。学科教研员可发布学科新闻公告等内容、查看基础管理数据等，支持各学科空间独立管理。 区域空间：区域各级机构、各机构学科各类信息的集中汇聚区，同时也是各级政策的集中发布区、研修动态的集中展现区，为开展区域性教育业务提供全面的支持和服务。省、市、区各级空间融合互通，内容、人员至下而上汇聚，政策、任务至上而下传达。通过区域空间及业务应用系统，可促使城镇和农村的学校之间、教师之间实现“手拉手、结对子”， 共同参与各类业务活动、分享优质教育资源，先进帮后进，推动教育公平。

路面病害分为表面破损（如裂缝）、路面变形（如沉降）和结构病害（如层间脱空）三大类。该技术以路面检测成果为全卷积神经网络的输入信号，对于表面破损，其输入为多功能检测车拍摄的路表图像；对于路面变形，输入为三维检测车测取的三维路面模型；对于结构病害，输入为探地雷达信号图像。通过海量数据的训练、测试，可实现上述三类病害的自动化识别、分类和测量，为路面养护工程提供数据支撑。此外，该技术在保证与人工识别结果相同的精度下，可将数据处理速度提高千倍以上。