Function COMPUTE-AIR-THERMODYNAMIC-STATE

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

Slots on this function:

Documentation:

Computes the specific enthalpy from the temperature. Eg: (compute-air-thermodynamic-state (stream-temperature 2d-stream-1))

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: 2

Other Related Axioms:

(Forall 
    (?Self ?Time)
    (=> (Active ?Time
                Control-Volume-Inlet-Stream-Thermodynamic-State
                ?Self)
        (Forall 
            (?X)
            (=> (Inlets (Cv-Involved ?Self) ?X)
                (= (Lambda (?T)
                           (If (= ?T ?Time)
                               (Value-At (Specific-Enthalpy ?X) ?T)))
                   (Compute-Air-Thermodynamic-State 
                       (Lambda (?T)
                               (If (= ?T ?Time)
                                   (Value-At (Stream-Temperature ?X)
                                             ?T)))))))))

(Forall 
    (?Self ?Time)
    (=> (Active ?Time
                Control-Volume-Outlet-Stream-Thermodynamic-State
                ?Self)
        (Forall 
            (?X)
            (=> (Outlets (Cv-Involved ?Self) ?X)
                (= (Lambda (?T)
                           (If (= ?T ?Time)
                               (Value-At (Specific-Enthalpy ?X) ?T)))
                   (Compute-Air-Thermodynamic-State 
                       (Lambda (?T)
                               (If (= ?T ?Time)
                                   (Value-At (Stream-Temperature ?X)
                                             ?T)))))))))