Class THERMAL-CYCLE

Slots on this class:

Documentation:
a thermodynamic system involving a cycle
Subclass-Of: Entity, Thermal-system
Arity: 1
Has-Quantity-Function:
Back-work-ratio, Cycle-mass-rate, Net-heat-input-rate, Net-heat-output-rate, Net-work-output-rate, Thermal-efficiency

Slots on instances of this class:

Back-Work-Ratio:
Slot-Cardinality: 1
Slot-Documentation:
the ratio of the pump work input to the work developed by the turbine
Cycle-Mass-Rate:
Slot-Cardinality: 1
Slot-Documentation:
the mass flow rate of the main medium flowing through the thermal cycle
Net-Heat-Input-Rate:
Slot-Cardinality: 1
Slot-Documentation:
the net heat input rate into the cycle from outside including only actively added heat such as heat added to the boiler but not including heat such as heat lost from the condenser
Net-Heat-Output-Rate:
Slot-Cardinality: 1
Slot-Documentation:
the net heat output rate of the thermal cycle
Net-Work-Output-Rate:
Slot-Cardinality: 1
Slot-Documentation:
the net work output rate of the thermal cycle
Thermal-Efficiency:
Slot-Cardinality: 1
Slot-Documentation:
thermal efficiency of the whole cycle

Axioms:

(Forall (?Self ?Time)
        (=> (Active ?Time Thermal-Cycle ?Self)
            (= (/ (Lambda (?T)
                          (If (= ?T ?Time)
                              (Value-At (Net-Work-Output-Rate ?Self)
                                        ?T)))
                  1000000)
               (- (Lambda (?T)
                          (If (= ?T ?Time)
                              (Value-At (Net-Heat-Input-Rate ?Self)
                                        ?T)))
                  (Lambda (?T)
                          (If (= ?T ?Time)
                              (Value-At (Net-Heat-Output-Rate ?Self)
                                        ?T)))))))

(Forall (?Self ?Time)
        (<=> (Active ?Time Thermal-Cycle ?Self)
             (And (Thermal-Cycle ?Self)
                  (Active ?Time Thermal-System ?Self))))

(=> (Thermal-Cycle ?Self)
    (And (Quantity.Dimension (Net-Heat-Output-Rate ?Self)
                             Power-Dimension)
         (Quantity.Dimension (Net-Work-Output-Rate ?Self)
                             Power-Dimension)
         (Quantity.Dimension (Net-Heat-Input-Rate ?Self)
                             Power-Dimension)
         (Quantity.Dimension (Thermal-Efficiency ?Self)
                             Dimensionless)
         (Quantity.Dimension (Back-Work-Ratio ?Self) Dimensionless)
         (Quantity.Dimension (Cycle-Mass-Rate ?Self)
                             Mass-Rate-Dimension)))