系统验证的英文

发音:

英文翻译
造句

system verification

系统 system
验证 test and verify; checking; p ...
系统验证图 system validation diagram
系统验证组 suite system verification; suite, system verification (svs); system verification suite (svs)
操作系统验证 wga
系统验证步骤 system verification procedures
系统验证测试 system verification test
系统验证与分析 system verification and analysis
大气再入系统验证器 dash
盗版受害者的系统验证 wga
系统验收 system acceptance
系统验收函 system acceptance letter
系统验收试验 system acceptance tests
验证系统 epid; verification system
丙烷验证系统 pvs
国家验证系统 nvs national verification system
经验证的系统 verified system
逻辑验证系统 logic verification system
区块验证系统 block-level checksum
设计验证系统 design verification system
实用验证系统 practical verification system
系统设计验证 system design verification
型态验证系统 configuration verification system
验证控制系统 validation control system
正版验证系统 wga

"查查词典"手机版

千万人都在用的超大词汇词典翻译APP

例句与用法

Forth , depending on a limited syntax language , a research on the method and process of the semi - formal specification of the top level function is developed . this top level specification paves the way for the system verification and the covert channel analysis
第四，借助一种受限的句法语言，研究了对系统顶层功能进行半形式化规范的方法和过程，而顶层功能规范则为系统验证、隐蔽通道分析等后继工作奠定了基础。
Finally , an application software is completed to test the interface board . the interface board is tested by specific controlling flow . and the testing result indicates its function is correct and reaches the performance of optical burst switching
最后为了进行系统测试验证,在主机上编写了一个测试控制软件,通过特定的测试控制流程对高速接口板卡进行了系统验证,验证高速接口功能正确,达到了光突发交换网络的应用要求。
The architecture described in the article is proved practical through our test and usage in the pacs system exploited by chengdu goldisc uestc multimedia technology co . , ltd . it also helps for those sections that are going to conduct the inner
通过我们自己设计的实验系统验证以及在成都电子科大金盘多媒体科技有限公司开发的pacs系统上的集成应用,本论文提出的基于hl7标准和中间件技术的医疗信息系统集成新型架构体系是切实可行的。
The method of using temporal logic definitely breaks up the limitations which are inherent in petri nets and unable to describe the temporal relationships between system events . at the same time , this method also utilizes the advantages of petri nets so that it can effectively describe and analyze the concurrent and physical structural properties of the system , for the purpose of system verification
该方法利用时序逻辑扩充了petri网缺乏描述系统事件之间时序关系的局限性，同时又发挥了petri网具有对系统并发和物理结构的有效描述及分析的优势，达到了系统验证的目的。
Some research about sensorless control of induction motors in recent years has been introduced in chapter one . in chapter two , a field - oriented control system with current regulator and voltage source inverter ( vsi ) is presented firstly , which is proved in theory that the voltage feed - forward decoupler can be omitted , the good decoupled control properties of flux current and torque current is also validated by experiments with speed - sensor based on f240dsp real system
论文第二章从异步电机的基本数学模型入手，介绍了一种基于转子磁场定向的带电流内环控制的电压型逆变器输出闭环矢量控制结构，在理论上证明了该模型可省略电压前馈解耦环节，采用f240dsp芯片构建的带速度传感器实验系统验证了其定子电流励磁分量和转矩分量有良好的解耦控制特性。
Based on the analysis about the test requirements and the saturated magnetization of the armor plate , the excitation magnetic circuit satisfying the testing condition and a validation system are designed . because the geometric , of the magnetic leakage at the direction of the normal of the roundness fault has the feature of two peaks : a positive and a negative , using the linear regression and the software matlab , two regression equation are proposed : one is about the peak value of the magnetic leakage and the diameter and depth of the roundness fault ; the other is the distance between the two peaks and the diameter of the roundness fault . the result of the validation system proves that the two equations are valid , and an applied method using for quantificationally inspecting the roundness faults is proposed according to the two equations
根据实验要求，通过对钢板达到饱和磁化的必要性进行的分析，设计了符合试验条件的励磁磁路，并设计了一套实验验证系统；根据圆形缺陷法线分量漏磁场几何图形正负双峰值的特点，采用线性回归拟合的原理和matlab软件及其统计工具箱中的相关函数，给出了圆形缺陷漏磁场几何图形的峰峰值与圆形缺陷的直径和深度以及峰峰值间距与圆形缺陷直径的两个回归拟合方程，并通过实验验证系统验证了拟合方程的正确性，利用这两个简单实用的拟合方程，提出了一种工程定量检测圆形缺陷的应用方案。
The fatigue accumulation damage of the component has something to do with its model , different model causes different damage speed on the component which will show different magnetic memory characters . the paper build the mathematics model of wave shape of orders con - wave and accumulation damage distribution on several boundary conditions , combining theory deducing , simulation analysis and experiment validation , deducing the relation among fatigue accumulation damage degree , damage speed and magnetic memory characteristic parameters
振动构件疲劳累积损伤与振型有关,不同振型引起的损伤速率不同,具有不同的磁记忆特征。本文将理论推导、仿真分析和实验验证相结合,建立多种边界条件下的各阶谐波波形与累积损伤分布的数学模型,推导疲劳累积损伤度、损伤速率与磁记忆特征参量的关系,并利用模拟试验系统验证和完善,实现利用磁记忆方法对这类累积损伤构件进行早期诊断的目的。
In this dissertation , the dynamic range and the sensitivity of ew receiver are studied and validated . the parameters related to the dynamic range and the sensitivity are researched , and a parallel amplifier structure for increasing the dynamic range of ew receiver effectively with little impact on the receiver sensitivity is presented , as well as the implementation of the experimental
本文首先介绍了宽带数字ew侦察接收机的两个关键性能指标,即动态范围和灵敏度,着重研究了与动态范围和灵敏度相关的参数,提出了一种大动态高灵敏度的接收技术,并通过ads实验系统验证系统的硬件可行性。
All we do in this paper focus on the certificate function of pki , and the innovation is that the improved pki system can publish not only common public key certificate , but also wireless certificate , attribution certificate and nested certificate which is for improving system verification performance , this multi - function can meet user ' s large and wide application needs
本人所作的工作主要是围绕pki系统的证书服务这一特征，创新点在于实现的系统既具备普通证书服务，同时又能颁发无线证书、属性证书以及为了改善系统验证性能而存在的嵌套证书，能适应当前用户多而广的应用需求。