Class 1-1-CONTROL-VOLUME-OP-MODE

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

Slots on this class:

Documentation:

the class of model fragments about a 1-1-contol-volume

Instance-Of: Class

Subclass-Of: Model-fragment

1-1-Cv-Involved:

Slot-Documentation: the control volume

Arity: 1

Has-Participant-Function: 1-1-cv-involved

Superclass-Of: Internally-reversible-adiabatic-process, Pump-power-input-per-mass-approximation

---

Slots on instances of this class:

1-1-Cv-Involved:

Slot-Cardinality: 1

Slot-Documentation: the control volume

Slot-Value-Type: 1-1-control-volume

Axioms:

(Forall (?1-1-Cv-Involved)
        (<=> (1-1-Control-Volume ?1-1-Cv-Involved)
             (Exists (?Self)
                     (And (1-1-Control-Volume-Op-Mode ?Self)
                          (= (1-1-Cv-Involved ?Self)
                             ?1-1-Cv-Involved)))))

(Forall (?Self ?Time)
        (<=> (Active ?Time 1-1-Control-Volume-Op-Mode ?Self)
             (1-1-Control-Volume-Op-Mode ?Self)))

Other Related Axioms:

(Forall (?1-1-Cv-Involved)
        (<=> (1-1-Control-Volume ?1-1-Cv-Involved)
             (Exists (?Self)
                     (And (1-1-Control-Volume-Op-Mode ?Self)
                          (= (1-1-Cv-Involved ?Self)
                             ?1-1-Cv-Involved)))))

(Forall (?Self ?Time)
        (<=> (Active ?Time 1-1-Control-Volume-Op-Mode ?Self)
             (1-1-Control-Volume-Op-Mode ?Self)))

(Participant-Function-Of 1-1-Cv-Involved 1-1-Control-Volume-Op-Mode)

(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)
             (And (Internally-Reversible-Adiabatic-Process ?Self)
                  (Active ?Time 1-1-Control-Volume-Op-Mode ?Self))))

(Forall (?Self)
        (<=> (Pump-Power-Input-Per-Mass-Approximation ?Self)
             (And (Pump-Operating-Mode ?Self)
                  (1-1-Control-Volume-Op-Mode ?Self)
                  (Thermal-Process-Op-Mode ?Self)
                  (Component-Cv Pump-Involved 1-1-Cv-Involved)
                  (Process-Cv Process-Involved 1-1-Cv-Involved))))

(Forall (?Self ?Time)
        (<=> (Active ?Time
                     Pump-Power-Input-Per-Mass-Approximation
                     ?Self)
             (And (Pump-Power-Input-Per-Mass-Approximation ?Self)
                  (Active ?Time Pump-Operating-Mode ?Self)
                  (Active ?Time 1-1-Control-Volume-Op-Mode ?Self)
                  (Active ?Time Thermal-Process-Op-Mode ?Self))))