verificati相关论文
User authentication scheme allows user and server to authenticate each other, and generates a session key for the subseq......
In most of the total dose radiation models,the drift of the threshold voltage and the degradation of the carrier mobilit......
利用计算流体力学(CFD)方法预测阻力是飞行器气动设计中的关键环节。采用广义Richardson外插方法分别对数值方法预测二维简单构型......
Some notes on numerical simulation and error analyses of the attached turbulent cavitating flow by L
In this letter,the attached turbulent cavitating flow around the Clark-Y hydrofoil is investigated by the numerical simu......
为了对钠冷快堆系统分析程序FASYS用于模拟失流事故的正确性与准确性进行测试,本文运用V&V(verification and validation)策略进行......
为了验证球化体激光相变硬化数学模型的正确性，本工作选用三种不同成分的碳钢在不同激光处理条件下进行试验，并对激光硬化区尺寸、硬......
异文相证和互文相证都是《广雅疏证》所运用的一般性证义手段。异文相证,是指运用异文现象来证明双方同义。互文相证,是指运用互文......
本文基于整体分离技术原理,针对犯罪现场遗留的木材,探讨木材无断口分离痕迹检验的必要性和可行性。利用年轮特征的稳定性和特定性......
区块链技术是基于密码学原理的一种分布式账本技术,具有去中心化、信息不可篡改与可追溯等特点,目前已经在相关产业领域得到了成功......
由于微电子技术的迅速发展和系统芯片的出现,包含微处理器和存储器甚至模拟电路和射频电路在内的系统芯片的规模日益庞大,复杂度日......
利用控制弹道对弹体模型进行校核的难点在于必须充分考虑控制系统操舵对弹体运动产生的影响，针对制导弹药靶试试验过程中出现了升阻......
大规模面向服务软件运行环境的动态性和不确定性使其异常处理逻辑复杂度高,导致异常处理过程的可终止性验证异常困难。而异常处理......
通过模拟实验与现场监测验证表明，葛洲坝船闸在不同的运行工况状态下产生的水流紊动强度和动能差异大，水体复氧速度、有机物降解速率......
UPPAAL是丹麦Aalborg和瑞士Uppsala大学联合开发,具有世界先进水平的实时系统模拟,校核的软件,基于对实时系统严密逻辑,真实时间的......
为了实现射频系统对具有高品质因子的电感的迫切需求，本文提出了利用玻璃槽实现高品质因子电感的方法。通过对电感损耗机制分析得到......
本文提出了一个用于反应系统规范及验证的修改时序逻辑，它包含一个用于显示区分程序执行步同环境执行步的机制。环境的特性可以在系......
可信性是系统仿真的关键.该文研究的是系统仿真模型验证的统计比较分析方法,讨论了动态一致性检验的时间序列方法,以及检验试验与......
通过对专用零件测具检测方法的改进,提高了检测工作效率,验证了测具设计及制造的准确性,保证了专用零件加工质量.与传统的专用零件......
[目的]验证国产HM～HDR后装治疗机放射源的位置与剂量精度。[方法]通过假源替代法和电离室法，对所使用的后装机放射源的源到位精度、......
目的:对希森美康公司CA-7000、CA-1500型全自动血凝仪检测系统主要分析性能进行验证。方法:参照美国临床和实验室标准化协会(CLSI)......
核电设计与分析软件的数值计算程序的验证测试过程,受制于代码中数值算法执行的正确性,但存在Oracle问题,即测试人员很难构造或者......
互操作性是HLA联邦开发过程中必须解决的重要问题之一。本文对互操作性进行深入研究,给出了HLA联邦互操作性框架,对联邦的互操作性......
介绍了蒸汽流量的计算模型和JJG 1003-2005《流量积算仪》规定的蒸汽密度取值方式,分析了流量积算仪采用不同的蒸汽密度求取方式对......
简述了客票自动识别及验(检)票系统.该系统可自动识别和判断客票的真伪,利用TPOS前端机为旅客提供验(检)票服务.是杜绝假票,防止黑......
除了数以千计的人机接口资源，核电厂控制室还是一个包括规程、操纵员、环境、组织和管理等多种要素的复杂集成系统。在设计阶段，这些......
介绍双向单相有功电能表和三相无功电能表检定时应注意的事项,提出减小双向单相有功电能表正、反向计量误差变化的办法,指出现在有......
介绍了东荣三矿东二采区运用高分辩率三维地震进行采区勘探所取得的地质成果,其结果表明,高分辩率三维地震物探技术,在控制煤层赋......
通过微元控制体质量衡算,建立了微滤膜处理含油废水过程的数学模型.模型预测了渗透速率与膜面流速、料液温度、浓度等操作参数的关......
停堆装置落球阀是全新研制的核安全级设备,需通过充分的试验来对设计进行验证。落球阀试验台架控制系统用于试验台架中落球阀驱动......
1000k V特高压GIS电流互感器现场误差检定时,由于其试验回路长、阻抗大,常规的试验方法存在升流困难及操作复杂的问题。基于特高压......
目的建立乙酰螺旋霉素片微生物限度检查方法。方法采用常规法、离心沉淀集菌＋薄膜过滤法进行方法验证。结果乙酰螺旋霉素片细菌计数......
中国蕴含着丰富的风能资源,但目前我国在风能预报方面的研究还很薄弱,几乎没有可用于风电场风能的客观、定量化的预报方法。风能预......
验证平台以TCP／IP协议栈为验证对象，利用System Verilog语言构建基于UVM的自动化交互验证平台。文章以上传TFTP文件为例详细介绍验证......
Measuring Fiber Orientation in Nonwoven Fabrics by Laser Scattering Method Part II: Algorithm and Ve
The algorithm for evaluation of fiber orientation distribution function (ODF) by laser scattering method based on 2 - di......
按照ISO11737标准，检测了7类医疗产品的初始污染菌，范围10CFU／件－97271CFU／件；回收率54．6％－100％；校正因子1．0－1．83。并以ISO11137标准方法1完成了......
文章设计了一款椭圆曲线密码芯片。实现了GF（2^233）域上normal基椭圆曲线数字签名和认证。并支持椭圆曲线参数的用户配置。在VLSI的......
采用模块化设计方法,基于AutoCAD平台,开发了适合分布式控制系统(DCS)且同时满足核电项目仪控电气设计和验证需要的核电站逻辑图/......
