Class STEADY-FLOW-ISENTROPIC-PROCESS

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

Slots on this class:

Documentation:

An isentropic process is one for which there is no heat transfer with

the surroundings, and no change in entropy

Subclass-Of: Model-fragment, Steady-flow-adiabatic-process

Arity: 1

Axioms:

(Forall (?Self ?Time)
        (=> (Active ?Time Steady-Flow-Isentropic-Process ?Self)
            (Forall (?Cv)
                    (=> (Process-Cv ?Self ?Cv)
                        (= (Lambda (?T)
                                   (If (= ?T ?Time)
                                       (Value-At (D-Entropy-Rate ?Cv)
                                                 ?T)))
                           0)))))

(Forall (?Self ?Time)
        (<=> (Active ?Time Steady-Flow-Isentropic-Process ?Self)
             (And (Steady-Flow-Isentropic-Process ?Self)
                  (Active ?Time Steady-Flow-Adiabatic-Process ?Self))))