ThermoSolver is an educational thermodynamics software program designed to be both
easy to use and useful in that it permits the user to make nontrivial chemical engineering
thermodynamic calculations. The software program accompanies the textbook
Engineering and Chemical Thermodynamics by Milo Koretsky, and is available for free
download from the...
This paper studies necessary and sufficient conditions for
a matrix to be conjunctive with its adjoint. The problem is solved
completely in the usual complex case, in which it is shown that a
matrix is conjunctive to its adjoint iff it is conjunctive to a real
matrix. The problem is...
In this paper we investigate the Lyapunov mapping
P --> AP + PA *
where A is a positive stable matrix and P is a hermitian
matrix. In particular, for special positive stable A we
characterize the image of the cone of positive definite matrices
under this mapping. In Section...
In this thesis we define two nxn matrices T and S to be isoconjunctive if there exists an nxn nonsingular hermitian matrix H such that T = HSH. We then proceed to establish necessary and sufficient conditions that two nxn matrices T and S be isoconjunctive in the case where...
The main result of this dissertation provides rather
general conditions under which extensions of zero order
propositional calculi inherit the property of having a
finite characteristic model. This result is applied to
show that if a calculus T is a normal extension of the
Heyting calculus H, and if T...
In this dissertation we consider two application specific flow and transport models in porous media at multiple scales: 1) methane gas transport models for hydrate formation and dissociation in the subsurface under two-phase conditions, and 2) coupled flow and biomass-nutrient model for biofilm growth in complex geometries with biofilm, and...
In this work we consider a mathematical and computational model for biofilm growth and nutrient utilization. In particular, we are interested in a model appropriate at a scale of interface. The model is a system of two coupled nonlinear diffusion--reaction partial differential equations (PDEs). One of these PDEs is subject...
This report presents a characterization of the quantum mechanical
analog of the Gibbs canonical density. The approach is
based on a method developed by D.S. Carter for the case of classical
statistical mechanics, which considers composite mechanical systems
composed of mechanically and statistically independent components.
After a brief introductory chapter,...
In this work, we consider a convexity splitting scheme for a coupled phase field and energy equation, a modification of Stefan problem. The Stefan problem is a free boundary value problem that models the temperature in a homogeneous multiphase medium. Each phase is modeled using a heat diffusion parabolic partial...
