Theory THERMODYNAMICS

A thermodynamics domain theory.

Last modified: Friday, 4 February 1994
Source code: thermodynamics.lisp
List of other known theories

Theories included by Thermodynamics:

    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.

122 classes defined:

    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:

* defined as a function in theory Kif-Numbers
* defined as a function in theory Physical-Quantities
* defined as a function in theory Unary-Scalar-Functions
+ defined as a function in theory Kif-Numbers
+ defined as a function in theory Physical-Quantities
+ defined as a function in theory Unary-Scalar-Functions
- defined as a function in theory Kif-Numbers
- defined as a function in theory Physical-Quantities
- defined as a function in theory Unary-Scalar-Functions
/ defined as a function in theory Kif-Numbers
/ defined as a function in theory Physical-Quantities
Active defined as a relation in theory Cml
All= defined as a class in theory Dme
Arity defined as a function in theory Frame-Ontology
Attribute-Function-Of defined as a relation in theory Cml
C+ defined as a relation in theory Cml
Class defined as a class in theory Frame-Ontology
Connected-Terminals defined as a relation in theory Dme
Connection defined as a class in theory Dme
Constant-Quantity defined as a class in theory Physical-Quantities
Documentation defined as a relation in theory Frame-Ontology
Domain defined as a relation in theory Frame-Ontology
Entity defined as a class in theory Cml
Everywhere-Continuous-Quantity defined as a class in theory Cml
Expt defined as a function in theory Kif-Numbers
Expt defined as a function in theory Physical-Quantities
Expt defined as a function in theory Unary-Scalar-Functions
Function defined as a class in theory Kif-Relations
Function defined as a class in theory Frame-Ontology
Has-Attribute-Function defined as a relation in theory Cml
Has-Participant-Function defined as a relation in theory Cml
Has-Quantity-Function defined as a relation in theory Cml
Junction defined as a class in theory Dme
Model-Fragment defined as a class in theory Cml
Operating-Mode-Model defined as a class in theory Dme
Participant-Function-Of defined as a relation in theory Cml
Physical-Dimension defined as a class in theory Physical-Quantities
Quantity-Function defined as a class in theory Cml
Quantity-Function-Of defined as a relation in theory Cml
Quantity.Dimension defined as a function in theory Physical-Quantities
Range defined as a relation in theory Frame-Ontology
Relation defined as a class in theory Kif-Relations
Relation defined as a class in theory Frame-Ontology
Slot-Documentation defined as a function in theory Cml
Structural-Element-Model defined as a class in theory Dme
Subclass-Of defined as a relation in theory Frame-Ontology
System-Model defined as a class in theory Dme
Terminal defined as a class in theory Dme
Thing defined as a class in theory Frame-Ontology
Thing defined as a class in theory Dme
Value-At defined as a function in theory Unary-Scalar-Functions
Value-At defined as a function in theory Cml
Value-Cardinality defined as a function in theory Frame-Ontology
Value-Type defined as a relation in theory Frame-Ontology

The following constants were undefined:

False True Adiabatic-Throttling State-Temperature *Dead-State*

Physical-dimension AMOUNT-DIMENSION

The SI dimension of amount, usually measured in moles.

Instance-Of: Physical-dimension

Defined in theory: Thermodynamics
Source code: thermodynamics.lisp

Physical-dimension CURRENT-DIMENSION

The SI dimension of electric current.

Instance-Of: Physical-dimension

Defined in theory: Thermodynamics
Source code: thermodynamics.lisp

Physical-dimension DIMENSIONLESS

The dimensionless dimension.

Instance-Of: Physical-dimension

Defined in theory: Thermodynamics
Source code: thermodynamics.lisp

Physical-dimension LENGTH-DIMENSION

The SI dimension of length.

Instance-Of: Physical-dimension

Defined in theory: Thermodynamics
Source code: thermodynamics.lisp

Physical-dimension LUMINOSITY-DIMENSION

The SI dimension of luminosity.

Instance-Of: Physical-dimension

Defined in theory: Thermodynamics
Source code: thermodynamics.lisp

Physical-dimension MASS-DIMENSION

The SI dimension of mass.

Instance-Of: Physical-dimension

Defined in theory: Thermodynamics
Source code: thermodynamics.lisp

