HOL

Hardware implementation and VCS simulation results show that the flow control algorithm in this paper is not only simple but also avoid HOL blocking efficiently .

硬件实现和VCS仿真的结果证明本文提出的流量控制算法不仅硬件实现简单而且能有效地防止队头阻塞。

Input queuing is becoming the mainstream architecture of switch architecture because that it has no requirement of speedup and overcomes the shortage of HOL by using virtual output queuing technology .

论文首先介绍了基于各种排队机制的交换结构，采用虚拟输出队列的输入排队结构无加速比和队头阻塞问题，成为交换结构的首选结构。

Application of new - type hol - Drilling extruding branch pile in Engineering

新型钻孔挤压分支桩在工程中应用

HOL could also inhibit platelet aggregation and prolong coagulation time .

同时还观察到哈特有降低血小板聚集性和延长凝血时间的作用。

Formal Verification of Digital Hardware Based on HOL

基于高阶逻辑系统HOL的数字硬件形式化验证

HOL - 100 resin has the function of absorbing oil in heat environment ( 120 ℃).

HOL-100树脂具有在高温状态下（120℃）除油的特点。

Analysis of Order of Quotient Group Hol ( G ) / G_L

商群Hol（G）/GL的阶数分析

The Study of Hardware Verification in Theorem Prover HOL

基于定理证明器HOL的硬件验证研究

The HOI Resolution and HOL Resolution in Horn Set

Horn集上的HOI消解与HOL消解

Eliminating hol blocking with multiple FIFO input - buffered queued

用多FIFO输入缓冲队列消除HOL阻塞

But secondary symptom , POL is superior to HOL ( P < 0.05 ) .

而次要症状方面，脾胃宁口服液优于化积口服液（P＜0.05）。

Market failure appears when it becomes hol efficient in collocating resources , and it also provides an excuse for state interference .

当市场在资源配置方面是低效率的时候，就出现了市场失灵，而市场失灵的存在通常被认为是对集体或政府采取行动来改进资源配置的效率提供一个理由。

Finally , a program which can to avoid the HOL blocking was presented , and experiments demonstrated the effectiveness of the program .

最后，本文提出了一个队头阻塞避免的方案，并且在实验中验证了该方案的有效性。

The average lithotripsy time was shorter for HoL ( 28.9 min vs 37.9 min , P < 0.01 );

前者平均碎石时间（28.9min）短于后者（37.9min）（P<0.01）；

The final simulation experiment shows that this model can better the HOL block , and improve the performance of input-queued ATM switch dramatically .

仿真实验表明优先级调度输入&线群多通道输出ATM交换系统比较好地改善了HOL阻塞，提高了输入排队ATM交换网络的性能。

The training materials contains Hands on Labs ( HOL ), that are categorized by practical usage scenarios of the Geneva Framework .

这些培训材料包含了动手实验室（HandsonLabs，HOL），它按照Geneva框架的实际用途分类。

Hol mode low-loss transmission

Hol模低损耗传输

Design structure and process technology characteristic of pneumatic spot welding electrode holder and gas-liquid pressure spot welding electrode hol - der have been compared and selected .

对气动式点焊钳与气&液压式点焊钳的设计与结构、加工工艺特点进行比较和选择。

SYSTEM All definitions and proofs have been done fully formally with the interactive theorem prover HOL 4 , representing one of its major applications .

上述工作的形式化是在交互式定理证明器HOL系统中完成的。

Vittorio provides details of what is included in the training kit and mentions the various scenarios and topics covered in the HOL .

Vittorio给出了培训包中包含的细节内容，并介绍了HOL所涵盖的各种场景与主题。

The rate of recovery of HOL is 20.8 % , the rate of the marked effet is 29.2 % , the total effective rate is 83.3 % .

化积口服液组痊愈率为20.8%，显效率为29.2%，总有效率为83.3%。

A practical method is given that is not only determining and keeping optimum operating state of APD but also hol - ding false alarm rate ( FAR ) constant .

给出了不但能确定和保持雪崩光电二极管的最佳工作状态，而且可以保持恒定的虚警率的实用方法。

Balzac did not smoke cigarettes ， nor did he drink any alco － hol .

巴尔扎克既不抽烟，也不喝酒。

It introduces the architecture of the switch , HOL , delay control , VLAN and spanning-tree algorithm , and Crossbar backplane and store-and-forward technology .

介绍了线头阻塞、时延控制、虚拟局域网和生成树算法等概念以及交换机的交换矩阵和共享存储器等关键技术。

In this paper , we firstly discuss that the factor of throughput is affected mostly by HOL ( head of line blocking ), for input buffered with FIFO queues per input port .

文章首先讨论了对于输入缓冲采用FIFO队列交换系统，其吞吐率主要受HOL队首阻塞的影响。

For input buffered cell - based switches ( such as ATM ) with single FIFO queues per input port , the factor of throughput is affected mostly by HOL ( head of line ) blocking .

对于输入端口具有单输入FIFO（先入先出）队列的输入缓冲信元交换机（如ATM），影响交换吞吐率的主要因素是信头阻塞（HOL）。

It is based on the basic idea of shift register . Each priority FIFO queue is organized as a linked list . It solves the HOL ( Head of Line ) problem efficiently by setting the high-speed local bus .

PFQ借鉴了移位寄存器的基本思想，按链表形式组织每个FIFO队列，通过设置高速局部总线，有效解决了头信元阻塞问题。

Compared with simulation and emulation , we discuss the advantages and disadvantages of this method , we classify digital hardware formal verification as equivalence checking , model checking and theorem proving and we focus on theorem proving with HOL .

对数字硬件形式化验证技术进行了分类，模型检测，定理证明和等价性检验。本文重点是基于HOL定理证明器的验证。

Secondly , two liveness proof rules , response property proof rule and reactivity property proof rule , are devised . The correctness of DSR and SRP protocols are proved in Isabelle / HOL using these two rules .

然后提出了两个活性证明规则&响应性证明规则和反应性证明规则，并用所提出的活性证明规则在Isabelle/HOL中证明了DSR协议和SRP协议的正确性。

To solve HOL ( Head of Line ) blocking for N × N port ATM switch network without internal blocking , an algorithm , termed the K-windows input-buffered switching schedule , is adopted . Simulation for evaluating performance of the switch network is also presented .

针对N×N端口内部无阻塞输入缓存ATM交换网络的队头（HOLHeadofLine）阻塞现象，该文采用称为K窗口输入缓存交换方式，并且对该交换方法进行了仿真分析。