Class CONTROL-VOLUME


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)))