Class HEAT-EXCHANGER

Slots on this class:

Documentation:
a device that transfer energy between fluids at different temperatures
Instance-Of: Class
Subclass-Of: Entity, Thermal-component
Area:
Slot-Documentation:
the surface area through heat is exchanged
Arity: 1
Has-Quantity-Function:
Area, Heat-transfer-rate, Ideal-heat-rate, Max-heat-rate, Max-pressure, Max-temperature, Overall-heat-transfer-coefficient
Heat-Transfer-Rate:
Slot-Documentation:
the rate at which heat is transfered inside the heat exchanger
Ideal-Heat-Rate:
Slot-Documentation: the ideal heat transfer rate
Max-Heat-Rate:
Slot-Documentation: the maximum heat transfer rate
Max-Pressure:
Slot-Documentation:
the maximum pressure inside the heat exchanger
Max-Temperature:
Slot-Documentation:
the maximum temperature inside the heat exchanger
Overall-Heat-Transfer-Coefficient:
Slot-Documentation:
the overall heat transfer coefficient of the heat exchanger
Superclass-Of:
2-2-closed-feedwater-heater, 2-port-heat-exchanger, 4-port-heat-exchanger, Open-feedwater-heater

Slots on instances of this class:

Area:
Slot-Cardinality: 1
Slot-Documentation:
the surface area through heat is exchanged
Heat-Transfer-Rate:
Slot-Cardinality: 1
Slot-Documentation:
the rate at which heat is transfered inside the heat exchanger
Ideal-Heat-Rate:
Slot-Cardinality: 1
Slot-Documentation: the ideal heat transfer rate
Max-Heat-Rate:
Slot-Cardinality: 1
Slot-Documentation: the maximum heat transfer rate
Max-Pressure:
Slot-Cardinality: 1
Slot-Documentation:
the maximum pressure inside the heat exchanger
Max-Temperature:
Slot-Cardinality: 1
Slot-Documentation:
the maximum temperature inside the heat exchanger
Overall-Heat-Transfer-Coefficient:
Slot-Cardinality: 1
Slot-Documentation:
the overall heat transfer coefficient of the heat exchanger

Axioms:

(Quantity.Dimension (Ideal-Heat-Rate ?Self) Power-Dimension)

(Quantity.Dimension (Max-Heat-Rate ?Self) Power-Dimension)

(Quantity.Dimension (Max-Temperature ?Self) Temperature-Dimension)

(Quantity.Dimension (Max-Pressure ?Self) Pressure-Dimension)

(Quantity.Dimension (Heat-Transfer-Rate ?Self) Power-Dimension)

(Quantity.Dimension (Overall-Heat-Transfer-Coefficient ?Self)
                    Dimensionless)

(Quantity.Dimension (Area ?Self) Area-Dimension)

(Forall (?Self ?Time)
        (<=> (Active ?Time Heat-Exchanger ?Self)
             (And (Heat-Exchanger ?Self)
                  (Active ?Time Thermal-Component ?Self))))

Other Related Axioms:

(Forall (?Self ?Time)
        (<=> (Active ?Time Heat-Exchanger ?Self)
             (And (Heat-Exchanger ?Self)
                  (Active ?Time Thermal-Component ?Self))))

(Quantity-Function-Of Area Heat-Exchanger)

(Quantity-Function-Of Overall-Heat-Transfer-Coefficient
                      Heat-Exchanger)

(Quantity-Function-Of Heat-Transfer-Rate Heat-Exchanger)

(Quantity-Function-Of Max-Pressure Heat-Exchanger)

(Quantity-Function-Of Max-Temperature Heat-Exchanger)

(Quantity-Function-Of Max-Heat-Rate Heat-Exchanger)

(Quantity-Function-Of Ideal-Heat-Rate Heat-Exchanger)

(Forall (?Self ?Time)
        (<=> (Active ?Time 2-Port-Heat-Exchanger ?Self)
             (And (2-Port-Heat-Exchanger ?Self)
                  (Active ?Time Heat-Exchanger ?Self)
                  (Active ?Time 1-1-Port-Thermal-Component ?Self))))

(Forall (?Self ?Time)
        (<=> (Active ?Time 4-Port-Heat-Exchanger ?Self)
             (And (4-Port-Heat-Exchanger ?Self)
                  (Active ?Time Heat-Exchanger ?Self))))

(Forall (?Self ?Time)
        (<=> (Active ?Time Open-Feedwater-Heater ?Self)
             (And (Open-Feedwater-Heater ?Self)
                  (Active ?Time Heat-Exchanger ?Self))))

(Forall (?Self ?Time)
        (<=> (Active ?Time 2-2-Closed-Feedwater-Heater ?Self)
             (And (2-2-Closed-Feedwater-Heater ?Self)
                  (Active ?Time 2-2-Port-Thermal-Component ?Self)
                  (Active ?Time Heat-Exchanger ?Self))))