模型验证

摘要： WOFOST模型是世界粮食研究中心和荷兰瓦赫宁根大学共同开发的作物生长模拟模型,为评价其在德州市的适用性,采用2015—2016年的冬小麦生长观测资料对模型进行本地化,采用1981—2017年的逐日气象观测数据以及冬小麦产量数据验证模型在产量模拟中的适用性。结果表明,校准后的WOFOST模型对冬小麦生物量、产量及生育期的模拟效果较好,验证期茎干重、地上部分总干重以及产量的模拟值与观测值的RMSE分别为29.3、92.1、86.7 g/m^(2),NRMSE分别为13%、15%和14%,生育期模拟值与实测值的平均误差为4 d,可见WOFOST模型能较准确地模拟冬小麦的生长动态及产量形成,适用于德州市冬小麦生长模拟和产量预测。

摘要： 本文以国网某省电力有限公司(简称省电力公司)为例,利用电力用户的流量资源、用户与用能的数据资源基础上,建设并应用了以电力客户为中心的用户成长体系。

摘要： 本文在分布式水文预报的平台上,对汤旺河流域的洪水预报模型进行研究,依据土壤水的再分布,选取蓄满两层水源模型、径流系数两水源模型、霍顿两水源模型、微调版新安江模型进行对比分析,分析参数的敏感性,进行模型验证及精度评定,确定适合汤旺河上游五营站的洪水预报模型及参数。

摘要： 现有的钢筋与混凝土之间的黏结滑移有限元模拟方式存在建模繁琐、计算量大、部分适用条件有限等不足,需要简化和改进。为此,基于ABAQUS有限元分析软件,提出了一种基于双重壳模型的钢筋黏结滑移有限元模拟简易方法。双重壳模型由内嵌于混凝土的极小刚度、厚度的孔道基壳及与实际等弹性模量、等截面积的钢筋壳组成,并在重合的壳-壳界面处设置黏结滑移本构关系。使用此方法分别对钢筋中心拨出试验、梁受弯试验进行了有限元模型验证,并对比其他计算模型和试验数据。结果表明,双重壳模型的计算成本介于实体钢筋模型及钢筋嵌入模型之间,且能有效地模拟钢筋黏结滑移关系;其整体分析结果与试验结果吻合良好;考虑钢筋粘结滑移效应后,构件的刚度有略微降低。故该方法用于RC结构的有限元分析是可行的。

摘要： 为了充分利用视频中的有效信息,文中提出一种多模型互相融合的双人交互视频行为识别方法。为了解决人体目标检测不全以及特征提取冗余的问题,首先用YOLO_V4检测出人体,去除背景冗余信息;然后提出在Inception_V3网络中引入通道注意力模型SE⁃NET,进而强化关键特征的提取,使网络更加关注关键特征的细节;最后将特征信息送入拥有记忆功能的LSTM网络进行动作识别和分类。在一个国际公开的UT⁃Interaction数据集上测试验证文中提出的多模型互相融合双人交互识别算法。实验分析结果表明,交互行为识别的准确率有所提高,提高后的准确率为85.1%,说明多模型融合的方法具有更高的准确率。

摘要： 为提高电驱动总成差速器壳体疲劳寿命分析的准确性,基于实测载荷谱和台架试验开展疲劳寿命分析。首先建立差速器壳体有限元模型,基于液压伺服系统、应变测试系统等设计了动态载荷加载试验系统,并分别进行了相同条件下的试验和有限元分析,验证了有限元模型的精确性,在此基础上,基于实测载荷谱,综合运用验证后的有限元模型、名义应力法、壳体修正S-N曲线和修正平均应力等,对差速器壳体疲劳寿命进行了分析,结果表明,疲劳破坏位置与实车行驶时疲劳破坏位置一致。

摘要： 随着电网规模的扩大、分布式能源的高比例渗透,电网分析决策对电网模型的全面性和准确性提出了更高的要求。针对交换模型所依赖的公共信息模型(common information model,CIM)存在版本变化频繁、自定义扩展不可避免以及模型质量要求动态演化的问题,提出基于形状约束语言(shapes constraint language,SHACL)的电网模型知识图谱验证方法。基于CIM构建电网模型的概念图谱和实体图谱,设计了电网模型验证的CIM模式一致性形状和基于简单协议和资源描述框架查询语言(simple protocol and RDF query language,SPARQL)的跨类、跨属性一致性形状。基于SHACL的电网模型知识图谱验证方法无需对验证规则进行硬编码,提升了电网模型质量验证的灵活性,满足应用对模型质量要求的动态演化。

