“模型验证”专利关键词查询_检索下载_查询列表_检索列表_行业专利分布_钻瓜专利网

钻瓜专利网为您找到相关结果952851个，建议您升级VIP下载更多相关专利

[发明专利]基于对抗学习的验证码生成方法、系统、设备及存储介质-CN202210578854.2在审
发明人：苏涛;谢强 -专利权人：武汉极意网络科技有限公司
申请日： 2022-05-25 - 公布日： 2022-08-02 - 主分类号： G06F21/36 文献下载
摘要：本发明提供一种基于对抗学习的验证码生成方法、系统、设备及存储介质，方法包括：获取预设配置文件，根据预设配置文件抽取识别模型池中模型，并基于生成对抗网络构建训练模型组和验证模型组；根据预设配置文件和训练模型组构建生成模型；获取生成模型输出的对抗验证码，根据对抗验证码和验证模型组，计算对抗验证码被识别率；在被识别率小于预设阈值时，将生成模型确定为验证码模型用以生成验证码；通过将对抗样本技术应用于验证码生成场景中，从而大大增加了验证码的安全性
基于对抗学习验证生成方法系统设备存储介质

[发明专利]模型验证方法、装置及计算机设备-CN202011463493.4有效
发明人：郑志升;张杨;刘方奇 -专利权人：上海哔哩哔哩科技有限公司
申请日： 2020-12-11 - 公布日： 2023-05-23 - 主分类号： G06F18/214 文献下载
摘要：本申请公开了一种模型验证方法、装置及计算机设备，该方法包括：获取目标模型基于基线数据执行模型训练的训练过程数据；从所述训练过程数据中拆分出数据输入过程和计算过程；接收关于所述目标模型的模型验证任务；调度所述数据输入过程和所述计算过程协同执行所述模型验证任务，以得到对应的第一验证结果和第二验证结果；将所述第一验证结果和所述第二验证结果聚合得到模型验证结果。本申请能够提高模型验证过程的灵活性，也提升模型验证效率。
模型验证方法装置计算机设备

[发明专利]一种符合DO-178B/C A级软件的模型验证方法-CN201410728455.5有效
发明人：田莉蓉;邢亮;牟明;戴小氐;黄晖;逯计划 -专利权人：中国航空工业集团公司第六三一研究所
申请日： 2014-11-29 - 公布日： 2015-03-25 - 主分类号： G06F11/36 文献下载
摘要：本发明公开了一种符合DO-178B/C A级软件的模型验证方法，用于解决基于模型的软件开发中的模型验证问题。该方法的主要步骤是：1)搭建验证系统架构；2)将待验证模型通过模型转换器转换为若干个特征模型；3)以若干个特征模型输入至验证数据和逻辑生成层生成验证数据集和验证逻辑集；4)将验证数据集和验证逻辑集生成验证程序集；从验证程序集中选取出验证程序子集；5)根据验证程序子集通过DO-178B/C中要求的软件覆盖强度级别进行验证；通过该方法为机载软件的适航合格审定提供有力支持。
一种符合 do 178 软件模型验证方法

[发明专利]一种形式验证方法、装置、形式验证平台及可读存储介质-CN201910258364.2在审
发明人：张兴革;冯春阳;王俊杰;彭琅;黄晶;刘刚;王鹿 -专利权人：苏州中晟宏芯信息科技有限公司
申请日： 2019-04-01 - 公布日： 2019-06-25 - 主分类号： G06F17/50 文献下载
摘要：本发明公开了一种形式验证方法、装置、形式验证平台及可读存储介质，该形式验证方法包括如下步骤：获取输入待测模型的待验证源操作数；判断待验证源操作数是否属于必要验证源操作数；如果待验证源操作数不属于必要验证源操作数，则确定将待验证源操作数作为输入时，待测模型与参考模型的输出结果相等；如果待验证源操作数属于必要验证源操作数，则启动形式验证工具，将验证待验证源操作数作为输入，根据待测模型的输出结果与参考模型的输出结果进行验证通过在启用形式验证工具验证待测模型和参考模型的输出结果是否相等之前，判断待验证源操作数是否属于待测模型的必须要验证源操作数，降低了形式验证方法出现空间爆炸问题的风险。
源操作数验证形式验证输出结果参考模型可读存储介质形式验证工具相等爆炸

