?队头阻塞

...如果采用无线接入方式，无线误码率较高， [2 提出了一种改进算法 ，应用在无线网络中 TCP 协议传输数据，可以判断队头阻塞（ HOL ）是由拥塞控制引起还是无线链路错误引起。

?高密度脂蛋白

进步高密度脂蛋白(HOL)，绞股蓝茶的副作用。对预防动脉粥样硬化有优异的作用一

?头阻塞

如图2．2所示，此时将只有每个队列头的信元能被服务，这就造成了 链头阻塞（HeadOfLine，HOL）：如果队列前面的信元被阻塞，队列中 其他的信元不能被转发到其他未被使用的输出。

?高阶逻辑

我们使用面向对象的建模技术，统一建模语言（UML），高阶逻辑（HOL）和数学形式化方法的组合。 UML提供了一个可视化的，直观的模型，该模型是很容易编写和容易理解的工程师。