Class 2-2-CLOSED-FEEDWATER-HEATER-SYSTEM

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

Slots on this class:

Documentation:

the system consisting of an open feedwater heater, an associated control-volume, and an adiabatic mixing process.

Instance-Of: Class

Subclass-Of: Entity, System-model

Arity: 1

Chtr-Cv:

Slot-Documentation:

the control volume associated with the closed feedwater heater in the system

Cls-Fwt-Htr:

Slot-Documentation: the closed feedwater heater

Has-Attribute-Function: Chtr-cv, Cls-fwt-htr, Ht-xchg-prcs

Ht-Xchg-Prcs:

Slot-Documentation: the adiabatic heat-exchange

Range-Of: Chtr-system

---

Slots on instances of this class:

Chtr-Cv:

Slot-Cardinality: 1

Slot-Documentation:

the control volume associated with the closed feedwater heater in the system

Slot-Value-Type: 2-2-control-volume

Cls-Fwt-Htr:

Slot-Cardinality: 1

Slot-Documentation: the closed feedwater heater

Slot-Value-Type: 2-2-closed-feedwater-heater

Ht-Xchg-Prcs:

Slot-Cardinality: 1

Slot-Documentation: the adiabatic heat-exchange

Slot-Value-Type: Steady-flow-adiabatic-heat-exchange

Axioms:

(Process-Cv (Ht-Xchg-Prcs ?Self) (Chtr-Cv ?Self))

(Component-Cv (Cls-Fwt-Htr ?Self) (Chtr-Cv ?Self))

(Cv-Component (Chtr-Cv ?Self) (Cls-Fwt-Htr ?Self))

(Forall (?Self ?Time)
        (<=> (Active ?Time 2-2-Closed-Feedwater-Heater-System ?Self)
             (And (2-2-Closed-Feedwater-Heater-System ?Self)
                  (Active ?Time System-Model ?Self))))

Other Related Axioms:

(Forall (?Self ?Time)
        (<=> (Active ?Time 2-2-Closed-Feedwater-Heater-System ?Self)
             (And (2-2-Closed-Feedwater-Heater-System ?Self)
                  (Active ?Time System-Model ?Self))))

(Attribute-Function-Of Cls-Fwt-Htr
                       2-2-Closed-Feedwater-Heater-System)

(Attribute-Function-Of Chtr-Cv 2-2-Closed-Feedwater-Heater-System)

(Attribute-Function-Of Ht-Xchg-Prcs
                       2-2-Closed-Feedwater-Heater-System)

(Inherited-Facet-Value Slot-Value-Type
                       Power-System-With-Extraction-Turbines
                       Chtr-System
                       2-2-Closed-Feedwater-Heater-System)

