高阶逻辑验证系统HOL及其应用初探

形式化方法在硬件、软件的设计和验证中的应用越来越广泛,基于不同理论的形式化验证工具应运而生。本文对形式化验证工具定理证明系统HOL作了介绍,并结合例子说明HOL系统在硬件设计中的应用。

一种带止回装置电磁阀的设计及应用

文章介绍了一种带止回装置电磁阀的构思,结构特点和工作原理,分析了优化设计后一种带止回装置电磁阀在控制系统中的实际运用情况。希望通过文章的分析,能够对相关工作提供参考。