1) logic design_and_verification
逻辑设计验证
3) logical verification
逻辑验证
1.
This paper introduces the payment process of SET (secure electronic transactions) protocol, and extends the logical framework of NDL to fit the purpose of logical verification of SET.
在此基础上 ,用对 SET中的几个重要的范例进行的逻辑验证 ,说明了 NDL在验证电子商务协议上的重要性 ,并初步提出了积累规则中需要进一步研究的问题 。
4) Validating logic
验证逻辑
5) logical design
逻辑设计
1.
They are data sources analysis,concept design,logical design,physical design and data replication.
本文针对水利水电工程安全监测信息系统开发中综合数据库建设的主要问题进行了讨论,对数据源分析、概念设计、逻辑设计、物理设计、数据复制等各个环节中的工作内容和解决方案进行了归纳与总结,讨论结果对于同类系统的开发与建设具有一定的参考意义。
2.
Because of the different arrangement of burners and second air nozzles, the flame detector, which is the important device in the protection system of unit flame failure of tangential fired boilers, can be chosen from different types and different arrangements, its protective logical design are different accordingly.
由于四角切圆锅炉燃烧器和二次风口布置方式的不同,其全炉膛灭火保护的重要组成部件棗火焰检测器的选取和布置方式以及逻辑设计也就不同。
3.
The major object oriented features of Ada95 are introduced and its supports to object oriented computing model and object oriented logical design are analyzed.
介绍了Ａｄａ９５的主要面向对象特征，分析了Ａｄａ９５对面向对象模型和面向对象逻辑设计的支
6) logic design
逻辑设计
1.
Metrics and its verification for SDRAM controller performance analysis specified for logic design
面向逻辑设计的SDRAM控制器性能度量模型
2.
Aiming at the problems found during the feed water full-process commissioning in Zhanjiang Orimulsion Power Plant,an analysis was made of the deficiencies in the feed water full-process logic design of the unit,solution thereof and new plan for pump combination(switching) further presented.
针对湛江奥里油电厂给水全程调试中发现的问题,分析了该机组给水全程逻辑设计中存在的不足之处,并提出了相应的解决方案,进一步提出了新的并(切)泵方案。
3.
Four type rotating states is simulated by the method of logic designs.
从异步电机的数学模型出发,建立异步仿真模型,再利用逻辑设计法对双速电动机四种旋转方式进行仿真。
补充资料：设计验证
设计验证
design verification
sheji YOnzheng设计验证(design verification)在设计的适当阶段(通常是在该阶段输出有了如文件、样品、某种计算数据等结果后进行)，通过检查和提供客观证据，表明规定的设计要求已得到满意的认可。 验证过程包括:①对设计输出进行设计评审;②由恰当水平的人员或工作组对输出进行独立检查;③变换设计计算方法进行分析;④进行试验证实;⑤把设计与被验证过的类似设计比较等等。 根据产品复杂程度及其特性要求，有些产品必须进行一次或多次不同方法的验证，有些简单产品仅进行必要的评审即可。(何国伟)
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条