Function NET-HEAT-INPUT-RATE

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

Slots on this function:

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

Instance-Of: Function, Quantity-function

Arity: 2

Range: Everywhere-continuous-quantity

Other Related Axioms:

(Inherited-Facet-Value 
    Slot-Documentation
    Thermal-Cycle
    Net-Heat-Input-Rate
    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)

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

(Inherited-Facet-Value Slot-Cardinality
                       Thermal-Cycle
                       Net-Heat-Input-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-Input-Rate)

(Slot-Documentation 
    Thermal-Cycle
    Net-Heat-Input-Rate
    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)

(=> (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-Input-Rate $X $Y) (Everywhere-Continuous-Quantity $Y))

(Forall 
    (?Self ?Time)
    (=> (Active ?Time Cycle-Heat-Input ?Self)
        (C+ (Lambda (?T)
                    (If (= ?T ?Time)
                        (Value-At (Heat-Rate (Process-Involved ?Self))
                                  ?T)))
            (Lambda 
                (?T)
                (If (= ?T ?Time)
                    (Value-At (Net-Heat-Input-Rate 
                                  (Cycle-Involved ?Self))
                              ?T))))))