Theory THERMAL-SYSTEM

Theory documentation:

Domain theory for engineering thermodynamics.

Cross Reference Report:

Theories included by Thermal-System:

  Cml
  Dme-Cml

No theories include Thermal-System.

123 classes defined:

    *Dead-State*
    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

9 relations defined:

  Component-Cv
  Contained-In
  Cv-Component
  Cycle-Processes
  Inlets
  Mutual-Dependence
  Outlets
  Process-Cv
  Undergoing

230 functions defined:

  1-1-Cv-Involved
  2d-Stream-Involved
  Acceleration-Due-To-Gravity
  Adbtc-Cmpsn-Prcs
  Adbtc-Hxg-Prcs
  Adbtc-Mxng-Prcs
  Adiabatic-Pr-Involved
  Air-Fuel-Ratio
  Air-In-Cmpsr
  Air-Involved
  Area
  Back-Work-Ratio
  Blr
  Blr-Cv
  Blr-System
  Blr-Tbn-Junction
  Bore
  Bore-Area
  Capacity
  Cdnsr-System
  Cf-Cv
  Chtr-Cv
  Chtr-Sgen-Junction
  Chtr-System
  Chtr-Trp-Junction
  Clearance-Volume
  Cls-Fwt-Htr
  Cmpsn-Prcs
  Cmpsr
  Cmpsr-Cv
  Cnd
  Cnd-Cv
  Cnd-Pmp-Junction
  Cnd-Pmp1-Junction
  Cnd-Sys
  Cnd-System
  Cnd-Tfr-Prcs
  Cndsr-Cv
  Cold-Flow
  Cold-Flow-Temperature-Out
  Component-Inlet
  Component-Inlet1
  Component-Inlet2
  Component-Inlet3
  Component-Involved
  Component-Outlet
  Component-Outlet1
  Component-Outlet2
  Compression-Isentropic-Efficiency
  Compression-Ratio
  Compute-Air-Thermodynamic-State
  Compute-Enthalpy-Pressure-Specific-Entropy
  Compute-Saturated-Vapor-Enthalpy
  Compute-Saturated-Vapor-Entropy
  Compute-Saturated-Vapor-Specific-Volume
  Condensor-Heat-Out-Rate
  Connected-To-External-Heat-Source-P
  Cooling-Rate
  Cp-Junction
  Critical-Density
  Critical-Pressure
  Critical-Temperature
  Cv-Elevation
  Cv-Energy
  Cv-Enthalpy
  Cv-Entropy
  Cv-Internal-Energy
  Cv-Involved
  Cv-Ke
  Cv-Mass
  Cv-Pe
  Cv-Volume
  Cycle-Involved
  Cycle-Mass-Rate
  Cycles-Rate
  D-Entropy-Rate
  D-Ke-Rate
  D-Log-Mean-Temperature
  D-Pe-Rate
  D-Pressure-Cold
  D-Pressure-Hot
  Displacement
  Effectiveness
  Efficiency
  Emissions-Index
  Energy-Rate
  Enthalpy-Rate
  Enthalpy-Rate-In
  Enthalpy-Rate-Out
  Entropy-Generation-Rate
  Entropy-Rate
  Entropy-Rate-In
  Entropy-Rate-Out
  Even-Ke
  Even-Pe
  Expansion-Isentropic-Efficiency
  Expsn-Prcs
  Fuel-Supply-Rate
  Fwt-Htr
  Fwt-Htr-Cv
  Heat-Rate
  Heat-Supply-Rate
  Heat-Transfer-Rate
  Heat-Transfer-Temperature
  Heating-Rate
  Heating-Value
  Hf-Cv
  Hot-Flow
  Hot-Flow-Temperature-In
  Ht-Xchg-Prcs
  Htfr-Prcs
  Ideal-Gas-Constant
  Ideal-Gas-P
  Ideal-Heat-Rate
  Ideal-Isentropic-Enthalpy
  Ideal-Specific-Heat
  Inlet-Stream
  Inlet-Stream1
  Inlet-Stream2
  Inlet-Stream3
  Internal-Energy-Rate
  Internally-Reversible-P
  Irreversibility-Rate
  Isentropic-Efficiency
  Ke-Rate
  Ke-Rate-In
  Ke-Rate-Out
  Mass-Rate
  Mass-Rate-In
  Mass-Rate-Out
  Max-Heat-Rate
  Max-Pressure
  Max-Temperature
  Mean-Effective-Pressure
  Molecular-Weight
  Mxng-Prcs
  Net-Heat-Input-Rate
  Net-Heat-Output-Rate
  Net-Work-Output-Rate
  Nzl
  Nzl-Cv
  Ohtr-Pmp2-Junction
  Ohtr-System
  Opn-Fwt-Htr
  Opn-Fwt-Htr-Cv
  Outlet-Stream
  Outlet-Stream1
  Outlet-Stream2
  Outlet-Velocity
  Overall-Heat-Transfer-Coefficient
  Pe-Rate
  Pe-Rate-In
  Pe-Rate-Out
  Pmp
  Pmp-Blr-Junction
  Pmp-Cv
  Pmp-Sgen-Junction
  Pmp-Sys
  Pmp-System
  Pmp-System1
  Pmp-System2
  Pmp1-Ohtr-Junction
  Pmp2-Chtr-Junction
  Port-Area
  Port-Elevation
  Power-Input
  Power-Input-Per-Mass
  Power-Output
  Pressure-Ratio
  Process-Involved
  Pump-Involved
  Quality
  Reference-Temperature
  Rotating-Speed
  Saturated-P
  Saturation-Pressure
  Saturation-Temperature
  Sgen
  Sgen-Cv
  Sgen-Sys
  Sgen-System
  Sgen-Tbn1-Junction
  Sgen-Tbn2-Junction
  Sgen-Xtbn1-Junction
  Sgen-Xtbn2-Junction
  Specific-Enthalpy
  Specific-Entropy
  Specific-Internal-Energy
  Specific-Volume
  Speed
  State-Entropy
  State-Pressure
  State-Temperature
  Stmgen-Htsr-Prcs
  Stream-Area
  Stream-Elevation
  Stream-Pressure
  Stream-Temperature
  Stroke
  Strokes-Per-Cycle
  Substance-In
  Tbn
  Tbn-Cnd-Junction
  Tbn-Cv
  Tbn-Sys1
  Tbn-Sys2
  Tbn-System
  Tbn1-Sgen-Junction
  Tbn2-Cnd-Junction
  Thermal-Efficiency
  Thrtlng-Prcs
  Trp-Ohtr-Junction
  Trp-System
  Velocity
  Volumetric-Efficiency
  Water-In-Blr
  Water-In-Cnd
  Water-In-Pmp
  Water-In-Tbn
  Water-Involved
  Work-Rate
  Working-Fluid-In-Cycle
  Xtbn
  Xtbn-Cv
  Xtbn-System1
  Xtbn-System2
  Xtbn1-Chtr-Junction
  Xtbn1-Sgen-Junction
  Xtbn2-Cnd-Junction
  Xtbn2-Ohtr-Junction

32 instances defined:

  Acceleration-Dimension
  Amount-Dimension
  Ampere
  Area-Dimension
  Candela
  Current-Dimension
  Density-Dimension
  Dimensionless
  Energy-Rate-Dimension
  Entropy-Dimension
  Entropy-Rate-Dimension
  Frequency-Dimension
  Kelvin
  Kg/Mol
  Kg/M^3
  Kilogram
  Luminosity-Dimension
  M/S^2
  Mass-Rate-Dimension
  Meter
  Mole
  Molecular-Weight-Dimension
  Power-Dimension
  Pressure-Dimension
  Second
  Specific-Energy-Dimension
  Specific-Entropy-Dimension
  Specific-Volume-Dimension
  Temperature-Dimension
  Velocity-Dimension
  Volume-Dimension
  Work-Dimension

The following constants were used from included theories:

The following constants were undefined:

Participant-Function-Of Quantity-Function-Of Attribute-Function-Of

The following constants are defined in this theory and in an included theory without the definition in this theory being polymorphic:


This document was generated using Ontolingua.
Formatting and translation code was written by
François Gerbaux and Tom Gruber