A thermodynamics domain theory.
Dme
Cml
Unary-Scalar-Functions
Physical-Quantities
Frame-Ontology
Kif-Relations
Kif-Sets
Kif-Lists
Kif-Numbers
Abstract-Algebra
Frame-Ontology ...
Standard-Units
Physical-Quantities ...
Standard-Units ...
Cml ...
No theories include Thermodynamics.
1-1-Control-Volume-Op-Mode
Internally-Reversible-Adiabatic-Process
Pump-Power-Input-Per-Mass-Approximation
2-1-Open-Feedwater-Heater-System
2-2-Closed-Feedwater-Heater-System
2d-Stream-Operating-Mode
Non-Saturated-Water-Stream-Enthalpy
Saturated-Water-Stream-Enthalpy
Saturated-Water-Stream-Entropy
Saturated-Water-Stream-Specific-Volume
2d-Stream-Mass-Flow-Rate
2d-Stream-Enthalpy-Rate
2d-Stream-Potential-Energy
2d-Stream-Kinetic-Energy
3-1-Open-Feedwater-Heater-System
Air-Operating-Mode
Control-Volume-Inlet-Stream-Thermodynamic-State
Control-Volume-Outlet-Stream-Thermodynamic-State
Boiler-System
Compressor-System
Control-Volume-Op-Mode
Cycle-Heat-Input
Cycle-Work-Output
Control-Volume-Inlet-Stream-Ideal-Gas-Law
Control-Volume-Outlet-Stream-Ideal-Gas-Law
Control-Volume-Inlet-Stream-Thermodynamic-State
Control-Volume-Outlet-Stream-Thermodynamic-State
Control-Volume-Negligible-Pe-Change
Control-Volume-Negligible-Ke-Change
Earth-Bound-Model
2d-Stream-Potential-Energy
Extraction-Turbine-System
Nozzle-System
Pump-Operating-Mode
Pump-Power-Input-Per-Mass-Approximation
Pump-System
Steam-Generator-With-Reheat-System
Stream-Junction
Substance
Fuel
Water
Air
Substance-Container
Stream
2d-Stream
Control-Volume
1-Input-Control-Volume
1-1-Control-Volume
1-2-Control-Volume
1-Output-Control-Volume
1-1-Control-Volume
2-1-Control-Volume
3-1-Control-Volume
2-Input-Control-Volume
3-Input-Control-Volume
3-1-Control-Volume
2-1-Control-Volume
2-2-Control-Volume
2-Output-Control-Volume
1-2-Control-Volume
2-2-Control-Volume
System-With-Condensor
Condensor-System
Condensor-With-Heat-Transfer-System
Thermal-Component-Op-Mode
Cycle-Heat-Input
Thermal-Cycle-Op-Mode
Cycle-Heat-Input
Cycle-Work-Output
Thermal-Process
Steady-State-Steady-Flow-Process
Steady-Flow-Adiabatic-Process
Steady-Flow-Isentropic-Process
Steady-Flow-Adiabatic-Heat-Exchange
Steady-Flow-Adiabatic-Expansion
Steady-Flow-Adiabatic-Compression
Steady-Flow-Throttling
Steady-Flow-Adiabatic-Mixing
Steady-Flow-Combustion-Process
Steady-Flow-In-Nozzle
Steady-Flow-In-Diffuser
Steady-Flow-Isobaric-Process
Steady-Flow-Isobaric-Heat-Transfer
Steady-Flow-Isothermal-Process
Steady-Flow-Heat-Transfer
Steady-Flow-Isobaric-Heat-Transfer
Steady-Flow-Expansion-Or-Compression
Steady-Flow-Expansion
Steady-Flow-Adiabatic-Expansion
Steady-Flow-Throttling
Steady-Flow-In-Nozzle
Steady-Flow-Compression
Steady-Flow-Adiabatic-Compression
Steady-Flow-In-Diffuser
Non-Steady-State-Flow-Process
Thermal-Process-Op-Mode
Cycle-Heat-Input
Cycle-Work-Output
Pump-Power-Input-Per-Mass-Approximation
Thermal-System
Thermal-Cycle
Power-System-Eight-One
Power-System-With-Reheat
Power-System-With-Extraction-Turbines
Thermal-Component
Port
1-Input-Thermal-Component
1-1-Port-Thermal-Component
Nozzle
Simple-Turbine
2-Port-Heat-Exchanger
Compressor
Pump
Pump
Boiler
1-2-Port-Thermal-Component
Extraction-Turbine
1-Output-Thermal-Component
1-1-Port-Thermal-Component ...
2-1-Port-Thermal-Component
2-1-Open-Feedwater-Heater
3-1-Port-Thermal-Component
3-1-Open-Feedwater-Heater
2-Input-Thermal-Component
3-Input-Thermal-Component
3-1-Port-Thermal-Component ...
2-1-Port-Thermal-Component ...
2-2-Port-Thermal-Component
2-2-Open-Feedwater-Heater
2-2-Closed-Feedwater-Heater
Steam-Generator-With-Reheat
2-Output-Thermal-Component
1-2-Port-Thermal-Component ...
2-2-Port-Thermal-Component ...
Fuel-Consuming-Component
Work-Consuming-Component
Compressor ...
Work-Producing-Component
Internal-Combustion-Engine
Turbine
Simple-Turbine
Extraction-Turbine
Heating-Component
Cooling-Component
Rotating-Component
Positive-Displacement-Component
Reciprocating-Component
Internal-Combustion-Engine
Turbine ...
Heat-Exchanger
2-Port-Heat-Exchanger
4-Port-Heat-Exchanger
Open-Feedwater-Heater
2-1-Open-Feedwater-Heater
2-2-Open-Feedwater-Heater
3-1-Open-Feedwater-Heater
2-2-Closed-Feedwater-Heater
Turbine-System
Water-Operating-Mode
Non-Saturated-Water-Stream-Enthalpy
Saturated-Water-Stream-Enthalpy
Saturated-Water-Stream-Entropy
Saturated-Water-Stream-Specific-Volume
The following constants were used from included theories:
The following constants were undefined:
False True Adiabatic-Throttling State-Temperature *Dead-State*
The SI dimension of amount, usually measured in moles.
The SI dimension of electric current.
The dimensionless dimension.
The SI dimension of length.
The SI dimension of luminosity.
The SI dimension of mass.
The SI dimension of temperature.
The SI dimension of time.
(= Mass-Rate-Dimension (/ Mass-Dimension Time-Dimension))
(= Velocity-Dimension (/ Length-Dimension Time-Dimension))
(= Area-Dimension (Expt Length-Dimension 2))
(= Volume-Dimension (Expt Length-Dimension 3))
(= Specific-Volume-Dimension (/ Volume-Dimension Mass-Dimension))
(= Energy-Dimension
(/ (* Mass-Dimension (Expt Length-Dimension 2))
(Expt Time-Dimension 2) ))
(= Specific-Energy-Dimension (/ Energy-Dimension Mass-Dimension))
(= Energy-Rate-Dimension (/ Energy-Dimension Time-Dimension))
(= Work-Dimension Energy-Dimension)
(= Power-Dimension (/ Work-Dimension Time-Dimension))
(= Entropy-Dimension (/ Energy-Dimension Temperature-Dimension))
(= Specific-Entropy-Dimension (/ Entropy-Dimension Mass-Dimension))
(= Entropy-Rate-Dimension (/ Entropy-Dimension Time-Dimension))
(= Pressure-Dimension (/ Mass-Dimension (* Length-Dimension (Expt Time-Dimension 2))) )
the dimension of mass/mole
(= Molecular-Weight-Dimension (/ Mass-Dimension Amount-Dimension))
(= Kg/Mol (/ Kilogram Mole))
the dimension of mass/volume
(= Density-Dimension (/ Mass-Dimension Volume-Dimension))
(= Kg/M^3 (/ Kilogram (Expt Meter 3)))
the dimension of acceleration
(= Acceleration-Dimension (/ Velocity-Dimension Time-Dimension))
(= M/S^2 (/ Meter (Expt Second 2)))
(= Frequency-Dimension (Expt Time-Dimension -1))
mutual-dependence is an n-ary operator. The meaning is notwell-defined right now. Eg: (mutual-dependence (stream-pressure
2d-stream-1) (stream-temperature 2d-stream-1) (specific-entropy
2d-stream-1) (specific-enthalpy 2d-stream-1) (specific-internal-energy 2d-stream-1) (specific-volume
2d-stream-1)) We don't know how to compute this yet. It will be a
call to an outside routine or a table lookup.
Computes the specific enthalpy from the temperature. Eg: (compute-air-thermodynamic-state (stream-temperature 2d-stream-1))
We don't know how to compute this yet. It will be a call to an
outside routine or a table lookup.
Computes the specific enthalpy of saturated vapor from the quality (0 or 1) and the pressure. Eg: (compute-saturated-vapor-entropy (stream-pressure (stream-involved ?self)) (quality (stream-involved
?self))) We don't know how to compute this yet. It will be a call to an outside routine or a table lookup.
Computes the specific entropy of saturated vapor from the quality (0 or 1) and the pressure.
Eg: (compute-saturated-vapor-entropy (stream-pressure (stream-involved ?self))
(quality (stream-involved ?self)))
We don't know how to compute this yet. It will be a call to an outside routine or a table lookup.
Computes the specific volume of saturated vapor from the quality (0 or 1) and the pressure.Eg: (compute-saturated-vapor-specific-volume (stream-pressure (stream-involved ?self))
(quality (stream-involved ?self)))
We don't know how to compute this yet. It will be a call to an outside routine or a table lookup.
Computes the enthalpy from pressure and specific entropy. We don'tcompute this yet. It will be a call to an outside routine or a
table lookup.
thermodynamic system
(Forall (?Self ?Time)
(<=> (Active ?Time Thermal-System ?Self)
(And (Thermal-System ?Self) (Active ?Time Thing ?Self)) ))
the control-volume associated with the system
a thermodynamic system involving a cycle
Slots Of Instances:
(Forall (?Self ?Time)
(=> (Active ?Time Thermal-Cycle ?Self)
(= (/ (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Net-Work-Output-Rate ?Self)
?T)))
1000000 )
(- (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Net-Heat-Input-Rate ?Self)
?T)))
(Lambda (?T)
(If (= ?T ?Time)
(Value-At (Net-Heat-Output-Rate ?Self)
?T)))))))
(Forall (?Self ?Time)
(<=> (Active ?Time Thermal-Cycle ?Self)
(And (Thermal-Cycle ?Self)
(Active ?Time Thermal-System ?Self) )))
(=> (Thermal-Cycle ?Self)
(And (Quantity.Dimension (Net-Heat-Output-Rate ?Self)
Power-Dimension)
(Quantity.Dimension (Net-Work-Output-Rate ?Self)
Power-Dimension)
(Quantity.Dimension (Net-Heat-Input-Rate ?Self)
Power-Dimension)
(Quantity.Dimension (Thermal-Efficiency ?Self)
Dimensionless)
(Quantity.Dimension (Back-Work-Ratio ?Self) Dimensionless)
(Quantity.Dimension (Cycle-Mass-Rate ?Self)
Mass-Rate-Dimension)))
A quantity function
A quantity function
A quantity function
A quantity function
A quantity function
A quantity function
the set of all the processes that are part of the cycle
the operating modes of thermal processes
Slots Of Instances:
(Forall (?Self ?Process-Involved)
(<=> (And (= (Process-Involved ?Self) ?Process-Involved)
(Thermal-Process-Op-Mode ?Self) )
(And (Operating-Mode-Model ?Self)
(Thermal-Process ?Process-Involved) )))
(Forall (?Self ?Time)
(<=> (Active ?Time Thermal-Process-Op-Mode ?Self)
(And (Thermal-Process-Op-Mode ?Self)
(Active ?Time Operating-Mode-Model ?Self) )))
A participant function
the operating modes of thermal cycles
Slots Of Instances:
(Forall (?Self ?Cycle-Involved)
(<=> (And (= (Cycle-Involved ?Self) ?Cycle-Involved)
(Thermal-Cycle-Op-Mode ?Self) )
(And (Operating-Mode-Model ?Self)
(Thermal-Cycle ?Cycle-Involved) )))
(Forall (?Self ?Time)
(<=> (Active ?Time Thermal-Cycle-Op-Mode ?Self)
(And (Thermal-Cycle-Op-Mode ?Self)
(Active ?Time Operating-Mode-Model ?Self) )))
A participant function
the operating modes of thermal components
Slots Of Instances:
(Forall (?Self ?Component-Involved)
(<=> (And (= (Component-Involved ?Self) ?Component-Involved)
(Thermal-Component-Op-Mode ?Self) )
(And (Operating-Mode-Model ?Self)
(Thermal-Component ?Component-Involved) )))
(Forall (?Self ?Time)
(<=> (Active ?Time Thermal-Component-Op-Mode ?Self)
(And (Thermal-Component-Op-Mode ?Self)
(Active ?Time Operating-Mode-Model ?Self) )))
A participant function
the operating mode of a thermal cycle for computing the net heat input rate
(Forall (?Self)
(<=> (Cycle-Heat-Input ?Self)
(And (Thermal-Process-Op-Mode ?Self)
(Thermal-Cycle-Op-Mode ?Self)
(Control-Volume-Op-Mode ?Self)
(Thermal-Component-Op-Mode ?Self)
(Process-Cv Process-Involved Cv-Involved)
(Component-Cv Component-Involved Cv-Involved)
(Connected-To-External-Heat-Source-P
Component-Involved
True))))
(Forall
(?Self ?Time)
(=> (Active ?Time Cycle-Heat-Input ?Self)
(C+ (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Heat-Rate (Process-Involved ?Self) )
?T)))
(Lambda
(?T)
(If (= ?T ?Time)
(Value-At (Net-Heat-Input-Rate
(Cycle-Involved ?Self) )
?T))))))
(Forall (?Self ?Time)
(<=> (Active ?Time Cycle-Heat-Input ?Self)
(And (Cycle-Heat-Input ?Self)
(Active ?Time Thermal-Process-Op-Mode ?Self)
(Active ?Time Thermal-Cycle-Op-Mode ?Self)
(Active ?Time Control-Volume-Op-Mode ?Self)
(Active ?Time Thermal-Component-Op-Mode ?Self) )))
the operating mode of a thermal cycle for computing the net work output rate
(Forall (?Self)
(<=> (Cycle-Work-Output ?Self)
(And (Thermal-Process-Op-Mode ?Self)
(Thermal-Cycle-Op-Mode ?Self)
(Control-Volume-Op-Mode ?Self)
(Process-Cv Process-Involved Cv-Involved) )))
(Forall
(?Self ?Time)
(=> (Active ?Time Cycle-Work-Output ?Self)
(C+ (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Work-Rate (Process-Involved ?Self) )
?T)))
(Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Net-Work-Output-Rate (Cycle-Involved ?Self))
?T))))))
(Forall (?Self ?Time)
(<=> (Active ?Time Cycle-Work-Output ?Self)
(And (Cycle-Work-Output ?Self)
(Active ?Time Thermal-Process-Op-Mode ?Self)
(Active ?Time Thermal-Cycle-Op-Mode ?Self)
(Active ?Time Control-Volume-Op-Mode ?Self) )))
a thermodynamic device
Slots Of Instances:
(Forall (?Self ?Time)
(<=> (Active ?Time Thermal-Component ?Self)
(And (Thermal-Component ?Self)
(Active ?Time Thermal-System ?Self) )))
(=> (Thermal-Component ?Self)
(Quantity.Dimension (Efficiency ?Self) Dimensionless) )
A quantity function
A quantity function
A quantity function
In the thermal domain, all the ports are fluid ports.Unlike 'terminal' in DME, a port is independent of a component.
It is a combination of a 'joint' and a 'terminal'.
Slots Of Instances:
(Forall (?Self ?Time)
(<=> (Active ?Time Port ?Self)
(And (Port ?Self)
(Active ?Time Thermal-Component ?Self) )))
(=> (Port ?Self)
(And (Quantity.Dimension (Port-Area ?Self) Area-Dimension)
(Quantity.Dimension (Port-Elevation ?Self) Length-Dimension) ))
A quantity function
A quantity function
the class of thermal components with one inlet
Slots Of Instances:
(Forall (?Self ?Time)
(<=> (Active ?Time 1-Input-Thermal-Component ?Self)
(And (1-Input-Thermal-Component ?Self)
(Active ?Time Thermal-Component ?Self) )))
An attribute function
the class of thermal components with one outlet
Slots Of Instances:
(Forall (?Self ?Time)
(<=> (Active ?Time 1-Output-Thermal-Component ?Self)
(And (1-Output-Thermal-Component ?Self)
(Active ?Time Thermal-Component ?Self) )))
An attribute function
the class of thermal components with two inlets
Slots Of Instances:
(Forall (?Self ?Time)
(<=> (Active ?Time 2-Input-Thermal-Component ?Self)
(And (2-Input-Thermal-Component ?Self)
(Active ?Time Thermal-Component ?Self) )))
An attribute function
An attribute function
the class of thermal components with three inlets
Slots Of Instances:
(Forall (?Self ?Time)
(<=> (Active ?Time 3-Input-Thermal-Component ?Self)
(And (3-Input-Thermal-Component ?Self)
(Active ?Time 2-Input-Thermal-Component ?Self) )))
An attribute function
the class of thermal components with two outlets
Slots Of Instances:
(Forall (?Self ?Time)
(<=> (Active ?Time 2-Output-Thermal-Component ?Self)
(And (2-Output-Thermal-Component ?Self)
(Active ?Time Thermal-Component ?Self) )))
An attribute function
An attribute function
The class of thermal components with one inlet and one outlet.
(Forall (?Self ?Time)
(<=> (Active ?Time 1-1-Port-Thermal-Component ?Self)
(And (1-1-Port-Thermal-Component ?Self)
(Active ?Time 1-Input-Thermal-Component ?Self)
(Active ?Time 1-Output-Thermal-Component ?Self) )))
The class of thermal components with one inlet and two outlets.
(Forall (?Self ?Time)
(<=> (Active ?Time 1-2-Port-Thermal-Component ?Self)
(And (1-2-Port-Thermal-Component ?Self)
(Active ?Time 1-Input-Thermal-Component ?Self)
(Active ?Time 2-Output-Thermal-Component ?Self) )))
the class of thermal components with two inlets and one outlet
(Forall (?Self ?Time)
(<=> (Active ?Time 2-1-Port-Thermal-Component ?Self)
(And (2-1-Port-Thermal-Component ?Self)
(Active ?Time 2-Input-Thermal-Component ?Self)
(Active ?Time 1-Output-Thermal-Component ?Self) )))
the class of thermal components with two inlets and two outlets
(Forall (?Self ?Time)
(<=> (Active ?Time 2-2-Port-Thermal-Component ?Self)
(And (2-2-Port-Thermal-Component ?Self)
(Active ?Time 2-Input-Thermal-Component ?Self)
(Active ?Time 2-Output-Thermal-Component ?Self) )))
the class of thermal components with three inlets and one outlet
(Forall (?Self ?Time)
(<=> (Active ?Time 3-1-Port-Thermal-Component ?Self)
(And (3-1-Port-Thermal-Component ?Self)
(Active ?Time 3-Input-Thermal-Component ?Self)
(Active ?Time 1-Output-Thermal-Component ?Self) )))
the fuel used in power systems
Slots Of Instances:
(Forall (?Self ?Time)
(<=> (Active ?Time Fuel ?Self)
(And (Fuel ?Self) (Active ?Time Substance ?Self)) ))
A quantity function
the class of components which require fuel input
Slots Of Instances:
(Forall (?Self ?Time)
(=> (Active ?Time Fuel-Consuming-Component ?Self)
(= (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Heat-Supply-Rate ?Self) ?T) ))
(* (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Fuel-Supply-Rate ?Self) ?T) ))
(Lambda (?T)
(If (= ?T ?Time)
(Value-At (Heating-Value Fuel) ?T) ))))))
(Forall (?Self ?Time)
(<=> (Active ?Time Fuel-Consuming-Component ?Self)
(And (Fuel-Consuming-Component ?Self)
(Active ?Time Thermal-Component ?Self) )))
(=> (Fuel-Consuming-Component ?Self)
(And (Quantity.Dimension (Fuel-Supply-Rate ?Self) Mass-Dimension)
(Quantity.Dimension (Heat-Supply-Rate ?Self)
Power-Dimension)))
A quantity function
A quantity function
the class of components which require work input
Slots Of Instances:
(Forall (?Self ?Time)
(<=> (Active ?Time Work-Consuming-Component ?Self)
(And (Work-Consuming-Component ?Self)
(Active ?Time Thermal-Component ?Self) )))
(=> (Work-Consuming-Component ?Self)
(Quantity.Dimension (Power-Input ?Self) Power-Dimension) )
A quantity function
This is the class of components which produce work output.
Slots Of Instances:
(Forall (?Self ?Time)
(<=> (Active ?Time Work-Producing-Component ?Self)
(And (Work-Producing-Component ?Self)
(Active ?Time Thermal-Component ?Self) )))
(=> (Work-Producing-Component ?Self)
(Quantity.Dimension (Power-Output ?Self) Power-Dimension) )
A quantity function
the class of components which supply heat
Slots Of Instances:
(Forall (?Self ?Time)
(<=> (Active ?Time Heating-Component ?Self)
(And (Heating-Component ?Self)
(Active ?Time Thermal-Component ?Self) )))
(=> (Heating-Component ?Self)
(Quantity.Dimension (Heating-Rate ?Self) Power-Dimension) )
A quantity function
the class of components which extract heat/provide cooling.
Slots Of Instances:
(Forall (?Self ?Time)
(<=> (Active ?Time Cooling-Component ?Self)
(And (Cooling-Component ?Self)
(Active ?Time Thermal-Component ?Self) )))
(=> (Cooling-Component ?Self)
(Quantity.Dimension (Cooling-Rate ?Self) Power-Dimension) )
A quantity function
the class of components which are based on rotational motion
Slots Of Instances:
(Forall (?Self ?Time)
(<=> (Active ?Time Rotating-Component ?Self)
(And (Rotating-Component ?Self)
(Active ?Time Thermal-Component ?Self) )))
(=> (Rotating-Component ?Self)
(Quantity.Dimension (Rotating-Speed ?Self) Frequency-Dimension) )
A quantity function
the class of components which are positive-displacement machines
Slots Of Instances:
(Forall (?Self ?Time)
(=> (Active ?Time Positive-Displacement-Component ?Self)
(= (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Compression-Ratio ?Self) ?T) ))
(/ (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Displacement ?Self) ?T) ))
(Lambda (?T)
(If (= ?T ?Time)
(Value-At (Clearance-Volume ?Self) ?T) ))))))
(Forall (?Self ?Time)
(<=> (Active ?Time Positive-Displacement-Component ?Self)
(And (Positive-Displacement-Component ?Self)
(Active ?Time Thermal-Component ?Self) )))
(=> (Positive-Displacement-Component ?Self)
(And (Quantity.Dimension (Displacement ?Self) Volume-Dimension)
(Quantity.Dimension (Speed ?Self) Frequency-Dimension)
(Quantity.Dimension (Cycles-Rate ?Self) Frequency-Dimension)
(Quantity.Dimension (Mean-Effective-Pressure ?Self)
Pressure-Dimension)
(Quantity.Dimension (Volumetric-Efficiency ?Self)
Dimensionless)
(Quantity.Dimension (Clearance-Volume ?Self) Dimensionless)
(Quantity.Dimension (Compression-Ratio ?Self) Dimensionless) ))
A quantity function
A quantity function
A quantity function
A quantity function
A quantity function
A quantity function
A quantity function
the class of components which includes diesel and petrol engines
Slots Of Instances:
(Forall (?Self ?Time)
(<=> (Active ?Time Internal-Combustion-Engine ?Self)
(And (Internal-Combustion-Engine ?Self)
(Active ?Time Reciprocating-Component ?Self)
(Active ?Time Work-Producing-Component ?Self) )))
(=> (Internal-Combustion-Engine ?Self)
(Quantity.Dimension (Air-Fuel-Ratio ?Self) Dimensionless) )
A quantity function
A quantity function
the class of components which are based on reciprocating motion,such as reciprocating pumps, compressors, expanders, engines
Slots Of Instances:
(Forall (?Self ?Time)
(<=> (Active ?Time Reciprocating-Component ?Self)
(And (Reciprocating-Component ?Self)
(Active ?Time
Positive-Displacement-Component
?Self))))
(=> (Reciprocating-Component ?Self)
(And (Quantity.Dimension (Stroke ?Self) Length-Dimension)
(Quantity.Dimension (Bore-Area ?Self) Area-Dimension)
(Quantity.Dimension (Bore ?Self) Length-Dimension)
(Quantity.Dimension (Strokes-Per-Cycle ?Self) Dimensionless) ))
A quantity function
A quantity function
A quantity function
A quantity function
a flow passage of varying cross-sectional area in which the velocity of a gas of liquid increases in the direction of flow
Slots Of Instances:
(Forall (?Self ?Time)
(<=> (Active ?Time Nozzle ?Self)
(And (Nozzle ?Self)
(Active ?Time 1-1-Port-Thermal-Component ?Self) )))
(=> (Nozzle ?Self)
(Quantity.Dimension (Outlet-Velocity ?Self) Velocity-Dimension) )
A quantity function
a thermal component in which work is developed as a result of a gas or liquid passing through a set of blades attached to a shaft free to rotate
(Forall (?Self ?Time)
(<=> (Active ?Time Turbine ?Self)
(And (Turbine ?Self)
(Active ?Time Thermal-Component ?Self)
(Active ?Time Work-Producing-Component ?Self) )))
a one-input one-output turbine
(Forall (?Self ?Time)
(<=> (Active ?Time Simple-Turbine ?Self)
(And (Simple-Turbine ?Self)
(Active ?Time Turbine ?Self)
(Active ?Time 1-1-Port-Thermal-Component ?Self) )))
a one-input two-output turbine
(Forall (?Self ?Time)
(<=> (Active ?Time Extraction-Turbine ?Self)
(And (Extraction-Turbine ?Self)
(Active ?Time Turbine ?Self)
(Active ?Time 1-2-Port-Thermal-Component ?Self) )))
a device that transfer energy between fluids at different temperatures
Slots Of Instances:
(Forall (?Self ?Time)
(<=> (Active ?Time Heat-Exchanger ?Self)
(And (Heat-Exchanger ?Self)
(Active ?Time Thermal-Component ?Self) )))
(=> (Heat-Exchanger ?Self)
(And (Quantity.Dimension (Area ?Self) Area-Dimension)
(Quantity.Dimension (Overall-Heat-Transfer-Coefficient ?Self)
Dimensionless)
(Quantity.Dimension (Heat-Transfer-Rate ?Self)
Power-Dimension)
(Quantity.Dimension (Max-Pressure ?Self) Pressure-Dimension)
(Quantity.Dimension (Max-Temperature ?Self)
Temperature-Dimension)
(Quantity.Dimension (Max-Heat-Rate ?Self) Power-Dimension)
(Quantity.Dimension (Ideal-Heat-Rate ?Self) Power-Dimension) ))
A quantity function
A quantity function
A quantity function
A quantity function
A quantity function
A quantity function
A quantity function
a one-input one-output heat exchanger
(Forall (?Self ?Time)
(<=> (Active ?Time 2-Port-Heat-Exchanger ?Self)
(And (2-Port-Heat-Exchanger ?Self)
(Active ?Time Heat-Exchanger ?Self)
(Active ?Time 1-1-Port-Thermal-Component ?Self) )))
a two-input two-output heat exchanger with two separate flows
Slots Of Instances:
(Forall (?Self ?Time)
(<=> (Active ?Time 4-Port-Heat-Exchanger ?Self)
(And (4-Port-Heat-Exchanger ?Self)
(Active ?Time Heat-Exchanger ?Self) )))
(=> (4-Port-Heat-Exchanger ?Self)
(And (Quantity.Dimension (Effectiveness ?Self) Dimensionless)
(Quantity.Dimension (Hot-Flow-Temperature-In ?Self)
Temperature-Dimension)
(Quantity.Dimension (Cold-Flow-Temperature-Out ?Self)
Temperature-Dimension)
(Quantity.Dimension (D-Log-Mean-Temperature ?Self)
Temperature-Dimension)
(Quantity.Dimension (D-Pressure-Hot ?Self)
Pressure-Dimension)
(Quantity.Dimension (D-Pressure-Cold ?Self)
Pressure-Dimension)))
A quantity function
A quantity function
A quantity function
A quantity function
A quantity function
A quantity function
An attribute function
An attribute function
a thermal component in which work is done on a gas passing through them in order to raise the pressure
Slots Of Instances:
(Forall (?Self ?Time)
(<=> (Active ?Time Compressor ?Self)
(And (Compressor ?Self)
(Active ?Time Work-Consuming-Component ?Self)
(Active ?Time 1-1-Port-Thermal-Component ?Self) )))
(=> (Compressor ?Self)
(Quantity.Dimension (Pressure-Ratio ?Self) Dimensionless) )
A quantity function
a compressor in which the work input is used to change the state of a liquid passing through
(Forall (?Self ?Time)
(<=> (Active ?Time Pump ?Self)
(And (Pump ?Self)
(Active ?Time 1-1-Port-Thermal-Component ?Self)
(Active ?Time Compressor ?Self) )))
a thermal component in which a fluid changes its phase from liquid to vapor at constant temperature as a result of heat transfer from the hot reservoir
(Forall (?Self ?Time)
(<=> (Active ?Time Boiler ?Self)
(And (Boiler ?Self)
(Active ?Time 1-1-Port-Thermal-Component ?Self) )))
a heat exchanger which is a vessel in which hot and cold streams are mixed directly
(Forall (?Self ?Time)
(<=> (Active ?Time Open-Feedwater-Heater ?Self)
(And (Open-Feedwater-Heater ?Self)
(Active ?Time Heat-Exchanger ?Self) )))
a two-input one-output open feedwater heater
(Forall (?Self ?Time)
(<=> (Active ?Time 2-1-Open-Feedwater-Heater ?Self)
(And (2-1-Open-Feedwater-Heater ?Self)
(Active ?Time 2-1-Port-Thermal-Component ?Self)
(Active ?Time Open-Feedwater-Heater ?Self) )))
a two input two-output open feedwater heater
(Forall (?Self ?Time)
(<=> (Active ?Time 2-2-Open-Feedwater-Heater ?Self)
(And (2-2-Open-Feedwater-Heater ?Self)
(Active ?Time 2-2-Port-Thermal-Component ?Self)
(Active ?Time Open-Feedwater-Heater ?Self) )))
a three-input one-output open feedwater heater
(Forall (?Self ?Time)
(<=> (Active ?Time 3-1-Open-Feedwater-Heater ?Self)
(And (3-1-Open-Feedwater-Heater ?Self)
(Active ?Time 3-1-Port-Thermal-Component ?Self)
(Active ?Time Open-Feedwater-Heater ?Self) )))
a two-input two-output closed heater, which is a shell-and-tube-type recuperators in which the feedwater temperature increases as the extracted stream condenses on the outside of the tubes carrying the feedwater
(Forall (?Self ?Time)
(<=> (Active ?Time 2-2-Closed-Feedwater-Heater ?Self)
(And (2-2-Closed-Feedwater-Heater ?Self)
(Active ?Time 2-2-Port-Thermal-Component ?Self)
(Active ?Time Heat-Exchanger ?Self) )))
a steam generator (i.e. a boiler-superheater combination) which also reheats the steam exiting the first-stage turbine
(Forall (?Self ?Time)
(<=> (Active ?Time Steam-Generator-With-Reheat ?Self)
(And (Steam-Generator-With-Reheat ?Self)
(Active ?Time 2-2-Port-Thermal-Component ?Self) )))
any component containing some substance such as water, air, etc.
(Forall (?Self ?Time)
(<=> (Active ?Time Substance-Container ?Self)
(And (Substance-Container ?Self)
(Active ?Time Structural-Element-Model ?Self) )))
the substance contained in the stream or control-volume
the boundary (control surfaces) of control volumes in a flow process
Slots Of Instances:
(Forall (?Self ?Time)
(<=> (Active ?Time Stream ?Self)
(And (Stream ?Self)
(Active ?Time Substance-Container ?Self) )))
(=> (Stream ?Self)
(And (Quantity.Dimension (Stream-Elevation ?Self)
Length-Dimension)
(Quantity.Dimension (Enthalpy-Rate ?Self) Power-Dimension)
(Quantity.Dimension (Entropy-Rate ?Self)
Entropy-Rate-Dimension)
(Quantity.Dimension (Ke-Rate ?Self) Power-Dimension)
(Quantity.Dimension (Mass-Rate ?Self) Mass-Rate-Dimension)
(Quantity.Dimension (Pe-Rate ?Self) Power-Dimension)
(Quantity.Dimension (Stream-Pressure ?Self)
Pressure-Dimension)
(Quantity.Dimension (Specific-Enthalpy ?Self)
Specific-Energy-Dimension)
(Quantity.Dimension (Specific-Entropy ?Self)
Specific-Entropy-Dimension)
(Quantity.Dimension (Specific-Internal-Energy ?Self)
Specific-Energy-Dimension)
(Quantity.Dimension (Stream-Temperature ?Self)
Temperature-Dimension)
(Quantity.Dimension (Velocity ?Self) Velocity-Dimension)
(Quantity.Dimension (Quality ?Self) Dimensionless)
(Quantity.Dimension (Specific-Volume ?Self)
Specific-Volume-Dimension)))
A quantity function
A quantity function
A quantity function
A quantity function
A quantity function
A quantity function
A quantity function
A quantity function
A quantity function
A quantity function
A quantity function
A quantity function
A quantity function
A quantity function
A quantity function
a 2-dimensional stream
Slots Of Instances:
(Forall (?Self ?Time)
(<=> (Active ?Time 2d-Stream ?Self)
(And (2d-Stream ?Self)
(Active ?Time Stream ?Self)
(Active ?Time Terminal ?Self) )))
(=> (2d-Stream ?Self)
(Quantity.Dimension (Stream-Area ?Self) Area-Dimension) )
A quantity function
a junction between streams
(Forall
(?Self ?Time)
(=> (Active ?Time Stream-Junction ?Self)
(And (All= (Setof Terminal
(Connected-Terminals ?Self)
(Lambda (?T)
(If (= ?T ?Time)
(Value-At (Mass-Rate Terminal)
?T)))))
(All= (Setof Terminal
(Connected-Terminals ?Self)
(Lambda (?T)
(If (= ?T ?Time)
(Value-At
(Stream-Pressure Terminal)
?T)))))
(All= (Setof Terminal
(Connected-Terminals ?Self)
(Lambda
(?T)
(If (= ?T ?Time)
(Value-At (Specific-Enthalpy Terminal)
?T)))))
(All= (Setof Terminal
(Connected-Terminals ?Self)
(Lambda
(?T)
(If (= ?T ?Time)
(Value-At (Specific-Entropy Terminal)
?T)))))
(All= (Setof Terminal
(Connected-Terminals ?Self)
(Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Specific-Internal-Energy Terminal)
?T)))))
(All= (Setof Terminal
(Connected-Terminals ?Self)
(Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Stream-Temperature Terminal)
?T)))))
(All= (Setof Terminal
(Connected-Terminals ?Self)
(Lambda (?T)
(If (= ?T ?Time)
(Value-At (Quality Terminal)
?T)))))
(All= (Setof Terminal
(Connected-Terminals ?Self)
(Lambda (?T)
(If (= ?T ?Time)
(Value-At
(Specific-Volume Terminal)
?T))))))))
(Forall (?Self ?Time)
(<=> (Active ?Time Stream-Junction ?Self)
(And (Stream-Junction ?Self)
(Active ?Time Junction ?Self) )))
a region of space through which mass may flow
Slots Of Instances:
(Forall
(?Self ?Time)
(=> (Active ?Time Control-Volume ?Self)
(And (Forall
(?X)
(=> (Inlets ?Self ?X)
(And (C+ (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Pe-Rate ?X) ?T) ))
(Lambda (?T)
(If (= ?T ?Time)
(Value-At (Pe-Rate-In ?Self)
?T))))
(C+ (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Ke-Rate ?X) ?T) ))
(Lambda (?T)
(If (= ?T ?Time)
(Value-At (Ke-Rate-In ?Self)
?T))))
(C+ (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Enthalpy-Rate ?X)
?T)))
(Lambda
(?T)
(If (= ?T ?Time)
(Value-At (Enthalpy-Rate-In ?Self)
?T))))
(C+ (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Mass-Rate ?X)
?T)))
(Lambda (?T)
(If (= ?T ?Time)
(Value-At (Mass-Rate-In ?Self)
?T))))
(C+ (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Entropy-Rate ?X)
?T)))
(Lambda
(?T)
(If (= ?T ?Time)
(Value-At (Entropy-Rate-In ?Self)
?T)))))))
(Forall
(?X)
(=> (Outlets ?Self ?X)
(And (C+ (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Pe-Rate ?X) ?T) ))
(Lambda (?T)
(If (= ?T ?Time)
(Value-At (Pe-Rate-Out ?Self)
?T))))
(C+ (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Ke-Rate ?X) ?T) ))
(Lambda (?T)
(If (= ?T ?Time)
(Value-At (Ke-Rate-Out ?Self)
?T))))
(C+ (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Enthalpy-Rate ?X)
?T)))
(Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Enthalpy-Rate-Out ?Self)
?T))))
(C+ (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Mass-Rate ?X)
?T)))
(Lambda (?T)
(If (= ?T ?Time)
(Value-At
(Mass-Rate-Out ?Self)
?T))))
(C+ (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Entropy-Rate ?X)
?T)))
(Lambda
(?T)
(If (= ?T ?Time)
(Value-At (Entropy-Rate-Out ?Self)
?T)))))))
(= (Lambda (?T)
(If (= ?T ?Time)
(Value-At (D-Entropy-Rate ?Self) ?T) ))
(- (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Entropy-Rate-In ?Self) ?T) ))
(Lambda (?T)
(If (= ?T ?Time)
(Value-At (Entropy-Rate-Out ?Self) ?T) ))))
(= (Lambda (?T)
(If (= ?T ?Time)
(Value-At (D-Pe-Rate ?Self) ?T) ))
(- (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Pe-Rate-Out ?Self) ?T) ))
(Lambda (?T)
(If (= ?T ?Time)
(Value-At (Pe-Rate-In ?Self) ?T) ))))
(= (Lambda (?T)
(If (= ?T ?Time)
(Value-At (D-Ke-Rate ?Self) ?T) ))
(- (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Ke-Rate-Out ?Self) ?T) ))
(Lambda (?T)
(If (= ?T ?Time)
(Value-At (Ke-Rate-In ?Self) ?T) )))))))
(Forall (?Self ?Time)
(<=> (Active ?Time Control-Volume ?Self)
(And (Control-Volume ?Self)
(Active ?Time Substance-Container ?Self) )))
(=> (Control-Volume ?Self)
(And (Quantity.Dimension (Enthalpy-Rate-In ?Self)
Power-Dimension)
(Quantity.Dimension (Enthalpy-Rate-Out ?Self)
Power-Dimension)
(Quantity.Dimension (Entropy-Rate-In ?Self)
Entropy-Rate-Dimension)
(Quantity.Dimension (Entropy-Rate-Out ?Self)
Entropy-Rate-Dimension)
(Quantity.Dimension (D-Entropy-Rate ?Self)
Entropy-Rate-Dimension)
(Quantity.Dimension (Ke-Rate-In ?Self) Power-Dimension)
(Quantity.Dimension (Ke-Rate-Out ?Self) Power-Dimension)
(Quantity.Dimension (Mass-Rate-In ?Self)
Mass-Rate-Dimension)
(Quantity.Dimension (Mass-Rate-Out ?Self)
Mass-Rate-Dimension)
(Quantity.Dimension (Pe-Rate-In ?Self) Power-Dimension)
(Quantity.Dimension (Pe-Rate-Out ?Self) Power-Dimension)
(Quantity.Dimension (Cv-Elevation ?Self) Length-Dimension)
(Quantity.Dimension (Cv-Pe ?Self) Energy-Dimension)
(Quantity.Dimension (Cv-Ke ?Self) Energy-Dimension)
(Quantity.Dimension (Cv-Enthalpy ?Self) Energy-Dimension)
(Quantity.Dimension (Cv-Entropy ?Self) Entropy-Dimension)
(Quantity.Dimension (Cv-Internal-Energy ?Self)
Energy-Dimension)
(Quantity.Dimension (Cv-Energy ?Self) Energy-Dimension)
(Quantity.Dimension (Energy-Rate ?Self)
Energy-Rate-Dimension)
(Quantity.Dimension (Internal-Energy-Rate ?Self)
Energy-Rate-Dimension)
(Quantity.Dimension (Cv-Mass ?Self) Mass-Dimension)
(Quantity.Dimension (Cv-Volume ?Self) Volume-Dimension)
(Quantity.Dimension (D-Pe-Rate ?Self) Power-Dimension)
(Quantity.Dimension (D-Ke-Rate ?Self) Power-Dimension) ))
A quantity function
A quantity function
A quantity function
A quantity function
A quantity function
A quantity function
A quantity function
A quantity function
A quantity function
A quantity function
A quantity function
A quantity function
A quantity function
A quantity function
A quantity function
A quantity function
A quantity function
A quantity function
A quantity function
A quantity function
A quantity function
A quantity function
A quantity function
A quantity function
A quantity function
A quantity function
the set of inlet streams of the control-volume
the set of outlet streams of the control-volume
the process the control-volume is undergoing
the component associated with the control volume
the class of model fragments about a 1-1-contol-volume
Slots Of Instances:
(Forall (?1-1-Cv-Involved)
(<=> (1-1-Control-Volume ?1-1-Cv-Involved)
(Exists (?Self)
(And (1-1-Control-Volume-Op-Mode ?Self)
(= (1-1-Cv-Involved ?Self)
?1-1-Cv-Involved)))))
(Forall (?Self ?Time)
(<=> (Active ?Time 1-1-Control-Volume-Op-Mode ?Self)
(1-1-Control-Volume-Op-Mode ?Self) ))
A participant function
description of an internally reversible-process
Slots Of Instances:
(Forall (?Self ?Adiabatic-Pr-Involved)
(<=> (And (= (Adiabatic-Pr-Involved ?Self)
?Adiabatic-Pr-Involved)
(Internally-Reversible-Adiabatic-Process ?Self) )
(And (1-1-Control-Volume-Op-Mode ?Self)
(Steady-Flow-Adiabatic-Process ?Adiabatic-Pr-Involved)
(Process-Cv ?Adiabatic-Pr-Involved 1-1-Cv-Involved)
(Internally-Reversible-P ?Adiabatic-Pr-Involved
True))))
(Forall
(?Self ?Time)
(=> (Active ?Time Internally-Reversible-Adiabatic-Process ?Self)
(= (Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Specific-Entropy
(Outlet-Stream (1-1-Cv-Involved ?Self)) )
?T)))
(Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Specific-Entropy
(Inlet-Stream (1-1-Cv-Involved ?Self)) )
?T))))))
(Forall (?Self ?Time)
(<=> (Active ?Time
Internally-Reversible-Adiabatic-Process
?Self)
(And (Internally-Reversible-Adiabatic-Process ?Self)
(Active ?Time 1-1-Control-Volume-Op-Mode ?Self) )))
A participant function
the class of model fragments about a contol-volume
Slots Of Instances:
(Forall (?Cv-Involved)
(<=> (Control-Volume ?Cv-Involved)
(Exists (?Self)
(And (Control-Volume-Op-Mode ?Self)
(= (Cv-Involved ?Self) ?Cv-Involved) ))))
(Forall (?Self ?Time)
(<=> (Active ?Time Control-Volume-Op-Mode ?Self)
(Control-Volume-Op-Mode ?Self) ))
A participant function
the operating mode model of a control volume to describe the fluid in its inlet stream as ideal gas
(Forall (?Self)
(<=> (Control-Volume-Inlet-Stream-Ideal-Gas-Law ?Self)
(And (Control-Volume-Op-Mode ?Self)
(Ideal-Gas-P (Substance-In Cv-Involved) True) )))
(Forall
(?Self ?Time)
(=> (Active ?Time
Control-Volume-Inlet-Stream-Ideal-Gas-Law
?Self)
(Forall
(?X)
(=> (Inlets (Cv-Involved ?Self) ?X)
(= (* (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Stream-Pressure ?X) ?T) ))
(Lambda (?T)
(If (= ?T ?Time)
(Value-At (Specific-Volume ?X) ?T) )))
(* (Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Ideal-Gas-Constant
(Substance-In (Cv-Involved ?Self)))
?T)))
(Lambda (?T)
(If (= ?T ?Time)
(Value-At (Stream-Temperature ?X)
?T)))))))))
(Forall (?Self ?Time)
(<=> (Active ?Time
Control-Volume-Inlet-Stream-Ideal-Gas-Law
?Self)
(And (Control-Volume-Inlet-Stream-Ideal-Gas-Law ?Self)
(Active ?Time Control-Volume-Op-Mode ?Self) )))
the operating mode model of a control volume to describe the fluid in its outlet stream as ideal gas
(Forall (?Self)
(<=> (Control-Volume-Outlet-Stream-Ideal-Gas-Law ?Self)
(And (Control-Volume-Op-Mode ?Self)
(Ideal-Gas-P (Substance-In Cv-Involved) True) )))
(Forall
(?Self ?Time)
(=> (Active ?Time
Control-Volume-Outlet-Stream-Ideal-Gas-Law
?Self)
(Forall
(?X)
(=> (Outlets (Cv-Involved ?Self) ?X)
(= (* (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Stream-Pressure ?X) ?T) ))
(Lambda (?T)
(If (= ?T ?Time)
(Value-At (Specific-Volume ?X) ?T) )))
(* (Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Ideal-Gas-Constant
(Substance-In (Cv-Involved ?Self)))
?T)))
(Lambda (?T)
(If (= ?T ?Time)
(Value-At (Stream-Temperature ?X)
?T)))))))))
(Forall (?Self ?Time)
(<=> (Active ?Time
Control-Volume-Outlet-Stream-Ideal-Gas-Law
?Self)
(And (Control-Volume-Outlet-Stream-Ideal-Gas-Law ?Self)
(Active ?Time Control-Volume-Op-Mode ?Self) )))
the class of operating mode models of air
Slots Of Instances:
(Forall (?Self ?Air-Involved)
(<=> (And (= (Air-Involved ?Self) ?Air-Involved)
(Air-Operating-Mode ?Self) )
(And (Operating-Mode-Model ?Self) (Air ?Air-Involved)) ))
(Forall (?Self ?Time)
(<=> (Active ?Time Air-Operating-Mode ?Self)
(And (Air-Operating-Mode ?Self)
(Active ?Time Operating-Mode-Model ?Self) )))
A participant function
the class of operating mode models of water
Slots Of Instances:
(Forall (?Self ?Water-Involved)
(<=> (And (= (Water-Involved ?Self) ?Water-Involved)
(Water-Operating-Mode ?Self) )
(And (Operating-Mode-Model ?Self)
(Water ?Water-Involved) )))
(Forall (?Self ?Time)
(<=> (Active ?Time Water-Operating-Mode ?Self)
(And (Water-Operating-Mode ?Self)
(Active ?Time Operating-Mode-Model ?Self) )))
A participant function
the operating mode model of a control volume containing air to compute the thermodynamic state of its inlet stream
(Forall (?Self)
(<=> (Control-Volume-Inlet-Stream-Thermodynamic-State ?Self)
(And (Air-Operating-Mode ?Self)
(Control-Volume-Op-Mode ?Self)
(Substance-In (Cv-Involved ?Self)
(Air-Involved ?Self) ))))
(Forall
(?Self ?Time)
(=> (Active ?Time
Control-Volume-Inlet-Stream-Thermodynamic-State
?Self)
(Forall
(?X)
(=> (Inlets (Cv-Involved ?Self) ?X)
(= (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Specific-Enthalpy ?X) ?T) ))
(Compute-Air-Thermodynamic-State
(Lambda (?T)
(If (= ?T ?Time)
(Value-At (Stream-Temperature ?X)
?T)))))))))
(Forall (?Self ?Time)
(<=> (Active ?Time
Control-Volume-Inlet-Stream-Thermodynamic-State
?Self)
(And (Control-Volume-Inlet-Stream-Thermodynamic-State ?Self)
(Active ?Time Air-Operating-Mode ?Self)
(Active ?Time Control-Volume-Op-Mode ?Self) )))
the operating mode model of a control volume containing air to compute the thermodynamic state of its oiutlet stream
(Forall (?Self)
(<=> (Control-Volume-Outlet-Stream-Thermodynamic-State ?Self)
(And (Air-Operating-Mode ?Self)
(Control-Volume-Op-Mode ?Self)
(Substance-In (Cv-Involved ?Self)
(Air-Involved ?Self) ))))
(Forall
(?Self ?Time)
(=> (Active ?Time
Control-Volume-Outlet-Stream-Thermodynamic-State
?Self)
(Forall
(?X)
(=> (Outlets (Cv-Involved ?Self) ?X)
(= (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Specific-Enthalpy ?X) ?T) ))
(Compute-Air-Thermodynamic-State
(Lambda (?T)
(If (= ?T ?Time)
(Value-At (Stream-Temperature ?X)
?T)))))))))
(Forall (?Self ?Time)
(<=> (Active ?Time
Control-Volume-Outlet-Stream-Thermodynamic-State
?Self)
(And (Control-Volume-Outlet-Stream-Thermodynamic-State ?Self)
(Active ?Time Air-Operating-Mode ?Self)
(Active ?Time Control-Volume-Op-Mode ?Self) )))
the class of operating mode models of 2d streams
Slots Of Instances:
(Forall (?Self ?2d-Stream-Involved)
(<=> (And (= (2d-Stream-Involved ?Self) ?2d-Stream-Involved)
(2d-Stream-Operating-Mode ?Self) )
(And (Operating-Mode-Model ?Self)
(2d-Stream ?2d-Stream-Involved) )))
(Forall (?Self ?Time)
(<=> (Active ?Time 2d-Stream-Operating-Mode ?Self)
(And (2d-Stream-Operating-Mode ?Self)
(Active ?Time Operating-Mode-Model ?Self) )))
A participant function
the operating mode model of a 2d stream containing non-saturated water to compute its enthalpy
(Forall (?Self)
(<=> (Non-Saturated-Water-Stream-Enthalpy ?Self)
(And (Water-Operating-Mode ?Self)
(2d-Stream-Operating-Mode ?Self)
(Substance-In 2d-Stream-Involved Water-Involved)
(Saturated-P 2d-Stream-Involved False) )))
(Forall
(?Self ?Time)
(=> (Active ?Time Non-Saturated-Water-Stream-Enthalpy ?Self)
(= (Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Specific-Enthalpy (2d-Stream-Involved ?Self))
?T)))
(+ (Compute-Saturated-Vapor-Enthalpy
(Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Stream-Pressure
(2d-Stream-Involved ?Self) )
?T)))
0 )
(* (Lambda (?T)
(If (= ?T ?Time)
(Value-At
(Quality (2d-Stream-Involved ?Self))
?T)))
(- (Compute-Saturated-Vapor-Enthalpy
(Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Stream-Pressure
(2d-Stream-Involved ?Self) )
?T)))
1 )
(Compute-Saturated-Vapor-Enthalpy
(Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Stream-Pressure
(2d-Stream-Involved ?Self) )
?T)))
0 )))))))
(Forall (?Self ?Time)
(<=> (Active ?Time Non-Saturated-Water-Stream-Enthalpy ?Self)
(And (Non-Saturated-Water-Stream-Enthalpy ?Self)
(Active ?Time Water-Operating-Mode ?Self)
(Active ?Time 2d-Stream-Operating-Mode ?Self) )))
the operating mode model of a 2d stream containing saturated water to compute its enthalpy
(Forall (?Self)
(<=> (Saturated-Water-Stream-Enthalpy ?Self)
(And (2d-Stream-Operating-Mode ?Self)
(Water-Operating-Mode ?Self)
(Substance-In 2d-Stream-Involved Water-Involved)
(Saturated-P 2d-Stream-Involved True) )))
(Forall
(?Self ?Time)
(=> (Active ?Time Saturated-Water-Stream-Enthalpy ?Self)
(= (Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Specific-Enthalpy (2d-Stream-Involved ?Self))
?T)))
(Compute-Saturated-Vapor-Enthalpy
(Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Stream-Pressure (2d-Stream-Involved ?Self))
?T)))
(Lambda (?T)
(If (= ?T ?Time)
(Value-At (Quality (2d-Stream-Involved ?Self))
?T)))))))
(Forall (?Self ?Time)
(<=> (Active ?Time Saturated-Water-Stream-Enthalpy ?Self)
(And (Saturated-Water-Stream-Enthalpy ?Self)
(Active ?Time 2d-Stream-Operating-Mode ?Self)
(Active ?Time Water-Operating-Mode ?Self) )))
the operating mode model of a 2d stream containing saturated water to compute its entropy
(Forall (?Self)
(<=> (Saturated-Water-Stream-Entropy ?Self)
(And (2d-Stream-Operating-Mode ?Self)
(Water-Operating-Mode ?Self)
(Substance-In 2d-Stream-Involved Water-Involved)
(Saturated-P 2d-Stream-Involved True) )))
(Forall
(?Self ?Time)
(=> (Active ?Time Saturated-Water-Stream-Entropy ?Self)
(= (Lambda
(?T)
(If (= ?T ?Time)
(Value-At (Specific-Entropy
(2d-Stream-Involved ?Self) )
?T)))
(Compute-Saturated-Vapor-Entropy
(Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Stream-Pressure (2d-Stream-Involved ?Self))
?T)))
(Lambda (?T)
(If (= ?T ?Time)
(Value-At (Quality (2d-Stream-Involved ?Self))
?T)))))))
(Forall (?Self ?Time)
(<=> (Active ?Time Saturated-Water-Stream-Entropy ?Self)
(And (Saturated-Water-Stream-Entropy ?Self)
(Active ?Time 2d-Stream-Operating-Mode ?Self)
(Active ?Time Water-Operating-Mode ?Self) )))
the operating mode model of a 2d stream containing saturated water to compute its specific volume
(Forall (?Self)
(<=> (Saturated-Water-Stream-Specific-Volume ?Self)
(And (2d-Stream-Operating-Mode ?Self)
(Water-Operating-Mode ?Self)
(Substance-In 2d-Stream-Involved Water-Involved)
(Saturated-P 2d-Stream-Involved True) )))
(Forall
(?Self ?Time)
(=> (Active ?Time Saturated-Water-Stream-Specific-Volume ?Self)
(= (Lambda
(?T)
(If (= ?T ?Time)
(Value-At (Specific-Volume (2d-Stream-Involved ?Self))
?T)))
(Compute-Saturated-Vapor-Specific-Volume
(Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Stream-Pressure (2d-Stream-Involved ?Self))
?T)))
(Lambda (?T)
(If (= ?T ?Time)
(Value-At (Quality (2d-Stream-Involved ?Self))
?T)))))))
(Forall (?Self ?Time)
(<=> (Active ?Time
Saturated-Water-Stream-Specific-Volume
?Self)
(And (Saturated-Water-Stream-Specific-Volume ?Self)
(Active ?Time 2d-Stream-Operating-Mode ?Self)
(Active ?Time Water-Operating-Mode ?Self) )))
operating mode of a control-volume that says that the change in pe rate is negligible
(Forall (?Self)
(<=> (Control-Volume-Negligible-Pe-Change ?Self)
(And (Control-Volume-Op-Mode ?Self)
(Even-Pe Cv-Involved True) )))
(Forall (?Self ?Time)
(=> (Active ?Time Control-Volume-Negligible-Pe-Change ?Self)
(= (Lambda (?T)
(If (= ?T ?Time)
(Value-At (D-Pe-Rate (Cv-Involved ?Self))
?T)))
0 )))
(Forall (?Self ?Time)
(<=> (Active ?Time Control-Volume-Negligible-Pe-Change ?Self)
(And (Control-Volume-Negligible-Pe-Change ?Self)
(Active ?Time Control-Volume-Op-Mode ?Self) )))
operating mode of a control-volume that says that the change in ke rate is negligible
(Forall (?Self)
(<=> (Control-Volume-Negligible-Ke-Change ?Self)
(And (Control-Volume-Op-Mode ?Self)
(Even-Ke Cv-Involved True) )))
(Forall (?Self ?Time)
(=> (Active ?Time Control-Volume-Negligible-Ke-Change ?Self)
(= (Lambda (?T)
(If (= ?T ?Time)
(Value-At (D-Ke-Rate (Cv-Involved ?Self))
?T)))
0 )))
(Forall (?Self ?Time)
(<=> (Active ?Time Control-Volume-Negligible-Ke-Change ?Self)
(And (Control-Volume-Negligible-Ke-Change ?Self)
(Active ?Time Control-Volume-Op-Mode ?Self) )))
the control volume with one input stream
Slots Of Instances:
(Forall (?Self ?Time)
(<=> (Active ?Time 1-Input-Control-Volume ?Self)
(And (1-Input-Control-Volume ?Self)
(Active ?Time Control-Volume ?Self) )))
An attribute function
the control volume with one output stream
Slots Of Instances:
(Forall (?Self ?Time)
(<=> (Active ?Time 1-Output-Control-Volume ?Self)
(And (1-Output-Control-Volume ?Self)
(Active ?Time Control-Volume ?Self) )))
An attribute function
the control volume with two input streams
Slots Of Instances:
(Forall (?Self ?Time)
(<=> (Active ?Time 2-Input-Control-Volume ?Self)
(And (2-Input-Control-Volume ?Self)
(Active ?Time Control-Volume ?Self) )))
An attribute function
An attribute function
the control volume with three input streams
Slots Of Instances:
(Forall (?Self ?Time)
(<=> (Active ?Time 3-Input-Control-Volume ?Self)
(And (3-Input-Control-Volume ?Self)
(Active ?Time 2-Input-Control-Volume ?Self) )))
An attribute function
the control volume with two output streams
Slots Of Instances:
(Forall (?Self ?Time)
(<=> (Active ?Time 2-Output-Control-Volume ?Self)
(And (2-Output-Control-Volume ?Self)
(Active ?Time Control-Volume ?Self) )))
An attribute function
An attribute function
the one-input, one-output control volume
(Forall (?Self ?Time)
(<=> (Active ?Time 1-1-Control-Volume ?Self)
(And (1-1-Control-Volume ?Self)
(Active ?Time 1-Input-Control-Volume ?Self)
(Active ?Time 1-Output-Control-Volume ?Self) )))
the one-input, two-output control volume
(Forall (?Self ?Time)
(<=> (Active ?Time 1-2-Control-Volume ?Self)
(And (1-2-Control-Volume ?Self)
(Active ?Time 1-Input-Control-Volume ?Self)
(Active ?Time 2-Output-Control-Volume ?Self) )))
the two-input, one-output control volume
(Forall (?Self ?Time)
(<=> (Active ?Time 2-1-Control-Volume ?Self)
(And (2-1-Control-Volume ?Self)
(Active ?Time 2-Input-Control-Volume ?Self)
(Active ?Time 1-Output-Control-Volume ?Self) )))
the two-input, two-output control volume
(Forall (?Self ?Time)
(<=> (Active ?Time 2-2-Control-Volume ?Self)
(And (2-2-Control-Volume ?Self)
(Active ?Time 2-Input-Control-Volume ?Self)
(Active ?Time 2-Output-Control-Volume ?Self) )))
the three-input, one-output control volume
(Forall (?Self ?Time)
(<=> (Active ?Time 3-1-Control-Volume ?Self)
(And (3-1-Control-Volume ?Self)
(Active ?Time 3-Input-Control-Volume ?Self)
(Active ?Time 1-Output-Control-Volume ?Self) )))
the class of all types of matter
Slots Of Instances:
(Forall (?Self ?Time)
(<=> (Active ?Time Substance ?Self)
(And (Substance ?Self)
(Active ?Time Structural-Element-Model ?Self) )))
(=> (Substance ?Self)
(And (Quantity.Dimension (Saturation-Pressure ?Self)
Pressure-Dimension)
(Quantity.Dimension (Saturation-Temperature ?Self)
Temperature-Dimension)
(Quantity.Dimension (Ideal-Specific-Heat ?Self)
Specific-Energy-Dimension)
(Quantity.Dimension (Molecular-Weight ?Self)
Amount-Dimension)
(Quantity.Dimension (Critical-Temperature ?Self)
Temperature-Dimension)
(Quantity.Dimension (Critical-Pressure ?Self)
Pressure-Dimension)
(Quantity.Dimension (Critical-Density ?Self)
Density-Dimension)
(Quantity.Dimension (Reference-Temperature ?Self)
Temperature-Dimension)))
A quantity function
A quantity function
A quantity function
A quantity function
A quantity function
A quantity function
A quantity function
A quantity function
A quantity function
A quantity function
the thing that can contain a substance such as stream and control volume
the substance water
(Forall (?Self ?Time)
(=> (Active ?Time Water ?Self)
(And (= (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Molecular-Weight ?Self)
?T)))
18.016 )
(= (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Critical-Temperature ?Self)
?T)))
647.286 )
(= (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Critical-Pressure ?Self)
?T)))
22.089 )
(= (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Critical-Density ?Self)
?T)))
317.0 )
(= (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Reference-Temperature ?Self)
?T)))
273.16 )
(= (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Ideal-Gas-Constant ?Self)
?T)))
461.51 ))))
(Forall (?Self ?Time)
(<=> (Active ?Time Water ?Self)
(And (Water ?Self) (Active ?Time Substance ?Self)) ))
the substance air
(Forall (?Self ?Time)
(=> (Active ?Time Air ?Self)
(And (= (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Molecular-Weight ?Self)
?T)))
28.97 )
(= (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Critical-Temperature ?Self)
?T)))
133 )
(= (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Critical-Pressure ?Self)
?T)))
37.7 )
(= (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Ideal-Gas-Constant ?Self)
?T)))
286.99 ))))
(Forall (?Self ?Time)
(<=> (Active ?Time Air ?Self)
(And (Air ?Self) (Active ?Time Substance ?Self)) ))
the operating mode model of the 2d stream to express the relation between mass rate, specific volume, area, and velocity
(Forall
(?Self ?Time)
(=> (Active ?Time 2d-Stream-Mass-Flow-Rate ?Self)
(= (* (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Mass-Rate
(2d-Stream-Involved ?Self) )
?T)))
(Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Specific-Volume (2d-Stream-Involved ?Self) )
?T))))
(* (Lambda (?T)
(If (= ?T ?Time)
(Value-At
(Stream-Area (2d-Stream-Involved ?Self) )
?T)))
(Lambda (?T)
(If (= ?T ?Time)
(Value-At (Velocity (2d-Stream-Involved ?Self))
?T)))))))
(Forall (?Self ?Time)
(<=> (Active ?Time 2d-Stream-Mass-Flow-Rate ?Self)
(And (2d-Stream-Mass-Flow-Rate ?Self)
(Active ?Time 2d-Stream-Operating-Mode ?Self) )))
the operating mode model of the 2d stream to express the relation between enthalpy rate, mass rate and specific enthalpy
(Forall
(?Self ?Time)
(=> (Active ?Time 2d-Stream-Enthalpy-Rate ?Self)
(= (Lambda (?T)
(If (= ?T ?Time)
(Value-At
(Enthalpy-Rate (2d-Stream-Involved ?Self))
?T)))
(* (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Mass-Rate
(2d-Stream-Involved ?Self) )
?T)))
(Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Specific-Enthalpy (2d-Stream-Involved ?Self))
?T)))))))
(Forall (?Self ?Time)
(<=> (Active ?Time 2d-Stream-Enthalpy-Rate ?Self)
(And (2d-Stream-Enthalpy-Rate ?Self)
(Active ?Time 2d-Stream-Operating-Mode ?Self) )))
an abstract class of model fragments whose sole purpose is to have the gravitational acceleration due to earth.
Slots Of Instances:
(Forall (?Self ?Time)
(=> (Active ?Time Earth-Bound-Model ?Self)
(= (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Acceleration-Due-To-Gravity ?Self)
?T)))
9.81 )))
(Forall (?Self ?Time)
(<=> (Active ?Time Earth-Bound-Model ?Self)
(Earth-Bound-Model ?Self) ))
(=> (Earth-Bound-Model ?Self)
(Quantity.Dimension (Acceleration-Due-To-Gravity ?Self)
Acceleration-Dimension))
A quantity function
the operating mode model of the 2d stream to express the relation between the mass rate, elevation and gravitational acceleration
(Forall
(?Self ?Time)
(=> (Active ?Time 2d-Stream-Potential-Energy ?Self)
(= (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Pe-Rate (2d-Stream-Involved ?Self))
?T)))
(* (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Mass-Rate
(2d-Stream-Involved ?Self) )
?T)))
(Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Stream-Elevation (2d-Stream-Involved ?Self))
?T)))
(Lambda (?T)
(If (= ?T ?Time)
(Value-At (Acceleration-Due-To-Gravity ?Self)
?T)))))))
(Forall (?Self ?Time)
(<=> (Active ?Time 2d-Stream-Potential-Energy ?Self)
(And (2d-Stream-Potential-Energy ?Self)
(Active ?Time 2d-Stream-Operating-Mode ?Self)
(Active ?Time Earth-Bound-Model ?Self) )))
the operating mode model of the 2d stream to express the relation between kinetic energy rate, mass rate and velocity
(Forall
(?Self ?Time)
(=> (Active ?Time 2d-Stream-Kinetic-Energy ?Self)
(= (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Ke-Rate (2d-Stream-Involved ?Self))
?T)))
(* 0.5
(Lambda (?T)
(If (= ?T ?Time)
(Value-At (Mass-Rate
(2d-Stream-Involved ?Self) )
?T)))
(Expt (Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Velocity (2d-Stream-Involved ?Self))
?T)))
2 )))))
(Forall (?Self ?Time)
(<=> (Active ?Time 2d-Stream-Kinetic-Energy ?Self)
(And (2d-Stream-Kinetic-Energy ?Self)
(Active ?Time 2d-Stream-Operating-Mode ?Self) )))
the class of all thermal processes
Slots Of Instances:
(Forall (?Self ?Time)
(<=> (Active ?Time Thermal-Process ?Self)
(Thermal-Process ?Self) ))
(=> (Thermal-Process ?Self)
(And (Quantity.Dimension (Work-Rate ?Self) Power-Dimension)
(Quantity.Dimension (Heat-Rate ?Self) Power-Dimension)
(Quantity.Dimension (Heat-Transfer-Temperature ?Self)
Temperature-Dimension)
(Quantity.Dimension (Entropy-Generation-Rate ?Self)
Entropy-Rate-Dimension)
(Quantity.Dimension (Irreversibility-Rate ?Self)
Power-Dimension)))
A quantity function
A quantity function
A quantity function
A quantity function
A quantity function
A quantity function
the model of a steady flow in steady state employing the first law of thermodynamics (Energy conservation) and mass conservation
Slots Of Instances:
(Forall
(?Self ?Time)
(=> (Active ?Time Steady-State-Steady-Flow-Process ?Self)
(And (Forall (?Cv)
(=> (Process-Cv ?Self ?Cv)
(= (- (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Heat-Rate ?Self)
?T)))
(Lambda (?T)
(If (= ?T ?Time)
(Value-At (Work-Rate ?Self)
?T))))
(+ (- (Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Enthalpy-Rate-Out ?Cv)
?T)))
(Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Enthalpy-Rate-In ?Cv)
?T))))
(Lambda (?T)
(If (= ?T ?Time)
(Value-At (D-Pe-Rate ?Cv)
?T)))
(Lambda (?T)
(If (= ?T ?Time)
(Value-At (D-Ke-Rate ?Cv)
?T)))))))
(Forall
(?Cv)
(=> (Process-Cv ?Self ?Cv)
(= (Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Entropy-Generation-Rate ?Self)
?T)))
(+ (- (Lambda (?T)
(If (= ?T ?Time)
(Value-At
(Entropy-Rate-Out ?Cv)
?T)))
(Lambda (?T)
(If (= ?T ?Time)
(Value-At
(Entropy-Rate-In ?Cv)
?T))))
(- (/ (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Heat-Rate ?Self)
?T)))
(Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Heat-Transfer-Temperature ?Self)
?T)))))))))
(Forall (?Cv)
(=> (Process-Cv ?Self ?Cv)
(= (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Mass-Rate-In ?Cv)
?T)))
(Lambda (?T)
(If (= ?T ?Time)
(Value-At (Mass-Rate-Out ?Cv)
?T)))))))))
(Forall (?Self ?Time)
(<=> (Active ?Time Steady-State-Steady-Flow-Process ?Self)
(And (Steady-State-Steady-Flow-Process ?Self)
(Active ?Time Thermal-Process ?Self) )))
A quantity function
An adiabatic process is one for which there is no heat transfer withthe surroundings
(Forall (?Self ?Time)
(=> (Active ?Time Steady-Flow-Adiabatic-Process ?Self)
(= (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Heat-Rate ?Self) ?T) ))
0 )))
(Forall (?Self ?Time)
(<=> (Active ?Time Steady-Flow-Adiabatic-Process ?Self)
(And (Steady-Flow-Adiabatic-Process ?Self)
(Active ?Time
Steady-State-Steady-Flow-Process
?Self))))
An isentropic process is one for which there is no heat transfer withthe surroundings, and no change in entropy
(Forall (?Self ?Time)
(=> (Active ?Time Steady-Flow-Isentropic-Process ?Self)
(Forall (?Cv)
(=> (Process-Cv ?Self ?Cv)
(= (Lambda (?T)
(If (= ?T ?Time)
(Value-At (D-Entropy-Rate ?Cv)
?T)))
0 )))))
(Forall (?Self ?Time)
(<=> (Active ?Time Steady-Flow-Isentropic-Process ?Self)
(And (Steady-Flow-Isentropic-Process ?Self)
(Active ?Time Steady-Flow-Adiabatic-Process ?Self) )))
This process model describes the process in a CV encompassing anentire closed heat exchanger, from which there is no heat transfer with the
surroundings.
(Forall (?Self ?Time)
(=> (Active ?Time Steady-Flow-Adiabatic-Heat-Exchange ?Self)
(And (= (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Work-Rate ?Self) ?T) ))
0 )
(Forall (?Cv)
(=> (Process-Cv ?Self ?Cv)
(= (Lambda (?T)
(If (= ?T ?Time)
(Value-At (D-Ke-Rate ?Cv)
?T)))
0 )))
(Forall (?Cv)
(=> (Process-Cv ?Self ?Cv)
(= (Lambda (?T)
(If (= ?T ?Time)
(Value-At (D-Pe-Rate ?Cv)
?T)))
0 ))))))
(Forall (?Self ?Time)
(<=> (Active ?Time Steady-Flow-Adiabatic-Heat-Exchange ?Self)
(And (Steady-Flow-Adiabatic-Heat-Exchange ?Self)
(Active ?Time Steady-Flow-Adiabatic-Process ?Self) )))
An isobaric process is a constant pressure process
(Forall
(?Self ?Time)
(=> (Active ?Time Steady-Flow-Isobaric-Process ?Self)
(Forall
(?Cv)
(=> (Process-Cv ?Self ?Cv)
(= (Lambda
(?T)
(If (= ?T ?Time)
(Value-At (Stream-Pressure (Inlet-Stream ?Cv))
?T)))
(Lambda
(?T)
(If (= ?T ?Time)
(Value-At (Stream-Pressure
(Outlet-Stream ?Cv) )
?T))))))))
(Forall (?Self ?Time)
(<=> (Active ?Time Steady-Flow-Isobaric-Process ?Self)
(And (Steady-Flow-Isobaric-Process ?Self)
(Active ?Time
Steady-State-Steady-Flow-Process
?Self))))
An isothermal process is a constant temperature process
(Forall
(?Self ?Time)
(=> (Active ?Time Steady-Flow-Isothermal-Process ?Self)
(Forall
(?Cv)
(=> (Process-Cv ?Self ?Cv)
(= (Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Stream-Temperature (Inlet-Stream ?Cv) )
?T)))
(Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Stream-Temperature (Outlet-Stream ?Cv))
?T))))))))
(Forall (?Self ?Time)
(<=> (Active ?Time Steady-Flow-Isothermal-Process ?Self)
(And (Steady-Flow-Isothermal-Process ?Self)
(Active ?Time
Steady-State-Steady-Flow-Process
?Self))))
Generic heat transfer process
(Forall (?Self ?Time)
(=> (Active ?Time Steady-Flow-Heat-Transfer ?Self)
(And (= (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Work-Rate ?Self) ?T) ))
0 )
(Forall (?Cv)
(=> (Process-Cv ?Self ?Cv)
(= (Lambda (?T)
(If (= ?T ?Time)
(Value-At (D-Ke-Rate ?Cv)
?T)))
0 )))
(Forall (?Cv)
(=> (Process-Cv ?Self ?Cv)
(= (Lambda (?T)
(If (= ?T ?Time)
(Value-At (D-Pe-Rate ?Cv)
?T)))
0 ))))))
(Forall (?Self ?Time)
(<=> (Active ?Time Steady-Flow-Heat-Transfer ?Self)
(And (Steady-Flow-Heat-Transfer ?Self)
(Active ?Time
Steady-State-Steady-Flow-Process
?Self))))
the isobaric process a single fluid stream undergoes within a heat exchanger
(Forall (?Self ?Time)
(<=> (Active ?Time Steady-Flow-Isobaric-Heat-Transfer ?Self)
(And (Steady-Flow-Isobaric-Heat-Transfer ?Self)
(Active ?Time Steady-Flow-Heat-Transfer ?Self)
(Active ?Time Steady-Flow-Isobaric-Process ?Self) )))
the class of steady flow processes including expansion and compression
Slots Of Instances:
(Forall (?Self ?Time)
(<=> (Active ?Time
Steady-Flow-Expansion-Or-Compression
?Self)
(And (Steady-Flow-Expansion-Or-Compression ?Self)
(Active ?Time
Steady-State-Steady-Flow-Process
?Self))))
(=> (Steady-Flow-Expansion-Or-Compression ?Self)
(And (Quantity.Dimension (Isentropic-Efficiency ?Self)
Dimensionless)
(Quantity.Dimension (Ideal-Isentropic-Enthalpy ?Self)
Energy-Dimension)))
A quantity function
A quantity function
An expansion process involves decrease of pressure from inlet to outlet
(Forall (?Self ?Time)
(<=> (Active ?Time Steady-Flow-Expansion ?Self)
(And (Steady-Flow-Expansion ?Self)
(Active ?Time
Steady-Flow-Expansion-Or-Compression
?Self))))
the class of steady flow expansion processes taking place without interacting thermally with the external world
Slots Of Instances:
(Forall
(?Self ?Time)
(=> (Active ?Time Steady-Flow-Adiabatic-Expansion ?Self)
(And (Forall
(?Cv)
(=> (Process-Cv ?Self ?Cv)
(= (Lambda (?T)
(If (= ?T ?Time)
(Value-At
(Quality (Outlet-Stream ?Cv))
?T)))
(/ (- (Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Specific-Entropy
(Outlet-Stream ?Cv) )
?T)))
(Compute-Saturated-Vapor-Entropy
(Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Stream-Pressure
(Outlet-Stream ?Cv) )
?T)))
0 ))
(- (Compute-Saturated-Vapor-Entropy
(Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Stream-Pressure
(Outlet-Stream ?Cv) )
?T)))
1 )
(Compute-Saturated-Vapor-Entropy
(Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Stream-Pressure
(Outlet-Stream ?Cv) )
?T)))
0 ))))))
(Forall
(?Cv)
(=> (Process-Cv ?Self ?Cv)
(= (Lambda
(?T)
(If (= ?T ?Time)
(Value-At (Isentropic-Efficiency ?Self)
?T)))
(/ (- (Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Specific-Enthalpy
(Inlet-Stream ?Cv) )
?T)))
(Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Specific-Enthalpy
(Outlet-Stream ?Cv) )
?T))))
(- (Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Specific-Enthalpy
(Inlet-Stream ?Cv) )
?T)))
(Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Ideal-Isentropic-Enthalpy ?Self)
?T))))))))
(Forall
(?Cv)
(=> (Process-Cv ?Self ?Cv)
(= (Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Expansion-Isentropic-Efficiency ?Self)
?T)))
(/ (- (Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Specific-Enthalpy
(Inlet-Stream ?Cv) )
?T)))
(Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Specific-Enthalpy
(Outlet-Stream ?Cv) )
?T))))
(- (Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Specific-Enthalpy
(Inlet-Stream ?Cv) )
?T)))
(Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Ideal-Isentropic-Enthalpy ?Self)
?T)))))))))))
(Forall (?Self ?Time)
(<=> (Active ?Time Steady-Flow-Adiabatic-Expansion ?Self)
(And (Steady-Flow-Adiabatic-Expansion ?Self)
(Active ?Time Steady-Flow-Expansion ?Self)
(Active ?Time Steady-Flow-Adiabatic-Process ?Self) )))
(=> (Steady-Flow-Adiabatic-Expansion ?Self)
(Quantity.Dimension (Expansion-Isentropic-Efficiency ?Self)
Dimensionless))
A quantity function
A compression process involves increase of pressure from inlet to outlet
(Forall (?Self ?Time)
(<=> (Active ?Time Steady-Flow-Compression ?Self)
(And (Steady-Flow-Compression ?Self)
(Active ?Time
Steady-State-Steady-Flow-Process
?Self))))
the class of steady flow compression processes taking place without interacting thermally with the external world
Slots Of Instances:
(Forall
(?Self ?Time)
(=> (Active ?Time Steady-Flow-Adiabatic-Compression ?Self)
(And (Forall
(?Cv)
(=> (Process-Cv ?Self ?Cv)
(= (Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Compression-Isentropic-Efficiency ?Self)
?T)))
(/ (- (Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Ideal-Isentropic-Enthalpy ?Self)
?T)))
(Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Specific-Enthalpy
(Inlet-Stream ?Cv) )
?T))))
(- (Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Specific-Enthalpy
(Outlet-Stream ?Cv) )
?T)))
(Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Specific-Enthalpy
(Inlet-Stream ?Cv) )
?T))))))))
(Forall
(?Cv)
(=> (Process-Cv ?Self ?Cv)
(= (Lambda
(?T)
(If (= ?T ?Time)
(Value-At (Isentropic-Efficiency ?Self)
?T)))
(/ (- (Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Specific-Enthalpy
(Outlet-Stream ?Cv) )
?T)))
(Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Specific-Enthalpy
(Inlet-Stream ?Cv) )
?T))))
(- (Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Ideal-Isentropic-Enthalpy ?Self)
?T)))
(Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Specific-Enthalpy
(Inlet-Stream ?Cv) )
?T))))))))
(Forall
(?Cv)
(=> (Process-Cv ?Self ?Cv)
(= (Lambda (?T)
(If (= ?T ?Time)
(Value-At
(Power-Input-Per-Mass ?Self)
?T)))
(- (Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Specific-Enthalpy
(Outlet-Stream ?Cv) )
?T)))
(Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Specific-Enthalpy
(Inlet-Stream ?Cv) )
?T))))))))))
(Forall (?Self ?Time)
(<=> (Active ?Time Steady-Flow-Adiabatic-Compression ?Self)
(And (Steady-Flow-Adiabatic-Compression ?Self)
(Active ?Time Steady-Flow-Compression ?Self)
(Active ?Time Steady-Flow-Adiabatic-Process ?Self) )))
(=> (Steady-Flow-Adiabatic-Compression ?Self)
(Quantity.Dimension (Compression-Isentropic-Efficiency ?Self)
Dimensionless))
A quantity function
the class of operating mode models of the pump
Slots Of Instances:
(Forall (?Self ?Pump-Involved)
(<=> (And (= (Pump-Involved ?Self) ?Pump-Involved)
(Pump-Operating-Mode ?Self) )
(And (Operating-Mode-Model ?Self) (Pump ?Pump-Involved)) ))
(Forall (?Self ?Time)
(<=> (Active ?Time Pump-Operating-Mode ?Self)
(And (Pump-Operating-Mode ?Self)
(Active ?Time Operating-Mode-Model ?Self) )))
A participant function
the operating mode model of a pump expressing the relation among the power input per unit mass, specific volume, and the pressure differential across the pump
(Forall (?Self)
(<=> (Pump-Power-Input-Per-Mass-Approximation ?Self)
(And (Pump-Operating-Mode ?Self)
(1-1-Control-Volume-Op-Mode ?Self)
(Thermal-Process-Op-Mode ?Self)
(Component-Cv Pump-Involved 1-1-Cv-Involved)
(Process-Cv Process-Involved 1-1-Cv-Involved) )))
(Forall
(?Self ?Time)
(=> (Active ?Time Pump-Power-Input-Per-Mass-Approximation ?Self)
(= (Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Power-Input-Per-Mass (Process-Involved ?Self) )
?T)))
(* (Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Specific-Volume
(Inlet-Stream (1-1-Cv-Involved ?Self)) )
?T)))
(/ (- (Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Stream-Pressure
(Outlet-Stream
(1-1-Cv-Involved ?Self) ))
?T)))
(Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Stream-Pressure
(Inlet-Stream
(1-1-Cv-Involved ?Self) ))
?T))))
1000 )))))
(Forall (?Self ?Time)
(<=> (Active ?Time
Pump-Power-Input-Per-Mass-Approximation
?Self)
(And (Pump-Power-Input-Per-Mass-Approximation ?Self)
(Active ?Time Pump-Operating-Mode ?Self)
(Active ?Time 1-1-Control-Volume-Op-Mode ?Self)
(Active ?Time Thermal-Process-Op-Mode ?Self) )))
the steady flow process involving a reduction in pressure without enthalpy change such as flow through a valve
(Forall (?Self)
(<=> (Steady-Flow-Throttling ?Self)
(And (Steady-Flow-Expansion ?Self)
(Steady-Flow-Adiabatic-Process ?Self)
(Process-Cv ?Self ?Cv)
(Undergoing Adiabatic-Throttling ?Cv) )))
(Forall (?Self ?Time)
(=> (Active ?Time Steady-Flow-Throttling ?Self)
(And (= (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Work-Rate ?Self) ?T) ))
0 )
(Forall (?Cv)
(=> (Process-Cv ?Self ?Cv)
(= (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Pe-Rate-Out ?Cv)
?T)))
(Lambda (?T)
(If (= ?T ?Time)
(Value-At (Pe-Rate-In ?Cv)
?T))))))
(Forall (?Cv)
(=> (Process-Cv ?Self ?Cv)
(= (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Ke-Rate-Out ?Cv)
?T)))
(Lambda (?T)
(If (= ?T ?Time)
(Value-At (Ke-Rate-In ?Cv)
?T)))))))))
(Forall (?Self ?Time)
(<=> (Active ?Time Steady-Flow-Throttling ?Self)
(And (Steady-Flow-Throttling ?Self)
(Active ?Time Steady-Flow-Expansion ?Self)
(Active ?Time Steady-Flow-Adiabatic-Process ?Self) )))
Adiabatic Mixing of fluid streams into one outlet. Also used formodeling of open heat exchangers
(Forall (?Self ?Time)
(=> (Active ?Time Steady-Flow-Adiabatic-Mixing ?Self)
(And (= (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Work-Rate ?Self) ?T) ))
0 )
(Forall (?Cv)
(=> (Process-Cv ?Self ?Cv)
(= (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Ke-Rate-Out ?Cv)
?T)))
(Lambda (?T)
(If (= ?T ?Time)
(Value-At (Ke-Rate-In ?Cv)
?T))))))
(Forall (?Cv)
(=> (Process-Cv ?Self ?Cv)
(= (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Pe-Rate-Out ?Cv)
?T)))
(Lambda (?T)
(If (= ?T ?Time)
(Value-At (Pe-Rate-In ?Cv)
?T)))))))))
(Forall (?Self ?Time)
(<=> (Active ?Time Steady-Flow-Adiabatic-Mixing ?Self)
(And (Steady-Flow-Adiabatic-Mixing ?Self)
(Active ?Time Steady-Flow-Adiabatic-Process ?Self) )))
Model of nozzle flow
(Forall (?Self ?Time)
(=> (Active ?Time Steady-Flow-In-Nozzle ?Self)
(And (= (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Work-Rate ?Self) ?T) ))
0 )
(Forall (?Cv)
(=> (Process-Cv ?Self ?Cv)
(= (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Pe-Rate-Out ?Cv)
?T)))
(Lambda (?T)
(If (= ?T ?Time)
(Value-At (Pe-Rate-In ?Cv)
?T)))))))))
(Forall (?Self ?Time)
(<=> (Active ?Time Steady-Flow-In-Nozzle ?Self)
(And (Steady-Flow-In-Nozzle ?Self)
(Active ?Time Steady-Flow-Expansion ?Self)
(Active ?Time Steady-Flow-Adiabatic-Process ?Self) )))
Model of diffuser flow
(Forall (?Self ?Time)
(=> (Active ?Time Steady-Flow-In-Diffuser ?Self)
(And (= (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Work-Rate ?Self) ?T) ))
0 )
(Forall (?Cv)
(=> (Process-Cv ?Self ?Cv)
(= (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Pe-Rate-Out ?Cv)
?T)))
(Lambda (?T)
(If (= ?T ?Time)
(Value-At (Pe-Rate-In ?Cv)
?T)))))))))
(Forall (?Self ?Time)
(<=> (Active ?Time Steady-Flow-In-Diffuser ?Self)
(And (Steady-Flow-In-Diffuser ?Self)
(Active ?Time Steady-Flow-Compression ?Self)
(Active ?Time Steady-Flow-Adiabatic-Process ?Self) )))
Model of combustion, say in the furnace of a boiler, or the combustorof a gas turbine plant
(Forall (?Self ?Time)
(<=> (Active ?Time Steady-Flow-Combustion-Process ?Self)
(And (Steady-Flow-Combustion-Process ?Self)
(Active ?Time Steady-Flow-Adiabatic-Mixing ?Self) )))
the general (i.e. non-steady state) flow process model employing the first law of thermodynamics (Energy conservation) and mass conservation.
(Forall
(?Self ?Time)
(=> (Active ?Time Non-Steady-State-Flow-Process ?Self)
(And (Forall (?Cv)
(=> (Process-Cv ?Self ?Cv)
(= (- (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Heat-Rate ?Self)
?T)))
(Lambda (?T)
(If (= ?T ?Time)
(Value-At (Work-Rate ?Self)
?T))))
(+ (- (Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Enthalpy-Rate-Out ?Cv)
?T)))
(Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Enthalpy-Rate-In ?Cv)
?T))))
(- (Lambda (?T)
(If (= ?T ?Time)
(Value-At
(Pe-Rate-Out ?Cv)
?T)))
(Lambda (?T)
(If (= ?T ?Time)
(Value-At (Pe-Rate-In ?Cv)
?T))))
(- (Lambda (?T)
(If (= ?T ?Time)
(Value-At
(Ke-Rate-Out ?Cv)
?T)))
(Lambda (?T)
(If (= ?T ?Time)
(Value-At (Ke-Rate-In ?Cv)
?T))))
(Lambda (?T)
(If (= ?T ?Time)
(Value-At (Energy-Rate ?Cv)
?T)))))))
(Forall
(?Cv)
(=> (Process-Cv ?Self ?Cv)
(= (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Energy-Rate ?Cv) ?T) ))
(+ (Lambda
(?T)
(If (= ?T ?Time)
(Value-At (Internal-Energy-Rate ?Cv)
?T)))
(Lambda (?T)
(If (= ?T ?Time)
(Value-At (Ke-Rate ?Cv) ?T) ))
(Lambda (?T)
(If (= ?T ?Time)
(Value-At (Pe-Rate ?Cv) ?T) ))))))
(Forall
(?Cv)
(=> (Process-Cv ?Self ?Cv)
(= (Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Entropy-Generation-Rate ?Self)
?T)))
(+ (- (Lambda (?T)
(If (= ?T ?Time)
(Value-At
(Entropy-Rate-Out ?Cv)
?T)))
(Lambda (?T)
(If (= ?T ?Time)
(Value-At
(Entropy-Rate-In ?Cv)
?T))))
(- (/ (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Heat-Rate ?Self)
?T)))
(Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Heat-Transfer-Temperature ?Self)
?T)))))
(Lambda (?T)
(If (= ?T ?Time)
(Value-At (Entropy-Rate ?Cv)
?T)))))))
(= (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Irreversibility-Rate ?Self)
?T)))
(* (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Entropy-Generation-Rate ?Self)
?T)))
(State-Temperature *Dead-State*) ))
(Forall (?Cv)
(=> (Process-Cv ?Self ?Cv)
(= (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Mass-Rate ?Cv) ?T) ))
(- (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Mass-Rate-In ?Cv)
?T)))
(Lambda (?T)
(If (= ?T ?Time)
(Value-At (Mass-Rate-Out ?Cv)
?T))))))))))
(Forall (?Self ?Time)
(<=> (Active ?Time Non-Steady-State-Flow-Process ?Self)
(And (Non-Steady-State-Flow-Process ?Self)
(Active ?Time Thermal-Process ?Self) )))
the system consisting of a compressor, an associated control-volume, and a compression process.
Slots Of Instances:
(Forall (?Self ?Time)
(<=> (Active ?Time Compressor-System ?Self)
(And (Compressor-System ?Self)
(Active ?Time System-Model ?Self) )))
(=> (Compressor-System ?Self)
(And (Cv-Component (Cmpsr-Cv ?Self) (Cmpsr ?Self))
(Component-Cv (Cmpsr ?Self) (Cmpsr-Cv ?Self))
(Process-Cv (Cmpsn-Prcs ?Self) (Cmpsr-Cv ?Self))
(Substance-In (Cmpsr-Cv ?Self) (Air-In-Cmpsr ?Self)) ))
An attribute function
An attribute function
An attribute function
An attribute function
the system consisting of an open feedwater heater, an associated control-volume, and an adiabatic mixing process.
Slots Of Instances:
(Forall (?Self ?Time)
(<=> (Active ?Time 2-1-Open-Feedwater-Heater-System ?Self)
(And (2-1-Open-Feedwater-Heater-System ?Self)
(Active ?Time System-Model ?Self) )))
(=> (2-1-Open-Feedwater-Heater-System ?Self)
(And (Cv-Component (Opn-Fwt-Htr-Cv ?Self) (Opn-Fwt-Htr ?Self))
(Component-Cv (Opn-Fwt-Htr ?Self) (Opn-Fwt-Htr-Cv ?Self))
(Process-Cv (Adbtc-Mxng-Prcs ?Self) (Opn-Fwt-Htr-Cv ?Self)) ))
An attribute function
An attribute function
An attribute function
the system consisting of an open feedwater heater, an associated control-volume, and an adiabatic mixing process.
Slots Of Instances:
(Forall (?Self ?Time)
(<=> (Active ?Time 3-1-Open-Feedwater-Heater-System ?Self)
(And (3-1-Open-Feedwater-Heater-System ?Self)
(Active ?Time System-Model ?Self) )))
(=> (3-1-Open-Feedwater-Heater-System ?Self)
(And (Cv-Component (Fwt-Htr-Cv ?Self) (Fwt-Htr ?Self))
(Component-Cv (Fwt-Htr ?Self) (Fwt-Htr-Cv ?Self))
(Process-Cv (Mxng-Prcs ?Self) (Fwt-Htr-Cv ?Self)) ))
An attribute function
An attribute function
An attribute function
the system consisting of an open feedwater heater, an associated control-volume, and an adiabatic mixing process.
Slots Of Instances:
(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) )))
(=> (2-2-Closed-Feedwater-Heater-System ?Self)
(And (Cv-Component (Chtr-Cv ?Self) (Cls-Fwt-Htr ?Self))
(Component-Cv (Cls-Fwt-Htr ?Self) (Chtr-Cv ?Self))
(Process-Cv (Ht-Xchg-Prcs ?Self) (Chtr-Cv ?Self)) ))
An attribute function
An attribute function
An attribute function
the system consisting of a steam generator reheater, an associated control volume and a heat-transfer process
Slots Of Instances:
(Forall (?Self ?Time)
(<=> (Active ?Time Steam-Generator-With-Reheat-System ?Self)
(And (Steam-Generator-With-Reheat-System ?Self)
(Active ?Time System-Model ?Self) )))
(=> (Steam-Generator-With-Reheat-System ?Self)
(And (Cv-Component (Sgen-Cv ?Self) (Sgen ?Self))
(Component-Cv (Sgen ?Self) (Sgen-Cv ?Self))
(Process-Cv (Stmgen-Htsr-Prcs ?Self) (Sgen-Cv ?Self)) ))
An attribute function
An attribute function
An attribute function
the system consisting of a pump, an associated control-volume, and an adiabatic compression process.
Slots Of Instances:
(Forall (?Self ?Time)
(<=> (Active ?Time Pump-System ?Self)
(And (Pump-System ?Self)
(Active ?Time System-Model ?Self) )))
(=> (Pump-System ?Self)
(And (Cv-Component (Pmp-Cv ?Self) (Pmp ?Self))
(Component-Cv (Pmp ?Self) (Pmp-Cv ?Self))
(Process-Cv (Adbtc-Cmpsn-Prcs ?Self) (Pmp-Cv ?Self))
(Substance-In (Pmp-Cv ?Self) (Water-In-Pmp ?Self))
(Substance-In (Inlet-Stream (Pmp-Cv ?Self))
(Water-In-Pmp ?Self) )
(Substance-In (Outlet-Stream (Pmp-Cv ?Self))
(Water-In-Pmp ?Self) )))
An attribute function
An attribute function
An attribute function
An attribute function
the class of systems containing a condensor and an associated control volume
Slots Of Instances:
(Forall (?Self ?Time)
(<=> (Active ?Time System-With-Condensor ?Self)
(And (System-With-Condensor ?Self)
(Active ?Time System-Model ?Self) )))
An attribute function
the system consisting of a condensor, an associated control-volume, and an adiabatic heat-exchange process
Slots Of Instances:
(Forall (?Self ?Time)
(=> (Active ?Time Condensor-System ?Self)
(= (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Mass-Rate-In (Hf-Cv ?Self)) ?T) ))
(Lambda (?T)
(If (= ?T ?Time)
(Value-At (Mass-Rate-Out (Hf-Cv ?Self))
?T))))))
(Forall (?Self ?Time)
(<=> (Active ?Time Condensor-System ?Self)
(And (Condensor-System ?Self)
(Active ?Time System-With-Condensor ?Self) )))
(=> (Condensor-System ?Self)
(And (Quantity.Dimension (Condensor-Heat-Out-Rate ?Self)
Power-Dimension)
(Cv-Component (Cnd-Cv ?Self) (Cnd ?Self))
(Component-Cv (Cnd ?Self) (Cnd-Cv ?Self))
(Process-Cv (Adbtc-Hxg-Prcs ?Self) (Cnd-Cv ?Self))
(Cv-Component (Cf-Cv ?Self) (Cold-Flow (Cnd ?Self)))
(Component-Cv (Cold-Flow (Cnd ?Self)) (Cf-Cv ?Self))
(Cv-Component (Hf-Cv ?Self) (Hot-Flow (Cnd ?Self)))
(Component-Cv (Hot-Flow (Cnd ?Self)) (Hf-Cv ?Self))
(Substance-In (Cnd-Cv ?Self) (Water-In-Cnd ?Self))
(Substance-In (Hf-Cv ?Self) (Water-In-Cnd ?Self))
(Substance-In (Inlet-Stream (Hf-Cv ?Self))
(Water-In-Cnd ?Self) )
(Substance-In (Outlet-Stream (Hf-Cv ?Self))
(Water-In-Cnd ?Self) )
(Substance-In (Cf-Cv ?Self) (Water-In-Cnd ?Self))
(Substance-In (Inlet-Stream (Cf-Cv ?Self))
(Water-In-Cnd ?Self) )
(Substance-In (Outlet-Stream (Cf-Cv ?Self))
(Water-In-Cnd ?Self) )))
A quantity function
An attribute function
An attribute function
An attribute function
An attribute function
An attribute function
the system consisting of a condensor, an associated control-volume, and a heat-transfer process.
Slots Of Instances:
(Forall (?Self ?Time)
(<=> (Active ?Time Condensor-With-Heat-Transfer-System ?Self)
(And (Condensor-With-Heat-Transfer-System ?Self)
(Active ?Time System-With-Condensor ?Self) )))
An attribute function
An attribute function
the system consisting of a nozzle, an associated control-volume, and a throttling process.
Slots Of Instances:
(Forall (?Self ?Time)
(<=> (Active ?Time Nozzle-System ?Self)
(And (Nozzle-System ?Self)
(Active ?Time System-Model ?Self) )))
(=> (Nozzle-System ?Self)
(And (Cv-Component (Nzl-Cv ?Self) (Nzl ?Self))
(Component-Cv (Nzl ?Self) (Nzl-Cv ?Self))
(Process-Cv (Thrtlng-Prcs ?Self) (Nzl-Cv ?Self)) ))
An attribute function
An attribute function
An attribute function
the system consisting of a turbine, an associated control-volume, and a throttling process.
Slots Of Instances:
(Forall (?Self ?Time)
(<=> (Active ?Time Turbine-System ?Self)
(And (Turbine-System ?Self)
(Active ?Time System-Model ?Self) )))
(=> (Turbine-System ?Self)
(And (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) )))
An attribute function
An attribute function
An attribute function
An attribute function
the system consisting of a turbine, an associated control-volume, and a throttling process.
Slots Of Instances:
(Forall (?Self ?Time)
(<=> (Active ?Time Extraction-Turbine-System ?Self)
(And (Extraction-Turbine-System ?Self)
(Active ?Time System-Model ?Self) )))
(=> (Extraction-Turbine-System ?Self)
(And (Cv-Component (Xtbn-Cv ?Self) (Xtbn ?Self))
(Component-Cv (Xtbn ?Self) (Xtbn-Cv ?Self))
(Process-Cv (Expsn-Prcs ?Self) (Xtbn-Cv ?Self)) ))
An attribute function
An attribute function
the system consisting of a boiler, an associated control-volume, and a ?? process.
Slots Of Instances:
(Forall (?Self ?Time)
(<=> (Active ?Time Boiler-System ?Self)
(And (Boiler-System ?Self)
(Active ?Time System-Model ?Self) )))
(=> (Boiler-System ?Self)
(And (Cv-Component (Blr-Cv ?Self) (Blr ?Self))
(Component-Cv (Blr ?Self) (Blr-Cv ?Self))
(Process-Cv (Htfr-Prcs ?Self) (Blr-Cv ?Self))
(Substance-In (Blr-Cv ?Self) (Water-In-Blr ?Self))
(Substance-In (Inlet-Stream (Blr-Cv ?Self))
(Water-In-Blr ?Self) )
(Substance-In (Outlet-Stream (Blr-Cv ?Self))
(Water-In-Blr ?Self) )))
An attribute function
An attribute function
An attribute function
An attribute function
the system consisting of a boiler, a simple turbine, a condenser, and a pump
Slots Of Instances:
(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))))))
An attribute function
An attribute function
An attribute function
An attribute function
An attribute function
An attribute function
An attribute function
An attribute function
An attribute function
the system consisting of a steam-generator/reheater, first-stage and second-stage turbines, a condenser, and a pump
Slots Of Instances:
(Forall (?Self ?Time)
(<=> (Active ?Time Power-System-With-Reheat ?Self)
(And (Power-System-With-Reheat ?Self)
(Active ?Time Thermal-Cycle ?Self) )))
(=> (Power-System-With-Reheat ?Self)
(And (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))))))
An attribute function
An attribute function
An attribute function
An attribute function
An attribute function
An attribute function
An attribute function
An attribute function
An attribute function
An attribute function
An attribute function
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
Slots Of Instances:
(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))) )))
An attribute function
An attribute function
An attribute function
An attribute function
An attribute function
An attribute function
An attribute function
An attribute function
An attribute function
An attribute function
An attribute function
An attribute function
An attribute function
An attribute function
An attribute function
An attribute function
An attribute function
An attribute function
An attribute function
An attribute function
An attribute function
An attribute function