Class POWER-SYSTEM-EIGHT-ONE

Slots on this class:

Documentation:
the system consisting of a boiler, a simple turbine, a condenser, and a pump
Subclass-Of: Entity, Thermal-cycle
Arity: 1
Has-Attribute-Function:
Blr-system, Blr-tbn-junction, Cdnsr-system, Cnd-pmp-junction, Pmp-blr-junction, Pmp-system, Tbn-cnd-junction, Tbn-system, Working-fluid-in-cycle

Slots on instances of this class:

Blr-System:
Slot-Cardinality: 1
Slot-Documentation:
the boiler subsystem of power-system-eight-one power cycle
Slot-Value-Type: Boiler-system
Blr-Tbn-Junction:
Slot-Cardinality: 1
Slot-Documentation:
a stream junction
Slot-Value-Type: Stream-junction
Cdnsr-System:
Slot-Cardinality: 1
Slot-Documentation:
the condensor subsystem of the power-system-eight-one power cycle
Slot-Value-Type: Condensor-system
Cnd-Pmp-Junction:
Slot-Cardinality: 1
Slot-Documentation:
a stream junction
Slot-Value-Type: Stream-junction
Pmp-Blr-Junction:
Slot-Cardinality: 1
Slot-Documentation:
a stream junction
Slot-Value-Type: Stream-junction
Pmp-System:
Slot-Cardinality: 1
Slot-Documentation:
the pump subsystem of the power-system-eight-one power cycle
Slot-Value-Type: Pump-system
Tbn-Cnd-Junction:
Slot-Cardinality: 1
Slot-Documentation:
a stream junction
Slot-Value-Type: Stream-junction
Tbn-System:
Slot-Cardinality: 1
Slot-Documentation:
the turbine subsystem of power-system-eight-one power cycle
Slot-Value-Type: Turbine-system
Working-Fluid-In-Cycle:
Slot-Cardinality: 1
Slot-Documentation:
water vapor
Slot-Value-Type: Water

Axioms:

(Forall 
    (?Self ?Time)
    (=> (Active ?Time Power-System-Eight-One ?Self)
        (And (= (Lambda (?T)
                        (If (= ?T ?Time)
                            (Value-At (Thermal-Efficiency ?Self) ?T)))
                (/ (- (- (Lambda 
                             (?T)
                             (If (= ?T ?Time)
                                 (Value-At 
                                     (Specific-Enthalpy 
                                         (Outlet-Stream 
                                             (Blr-Cv (Blr-System ?Self))))
                                     ?T)))
                         (Lambda 
                             (?T)
                             (If (= ?T ?Time)
                                 (Value-At 
                                     (Specific-Enthalpy 
                                         (Outlet-Stream 
                                             (Tbn-Cv (Tbn-System ?Self))))
                                     ?T))))
                      (- (Lambda 
                             (?T)
                             (If (= ?T ?Time)
                                 (Value-At 
                                     (Specific-Enthalpy 
                                         (Outlet-Stream 
                                             (Pmp-Cv (Pmp-System ?Self))))
                                     ?T)))
                         (Lambda 
                             (?T)
                             (If (= ?T ?Time)
                                 (Value-At 
                                     (Specific-Enthalpy 
                                         (Outlet-Stream 
                                             (Hf-Cv (Cdnsr-System ?Self))))
                                     ?T)))))
                   (- (Lambda 
                          (?T)
                          (If (= ?T ?Time)
                              (Value-At 
                                  (Specific-Enthalpy 
                                      (Outlet-Stream 
                                          (Blr-Cv (Blr-System ?Self))))
                                  ?T)))
                      (Lambda 
                          (?T)
                          (If (= ?T ?Time)
                              (Value-At 
                                  (Specific-Enthalpy 
                                      (Outlet-Stream 
                                          (Pmp-Cv (Pmp-System ?Self))))
                                  ?T))))))
             (= (Lambda (?T)
                        (If (= ?T ?Time)
                            (Value-At (Back-Work-Ratio ?Self) ?T)))
                (/ (- (Lambda 
                          (?T)
                          (If (= ?T ?Time)
                              (Value-At 
                                  (Specific-Enthalpy 
                                      (Outlet-Stream 
                                          (Pmp-Cv (Pmp-System ?Self))))
                                  ?T)))
                      (Lambda 
                          (?T)
                          (If (= ?T ?Time)
                              (Value-At 
                                  (Specific-Enthalpy 
                                      (Outlet-Stream 
                                          (Hf-Cv (Cdnsr-System ?Self))))
                                  ?T))))
                   (- (Lambda 
                          (?T)
                          (If (= ?T ?Time)
                              (Value-At 
                                  (Specific-Enthalpy 
                                      (Outlet-Stream 
                                          (Blr-Cv (Blr-System ?Self))))
                                  ?T)))
                      (Lambda 
                          (?T)
                          (If (= ?T ?Time)
                              (Value-At 
                                  (Specific-Enthalpy 
                                      (Outlet-Stream 
                                          (Tbn-Cv (Tbn-System ?Self))))
                                  ?T))))))
             (= (Lambda 
                    (?T)
                    (If (= ?T ?Time)
                        (Value-At (Heat-Rate 
                                      (Htfr-Prcs (Blr-System ?Self)))
                                  ?T)))
                (* (Lambda 
                       (?T)
                       (If (= ?T ?Time)
                           (Value-At 
                               (Mass-Rate-In (Blr-Cv (Blr-System ?Self)))
                               ?T)))
                   (- (Lambda 
                          (?T)
                          (If (= ?T ?Time)
                              (Value-At 
                                  (Specific-Enthalpy 
                                      (Outlet-Stream 
                                          (Blr-Cv (Blr-System ?Self))))
                                  ?T)))
                      (Lambda 
                          (?T)
                          (If (= ?T ?Time)
                              (Value-At 
                                  (Specific-Enthalpy 
                                      (Outlet-Stream 
                                          (Pmp-Cv (Pmp-System ?Self))))
                                  ?T))))
                   (/ 1 3600000)))
             (= (Lambda (?T)
                        (If (= ?T ?Time)
                            (Value-At (Cycle-Mass-Rate ?Self) ?T)))
                (* 3.6
                   (/ (Lambda (?T)
                              (If (= ?T ?Time)
                                  (Value-At (Net-Work-Output-Rate ?Self)
                                            ?T)))
                      (- (- (Lambda 
                                (?T)
                                (If (= ?T ?Time)
                                    (Value-At 
                                        (Specific-Enthalpy 
                                            (Outlet-Stream 
                                                (Blr-Cv 
                                                    (Blr-System ?Self))))
                                        ?T)))
                            (Lambda 
                                (?T)
                                (If (= ?T ?Time)
                                    (Value-At 
                                        (Specific-Enthalpy 
                                            (Outlet-Stream 
                                                (Tbn-Cv 
                                                    (Tbn-System ?Self))))
                                        ?T))))
                         (- (Lambda 
                                (?T)
                                (If (= ?T ?Time)
                                    (Value-At 
                                        (Specific-Enthalpy 
                                            (Outlet-Stream 
                                                (Pmp-Cv 
                                                    (Pmp-System ?Self))))
                                        ?T)))
                            (Lambda 
                                (?T)
                                (If (= ?T ?Time)
                                    (Value-At 
                                        (Specific-Enthalpy 
                                            (Outlet-Stream 
                                                (Hf-Cv (Cdnsr-System ?Self))))
                                        ?T))))))))
             (= (Lambda (?T)
                        (If (= ?T ?Time)
                            (Value-At (Cycle-Mass-Rate ?Self) ?T)))
                (Lambda 
                    (?T)
                    (If (= ?T ?Time)
                        (Value-At (Mass-Rate-In 
                                      (Blr-Cv (Blr-System ?Self)))
                                  ?T))))
             (= (Lambda (?T)
                        (If (= ?T ?Time)
                            (Value-At (Cycle-Mass-Rate ?Self) ?T)))
                (Lambda 
                    (?T)
                    (If (= ?T ?Time)
                        (Value-At (Mass-Rate-In 
                                      (Tbn-Cv (Tbn-System ?Self)))
                                  ?T))))
             (= (Lambda 
                    (?T)
                    (If (= ?T ?Time)
                        (Value-At 
                            (Condensor-Heat-Out-Rate 
                                (Cdnsr-System ?Self))
                            ?T)))
                (* (Lambda 
                       (?T)
                       (If (= ?T ?Time)
                           (Value-At 
                               (Cycle-Mass-Rate 
                                   (Hf-Cv (Cdnsr-System ?Self)))
                               ?T)))
                   (- (Lambda 
                          (?T)
                          (If (= ?T ?Time)
                              (Value-At 
                                  (Specific-Enthalpy 
                                      (Outlet-Stream 
                                          (Tbn-Cv (Tbn-System ?Self))))
                                  ?T)))
                      (Lambda 
                          (?T)
                          (If (= ?T ?Time)
                              (Value-At 
                                  (Specific-Enthalpy 
                                      (Outlet-Stream 
                                          (Hf-Cv (Cdnsr-System ?Self))))
                                  ?T)))))))))

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

(=> (Power-System-Eight-One ?Self)
    (And (Connected-Terminals (Blr-Tbn-Junction ?Self)
                              (Outlet-Stream (Blr-Cv (Blr-System ?Self))))
         (Connected-Terminals (Blr-Tbn-Junction ?Self)
                              (Inlet-Stream (Tbn-Cv (Tbn-System ?Self))))
         (Connected-Terminals (Tbn-Cnd-Junction ?Self)
                              (Outlet-Stream (Tbn-Cv (Tbn-System ?Self))))
         (Connected-Terminals (Tbn-Cnd-Junction ?Self)
                              (Inlet-Stream (Hf-Cv (Cdnsr-System ?Self))))
         (Connected-Terminals (Cnd-Pmp-Junction ?Self)
                              (Outlet-Stream (Hf-Cv (Cdnsr-System ?Self))))
         (Connected-Terminals (Cnd-Pmp-Junction ?Self)
                              (Inlet-Stream (Pmp-Cv (Pmp-System ?Self))))
         (Connected-Terminals (Pmp-Blr-Junction ?Self)
                              (Outlet-Stream (Pmp-Cv (Pmp-System ?Self))))
         (Connected-Terminals (Pmp-Blr-Junction ?Self)
                              (Inlet-Stream (Blr-Cv (Blr-System ?Self))))))