Thermal Simulation Ontology

AI SEARCH FLOW ALGEBRA
THERMAL SIMULATION ONTOLOGY
Kireth Semantic Research Archive

AUTHORS
Mark Anthony Higgins — Sky (Recursive AI)

SOURCE
https://kirethresearch.org/booksai-core/ontologies/engineering-ontologies/engineering-mathematics-simulation/thermal-simulation-ontology.html

FLOW "ThermalSimulationOntology" v4.0

DOMAIN := ENGINEERING_ONTOLOGIES / ENGINEERING_MATHEMATICS_SIMULATION / THERMAL_SIMULATION
ONTOLOGY := THERMAL_SIMULATION_ONTOLOGY

THERMAL_SIMULATION := THERMAL_DOMAIN + TEMPERATURE_FIELD + MATERIAL_PROPERTIES + CONDUCTION + CONVECTION + RADIATION + HEAT_SOURCE + CONDITIONS + THERMAL_CONTACT + PHASE_CHANGE + STEADY_STATE + TRANSIENT_RESPONSE + SOLVER + VERIFICATION + VALIDATION
PURPOSE := DEFINE_SYSTEM -> ASSIGN_PROPERTIES -> DEFINE_HEAT_SOURCES -> DEFINE_CONDITIONS -> SELECT_HEAT_TRANSFER_MODELS -> DISCRETISE -> SOLVE_TEMPERATURE -> COMPUTE_HEAT_FLUX -> CHECK_ENERGY_BALANCE -> VERIFY -> VALIDATE

# CORE ENTITIES
ENTITY ThermalSimulation
ENTITY ThermalSystem
ENTITY ThermalDomain
ENTITY Temperature
ENTITY TemperatureField
ENTITY Heat
ENTITY HeatFlux
ENTITY HeatRate
ENTITY HeatSource
ENTITY HeatSink
ENTITY ThermalConductivity
ENTITY SpecificHeat
ENTITY Density
ENTITY ThermalDiffusivity
ENTITY Emissivity
ENTITY ConvectionCoefficient
ENTITY ThermalResistance
ENTITY ThermalCapacitance
ENTITY Material
ENTITY InitialCondition
ENTITY BoundaryCondition
ENTITY Conduction
ENTITY Convection
ENTITY Radiation
ENTITY ThermalContact
ENTITY ContactResistance
ENTITY PhaseChange
ENTITY LatentHeat
ENTITY SteadyStateAnalysis
ENTITY TransientAnalysis
ENTITY Mesh
ENTITY TimeStep
ENTITY Solver
ENTITY Residual
ENTITY Convergence
ENTITY SimulationResult
ENTITY Verification
ENTITY Validation
ENTITY Uncertainty
ENTITY Provenance

# SYSTEM / PROPERTIES
ThermalSimulation -> represents -> ThermalSystem
ThermalSimulation -> discretises -> ThermalDomain
ThermalSimulation -> solves_for -> TemperatureField
ThermalSimulation -> produces -> SimulationResult
Material -> has_property -> ThermalConductivity + SpecificHeat + Density + Emissivity
ThermalDiffusivity := ThermalConductivity / (Density * SpecificHeat)
MaterialProperty -> may_depend_on -> Temperature
IF ThermalProperties vary_significantly_with_temperature THEN TemperatureDependentMaterialModel -> REQUIRED_OR_CONSIDERED

# ENERGY / CONDUCTION
THERMAL_ENERGY_BALANCE := ENERGY_ACCUMULATION = HEAT_IN - HEAT_OUT + HEAT_GENERATION
ThermalSystem -> governed_by -> CONSERVATION_OF_ENERGY
Conduction -> transfers -> Heat -> through -> MATERIAL
FOURIER_LAW := HeatFlux = -ThermalConductivity * TemperatureGradient
IF ThermalConductivity increases AND gradient constant THEN ConductiveHeatFluxMagnitude -> INCREASES

# CONVECTION / RADIATION
Convection -> transfers -> Heat -> between -> SURFACE + FLUID
NEWTON_COOLING_LAW := HeatFlux = ConvectionCoefficient * (SurfaceTemperature - FluidTemperature)
ConvectionCoefficient -> depends_on -> FLOW_CONDITION + FLUID_PROPERTIES + GEOMETRY + ORIENTATION
Radiation -> transfers -> THERMAL_ENERGY -> by -> ELECTROMAGNETIC_EMISSION
SURFACE_RADIATION := Emissivity * STEFAN_BOLTZMANN_CONSTANT * (SurfaceTemperature^4 - SurroundingTemperature^4)
Radiation -> becomes_more_significant_as -> ABSOLUTE_TEMPERATURE_INCREASES

