Function NET-HEAT-OUTPUT-RATE

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

Slots on this function:

Documentation:

the net heat output rate of the thermal cycle

Instance-Of: Function, Quantity-function

Arity: 2

Range: Everywhere-continuous-quantity

Other Related Axioms:

(Inherited-Facet-Value Slot-Documentation
                       Thermal-Cycle
                       Net-Heat-Output-Rate
                       The Net Heat Output Rate Of The Thermal Cycle)

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

(Inherited-Facet-Value Slot-Cardinality
                       Thermal-Cycle
                       Net-Heat-Output-Rate
                       1)

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

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

(Slot-Documentation Thermal-Cycle
                    Net-Heat-Output-Rate
                    The Net Heat Output Rate Of The Thermal Cycle)

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

(=> (Net-Heat-Output-Rate $X $Y) (Everywhere-Continuous-Quantity $Y))