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

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

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

一种RANSAC计算基本矩阵中内点门限设置算法

为了解决计算机多视几何中稀疏特征点错误匹配导致基本矩阵F精度不高的问题，提出一种RANSAC(RANdom SAmple Consensus)求解F时自动设置内点门限的方法。此方法根据RANSAC求解F矩阵的要素，将固定设置极线距离门限Th的方式改为自动设置，提高了算法的鲁棒性。这些要素是图像对中的稀疏特征点匹配的个数N、图像像素多少、初始计算得到的特征点到极线的平均距离Dinit。Th计算采用公式Th = Min(w×N/51200, Dinit/3)，w为图像的宽，单位为像素。Min为取二者最小值的函数。门限Th与图像大小和特征点匹配个数成正比，图像越大，匹配越多，Th越大。相对于传统方法，本方法将固定门限变成了自动设置，可以自适应三维重建不同类型的图片，更加实用和鲁棒。

四川大学 2016-10-08

基于 RCM 编码矩阵权重不等分配的视频传输方法

本发明公开了一种基于 RCM 编码矩阵权重不等分配的无线视频传输方法。包括：构造具有 UEP 性能的 RCM 矩阵；提取信源端用 H.264进行编码的视频中的 I 帧、P 帧和 B 帧；对 I 帧、P 帧和 B 帧进行比特划分；根据比特划分结果，分别取 I 帧、P 帧和 B 帧中的比特组成数据包，对比特流进行重组；采用具有 UEP 性能的 RCM 矩阵对重组的比特流进行编码，使 I 帧、P 帧和 B 帧的比特流获得合理的 UEP 保护效果，提高接收端的用户视觉体验。本发明通过设计具有 UEP 性能的无速率编码 RCM 为视频中对视频质量影响依次减弱的 I 帧、P 帧和 B帧的视频流分配依次减小的权重值，实现了 H.264 视频在不同的信道条件下的平滑质量传输。

华中科技大学 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

一种用于导航信号的 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

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

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

武汉大学 2021-04-13

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

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

华中科技大学 2021-04-14