[发明专利]验证模型及其构建方法、芯片验证方法和验证系统-CN202111116404.3在审
发明人：周建伟 -专利权人： OPPO广东移动通信有限公司
申请日： 2021-09-23 - 公布日： 2023-03-28 - 主分类号： G06F30/33 文献下载
摘要：本申请实施例涉及一种验证模型及其构建方法、芯片验证方法和验证系统，验证模型的构建方法，包括：获取处理器的RTL模型，RTL模型被配置有对应的目标处理功能；通过System Verilog语言对RTL模型进行抽象以建立总线功能模型，总线功能模型用于与待验证设计连接；对总线功能模型进行封装，并对封装后的总线功能模型配置应用程序编程接口，验证模型在应用程序编程接口被调用时，总线功能模型用于执行对应的目标处理功能，以对待验证设计进行验证通过获取抽象层次较高的总线功能模型，可以提高了仿真验证的收敛速度。而且在验证过程中，可以通过System Verilog语言语句直接调用应用程序编程接口，从而省去了对C语言语句的编译、汇编过程，提高了验证效率。
验证模型及其构建方法芯片系统

[发明专利]一种验证模型的方法及装置-CN201610207059.7在审
发明人：王振江;王朝辉;钟俊华 -专利权人：浪潮电子信息产业股份有限公司
申请日： 2016-04-05 - 公布日： 2016-07-20 - 主分类号： G06F17/50 文献下载
摘要：本发明提供了一种验证模型的方法及装置，该方法包括：首先确定待验证模型中的每一个变量的取值范围，从而获得该待验证模型的多个模型行为；对于每一个模型行为，均将其拆分为多个行为状态，且通过设置每一个行为状态的触发条件，以确定该多个行为状态的状态跳变顺序，从而根据该状态跳变顺序依次验证这多个行为状态，并最终完成对该模型的多个模型行为的验证操作。通过确定待验证模型的各变量的取值范围，可以锁定相应的多个模型行为进行验证，而非对与该模型相对应的全部模型行为进行全面验证。因此，本方案能够提高设计模型的验证效率。
一种验证模型方法装置

[发明专利]模型验证数据存储方法、装置、电子设备及介质-CN202210568857.8在审
发明人：黄伟健;梅粲文;刘礼方;刘德晓;李伟俊;谭立鹏;钟娅;王子恒 -专利权人：珠海紫燕无人飞行器有限公司
申请日： 2022-05-24 - 公布日： 2022-08-19 - 主分类号： G06V10/776 文献下载
摘要：本发明提供一种模型验证数据存储方法、装置、电子设备及存储介质，该模型验证数据存储方法包括：响应于模型验证数据存储，获取模型验证结果，模型验证结果包括测试结果信息和指标信息；根据模型复现请求，获取用户权限，根据用户权限查找测试结果信息和指标信息；根据本地数据和验证数据，通过可视化界面对测试结果信息和指标信息以可视化进行对比显示。本发明实现了模型验证的有效管理和存储，实现了模型验证的可视化和复现。
模型验证数据存储方法装置电子设备介质

[发明专利]一种调整验证模型的方法、验证方法、服务器以及存储介质-CN201711422724.5有效
发明人：叶飞;何帆 -专利权人：深圳回收宝科技有限公司
申请日： 2017-12-25 - 公布日： 2020-10-02 - 主分类号： H04M1/24 文献下载
摘要：本发明实施例提供了一种调整验证模型的方法，其特征在于，包括：接收针对待检测终端的验证请求，其中所述验证请求中包括有待检测终端的特征信息以及标识信息；根据所述标识信息，获取与所述待检测终端关联度超过设定阈值的终端历史验证数据；获取针对所述待检测终端的验证模型，其中所述验机模型是根据所述终端历史验证数据来调整验证参数的模型；根据所述验证模型，对所述待检测终端的特征信息进行验证，以确定所述待检测终端的验证结果。本发明实施例提供的调整验证模型的方法，能够根据历史验证数据来针对性的调整验证模型。
一种调整验证模型方法服务器以及存储介质

