基于HybridUML向微分代数程序转换的CPS建模与验证方法

本发明提出了一种基于HybridUML向微分代数程序转换的CPS建模与验证方法，实现了由HybridUML模型向DAP的转换，并依据微分代数动态逻辑(Differential-AlgebraicDynamicLogic，DAL)推理规则对CPS实例进行验证。该方法使用HybridUML对CPS进行建模，将其转换成DAL的操作模型DAP，并且基于DAL对CPS属性进行验证。

东南大学 2021-04-10

动态频谱资源共享宽带无线通信系统验证网络

项目“动态频谱资源共享宽带无线通信系统验证网络开发”属于国家863重点项目“频谱资源共享无线通信系统”的子课题。该项目目标是开发与现有系统共存的宽带无线通信系统验证网络，并在694～806MHz频段进行演示验证。在不影响现有系统业务的前提下，为固定和移动用户提供语音和其它宽带业务。

电子科技大学 2021-04-10

一种透射式全穆勒矩阵光谱椭偏仪及其测量方法

本发明公开了一种透射式全穆勒矩阵光谱椭偏仪及其测量方法，方法是将起偏臂产生的调制光线投射到待测样件表面，检偏臂将待测样件反射(或透射)的光线解调并接收，通过对测量光谱进行谐波分析，计算获得待测样件的全穆勒矩阵信息，并通过非线性回归，库匹配等算法拟合提取待测样件的光学常数，特征形貌尺寸等信息。椭偏仪包括起偏臂(包括光源，透镜组，起偏器和伺服电机驱动的补偿器)，待测样件和检偏臂(包括伺服电机驱动的补偿器，检偏器，透镜组和光谱仪)。本发明可实现各种信息光电子功能材料和器件，以及纳米制造中各种纳米结构的在线

华中科技大学 2021-04-14

基于HybridUML和定理证明的CPS自适应性验证方法

本发明提出一种基于HybridUML和定理证明的CPS自适应性验证方法，本发明步骤包括：首先利用HybridUML视图对CPS建模；然后将HybridUML规约转换为定理证明器KeYmaera的输入-量化混合程序QHP；结合生成的QHP，以量化微分动态逻辑QdL公式的形式对待验证的属性进行规约，然后利用KeYmaera进行自动验证。

东南大学 2021-04-10

一种基于双线性的联合CNN的人脸验证方法

利用液晶电视制作不用配戴特殊眼镜就可以观看到立体图像的显示装置，观看者可以自由移动，从不 本技术成果提供了一种基于双线性的联合CNN的人脸验证方法。该方法将获得的人脸正面图像作为输 同的方向上可以看到立体图像的不同侧面，不会引起眼睛生理性疲劳和损害。通过研究裸眼可视全息立体 入，进行人脸图像特征提取和识别，与参考集人脸进行两两对比，最后输出此人是否与参考人脸属于同一 图像显示技术和相关理论，本研究开发了具有自主专利技术的、具有高精度、大景深的立体显示器产品 个人的分类结果。包括下述步骤：1)使用预先准备的人脸图像进行卷积神经网络（下简称CNN）的训练； S3DD-4及基于具体应用的系列产品，让观众可以在大范围内自由移动裸眼观看到高质量的全息立体图像 2）使用训练集中的人脸图片，进行双线性CNN的微调；3)输入待验证的人脸图片，将两张图片进行切分， 和视频。 提取双线性CNN输出的联合特征。4)得到的向量经过一个自编码网络训练，得到最终的验证结果。 本技术成果的应用范围包括：1．各领域、各行业的各种型号尺寸（包括手机、游戏机、笔记本、显 本技术成果基于双线性的CNN的方法，并且通过将原

中山大学 2021-04-10

基于IP库的通用MEMS器件可视化仿真与验证工具

“虚拟工艺”软件可由标准工艺流程文件和掩膜版图文件，模拟出所要加工的MEMS器件的真实三维结构，具有良好的通用性和精度。下图为自主开发的“虚拟工艺”软件生成的微夹钳三维结构。 “虚拟运行”软件对器件的运动情况进行仿真，并与最初设计方案比较来指导和修正实际加工。下图显示了微夹钳的虚拟运行结果，图中的器件颜色表示了器件运动时的剧烈程度，红色表示变形最剧烈的部分，淡蓝色表示变形较小的部分。

