Class 4-PORT-HEAT-EXCHANGER

Slots on this class:

Documentation:
a two-input two-output heat exchanger with two separate flows
Subclass-Of: Entity, Heat-exchanger
Arity: 1
Has-Attribute-Function: Cold-flow, Hot-flow
Has-Quantity-Function:
Cold-flow-temperature-out, D-log-mean-temperature, D-pressure-cold, D-pressure-hot, Effectiveness, Hot-flow-temperature-in

Slots on instances of this class:

Cold-Flow:
Slot-Cardinality: 1
Slot-Documentation:
the cold flow side of a heat exchanger with two separate flows
Slot-Value-Type: 2-port-heat-exchanger
Cold-Flow-Temperature-Out:
Slot-Cardinality: 1
Slot-Documentation:
the output temperature of cold flow
D-Log-Mean-Temperature:
Slot-Cardinality: 1
Slot-Documentation:
log-mean temperature difference in the heat exchanger
D-Pressure-Cold:
Slot-Cardinality: 1
Slot-Documentation:
the pressure difference between inlet and outlet of cold flow
D-Pressure-Hot:
Slot-Cardinality: 1
Slot-Documentation:
the pressure difference between inlet and outlet of hot flow
Effectiveness:
Slot-Cardinality: 1
Slot-Documentation:
the ratio of the actual enthalpy increase of the compressor side of the regenerator to the maximum theoretical enthalpy increase when the heat exchanger is playing the role of a regenerator in a regenerative gas turbine cycle
Hot-Flow:
Slot-Cardinality: 1
Slot-Documentation:
the hot flow side of a heat exchanger with two separate flows
Slot-Value-Type: 2-port-heat-exchanger
Hot-Flow-Temperature-In:
Slot-Cardinality: 1
Slot-Documentation:
the input temperature of the hot flow

Axioms:

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

(=> (4-Port-Heat-Exchanger ?Self)
    (And (Quantity.Dimension (Effectiveness ?Self) Dimensionless)
         (Quantity.Dimension (Hot-Flow-Temperature-In ?Self)
                             Temperature-Dimension)
         (Quantity.Dimension (Cold-Flow-Temperature-Out ?Self)
                             Temperature-Dimension)
         (Quantity.Dimension (D-Log-Mean-Temperature ?Self)
                             Temperature-Dimension)
         (Quantity.Dimension (D-Pressure-Hot ?Self)
                             Pressure-Dimension)
         (Quantity.Dimension (D-Pressure-Cold ?Self)
                             Pressure-Dimension)))