基于多色集合的电铲散热系统形式化设计技术

Formal Design Technology of Electric Excavator Cooling System Based on Ploychromatic Sets

为了解决电铲散热系统能力不足所导致的设备故障问题,对电铲散热和散热系统设计问题进行了讨论,提出了一种基于多色集合的电铲散热系统形式化设计技术。运用多色集合理论中的层次结构模型和围道矩阵,建立了电铲散热系统的设计模型和相应的推理算法,实现了从设计需求到最终方案的形式化设计过程。

In order to solve the electric excavator cooling equipment failure caused by insufficient ability of the excavator cooling system. The electric excavator cooling and its design technology were discussed. Proposed a formal design technology of electirc excavator cooling system based on polychromatic sets. Using the hierarchical structure model and contour matrix, the design model and reasoning algorithm were established. Which implemented the formal design process of electric excavator cooling system from the design requirements to the final scheme.