Function COMPUTE-SATURATED-VAPOR-SPECIFIC-VOLUME

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

Slots on this function:

Documentation:

Computes the specific volume of saturated vapor from the quality (0 or 1) and the pressure.

Eg: (compute-saturated-vapor-specific-volume (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 Saturated-Water-Stream-Specific-Volume ?Self)
        (= (Lambda 
               (?T)
               (If (= ?T ?Time)
                   (Value-At (Specific-Volume (2d-Stream-Involved ?Self))
                             ?T)))
           (Compute-Saturated-Vapor-Specific-Volume 
               (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)))))))