Physical-dimension TEMPERATURE-DIMENSION

The SI dimension of temperature.

Instance-Of: Physical-dimension

Defined in theory: Thermodynamics
Source code: thermodynamics.lisp

Physical-dimension TIME-DIMENSION

The SI dimension of time.

Instance-Of: Physical-dimension

Defined in theory: Thermodynamics
Source code: thermodynamics.lisp
Also defined in: Standard-units

Physical-dimension MASS-RATE-DIMENSION

Instance-Of: Physical-dimension

Axioms:

(= Mass-Rate-Dimension (/ Mass-Dimension Time-Dimension))

Defined in theory: Thermodynamics
Source code: thermodynamics.lisp

Physical-dimension VELOCITY-DIMENSION

Instance-Of: Physical-dimension

Axioms:

(= Velocity-Dimension (/ Length-Dimension Time-Dimension))

Defined in theory: Thermodynamics
Source code: thermodynamics.lisp

Physical-dimension AREA-DIMENSION

Instance-Of: Physical-dimension

Axioms:

(= Area-Dimension (Expt Length-Dimension 2))

Defined in theory: Thermodynamics
Source code: thermodynamics.lisp

Physical-dimension VOLUME-DIMENSION

Instance-Of: Physical-dimension

Axioms:

(= Volume-Dimension (Expt Length-Dimension 3))

Defined in theory: Thermodynamics
Source code: thermodynamics.lisp

Physical-dimension SPECIFIC-VOLUME-DIMENSION

Instance-Of: Physical-dimension

Axioms:

(= Specific-Volume-Dimension (/ Volume-Dimension Mass-Dimension))

Defined in theory: Thermodynamics
Source code: thermodynamics.lisp

Physical-dimension ENERGY-DIMENSION

Instance-Of: Physical-dimension

Axioms:

(= Energy-Dimension
   (/ (* Mass-Dimension (Expt Length-Dimension 2)) 
      (Expt Time-Dimension 2) ))

Defined in theory: Thermodynamics
Source code: thermodynamics.lisp

Physical-dimension SPECIFIC-ENERGY-DIMENSION

Instance-Of: Physical-dimension

Axioms:

(= Specific-Energy-Dimension (/ Energy-Dimension Mass-Dimension))

Defined in theory: Thermodynamics
Source code: thermodynamics.lisp

Physical-dimension ENERGY-RATE-DIMENSION

Instance-Of: Physical-dimension

Axioms:

(= Energy-Rate-Dimension (/ Energy-Dimension Time-Dimension))

Defined in theory: Thermodynamics
Source code: thermodynamics.lisp

Physical-dimension WORK-DIMENSION

Instance-Of: Physical-dimension

Axioms:

(= Work-Dimension Energy-Dimension)

Defined in theory: Thermodynamics
Source code: thermodynamics.lisp

Physical-dimension POWER-DIMENSION

Instance-Of: Physical-dimension

Axioms:

(= Power-Dimension (/ Work-Dimension Time-Dimension))

Defined in theory: Thermodynamics
Source code: thermodynamics.lisp

Physical-dimension ENTROPY-DIMENSION

Instance-Of: Physical-dimension

Axioms:

(= Entropy-Dimension (/ Energy-Dimension Temperature-Dimension))

Defined in theory: Thermodynamics
Source code: thermodynamics.lisp

Physical-dimension SPECIFIC-ENTROPY-DIMENSION

Instance-Of: Physical-dimension

Axioms:

(= Specific-Entropy-Dimension (/ Entropy-Dimension Mass-Dimension))

Defined in theory: Thermodynamics
Source code: thermodynamics.lisp

Physical-dimension ENTROPY-RATE-DIMENSION

Instance-Of: Physical-dimension

Axioms:

(= Entropy-Rate-Dimension (/ Entropy-Dimension Time-Dimension))

Defined in theory: Thermodynamics
Source code: thermodynamics.lisp

Physical-dimension PRESSURE-DIMENSION

Instance-Of: Physical-dimension

Axioms:

(= Pressure-Dimension
   (/ Mass-Dimension (* Length-Dimension (Expt Time-Dimension 2))) )

Defined in theory: Thermodynamics
Source code: thermodynamics.lisp

