Class STEADY-STATE-STEADY-FLOW-PROCESS

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

Slots on this class:

Documentation:

the model of a steady flow in steady state employing the first law of thermodynamics (Energy conservation) and mass conservation

Subclass-Of: Model-fragment, Thermal-process

Arity: 1

Has-Quantity-Function: Power-input-per-mass

---

Slots on instances of this class:

Power-Input-Per-Mass:

Slot-Cardinality: 1

Slot-Documentation:

the rate of power input per unit of mass passing through the cv associated with the process

Axioms:

(Forall 
    (?Self ?Time)
    (=> (Active ?Time Steady-State-Steady-Flow-Process ?Self)
        (And (Forall (?Cv)
                     (=> (Process-Cv ?Self ?Cv)
                         (= (- (Lambda (?T)
                                       (If (= ?T ?Time)
                                           (Value-At (Heat-Rate ?Self)
                                                     ?T)))
                               (Lambda (?T)
                                       (If (= ?T ?Time)
                                           (Value-At (Work-Rate ?Self)
                                                     ?T))))
                            (+ (- (Lambda 
                                      (?T)
                                      (If (= ?T ?Time)
                                          (Value-At 
                                              (Enthalpy-Rate-Out ?Cv)
                                              ?T)))
                                  (Lambda 
                                      (?T)
                                      (If (= ?T ?Time)
                                          (Value-At 
                                              (Enthalpy-Rate-In ?Cv)
                                              ?T))))
                               (Lambda (?T)
                                       (If (= ?T ?Time)
                                           (Value-At (D-Pe-Rate ?Cv)
                                                     ?T)))
                               (Lambda (?T)
                                       (If (= ?T ?Time)
                                           (Value-At (D-Ke-Rate ?Cv)
                                                     ?T)))))))
             (Forall 
                 (?Cv)
                 (=> (Process-Cv ?Self ?Cv)
                     (= (Lambda 
                            (?T)
                            (If (= ?T ?Time)
                                (Value-At 
                                    (Entropy-Generation-Rate ?Self)
                                    ?T)))
                        (+ (- (Lambda (?T)
                                      (If (= ?T ?Time)
                                          (Value-At 
                                              (Entropy-Rate-Out ?Cv)
                                              ?T)))
                              (Lambda (?T)
                                      (If (= ?T ?Time)
                                          (Value-At 
                                              (Entropy-Rate-In ?Cv)
                                              ?T))))
                           (- (/ (Lambda (?T)
                                         (If (= ?T ?Time)
                                             (Value-At (Heat-Rate ?Self)
                                                       ?T)))
                                 (Lambda 
                                     (?T)
                                     (If (= ?T ?Time)
                                         (Value-At 
                                             (Heat-Transfer-Temperature ?Self)
                                             ?T)))))))))
             (Forall (?Cv)
                     (=> (Process-Cv ?Self ?Cv)
                         (= (Lambda (?T)
                                    (If (= ?T ?Time)
                                        (Value-At (Mass-Rate-In ?Cv)
                                                  ?T)))
                            (Lambda (?T)
                                    (If (= ?T ?Time)
                                        (Value-At (Mass-Rate-Out ?Cv)
                                                  ?T)))))))))

(Forall (?Self ?Time)
        (<=> (Active ?Time Steady-State-Steady-Flow-Process ?Self)
             (And (Steady-State-Steady-Flow-Process ?Self)
                  (Active ?Time Thermal-Process ?Self))))