验证技术相关论文
综述民机材料适航符合性验证方法和技术发展现状，通过梳理民机产品所用材料的适航批准方式，解析中国民用适航规章中对民用飞机、发动......
身份证是现代人出行的必备之物，无论做什么都需要一个身份证明。当然，除了身份证，各种验证技术也是非常先进的，比如指纹、血型、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年国家核电装备自主化和能源自主创新专项——“国家能源......
门禁控制系统正在摆脱传统卡片和读卡器的限制,迈入可配置凭证卡、非接触式技术的全新领域。在新领域中,手机及其他设备可携带通过......
期刊
在现有的防伪技术中，像数字编码、条形码、二维码以及RFID等，都属于回溯查询技术，这些技术可以对被保护对象回溯查询，但不能做鉴别证明......
文章以某型号承力筒纵向振动力限控制试验为例,对力限控制试验平台进行了介绍,包括力限试验夹具及力测量设备(FMD)、力信号采集和......
以关系数据库为数据模型．在分析数种已有的数据加密技术基础上，研究数据库数据以密文方式存储并建立相应的数据库验证机制，立足于解决......
2010年12月10日,台湾计量工程学会与福建省计量测试学会在福州签署《光伏计量合作意向书》。这是根据2010年2月签署的《计量交流与......
我们作为质量检测机构也在转型,转型为测试验证服务的提供商。智能、网联、汽车三者总体构成智能网联汽车很复杂的系统,测试认证是......
7月6日,由浙江滕昌信息科技有限公司研发的数码双重防伪验证技术在京通过技术鉴定和专家论证,并巳获得发明专利和进行产业登记,即......
迈思肯作为专注工业条码读取、机器视觉和验证技术的全球领先者,致力于为全世界客户提供各种自动化和OEM应用解决方案。2016年8月1......
状态机作为一种描述实体间交互或者单个实体行为的建模图，它具有丰富的直观图形化的符号。在许多模型的设计阶段都采用它来建模。但......
安全仪表系统是保证安全生产的重要设备，是防止危险事件发生或减缓其后果的关键系统。随着我国对石油、化工、电力、轨道交通等行业......
【正】档案信息的开发利用是档案管理的根本目的。金融档案如何发挥自己的特殊优势为金触业提供有效服务,从而产生巨大的社会效益......
该文通过分析垃圾邮件的社会背景和现状,对现有的各种反垃圾邮件技术的优缺点进行分析及评估,并提出该行业技术的发展方向和展望。......
介绍了实现网络安全的基本技术:防火墙技术、智能卡技术和基于密码论技术的密钥技术、数字签名和验证技术等,并提出了一种新的网络......
SoC系统功能日益复杂,规模也日益庞大,SoC验证面临着前所未有的挑战.对SoC验证方法学进行了研究和总结,包括验证流程、验证层次和......
快速系统原型技术已成为SoC(片上系统)验证的主要手段之一,但大多数的原型描述仍使用Verilog/VHDL语言,描述效率低.以软件编译式系......
安全协议是网络安全的基础,本文分析了目前安全协议的各种设计与验证技术,对安全协议的若干热点研究方向进行了展望,提出了一种基......
9月22日，国美电器联合中国家用电器研究院率先发布企业版家电“健康”验证标准，即国美《健康家电验证技术规范》。34个家电品牌的68......
针对适航条款对适航验证活动约束性不强的问题,通过适航条款及验证技术的解析与重组,建立了一种运用重组的验证知识单元对适航验证......
2003年5月，经国家广电总局批准，无锡被列为全国首批33个有线数字电视试点城市之一，2007年7月无锡有线数字通过国家广电总局试点城市验......
本文提出了国内直升机旋翼防除冰电控子系统一套完整的地面验证方案,达到了验证产品功能、考核系统性能以及为系统改进提供试验依......
期刊
从分析我军装备保障性验证工作当前存在的问题入手，构建了全寿命过程的装备保障性验证技术总体研究框架，确定了主要研究内容，并提供了......
在一款通用CPU设计中,应用了多种验证技术,包括基于测试矢量的验证、基于覆盖率的验证等等.通过理论分析和实验研究,不同的技术显......
