recombination.omdoc
This is a theory containing the general structure for
a recombination rate.
Recombination
structure DeviceOperationState
domain?DeviceOperationState
structure DensityElectrons
domain?DensityElectrons
structure DensityHoles
domain?DensityHoles
The kernel of the recombination rate depending
on electron and hole densities.
constant recombination_coefficient
type
parsing-notationr (precedence 0)
Recombination rate for right hand side of continuity equations.
constant recombination_rate
type
definition[xn:,xp:,xφ_n:,xφ_p:]((((rxnxp)xn)xp)(1-(exp((q(xφ_n-xφ_p))(k_BT)prf))))
parsing-notationR (precedence 0)
Kernel for spontaneous recombination with coefficient B.
SpontaneousRecombination
structure Recombination
domain?Recombination
The coefficient for the sponanteous recombination rate is denoted by B
constant spontaneous_recombination_coefficient
type
parsing-notationB (precedence 0)
Formula for sponanteous recombination r(n,p) = B
constant axiom_spontaneous
type(r()([x:,y:]B))