Class 4-PORT-HEAT-EXCHANGER

Slots on this class:

Documentation:
a two-input two-output heat exchanger with two separate flows
Instance-Of: Class
Subclass-Of: Entity, Heat-exchanger
Arity: 1
Cold-Flow:
Slot-Documentation:
the cold flow side of a heat exchanger with two separate flows
Cold-Flow-Temperature-Out:
Slot-Documentation:
the output temperature of cold flow
D-Log-Mean-Temperature:
Slot-Documentation:
log-mean temperature difference in the heat exchanger
D-Pressure-Cold:
Slot-Documentation:
the pressure difference between inlet and outlet of cold flow
D-Pressure-Hot:
Slot-Documentation:
the pressure difference between inlet and outlet of hot flow
Effectiveness:
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
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
Hot-Flow:
Slot-Documentation:
the hot flow side of a heat exchanger with two separate flows
Hot-Flow-Temperature-In:
Slot-Documentation:
the input temperature of the hot flow
Range-Of: Cnd

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:

(Quantity.Dimension (D-Pressure-Cold ?Self) Pressure-Dimension)

(Quantity.Dimension (D-Pressure-Hot ?Self) Pressure-Dimension)

(Quantity.Dimension (D-Log-Mean-Temperature ?Self)
                    Temperature-Dimension)

(Quantity.Dimension (Cold-Flow-Temperature-Out ?Self)
                    Temperature-Dimension)

(Quantity.Dimension (Hot-Flow-Temperature-In ?Self)
                    Temperature-Dimension)

(Quantity.Dimension (Effectiveness ?Self) Dimensionless)

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

Other Related Axioms:

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

(Quantity-Function-Of Effectiveness 4-Port-Heat-Exchanger)

(Quantity-Function-Of Hot-Flow-Temperature-In 4-Port-Heat-Exchanger)

(Quantity-Function-Of Cold-Flow-Temperature-Out
                      4-Port-Heat-Exchanger)

(Quantity-Function-Of D-Log-Mean-Temperature 4-Port-Heat-Exchanger)

(Quantity-Function-Of D-Pressure-Hot 4-Port-Heat-Exchanger)

(Quantity-Function-Of D-Pressure-Cold 4-Port-Heat-Exchanger)

(Attribute-Function-Of Hot-Flow 4-Port-Heat-Exchanger)

(Attribute-Function-Of Cold-Flow 4-Port-Heat-Exchanger)

(Inherited-Facet-Value Slot-Value-Type
                       System-With-Condensor
                       Cnd
                       4-Port-Heat-Exchanger)

(=> (System-With-Condensor ?Self)
    (And (Value-Cardinality ?Self Cnd 1)
         (Value-Type ?Self Cnd 4-Port-Heat-Exchanger)
         (Value-Cardinality ?Self Cnd 1)))

(=> (Cnd $X $Y) (4-Port-Heat-Exchanger $Y))