摘要： 目的探究头孢呋辛致药物性肝损伤(DILI)的危险因素,并构建相关预测模型。方法借助自动监测系统,回顾性筛选合肥京东方医院2019年10月至2020年10月使用注射用头孢呋辛钠治疗的271例患者,采用整群随机分组法将患者分为训练集(n=203)和验证集(n=68),采用单因素和Logistic回归多因素分析训练集头孢呋辛致DILI的危险因素,并建立相关列线图预测模型。结果年龄≥60岁(OR=3.497,95%CI:1.177~10.391)、BMI≥28 kg/m2(OR=3.333,95%CI:1.207~9.202)、酗酒(OR=3.399,95%CI:1.129~10.234)、低蛋白血症(OR=3.272,95%CI:1.088~9.837)和用药剂量>2.25 g/d(OR=9.045,95%CI:3.397~24.083)是头孢呋辛致DILI的独立危险因素(P<0.05)。基于危险因素建立预测头孢呋辛致DILI的列线图模型,并对该模型进行验证,结果显示训练集和验证集的C-index分别为0.774和0.758,校正曲线均趋近于标准曲线,ROC曲线的AUC分别为0.785(95%CI:0.735~0.834)和0.765(95%CI:0.707~0.779),表明该模型具有良好的预测能力。结论头孢呋辛致DILI的危险因素较多,基于危险因素构建的列线图预警模型能够准确预测头孢呋辛致DILI的风险。

摘要： 以某型号门座起重机为研究对象,运用多体动力学分析软件ADAMS建立其虚拟样机模型,并从模型的自由度验证、理论计算结果与软件计算结果对比等两个角度来验证模型的合理性,在此基础上对其臂架系统在空载、吊载工况下的变幅过程进行动态仿真分析,得到门座起重机象鼻梁头部滑轮的轨迹、各铰接关节的受力等,为门座起重机臂架结构的设计计算提供理论指导。

摘要： 随着红外成像技术的发展和应用,红外系统成像仿真及验证技术越来越受到重视。现有仿真模型验证方法没有考虑到人眼视觉的影响,可能导致严重后果,为了解决这一问题,提出了基于识别距离的红外系统成像仿真模型验证方法。以识别距离作为红外系统成像仿真模型的准确度评价因子,考评仿真图像与实测图像在灰度分布、信噪比、分辨率、成像大小、人眼视觉等方面的综合差异。

摘要： 计算机技术的日益发展使得高性能电磁模拟在民航、军事等领域应用越来越广泛,而只有保证了建模与仿真的置信度,电磁模拟仿真才具有实际应用价值和意义.验证和确认(Verification and Vali-dation,V&V)是置信度评估的重要手段,随着评估手段的日益客观化和科学化,不确定度量化和传播是目前V&V研究的主要核心方向.由于复杂电磁模型不确定源种类繁多,类型各异,面临超大计算量的问题,致使不确定度量化的本地化过程具有挑战性.本文针对复杂电磁模型验证与确认的瓶颈问题,紧密结合复杂电磁模型不确定源的特点,开展不确定源的量化分析研究,采用非嵌入式多维多项式混沌方法研究电磁模型仿真输入参数不确定引起的相关输出响应量的不确定度,并兼顾数值稳定性.在此基础上应用于电磁领域模型的置信度评估,促进高性能数值模拟在电磁领域的大规模集成及应用.

摘要： 随着仿真技术的不断发展,模型验证技术越来越显示出其重要性.天空亮度是空中目标识别等领域中的重要数据,具有地域性各异的特点.本文在某地区天空亮度测量数据的基础上,建立了标准天空亮度模型,研制了基于MATLAB GUI和STKX插件的天空亮度模型验证程序,应用Mallat算法和赛氏不等式法对某地区天空亮度模型进行了模型验证工作.通过实例分析,证明了本文所提方法的有效性.

摘要： 半实物仿真技术为雷达侦察装备试验提供了新的技术手段,但仿真模型的有效性仍是制约仿真试验应用的重要因素.从雷达侦察试验需求出发,提出了"综合评估—工作流程—系统指标—信号特征—仿真模型"的5级模型验证层次框架及主要层次元素,研究了模型关键度传递结构及其分析方法,并基于典型试验需求分析得到了模型关键度,既为不同模型验证的重要性提供了衡量标准,又为仿真系统有效性的综合评判提供了模型权重依据。

摘要： 本项目的研究目标是给出一套基于模型迁移理论的近空间高超声速飞行器动力学建模新方法;探索一套基于灰色关联度分析的高超声速飞行器动力学模型验证新方法;给出一套适合控制系统设计的、具有明确可信度的高超声速飞行器动力学模型.

