continuity.omdoc
This is a theory containing the mobilitiy parameters of
the semiconductor.
Mobilities
The electron mobility parameter usually denoted by μ_n.
constant mobility_electrons
type
parsing-notationμ_n (precedence 0)
The hole mobility parameter usually denoted by μ_p.
constant mobility_holes
type
parsing-notationμ_p (precedence 0)
This is a theory containing the expression for the electron current.
CurrentElectrons
structure FermiPotentialElectrons
domain?FermiPotentialElectrons
structure ElectrostaticPotential
domain?ElectrostaticPotential
structure DensityElectrons
domain?DensityElectrons
structure Mobilities
domain?Mobilities
Definition of the electron current in gradient form.
The driving force of the current are the negative gradients of
the quasi-Fermi potential, here denoted by j_n.
constant current_electrons
type{P:bool}(((predP))((predP))((predP)))
definition[P:bool]([f:(predP),g:(predP)]([x:predP]((((-q)μ_n)(n(fx)(gx)))((g'([z:](Pz)))x))))
parsing-notationj_n b c (precedence 0)
This is a theory containing the expression for the hole current.
CurrentHoles
structure FermiPotentialHoles
domain?FermiPotentialHoles
structure ElectrostaticPotential
domain?ElectrostaticPotential
structure DensityHoles
domain?DensityHoles
structure Mobilities
domain?Mobilities
Defintion of the hole current in gradient form.
The driving force of the current are the negative gradient of
the quasi-Fermi potential, here denoted by j_p.
constant current_holes
type{P:bool}(((predP))((predP))((predP)))
definition[P:bool]([f:(predP),g:(predP)]([x:predP]((((-q)μ_p)(p(fx)(gx)))((g'([z:](Pz)))x))))
parsing-notationj_p b c (precedence 0)
This is a theory containing the continuity equation for the electrons.
ContinuityEquationElectrons
structure CurrentElectrons
domain?CurrentElectrons
structure DensityHoles
domain?DensityHoles
structure FermiPotentialHoles
domain?FermiPotentialHoles
structure Recombination
domain?Recombination
structure ElectrostaticPotential
domain?ElectrostaticPotential
Formulation of the continuity equation for electrons in divergence form.
constant continuity_equation_electrons
type(((j_n([z:](domain_propz))ψφ_n)'([z:](domain_propz)))((pred([z:](domain_propz))))([x:Ω](q(R(n(ψx)(φ_nx))(p(ψx)(φ_px))(φ_nx)(φ_px)))))
This is a theory containing the continuity equation for the holes.
ContinuityEquationHoles
structure CurrentHoles
domain?CurrentHoles
structure DensityElectrons
domain?DensityElectrons
structure FermiPotentialElectrons
domain?FermiPotentialElectrons
structure Recombination
domain?Recombination
structure ElectrostaticPotential
domain?ElectrostaticPotential
Formulation of the continuity equation for holes in divergence form.
constant continuity_equation_holes
type(((j_p([z:](domain_propz))ψφ_p)'([z:](domain_propz)))((pred([z:](domain_propz))))([x:Ω]((-q)(R(n(ψx)(φ_nx))(p(ψx)(φ_px))(φ_nx)(φ_px)))))
This is a theory containing the boundary conditions for the
electron continuity equation modeling Ohmic contacts.
ContinuityBoundaryConditionsElectrons
structure DeviceOperationState
domain?DeviceOperationState
Boundary condition for the top contact.
constant potential_top
type
definitionU_1
parsing-notationφ_n_1 (precedence 0)
Boundary condition for the bottom contact.
constant potential_bottom
type
definitionU_2
parsing-notationφ_n_2 (precedence 0)
This is a theory containing the boundary conditions for the
holes continuity equation modeling Ohmic contacts.
ContinuityBoundaryConditionsHoles
structure DeviceOperationState
domain?DeviceOperationState
Boundary condition for the top contact.
constant potential_top
type
definitionU_1
parsing-notationφ_p_1 (precedence 0)
Boundary condition for the bottom contact.
constant potential_bottom
type
definitionU_2
parsing-notationφ_p_2 (precedence 0)