hol
abbr. House of Lords<英>上议院; 贵族院
双语例句
- SYSTEM All definitions and proofs have been done fully formally with the interactive theorem prover HOL 4, representing one of its major applications.
上述工作的形式化是在交互式定理证明器HOL系统中完成的。 - 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交换网络的性能。 - Eliminating hol blocking with multiple FIFO input-buffered queued
用多FIFO输入缓冲队列消除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.
对气动式点焊钳与气&液压式点焊钳的设计与结构、加工工艺特点进行比较和选择。 - HOL could also inhibit platelet aggregation and prolong coagulation time.
同时还观察到哈特有降低血小板聚集性和延长凝血时间的作用。 - 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窗口输入缓存交换方式，并且对该交换方法进行了仿真分析。 - Application of new-type hol-Drilling extruding branch pile in Engineering
新型钻孔挤压分支桩在工程中应用 - It is well known that Head-Of-Line ( HOL) blocking limits the throughput of an input-queued switch with FIFO queues, but HOL blocking can be eliminated entirely by using a queueing technique known as Virtual Output Queueing ( VOQ).
信头阻塞（HOL）限制了采用FIFO输入队列交换机的吞吐率，而使用虚输出队列（VOQ）技术可以完全消除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仿真的结果证明本文提出的流量控制算法不仅硬件实现简单而且能有效地防止队头阻塞。 - Finally, a program which can to avoid the HOL blocking was presented, and experiments demonstrated the effectiveness of the program.
最后，本文提出了一个队头阻塞避免的方案，并且在实验中验证了该方案的有效性。