Constant-quantity METER

Instance-Of: Constant-quantity
Quantity.Dimension: Length-dimension

Defined in theory: Thermodynamics
Source code: thermodynamics.lisp

Constant-quantity KILOGRAM

Instance-Of: Constant-quantity
Quantity.Dimension: Mass-dimension

Defined in theory: Thermodynamics
Source code: thermodynamics.lisp

Constant-quantity SECOND

Instance-Of: Constant-quantity
Quantity.Dimension: Time-dimension

Defined in theory: Thermodynamics
Source code: thermodynamics.lisp

Constant-quantity AMPERE

Instance-Of: Constant-quantity
Quantity.Dimension: Current-dimension

Defined in theory: Thermodynamics
Source code: thermodynamics.lisp

Constant-quantity KELVIN

Instance-Of: Constant-quantity
Quantity.Dimension: Temperature-dimension

Defined in theory: Thermodynamics
Source code: thermodynamics.lisp

Constant-quantity MOLE

Instance-Of: Constant-quantity
Quantity.Dimension: Amount-dimension

Defined in theory: Thermodynamics
Source code: thermodynamics.lisp

Constant-quantity CANDELA

Instance-Of: Constant-quantity
Quantity.Dimension: Luminosity-dimension

Defined in theory: Thermodynamics
Source code: thermodynamics.lisp

Physical-dimension MOLECULAR-WEIGHT-DIMENSION

the dimension of mass/mole

Instance-Of: Physical-dimension

Axioms:

(= Molecular-Weight-Dimension (/ Mass-Dimension Amount-Dimension))

Defined in theory: Thermodynamics
Source code: thermodynamics.lisp

Constant-quantity KG/MOL

Instance-Of: Constant-quantity
Quantity.Dimension: Molecular-weight-dimension

Axioms:

(= Kg/Mol (/ Kilogram Mole))

Defined in theory: Thermodynamics
Source code: thermodynamics.lisp

Physical-dimension DENSITY-DIMENSION

the dimension of mass/volume

Instance-Of: Physical-dimension

Axioms:

(= Density-Dimension (/ Mass-Dimension Volume-Dimension))

Defined in theory: Thermodynamics
Source code: thermodynamics.lisp

Constant-quantity KG/M^3

Instance-Of: Constant-quantity
Quantity.Dimension: Density-dimension

Axioms:

(= Kg/M^3 (/ Kilogram (Expt Meter 3)))

Defined in theory: Thermodynamics
Source code: thermodynamics.lisp

Physical-dimension ACCELERATION-DIMENSION

the dimension of acceleration

Instance-Of: Physical-dimension

Axioms:

(= Acceleration-Dimension (/ Velocity-Dimension Time-Dimension))

Defined in theory: Thermodynamics
Source code: thermodynamics.lisp

Constant-quantity M/S^2

Instance-Of: Constant-quantity
Quantity.Dimension: Acceleration-dimension

Axioms:

(= M/S^2 (/ Meter (Expt Second 2)))

Defined in theory: Thermodynamics
Source code: thermodynamics.lisp

Physical-dimension FREQUENCY-DIMENSION

Instance-Of: Physical-dimension

Axioms:

(= Frequency-Dimension (Expt Time-Dimension -1))

Defined in theory: Thermodynamics
Source code: thermodynamics.lisp

Relation MUTUAL-DEPENDENCE

mutual-dependence is an n-ary operator. The meaning is not
well-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.

Arity: 6

Defined in theory: Thermodynamics
Source code: thermodynamics.lisp

Function COMPUTE-AIR-THERMODYNAMIC-STATE

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.

Arity: 2

Defined in theory: Thermodynamics
Source code: thermodynamics.lisp

Function COMPUTE-SATURATED-VAPOR-ENTHALPY

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.

Arity: 2

Defined in theory: Thermodynamics
Source code: thermodynamics.lisp

Function COMPUTE-SATURATED-VAPOR-ENTROPY

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.

Arity: 2

Defined in theory: Thermodynamics
Source code: thermodynamics.lisp

Function COMPUTE-SATURATED-VAPOR-SPECIFIC-VOLUME

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.

Arity: 2

Defined in theory: Thermodynamics
Source code: thermodynamics.lisp

