Class CONTROL-VOLUME

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

Slots on this class:

Documentation:

a region of space through which mass may flow

Subclass-Of: Entity, Substance-container

Arity: 1

Has-Quantity-Function:

Cv-elevation, Cv-energy, Cv-enthalpy, Cv-entropy, Cv-internal-energy, Cv-ke, Cv-mass, Cv-pe, Cv-volume, D-entropy-rate, D-ke-rate, D-pe-rate, Energy-rate, Enthalpy-rate-in, Enthalpy-rate-out, Entropy-rate-in, Entropy-rate-out, Even-ke, Even-pe, Internal-energy-rate, Ke-rate-in, Ke-rate-out, Mass-rate-in, Mass-rate-out, Pe-rate-in, Pe-rate-out

---

Slots on instances of this class:

Cv-Elevation:

Slot-Cardinality: 1

Slot-Documentation:

the elevation of the control volume with respect to some reference position

Cv-Energy:

Slot-Cardinality: 1

Slot-Documentation:

the total energy of the fluid in the control volume

Cv-Enthalpy:

Slot-Cardinality: 1

Slot-Documentation:

the enthalpy of the fluid in the control volume

Cv-Entropy:

Slot-Cardinality: 1

Slot-Documentation:

the entropy of the fluid in the control volume

Cv-Internal-Energy:

Slot-Cardinality: 1

Slot-Documentation:

the internal energy of the fluid in the control volume

Cv-Ke:

Slot-Cardinality: 1

Slot-Documentation:

the kinetic energy of the fluid in the control volume

Cv-Mass:

Slot-Cardinality: 1

Slot-Documentation:

the mass of the fluid in the control volume

Cv-Pe:

Slot-Cardinality: 1

Slot-Documentation:

the potential energy of the fluid in the control volume

Cv-Volume:

Slot-Cardinality: 1

Slot-Documentation:

the volume of the fluid in the control volume

D-Entropy-Rate:

Slot-Cardinality: 1

Slot-Documentation:

entropy differential across the control volume

D-Ke-Rate:

Slot-Cardinality: 1

Slot-Documentation:

the kinetic energy differential of the fluid across the control volume

D-Pe-Rate:

Slot-Cardinality: 1

Slot-Documentation:

the potential energy differential of the fluid across the control volume

Energy-Rate:

Slot-Cardinality: 1

Slot-Documentation:

the rate of change of the total energy of the fluid in the control volume

Enthalpy-Rate-In:

Slot-Cardinality: 1

Slot-Documentation:

the enthalpy flow rate into the control volume

Enthalpy-Rate-Out:

Slot-Cardinality: 1

Slot-Documentation:

the enthalpy flow rate out of the control volume

Entropy-Rate-In:

Slot-Cardinality: 1

Slot-Documentation:

the entropy flow rate into the control volume

Entropy-Rate-Out:

Slot-Cardinality: 1

Slot-Documentation:

the entropy flow rate out of the control volume

Even-Ke:

Slot-Cardinality: 1

Slot-Documentation:

the predicate indicating that the change in ke-rate is negligible

Even-Pe:

Slot-Cardinality: 1

Slot-Documentation:

the predicate indicating that the change in pe-rate is negligible

Internal-Energy-Rate:

Slot-Cardinality: 1

Slot-Documentation:

the rate of change in the internal energy o fthe fluid in the control volume

Ke-Rate-In:

Slot-Cardinality: 1

Slot-Documentation:

the kinetic energy flow rate into the control volume

Ke-Rate-Out:

Slot-Cardinality: 1

Slot-Documentation:

the kinetic energy flow rate out of the control volume

Mass-Rate-In:

Slot-Cardinality: 1

Slot-Documentation:

the mass flow rate into the control volume

Mass-Rate-Out:

Slot-Cardinality: 1

Slot-Documentation:

the mass flow rate out of the control volume

Pe-Rate-In:

Slot-Cardinality: 1

Slot-Documentation:

the potential energy flow rate into the control volume

Pe-Rate-Out:

Slot-Cardinality: 1

Slot-Documentation:

the potential energy flow rate out of the control volume

Axioms:

