(Inherited-Facet-Value
Slot-Documentation
Turbine-System
Tbn-Cv
The Control Volume Associated With The Turbine In The Turbine-System)
(Substance-In (Outlet-Stream (Tbn-Cv ?Self)) (Water-In-Tbn ?Self))
(Substance-In (Inlet-Stream (Tbn-Cv ?Self)) (Water-In-Tbn ?Self))
(Substance-In (Tbn-Cv ?Self) (Water-In-Tbn ?Self))
(Process-Cv (Expsn-Prcs ?Self) (Tbn-Cv ?Self))
(Component-Cv (Tbn ?Self) (Tbn-Cv ?Self))
(Cv-Component (Tbn-Cv ?Self) (Tbn ?Self))
(Inherited-Facet-Value Slot-Value-Type
Turbine-System
Tbn-Cv
1-1-Control-Volume)
(Inherited-Facet-Value Slot-Cardinality Turbine-System Tbn-Cv 1)
(Has-Attribute-Function Turbine-System Tbn-Cv)
(Slot-Documentation
Turbine-System
Tbn-Cv
The Control Volume Associated With The Turbine In The Turbine-System)
(=> (Turbine-System ?Self)
(And (Value-Cardinality ?Self Tbn 1)
(Value-Type ?Self Tbn Simple-Turbine)
(Value-Cardinality ?Self Tbn 1)
(Value-Cardinality ?Self Tbn-Cv 1)
(Value-Type ?Self Tbn-Cv 1-1-Control-Volume)
(Value-Cardinality ?Self Tbn-Cv 1)
(Value-Cardinality ?Self Expsn-Prcs 1)
(Value-Type ?Self
Expsn-Prcs
Steady-Flow-Adiabatic-Expansion)
(Value-Cardinality ?Self Expsn-Prcs 1)
(Value-Cardinality ?Self Water-In-Tbn 1)
(Value-Type ?Self Water-In-Tbn Water)
(Value-Cardinality ?Self Water-In-Tbn 1)
(Cv-Component (Tbn-Cv ?Self) (Tbn ?Self))
(Component-Cv (Tbn ?Self) (Tbn-Cv ?Self))
(Process-Cv (Expsn-Prcs ?Self) (Tbn-Cv ?Self))
(Substance-In (Tbn-Cv ?Self) (Water-In-Tbn ?Self))
(Substance-In (Inlet-Stream (Tbn-Cv ?Self))
(Water-In-Tbn ?Self))
(Substance-In (Outlet-Stream (Tbn-Cv ?Self))
(Water-In-Tbn ?Self))))
(=> (Tbn-Cv $X $Y) (1-1-Control-Volume $Y))
(Connected-Terminals (Tbn-Cnd-Junction ?Self)
(Outlet-Stream (Tbn-Cv (Tbn-System ?Self))))
(Connected-Terminals (Blr-Tbn-Junction ?Self)
(Inlet-Stream (Tbn-Cv (Tbn-System ?Self))))
(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)))))))))
(=> (Power-System-Eight-One ?Self)
(And (Value-Cardinality ?Self Blr-System 1)
(Value-Type ?Self Blr-System Boiler-System)
(Value-Cardinality ?Self Blr-System 1)
(Value-Cardinality ?Self Tbn-System 1)
(Value-Type ?Self Tbn-System Turbine-System)
(Value-Cardinality ?Self Tbn-System 1)
(Value-Cardinality ?Self Cdnsr-System 1)
(Value-Type ?Self Cdnsr-System Condensor-System)
(Value-Cardinality ?Self Cdnsr-System 1)
(Value-Cardinality ?Self Pmp-System 1)
(Value-Type ?Self Pmp-System Pump-System)
(Value-Cardinality ?Self Pmp-System 1)
(Value-Cardinality ?Self Cnd-Pmp-Junction 1)
(Value-Type ?Self Cnd-Pmp-Junction Stream-Junction)
(Value-Cardinality ?Self Cnd-Pmp-Junction 1)
(Value-Cardinality ?Self Blr-Tbn-Junction 1)
(Value-Type ?Self Blr-Tbn-Junction Stream-Junction)
(Value-Cardinality ?Self Blr-Tbn-Junction 1)
(Value-Cardinality ?Self Tbn-Cnd-Junction 1)
(Value-Type ?Self Tbn-Cnd-Junction Stream-Junction)
(Value-Cardinality ?Self Tbn-Cnd-Junction 1)
(Value-Cardinality ?Self Pmp-Blr-Junction 1)
(Value-Type ?Self Pmp-Blr-Junction Stream-Junction)
(Value-Cardinality ?Self Pmp-Blr-Junction 1)
(Value-Cardinality ?Self Working-Fluid-In-Cycle 1)
(Value-Type ?Self Working-Fluid-In-Cycle Water)
(Value-Cardinality ?Self Working-Fluid-In-Cycle 1)
(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))))))
(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 (Tbn1-Sgen-Junction ?Self)
(Outlet-Stream (Tbn-Cv (Tbn-Sys1 ?Self))))
(Connected-Terminals (Sgen-Tbn1-Junction ?Self)
(Inlet-Stream (Tbn-Cv (Tbn-Sys1 ?Self))))
(=> (Power-System-With-Reheat ?Self)
(And (Value-Cardinality ?Self Sgen-Sys 1)
(Value-Type ?Self
Sgen-Sys
Steam-Generator-With-Reheat-System)
(Value-Cardinality ?Self Sgen-Sys 1)
(Value-Cardinality ?Self Tbn-Sys1 1)
(Value-Type ?Self Tbn-Sys1 Turbine-System)
(Value-Cardinality ?Self Tbn-Sys1 1)
(Value-Cardinality ?Self Tbn-Sys2 1)
(Value-Type ?Self Tbn-Sys2 Turbine-System)
(Value-Cardinality ?Self Tbn-Sys2 1)
(Value-Cardinality ?Self Cnd-Sys 1)
(Value-Type ?Self
Cnd-Sys
Condensor-With-Heat-Transfer-System)
(Value-Cardinality ?Self Cnd-Sys 1)
(Value-Cardinality ?Self Pmp-Sys 1)
(Value-Type ?Self Pmp-Sys Pump-System)
(Value-Cardinality ?Self Pmp-Sys 1)
(Value-Cardinality ?Self Sgen-Tbn1-Junction 1)
(Value-Type ?Self Sgen-Tbn1-Junction Stream-Junction)
(Value-Cardinality ?Self Sgen-Tbn1-Junction 1)
(Value-Cardinality ?Self Tbn1-Sgen-Junction 1)
(Value-Type ?Self Tbn1-Sgen-Junction Stream-Junction)
(Value-Cardinality ?Self Tbn1-Sgen-Junction 1)
(Value-Cardinality ?Self Sgen-Tbn2-Junction 1)
(Value-Type ?Self Sgen-Tbn2-Junction Stream-Junction)
(Value-Cardinality ?Self Sgen-Tbn2-Junction 1)
(Value-Cardinality ?Self Tbn2-Cnd-Junction 1)
(Value-Type ?Self Tbn2-Cnd-Junction Stream-Junction)
(Value-Cardinality ?Self Tbn2-Cnd-Junction 1)
(Value-Cardinality ?Self Cp-Junction 1)
(Value-Type ?Self Cp-Junction Stream-Junction)
(Value-Cardinality ?Self Cp-Junction 1)
(Value-Cardinality ?Self Pmp-Sgen-Junction 1)
(Value-Type ?Self Pmp-Sgen-Junction Stream-Junction)
(Value-Cardinality ?Self Pmp-Sgen-Junction 1)
(Connected-Terminals (Sgen-Tbn1-Junction ?Self)
(Outlet-Stream1 (Sgen-Cv (Sgen-Sys ?Self))))
(Connected-Terminals (Sgen-Tbn1-Junction ?Self)
(Inlet-Stream (Tbn-Cv (Tbn-Sys1 ?Self))))
(Connected-Terminals (Tbn1-Sgen-Junction ?Self)
(Outlet-Stream (Tbn-Cv (Tbn-Sys1 ?Self))))
(Connected-Terminals (Tbn1-Sgen-Junction ?Self)
(Inlet-Stream2 (Sgen-Cv (Sgen-Sys ?Self))))
(Connected-Terminals (Sgen-Tbn2-Junction ?Self)
(Outlet-Stream2 (Sgen-Cv (Sgen-Sys ?Self))))
(Connected-Terminals (Sgen-Tbn2-Junction ?Self)
(Inlet-Stream (Tbn-Cv (Tbn-Sys2 ?Self))))
(Connected-Terminals (Tbn2-Cnd-Junction ?Self)
(Outlet-Stream (Tbn-Cv (Tbn-Sys2 ?Self))))
(Connected-Terminals (Tbn2-Cnd-Junction ?Self)
(Inlet-Stream (Cndsr-Cv (Cnd-Sys ?Self))))
(Connected-Terminals (Cp-Junction ?Self)
(Outlet-Stream (Cndsr-Cv (Cnd-Sys ?Self))))
(Connected-Terminals (Cp-Junction ?Self)
(Inlet-Stream (Pmp-Cv (Pmp-Sys ?Self))))
(Connected-Terminals (Pmp-Sgen-Junction ?Self)
(Outlet-Stream (Pmp-Cv (Pmp-Sys ?Self))))
(Connected-Terminals (Pmp-Sgen-Junction ?Self)
(Inlet-Stream1 (Sgen-Cv (Sgen-Sys ?Self))))))