(=> (Power-System-With-Extraction-Turbines ?Self)
    (And (Value-Cardinality ?Self Sgen-System 1)
         (Value-Type ?Self
                     Sgen-System
                     Steam-Generator-With-Reheat-System)
         (Value-Cardinality ?Self Sgen-System 1)
         (Value-Cardinality ?Self Xtbn-System1 1)
         (Value-Type ?Self Xtbn-System1 Extraction-Turbine-System)
         (Value-Cardinality ?Self Xtbn-System1 1)
         (Value-Cardinality ?Self Xtbn-System2 1)
         (Value-Type ?Self Xtbn-System2 Extraction-Turbine-System)
         (Value-Cardinality ?Self Xtbn-System2 1)
         (Value-Cardinality ?Self Cnd-System 1)
         (Value-Type ?Self
                     Cnd-System
                     Condensor-With-Heat-Transfer-System)
         (Value-Cardinality ?Self Cnd-System 1)
         (Value-Cardinality ?Self Pmp-System1 1)
         (Value-Type ?Self Pmp-System1 Pump-System)
         (Value-Cardinality ?Self Pmp-System1 1)
         (Value-Cardinality ?Self Ohtr-System 1)
         (Value-Type ?Self
                     Ohtr-System
                     3-1-Open-Feedwater-Heater-System)
         (Value-Cardinality ?Self Ohtr-System 1)
         (Value-Cardinality ?Self Pmp-System2 1)
         (Value-Type ?Self Pmp-System2 Pump-System)
         (Value-Cardinality ?Self Pmp-System2 1)
         (Value-Cardinality ?Self Chtr-System 1)
         (Value-Type ?Self
                     Chtr-System
                     2-2-Closed-Feedwater-Heater-System)
         (Value-Cardinality ?Self Chtr-System 1)
         (Value-Cardinality ?Self Trp-System 1)
         (Value-Type ?Self Trp-System Nozzle-System)
         (Value-Cardinality ?Self Trp-System 1)
         (Value-Cardinality ?Self Sgen-Xtbn1-Junction 1)
         (Value-Type ?Self Sgen-Xtbn1-Junction Stream-Junction)
         (Value-Cardinality ?Self Sgen-Xtbn1-Junction 1)
         (Value-Cardinality ?Self Xtbn1-Chtr-Junction 1)
         (Value-Type ?Self Xtbn1-Chtr-Junction Stream-Junction)
         (Value-Cardinality ?Self Xtbn1-Chtr-Junction 1)
         (Value-Cardinality ?Self Xtbn1-Sgen-Junction 1)
         (Value-Type ?Self Xtbn1-Sgen-Junction Stream-Junction)
         (Value-Cardinality ?Self Xtbn1-Sgen-Junction 1)
         (Value-Cardinality ?Self Sgen-Xtbn2-Junction 1)
         (Value-Type ?Self Sgen-Xtbn2-Junction Stream-Junction)
         (Value-Cardinality ?Self Sgen-Xtbn2-Junction 1)
         (Value-Cardinality ?Self Xtbn2-Ohtr-Junction 1)
         (Value-Type ?Self Xtbn2-Ohtr-Junction Stream-Junction)
         (Value-Cardinality ?Self Xtbn2-Ohtr-Junction 1)
         (Value-Cardinality ?Self Xtbn2-Cnd-Junction 1)
         (Value-Type ?Self Xtbn2-Cnd-Junction Stream-Junction)
         (Value-Cardinality ?Self Xtbn2-Cnd-Junction 1)
         (Value-Cardinality ?Self Cnd-Pmp1-Junction 1)
         (Value-Type ?Self Cnd-Pmp1-Junction Stream-Junction)
         (Value-Cardinality ?Self Cnd-Pmp1-Junction 1)
         (Value-Cardinality ?Self Pmp1-Ohtr-Junction 1)
         (Value-Type ?Self Pmp1-Ohtr-Junction Stream-Junction)
         (Value-Cardinality ?Self Pmp1-Ohtr-Junction 1)
         (Value-Cardinality ?Self Ohtr-Pmp2-Junction 1)
         (Value-Type ?Self Ohtr-Pmp2-Junction Stream-Junction)
         (Value-Cardinality ?Self Ohtr-Pmp2-Junction 1)
         (Value-Cardinality ?Self Pmp2-Chtr-Junction 1)
         (Value-Type ?Self Pmp2-Chtr-Junction Stream-Junction)
         (Value-Cardinality ?Self Pmp2-Chtr-Junction 1)
         (Value-Cardinality ?Self Chtr-Sgen-Junction 1)
         (Value-Type ?Self Chtr-Sgen-Junction Stream-Junction)
         (Value-Cardinality ?Self Chtr-Sgen-Junction 1)
         (Value-Cardinality ?Self Chtr-Trp-Junction 1)
         (Value-Type ?Self Chtr-Trp-Junction Stream-Junction)
         (Value-Cardinality ?Self Chtr-Trp-Junction 1)
         (Value-Cardinality ?Self Trp-Ohtr-Junction 1)
         (Value-Type ?Self Trp-Ohtr-Junction Stream-Junction)
         (Value-Cardinality ?Self Trp-Ohtr-Junction 1)
         (Connected-Terminals (Sgen-Xtbn1-Junction ?Self)
                              (Outlet-Stream1 
                                  (Sgen-Cv (Sgen-System ?Self))))
         (Connected-Terminals (Sgen-Xtbn1-Junction ?Self)
                              (Inlet-Stream (Xtbn-Cv 
                                                (Xtbn-System1 ?Self))))
         (Connected-Terminals 
             (Xtbn1-Chtr-Junction ?Self)
             (Outlet-Stream2 (Xtbn-Cv (Xtbn-System1 ?Self))))
         (Connected-Terminals (Xtbn1-Chtr-Junction ?Self)
                              (Inlet-Stream2 (Chtr-Cv 
                                                 (Chtr-System ?Self))))
         (Connected-Terminals 
             (Xtbn1-Sgen-Junction ?Self)
             (Outlet-Stream1 (Xtbn-Cv (Xtbn-System1 ?Self))))
         (Connected-Terminals (Xtbn1-Sgen-Junction ?Self)
                              (Inlet-Stream2 (Sgen-Cv 
                                                 (Sgen-System ?Self))))
         (Connected-Terminals (Sgen-Xtbn2-Junction ?Self)
                              (Outlet-Stream2 
                                  (Sgen-Cv (Sgen-System ?Self))))
         (Connected-Terminals (Sgen-Xtbn2-Junction ?Self)
                              (Inlet-Stream (Xtbn-Cv 
                                                (Xtbn-System2 ?Self))))
         (Connected-Terminals 
             (Xtbn2-Ohtr-Junction ?Self)
             (Outlet-Stream2 (Xtbn-Cv (Xtbn-System2 ?Self))))
         (Connected-Terminals 
             (Xtbn2-Ohtr-Junction ?Self)
             (Inlet-Stream2 (Fwt-Htr-Cv (Ohtr-System ?Self))))
         (Connected-Terminals 
             (Xtbn2-Cnd-Junction ?Self)
             (Outlet-Stream1 (Xtbn-Cv (Xtbn-System2 ?Self))))
         (Connected-Terminals (Xtbn2-Cnd-Junction ?Self)
                              (Inlet-Stream (Cndsr-Cv (Cnd-System ?Self))))
         (Connected-Terminals (Cnd-Pmp1-Junction ?Self)
                              (Outlet-Stream (Cndsr-Cv 
                                                 (Cnd-System ?Self))))
         (Connected-Terminals (Cnd-Pmp1-Junction ?Self)
                              (Inlet-Stream (Pmp-Cv (Pmp-System1 ?Self))))
         (Connected-Terminals (Pmp1-Ohtr-Junction ?Self)
                              (Outlet-Stream (Pmp-Cv (Pmp-System1 ?Self))))
         (Connected-Terminals 
             (Pmp1-Ohtr-Junction ?Self)
             (Inlet-Stream1 (Fwt-Htr-Cv (Ohtr-System ?Self))))
         (Connected-Terminals 
             (Ohtr-Pmp2-Junction ?Self)
             (Outlet-Stream (Fwt-Htr-Cv (Ohtr-System ?Self))))
         (Connected-Terminals (Ohtr-Pmp2-Junction ?Self)
                              (Inlet-Stream (Pmp-Cv (Pmp-System2 ?Self))))
         (Connected-Terminals (Pmp2-Chtr-Junction ?Self)
                              (Outlet-Stream (Pmp-Cv (Pmp-System2 ?Self))))
         (Connected-Terminals (Pmp2-Chtr-Junction ?Self)
                              (Inlet-Stream1 (Chtr-Cv 
                                                 (Chtr-System ?Self))))
         (Connected-Terminals (Chtr-Sgen-Junction ?Self)
                              (Outlet-Stream1 
                                  (Chtr-Cv (Chtr-System ?Self))))
         (Connected-Terminals (Chtr-Sgen-Junction ?Self)
                              (Inlet-Stream1 (Sgen-Cv 
                                                 (Sgen-System ?Self))))
         (Connected-Terminals (Chtr-Trp-Junction ?Self)
                              (Outlet-Stream2 
                                  (Chtr-Cv (Chtr-System ?Self))))
         (Connected-Terminals (Chtr-Trp-Junction ?Self)
                              (Inlet-Stream (Nzl-Cv (Trp-System ?Self))))
         (Connected-Terminals (Trp-Ohtr-Junction ?Self)
                              (Outlet-Stream (Nzl-Cv (Trp-System ?Self))))
         (Connected-Terminals 
             (Trp-Ohtr-Junction ?Self)
             (Inlet-Stream3 (Fwt-Htr-Cv (Ohtr-System ?Self))))))

(=> (Chtr-System $X $Y) (2-2-Closed-Feedwater-Heater-System $Y))