Class POWER-SYSTEM-WITH-REHEAT

Slots on this class:

Documentation:
the system consisting of a steam-generator/reheater, first-stage and second-stage turbines, a condenser, and a pump
Instance-Of: Class
Subclass-Of: Entity, Thermal-cycle
Arity: 1
Cnd-Sys:
Slot-Documentation:
the condensor subsystem of the power-system-with-reheat power cycle
Cp-Junction:
Slot-Documentation: a stream junction
Has-Attribute-Function:
Cnd-sys, Cp-junction, Pmp-sgen-junction, Pmp-sys, Sgen-sys, Sgen-tbn1-junction, Sgen-tbn2-junction, Tbn-sys1, Tbn-sys2, Tbn1-sgen-junction, Tbn2-cnd-junction
Pmp-Sgen-Junction:
Slot-Documentation: a stream junction
Pmp-Sys:
Slot-Documentation:
the pump subsystem of the power-system-with-reheat power cycle
Sgen-Sys:
Slot-Documentation:
the steam generator with reheat subsystem of the power-system-with-reheat power cycle
Sgen-Tbn1-Junction:
Slot-Documentation: a stream junction
Sgen-Tbn2-Junction:
Slot-Documentation: a stream junction
Tbn-Sys1:
Slot-Documentation:
the first-stage turbine subsystem of the power-system-with-reheat power cycle
Tbn-Sys2:
Slot-Documentation:
the second-stage turbine subsystem of the power-system-with-reheat power cycle
Tbn1-Sgen-Junction:
Slot-Documentation: a stream junction
Tbn2-Cnd-Junction:
Slot-Documentation: a stream junction

Slots on instances of this class:

Cnd-Sys:
Slot-Cardinality: 1
Slot-Documentation:
the condensor subsystem of the power-system-with-reheat power cycle
Slot-Value-Type: Condensor-with-heat-transfer-system
Cp-Junction:
Slot-Cardinality: 1
Slot-Documentation: a stream junction
Slot-Value-Type: Stream-junction
Pmp-Sgen-Junction:
Slot-Cardinality: 1
Slot-Documentation: a stream junction
Slot-Value-Type: Stream-junction
Pmp-Sys:
Slot-Cardinality: 1
Slot-Documentation:
the pump subsystem of the power-system-with-reheat power cycle
Slot-Value-Type: Pump-system
Sgen-Sys:
Slot-Cardinality: 1
Slot-Documentation:
the steam generator with reheat subsystem of the power-system-with-reheat power cycle
Slot-Value-Type: Steam-generator-with-reheat-system
Sgen-Tbn1-Junction:
Slot-Cardinality: 1
Slot-Documentation: a stream junction
Slot-Value-Type: Stream-junction
Sgen-Tbn2-Junction:
Slot-Cardinality: 1
Slot-Documentation: a stream junction
Slot-Value-Type: Stream-junction
Tbn-Sys1:
Slot-Cardinality: 1
Slot-Documentation:
the first-stage turbine subsystem of the power-system-with-reheat power cycle
Slot-Value-Type: Turbine-system
Tbn-Sys2:
Slot-Cardinality: 1
Slot-Documentation:
the second-stage turbine subsystem of the power-system-with-reheat power cycle
Slot-Value-Type: Turbine-system
Tbn1-Sgen-Junction:
Slot-Cardinality: 1
Slot-Documentation: a stream junction
Slot-Value-Type: Stream-junction
Tbn2-Cnd-Junction:
Slot-Cardinality: 1
Slot-Documentation: a stream junction
Slot-Value-Type: Stream-junction

Axioms:

(Connected-Terminals (Pmp-Sgen-Junction ?Self)
                     (Inlet-Stream1 (Sgen-Cv (Sgen-Sys ?Self))))

(Connected-Terminals (Pmp-Sgen-Junction ?Self)
                     (Outlet-Stream (Pmp-Cv (Pmp-Sys ?Self))))

(Connected-Terminals (Cp-Junction ?Self)
                     (Inlet-Stream (Pmp-Cv (Pmp-Sys ?Self))))

(Connected-Terminals (Cp-Junction ?Self)
                     (Outlet-Stream (Cndsr-Cv (Cnd-Sys ?Self))))

(Connected-Terminals (Tbn2-Cnd-Junction ?Self)
                     (Inlet-Stream (Cndsr-Cv (Cnd-Sys ?Self))))

(Connected-Terminals (Tbn2-Cnd-Junction ?Self)
                     (Outlet-Stream (Tbn-Cv (Tbn-Sys2 ?Self))))

(Connected-Terminals (Sgen-Tbn2-Junction ?Self)
                     (Inlet-Stream (Tbn-Cv (Tbn-Sys2 ?Self))))

(Connected-Terminals (Sgen-Tbn2-Junction ?Self)
                     (Outlet-Stream2 (Sgen-Cv (Sgen-Sys ?Self))))

(Connected-Terminals (Tbn1-Sgen-Junction ?Self)
                     (Inlet-Stream2 (Sgen-Cv (Sgen-Sys ?Self))))

(Connected-Terminals (Tbn1-Sgen-Junction ?Self)
                     (Outlet-Stream (Tbn-Cv (Tbn-Sys1 ?Self))))

(Connected-Terminals (Sgen-Tbn1-Junction ?Self)
                     (Inlet-Stream (Tbn-Cv (Tbn-Sys1 ?Self))))

(Connected-Terminals (Sgen-Tbn1-Junction ?Self)
                     (Outlet-Stream1 (Sgen-Cv (Sgen-Sys ?Self))))

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

Other Related Axioms:

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

(Attribute-Function-Of Sgen-Sys Power-System-With-Reheat)

(Attribute-Function-Of Tbn-Sys1 Power-System-With-Reheat)

(Attribute-Function-Of Tbn-Sys2 Power-System-With-Reheat)

(Attribute-Function-Of Cnd-Sys Power-System-With-Reheat)

(Attribute-Function-Of Pmp-Sys Power-System-With-Reheat)

(Attribute-Function-Of Sgen-Tbn1-Junction Power-System-With-Reheat)

(Attribute-Function-Of Tbn1-Sgen-Junction Power-System-With-Reheat)

(Attribute-Function-Of Sgen-Tbn2-Junction Power-System-With-Reheat)

(Attribute-Function-Of Tbn2-Cnd-Junction Power-System-With-Reheat)

(Attribute-Function-Of Cp-Junction Power-System-With-Reheat)

(Attribute-Function-Of Pmp-Sgen-Junction Power-System-With-Reheat)