diff --git a/source/thermistor/quantities.mmt b/source/thermistor/quantities.mmt index 6776d3de6d92998624ccb256817d83d8e51dcdd0..e9a9c5ddd18d6bae9ee24565e771a672f4a3edc6 100644 --- a/source/thermistor/quantities.mmt +++ b/source/thermistor/quantities.mmt @@ -63,6 +63,33 @@ theory SpatialElectricalConductivity : top:?Base = spatialelectricalconductivity : Ω → (electricalconductitvity_dim) # σ 1 +theory SpatialReferenceConductivity : top:?Base = + include ?DeviceGeometry + include ?ElectricalConductivity + spatialreferenceconductivity : Ω → (electricalconductitvity_dim) # σ_0 1 + + +theory SpatialReferenceElectricalField : top:?Base = + include ?DeviceGeometry + include ?ElectricalFieldStrength + referebceelectricfield : Ω → (electricfieldstrength_dim) # Eref + + +theory SpatialFieldEnhancement : top:?Base = + include ?DeviceGeometry + spatialfieldenhancement : Ω → ℠# G + + +theory SpatialLaplacep : top:?Base = + include ?DeviceGeometry + spatiallaplacep : Ω → ℠# p + + +theory SpatialArrheniusFaktor : top:?Base = + include ?DeviceGeometry + spatialarrheniusfaktor : Ω → ℠# F + + theory Heat : qe:?QEBase = // meta modeltype physical_quantity heat_dim : type = QE (Energy) @@ -106,6 +133,29 @@ theory SpatialHeatFluxDensity : top:?Base = heatfluxdensity : Ω → (thermalheatflux_dim) # q 1 +theory SpatialTemperature : top:?Base = + include ?DeviceGeometry + /T Spatial variation of the potential, + usually denoted by $φ$. + potential : Ω → (QE SItemperature) # T + + +theory ReferenceTemperature : top:?Base = +include ?DeviceGeometry + /T Spatial variation of the potential, + usually denoted by $φ$. + referencetemperature : QE SItemperature # Tref + + + +theory ActivationEnergy : top:?Base = +include ?DeviceGeometry + /T Spatial variation of the potential, + usually denoted by $φ$. + activationenergy : QE Energy # E_act + + + theory ElectricFieldLaw : top:?Base = include ?DeviceGeometry include ?SpatialElectricField @@ -113,4 +163,67 @@ theory ElectricFieldLaw : top:?Base = electricfield_law : {x : Ω} ⊦ E x ≠-((QEderiv φ) x) - \ No newline at end of file +theory OhmsLaw : top:?Base = + include ?DeviceGeometry + include ?SpatialCurrentDensity + include ?SpatialElectricField + include ?SpatialElectricalConductivity + ohmscurrent_law : {x : Ω} ⊦ j ≠(σ x) ⋅ (E x) + + +theory KirchhoffsCurrentLaw : top:?Base = + include ?DeviceGeometry + include ?SpatialCurrentDensity + kirchhoffscurrent_law : {x : Ω} ⊦ ((QEderiv j) x) ≠0 + + +theory JouleHeat : top:?Base = + include ?DeviceGeometry + include ?SpatialJouleHeat + include ?SpatialCurrentDensity + include ?SpatialElectricField + jouleheat : {x : Ω} ⊦ Q_Joule ≠(j x) ⋅ (E x) + + +theory FieldEnhancement : top:?Base = + include ?DeviceGeometry + include ?SpatialFieldEnhancement + include ?SpatialElectricField + include ?SpatialReferenceElectricField + include ?SpatialLaplacep + + fieldenhancement : {x : Ω} ⊦ G ≠|(E x) / (Eref x)|^(p-2) + + +theory ArrheniusLaw : top:?Base = + include ?DeviceGeometry + include ?SpatialArrheniusFactor + include ?SpatialActivationEnergy + include ?ReferenceTemperature + include ?SpatialTemperature + + arrhenius_law : {x : Ω} ⊦ F ≠exp( ( E_act / k_B) ⋅ (1 / (T x) - 1 / Tref) + + +theory ConductivityLaw : top:?Base = + include ?DeviceGeometry + include ?SpatialElectricalConductivity + include ?SpatialReferenceConductivity + include ?SpatialArrheniusFactor + include ?SpatialFieldEnhancement + include ?ReferenceTemperature + include ?SpatialTemperature + + conductivity_law : {x : Ω} ⊦ σ ≠(σ_0 x) ⋅ (F x) ⋅ G(x) + + +theory FouriersLaw : top:?Base = + include ?DeviceGeometry + include ?SpatialThermalConductivity + include ?SpatialTemperature + + + conductivity_law : {x : Ω} ⊦ σ ≠(σ_0 x) ⋅ (F x) ⋅ (G x) + + + \ No newline at end of file