Function COMPUTE-ENTHALPY-PRESSURE-SPECIFIC-ENTROPY

Computes the enthalpy from pressure and specific entropy. We don't
compute this yet. It will be a call to an outside routine or a
table lookup.

Arity: 2

Defined in theory: Thermodynamics
Source code: thermodynamics.lisp

Class THERMAL-SYSTEM

thermodynamic system

Subclass-Of: Entity, Thing
Arity: 1

Axioms:

(Forall (?Self ?Time) 
        (<=> (Active ?Time Thermal-System ?Self) 
             (And (Thermal-System ?Self) (Active ?Time Thing ?Self)) ))

Defined in theory: Thermodynamics
Source code: thermodynamics.lisp

Relation COMPONENT-CV

the control-volume associated with the system

Instance-Of: Connection, Relation
Arity: 2
Domain: Thermal-system
Range: Control-volume

Defined in theory: Thermodynamics
Source code: thermodynamics.lisp

Class THERMAL-CYCLE

a thermodynamic system involving a cycle

Subclass-Of: Entity, Thermal-system
Arity: 1
Has-Quantity-Function:: Back-work-ratio, Cycle-mass-rate, Net-heat-input-rate, Net-heat-output-rate, Net-work-output-rate, Thermal-efficiency

Back-Work-Ratio:: Slot-Documentation: the ratio of the pump work inut tot the work developed by the turbine
Cycle-Mass-Rate:: Slot-Documentation: the mass flow rate of the main medium flowing through the thermal cycle
Net-Heat-Input-Rate:: Slot-Documentation: the net heat input rate into the cycle from outside including only actively added heat such as heat added to the boiler but not including heat such as heat lost from the condenser
Net-Heat-Output-Rate:: Slot-Documentation: the net heat output rate of the thermal cycle
Net-Work-Output-Rate:: Slot-Documentation: the net work output rate of the thermal cycle
Thermal-Efficiency:: Slot-Documentation: thermal efficiency of the whole cycle defined as 'sum of work / heat input to the cycle'

Axioms:

(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)))

Defined in theory: Thermodynamics
Source code: thermodynamics.lisp

Function NET-HEAT-OUTPUT-RATE

A quantity function

Instance-Of: Function, Quantity-function
Arity: 2
Quantity-Function-Of: Thermal-cycle
Range: Everywhere-continuous-quantity

Defined in theory: Thermodynamics
No source file available.

Function NET-WORK-OUTPUT-RATE

A quantity function

Instance-Of: Function, Quantity-function
Arity: 2
Quantity-Function-Of: Thermal-cycle
Range: Everywhere-continuous-quantity

Defined in theory: Thermodynamics
No source file available.

Function NET-HEAT-INPUT-RATE

A quantity function

Instance-Of: Function, Quantity-function
Arity: 2
Quantity-Function-Of: Thermal-cycle
Range: Everywhere-continuous-quantity

Defined in theory: Thermodynamics
No source file available.

Function THERMAL-EFFICIENCY

A quantity function

Instance-Of: Function, Quantity-function
Arity: 2
Quantity-Function-Of: Thermal-cycle
Range: Everywhere-continuous-quantity

Defined in theory: Thermodynamics
No source file available.

Function BACK-WORK-RATIO

A quantity function

Instance-Of: Function, Quantity-function
Arity: 2
Quantity-Function-Of: Thermal-cycle
Range: Everywhere-continuous-quantity

Defined in theory: Thermodynamics
No source file available.

Function CYCLE-MASS-RATE

A quantity function

Instance-Of: Function, Quantity-function
Arity: 2
Quantity-Function-Of: Thermal-cycle
Range: Everywhere-continuous-quantity

Defined in theory: Thermodynamics
No source file available.

Relation CYCLE-PROCESSES

the set of all the processes that are part of the cycle

Arity: 2
Domain: Thermal-cycle
Range: Thermal-process

Defined in theory: Thermodynamics
Source code: thermodynamics.lisp

Class THERMAL-PROCESS-OP-MODE

the operating modes of thermal processes

Subclass-Of: Model-fragment, Operating-mode-model
Arity: 1
Has-Participant-Function: Process-involved

Process-Involved:: Slot-Documentation: the thermal process involved in the operating mode

Axioms:

