验证技术相关论文
综述民机材料适航符合性验证方法和技术发展现状，通过梳理民机产品所用材料的适航批准方式，解析中国民用适航规章中对民用飞机、发动......
身份证是现代人出行的必备之物，无论做什么都需要一个身份证明。当然，除了身份证，各种验证技术也是非常先进的，比如指纹、血型、DNA等......
时间自动机是具有时间约束的有限状态转换系统，在实时系统进行形式化证明的过程中，先用它建模，然后再检验某些不安全状态是否可达。所......
为了快速高效地建立分布式协作开发环境,满足我国当前在军事和经济领域的迫切需要,集成现有工具和组件而不是开发全新的协作环境是......
随着网络宽带的增加和信息处理技术的进步,人们对多媒体业务的需求越来越广泛。视频编码技术作为多媒体技术中重要的组成部分,早已......
信息技术在现代生产生活各方面的应用越来越广泛,作为信息技术核心支撑的软件系统也变得越来越重要,其应用正在逐步渗透到社会的各......
摘要：[目的/意义]专利引用是一种达成技术扩散效果的行为，研究专利前向引用行为特点是测度技术扩散模式的一个重要视角。[方法/过程]......
介绍了军用飞机的测试性设计技术、重要技术参数、测试性验证评估及开展测试性设计的意义等,通过分析提出了军用飞机开展测试性设......
在美国的航空标准SAE AS 5127/1和SAE AS 5127/2的基础上,分析国外航空双组分密封胶适航审定技术验证的实验方法和步骤,包括密封胶......
CAST小卫星是国内小卫星家族中的主要成员，随机振动是CAST平台小卫星的特点。通过10年并十几颗CAST小卫星研制，逐渐积累了一些具......
协议工程是通信及计算机网络研究的一个重要的领域，目的是减少协议开发中潜在的错误，提高协议开发的效率，促进标准化的发展。它主要包......
电子计算器是一种典型的大规模数字集成电路,主要由微处理器和外围的显示电路、键盘接口电路等组合而成。一般的计算器都具有四则......
伴随着So C系统、尤其处理器开销的增加,芯片设计中可能存在的错误数目也急剧增长,使得业界迫切需要新的验证方法学与工具来提高系......
作为一名海事现场执法人员，都有一双鹰一般锐利的眼睛，能在令人眼花缭乱的证书证件中，准确分辨出真伪。然而，由于科技的发展，造假者的造......
电子产品中数字信号处理(DSP)芯片的使用率正急剧增加.现场可编程门阵列(FPGA)可支持数百万个门,并以DSP为中心,这种特性使其性能......
当前我国的科学技术不断地发展,我国的计算机网络行业也有着一定的进步.通信协议对于当代计算机网络、数据通信和多机系统等分布式......
褐煤提水劣质煤利用工艺技术方案能实现高水分低热值劣质褐煤资源的综合利用，从褐煤中提水回收后供电厂使用，以有效解决锡盟地区水资......
药厂使用的超声波洗瓶机是一种用于清洗无菌药品包材(西林瓶、安瓿瓶等)的设备,通过对超声波洗瓶机清洗效果验证技术进行研究,考察......
芯片简介:Hitag S是飞利浦Hitag家族最新成员(以下简称HTS),与该家族产品的其他成员如HT1、HT2等使用相同的阅读器架构.HT S芯片是......
1994年,Intel开发的奔腾586处理器被发现在执行某个特定的浮点运算时出现错误。这种错误发生的几率虽然很小,27000年才可能出现一......
（本刊讯）Datacard集团与Barnes International近日宣布，Barnes智能卡验证技术现已集成至Datacard MX系列质检模块。Barnes Internatio......
多项技术能力填补国内空白5月13日,由上海工业自动化仪表研究院承担的2010年国家核电装备自主化和能源自主创新专项——“国家能源......
门禁控制系统正在摆脱传统卡片和读卡器的限制,迈入可配置凭证卡、非接触式技术的全新领域。在新领域中,手机及其他设备可携带通过......
期刊
