验证模型

摘要： 基于先进民机对更高巡航马赫数和更高气动效率的需求,研发了CAE-AVM模型。模型的设计巡航马赫数为0.85,巡航升力系数为0.5,展弦比为9.0。2013年和2018年先后在德国荷兰风洞(DNW)开展了两期高速风洞试验,试验马赫数范围为0.2~0.9,试验雷诺数为3×10^(6)和4.7×10^(6)。文章给出了详细的模型信息及风洞试验测量手段、试验结果及气动性能分析等。试验结果表明:相较于固定转捩,自然转捩试验的最小阻力系数约减小23 counts(1 count=0.000 1);巡航状态机翼翼尖扭转角变形量约为-0.95°;精细化风洞试验中在测力、测压试验时有必要同步开展红外观测与变形测量,同时开展变形测量标记点对气动特性的影响研究;风洞试验前有必要开展支架干扰及模型弹性变形影响的数值仿真分析。两期风洞试验结果重复性良好,研究表明CAE-AVM模型能够在较宽的马赫数范围内保持稳定的气动特性,可以作为空气动力学标准模型满足未来先进民机验证需求。

摘要： 分析车灯水珠凝聚的形成机理,提出一种新型的带防雾漆前照灯水珠凝聚的验证模型,探讨在不同温度、湿度、干燥包、透气孔下水珠凝聚的表现形式,并提出相关的优化措施。以某一款日行灯水珠凝聚为例,对水珠凝聚的条件进行分析和验证,并提出相关的解决措施,同时验证了验证方法和验证工况的有效性。

摘要： 近年来,我国大力推进低压可靠性统计工作,电力可靠性统计方式进一步与国际接轨.基于统计学原理,分析了影响中低压用户供电可靠率相关性的主要因素,建立了中低压用户供电可靠性指标关联性分析在实际配电网运行管理中的应用场景,为判断低压可靠性统计准确性提供了工具,为我国持续推广低压可靠性统计工作开展了有益探索.

摘要： 运用Petri网方法,建立了航空运输集装托盘生命周期的Petri网验证模型,并结合实例分析和软件模拟,有效验证了航空运输集装托盘生命周期的合理性和可行性,为其进一步优化改进提供了有力依据.

摘要： 随着区块链技术的日益成熟,许多领域都在研究其非同质化的应用,代币化的数字资产也逐渐流行起来。如何将代币化的虚拟内容更加方便安全地与现实世界结合起来,文章提出了一种基于非同质化代币的数字内容展示及验证系统。该系统充分利用了非同质化代币可以轻松实现加密,不可伪造、不可复制、流转追溯、数据透明且唯一的能力,可将任意有价值的事物通证化、追溯所有权、数据留存、拍卖和转售,实现信息与价值的交汇。

摘要： 桑蚕干茧质量指数(CQI)基于对桑蚕干茧收烘、流通、检验等各环节,确立架构、丰富内容、建立模型,并通过检验数据验证模型,经过与行业协会、交易市场、生产企业等多方面的研讨与测试,总结形成了桑蚕干茧质量指数(CQI)。

摘要： 目前,我国的经济在快速发展,社会在不断进步,油气站场一般设置有紧急停车系统(ESD)等存在操作员介入的非常规安全仪表功能(SIF),为解决已有的安全完整性等级(SIL)评估方法不能针对此类SIF进行功能安全评价的情况.对存在操作员介入的非常规SIF进行研究,将其中的人为因素细分为观察、决策和执行3个阶段;根据各类人因可靠性分析方法优缺点,筛选CREAM和HCR方法分别分析紧急情景环境和应急响应时间对非常规SIF人因失效概率的影响,建立考虑人因可靠性的SIL验证模型;基于此模型选取某输油站典型SIF开展SIL评估,分析人因失效对SIF整体可靠性的影响水平,并提出改善措施.结果表明:将操作员应急响应过程中的人因失效概率引入传统的SIL验证模型中,可实现对非常规SIF的功能安全评价;人因失效对非常规SIF具有显著影响,筛选的人因可靠性模型可准确计算人因失效概率.

摘要： 国内首次利用现场气象观测、摄影测量相结合的方法监测电厂大型冷却塔出口热羽排放形成的雾羽和荫屏、飘滴和沉降,分析了冷却塔对环境的影响。并采用流体力学数值模拟、现场影像、现场实际监测相结合的方法开展研究,模拟计算冷却塔热羽迁移扩散规律,对影响范围及程度开展全面深入的研究。归纳分析实际监测电厂冷却塔热羽对环境的影响,包括雾羽和荫屏、飘滴和沉降,并验证模型计算的科学性与合理性。

摘要： "可信计算"技术的核心是称为可信平台模块(TPM)的安全芯片,而TPM实际上是一个含有密码运算部件和存储部件的小型片上系统(SOC).本文介绍了TPM的核心部件,并依据可信计算组织(TCG)2005年2月给出的TPM标准1.2版本中规定的架构,在Altera公司的StratixⅡ-EP2S30开发平台上利用可编程片上系统(SOPC)技术实现了TPM的验证模型.该模型通过Avalon总线将用户自定义SHA-1、HMAC和RSA等算法引擎与Nios Ⅱ内核相连,最终形成一个完整的TPM的验证模型.与基于专用集成电路(ASIC)的片上系统(SOC)实现相比,该方式具有开发周期短,成本低,代价小的特点,可以随着TPM标准的更新而不断完善,并可在技术成熟时直接移植到Altera的HardCopyⅡ结构化ASIC平台上.

摘要： 压缩机采用热配合将马达定子固定于外壳内部,而热配合过程产生压应力(正向力)影响电机性能.本文提出压缩机热配合结构模型验证方法.首先,应用有限元素分析之干涉分析结果为正向力理论解,接着,藉由推力实验于验证有限元素模型正确性.实验结果显示,平整热配合结构于正向力验证较佳.经由验证模型为未来热配合于电机磁损研究应用.

摘要： 本文从大米包装内气氛、包装材料、环境等三方面分析影响大米气调保鲜效果的因素。在此基础上,建立大米在气调包装状态下的气体交换动力学模型。通过实验测定包装内CO2、O2气体浓度值,验证模型的可靠性。结果表明,包装内部气体体积分数变化方程模拟气体浓度变化趋势基本上与实验值趋势一致。

摘要： 可靠性指标的验证是导弹装备研制及列装、部署过程中的一项重要工作, 是导弹装备开展综合技术保障工作的基础。导弹装备存在着系统复杂、样本量小、时空覆盖范围广的特点,因此,文中将随机过程理论引入导弹装备的可靠性指标验证过程,分析了随机过程理论在可靠性指标验证中的适用性,提出了新的可靠性指标验证模型。该项研究将提高导弹装备可靠性指标验证结果的准确性、降低验证过程中的费用,并推动可靠性验证技术的发展。本文在可靠性工程研究领域具有一定的实际应用价值。

摘要： 本文详细论述了一种高性能微处理器验证模型的建模和模拟过程,所阐述的有限状态机(FSM)对p bus协议进行建模,是一种简单高效,使用方便的方法。

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

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

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

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

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

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

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

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

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

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