Class THERMAL-CYCLE

Slots on this class:

Documentation:
a thermodynamic system involving a cycle
Instance-Of: Class
Subclass-Of: Entity, Thermal-system
Arity: 1
Back-Work-Ratio:
Slot-Documentation:
the ratio of the pump work input to the work developed by the turbine
Cycle-Mass-Rate:
Slot-Documentation:
the mass flow rate of the main medium flowing through the thermal cycle
Domain-Of: Cycle-processes
Has-Quantity-Function:
Back-work-ratio, Cycle-mass-rate, Net-heat-input-rate, Net-heat-output-rate, Net-work-output-rate, Thermal-efficiency
Net-Heat-Input-Rate:
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-Documentation:
the net heat output rate of the thermal cycle
Net-Work-Output-Rate:
Slot-Documentation:
the net work output rate of the thermal cycle
Range-Of: Cycle-involved
Superclass-Of: Power-system-eight-one, Power-system-with-extraction-turbines, Power-system-with-reheat
Thermal-Efficiency:
Slot-Documentation:
thermal efficiency of the whole cycle

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:

(Quantity.Dimension (Cycle-Mass-Rate ?Self) Mass-Rate-Dimension)

(Quantity.Dimension (Back-Work-Ratio ?Self) Dimensionless)

(Quantity.Dimension (Thermal-Efficiency ?Self) Dimensionless)

(Quantity.Dimension (Net-Heat-Input-Rate ?Self) Power-Dimension)

(Quantity.Dimension (Net-Work-Output-Rate ?Self) Power-Dimension)

(Quantity.Dimension (Net-Heat-Output-Rate ?Self) Power-Dimension)

(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))))

Other Related 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))))

(Quantity-Function-Of Net-Heat-Output-Rate Thermal-Cycle)

(Quantity-Function-Of Net-Work-Output-Rate Thermal-Cycle)

(Quantity-Function-Of Net-Heat-Input-Rate Thermal-Cycle)

(Quantity-Function-Of Thermal-Efficiency Thermal-Cycle)

(Quantity-Function-Of Back-Work-Ratio Thermal-Cycle)

(Quantity-Function-Of Cycle-Mass-Rate Thermal-Cycle)

(=> (Cycle-Processes $X $Y) (Thermal-Cycle $X))

(Inherited-Facet-Value Slot-Value-Type
                       Thermal-Cycle-Op-Mode
                       Cycle-Involved
                       Thermal-Cycle)

(Forall (?Self ?Cycle-Involved)
        (<=> (And (= (Cycle-Involved ?Self) ?Cycle-Involved)
                  (Thermal-Cycle-Op-Mode ?Self))
             (And (Operating-Mode-Model ?Self)
                  (Thermal-Cycle ?Cycle-Involved))))

(=> (Thermal-Cycle-Op-Mode ?Self)
    (And (Value-Cardinality ?Self Cycle-Involved 1)
         (Value-Type ?Self Cycle-Involved Thermal-Cycle)
         (Value-Cardinality ?Self Cycle-Involved 1)))

(=> (Cycle-Involved $X $Y) (Thermal-Cycle $Y))

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

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

(Forall (?Self ?Time)
        (<=> (Active ?Time
                     Power-System-With-Extraction-Turbines
                     ?Self)
             (And (Power-System-With-Extraction-Turbines ?Self)
                  (Active ?Time Thermal-Cycle ?Self))))