Function EFFECTIVENESS

• Defined in theory: Thermal-system
• Source code: thermal-system.ol

Slots on this function:

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

Instance-Of: Function, Quantity-function

Arity: 2

Range: Everywhere-continuous-quantity

Other Related Axioms:

(Inherited-Facet-Value 
    Slot-Documentation
    4-Port-Heat-Exchanger
    Effectiveness
    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)

(Quantity.Dimension (Effectiveness ?Self) Dimensionless)

(Inherited-Facet-Value Slot-Cardinality
                       4-Port-Heat-Exchanger
                       Effectiveness
                       1)

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

(Slot-Documentation 
    4-Port-Heat-Exchanger
    Effectiveness
    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)

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

(=> (Effectiveness $X $Y) (Everywhere-Continuous-Quantity $Y))