摘要： 状态爆炸问题导致CP-nets并发模型的正确性验证工作十分困难.提出基于并发属性的模型化简方法和基于功能组合的模型抽象方法对模型进行处理,移去与并发属性不相关的模型元素,提升模型的抽象层次,模型状态空间规模得到显著降低,并在并发属性相关行为上与原模型保持一致;在处理后模型中运用状态空间分析、模型检测等验证方法完成模型验证,针对验证得出的模型错误,通过处理前后模型的对照关系在原模型中进行改正.一定程度上避免了状态爆炸问题并实现了模型验证.将上述方法应用于HMIPv6协议模型,验证了上述方法的有效性.

摘要： 本文通过利用模拟计算软件AVL BOOST对天然气发动机进行计算,为天然气发动机的前期设计以及发动机主要零部件的选型提供理论依据,在发动机设计完成后将其试验结果与计算结果进行对比,验证该计算模型的正确性,并对其进行修正,为该天然气发动机进一步优化及改进奠定基础.

摘要： 本文通过利用模拟计算软件AVL BOOST对天然气发动机进行计算,为天然气发动机的前期设计以及发动机主要零部件的选型提供理论依据,在发动机设计完成后将其试验结果与计算结果进行对比,验证该计算模型的正确性,并对其进行修正,为该天然气发动机进一步优化及改进奠定基础.

摘要： 本文通过利用模拟计算软件AVL BOOST对天然气发动机进行计算,为天然气发动机的前期设计以及发动机主要零部件的选型提供理论依据,在发动机设计完成后将其试验结果与计算结果进行对比,验证该计算模型的正确性,并对其进行修正,为该天然气发动机进一步优化及改进奠定基础.

摘要： 本文通过利用模拟计算软件AVL BOOST对天然气发动机进行计算,为天然气发动机的前期设计以及发动机主要零部件的选型提供理论依据,在发动机设计完成后将其试验结果与计算结果进行对比,验证该计算模型的正确性,并对其进行修正,为该天然气发动机进一步优化及改进奠定基础.

摘要： 在分析各种产品销售量预测模型的基础上,提出采用模糊预测方法的建议,给出了模糊时间序列预测模型的基本算法,并应用实例验证了模型的有效性.通过某品牌彩电销售量实际值和预测结果的比较分析发现:这种模糊时序模型能表示时间序列的趋势和季节性变化的可能范围，可以成功地给出预测的不确定程度。经营者可以通过选择不同的水平，并在相应的范围内进行生产计划、库存最优化设计等工作。拟合度标准h0和系统模糊度s是彼此不相容的，h0给得愈严格(h0值越大)，则模型愈模糊(S值越大)。

摘要： 本发明提供软件行为模型化装置、软件行为模型化方法、软件行为验证装置以及软件行为验证方法。软件行为模型化装置(100)包括：事件信息取得部(110)，其取得表示在软件的运行中发生的特定事件的事件信息；堆栈信息取得部(120)，其取得在发生特定事件的时刻存储在暂存器中的堆栈信息；模型生成部(130)，其根据包含在堆栈信息中的返回地址存储在暂存器中的存储位置，对返回地址设定得分，并使用存储位置以及得分，对所述特定事件与所述要素之间的关系进行模型化，生成所述软件的行为模型。

摘要： 本发明涉及主动流动控制技术领域，具体涉及一种射流舵面力矩控制性能的飞行验证方法及飞行验证模型。飞行验证方法包括步骤：S1、在飞行平台设置射流舵面；S2、为飞行平台设置至少两种不同的力矩状态；及S3、在飞行平台的不同的力矩状态下验证射流舵面的力矩控制性能。飞行验证模型包括飞行平台、射流环量控制系统和力矩特性调节装置；射流环量控制系统用于控制飞行平台的飞行状态；力矩特性调节装置用于调整飞行平台的力矩特性。其能够在保证飞机安全操控的姿态角范围内，有效拓展射流舵面的力矩控制边界，同时全面地定量考核射流舵面的力矩控制能力及其与控制变量之间的非线性关系。

摘要： 本发明涉及射流控制技术领域，具体涉及一种射流控制飞行验证方法及飞行验证模型。验证方法包括步骤：S1于飞行平台设置射流舵面和机械舵面；S2设置飞行平台的基准状态；S3利用机械舵面将飞行平台调整至基准状态后，锁定机械舵面；S4利用射流舵面操控飞行平台，以对射流舵面的控制性能进行验证。验证模型，其包括：飞行平台、射流舵面、机械舵面和切换机构；射流舵面和机械舵面均设于飞行平台。其能够大大降低射流验证过程的技术风险和安全风险，有效保障射流验证过程的准确性和安全性，使得射流验证过程能够可靠、稳定实施，降低了射流验证过程的技术难度。

