验证技术

摘要： 为解决批产卫星验证方法和流程的优化问题,首先通过对国外批产星座验证技术的调研分析,梳理出批产卫星验证策略的特点。其次,从验证基线、验证方法、验证装配级、验证理念等方面开展研究,总结批产卫星验证设计的技术要点。最后,从完善批产验证标准体系、制定并实践合理高效的批产验证策略、加强商用现货(COTS)技术应用可靠性保证、强化研制试验及在轨飞行验证、持续开展试验有效性评估研究5个方面提出对批产卫星验证技术的思考和发展建议。

摘要： 通过梳理民机产品所用材料的适航批准方式,综述民机材料适航符合性验证方法和技术发展现状,解析中国民用适航规章中对民用飞机、发动机、直升机等民机产品用材料的2X.603、2X.613和33.15等直接相关条款要求,结合已取得型号合格证民用飞机和直升机材料符合性验证技术发展实际,阐明相应条款的符合性验证方法和验证技术。材料适航符合性验证中,基于统计分析的方法建立标准(规范)是材料符合性验证的核心,随型号批准的材料主要采用MOC1、MOC2、MOC4方法进行适航符合性验证。面向未来,具有自主知识产权材料的应用,材料自主验证技术和能力的建设,是实现先进民机产业化发展的关键。

摘要： 身份证是现代人出行的必备之物,无论做什么都需要一个身份证明。当然,除了身份证,各种验证技术也是非常先进的,比如指纹、血液、DNA等。那么,在古代,科技不发达,各种技术也没有这么先进,那些新上任的官员怎样验明身份呢?

摘要： 介绍操作系统验证理论、语言和工具等技术基础,阐述验证路径、精化关系验证和大规模验证等新的验证方法和理念.比较分析多个操作系统验证项目研究内容、验证方法、主要贡献以及最新进展.分析操作系统验证过程中存在的问题,认为验证成本高、验证工具局限性是制约操作系统形式化验证的关键因素,随着验证工具、框架和定理库的完善,以及深度学习等新技术的应用,操作系统更多的安全性质能够被形式化验证.

摘要： 身份证是现代人出行的必备之物,无论做什么都需要一个身份证明。当然,除了身份证,各种验证技术也是非常先进的,比如指纹、血型、DNA等。那么,在古代,科技不发达,各种技术也没有这么先进,那些新上任的官员怎样验明身份呢?

摘要： 神经网络技术在图像处理、文本分析和语音识别等领域取得了令人瞩目的成就,随着神经网络技术应用到一些安全攸关的领域,如何保证这些软件应用的质量就显得尤为重要.基于神经网络技术的软件在开发和编程上和传统软件有着本质的区别,传统测试技术很难直接应用到此类软件中,研究针对神经网络的验证和测试评估技术十分必要.从有效评估和测试神经网络出发,对神经网络验证和测试技术的研究现状进行梳理,分别从验证技术、基于覆盖的测试技术、基于对抗样本的测试技术、融合传统测试技术等方面进行了归纳和分类.对其中一些关键技术的基本思想和实现做了简明扼要的介绍,并列举了一些测试框架和工具,总结了神经网络验证和测试工作面临的挑战,为该领域的研究人员提供参考.

摘要： 首先,国内外药械监管部门均面临医用器械临床准入管理挑战。药品临床试验较为规范,而耗材等医疗器械产品往往未经过规范的临床试验就进入审评审批阶段,进入临床应用阶段可能仍然面临着安全、有效性证据不充分、不完整的问题,特别是高值耗材这类高精密度、高技术、高操作要求的器械,往往需要通过临床应用后积累实际病例,逐步验证技术应用的安全性、有效性。总体看,高值医用耗材的市场监管准入与上市后临床价值判断面临较大挑战,欧美国家药监部门通过强化上市后监管,特别是利用真实世界数据开展疗效评估,实现产品全生命期监管管理,从而确保对高价值的医用耗材进入临床。