(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) )))

Defined in theory: Thermodynamics
Source code: thermodynamics.lisp

Function PROCESS-INVOLVED

A participant function

Arity: 2
Participant-Function-Of: Thermal-process-op-mode

Defined in theory: Thermodynamics
No source file available.

Class THERMAL-CYCLE-OP-MODE

the operating modes of thermal cycles

Subclass-Of: Model-fragment, Operating-mode-model
Arity: 1
Has-Participant-Function: Cycle-involved

Cycle-Involved:: Slot-Documentation: the thermal cycle involved in the operating mode

Axioms:

(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) )))

Defined in theory: Thermodynamics
Source code: thermodynamics.lisp

Function CYCLE-INVOLVED

A participant function

Arity: 2
Participant-Function-Of: Thermal-cycle-op-mode

Defined in theory: Thermodynamics
No source file available.

Class THERMAL-COMPONENT-OP-MODE

the operating modes of thermal components

Subclass-Of: Model-fragment, Operating-mode-model
Arity: 1
Has-Participant-Function: Component-involved

Component-Involved:: Slot-Documentation: the thermal components involved in the operating mode

Axioms:

(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) )))

Defined in theory: Thermodynamics
Source code: thermodynamics.lisp

Function COMPONENT-INVOLVED

A participant function

Arity: 2
Participant-Function-Of: Thermal-component-op-mode

Defined in theory: Thermodynamics
No source file available.

Class CYCLE-HEAT-INPUT

the operating mode of a thermal cycle for computing the net heat input rate

Subclass-Of:: Control-volume-op-mode, Model-fragment, Thermal-component-op-mode, Thermal-cycle-op-mode, Thermal-process-op-mode
Arity: 1

Axioms:

(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) )))

Defined in theory: Thermodynamics
Source code: thermodynamics.lisp

Class CYCLE-WORK-OUTPUT

the operating mode of a thermal cycle for computing the net work output rate

Subclass-Of:: Control-volume-op-mode, Model-fragment, Thermal-cycle-op-mode, Thermal-process-op-mode
Arity: 1

Axioms:

(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) )))

Defined in theory: Thermodynamics
Source code: thermodynamics.lisp

Class THERMAL-COMPONENT

a thermodynamic device

Subclass-Of: Entity, Thermal-system
Arity: 1
Has-Quantity-Function: Capacity, Connected-to-external-heat-source-p, Efficiency

Capacity:: Slot-Documentation: the capacity of a thermal component, which is defined differently depending on the type of the component
Connected-To-External-Heat-Source-P:: Slot-Documentation: the attribute indicating that the control volume is connected to an active external heat source
Efficiency:: Slot-Documentation: the efficiency of a thermal component, which is defined differently depending on the type of component

Axioms:

(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) )

Defined in theory: Thermodynamics
Source code: thermodynamics.lisp

Function EFFICIENCY

A quantity function

Instance-Of: Function, Quantity-function
Arity: 2
Quantity-Function-Of: Thermal-component
Range: Everywhere-continuous-quantity

Defined in theory: Thermodynamics
No source file available.

Function CAPACITY

A quantity function

Instance-Of: Function, Quantity-function
Arity: 2
Quantity-Function-Of: Thermal-component
Range: Everywhere-continuous-quantity

Defined in theory: Thermodynamics
No source file available.

Function CONNECTED-TO-EXTERNAL-HEAT-SOURCE-P

A quantity function

Instance-Of: Function, Quantity-function
Arity: 2
Quantity-Function-Of: Thermal-component
Range: Everywhere-continuous-quantity

Defined in theory: Thermodynamics
No source file available.

Class PORT

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'.

Subclass-Of: Entity, Thermal-component
Arity: 1
Has-Quantity-Function: Port-area, Port-elevation

Port-Area:: Slot-Documentation: the area of the cross section of the port
Port-Elevation:: Slot-Documentation: the elevation of the port with respect to some reference point

Axioms:

(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) ))

Defined in theory: Thermodynamics
Source code: thermodynamics.lisp

Function PORT-AREA

A quantity function

Instance-Of: Function, Quantity-function
Arity: 2
Quantity-Function-Of: Port
Range: Everywhere-continuous-quantity

Defined in theory: Thermodynamics
No source file available.

