Class STEADY-FLOW-HEAT-TRANSFER

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

Slots on this class:

Documentation: Generic heat transfer process

Instance-Of: Class

Subclass-Of: Model-fragment, Steady-state-steady-flow-process

Arity: 1

Range-Of: Cnd-tfr-prcs, Htfr-prcs, Stmgen-htsr-prcs

Superclass-Of: Steady-flow-isobaric-heat-transfer

Axioms:

(Forall (?Self ?Time)
        (=> (Active ?Time Steady-Flow-Heat-Transfer ?Self)
            (And (= (Lambda (?T)
                            (If (= ?T ?Time)
                                (Value-At (Work-Rate ?Self) ?T)))
                    0)
                 (Forall (?Cv)
                         (=> (Process-Cv ?Self ?Cv)
                             (= (Lambda (?T)
                                        (If (= ?T ?Time)
                                            (Value-At (D-Ke-Rate ?Cv)
                                                      ?T)))
                                0)))
                 (Forall (?Cv)
                         (=> (Process-Cv ?Self ?Cv)
                             (= (Lambda (?T)
                                        (If (= ?T ?Time)
                                            (Value-At (D-Pe-Rate ?Cv)
                                                      ?T)))
                                0))))))

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

Other Related Axioms:

(Forall (?Self ?Time)
        (=> (Active ?Time Steady-Flow-Heat-Transfer ?Self)
            (And (= (Lambda (?T)
                            (If (= ?T ?Time)
                                (Value-At (Work-Rate ?Self) ?T)))
                    0)
                 (Forall (?Cv)
                         (=> (Process-Cv ?Self ?Cv)
                             (= (Lambda (?T)
                                        (If (= ?T ?Time)
                                            (Value-At (D-Ke-Rate ?Cv)
                                                      ?T)))
                                0)))
                 (Forall (?Cv)
                         (=> (Process-Cv ?Self ?Cv)
                             (= (Lambda (?T)
                                        (If (= ?T ?Time)
                                            (Value-At (D-Pe-Rate ?Cv)
                                                      ?T)))
                                0))))))

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

(Forall (?Self ?Time)
        (<=> (Active ?Time Steady-Flow-Isobaric-Heat-Transfer ?Self)
             (And (Steady-Flow-Isobaric-Heat-Transfer ?Self)
                  (Active ?Time Steady-Flow-Heat-Transfer ?Self)
                  (Active ?Time Steady-Flow-Isobaric-Process ?Self))))

(Inherited-Facet-Value Slot-Value-Type
                       Steam-Generator-With-Reheat-System
                       Stmgen-Htsr-Prcs
                       Steady-Flow-Heat-Transfer)

(=> (Steam-Generator-With-Reheat-System ?Self)
    (And (Value-Cardinality ?Self Sgen 1)
         (Value-Type ?Self Sgen Steam-Generator-With-Reheat)
         (Value-Cardinality ?Self Sgen 1)
         (Value-Cardinality ?Self Sgen-Cv 1)
         (Value-Type ?Self Sgen-Cv 2-2-Control-Volume)
         (Value-Cardinality ?Self Sgen-Cv 1)
         (Value-Cardinality ?Self Stmgen-Htsr-Prcs 1)
         (Value-Type ?Self
                     Stmgen-Htsr-Prcs
                     Steady-Flow-Heat-Transfer)
         (Value-Cardinality ?Self Stmgen-Htsr-Prcs 1)
         (Cv-Component (Sgen-Cv ?Self) (Sgen ?Self))
         (Component-Cv (Sgen ?Self) (Sgen-Cv ?Self))
         (Process-Cv (Stmgen-Htsr-Prcs ?Self) (Sgen-Cv ?Self))))

(=> (Stmgen-Htsr-Prcs $X $Y) (Steady-Flow-Heat-Transfer $Y))

(Inherited-Facet-Value Slot-Value-Type
                       Condensor-With-Heat-Transfer-System
                       Cnd-Tfr-Prcs
                       Steady-Flow-Heat-Transfer)

(=> (Condensor-With-Heat-Transfer-System ?Self)
    (And (Value-Cardinality ?Self Cndsr-Cv 1)
         (Value-Type ?Self Cndsr-Cv 1-1-Control-Volume)
         (Value-Cardinality ?Self Cndsr-Cv 1)
         (Value-Cardinality ?Self Cnd-Tfr-Prcs 1)
         (Value-Type ?Self Cnd-Tfr-Prcs Steady-Flow-Heat-Transfer)
         (Value-Cardinality ?Self Cnd-Tfr-Prcs 1)))

(=> (Cnd-Tfr-Prcs $X $Y) (Steady-Flow-Heat-Transfer $Y))

(Inherited-Facet-Value Slot-Value-Type
                       Boiler-System
                       Htfr-Prcs
                       Steady-Flow-Heat-Transfer)

(=> (Boiler-System ?Self)
    (And (Value-Cardinality ?Self Blr 1)
         (Value-Type ?Self Blr Boiler)
         (Value-Cardinality ?Self Blr 1)
         (Value-Cardinality ?Self Blr-Cv 1)
         (Value-Type ?Self Blr-Cv 1-1-Control-Volume)
         (Value-Cardinality ?Self Blr-Cv 1)
         (Value-Cardinality ?Self Htfr-Prcs 1)
         (Value-Type ?Self Htfr-Prcs Steady-Flow-Heat-Transfer)
         (Value-Cardinality ?Self Htfr-Prcs 1)
         (Value-Cardinality ?Self Water-In-Blr 1)
         (Value-Type ?Self Water-In-Blr Water)
         (Value-Cardinality ?Self Water-In-Blr 1)
         (Cv-Component (Blr-Cv ?Self) (Blr ?Self))
         (Component-Cv (Blr ?Self) (Blr-Cv ?Self))
         (Process-Cv (Htfr-Prcs ?Self) (Blr-Cv ?Self))
         (Substance-In (Blr-Cv ?Self) (Water-In-Blr ?Self))
         (Substance-In (Inlet-Stream (Blr-Cv ?Self))
                       (Water-In-Blr ?Self))
         (Substance-In (Outlet-Stream (Blr-Cv ?Self))
                       (Water-In-Blr ?Self))))

(=> (Htfr-Prcs $X $Y) (Steady-Flow-Heat-Transfer $Y))