验证技术相关论文
综述民机材料适航符合性验证方法和技术发展现状，通过梳理民机产品所用材料的适航批准方式，解析中国民用适航规章中对民用飞机、发动......
为解决批产卫星验证方法和流程的优化问题,首先通过对国外批产星座验证技术的调研分析,梳理出批产卫星验证策略的特点.其次,从验证......
民用飞机应急撤离是飞机安全性的重要保障,本文系统地研究了国内外民用飞机应急撤离的相关理论和验证方法,对比分析了应急撤离试验......
指出了星载激光高度计开展视轴匹配度仿真分析和验证的必要性。对星载激光高度计光机系统的主要组成进行了介绍，对影响视轴匹配度的......
二级Cache是CMP微处理器的重要组成部件,其中对二级Cache的验证是CMP处理器设计的重要课题。本文综合了多种验证方法制定了验证策......
动物抗血清制品的安全性备受关注。本文将对抗血清制品的安全性进行探讨，着重对抗血清中病原体的处理、病毒灭活效果的评价和病毒灭......
神经网络技术在图像处理、文本分析和语音识别等领域取得了令人瞩目的成就,随着神经网络技术应用到一些安全攸关的领域,如何保证这......
介绍操作系统验证理论、语言和工具等技术基础,阐述验证路径、精化关系验证和大规模验证等新的验证方法和理念。比较分析多个操作......
首先,国内外药械监管部门均面临医用器械临床准入管理挑战。药品临床试验较为规范,而耗材等医疗器械产品往往未经过规范的临床试验......
多核处理器的相对于复杂的单核处理器设计可以更有效地利用片上资源,有利于发掘应用中线程级并行性,已成为高性能微处理器的主流结......
在产品制造与行销上经常发生的问题之一就是产品仿冒及伪造的问题.仿冒及伪造品假借真品之外观、品牌,利用真品之形象以达牟利之目......
通过在装甲车辆虚拟设计阶段引入数字样机与三维人体模型，在三维模型内逼真地模拟维修员的各种操作行为，进行相关的维修性与人机......
本文总结了当前我国航空装备可靠性维修性保障性(以下简称RMS)验证管理与技术发展现状,指出我国航空装备RMS验证工作和验证管理、......
随着科学技术的发展,产品在提供强大功能的同时,其复杂程度也在增加,从而容易导致产品可靠性下降,引发使用维护费用急剧增长等问题......
家电业首个关注健康指标的企业标准正式发布。9月22日，国美电器联合中国家用电器研究院，率先发布了企业版家电“健康”验证标准--国......
本书对基于C／C＋＋的芯片验证方法进行了深入研究。主要讲述利用Test Builder和SystemC验证库验证芯片的方法。......
Ｉｎｔｅｒｎｅｔ／Ｉｎｔｒａｎｅｔ安全机制与对策项艳（１９９８年硕士生）导师：邹志仁教授、苏新宁教授（南京大学信息管理系）考虑到Ｉｎｔｅｒｎｅｔ／Ｉｎｔｒａｎｅｔ面临的安全威胁，论文从互联网的关键协议簇ＴＣＰ／ＩＰ入手剖......
美国初春的气候并没有给优步带来多少好运气,几番遭遇,使得无人驾驶项目迎来了前所未有的挑战,但与此同时,这也是能够从中吸取到经......
上海金鑫计算机系统工程有限公 司数年前已开发了在线指纹验证技术，现在又和上海鑫达计算机系统工程有限公司合作，运作先进的算法、......
随着电路设计在特征尺寸和复杂性方面日益发展,功能验证的重要性也不断提升。验证的复杂性主要体现在嵌入式软件和模拟电路所占比......
验证复杂的SoC设计要耗费极大的成本和时间。本文将介绍一个设计实例,使用作为激励的代码和基于断言的验证,通过该实例来描述使用......
针对FPGA原型验证系统开发的完全可视化技术能够大幅提高ASIC和系统验证工作的效率,Synplicity公司开发的TotalRecall技术就实现了......
根据市场调研机构(ABI)的最新研究,在2012年NFC(近距离通信)芯片的发货量将超过419,000,000件。高级分析师Douglas McEuen说:“未......
测井质量控制(LQC)是众多石油公司采用的地层评价过程中最重要的活动之一。因为有效的LQC需要建立严格的质量控制(QC)标准和使用明......
为了更好地确定井间岩石属性,特别是进行储层研究的需要,已经导致不断利用地震道属性作为岩石属性的标记。如果在井位处能够确定地......
新的ISO/IEC 24727-6:2010《智能卡-集成电路卡编程接口-第6部分:授权注册机构的验证识别协议的程序的互操作性》于最近发布实施......
实体模型及其三维公差标注提供了产品完整的几何信息和精度信息，为几何公差标注正确性的自动验证提供了可能。介绍了基于自由度......
本文对空气中二氧化硫检测能力验证关键技术的研究进展进行了综述,并对二氧化硫检测能力验证不同统计方法的差异进行了分析,提出En......
传统的验证方法通常是对设计打入相应的激励,并观察输出波形是否满足预期,这样的验证方法可观察性低,并且不能保证验证的完备性.本......
时间自动机是具有时间约束的有限状态转换系统，在实时系统进行形式化证明的过程中，先用它建模，然后再检验某些不安全状态是否可达。所......
为了快速高效地建立分布式协作开发环境,满足我国当前在军事和经济领域的迫切需要,集成现有工具和组件而不是开发全新的协作环境是......
随着网络宽带的增加和信息处理技术的进步,人们对多媒体业务的需求越来越广泛。视频编码技术作为多媒体技术中重要的组成部分,早已......
信息技术在现代生产生活各方面的应用越来越广泛,作为信息技术核心支撑的软件系统也变得越来越重要,其应用正在逐步渗透到社会的各......
肿瘤放射治疗的根本目标是，在于给肿瘤区域足够的治疗剂量而周围正常组织和器官照射最少，以提高肿瘤的局部控制率，减少正常组织的放射......
儿童助听器验证过程最重要的步骤之一就是测试耳道的声学特性。耳道中声音的频谱和强度在同年龄的儿童中不尽相同，即使是同一儿童的......
在信息安全标准中,高安全级别系统都要求采用形式化安全模型来描述系统安全策略,并且是可验证的。安全模型是信息安全理论研究的基......
Intuit公司及其银行合作伙伴已选用SUN公司的SunScreen系统作为其Quitken Online家庭银行服务系统与银行数据网安全连接的系统平......
资讯人公司推出这套软件中除了有“IQ搜索工”、“CICQ网络大哥大”和“简体版IE4.0”。可以说,是款经济、实惠并且非常实用的套......
【本刊讯】5月27日,成都市政府召开新闻发布会,正式发布《成都市物联网产业发展规划(2010-2012)》有关内容。《规划》提出,到2012......
现如今,计算机在信息安全发方面依旧存在着诸多的问题,由于在信息管理制度方面的漏洞直接性的导致了大量用户的个人信息发生泄露的......
介绍一种数控加工程序的计算机图形验证方法，作者基于物体空间的离散方法，将毛坯和刀具切削轨迹离散处理，加工生成的切削表面以三角网......
该项目属于航空科学技术领域成果.针对我国航空自润滑关节轴承服役性能模拟、仿真和试验手段滞后,缺少服役性能试验评价、试验验证......
本文介绍了时序电路（时序机）功能验证的基本概念和发展，分析了验证中存在的问题以及冗余故障的性质．提出基于ＳＴＧ的功能验证方法。最后，提出......
