NI PXI集成电路实验室验证测试平台

NI PXI集成电路实验室验证测试平台可以灵活的完成各类集成电路器件和芯片的实验室验证工作，NI PXI平台在集成电路实验室验证测试应用中处于领导地位，平台部署在包括Intel、ADI、TI在内的诸多全球顶尖集成电路公司的测试实验室中完整各种实验室测试验证应用。

北京曾益慧创科技有限公司 2022-07-08

一种用于导航信号的 LDPC 码校验矩阵的构造方法

本发明公开了一种用于导航信号的 LDPC 码校验矩阵的构造方 法，包括以下步骤：（1）获取待构造的 LDPC 码校验矩阵的子矩阵的 大小 z*z，以及该 LDPC 码校验矩阵的基矩阵的大小 m*n，（2）根据 步骤（1）获取的结果构造 m 个由 0、1 构成的长度为 nz 位的稀疏序列 [S1，S2，…，Sm]，利用构造的 m 个稀疏序列得到 LDPC 校验矩阵 H。 本发明通过寻找稀疏序列的方法构造准循环校验矩阵 H，稀疏序列的 后 M 位的产生方式决定了得到的校验矩阵具有近似下三角结构，使得 基于 H 的编码算法更加简单。稀疏序列前 N-M 位的自身约束条件以及 不同稀疏序列之间的互相关约束条件保证了校验矩阵 H 中不会出现长 度为 4 的环，本方法能快速高效地构造出具有准循环特性和下三角构 造的校验矩阵。

华中科技大学 2021-04-11

我国成功实现51比特超导量子簇态制备和验证

中国科学家继2017年起先后完成10比特、12比特、18比特的真纠缠态制备之后，在量子科技领域又一次刷新世界纪录——成功实现51比特超导量子簇态制备和验证。

科创中国 2023-07-17

一种基于模型转换的CPS建模与验证方法

本发明提出了一种基于模型转换的CPS建模与验证方法，主要用于处理CPS建模与属性验证问题，本发明涉及到的关键操作包括：(1)采用HybridUML对CPS进行建模，并将所建HybridUML模型转换为微分动态逻辑方法的操作模型混合程序Hybrid？Programs。(2)将得到的Hybrid？Programs根据定理证明器KeYmaera的输入格式，生成输入代码，在KeYmaera中进行推理验证。

东南大学 2021-04-10

GEOSAR地面成像验证系统与卫星信号处理仿真系统（技术）

成果简介：GEOSAR卫星运行在高轨道，长合成孔径时间使得目标回波具有距离徙动量大、空变性剧烈的特点，因而成像处理难度大。同时电离层对信号传播的影响也是影响卫星成像性能的重要因素。 GEOSAR地面成像验证系统利用导航卫星作为照射源、在地面配置多通道接收机分别接收直达波和回波信号，其中直达波信号用于实现卫星与接收机间的时频同步和分析电离层的影响，回波信号可用于实现成像处理。通过研究此模式下回波信号特性和成像算法，因此利用该验证体制可实现对GEOSAR成像机理的等效地面成像验证；同时，

北京理工大学 2021-04-14

一种提取网页中验证码图片的方法

本发明提供了一种提取网页中验证码图片的方法。由于验证码图片在网页中并没有一个固定的网址链接，并且图片随机生成，对其进行刷新或者保存操作会改变图片内容，因此提取验证码图片是很多需要验证码图片的软件应用的一个关键难题。在该方法中，利用光标位置、验证码输入框位置、图片位置、图片大小、图片视觉与内容特征、图片关键字、图片长宽比例等信息将网页中的验证码图片提取出来。

浙江大学 2021-04-13

一种基于代价矩阵的多重软约束立体匹配方法

本发明公开了一种基于代价矩阵的多重软约束立体匹配方法，首先计算一个三维匹配代价矩阵并对 其进行多尺度降采样，构成代价矩阵金字塔；同时对影像也进行相应的多尺度降采样，构成影像金字塔， 并对其各层影像分别进行图像分割；然后逐层进行自适应权重的代价积聚和―投票式‖分割约束下的代价 积聚，并通过将上层代价积聚结果传递给下层代价矩阵，实现多尺度约束下的代价积聚；最后在底层代 价矩阵中结合可靠点代价扩散方法实现立体匹配。本发明增强了匹配结果的稳定性和可靠性，大大改善 了弱纹理和重复纹理区域以及视差不连续处的匹配问题，可用于改进基于图像的建模等涉及立体匹配的 工程应用问题。 

武汉大学 2021-04-13

一种加速纠删码编解码过程的通用矩阵优化方法

本发明公开了一种加速纠删码编解码过程的通用矩阵优化方法， 包括：在编解码时，通过把校验矩阵分解为多个相互独立的子矩阵和 一个剩余的子矩阵，使得编解码的计算能够被部分并行执行，除此以 外，还通过调整矩阵运算的顺序，降低了在编解码过程中涉及数据块 运算的次数，从而降低了计算的时间花销。本发明方法提升纠删码编 解码过程的性能，尤其是在多核处理器上运行时的性能。使用本发明 实现的编解码过程可以利用编码的潜在并行能力，充分发挥

华中科技大学 2021-04-14

温州市科学技术局关于印发《温州市概念验证中心和中试平台建设指引（试行）》的通知

助力科技成果从科技创新“关键变量”转化为高质量发展“最大增量”。

温州市科学技术局 2024-05-31

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

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

东南大学 2021-04-10