摘要： 在美国的航空标准SAE AS 5127/1和SAE AS 5127/2的基础上,分析国外航空双组分密封胶适航审定技术验证的实验方法和步骤,包括密封胶施工性能、应用性能、材料相容性、力学性能、可修补性能及阻燃性能等评估方法,为我国民航开展航空双组分密封胶性能检测和研究工作,以及国产航空双组分密封胶的适航审定提供技术支持.

摘要： 目标与环境红外特性广泛应用于各种武器系统之中,红外特性建模与验证是红外特性研究领域的重要内容.该文对红外特性仿真建模与验证技术进行了研究,首先介绍了红外建模的基本过程,从中梳理建模所涉及的有关技术,对其中的几何模型构建技术、热模型和算法与背景合成技术三项关键技术进行讨论;然后从仿真模型验证的基本概念、流程和关键技术对红外特性仿真验证进行研究,分析了材料特性参数测量技术、可获得解析解的热问题计算比对技术和实验验证技术三种验证技术的特点;最后展望了红外特性仿真建模与验证技术的四种发展趋势,即重视几何模型的构建与规范、重视基础参数的获取与积累、模型进一步精细化和模型验证系统化.

摘要： 随着电磁仿真数据在多个科研领域的广泛应用,电磁仿真数据验证技术已经成为验证数据可信度的重要手段.本文详细梳理适用于电磁仿真数据的多种统计学和特征提取方法的原理及适用范围,重点介绍近年来受到广泛关注的特征选择验证方法,结合案例验证分析各类方法的优缺点,旨在为国内各类仿真领域的学者提供参考.

摘要： 为验证建筑工程防雷装置安装后是否起到了有效的防护作用,本文作者在接闪轩的引下线、电涌保护器的接地线上安装了可以记录每次雷击具体时间和总雷击次数的雷击计数器,查询了闪电定位资料,比对了安装防雷装置后还出现雷击的实例,探索、总结了以雷击计数器与闪电定位资料相结合和雷击实例比对为方法的防雷效果验证技术.

摘要： 对安全事件发生的检测识别及分析处理,对于网络系统的风险评估和态势预测具有重大的意义.本文对网络和计算机系统安全事件应急响应策略进行了深入研究.多种网络技术综合运用，如安全事件验证技术与入侵监测系统和防火墙相互配合，能够有效地预防网络漏洞，提高网络的安全。通过对网络安全事件进行验证，管理员可以掌握网络的安全配置及系统的安全状态，及时发现安全漏洞。管理员通过对漏洞进行安全评估，及时更正网络系统中的错误配置，做到事先防范，有效避免各种被人侵和攻击行为。

摘要： 多核处理器的相对于复杂的单核处理器设计可以更有效地利用片上资源,有利于发掘应用中线程级并行性,已成为高性能微处理器的主流结构.多核处理器强大的整体计算能力的充分发挥需要依赖高效的通信架构提供合适的传输带宽和通信效率,片上网络的可升级性和可扩展性使之成为片上多核处理器内部通信的有效解决方案.然而,随着多核处理器设计复杂度不断上升,片上网络的验证需求和难度也不断提高.在片上网络的多向发展的背景下,针对学术界与工业界中多核处理器片上网络的相关验证方法展开调研、分析与探讨.

摘要： 由于操作系统软件在各类航天器计算机应用中的核心地位,其可信性至关重要.随着软件的日趋复杂,传统的基于测试的方法已经无法保障航天器操作系统的正确性和可靠性.形式化方法逐渐成为航天器操作系统可信性的根本保障.但当前的研究水平总体来说仍然处于探索阶段,尚面临很多挑战.基于近期操作系统软件验证的理论和工具研究的最新进展,提出新型开放式可信操作系统软件形式化构造和验证框架,将从方法、理论和工具三个方面为保证可信提供支持.同时将研究成果体现在应用系统当中，包括对实际嵌入式系统的验证、各种实用的工具链的开发和验证、以及支持可信航天器操作系统软件开发和验证的集成开发环境原型。

