Class 2D-STREAM-ENTHALPY-RATE

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

Slots on this class:

Documentation:

the operating mode model of the 2d stream to express the relation between enthalpy rate, mass rate and specific enthalpy

Instance-Of: Class

Subclass-Of: 2d-stream-operating-mode, Model-fragment

Arity: 1

Axioms:

(Forall 
    (?Self ?Time)
    (=> (Active ?Time 2d-Stream-Enthalpy-Rate ?Self)
        (= (Lambda (?T)
                   (If (= ?T ?Time)
                       (Value-At 
                           (Enthalpy-Rate (2d-Stream-Involved ?Self))
                           ?T)))
           (* (Lambda (?T)
                      (If (= ?T ?Time)
                          (Value-At (Mass-Rate 
                                        (2d-Stream-Involved ?Self))
                                    ?T)))
              (Lambda 
                  (?T)
                  (If (= ?T ?Time)
                      (Value-At 
                          (Specific-Enthalpy (2d-Stream-Involved ?Self))
                          ?T)))))))

(Forall (?Self ?Time)
        (<=> (Active ?Time 2d-Stream-Enthalpy-Rate ?Self)
             (And (2d-Stream-Enthalpy-Rate ?Self)
                  (Active ?Time 2d-Stream-Operating-Mode ?Self))))

Other Related Axioms:

(Forall 
    (?Self ?Time)
    (=> (Active ?Time 2d-Stream-Enthalpy-Rate ?Self)
        (= (Lambda (?T)
                   (If (= ?T ?Time)
                       (Value-At 
                           (Enthalpy-Rate (2d-Stream-Involved ?Self))
                           ?T)))
           (* (Lambda (?T)
                      (If (= ?T ?Time)
                          (Value-At (Mass-Rate 
                                        (2d-Stream-Involved ?Self))
                                    ?T)))
              (Lambda 
                  (?T)
                  (If (= ?T ?Time)
                      (Value-At 
                          (Specific-Enthalpy (2d-Stream-Involved ?Self))
                          ?T)))))))

(Forall (?Self ?Time)
        (<=> (Active ?Time 2d-Stream-Enthalpy-Rate ?Self)
             (And (2d-Stream-Enthalpy-Rate ?Self)
                  (Active ?Time 2d-Stream-Operating-Mode ?Self))))