[发明专利]基于知识图谱的仿真模型验证参照物构建方法及系统-CN202310566898.8在审
发明人：陆志沣;张明恩;钱晓超;陆营波;洪泽华 -专利权人：上海机电工程研究所
申请日： 2023-05-18 - 公布日： 2023-09-29 - 主分类号： G06F16/36 文献下载
摘要：本发明提供了一种基于知识图谱的仿真模型验证参照物构建方法及系统，包括：根据各类武器装备以及对应仿真模型的验证需求构建层次化的仿真模型验证本体；从包括武器装备信息、外场试验数据、仿真模型信息、仿真实验信息和仿真数据中对武器装备和仿真模型验证涉及的实体与关系进行抽取；基于仿真模型验证本体对仿真模型验证的实体与关系进行实体对齐与属性填充，将抽取获得的知识进行融合，构建结构化的仿真模型验证知识图谱；基于构建的仿真模型验证知识图谱，根据需求检索仿真模型验证知识图谱中的实验实体及相关联的实验数据，采用综合推荐指标推荐出最适合的模型验证参考数据，并将推荐结果进行分组展示。
基于知识图谱仿真模型验证参照物构建方法系统

[发明专利]一种用于建筑陶瓷生产的预测模型验证方法-CN202210689028.5在审
发明人：姚青山;白梅;聂贤勇;陈淑琳 -专利权人：西藏众陶联供应链服务有限公司;佛山众陶联供应链服务有限公司;林周佳住家网络科技有限公司;林周利利佳供应链服务有限公司;共青城市众陶联供应链服务有限公司
申请日： 2022-06-17 - 公布日： 2022-08-19 - 主分类号： G06Q10/04 文献下载
摘要：本发明涉及模型验证技术领域，尤其涉及一种用于建筑陶瓷生产的预测模型验证方法，包括以下步骤：步骤S1：对待验证的预测模型进行离线验证，得到离线验证结果；步骤S2：判断离线验证结果是否符合离线生产要求，如果符合，则进行步骤S3，如果不符合，调整预测模型，再重复步骤S1；步骤S3：对通过离线验证的预测模型进行在线验证，得到在线验证结果；步骤S4：判断在线验证结果是否符合在线生产要求，如果符合，则完成验证，如果不符合，调整预测模型，再重复步骤S1。本发明能验证建筑陶瓷生产的预测模型的可行性和准确性，同时保障验证过程中预测模型的有效性且降低试错成本。
一种用于建筑陶瓷生产预测模型验证方法

[发明专利]安全验证方法、装置、电子设备及存储介质-CN202210616464.X在审
发明人：张明凡 -专利权人：中国电信股份有限公司
申请日： 2022-06-01 - 公布日： 2022-09-20 - 主分类号： G06F21/31 文献下载
摘要：本发明实施例提供了一种安全验证方法、装置、电子设备及存储介质，所述方法包括：响应于安全验证指令，若所述移动终端具有重力传感器，则在所述图形用户界面中显示与所述安全验证指令对应的第一验证界面，所述第一验证界面至少包括验证提示信息以及验证指示模型，所述验证指示模型包括基准模型以及指示模型；响应于控制所述移动终端进行运动的操作，控制所述指示模型在所述基准模型中跟随所述移动终端的运动方向进行变化，若所述基准模型与所述指示模型之间的位置关系满足所述验证提示信息，则输出验证通过信息。
安全验证方法装置电子设备存储介质

