From ddb116457571e0db8e9d1f1432a49bf1782b6543 Mon Sep 17 00:00:00 2001
From: Thomas Koprucki <thomas.koprucki@wias-berlin.de>
Date: Thu, 18 May 2017 16:13:42 +0200
Subject: [PATCH] Updated version of thermistor model (complete bis auf heat
 equation)

---
 source/thermistor/quantities.mmt | 115 ++++++++++++++++++++++++++++++-
 1 file changed, 114 insertions(+), 1 deletion(-)

diff --git a/source/thermistor/quantities.mmt b/source/thermistor/quantities.mmt
index 6776d3d..e9a9c5d 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
-- 
GitLab