Function PORT-ELEVATION

A quantity function

Instance-Of: Function, Quantity-function
Arity: 2
Quantity-Function-Of: Port
Range: Everywhere-continuous-quantity

Defined in theory: Thermodynamics
No source file available.

Class 1-INPUT-THERMAL-COMPONENT

the class of thermal components with one inlet

Subclass-Of: Entity, Thermal-component
Arity: 1
Has-Attribute-Function: Component-inlet

Component-Inlet:: Slot-Documentation: the inlet port

Axioms:

(Forall (?Self ?Time) 
        (<=> (Active ?Time 1-Input-Thermal-Component ?Self) 
             (And (1-Input-Thermal-Component ?Self) 
                  (Active ?Time Thermal-Component ?Self) )))

Defined in theory: Thermodynamics
Source code: thermodynamics.lisp

Function COMPONENT-INLET

An attribute function

Arity: 2
Attribute-Function-Of: 1-input-thermal-component

Defined in theory: Thermodynamics
No source file available.

Class 1-OUTPUT-THERMAL-COMPONENT

the class of thermal components with one outlet

Subclass-Of: Entity, Thermal-component
Arity: 1
Has-Attribute-Function: Component-outlet

Component-Outlet:: Slot-Documentation: the outlet port

Axioms:

(Forall (?Self ?Time) 
        (<=> (Active ?Time 1-Output-Thermal-Component ?Self) 
             (And (1-Output-Thermal-Component ?Self) 
                  (Active ?Time Thermal-Component ?Self) )))

Defined in theory: Thermodynamics
Source code: thermodynamics.lisp

Function COMPONENT-OUTLET

An attribute function

Arity: 2
Attribute-Function-Of: 1-output-thermal-component

Defined in theory: Thermodynamics
No source file available.

Class 2-INPUT-THERMAL-COMPONENT

the class of thermal components with two inlets

Subclass-Of: Entity, Thermal-component
Arity: 1
Has-Attribute-Function: Component-inlet1, Component-inlet2

Component-Inlet1:: Slot-Documentation: the first inlet port
Component-Inlet2:: Slot-Documentation: the second inlet port

Axioms:

(Forall (?Self ?Time) 
        (<=> (Active ?Time 2-Input-Thermal-Component ?Self) 
             (And (2-Input-Thermal-Component ?Self) 
                  (Active ?Time Thermal-Component ?Self) )))

Defined in theory: Thermodynamics
Source code: thermodynamics.lisp

Function COMPONENT-INLET1

An attribute function

Arity: 2
Attribute-Function-Of: 2-input-thermal-component

Defined in theory: Thermodynamics
No source file available.

Function COMPONENT-INLET2

An attribute function

Arity: 2
Attribute-Function-Of: 2-input-thermal-component

Defined in theory: Thermodynamics
No source file available.

Class 3-INPUT-THERMAL-COMPONENT

the class of thermal components with three inlets

Subclass-Of: 2-input-thermal-component, Entity
Arity: 1
Has-Attribute-Function: Component-inlet3

Component-Inlet3:: Slot-Documentation: the third inlet port

Axioms:

(Forall (?Self ?Time) 
        (<=> (Active ?Time 3-Input-Thermal-Component ?Self) 
             (And (3-Input-Thermal-Component ?Self) 
                  (Active ?Time 2-Input-Thermal-Component ?Self) )))

Defined in theory: Thermodynamics
Source code: thermodynamics.lisp

Function COMPONENT-INLET3

An attribute function

Arity: 2
Attribute-Function-Of: 3-input-thermal-component

Defined in theory: Thermodynamics
No source file available.

Class 2-OUTPUT-THERMAL-COMPONENT

the class of thermal components with two outlets

Subclass-Of: Entity, Thermal-component
Arity: 1
Has-Attribute-Function: Component-outlet1, Component-outlet2

Component-Outlet1:: Slot-Documentation: the first outlet port
Component-Outlet2:: Slot-Documentation: the second outlet port

Axioms:

(Forall (?Self ?Time) 
        (<=> (Active ?Time 2-Output-Thermal-Component ?Self) 
             (And (2-Output-Thermal-Component ?Self) 
                  (Active ?Time Thermal-Component ?Self) )))