[发明专利]一种基于模型翻译的Ptolemy离散事件模型形式化验证方法-CN202011078298.X在审
发明人：王瑞;陆芝浩;关永;孔辉;李晓娟;施智平 -专利权人：首都师范大学
申请日： 2020-10-10 - 公布日： 2021-01-01 - 主分类号： G06F30/20 文献下载
摘要：本发明公开一种基于模型翻译的Ptolemy离散事件模型形式化验证方法，包括：S1：获取Ptolemy离散事件模型；S2：将Ptolemy离散事件模型翻译成适合模型验证的形式化Uppaal模型；S3：对所述Uppaal模型中功能逻辑的性质进行形式化描述；S4：改进Ptolemy模型验证界面；S5：将步骤S2翻译生成的Uppaal模型与步骤S4获得的验证界面结合，完成对Ptolemy离散事件模型的验证，并将验证结果返回到验证界面本发明可以使用Uppaal进行仿真分析，同时可以黑盒的进行安全性、可达性的分析；避免了状态空间爆炸；保证了模型一致性，同时降低了验证的复杂度；可以降低模型验证的复杂度。
一种基于模型翻译 ptolemy 离散事件形式化验证方法

[发明专利]神经网络处理器关键标准与验证芯片的应用方法-CN202111309570.5在审
发明人：曹小伍;曹景溢;雷铭杰;赢义;欧阳思奕;李德胜 -专利权人：杭州翔毅科技有限公司
申请日： 2021-11-06 - 公布日： 2021-12-24 - 主分类号： G06F30/27 文献下载
摘要：本发明提供神经网络处理器关键标准与验证芯片的应用方法，涉及芯片开发技术领域。该方法，包括以下步骤：建立用于模拟验证芯片的芯片功能的参考模型；根据验证芯片的参考模型建立芯片模型；将随机测试用的神经网络模型在参考模型中运行；将芯片的实际运行值从芯片中扫描出来；将从芯片中扫描出来的实际运行值与参考模型的标准参考值进行比较，通过确定参考模型与芯片模型的指令与数据的格式，获得对芯片模型的验证结果。通过获取验证芯片参考模型的神经网络功能的正确性，通过按任务形成对被验证芯片模型的激励数据，获得对芯片模型的验证结果，缩短了验证的开发时间和调试时间，提高验证芯片的测试效果。
神经网络处理器关键标准验证芯片应用方法

[发明专利]银行领域的广义线性模型训练方法、装置、设备和介质-CN202310716362.X在审
发明人：请求不公布姓名 -专利权人：天云融创数据科技（北京）有限公司
申请日： 2023-06-15 - 公布日： 2023-10-27 - 主分类号： G06F8/36 文献下载
摘要：本申请涉及一种银行领域的广义线性模型训练方法、装置、设备和介质，该方法包括：对包含多个应用对象的数据进行处理，获得目标训练集和目标验证集；基于目标训练集，训练初始广义线性模型得到目标广义线性模型；基于目标验证集对目标广义线性模型进行评估，得到目标验证集对应的第一模型评估指标；在根据第一模型评估指标确定针对目标验证集目标广义线性模型可用的情况下，按照不同的应用对象对目标验证集进行分组，得到多个子验证集；基于每个子验证集对目标广义线性模型进行评估得到每个子验证集对应的第二模型评估指标；在根据每个子验证集对应的第二模型评估指标确定针对多个子验证集目标广义线性模型均可用的情况下输出目标广义线性模型。
银行领域广义线性模型训练方法装置设备介质

[发明专利]多模式GPU联合仿真系统-CN202211418544.0有效
发明人：请求不公布姓名 -专利权人：沐曦集成电路（上海）有限公司
申请日： 2022-11-14 - 公布日： 2023-02-07 - 主分类号： G06F30/398 文献下载
摘要：本发明涉及一种多模式GPU联合仿真系统，包括待测设计、参考模型、第一验证结构、第二验证结构和第三验证结构，在第一阶段，设置为参考模型单独工作模式，通过运行第一验证结构，验证参考模型，或设置为待测设计单独工作模式，通过第二验证结构，验证待测设计；在第二阶段，设置为联合仿真模式，通过第三验证结构基于参考模型验证待测设计，若参考模型故障，则切换为待测设计单独工作模式，通过第一验证结构验证待测设计，同时采用参考模型单独工作模式，通过第一验证结构，确定参考模型故障点。本发明使得参考模型和待测设计解耦合，提高了GPU联合仿真的准确性、高效性和可靠性。
模式 gpu 联合仿真系统