摘要： 民用飞机应急撤离是飞机安全性的重要保障,本文系统地研究了国内外民用飞机应急撤离的相关理论和验证方法,对比分析了应急撤离试验验证、分析验证、仿真验证三种验证方法的特点,提出了应急撤离的验证方法和适航认证方法的发展方向,为应急撤离技术的发展提供了指导.

摘要： 民用飞机应急撤离是飞机安全性的重要保障,本文系统地研究了国内外民用飞机应急撤离的相关理论和验证方法,对比分析了应急撤离试验验证、分析验证、仿真验证三种验证方法的特点,提出了应急撤离的验证方法和适航认证方法的发展方向,为应急撤离技术的发展提供了指导.

摘要： 民用飞机应急撤离是飞机安全性的重要保障,本文系统地研究了国内外民用飞机应急撤离的相关理论和验证方法,对比分析了应急撤离试验验证、分析验证、仿真验证三种验证方法的特点,提出了应急撤离的验证方法和适航认证方法的发展方向,为应急撤离技术的发展提供了指导.

摘要： 民用飞机应急撤离是飞机安全性的重要保障,本文系统地研究了国内外民用飞机应急撤离的相关理论和验证方法,对比分析了应急撤离试验验证、分析验证、仿真验证三种验证方法的特点,提出了应急撤离的验证方法和适航认证方法的发展方向,为应急撤离技术的发展提供了指导.

摘要： 本发明提供了一种星基增强技术功能验证装置及验证方法，星座模拟器模块产生数据传入到数据接收模块，数据接收模块将数据传入到数据预处理模块，从数据库中获取FAS数据，并传入到数据预处理模块，数据预处理模块分为单频数据预处理和双频数据预处理，数据处理模块收到从数据预处理模块出来的经过数据预处理的数据，进行定位解算和保护级解算，将解算完成的定位数据和保护级数据传入到数据存储模块并和功能验证模块。本发明所设计的装置和方法简单易用，对于用户可以直接观测，所得的结论简洁明了。

摘要： 本发明公开了一种新技术产品的信息验证系统与信息验证方法，该新技术产品的信息验证系统包括中央计算器、待评价产品信息存储器、WBS信息存储器、至少N个二级分解存储器、研发制造单位基础存储器、若干个调查终端。该新技术产品的信息验证方法利用该新技术产品的信息验证系统，其包括，待评价产品信息的补全步骤、工作结构分解步骤、工作结构分解确认与调整步骤、研发制造单位选择步骤、二级分解指标与研发制造单位关系映射步骤、具体需求指标的分析建立步骤、各个单项二级指标满足度计算验证步骤、总体满足度信息验证报告的生成。

摘要： 一种跨多个验证域的验证系统、验证方法、验证设备以及非易失性计算机可读存储介质。该跨多个验证域的验证方法包括：获取用于验证待验证对象的跨多个验证域的测试激励，所述跨多个验证域的测试激励包括指示用于执行所述测试激励的至少一个验证域的验证域标识；解析所述测试激励，并创建与所述待验证对象相关的验证事务；以及基于所述验证域标识，在与所述验证域标识相对应的验证域中解析并执行所述验证事务。

摘要： 本发明公开了一种基于html5技术的验证码趣味验证方法和系统，所述方法包括以下步骤：用户浏览器访问url，服务器收到消息当前展示页面需要验证码，后端游戏生成模块从游戏库中挑选游戏发送到前台；前台游戏展示模块展示游戏；用户完成游戏，由前台游戏判定模块判定是否符合要求，达到验证目的；判定通过后发送加密消息给后端校验模块，对消息解密，如果是通过消息则发送前台新页面，用户跳转到目标页面；所述系统包括前台游戏展示模块、前台游戏判定模块、后端游戏生成模块、后端校验模块。本发明保持了验证码校验的有效性，并且通过游戏方式增加用户的操作性和趣味性；本发明在页面上游戏技术实现上采用html5，更加适合浏览器访问更加规范。