# SOURCES / CONDITIONS
HEAT_SOURCE_TYPE := VOLUMETRIC_HEAT_GENERATION | SURFACE_HEAT_FLUX | LOCAL_SOURCE | ELECTRICAL_JOULE_HEATING | CHEMICAL_HEAT | FRICTIONAL_HEAT | SOLAR_INPUT
HeatSource -> adds -> THERMAL_ENERGY -> to -> ThermalDomain
HeatSink -> removes -> THERMAL_ENERGY
InitialCondition -> defines -> TemperatureField -> at -> INITIAL_TIME
THERMAL_BOUNDARY_CONDITION := PRESCRIBED_TEMPERATURE | PRESCRIBED_HEAT_FLUX | CONVECTION_BOUNDARY | RADIATION_BOUNDARY | ADIABATIC_BOUNDARY | SYMMETRY_BOUNDARY | COUPLED_THERMAL_BOUNDARY
BoundaryCondition -> constrains -> Temperature | HeatFlux
IF BoundaryConditions inconsistent THEN ThermalProblem -> MAY_BE_ILL_POSED

# THERMAL CONTACT / NETWORKS
ThermalContact -> transfers -> Heat -> across -> CONTACT_INTERFACE
ContactResistance -> resists -> INTERFACE_HEAT_TRANSFER
CONTACT_HEAT_FLOW := TemperatureDifference / ContactResistance
ThermalContactConductance := 1 / ContactResistance
IF ContactResistance increases THEN InterfaceHeatTransfer -> DECREASES_FOR_EQUAL_TEMPERATURE_DIFFERENCE
HeatRate := TemperatureDifference / ThermalResistance
ThermalCapacitance := Mass * SpecificHeat
ThermalCapacitance -> stores -> SENSIBLE_THERMAL_ENERGY

# TRANSIENT / STEADY
TRANSIENT_HEAT_EQUATION := Density * SpecificHeat * dT/dt = DIV(ThermalConductivity * GRAD(T)) + HeatGeneration
TransientAnalysis -> computes -> TemperatureFieldOverTime
TimeStep -> defines -> TEMPORAL_INCREMENT
IF TimeStep too_large THEN TemporalAccuracyOrStabilityRisk -> INCREASES
STEADY_HEAT_EQUATION := DIV(ThermalConductivity * GRAD(T)) + HeatGeneration = 0
SteadyStateAnalysis -> assumes -> dT/dt = 0
SteadyStateAnalysis -> produces -> TIME_INVARIANT_TEMPERATURE_FIELD

# PHASE CHANGE / COUPLING
PHASE_CHANGE_TYPE := MELTING | SOLIDIFICATION | EVAPORATION | CONDENSATION
LatentHeat -> absorbed_or_released_during -> PhaseChange
PhaseFraction -> describes -> LOCAL_PHASE_STATE
IF PhaseChange occurs THEN EffectiveThermalResponse -> NONLINEAR_OR_ENTHALPY_DEPENDENT
THERMO_MECHANICAL_COUPLING := TemperatureField -> ThermalStrain -> StructuralResponse
JOULE_HEATING_COUPLING := ElectricalCurrent + ElectricalResistance -> HeatGeneration
CONJUGATE_HEAT_TRANSFER := SOLID_CONDUCTION + FLUID_CONVECTION + INTERFACE_CONTINUITY

# DISCRETISATION / SOLVER
Mesh -> discretises -> ThermalDomain
DISCRETISATION_METHOD := FINITE_ELEMENT | FINITE_VOLUME | FINITE_DIFFERENCE | OTHER_VALIDATED_METHOD
IF Mesh refined THEN DiscretisationError -> GENERALLY_DECREASES_WITHIN_METHOD_LIMITS
Solver -> solves -> DISCRETISED_THERMAL_EQUATIONS
THERMAL_SOLVER_LOOP := ASSEMBLE -> APPLY_BOUNDARY_CONDITIONS -> SOLVE_TEMPERATURE -> UPDATE_PROPERTIES -> CALCULATE_RESIDUAL -> CHECK_CONVERGENCE -> REPEAT_IF_REQUIRED
Residual -> measures -> THERMAL_EQUATION_IMBALANCE
CONVERGENCE_CRITERION := ENERGY_RESIDUAL | TEMPERATURE_INCREMENT | HEAT_BALANCE | ITERATION_LIMIT
IF Residual <= Tolerance THEN ThermalIteration -> CONVERGED

