The design objective of irrelevancy between the software and the specific instrument resource is achieved with the design method of using database and reasonable verification flow.
使用数据库技术和合理的检定流程设计方法实现了软件和具体仪器资源无关的设计目标。
The common approach for analysing a binary consists of the following stages: assembly, procedure abstraction, control flow graph generation, data flow analysis, and property verification.
分析一个二进制代码的通常方式有以下几个阶段：反汇编，过程抽象，控制流程图生成，数据流分析和签名验证。
The verification of the model of TCPN workflow nets by means of graph reduction was mainly considered, and some graph reduction rules of flow control structure were put forward and proved.
文中重点研究了采用图规约法对TCPN工作流网模型的验证，提出了流控制结构的图规约规则，并对这些规则进行了证明。
A design flow based on mixed-signal simulation is proposed. The top-down design method indicates simulation and verification at each level of the mixed signal system design.
介绍了数模混合信号仿真的设计流程，说明了一种在混合设计的各个层次上对系统进行仿真验证的自上而下的设计方法。
Strict mathematic verification showed that this information flow model is reasonable and safe, which can reflect the safety requirements of the Nuclear Power Plant network.
经过严格的数学证明，新的信息流模型合理且安全，能较好反映核电站网络的安全要求。
We describe a post resolution-enhancement-technique verification method for use in manufacturing data flow.
描述了一种采用分辨率提高技术后用于可制造性设计的验证方法。
This paper focuses on semantic verification method, solving the problem of conflict checking under the combination of control flow, data flow and resource dimensions of workflow processes.
针对过程定义中控制流、数据流和资源三维元信息相结合的冲突检测问题，研究了过程的语义验证方法。
The whole verification integrated directed functional test and ISS random test into one flow, and located several ordinarily hard-to-discover bugs effectively.
整个验证将定向功能测试和指令集随机测试有机地结合起来，迅速定位了设计中多个难以发现的错误。
CDFG (control data flow graph) can be used in system modeling, software and hardware partition, synthesis and verification.
控制数据流图可用于系统建模、软硬件功能划分、系统综合与验证等多个环节。
The present part introduces collector -storage wall mathematical model, flow chart of model calculating, test and verification of the model and program, and a simple direction of the program usages.
本篇介绍数学模型中的集热墙数学模型，模拟计算框图，模型和程序的验证及程序使用简介。
Based on the playing function, fulfil the system API verification by the method of stream limited testing, bandwidth analysis, API flow analysis etc.
在完成播放基本功能的基础上，通过媒体流极限测试、带宽分析、接口流量分析等方法，实现系统各个方面的验证。
In integrated circuit (IC) chips design, the verification is one of the most complex and time-consuming step in the chips design flow.
在集成电路(IC)芯片设计中，验证是芯片设计流程中最复杂、最耗时的环节之一。
On the basis of flow velocity verification the distribution of temperature is surveyed.
在流速验证的基础上，考察温度场的分布情况。
The design mainly involves the analysis of the stress, fatigue, thermal ratchet and fracture mechanics, the analysis of flow-induced vibration of the internals and the test verification.
主要涉及的内容包含每个设备部件的应力、疲劳、热棘轮、断裂力学分析和内部构件流致振动分析以及试验验证等。
The world vertical upward flow round critical heat flux experimental database is analyzed based on the slice method, similarity measure, heat balance and inlet temperature verification.
采用切片法、相似度概念和热平衡以及进口温度检验法，对收集到的圆管垂直向上流动临界热流密度实验数据库进行了分析。
Furthermore, it discussed the important parts of the verification process in detail and summarized a whole flow of FPGA verification which will apply to the verification project of the actual chip.
此后又结合实践，详尽叙述了验证中的一些重要环节，并总结出了一套比较完善的FPGA验证流程，可以有效地支撑实际芯片的验证工作。
Furthermore, the improvement of verification performance is also investigated by following the two ideas of grid service flow decomposition and process bug patterns respectively.
进一步，本文还从服务流验证分解和错误过程模式的两种思路，研究了对网格服务流形式化验证的性能改进。
The results from model verification have shown that the suggested model is functional and applicable for daily flow simulation.
实用性检验结果表明，该模型用于模拟日流量过程是可行的，成果实用。
On this background, in this paper we design a equipment based on AT89C51 for Doppler flow verification.
在此背景下，本课题设计了一种基于AT 89 C 51单片机的血流类多普勒超声诊断仪的计量检测装置。
A static verification methodology for circuit design-flow of ASIC's based on very deep sub-micron CMOS technology is described in the paper.
介绍了基于深亚微米cmos工艺asic电路设计流程中的静态验证方法。
The calculation and its verification show that the calculated processes of tidal level and current fairly well coincide with field data, and the flow field of calculation is reasonable.
实例计算和验证表明：计算的潮位和潮流过程与实测过程吻合较好，计算的流场合理。
An effective position of LDA measurement points and position verification method have been utilized, and a series of velocity profiles with different oil flow rates achieved.
组合时采用了合理的测量点定位及校验方法，得到了不同轻相流量下的油水两相流速度分布曲线。
Through the verification by flash flood data from a physical model study, all these three approaches show good agreement between measured and calculated results for non-overtopping flow scenarios.
经物理模型验证，当建筑物顶部不过流时，三种方法均能得到较好的计算结果，其中固壁边界法和真实地形法的计算结果基本一致；
The work flow of the company should be standardized in order to face the assessment of domestic and international standard organization and the verification of the customers.
为了应对国内、国际和行业标准组织的评估及客户稽核，公司流程必须标准化。
In the process of monitoring and verification, meter coefficient will varies in some degree, we can only analyze the change tendency of flow coefficient qualitatively.
在监测、检定过程中，流量计系数会发生一定变化，只能定性地看流量计系数的变化趋势。
In the process of monitoring and verification, meter coefficient will varies in some degree, we can only analyze the change tendency of flow coefficient qualitatively.
在监测、检定过程中，流量计系数会发生一定变化，只能定性地看流量计系数的变化趋势。
应用推荐