(Forall 
    (?Self ?Time)
    (=> (Active ?Time Control-Volume ?Self)
        (And (Forall 
                 (?X)
                 (=> (Inlets ?Self ?X)
                     (And (C+ (Lambda (?T)
                                      (If (= ?T ?Time)
                                          (Value-At (Pe-Rate ?X) ?T)))
                              (Lambda (?T)
                                      (If (= ?T ?Time)
                                          (Value-At (Pe-Rate-In ?Self)
                                                    ?T))))
                          (C+ (Lambda (?T)
                                      (If (= ?T ?Time)
                                          (Value-At (Ke-Rate ?X) ?T)))
                              (Lambda (?T)
                                      (If (= ?T ?Time)
                                          (Value-At (Ke-Rate-In ?Self)
                                                    ?T))))
                          (C+ (Lambda (?T)
                                      (If (= ?T ?Time)
                                          (Value-At (Enthalpy-Rate ?X)
                                                    ?T)))
                              (Lambda 
                                  (?T)
                                  (If (= ?T ?Time)
                                      (Value-At (Enthalpy-Rate-In ?Self)
                                                ?T))))
                          (C+ (Lambda (?T)
                                      (If (= ?T ?Time)
                                          (Value-At (Mass-Rate ?X)
                                                    ?T)))
                              (Lambda (?T)
                                      (If (= ?T ?Time)
                                          (Value-At (Mass-Rate-In ?Self)
                                                    ?T))))
                          (C+ (Lambda (?T)
                                      (If (= ?T ?Time)
                                          (Value-At (Entropy-Rate ?X)
                                                    ?T)))
                              (Lambda 
                                  (?T)
                                  (If (= ?T ?Time)
                                      (Value-At (Entropy-Rate-In ?Self)
                                                ?T)))))))
             (Forall 
                 (?X)
                 (=> (Outlets ?Self ?X)
                     (And (C+ (Lambda (?T)
                                      (If (= ?T ?Time)
                                          (Value-At (Pe-Rate ?X) ?T)))
                              (Lambda (?T)
                                      (If (= ?T ?Time)
                                          (Value-At (Pe-Rate-Out ?Self)
                                                    ?T))))
                          (C+ (Lambda (?T)
                                      (If (= ?T ?Time)
                                          (Value-At (Ke-Rate ?X) ?T)))
                              (Lambda (?T)
                                      (If (= ?T ?Time)
                                          (Value-At (Ke-Rate-Out ?Self)
                                                    ?T))))
                          (C+ (Lambda (?T)
                                      (If (= ?T ?Time)
                                          (Value-At (Enthalpy-Rate ?X)
                                                    ?T)))
                              (Lambda 
                                  (?T)
                                  (If (= ?T ?Time)
                                      (Value-At 
                                          (Enthalpy-Rate-Out ?Self)
                                          ?T))))
                          (C+ (Lambda (?T)
                                      (If (= ?T ?Time)
                                          (Value-At (Mass-Rate ?X)
                                                    ?T)))
                              (Lambda (?T)
                                      (If (= ?T ?Time)
                                          (Value-At 
                                              (Mass-Rate-Out ?Self)
                                              ?T))))
                          (C+ (Lambda (?T)
                                      (If (= ?T ?Time)
                                          (Value-At (Entropy-Rate ?X)
                                                    ?T)))
                              (Lambda 
                                  (?T)
                                  (If (= ?T ?Time)
                                      (Value-At (Entropy-Rate-Out ?Self)
                                                ?T)))))))
             (= (Lambda (?T)
                        (If (= ?T ?Time)
                            (Value-At (D-Entropy-Rate ?Self) ?T)))
                (- (Lambda (?T)
                           (If (= ?T ?Time)
                               (Value-At (Entropy-Rate-In ?Self) ?T)))
                   (Lambda (?T)
                           (If (= ?T ?Time)
                               (Value-At (Entropy-Rate-Out ?Self) ?T)))))
             (= (Lambda (?T)
                        (If (= ?T ?Time)
                            (Value-At (D-Pe-Rate ?Self) ?T)))
                (- (Lambda (?T)
                           (If (= ?T ?Time)
                               (Value-At (Pe-Rate-Out ?Self) ?T)))
                   (Lambda (?T)
                           (If (= ?T ?Time)
                               (Value-At (Pe-Rate-In ?Self) ?T)))))
             (= (Lambda (?T)
                        (If (= ?T ?Time)
                            (Value-At (D-Ke-Rate ?Self) ?T)))
                (- (Lambda (?T)
                           (If (= ?T ?Time)
                               (Value-At (Ke-Rate-Out ?Self) ?T)))
                   (Lambda (?T)
                           (If (= ?T ?Time)
                               (Value-At (Ke-Rate-In ?Self) ?T))))))))

(Forall (?Self ?Time)
        (<=> (Active ?Time Control-Volume ?Self)
             (And (Control-Volume ?Self)
                  (Active ?Time Substance-Container ?Self))))

(=> (Control-Volume ?Self)
    (And (Quantity.Dimension (Enthalpy-Rate-In ?Self)
                             Power-Dimension)
         (Quantity.Dimension (Enthalpy-Rate-Out ?Self)
                             Power-Dimension)
         (Quantity.Dimension (Entropy-Rate-In ?Self)
                             Entropy-Rate-Dimension)
         (Quantity.Dimension (Entropy-Rate-Out ?Self)
                             Entropy-Rate-Dimension)
         (Quantity.Dimension (D-Entropy-Rate ?Self)
                             Entropy-Rate-Dimension)
         (Quantity.Dimension (Ke-Rate-In ?Self) Power-Dimension)
         (Quantity.Dimension (Ke-Rate-Out ?Self) Power-Dimension)
         (Quantity.Dimension (Mass-Rate-In ?Self)
                             Mass-Rate-Dimension)
         (Quantity.Dimension (Mass-Rate-Out ?Self)
                             Mass-Rate-Dimension)
         (Quantity.Dimension (Pe-Rate-In ?Self) Power-Dimension)
         (Quantity.Dimension (Pe-Rate-Out ?Self) Power-Dimension)
         (Quantity.Dimension (Cv-Elevation ?Self) Length-Dimension)
         (Quantity.Dimension (Cv-Pe ?Self) Energy-Dimension)
         (Quantity.Dimension (Cv-Ke ?Self) Energy-Dimension)
         (Quantity.Dimension (Cv-Enthalpy ?Self) Energy-Dimension)
         (Quantity.Dimension (Cv-Entropy ?Self) Entropy-Dimension)
         (Quantity.Dimension (Cv-Internal-Energy ?Self)
                             Energy-Dimension)
         (Quantity.Dimension (Cv-Energy ?Self) Energy-Dimension)
         (Quantity.Dimension (Energy-Rate ?Self)
                             Energy-Rate-Dimension)
         (Quantity.Dimension (Internal-Energy-Rate ?Self)
                             Energy-Rate-Dimension)
         (Quantity.Dimension (Cv-Mass ?Self) Mass-Dimension)
         (Quantity.Dimension (Cv-Volume ?Self) Volume-Dimension)
         (Quantity.Dimension (D-Pe-Rate ?Self) Power-Dimension)
         (Quantity.Dimension (D-Ke-Rate ?Self) Power-Dimension)))