论文部分内容阅读
为了解决电铲散热系统能力不足所导致的设备故障问题,对电铲散热和散热系统设计问题进行了讨论,提出了一种基于多色集合的电铲散热系统形式化设计技术。运用多色集合理论中的层次结构模型和围道矩阵,建立了电铲散热系统的设计模型和相应的推理算法,实现了从设计需求到最终方案的形式化设计过程。
In order to solve the problem of equipment failure caused by insufficient capacity of electric shovel cooling system, the design of cooling and cooling system for electric shovel is discussed. A formal design method of electric shovel cooling system based on multi-color set is proposed. By using the hierarchical structure model and the bounding matrix in polychromatic set theory, the design model of shovel cooling system and corresponding reasoning algorithm are established, and the formal design process from design requirement to final solution is realized.