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.
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
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
;;; -*- Mode:Common-Lisp; Package:DME-USER; Base:10 -*- ;;; DME Domain Theory: ;;; SIMPLE ENGINEERING THERMODYNAMICS ;;; (in-package "CML-USER") (defDimension amount-dimension :documentation "The SI dimension of amount, usually measured in moles.") (defDimension current-dimension :documentation "The SI dimension of electric current.")
(defEntity Heat-exchanger :documentation "a device that transfer energy between fluids at different temperatures" :subclass-of (Thermal-component) :quantities ((area :dimension area-dimension :documentation "the surface area through heat is exchanged" :the-*-the-object ("heat exchange surface area" "of") :abbreviation "a") (overall-heat-transfer-coefficient :dimension dimensionless :documentation "the overall heat transfer coefficient of the heat exchanger" :the-*-the-object ("net het transfer coefficient" "of") :abbreviation "h") ; some complex dimension (heat-transfer-rate :dimension power-dimension :documentation "the rate at which heat is transfered inside the heat exchanger" :the-*-the-object ("heat transfer rate" "of") :abbreviation "Q'") (max-pressure :dimension pressure-dimension :documentation "the maximum pressure inside the heat exchanger" :the-*-the-object ("maximum pressure" "in") :abbreviation "pmax") (max-temperature :dimension temperature-dimension :documentation "the maximum temperature inside the heat exchanger" :the-*-the-object ("maximum temperature" "in") :abbreviation "tmax") (max-heat-rate :dimension power-dimension :documentation "the maximum heat transfer rate" :the-*-the-object ("maximum heat transfer rate" "of") :abbreviation "Q'max") (ideal-heat-rate :dimension power-dimension :documentation "the ideal heat transfer rate" :the-*-the-object ("ideal heat transfer rate" "of") :abbreviation "Q'ideal") ) )
(defModelFragment steady-state-steady-flow-process :subclass-of (thermal-process) :documentation "the model of a steady flow in steady state employing the first law of thermodynamics (Energy conservation) and mass conservation" :quantities ( (power-input-per-mass :documentation "the rate of power input per unit of mass passing through the cv associated with the process" :the-*-the-object ("power input per unit mass" "of") :abbreviation "w'in") ) :consequences ( (foreach ?cv (process-cv ?self) (= (- (heat-rate ?self) (work-rate ?self)) (+ (- (enthalpy-rate-out ?cv) (enthalpy-rate-in ?cv)) (d-pe-rate ?cv) (d-ke-rate ?cv)))) (foreach ?cv (process-cv ?self) (= (Entropy-generation-rate ?self) (+ (- (entropy-rate-out ?cv) (entropy-rate-in ?cv)) (- (/ (heat-rate ?self) (heat-transfer-temperature ?self)))) )) (foreach ?cv (process-cv ?self) (= (mass-rate-in ?cv) (mass-rate-out ?cv))) ) )