Defined in theory: Thermodynamics
Source code: thermodynamics.lisp

Function COMPONENT-OUTLET1

An attribute function

Arity: 2
Attribute-Function-Of: 2-output-thermal-component

Defined in theory: Thermodynamics
No source file available.

Function COMPONENT-OUTLET2

An attribute function

Arity: 2
Attribute-Function-Of: 2-output-thermal-component

Defined in theory: Thermodynamics
No source file available.

Class 1-1-PORT-THERMAL-COMPONENT

The class of thermal components with one inlet and one outlet.

Subclass-Of: 1-input-thermal-component, 1-output-thermal-component, Entity
Arity: 1

Axioms:

(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) )))

Defined in theory: Thermodynamics
Source code: thermodynamics.lisp

Class 1-2-PORT-THERMAL-COMPONENT

The class of thermal components with one inlet and two outlets.

Subclass-Of: 1-input-thermal-component, 2-output-thermal-component, Entity
Arity: 1

Axioms:

(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) )))

Defined in theory: Thermodynamics
Source code: thermodynamics.lisp

Class 2-1-PORT-THERMAL-COMPONENT

the class of thermal components with two inlets and one outlet

Subclass-Of: 1-output-thermal-component, 2-input-thermal-component, Entity
Arity: 1

Axioms:

(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) )))

Defined in theory: Thermodynamics
Source code: thermodynamics.lisp

Class 2-2-PORT-THERMAL-COMPONENT

the class of thermal components with two inlets and two outlets

Subclass-Of: 2-input-thermal-component, 2-output-thermal-component, Entity
Arity: 1

Axioms:

(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) )))

Defined in theory: Thermodynamics
Source code: thermodynamics.lisp

Class 3-1-PORT-THERMAL-COMPONENT

the class of thermal components with three inlets and one outlet

Subclass-Of: 1-output-thermal-component, 3-input-thermal-component, Entity
Arity: 1

Axioms:

(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) )))

Defined in theory: Thermodynamics
Source code: thermodynamics.lisp

Class FUEL

the fuel used in power systems

Subclass-Of: Entity, Substance
Arity: 1
Has-Quantity-Function: Heating-value

Heating-Value:: Slot-Documentation: the magnitude of the enthalpy of combustion of the fuel

Axioms:

(Forall (?Self ?Time) 
        (<=> (Active ?Time Fuel ?Self) 
             (And (Fuel ?Self) (Active ?Time Substance ?Self)) ))

Defined in theory: Thermodynamics
Source code: thermodynamics.lisp

Function HEATING-VALUE

A quantity function

Instance-Of: Function, Quantity-function
Arity: 2
Quantity-Function-Of: Fuel
Range: Everywhere-continuous-quantity

Defined in theory: Thermodynamics
No source file available.

Class FUEL-CONSUMING-COMPONENT

the class of components which require fuel input

Subclass-Of: Entity, Thermal-component
Arity: 1
Has-Quantity-Function: Fuel-supply-rate, Heat-supply-rate

Fuel-Supply-Rate:: Slot-Documentation: the rate at which fuel is supplied to the fuel-consuming component
Heat-Supply-Rate:: Slot-Documentation: the rate at which heat is supplied to the fuel-consuming component

Axioms:

(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)))

Defined in theory: Thermodynamics
Source code: thermodynamics.lisp

Function FUEL-SUPPLY-RATE

A quantity function

Instance-Of: Function, Quantity-function
Arity: 2
Quantity-Function-Of: Fuel-consuming-component
Range: Everywhere-continuous-quantity

Defined in theory: Thermodynamics
No source file available.

Function HEAT-SUPPLY-RATE

A quantity function

Instance-Of: Function, Quantity-function
Arity: 2
Quantity-Function-Of: Fuel-consuming-component
Range: Everywhere-continuous-quantity

Defined in theory: Thermodynamics
No source file available.

Class WORK-CONSUMING-COMPONENT

the class of components which require work input

Subclass-Of: Entity, Thermal-component
Arity: 1
Has-Quantity-Function: Power-input

Power-Input:: Slot-Documentation: the power input into the work consuming component

Axioms:

(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) )

Defined in theory: Thermodynamics
Source code: thermodynamics.lisp

Function POWER-INPUT

