Class INTERNALLY-REVERSIBLE-ADIABATIC-PROCESS

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

Slots on this class:

Documentation:

description of an internally reversible-process

Subclass-Of: 1-1-control-volume-op-mode, Model-fragment

Arity: 1

Has-Participant-Function: Adiabatic-pr-involved

---

Slots on instances of this class:

Adiabatic-Pr-Involved:

Slot-Cardinality: 1

Slot-Documentation:

the internally reversible adiabatic process

Slot-Value-Type: Steady-flow-adiabatic-process

Axioms:

(Forall (?Self ?Adiabatic-Pr-Involved)
        (<=> (And (= (Adiabatic-Pr-Involved ?Self)
                     ?Adiabatic-Pr-Involved)
                  (Internally-Reversible-Adiabatic-Process ?Self))
             (And (1-1-Control-Volume-Op-Mode ?Self)
                  (Steady-Flow-Adiabatic-Process ?Adiabatic-Pr-Involved)
                  (Process-Cv ?Adiabatic-Pr-Involved 1-1-Cv-Involved)
                  (Internally-Reversible-P ?Adiabatic-Pr-Involved
                                           True))))

(Forall 
    (?Self ?Time)
    (=> (Active ?Time Internally-Reversible-Adiabatic-Process ?Self)
        (= (Lambda 
               (?T)
               (If (= ?T ?Time)
                   (Value-At 
                       (Specific-Entropy 
                           (Outlet-Stream (1-1-Cv-Involved ?Self)))
                       ?T)))
           (Lambda 
               (?T)
               (If (= ?T ?Time)
                   (Value-At 
                       (Specific-Entropy 
                           (Inlet-Stream (1-1-Cv-Involved ?Self)))
                       ?T))))))

(Forall (?Self ?Time)
        (<=> (Active ?Time
                     Internally-Reversible-Adiabatic-Process
                     ?Self)
             (And (Internally-Reversible-Adiabatic-Process ?Self)
                  (Active ?Time 1-1-Control-Volume-Op-Mode ?Self))))