Class CONTROL-VOLUME-OUTLET-STREAM-THERMODYNAMIC-STATE

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

Slots on this class:

Documentation:

the operating mode model of a control volume containing air to compute the thermodynamic state of its oiutlet stream

Instance-Of: Class

Subclass-Of: Air-operating-mode, Control-volume-op-mode, Model-fragment

Arity: 1

Axioms:

(Forall (?Self)
        (<=> (Control-Volume-Outlet-Stream-Thermodynamic-State ?Self)
             (And (Air-Operating-Mode ?Self)
                  (Control-Volume-Op-Mode ?Self)
                  (Substance-In (Cv-Involved ?Self)
                                (Air-Involved ?Self)))))

(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)))))))))

(Forall (?Self ?Time)
        (<=> (Active ?Time
                     Control-Volume-Outlet-Stream-Thermodynamic-State
                     ?Self)
             (And (Control-Volume-Outlet-Stream-Thermodynamic-State ?Self)
                  (Active ?Time Air-Operating-Mode ?Self)
                  (Active ?Time Control-Volume-Op-Mode ?Self))))

Other Related Axioms:

(Forall (?Self)
        (<=> (Control-Volume-Outlet-Stream-Thermodynamic-State ?Self)
             (And (Air-Operating-Mode ?Self)
                  (Control-Volume-Op-Mode ?Self)
                  (Substance-In (Cv-Involved ?Self)
                                (Air-Involved ?Self)))))

(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)))))))))

(Forall (?Self ?Time)
        (<=> (Active ?Time
                     Control-Volume-Outlet-Stream-Thermodynamic-State
                     ?Self)
             (And (Control-Volume-Outlet-Stream-Thermodynamic-State ?Self)
                  (Active ?Time Air-Operating-Mode ?Self)
                  (Active ?Time Control-Volume-Op-Mode ?Self))))