摘要： 本发明涉及一种用于验证垂直起降技术的可重复使用火箭及验证方法。包括：主舱体，动力系统，吹除系统，控制系统，辅助动力系统，固定回收支腿系统；其中，控制软件中写入的飞行弹道按以下方法设计：S1、确定约束量要求及精度要求；S2、确定待迭代的各控制量；S3、给控制量赋初值；S4、根据约束量与控制量之间的关系，确定修正系数；S5、根据修正系数，计算修正量，进行弹道迭代计算；S6、获得满足精度要求的弹道。本方法降低了产品研制周期与生产成本；降低了后续进行大型可回收液体运载火箭研制风险；可在火箭上安装整流罩与栅格舵，能适应更高的飞行速度，可作为亚轨道探空火箭。

摘要： 本发明提供了一种星基增强技术功能验证装置及验证方法，星座模拟器模块产生数据传入到数据接收模块，数据接收模块将数据传入到数据预处理模块，从数据库中获取FAS数据，并传入到数据预处理模块，数据预处理模块分为单频数据预处理和双频数据预处理，数据处理模块收到从数据预处理模块出来的经过数据预处理的数据，进行定位解算和保护级解算，将解算完成的定位数据和保护级数据传入到数据存储模块并和功能验证模块。本发明所设计的装置和方法简单易用，对于用户可以直接观测，所得的结论简洁明了。

摘要： 本发明公开了一种新技术产品的信息验证系统与信息验证方法，该新技术产品的信息验证系统包括中央计算器、待评价产品信息存储器、WBS信息存储器、至少N个二级分解存储器、研发制造单位基础存储器、若干个调查终端。该新技术产品的信息验证方法利用该新技术产品的信息验证系统，其包括，待评价产品信息的补全步骤、工作结构分解步骤、工作结构分解确认与调整步骤、研发制造单位选择步骤、二级分解指标与研发制造单位关系映射步骤、具体需求指标的分析建立步骤、各个单项二级指标满足度计算验证步骤、总体满足度信息验证报告的生成。

摘要： 在这里所披露的是一种验证系统，它通过使用两个存储媒体来提供高安全级别和方便性。一种自动登录系统(100)请求服务器(110)使用从IC卡(10)得到的卡特有信息(101)和从便携式存储器(11)中得到的口令信息(102)来进行用户验证过程。该服务器(110)通过使用卡特有信息(101)和口令信息(102)获取用户ID和口令来验证用户。卡特有信息(101)和口令信息(102)构成验证请求信息，并且用户ID和口令构成验证信息。在用户成功验证之后，服务器(110)允许用户登录；在验证不成功的情况中，服务器(110)拒绝登录。

摘要： 存储单元(11)存储对象设备(20)中的存储器(21)的空闲区域的大小以及保存在所述存储器(21)中的软件。生成单元(12a)根据存储器(21)中的空闲区域的大小生成从多个节点配置的图，并且将该图发送给对象设备(20)。计算单元(12b)计算与存储在存储器(21)中的软件中的每个块相对应的哈希值。验证单元(12c)使用以下项来验证是否已发生对所述对象设备(20)中的存储器(21)的篡改：所计算出的与该块相对应的哈希值，以及所返回的使用图计算出的对指定所述图的节点的质询的响应，以及作为对指定该块的质询的响应的所返回的块的哈希值。

摘要： 本实用新型公开了一种采用验证码技术设计的景区门票验证系统，设置有门票系统闸机，在门票系统闸机上设置有旋转机构及感应窗口，在景区门票验证系统内还设置有采用图像验证和二维码验证相结合进行验证的智能采集处理电路，旋转机构上设置有安装在门票系统闸机上的旋转轴机构，在旋转轴机构上设置有旋转杆机构，旋转杆机构可拆卸设置在旋转轴机构上，旋转杆机构包括与旋转轴机构可拆卸设置的第一杆，在第一杆上通过折叠件连接有第二杆，第二杆能够通过折叠件弯折至与第一杆沿径向贴合，基于图像验证码技术及二维码验证技术而设计的一种智能采集处理电路进行景区门票真伪的验证，将辊式旋转机构的旋转辊进行有效改进，采用拼接结构设计。