A quantity function

Instance-Of: Function, Quantity-function
Arity: 2
Quantity-Function-Of: Work-consuming-component
Range: Everywhere-continuous-quantity

Defined in theory: Thermodynamics
No source file available.

Class WORK-PRODUCING-COMPONENT

This is the class of components which produce work output.

Subclass-Of: Entity, Thermal-component
Arity: 1
Has-Quantity-Function: Power-output

Power-Output:: Slot-Documentation: the power output of the work producing component

Axioms:

(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) )

Defined in theory:

Theory THERMODYNAMICS

Theories included by Thermodynamics:

122 classes defined:

10 relations defined:

226 functions defined:

36 instances defined:

Physical-dimension AMOUNT-DIMENSION

Physical-dimension CURRENT-DIMENSION

Physical-dimension DIMENSIONLESS

Physical-dimension LENGTH-DIMENSION

Physical-dimension LUMINOSITY-DIMENSION

Physical-dimension MASS-DIMENSION

Physical-dimension TEMPERATURE-DIMENSION

Physical-dimension TIME-DIMENSION

Physical-dimension MASS-RATE-DIMENSION

Physical-dimension VELOCITY-DIMENSION

Physical-dimension AREA-DIMENSION

Physical-dimension VOLUME-DIMENSION

Physical-dimension SPECIFIC-VOLUME-DIMENSION

Physical-dimension ENERGY-DIMENSION

Physical-dimension SPECIFIC-ENERGY-DIMENSION

Physical-dimension ENERGY-RATE-DIMENSION

Physical-dimension WORK-DIMENSION

Physical-dimension POWER-DIMENSION

Physical-dimension ENTROPY-DIMENSION

Physical-dimension SPECIFIC-ENTROPY-DIMENSION

Physical-dimension ENTROPY-RATE-DIMENSION

Physical-dimension PRESSURE-DIMENSION

Constant-quantity METER

Constant-quantity KILOGRAM

Constant-quantity SECOND

Constant-quantity AMPERE

Constant-quantity KELVIN

Constant-quantity MOLE

Constant-quantity CANDELA

Physical-dimension MOLECULAR-WEIGHT-DIMENSION

Constant-quantity KG/MOL

Physical-dimension DENSITY-DIMENSION

Constant-quantity KG/M^3

Physical-dimension ACCELERATION-DIMENSION

Constant-quantity M/S^2

Physical-dimension FREQUENCY-DIMENSION

Relation MUTUAL-DEPENDENCE

Function COMPUTE-AIR-THERMODYNAMIC-STATE

Function COMPUTE-SATURATED-VAPOR-ENTHALPY

Function COMPUTE-SATURATED-VAPOR-ENTROPY

Function COMPUTE-SATURATED-VAPOR-SPECIFIC-VOLUME

Function COMPUTE-ENTHALPY-PRESSURE-SPECIFIC-ENTROPY

Class THERMAL-SYSTEM

Relation COMPONENT-CV

Class THERMAL-CYCLE

Function NET-HEAT-OUTPUT-RATE

Function NET-WORK-OUTPUT-RATE

Function NET-HEAT-INPUT-RATE

Function THERMAL-EFFICIENCY

Function BACK-WORK-RATIO

Function CYCLE-MASS-RATE

Relation CYCLE-PROCESSES

Class THERMAL-PROCESS-OP-MODE

Function PROCESS-INVOLVED

Class THERMAL-CYCLE-OP-MODE

Function CYCLE-INVOLVED

Class THERMAL-COMPONENT-OP-MODE

Function COMPONENT-INVOLVED

Class CYCLE-HEAT-INPUT

Class CYCLE-WORK-OUTPUT

Class THERMAL-COMPONENT

Function EFFICIENCY

Function CAPACITY

Function CONNECTED-TO-EXTERNAL-HEAT-SOURCE-P

Class PORT

Function PORT-AREA

Function PORT-ELEVATION

Class 1-INPUT-THERMAL-COMPONENT

Function COMPONENT-INLET

Class 1-OUTPUT-THERMAL-COMPONENT

Function COMPONENT-OUTLET

Class 2-INPUT-THERMAL-COMPONENT

Function COMPONENT-INLET1

Function COMPONENT-INLET2