摘要： 本发明涉及一种基于熔融堆积成型工艺的汽车机舱验证模型的制造方法及系统、汽车机舱验证模型。该方法包括以下步骤：S01：获取机舱验证模型（1）的部分实体数据；S02：将机舱验证模型数据主体结构（1）的部分实体数据进行抽壳处理，形成模型主体结构的部分实体表面薄壳，模型主体结构的部分实体表面薄壳内部填充网格；S03：将S02中经过抽壳处理的部分实体数据处理为切片数据；S04：使用熔融堆积成型工艺的3D打印设备根据切片数据制造机舱验证模型（1）的部分实体；S05：控制五轴加工设备对S04中的部分实体进行精细加工。本发明优点：缩短制造周期；提升原材料利用率，防止产生大量废屑和粉尘。

摘要： 本发明提供软件行为模型化装置、软件行为模型化方法、软件行为验证装置以及软件行为验证方法。软件行为模型化装置(100)包括：事件信息取得部(110)，其取得表示在软件的运行中发生的特定事件的事件信息；堆栈信息取得部(120)，其取得在发生特定事件的时刻存储在暂存器中的堆栈信息；模型生成部(130)，其根据包含在堆栈信息中的返回地址存储在暂存器中的存储位置，对返回地址设定得分，并使用存储位置以及得分，对所述特定事件与所述要素之间的关系进行模型化，生成所述软件的行为模型。

摘要： 本发明公开了一种基于模型设计的测试验证环境搭建系统及验证方法，涉及芯片测试验证技术领域。该测试验证环境搭建系统，包括：总线模块、第一存储以及缓存模块、第二存储以及缓存模块、第一协议转换模块、第二协议转换模块、状态控制模块、待测试原型，所述第一存储以及缓存模块、第一协议转换模块、待测试原型、第二协议转换模块、第二存储以及缓存模块依次通过总线模块连接，所述状态控制模块分别与第一存储以及缓存模块、第二存储以及缓存模块、第一协议转换模块、第二协议转换模块连接。通过上述测试验证环境搭建系统进行原型验证，可以提高测试验证环境的搭建效率以快速适应不同架构的待测试原型。

摘要： 本申请公开了一种语音验证方法、语音验证模型的训练方法及相关装置，其中，语音验证方法包括：对测试语音进行第一特征提取，得到测试语音的音频特征，并对目标对象发出的参考语音进行第一特征提取，得到参考语音的音频特征；其中，不同对象所发出语音的音频特征不同；以及对测试语音进行第二特征提取，得到测试语音的鉴别特征；其中，鉴别特征包含用于鉴别发出测试语音的对象是否为活体的特征信息；再基于测试语音的音频特征、参考语音的音频特征和鉴别特征，得到测试语音的验证结果；其中，验证结果包括测试语音是否由目标对象说出。上述方案，能够提高语音验证的准确率。

摘要： 本发明涉及主动流动控制技术领域，具体涉及一种射流舵面力矩控制性能的飞行验证方法及飞行验证模型。飞行验证方法包括步骤：S1、在飞行平台设置射流舵面；S2、为飞行平台设置至少两种不同的力矩状态；及S3、在飞行平台的不同的力矩状态下验证射流舵面的力矩控制性能。飞行验证模型包括飞行平台、射流环量控制系统和力矩特性调节装置；射流环量控制系统用于控制飞行平台的飞行状态；力矩特性调节装置用于调整飞行平台的力矩特性。其能够在保证飞机安全操控的姿态角范围内，有效拓展射流舵面的力矩控制边界，同时全面地定量考核射流舵面的力矩控制能力及其与控制变量之间的非线性关系。

摘要： 本发明涉及射流控制技术领域，具体涉及一种射流控制飞行验证方法及飞行验证模型。验证方法包括步骤：S1于飞行平台设置射流舵面和机械舵面；S2设置飞行平台的基准状态；S3利用机械舵面将飞行平台调整至基准状态后，锁定机械舵面；S4利用射流舵面操控飞行平台，以对射流舵面的控制性能进行验证。验证模型，其包括：飞行平台、射流舵面、机械舵面和切换机构；射流舵面和机械舵面均设于飞行平台。其能够大大降低射流验证过程的技术风险和安全风险，有效保障射流验证过程的准确性和安全性，使得射流验证过程能够可靠、稳定实施，降低了射流验证过程的技术难度。

摘要： 本发明实施例公开了一种验证码识别模型训练方法、验证码自动识别方法及服务器，用于解决现有技术中验证码的抗自动识别能力较弱的问题，该方法包括：获取批量样本验证码图像；对所述样本验证码图像进行预处理；提取预处理后的样本验证码图像的特征数据；根据所述特征数据及其概率，训练验证码识别模型，验证码识别模型可以识别验证码图像并确定其安全性，使得通过验证码识别模型识别出的验证码，其抗自动识别能力较强，即可以筛选掉不安全的验证码，提升网络的安全，减少网络攻击的可能，提升经济效益。