基于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

关于印发《江苏省概念验证中心建设工作指引（试行）》的通知

关于印发《江苏省概念验证中心建设工作指引（试行）》的通知

江苏省科技厅 2023-11-30

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

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

华中科技大学 2021-04-10

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

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

华中科技大学 2021-04-14