Class POWER-SYSTEM-WITH-EXTRACTION-TURBINES

Slots on this class:

Documentation:
the system consisting of a steam-generator/reheater, first-stage and second-stage extraction turbines, a condenser, a pump, an open heater, a second pump, and a closed heater, and a trap, modeled as a nozzle
Subclass-Of: Entity, Thermal-cycle
Arity: 1
Has-Attribute-Function:
Chtr-sgen-junction, Chtr-system, Chtr-trp-junction, Cnd-pmp1-junction, Cnd-system, Ohtr-pmp2-junction, Ohtr-system, Pmp-system1, Pmp-system2, Pmp1-ohtr-junction, Pmp2-chtr-junction, Sgen-system, Sgen-xtbn1-junction, Sgen-xtbn2-junction, Trp-ohtr-junction, Trp-system, Xtbn-system1, Xtbn-system2, Xtbn1-chtr-junction, Xtbn1-sgen-junction, Xtbn2-cnd-junction, Xtbn2-ohtr-junction

Slots on instances of this class:

Chtr-Sgen-Junction:
Slot-Cardinality: 1
Slot-Documentation:
a stream junction
Slot-Value-Type: Stream-junction
Chtr-System:
Slot-Cardinality: 1
Slot-Documentation:
the closed feedwater heater subsystem of the power-system-with-extraction-turbine power cycle
Slot-Value-Type: 2-2-closed-feedwater-heater-system
Chtr-Trp-Junction:
Slot-Cardinality: 1
Slot-Documentation:
a stream junction
Slot-Value-Type: Stream-junction
Cnd-Pmp1-Junction:
Slot-Cardinality: 1
Slot-Documentation:
a stream junction
Slot-Value-Type: Stream-junction
Cnd-System:
Slot-Cardinality: 1
Slot-Documentation:
the condensor subsystem of the power-system-with-extraction-turbine power cycle
Slot-Value-Type: Condensor-with-heat-transfer-system
Ohtr-Pmp2-Junction:
Slot-Cardinality: 1
Slot-Documentation:
a stream junction
Slot-Value-Type: Stream-junction
Ohtr-System:
Slot-Cardinality: 1
Slot-Documentation:
the open feedwater heater subsystem of the power-system-with-extraction-turbine power cycle
Slot-Value-Type: 3-1-open-feedwater-heater-system
Pmp-System1:
Slot-Cardinality: 1
Slot-Documentation:
the first pump subsystem of the power-system-with-extraction-turbine power cycle
Slot-Value-Type: Pump-system
Pmp-System2:
Slot-Cardinality: 1
Slot-Documentation:
the second pump subsystem of the power-system-with-extraction-turbine power cycle
Slot-Value-Type: Pump-system
Pmp1-Ohtr-Junction:
Slot-Cardinality: 1
Slot-Documentation:
a stream junction
Slot-Value-Type: Stream-junction
Pmp2-Chtr-Junction:
Slot-Cardinality: 1
Slot-Documentation:
a stream junction
Slot-Value-Type: Stream-junction
Sgen-System:
Slot-Cardinality: 1
Slot-Documentation:
the steam generator subsystem of the power-system-with-extraction-turbine power cycle
Slot-Value-Type: Steam-generator-with-reheat-system
Sgen-Xtbn1-Junction:
Slot-Cardinality: 1
Slot-Documentation:
a stream junction
Slot-Value-Type: Stream-junction
Sgen-Xtbn2-Junction:
Slot-Cardinality: 1
Slot-Documentation:
a stream junction
Slot-Value-Type: Stream-junction
Trp-Ohtr-Junction:
Slot-Cardinality: 1
Slot-Documentation:
a stream junction
Slot-Value-Type: Stream-junction
Trp-System:
Slot-Cardinality: 1
Slot-Documentation:
the trap subsystem of the power-system-with-extraction-turbine power cycle
Slot-Value-Type: Nozzle-system
Xtbn-System1:
Slot-Cardinality: 1
Slot-Documentation:
the first-stage extraction turbine subsystem of the power-system-with-extraction-turbine power cycle
Slot-Value-Type: Extraction-turbine-system
Xtbn-System2:
Slot-Cardinality: 1
Slot-Documentation:
the second-stage extraction turbine subsystem of the power-system-with-extraction-turbine power cycle
Slot-Value-Type: Extraction-turbine-system
Xtbn1-Chtr-Junction:
Slot-Cardinality: 1
Slot-Documentation:
a stream junction
Slot-Value-Type: Stream-junction
Xtbn1-Sgen-Junction:
Slot-Cardinality: 1
Slot-Documentation:
a stream junction
Slot-Value-Type: Stream-junction
Xtbn2-Cnd-Junction:
Slot-Cardinality: 1
Slot-Documentation:
a stream junction
Slot-Value-Type: Stream-junction
Xtbn2-Ohtr-Junction:
Slot-Cardinality: 1
Slot-Documentation:
a stream junction
Slot-Value-Type: Stream-junction

Axioms:

(Forall (?Self ?Time)
        (<=> (Active ?Time
                     Power-System-With-Extraction-Turbines
                     ?Self)
             (And (Power-System-With-Extraction-Turbines ?Self)
                  (Active ?Time Thermal-Cycle ?Self))))

(=> (Power-System-With-Extraction-Turbines ?Self)
    (And (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))))))