Class STEADY-FLOW-ISOBARIC-PROCESS

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

Slots on this class:

Documentation:

An isobaric process is a constant pressure process

Subclass-Of: Model-fragment, Steady-state-steady-flow-process

Arity: 1

Axioms:

(Forall 
    (?Self ?Time)
    (=> (Active ?Time Steady-Flow-Isobaric-Process ?Self)
        (Forall 
            (?Cv)
            (=> (Process-Cv ?Self ?Cv)
                (= (Lambda 
                       (?T)
                       (If (= ?T ?Time)
                           (Value-At (Stream-Pressure (Inlet-Stream ?Cv))
                                     ?T)))
                   (Lambda 
                       (?T)
                       (If (= ?T ?Time)
                           (Value-At (Stream-Pressure 
                                         (Outlet-Stream ?Cv))
                                     ?T))))))))

(Forall (?Self ?Time)
        (<=> (Active ?Time Steady-Flow-Isobaric-Process ?Self)
             (And (Steady-Flow-Isobaric-Process ?Self)
                  (Active ?Time
                          Steady-State-Steady-Flow-Process
                          ?Self))))