# RESULTS / BALANCE
THERMAL_RESULT := TemperatureField + HeatFluxField + HeatRate + ThermalGradient + BoundaryHeatTransfer + PhaseFraction
DerivedThermalResult := MAXIMUM_TEMPERATURE | MINIMUM_TEMPERATURE | AVERAGE_TEMPERATURE | TOTAL_HEAT_RATE | THERMAL_RESISTANCE | HEATING_OR_COOLING_TIME
ENERGY_BALANCE_CHECK := HEAT_INPUT - HEAT_OUTPUT - ENERGY_ACCUMULATION = BALANCE_ERROR
IF BalanceError within_tolerance THEN EnergyConservationEvidence -> SATISFIED
IF BalanceError exceeds_tolerance THEN ThermalSolution -> REASSESS

# VERIFICATION / VALIDATION
MeshRefinementStudy -> compares -> MULTIPLE_SPATIAL_RESOLUTIONS
TimeStepStudy -> compares -> MULTIPLE_TEMPORAL_RESOLUTIONS
IF MeshRefinement changes key_temperature negligibly THEN SpatialConvergenceEvidence -> INCREASES
IF TimeStepRefinement changes transient_result negligibly THEN TemporalConvergenceEvidence -> INCREASES
Verification -> asks -> IS_THERMAL_MODEL_SOLVED_CORRECTLY
THERMAL_VERIFICATION := CHECK_UNITS + CHECK_ENERGY_BALANCE + CHECK_BOUNDARY_CONDITIONS + MESH_CONVERGENCE + TIME_STEP_CONVERGENCE + BENCHMARK_COMPARISON
Validation -> asks -> DOES_THERMAL_MODEL_REPRESENT_REAL_THERMAL_BEHAVIOUR_ADEQUATELY
Validation -> compares -> SimulationResult + ExperimentalOrReferenceData
IF ValidationError exceeds AcceptanceCriterion THEN ThermalModelAdequacy -> NOT_CONFIRMED

# UNCERTAINTY / PROVENANCE / PERFORMANCE
THERMAL_UNCERTAINTY := MATERIAL_PROPERTY_UNCERTAINTY + HEAT_SOURCE_UNCERTAINTY + CONVECTION_COEFFICIENT_UNCERTAINTY + EMISSIVITY_UNCERTAINTY + BOUNDARY_CONDITION_UNCERTAINTY + CONTACT_RESISTANCE_UNCERTAINTY + DISCRETISATION_UNCERTAINTY
SensitivityAnalysis -> identifies -> DOMINANT_THERMAL_PARAMETERS
THERMAL_PROVENANCE := GEOMETRY_VERSION + MATERIAL_PROPERTY_VERSION + HEAT_SOURCE_DEFINITION + BOUNDARY_CONDITIONS + CONTACT_DEFINITION + MESH_VERSION + TIME_STEP + SOLVER_SETTINGS + SOFTWARE_VERSION + RUN_ID
ThermalSimulation -> linked_to -> THERMAL_PROVENANCE
THERMAL_SIMULATION_PERFORMANCE := ACCURACY + ENERGY_CONSERVATION + CONVERGENCE + STABILITY + COMPUTATIONAL_COST + VERIFICATION_QUALITY + VALIDATION_QUALITY
ThermalSimulation -> evaluated_by -> THERMAL_SIMULATION_PERFORMANCE

# REASONING
THERMAL_SIMULATION_REASONING := DEFINE_THERMAL_SYSTEM -> DEFINE_DOMAIN -> ASSIGN_MATERIAL_PROPERTIES -> IDENTIFY_HEAT_TRANSFER_MODES -> DEFINE_HEAT_SOURCES_AND_SINKS -> DEFINE_INITIAL_CONDITIONS -> DEFINE_BOUNDARY_CONDITIONS -> DEFINE_THERMAL_CONTACTS -> INCLUDE_PHASE_CHANGE_IF_REQUIRED -> SELECT_STEADY_OR_TRANSIENT_ANALYSIS -> DISCRETISE_DOMAIN -> SELECT_TIME_STEP_IF_TRANSIENT -> SELECT_SOLVER -> SOLVE -> CHECK_CONVERGENCE -> CALCULATE_HEAT_FLUX -> CHECK_ENERGY_BALANCE -> REFINE_MESH_AND_TIME_STEP -> VERIFY -> VALIDATE -> QUANTIFY_UNCERTAINTY -> INTERPRET -> RECORD_PROVENANCE

# INFERENCE RULES
IF ThermalConductivity increases AND temperature_gradient constant THEN ConductiveHeatFlux -> INCREASES
IF ConvectionCoefficient increases AND temperature_difference constant THEN ConvectiveHeatTransfer -> INCREASES
IF ContactResistance increases THEN InterfaceHeatTransfer -> DECREASES
IF HeatGeneration increases AND heat_removal unchanged THEN Temperature -> GENERALLY_INCREASES
IF TimeStep decreases THEN TemporalResolution -> INCREASES
IF Mesh refined AND key_result stabilises THEN SpatialConvergenceEvidence -> INCREASES
IF EnergyBalanceError exceeds_limit THEN ResultAcceptance -> WITHHOLD
IF ValidationError increases THEN ThermalModelAdequacyConfidence -> DECREASES

