Function COMPUTE-SATURATED-VAPOR-ENTHALPY

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

Slots on this function:

Documentation:

Computes the specific enthalpy of saturated vapor from the quality (0

or 1) and the pressure. Eg: (compute-saturated-vapor-entropy (stream-pressure (stream-involved ?self)) (quality
(stream-involved ?self))) We don't know how to compute this yet.

It will be a call to an outside routine or a table lookup.

Instance-Of: Function

Arity: 3

Other Related Axioms:

(Forall 
    (?Self ?Time)
    (=> (Active ?Time Non-Saturated-Water-Stream-Enthalpy ?Self)
        (= (Lambda 
               (?T)
               (If (= ?T ?Time)
                   (Value-At 
                       (Specific-Enthalpy (2d-Stream-Involved ?Self))
                       ?T)))
           (+ (Compute-Saturated-Vapor-Enthalpy 
                  (Lambda 
                      (?T)
                      (If (= ?T ?Time)
                          (Value-At 
                              (Stream-Pressure 
                                  (2d-Stream-Involved ?Self))
                              ?T)))
                  0)
              (* (Lambda (?T)
                         (If (= ?T ?Time)
                             (Value-At 
                                 (Quality (2d-Stream-Involved ?Self))
                                 ?T)))
                 (- (Compute-Saturated-Vapor-Enthalpy 
                        (Lambda 
                            (?T)
                            (If (= ?T ?Time)
                                (Value-At 
                                    (Stream-Pressure 
                                        (2d-Stream-Involved ?Self))
                                    ?T)))
                        1)
                    (Compute-Saturated-Vapor-Enthalpy 
                        (Lambda 
                            (?T)
                            (If (= ?T ?Time)
                                (Value-At 
                                    (Stream-Pressure 
                                        (2d-Stream-Involved ?Self))
                                    ?T)))
                        0)))))))

(Forall 
    (?Self ?Time)
    (=> (Active ?Time Saturated-Water-Stream-Enthalpy ?Self)
        (= (Lambda 
               (?T)
               (If (= ?T ?Time)
                   (Value-At 
                       (Specific-Enthalpy (2d-Stream-Involved ?Self))
                       ?T)))
           (Compute-Saturated-Vapor-Enthalpy 
               (Lambda 
                   (?T)
                   (If (= ?T ?Time)
                       (Value-At 
                           (Stream-Pressure (2d-Stream-Involved ?Self))
                           ?T)))
               (Lambda (?T)
                       (If (= ?T ?Time)
                           (Value-At (Quality (2d-Stream-Involved ?Self))
                                     ?T)))))))