南开大学 2021-04-14

基于IP库的通用MEMS器件可视化仿真与验证工具

项目的背景及目的 迄今为止，集成电路的模拟、仿真直至评测已有了非常完善的工具软件；并已成为设计过程的重要组成部分；对设计的成功、可靠、高效都已起到决定性作用。而对MEMS而言，还相差甚远，这和MEMS发展的成熟程度有着直接关系。当然，这并不意味着MEMS不需要这样的工具和系统。相反，由于MEMS的功能多样、加工复杂、分析困难、设计周期长、成本高等。特别需要一个能包括运动仿真、评测在内的设计工具和系统。这是当前推动MEMS发展的当务之急。

南开大学 2021-04-14

面向工控系统信息安全防护的半实物演示验证平台及方法

本发明公开了一种面向工控系统信息安全防护的半实物演示验证平台及方法；该平台包括依次相连的物理层、控制层和监控层；物理层用于构造并显示虚拟的物理对象模型，并在控制层的控制指令的控制下模拟运行物理对象模型，生成实时现场数据；控制层用于根据物理层上传的生产实时数据与监控层下发的统一调度指令，根据内嵌的信息安全防护算法生成控制指令；监控层用于根据控制层上传的系统实时运行数据和控制指令生成统一调度指令，实现对实际生产过程进行实时的监测与控制

华中科技大学 2021-04-10

面向工控系统信息安全防护的半实物演示验证平台及方法

本发明公开了一种面向工控系统信息安全防护的半实物演示验证平台及方法；该平台包括依次相连的物理层、控制层和监控层；物·735·理层用于构造并显示虚拟的物理对象模型，并在控制层的控制指令的控制下模拟运行物理对象模型，生成实时现场数据；控制层用于根据物理层上传的生产实时数据与监控层下发的统一调度指令，根据内嵌的信息安全防护算法生成控制指令；监控层用于根据控制层上传的系统实时运行数据和控制指令生成统一调度指令，

华中科技大学 2021-04-14

动态频谱资源共享宽带无线通信系统验证网络关键技术

项目“动态频谱资源共享宽带无线通信系统验证网络开发”属于国家863重点项目“频谱资源共享无线通信系统”的子课题。该项目目标是开发与现有系统共存的宽带无线通信系统验证网络，并在694～806MHz频段进行演示验证。在不影响现有系统业务的前提下，为固定和移动用户提供语音和其它宽带业务。 项目所开发的动态频谱资源共享实验验证网络支持8个网络节点，可通过配置构成集中、分布和混合网络架构。与现有业务共存的情况下，在694～806MHz频段完成实验验证；单节点的覆盖范围>1km2；支持20Mbps的峰值传输速率，并支持可变速率传输；可接入Internet网络，支持VoIP、交互式视频业务；工作频段的整体频谱利用效率达到30％以上； 本课题对动态频谱资源共享网络的体系架构、系统设计、协议栈开发、演示验证以及相应的关键技术进行了系统级研究，完成了系统总体方案设计、软件无线电平台和协议栈开发的相关工作，成功搭建了具有认知功能的、能够在694-806MHz频段内动态使用频谱资源的集中式、分布式和混合式实验验证网络，并在多种环境下，对该系统进行了实际测量，获取了大量实验数据，实际测试结果表明，本课题搭建的具有认知功能的三种不同架构验证网络能够正常完成预期功能（如协同感知、动态获取可用频谱资源、组网、切换、保护主用户、多跳传输等），并能够实现较好的网络性能（如吞吐量、网络时延、丢包率等）。同时，本课题还对动态频谱资源共享网络的多项关键技术进行了深入研究，在物理层频谱感知技术、传输技术、MAC协议设计、频谱接入策略研究、网络层路由协议设计等发面均取得了大量研究成果。 动态频谱资源共享宽带无线通信系统能够有效地应用于我国国民生产生活的各个方面，其中该系统的分布式网络架构尤其具有广阔的应用前景，可以在移动环境下，在任何地点建立起高速无线数据链路，处置紧急、突发事件，或建立临时信息采集网络。该类型设备可以广泛应用于军事指挥、油田监控、水文调查、地质勘探、野外抢险作业以及特种行业的实时移动数据传输和监控。

电子科技大学 2021-04-10