验证方法相关论文
介绍了冬季发动机节气门阀板结冰的原理，提出了一种有效的试验验证方法。同时从布置、软件功能、零件设计方面对改进措施进行系统性......
通过概括和总结在汽车线束管路装配过程中会涉及的所有种类和所有失效模式，在此基础上提出1种对线束管路装配的验证和优化的方法，第1......
针对动态条件下用户较难验证接收机相对定位精度的问题,提出了一种联动目标动态实时相对定位精度验证方法。该方法通过在地面上架......
捕风一号卫星是中国首次实现基于星载导航卫星反射信号测量(global navigation satellite system-reflection,GNSS-R)技术的气象卫......
整车电量平衡对于车辆用电器能否正常工作具有至关重要的意义.整车电量平衡测试可验证电气参数在前期设计阶段是否符合其理论值,并......
贮奶罐(特指“立式贮奶罐”)是液态奶工厂重要的产品暂存设备,其自身的清洗效果不好会对贮存的产品造成污染,影响产品品质.贮奶罐......
国产民用飞机维修程序存在验证方法不完善的问题,有必要对其验证方法进行研究。根据飞机维修手册技术中的程序类型和程序内容,介绍......
灭菌器是用来灭菌、消毒的设备,自问世以来得到了普遍应用,不仅适用于医疗卫生部门,更适用于医疗器械制造工业。尽管灭菌器的应用......
研究目的:通过实验研究尝试使用运动员定值新鲜血建立运动生化血液分析的辅助校准与性能验证方法。研究方法:根据比较实验的不同,......
伴随着人类对真实世界认知手段的多样化，仿真模型的结构和规模变得日益复杂，人们逐渐把关注的焦点转移到模型的可信度上来。从实用性......
无人机飞行控制系统作为飞行器关键系统之一,负责飞行器从起飞至降落的整个飞行过程。飞控系统软件具有安全性能要求高、功能繁多......
安全协议验证是保证网络安全的重要技术之一，本文以导师苏开乐教授提出的一种新的基于知识理论的安全协议形式化验证逻辑(本文称其......
民航作为社会发展和国民经济的重要领域，是一项高投入、高技术和高风险的行业。民航业务系统安全水平是影响和制约民航业务发展的重......
随着计算机技术的发展，软件和软件系统在生产生活中的应用越来越广泛。除了微型计算机中的应用软件外，在工业制造、交通运输乃至军事......
芯片的验证工作,对提高投片成功率起到关键性作用。有资料显示,造成芯片一次投片成功率低于50%的主要原因就是功能验证还不够完善......
近年来,互联网搜索引擎得到迅猛发展和广泛普及,但大粒度输入的搜索需求被各大搜索引擎所忽视;而且,尽管用户通过搜索引擎能够快速......
在因特网技术飞速发展的今天，信息安全问题已经成为日益突出的问题。安全协议的出现虽然在很大程度上提高了网络信息传输的安全性，但......
模型检测作为一种重要的形式化验证技术,具有可靠、高效的优点,能够实现自动验证,获得了越来越多的关注,并在硬件电路、通信协议、......
随着仿真模型技术的广泛应用，如何提高复杂仿真模型系统的开发效率和降低开发成本问题变得越来越重要。由于系统的复杂性，难于直接开......
针对无人机(UAV)机载设备和软件在不具备真实飞行环境下的对地攻击流程验证问题,提出了一种基于观察-判断-决策-行动(OODA)循环的......
摘 要：本文通过采用自主研发的黄曲霉毒素B1胶体金快速测试卡，结合精密仪器、精密试纸等精确定量检测，强化集成创新，研发快速检测和非......
作为一门前沿科学,智能优化算法是通过求解目标问题,并比较得到的结果来判断其性能优劣。目前,它存在一个不合理的现状:测试出有着......
模型仿真技术已逐渐取代物理样机试验成为汽车被动安全领域的主要研究工具,研究人员开发了各种仿真模型来模拟动态系统,在这些模型......
目的通过对传统策略、逆向策略、双检策略这3种梅毒血清学检测策略和验证方法进行评估,探讨适用的梅毒血清学检测策略。方法选择该......
分析了军用飞机的HIRF防护需求,介绍了民航和美国军机的HIRF防护设计要求,分析了HIRF验证方法以及相关的试验设备,指出了军机HIRF......
桁架转换层具有结构受力明确合理、地震作用反应小、建筑布局灵活、转换层利用空间大、管道设备布置便捷等优点。其中,叠层桁架转......
尽管国内外已发表了许多利用两个或两个以上时相遥感影像进行土地利用动态变化监测的研究成果,但鲜有基于单时相遥感影像与土地利......
应用的需求和集成电路工艺的发展促进了复杂的片上系统(SoC)的实现,同时也要求新的设计方法以支持复杂SoC的设计.高效率的软硬件联......
风力发电机组的装配决定了整个风力发电系统的运行性能,这就需要考虑用户对风电系统的需求保证装配的合理性,贯彻“以人为本”的理......
摘 要：我国的药品市场具有极强的生命力，各类药品被安全地在药店与医院中销售。在研制与开发西药药品时，需要专业化的西药制剂室。药......
体系结构是对C4ISR系统的顶层设计,是实现系统之间互连、互通和互操作的依据。体系结构设计的质量直接影响到系统的设计和实现,结......
摘要：“溜梯”事故是电梯最危险的事故之一，电梯使用过程中若出现轿厢过度装饰或对重块的大幅增减，将导致平衡系数较大改变，从而引发“......
军用方舱"展开与撤收时间"是方舱战备完好性的核心参数，直接反应了维修保障工时和费用，体现了其快速出动的能力。目前在各类文献......
再认记忆在其研究过程中发展出了一系列基本理论,如阈限理论、信号检测论和双加工理论。再认记忆模型起先只是建立在这些单一理论......
ARM和Synopsys正在联手开发基于覆盖率分析的片上系统(SoC)验证的统一方法,并将发布在即将出版的双方合著的中.本文说明了这种基于......
本文对比研究了火焰与石墨炉原子吸收光谱仪测定钼精矿生产废水中镉含量分析应用方面的异同，分析了原子吸收光谱仪检测待测元素可控......
这种大样本、随机双盲测试的方法是现在被人们公认的确定药物疗效的机制，也是一把严格的利剑，无情地砍掉了那些虚假的药物疗法。......
(接上期)6.3验证方法(软件检测)以下方法的选择和顺序没有限定。验证流程中,不同的案例应有不同选择。6.3.1方法及其应用概述注:文......
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生......
侧面碰撞是汽车安全方面研究的重点,文中描述了侧面碰撞模型的建立方法,同时对假人以及车体模型进行了验证,证明了模型的正确性,同......
电器在正常使用中绝缘结构既要承受电网额定电压的长期作用,又要经受电路中经常产生的各种过电压和短时冲击电压为了验证电器能在......
现代汽车的电子系统越来越复杂,迫使设计和认证流程必须进行思维习惯的转换.起源于1940年代的弹药测试、并在1960年代开始用于汽车......
“我们保证是真品,有防伪也支持验货,官网上就有详细的验证方法,999元一瓶茅台便宜多了,您要是晚了就没有了.”当记者以消费者的名......
我国机电设备机电检测验证技术的研究,比之国外起步较晚,整体水平也相对落后.然而随着近几年的发展和广泛的应用,该项技术已经为机......