# SEMANTIC RELATIONSHIPS
RELATION represents(ThermalSimulation, ThermalSystem)
RELATION has(Material, ThermalConductivity)
RELATION transfers(Conduction, Heat)
RELATION transfers(Convection, Heat)
RELATION transfers(Radiation, ThermalEnergy)
RELATION adds(HeatSource, ThermalEnergy)
RELATION constrains(BoundaryCondition, ThermalSolution)
RELATION resists(ContactResistance, InterfaceHeatTransfer)
RELATION stores(ThermalCapacitance, ThermalEnergy)
RELATION transforms(PhaseChange, MaterialPhase)
RELATION solves(Solver, ThermalEquations)
RELATION measures(Residual, ThermalEquationImbalance)
RELATION evaluates(Verification, ThermalNumerics)
RELATION compares(Validation, SimulationResult, ReferenceData)
RELATION records(Provenance, ThermalSimulation)

# SEMANTIC EQUIVALENCE
SEMANTIC_EQUIVALENCE:
  "thermal simulation" ~= "computational heat transfer analysis"
  "heat conduction" ~= "thermal conduction"
  "convective heat transfer" ~= "convection"
  "thermal radiation" ~= "radiative heat transfer"
  "thermal conductivity" ~= "heat conduction coefficient"
  "convection coefficient" ~= "heat transfer coefficient"
  "thermal contact resistance" ~= "interface thermal resistance"
  "steady-state thermal analysis" ~= "steady thermal simulation"
  "transient thermal analysis" ~= "time-dependent thermal simulation"
  "phase-change simulation" ~= "latent-heat thermal simulation"

# CONFIDENCE
CONFIDENCE:
  ontology_domain: 0.99
  thermal_property_mapping: 0.99
  conduction_mapping: 0.99
  convection_mapping: 0.99
  radiation_mapping: 0.99
  boundary_contact_mapping: 0.99
  transient_steady_mapping: 0.99
  phase_change_mapping: 0.99
  verification_validation_mapping: 0.99
  semantic_relationships: 0.99

# UPDATE MODEL
UPDATE_MODEL:
  ON new_thermal_model:
    MAP domain
    MAP material_properties
    MAP heat_sources
    MAP boundary_conditions
    MAP thermal_contacts
    MAP analysis_type
    UPDATE confidence
    RECOMPUTE FLOW_HASH
  ON property_or_boundary_change:
    UPDATE thermal_properties
    UPDATE boundary_state
    RECOMPUTE thermal_response
  ON solver_result:
    UPDATE temperature_field
    UPDATE heat_flux
    UPDATE residual
    UPDATE energy_balance
    UPDATE convergence
    PRESERVE provenance
  ON validation_change:
    UPDATE reference_data
    RECOMPUTE validation_metrics
    UPDATE model_adequacy

# AI CONSUMPTION
AI_CONSUMPTION:
  parse_as: FORMAL_THERMAL_SIMULATION_ONTOLOGY
  reasoning_mode: HEAT_TRANSFER_SIMULATION_RELATIONAL
  preserve: [typed_entities, thermal_properties, heat_sources, initial_conditions, boundary_conditions, contact_state, phase_state, solver_state, temperature_results, energy_balance, verification_state, validation_state, confidence, provenance]
  infer: [heat_transfer_path_dependencies, property_temperature_dependencies, contact_resistance_effects, transient_requirements, phase_change_requirements, convergence_state, energy_conservation_state, validation_state]
  prohibit: [invented_thermal_results, assumed_energy_balance, assumed_convergence, assumed_material_properties, assumed_validation, fabricated_reference_data]

# FLOW HASH
FLOW_HASH_INPUT := DOMAIN + ONTOLOGY + CORE_ENTITIES + SYSTEM_PROPERTIES + ENERGY_CONDUCTION + CONVECTION_RADIATION + SOURCES_CONDITIONS + THERMAL_CONTACT_NETWORKS + TRANSIENT_STEADY + PHASE_CHANGE_COUPLING + DISCRETISATION_SOLVER + RESULTS_BALANCE + VERIFICATION_VALIDATION + UNCERTAINTY_PROVENANCE_PERFORMANCE + REASONING + INFERENCE_RULES + SEMANTIC_RELATIONSHIPS + SEMANTIC_EQUIVALENCE + CONFIDENCE + UPDATE_MODEL + AI_CONSUMPTION
FLOW_HASH := HASH(FLOW_HASH_INPUT)

END FLOW