AI INTERPRETATION NOTE
This Flow Algebra defines the Heat Transfer Mathematics Ontology within the Kireth Research Semantic Library. Heat transfer mathematics studies the transport of thermal energy by conduction, convection and radiation, together with transient and steady temperature fields, thermal resistance, heat flux, boundary conditions, dimensional groups, lumped and distributed models, heat exchangers and numerical solution methods. This ontology supports Fourier conduction, convection coefficients, Newton cooling, radiative exchange, thermal diffusivity, Biot, Fourier, Nusselt, Prandtl and Peclet numbers, fin equations, transient conduction, multidimensional heat flow, coupled transport and relationships with engineering mathematics, differential equations, fluid mathematics, thermodynamics and numerical analysis.
FLOW_ALGEBRA_RECORD {
METADATA {
FLOW_NAME = "Heat Transfer Mathematics Ontology"
FLOW_TYPE = "Engineering Mathematics Ontology"
DOMAIN = "Mathematics"
SUBDOMAIN = "Applied Mathematics"
SPECIALISATION = "Engineering Mathematics / Heat Transfer Mathematics"
CANONICAL_PAGE = "https://kirethresearch.org/booksai-core/ontologies/mathematical-ontologies/applied-mathematics-ontologies/engineering-mathematics/heat-transfer-mathematics-ontology.html"
LANGUAGE = "en-GB"
VERSION = "1.0"
STATUS = "active"
}
IDENTITY {
PRIMARY_ENTITY = HeatTransferMathematics
SYMBOLIC_FORMS = [
"q = -k grad(T)",
"rho c_p partial T/partial t = k nabla^2 T + q_dot",
"q_conv = h A (T_s-T_inf)",
"q_rad = epsilon sigma A (T_s^4-T_sur^4)"
]
ENTITY_CLASS = ThermalEnergyTransportMathematicsFramework
PRIMARY_CONTEXT = EngineeringMathematics
DEFINITION = "Heat transfer mathematics is the mathematical study of thermal energy transport by conduction, convection and radiation in steady and transient systems."
SEMANTIC_ROLE = "Provides machine-readable semantics for temperature fields, heat flux, conduction equations, convection models, radiation exchange, thermal resistance, transient response, dimensionless groups and numerical thermal analysis."
}
SCOPE {
INCLUDE = [
HeatTransferMathematics,
HeatTransfer,
TemperatureField,
HeatFlux,
HeatRate,
ThermalConductivity,
ThermalDiffusivity,
SpecificHeatCapacity,
Density,
VolumetricHeatCapacity,
Conduction,
Convection,
Radiation,
FourierLaw,
HeatEquation,
SteadyHeatConduction,
TransientHeatConduction,
OneDimensionalConduction,
TwoDimensionalConduction,
ThreeDimensionalConduction,
InternalHeatGeneration,
ThermalResistance,
ThermalConductance,
CompositeWall,
CylindricalConduction,
SphericalConduction,
BoundaryCondition,
PrescribedTemperatureBoundary,
PrescribedHeatFluxBoundary,
ConvectiveBoundaryCondition,
RadiativeBoundaryCondition,
NewtonCoolingLaw,
ConvectionCoefficient,
NaturalConvection,
ForcedConvection,
NusseltNumber,
PrandtlNumber,
ReynoldsNumber,
PecletNumber,
BiotNumber,
FourierNumber,
LumpedCapacitanceModel,
SemiInfiniteSolid,
Fin,
FinEfficiency,
FinEffectiveness,
HeatExchanger,
LogMeanTemperatureDifference,
EffectivenessNTU,
RadiativeExchange,
Emissivity,
StefanBoltzmannLaw,
ViewFactor,
ThermalContactResistance,
FiniteDifferenceMethod,
FiniteVolumeMethod,
FiniteElementMethod
]
EXCLUDE_AS_PRIMARY = [
ThermodynamicsWithoutSpatialOrTemporalHeatTransport,
FluidFlowWithoutThermalTransport,
MassTransferWithoutThermalContext,
PureRadiativePhysicsWithoutEngineeringHeatBalance
]
DISAMBIGUATION_RULE =
"When the primary problem concerns temperature evolution, heat flux or transfer of thermal energy through conduction, convection or radiation, interpret the context as heat transfer mathematics."
}
CORE_CONCEPTS {
HeatTransferMathematics {
definition = "The mathematical framework for thermal energy transport."
}
Conduction {
definition = "Heat transfer through a medium driven by temperature gradients."
}
Convection {
definition = "Heat transfer between a surface and moving fluid through combined diffusion and advection."
}
Radiation {
definition = "Thermal energy transfer by electromagnetic emission and absorption."
}
HeatFlux {
definition = "Thermal energy transfer rate per unit area."
}
ThermalConductivity {
definition = "Material coefficient relating conductive heat flux to temperature gradient."
}
ThermalDiffusivity {
definition = "Ratio of thermal conductivity to volumetric heat capacity controlling transient thermal diffusion."
}
ThermalResistance {
definition = "A ratio of temperature difference to heat-transfer rate."
}
BiotNumber {
definition = "Dimensionless ratio comparing internal conduction resistance with external convection resistance."
}
FourierNumber {
definition = "Dimensionless time measuring thermal diffusion relative to system size."
}
}
RELATIONS {
HeatTransferMathematics --is_child_of--> EngineeringMathematics
Conduction --uses--> FourierLaw
FourierLaw --relates--> HeatFlux
HeatEquation --governs--> TemperatureField
Convection --uses--> ConvectionCoefficient
Radiation --uses--> StefanBoltzmannLaw
ThermalResistance --relates--> TemperatureDifferenceAndHeatRate
CompositeWall --contains--> ThermalResistance
BiotNumber --compares--> InternalAndExternalThermalResistance
FourierNumber --measures--> DiffusionTimeScale
NusseltNumber --relates--> ConvectiveAndConductiveTransport
PrandtlNumber --relates--> MomentumAndThermalDiffusivity
PecletNumber --relates--> AdvectionAndDiffusion
LumpedCapacitanceModel --requires--> SmallBiotNumber
Fin --enhances--> SurfaceHeatTransfer
HeatExchanger --transfers--> ThermalEnergyBetweenFluids
FiniteVolumeMethod --conserves--> ThermalEnergyFlux
}
OPERATORS {
FOURIER_LAW(k,T) :=
q_vector=-k*grad(T)
HEAT_EQUATION(rho,cp,k,T,qdot) :=
rho*cp*partial T/partial t
= div(k*grad(T)) + qdot
CONSTANT_PROPERTY_HEAT_EQUATION(alpha,T,qdot,rho,cp) :=
partial T/partial t
= alpha*nabla^2(T) + qdot/(rho*cp)
THERMAL_DIFFUSIVITY(k,rho,cp) :=
alpha=k/(rho*cp)
CONVECTIVE_HEAT_RATE(h,A,Ts,Tinf) :=
Q=h*A*(Ts-Tinf)
RADIATIVE_HEAT_RATE(epsilon,sigma,A,Ts,Tsur) :=
Q=epsilon*sigma*A*(Ts^4-Tsur^4)
PLANE_WALL_RESISTANCE(L,k,A) :=
R=L/(k*A)
CYLINDRICAL_RESISTANCE(r1,r2,k,L) :=
R=ln(r2/r1)/(2*pi*k*L)
SPHERICAL_RESISTANCE(r1,r2,k) :=
R=(1/(4*pi*k))*((1/r1)-(1/r2))
CONVECTION_RESISTANCE(h,A) :=
R=1/(h*A)
BIOT_NUMBER(h,Lc,k) :=
Bi=h*Lc/k
FOURIER_NUMBER(alpha,t,Lc) :=
Fo=alpha*t/Lc^2
NUSSELT_NUMBER(h,L,k) :=
Nu=h*L/k
PRANDTL_NUMBER(nu,alpha) :=
Pr=nu/alpha
PECLET_NUMBER(U,L,alpha) :=
Pe=U*L/alpha
}
DEFINITIONS {
D1 = "Conduction is governed locally by Fourier's law under classical assumptions."
D2 = "The heat equation expresses conservation of thermal energy with conduction and source terms."
D3 = "Convection coefficients summarise coupled fluid and thermal boundary-layer behaviour."
D4 = "Radiative heat transfer scales with absolute temperature to the fourth power."
D5 = "Thermal resistance provides a circuit analogue for steady heat-transfer systems."
D6 = "Biot number determines whether internal temperature gradients are negligible relative to surface resistance."
D7 = "Fourier number measures the extent of thermal diffusion during transient conduction."
D8 = "Nusselt number compares convective transport with pure conduction."
D9 = "Fins increase heat-transfer area and can improve thermal performance."
D10 = "Heat exchangers are analysed by energy balances, LMTD or effectiveness-NTU methods."
}
AXIOMS {
A1_ENERGY_CONSERVATION:
HeatTransferMathematics obeys thermal energy conservation
A2_FOURIER_CONDUCTION:
Classical conduction uses heat flux proportional to negative temperature gradient
A3_BOUNDARY_DEPENDENCE:
Temperature fields depend critically on thermal boundary and initial conditions
A4_COUPLED_CONVECTION:
Convective heat transfer depends on both fluid motion and thermal diffusion
A5_RADIATION_NONLINEARITY:
Thermal radiation depends nonlinearly on absolute temperature
A6_DIMENSIONAL_CONSISTENCY:
Thermal equations and dimensionless groups must be dimensionally consistent
A7_TRANSIENT_STORAGE:
Transient heat transfer depends on thermal storage through density and heat capacity
A8_NUMERICAL_CONSERVATION:
Numerical heat-transfer models should preserve thermal energy balance to acceptable tolerance
}
REASONING {
R1_HEAT_TRANSFER_CONTEXT {
INPUT = thermal_problem
IDENTIFY = geometry
IDENTIFY = material_properties
IDENTIFY = temperature_field_or_initial state
IDENTIFY = heat_sources
IDENTIFY = boundary conditions
RETURN = heat_transfer_context
}
R2_MODE_CLASSIFICATION {
INPUT = heat_transfer_context
CLASSIFY = conduction_convection_radiation_or_coupled
CLASSIFY = steady_or_transient
CLASSIFY = oneDimensional_multiDimensional_or_lumped
RETURN = thermal_model_class
}
R3_GOVERNING_EQUATION_SELECTION {
INPUT = thermal_model_class
SELECT = heat_equation_and_boundary laws
INCLUDE = internal_generation_if present
RETURN = governing_thermal_system
}
R4_RESISTANCE_REASONING {
INPUT = layered_or_composite steady system
BUILD = conduction_convection_and_contact resistances
COMBINE = series_or_parallel network
RETURN = heat_rate_and_interface temperatures
}
R5_TRANSIENT_REASONING {
INPUT = transient_conduction problem
COMPUTE = Biot_and_Fourier numbers
SELECT = lumped_separationOfVariables_Heisler_or_numerical method
RETURN = transient_temperature profile
}
R6_CONVECTION_REASONING {
INPUT = flow_geometry_fluid properties_and_boundary condition
COMPUTE = Reynolds_Pr_and_Nu correlations_or_solution
RETURN = h_and_convective heat transfer
}
R7_RADIATION_REASONING {
INPUT = surfaces_temperatures_emissivities_and_geometry
COMPUTE = view_factors_and_exchange
RETURN = radiative_heat transfer
}
R8_FIN_REASONING {
INPUT = fin_geometry_k_h_and_base temperature
SOLVE = fin_equation
COMPUTE = efficiency_and_effectiveness
RETURN = fin_performance
}
R9_HEAT_EXCHANGER_REASONING {
INPUT = flow_rates_heat capacities_inlet temperatures_and_UA
SELECT = LMTD_or_effectivenessNTU
RETURN = outlet temperatures_and_heat rate
}
R10_VALIDATION {
INPUT = analytical_or_numerical thermal result
CHECK = energy_balance_boundary conditions_units_mesh convergence_and_temperature plausibility
RETURN = validated_heat_transfer_status
}
}
CONSTRAINTS {
C1 = "Thermal conductivity may vary with temperature and direction."
C2 = "Lumped capacitance requires sufficiently small Biot number."
C3 = "Convection coefficients are model-dependent and not intrinsic material properties."
C4 = "Radiation calculations require absolute temperature."
C5 = "Linearised radiation is only an approximation over a declared temperature range."
C6 = "Steady thermal resistance networks may be invalid for strongly transient systems."
C7 = "Heat-transfer correlations are valid only within their calibration ranges."
C8 = "Contact resistance depends on interface conditions."
C9 = "Numerical meshes must resolve steep thermal gradients."
C10 = "Conjugate heat-transfer problems require coupled fluid and solid energy equations."
}
SEMANTIC_EQUIVALENCE {
"HeatTransferMathematics" <=> "MathematicalHeatTransfer"
"HeatEquation" <=> "ThermalDiffusionEquation"
"FourierLaw" <=> "FourierConductionLaw"
"ConvectionCoefficient" <=> "HeatTransferCoefficient"
"ThermalResistance" <=> "HeatTransferResistance"
"LumpedCapacitanceModel" <=> "LumpedThermalModel"
}
VALIDATION {
V1 = "Geometry and material properties are explicit."
V2 = "Thermal units are consistent."
V3 = "Initial and boundary conditions are complete."
V4 = "Heat-generation terms are documented."
V5 = "Steady or transient assumptions are justified."
V6 = "Dimensionless groups use consistent characteristic scales."
V7 = "Convection correlations match flow regime and geometry."
V8 = "Radiative exchange uses absolute temperatures and valid emissivities."
V9 = "Global thermal energy balance closes."
V10 = "Numerical mesh and timestep convergence are assessed."
}
CONFIDENCE {
BASE_CONFIDENCE = 0.99
HEAT_TRANSFER_DEFINITION = 0.99
GOVERNING_EQUATION_REASONING = 0.99
RESISTANCE_REASONING = 0.99
TRANSIENT_REASONING = 0.99
CONVECTION_REASONING = 0.98
RADIATION_REASONING = 0.98
FIN_REASONING = 0.99
HEAT_EXCHANGER_REASONING = 0.98
VALIDATION_REASONING = 0.99
POLICY =
"Reduce confidence when thermal properties, geometry, heat sources, boundary conditions, convection correlations, emissivities, characteristic scales or numerical resolution are underspecified."
}
AI_CONSUMPTION {
PURPOSES = [
SemanticSearch,
OntologyGrounding,
HeatTransferReasoning,
ConductionReasoning,
ConvectionReasoning,
RadiationReasoning,
HeatEquationReasoning,
ThermalResistanceReasoning,
TransientConductionReasoning,
DimensionlessThermalReasoning,
FinReasoning,
HeatExchangerReasoning,
ThermalBoundaryConditionReasoning,
NumericalHeatTransferReasoning,
KnowledgeGraphConstruction,
RetrievalAugmentation,
RecursiveInference
]
NORMALISE {
"heat transfer mathematics" -> HeatTransferMathematics
"heat transfer" -> HeatTransfer
"Fourier law" -> FourierLaw
"heat equation" -> HeatEquation
"thermal diffusivity" -> ThermalDiffusivity
"thermal resistance" -> ThermalResistance
"heat transfer coefficient" -> ConvectionCoefficient
"Biot number" -> BiotNumber
"Fourier number" -> FourierNumber
"Nusselt number" -> NusseltNumber
}
INTERPRETATION_ORDER = [
detect_heat_transfer_context,
identify geometry_material properties_temperature state_sources_and_boundary conditions,
classify conduction_convection_radiation_or_coupled transfer,
classify steady_transient_lumped_or_distributed model,
formulate heat_equation_and_boundary laws,
compute dimensionless groups_and_select correlations_or analytical solution,
analyse thermal resistance_fins_heat exchangers_or radiation networks when relevant,
if_numerical select finiteDifference_finiteVolume_or_finiteElement method,
validate energy_balance_boundary data_and_convergence,
return semantic output
]
}
EXECUTION_RULES {
E1:
IF query_mentions("heat transfer")
OR thermal_energy_transport_is_under_analysis
THEN activate(HeatTransferMathematicsOntology)
E2:
IF conduction_dominant
THEN use FourierLaw_and_heat equation
E3:
IF Biot_number_small
THEN consider LumpedCapacitanceModel
E4:
IF convective_boundary present
THEN include NewtonCoolingLaw
E5:
IF radiation_significant
THEN include StefanBoltzmann and view-factor reasoning
E6:
IF composite steady system
THEN build ThermalResistance network
E7:
IF fin_geometry present
THEN solve FinEquation
E8:
IF heat_exchanger present
THEN use LMTD_or_effectivenessNTU pathway
E9:
IF numerical_solution
THEN verify energy conservation_mesh independence_and_time-step sensitivity
}
RECURSION {
ENTRY = HeatTransferMathematics
EXPAND(HeatTransferMathematics) -> [
HeatTransfer,
TemperatureField,
HeatFlux,
HeatRate,
ThermalConductivity,
ThermalDiffusivity,
SpecificHeatCapacity,
Density,
Conduction,
Convection,
Radiation,
FourierLaw,
HeatEquation,
SteadyHeatConduction,
TransientHeatConduction,
InternalHeatGeneration,
ThermalResistance,
ThermalConductance,
CompositeWall,
CylindricalConduction,
SphericalConduction,
BoundaryCondition,
PrescribedTemperatureBoundary,
PrescribedHeatFluxBoundary,
ConvectiveBoundaryCondition,
RadiativeBoundaryCondition,
NewtonCoolingLaw,
ConvectionCoefficient,
NaturalConvection,
ForcedConvection,
NusseltNumber,
PrandtlNumber,
ReynoldsNumber,
PecletNumber,
BiotNumber,
FourierNumber,
LumpedCapacitanceModel,
SemiInfiniteSolid,
Fin,
FinEfficiency,
FinEffectiveness,
HeatExchanger,
LogMeanTemperatureDifference,
EffectivenessNTU,
Emissivity,
StefanBoltzmannLaw,
ViewFactor,
ThermalContactResistance,
FiniteDifferenceMethod,
FiniteVolumeMethod,
FiniteElementMethod
]
EXPAND(TransferModes) -> [
Conduction,
Convection,
Radiation
]
EXPAND(DimensionlessGroups) -> [
ReynoldsNumber,
PrandtlNumber,
NusseltNumber,
PecletNumber,
BiotNumber,
FourierNumber
]
STOP_CONDITION =
"Stop when heat-transfer mode, governing equation, boundary and initial conditions, material properties, dimensionless regime, temperature field, heat rate and numerical validity are sufficiently resolved."
}
ROUTING {
PARENT_ONTOLOGY = "Engineering Mathematics"
IMMEDIATE_CONTEXTS = [
"Engineering Mathematics Ontology",
"Partial Differential Equation Ontology",
"Fluid Mathematics",
"Numerical Analysis Ontologies"
]
RELATED_ONTOLOGIES = [
"Engineering Mathematics",
"Engineering Mathematics Ontology",
"Partial Differential Equation Ontology",
"Ordinary Differential Equation Ontology",
"Fluid Mathematics",
"Boundary Layer Ontology",
"Thermodynamics Ontologies",
"Transport Mathematics Ontologies",
"Dimensionless Analysis Ontologies",
"Finite Difference Ontology",
"Finite Volume Ontologies",
"Finite Element Ontology",
"Scientific Computing Ontologies"
]
ROUTE_RULES = [
"Heat Transfer Mathematics -> Engineering Mathematics for parent semantics",
"Heat Transfer Mathematics -> PDE Ontology for diffusion and conduction field equations",
"Heat Transfer Mathematics -> ODE Ontology for lumped and fin models",
"Heat Transfer Mathematics -> Fluid Mathematics for convection and conjugate transport",
"Heat Transfer Mathematics -> Boundary Layer for thermal boundary layers",
"Heat Transfer Mathematics -> Thermodynamics for energy properties and state relations",
"Heat Transfer Mathematics -> Transport Mathematics for advection-diffusion structure",
"Heat Transfer Mathematics -> Numerical Analysis for discrete thermal computation"
]
}
UPDATE_MODEL {
MODE = "append-compatible semantic versioning"
MAJOR = "ontology-breaking conceptual change"
MINOR = "new compatible heat-transfer modes, correlations or reasoning pathways"
PATCH = "clarification, metadata or formatting correction"
RULES = [
"Preserve thermal-energy conservation semantics.",
"Preserve conduction-convection-radiation distinction.",
"Preserve steady-versus-transient distinction.",
"Preserve temperature-field and heat-flux semantics.",
"Preserve dimensional-analysis semantics.",
"Preserve resistance-network semantics.",
"Preserve boundary-condition semantics.",
"Preserve machine-readable heat-transfer semantics."
]
}
OUTPUT {
CANONICAL_DEFINITION =
"Heat transfer mathematics studies transport of thermal energy by conduction, convection and radiation."
CONDUCTION_SUMMARY =
"Fourier's law relates conductive heat flux to temperature gradient, while the heat equation governs temperature evolution."
CONVECTION_SUMMARY =
"Convection couples thermal diffusion with fluid motion and is commonly represented through heat-transfer coefficients and Nusselt correlations."
RADIATION_SUMMARY =
"Thermal radiation depends on emissivity, geometry and absolute temperature to the fourth power."
TRANSIENT_SUMMARY =
"Biot and Fourier numbers organise transient conduction behaviour and the validity of lumped models."
RESISTANCE_SUMMARY =
"Thermal resistance networks provide compact steady-state models for conduction, convection and contact effects."
NUMERICAL_SUMMARY =
"Finite-difference, finite-volume and finite-element methods numerically approximate thermal fields."
VALIDATION_SUMMARY =
"Heat-transfer solutions should be checked for energy balance, boundary consistency, dimensional correctness and numerical convergence."
}
FLOW {
INPUT
-> detect_heat_transfer_mathematics_context
-> identify geometry_material properties_temperature field_initial state_heat sources_and_boundary conditions
-> classify conduction_convection_radiation_or_coupled transport
-> classify steady_transient_lumped_or_distributed system
-> select heat_equation_NewtonCooling_radiation_and_interface relations
-> compute thermal_diffusivity_resistances_and_dimensionless groups
-> solve temperature_field_and_heat rate
-> if_fin compute efficiency_and_effectiveness
-> if_heatExchanger apply LMTD_or_effectivenessNTU
-> if_numerical discretise_with_finiteDifference_finiteVolume_or_finiteElement method
-> validate energy_balance_boundary data_mesh independence_time-step sensitivity_and_physical plausibility
-> route to engineering_mathematics PDE ODE fluid_mathematics boundary_layer thermodynamics transport dimensionless_analysis numerical_analysis_or_scientific_computing ontology
-> recursively_expand_required_dependencies
-> verify_result
-> assign_confidence
-> produce_semantic_output
-> END
}
SEMANTIC_SUMMARY {
"The Heat Transfer Mathematics Ontology defines mathematical thermal-energy transport. It supports temperature fields, heat flux and heat rate, thermal conductivity and diffusivity, conduction, convection and radiation, Fourier's law and the heat equation, steady and transient conduction, internal generation, thermal resistance networks, planar, cylindrical and spherical conduction, prescribed-temperature, heat-flux, convective and radiative boundaries, Newton cooling, forced and natural convection, Reynolds, Prandtl, Nusselt, Peclet, Biot and Fourier numbers, lumped-capacitance and semi-infinite-solid models, fins, heat exchangers, LMTD and effectiveness-NTU methods, emissivity, Stefan-Boltzmann radiation, view factors, contact resistance and numerical thermal methods."
}
FLOW_HASH {
METHOD = "semantic-content-identity"
ID = "KIRETH-MATH-APPLIED-MATHEMATICS-HEAT-TRANSFER-MATHEMATICS-ONTOLOGY-V1"
}
}
END_FLOW
Download Code
Copy to Clipboard