提出基于矛盾体分离的动态多元协同自动演绎推理的理论和方法，提高了自动推理引擎求解和证明能力，增强了系统可信性测评的综合能力。 一、项目分类 重大科学前沿创新 二、成果简介 以具有国际先进水平的原创自动推理体系为核心支撑，立足通信系统安全检测、评定与防护，在网络空间安全可信性测评关键技术的研发与应用上实现以下重要创新:(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）篇。

本发明公开了一种适用于蜂窝网络的代码迁移方法及系统，用 于在本地网络端有多个终端的场景中减少蜂窝网络下代码迁移的能 耗；代码迁移系统包括位于本地网络端的网络分析模块、网络处理模 块、数据分发处理模块和能耗分析模块；代码迁移方法通过将计算密 集型任务迁移到计算资源丰富的云平台端执行，将所需传输的数据通 过更节能的端对端传输方式，将数据集中到数据聚合器上传输，并关 闭部分终端的蜂窝网络，解决现有代码迁移系统在蜂窝网络下能

本发明公开了一种网络视频流的无参考图像质量在线估计方法。 所述方法利用 P 帧 PSNR 相对于 I 帧纹理复杂度和 P 帧运动量的线性 预测模型，估计网络视频流的 P 帧 PSNR 值；同时结合模型系数随 P 帧帧长和场景的变化而动态变化的规律，利用 I 帧的 PSNR 调整纹理 系数，利用上一 P 帧的运动系数和当前帧的运动信息调整当前帧的运 动系数，最终得出了较为准确的适应视频内容变化的 P 帧 PSNR 估计

本发明提出了多态聚类的概念，并公开了一种时序网络与时序 数据的多态聚类分析方法。多态聚类是一种针对时序网络或时序数据， 以多种标准作为相似性度量指标的聚类分析方法，包括以下步骤：首 先，如果处理对象为时序数据，则只对时序数据加工成特定的形式， 而如果处理对象为时序网络，则通过谱映射的方法把时序网络映射为 特定形式的时序数据。其次建立此时序数据的多态向量，最后，对多 态向量采用改进的同步化聚类方法聚类得到多态聚类结果。

本发明公开了一种网络化多电机同步控制系统及方法，该系统包括基于 SOPC 的多轴同步控制模块、PLC 控制器、上位机、人机界面、现场 IO 设备、脉冲采集模块和伺服电机驱动模块；通过脉冲采集模块采集主令电机编码器输出的编码脉冲信号经过磁耦隔离处理后发送到多轴同步控制模块，多轴同步控制模块对接收到的脉冲信号进行周期性的计数采样，同时也接收来自上位机和人机界面传来的控制命令，最终将控制命令转化为 PWM 控制信号，经过伺

一种基于网络编码的分布式存储方法及其装置，属于计算机存 储技术领域，解决现有基于网络编码的分布式存储方法所存在的存储 节点的磁盘 IO 过大的问题。本发明的分布式存储方法，适用于分布式 存储系统，包括数据编码步骤、数据解码步骤和数据修复步骤；本发 明的分布式存储装置，包括数据编码模块、数据解码模块和数据修复 模块。本发明在数据节点损坏时，从 d 个数据节点下载不多于原始文 件 D 大小的数据，修复损坏的数据，有效地减

为了解决无线网络获取信息效率不高的缺陷， 本专利提供一种提高无 线网络是利用率的设备， 该设备可以提高重要信息的流量在总信息流量中 的比重。 本技术所采用的技术方案是：它包括无线终端、资源服务器、有线网 络和无线网络， 无线终端通过无线网络连接了 web 服务器连接， web 服务 器再通过有线网络连接资源服务器。 本技术的有益效果是：它引入了 web 服务机制，在数据进入无

项目简介： 随着并行计算系统中处理器数目的快速 增加，  系统

浮选技术是目前矿业中矿物分选主要采用的工艺方法。传统的浮选控制过程是通过各种测量仪器，分析测量矿物的品位、浮选回路中的pH值、药物浓度等参数，根据分析得出的数学模型来调整加药量，以使浮选过程处在最优状态下。但实际上，由于浮选过程十分复杂，影响浮选过程的因素非常多，所获得的数学模型并不能和实际很好吻合，因而控制过程一般并不能处在最优状态下。这是浮选控制过程的

交互多媒体教学体验 支持大屏或投影，更流畅的屏幕广播；全新的视频驱动核心，极大地提高了屏幕广播的性能，支持Direct3D、OpenGL、层叠等各种2D/3D窗口画面，对电影/多媒体课件/PhotoShop/PowerPoint/AutoCAD/3D等软件都能非常流畅无延时地进行广播 完整的智能化教学环境 课堂教学：包括屏幕广播、班级模型、作业收发、师生协作学习、随堂测评等功能。 流畅的网络影音广播功能 可同时发布16路音视频节目，学生可根据自己的兴趣爱好任意选择节目进行观看，支持0.5-2倍变速不变调，支持4K视频的广播。 摄像头直播 极其流畅、清晰的直播功能，教师机可以将摄像头、摄像机等外设采集的内容对学生进行现场直播，直播效果流畅无延时；完美支持1920*1080P分辨率。 投影广播 通过投影广播功能，您可以将其他电脑的显示信号内容广播给学生端，能够很好的适用于广播各种各样的屏幕，如游戏、苹果和安卓的操作过程。 多系统兼容 支持XP/WIN7/WIN8/WIN10 32位和64位操作系统,可改变缩略图大小,分组讨论,主题讨论,投票，具有转播、学生演示、学生的座位名称可修改为学生的中文姓名的功能。 复读机功能 在教学过程中，教师可能放快或放慢音视频的播放速度且不改变音调的高低，变速不变调范围0.5-2倍速，支持标签功能，支持4K视频的播放，学生与教师同步播放。 多语言教学支持 专业版支持中/英/俄/日/韩/西班牙/越南/泰/德/法/意大利等十多个国家的界面，不关闭软件即可切换各种界面。 网络电影功能 流畅的网络影音播放功能，可同时发布16路音视频节目，学生可根据自己的兴趣爱好任意选择节目进行观看，支持4K视频的播放。 完善的课堂教学管理功能 驱动级进程防杀，与360等安全软件采用相同的技术，支持32位和64位操作系统，确保学生无法轻易破解。支持应用程序限制、目录限制、上网限制、U盘限制、光驱限制、打印机限制等。 学生端在32位及64位系统下都具有非常好的进程保护能力，可防止学生通过任务管理器及在cmd命令窗口以taskkill /im processname /f、ntsd –c q –p processname及wmic process where name="processname" delete等命令结束学生端进程，支持断网锁屏功能。 专业考试系统 1)题型支持：判断题,写作题、翻译题、填空题、选错题、选择题、文字-图片连线题、文字-文字连线题、排序题、图片选择题2)试卷编辑：教师用于创建、编辑或保存试卷的工具；3)考试过程-教师端：包括试卷分发、考试和收卷；学生每作答一题，教师端会实时呈现结果；以问答卷的形式代替答题卡，学生不需要在问卷和答卷之间反复相应。4)考试过程-学生端：A未作答的题目有标记；B全触摸屏；C支持学生手动提交答卷，自主考试在考试结速后能马上得到考试结果；D答题草稿纸功能，能记录学生答题演算过程 阅卷评分 使用此功能，教师可以对学生的试卷进行评估，查看考试统计结果。