论文部分内容阅读
本文以逻辑代数和离散数学中的立方符号法为数学工具，把计算机辅助逻辑综合的理论和方法引入到液压、气动逻辑回路设计领域，并根据液压、气动逻辑回路设计的特点，建立了一套适合于机助逻辑综合的液、气通用的数学模型，提出了建立通用数学模型的方法和规则，首次在微机上开发出了液、气通用的计算机逻辑综合软件ＣＡＬＤ