hardware model的例句大全

Formal Verification of Hardware Design Based on Rebeca Model

基于Rebeca模型的硬件设计形式化验证

Encryption and incontestable model in E-Banking using hardware authentication

使用硬件认证的网上银行加密及不可否认性模型设计

With the help of the existed results in the field of hardware reliability research area, we present a convert method with Gamma function to express the Rayleigh model of human resource allocation during software development process.

通过借鉴硬件开发中过程模型的研究成果，提出了一种采用Gamma函数的转换方式来表达软件开发中关于资源分配的过程的Rayleigh模型。

An Analog Hardware Description Language ( AHDL) model of the membrane was developed to enable the simulations of the complete microsystem.

一个模拟硬件描述语言（AHDL）模型膜发展使模拟系统完整化。

Based on the structure of machine tool, the hardware structure of the control system is established, and the main function modules of the single-axis servo control card based on DSP, such as position control model, position detection model etc, are designed.

结合本机床的结构特点，确定了微细电火花线切割四轴联动控制系统的硬件总体构架，设计了基于DSP的单轴伺服控制卡的位置调节、位移检测、间隙检测及分析等主要功能模块。

A hardware sorting model is introduced, which employs the Bus connected Cellular Array ( BCA) structure.

介绍了一种总线相联的细胞阵列（BCA）结构形式的硬件排序电路模型。

DSP chip is applied in hardware design to ensure real-time performance of control system, and fuzzy-neural network algorithm is adopted to overcome uncertainness of control model.

控制系统的硬件采用了DSP芯片，以保证系统的实时性；软件采用了模糊-神经网络算法，以克服系统模型的不确定性。

Strictly irrelevanted to the equipment of hardware flat, Social Insurance Database System is based on Client/ Server model.

社会保险数据库系统基于标准的Client/Server计算模型；严格遵循独立于各种硬件平台的设备无关性原则；

In this model, VDD traps DOS VM ′ s I/ O port access to drive Virtual Device and simulates a hardware interrupt to the DOS VM.

在该模型中，虚拟设备驱动程序捕获DOSVM的I/O端口访问去驱动虚拟设备，并为DOSVM产生虚拟硬件中断。

Actually, the memory model does not talk about caches& it talks about an abstraction, local memory, which encompasses caches, registers, and other hardware and compiler optimizations.

（实际上，内存模型不涉及缓存&它涉及一个抽象（本地内存），它包围了缓存、注册表和其他硬件和编译优化。）

Base on exist hardware and network equipment of DUT and DALIAN traffic control system, the DUT computing grid model and traffic control grid system are designed. The implement of traffic flow prediction on grid environment is discussed base on this model.

在大连市原有交通控制系统基础上，描述了基于网格环境的交通控制系统的构建，并在该交通控制网格系统基础上，分析讨论了交通流预测在网格环境下的实现。

Under the consideration of performance and contrivable, hardware and software of parallel computing platform are compared and chosen reasonably. ( 2) The 1D classical particle dynamics model is performed to study the ionization process of H atom clusters.

优先考虑性能与可操控度的条件下，对并行计算平台的硬件和软件环境做出了合理的比较与选择。（2）建立一维经典粒子动力学模型，研究了氢原子团簇的强光电离过程。

N order to help the manager of the library of Tianjin Institute of Physical Education design constructive program of automated network system, this paper discussed the guiding idea systematic network, movement step, systematic model of purchase and import of hardware and software of constructing systematic network.

为了协助天津体院图书馆领导制定该馆自动化网络系统建设规划，文章对建立系统网络的指导思想、系统模式与运行步骤、硬件与软件的购置和引进等问题进行了探讨。

Base on the mathematic model of automobile safe following distance, the hardware and software of the system are built.

本文在构建安全跟车模型的基础上，设计了系统构成。

The ANN control model of hydraulic turbogenerator sets and its implementation in hardware circuit

水力发电机组的ANN控制模式与硬件电路实现

The system model of health Qigong teaching training bases are mainly made up of the hardware module, software module, running modules and evaluation modules.

健身气功教学培训基地系统模式主要由硬件模块、软件模块、运行模块、评估模块构成。

Last, this paper put forwards reheating furnace's process control simulation platform, including its hardware and software structure. model.

最后，本文设计了加热炉过程控制仿真实验平台的总体结构，并开发了平台中工艺模型站和仿真分析站中的模拟屏模块、模型库模块以及仿真运行主模块等功能模块。

For the reliability testing of the platform, random test and benchmark test are traditional test methods. Apart from that, this paper includes some research on the FPGA-based hardware and software co-verification method as well as the test case generation method based on the Markov usage model.

在系统可靠性测试方面，除了采用传统的随机测试、基准测试集测试外，研究了基于FPGA的软硬件协同验证方法与基于马尔科夫使用模型的测试用例生成方法。

Based on original electronic equipment of surface roughness measuring instrument Model 2201, the instrument is computerized from both software and hardware.

在2201型表面粗糙度检查仪原有的电子设备基础上，提出从软、硬件两方面对表面粗糙度检查仪进行微机化改造。

The hardware system includes power supply circuit, clock reset circuit, JTAG model building circuit, decoding circuit, memory interface circuit, man-machine interface circuit and numeric control constant-current source interface circuit.

硬件系统主要包括电源电路、时钟复位电路、JTAG仿真接口电路，译码电路、存储器接口电路、人机接口电路、ADC转换电路和数控恒流源接口等。