一种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

我国成功实现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

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

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

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

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