The application of gel electrophoresis and numerical analysis of yeast soluble proteins analysis to the investigation of 12 oral yeast strains belonging to five species is described. It involves one-dimensional electrophoresis of SDS-solubilized whole-cell proteins using different culture media for the cultivation of the cells, integration densitometries in the areas of the gels and percentages of the proteins extraction. These extracts were prepared from four isolates of Candida albicans, two of C. tropicalis, C. guilliermondii, C. parapsilosis and C. krusei. The extracts from whole-cells proteins using different culture media for the cultivation of the cells were fractionated by slab electrophoresis using a discontinuous buffer system. The corresponding patterns showed at least 36 polypeptides in the range of 14.4-200 kDa. Different isolates of each species were clearly different in each of the five species. The data obtained suggest that different nutritional compositions led to the expression of different proteins derived from alternatives metabolic pathways expressed by the electrophoretic profiles. The construction of a database of protein fingerprints and numerical analysis based on such data, may have some implications in the classification and identification of such species with epidemiological...

This paper presents a numerical analysis of prestressed hollow core slabs under long term loading. The model considers the time dependence of material and rheological properties in order to predict the actual stage of displacements, strains and stresses. It also takes into account load changes. For the analysis, each slab is divided in a finite number of bar elements, in which the cross section is described in concrete elements, parallel to the flexural axis, and prestressed steel elements. For the results evaluation, the effective concrete area is considered. The numerical results are compared with experimental tests performed on two series of prestressed hollow core slabs. Each series had a different geometry, rate and distribution of prestressing strands. Mid-span displacements were evaluated up to 127 days after initial loading. Good correlation was achieved with both series at and below the service load level.

The use of composite materials based on polymeric resins and fiber as strengthening in concrete structures has been widely used. The use of carbon fiber reinforced polymers or other synthetic fibers is consolidated by its excellent characteristics, such as high strength, low weight, corrosion resistance, etc. This material in the form of sheets or laminates is bonded to the concrete substrate with epoxy-based adhesives. Although epoxy has proven to have excellent bonding and resistance performance, it has some disadvantages, such as low permeability, poor thermal compatibility with the base concrete, poor fire resistance, etc. Cement-based composite systems consisting of FRPs and a cementitious bonding agent can be used to prevent some of these problems. This study presents the numerical analysis, using a non-linear finite element model, of the structural behavior of reinforced concrete beams externally reinforced with a composite material made of high-strength synthetic fiber mesh and cementitious mortar. The numerical results were compared with experimental results reported in international journals, demonstrating the efficiency of the strengthening technique and the numerical model capacity.; A aplicação de materiais compósitos à base de resinas poliméricas e fibras no reforço de estruturas de concreto armado se tornou uma técnica bastante difundida nos últimos tempos. O uso dos compósitos reforçados com fibras de carbono...

The vanishing moment method was introduced by the authors in [37] as a
reliable methodology for computing viscosity solutions of fully nonlinear
second order partial differential equations (PDEs), in particular, using
Galerkin-type numerical methods such as finite element methods, spectral
methods, and discontinuous Galerkin methods, a task which has not been
practicable in the past. The crux of the vanishing moment method is the simple
idea of approximating a fully nonlinear second order PDE by a family
(parametrized by a small parameter $\vepsi$) of quasilinear higher order (in
particular, fourth order) PDEs. The primary objectives of this book are to
present a detailed convergent analysis for the method in the radial symmetric
case and to carry out a comprehensive finite element numerical analysis for the
vanishing moment equations (i.e., the regularized fourth order PDEs). Abstract
methodological and convergence analysis frameworks of conforming finite element
methods and mixed finite element methods are first developed for fully
nonlinear second order PDEs in general settings. The abstract frameworks are
then applied to three prototypical nonlinear equations, namely, the
Monge-Amp\`ere equation, the equation of prescribed Gauss curvature...

The main purpose of the present paper is to study from a numerical analysis
point of view some robust methods designed to cope with stiff (highly
anisotropic) elliptic problems. The so-called asymptotic-preserving schemes
studied in this paper are very efficient in dealing with a wide range of
$\varepsilon$-values, where $0 < \varepsilon \ll 1$ is the stiffness parameter,
responsible for the high anisotropy of the problem. In particular, these
schemes are even able to capture the macroscopic properties of the system, as
$\varepsilon$ tends towards zero, while the discretization parameters remain
fixed. The objective of this work shall be to prove some
$\varepsilon$-independent convergence results for these numerical schemes and
put hence some more rigor in the construction of such AP-methods.

Space and time discretizations of parabolic differential equations with
dynamic boundary conditions are studied in a weak formulation that fits into
the standard abstract formulation of parabolic problems, just that the usual
L^2(\Omega) inner product is replaced by an L^2(\Omega) \oplus L^2(\Gamma)
inner product. The class of parabolic equations considered includes linear
problems with time- and space-dependent coefficients and semilinear problems
such as reaction-diffusion on a surface coupled to diffusion in the bulk. The
spatial discretization by finite elements is studied in the proposed framework,
with particular attention to the error analysis of the Ritz map for the
elliptic bilinear form in relation to the inner product, both of which contain
boundary integrals. The error analysis is done for both polygonal and smooth
domains. We further consider mass lumping, which enables us to use exponential
integrators and bulk-surface splitting for time integration.; Comment: Submitted to IMA Journal of Numerical Analysis

This paper performs the numerical analysis and the computation of a Spread
option in a market with imperfect liquidity. The number of shares traded in the
stock market has a direct impact on the stock's price. Thus, we consider a
full-feedback model in which price impact is fully incorporated into the model.
The price of a Spread option is characterize by a nonlinear partial di?erential
equation. This is reduced to linear equations by asymptotic expansions. The
Peaceman-Rachford scheme as an alternating direction implicit method is
employed to solve the linear equations numerically. We discuss the stability
and the convergence of the numerical scheme. Illustrative examples are included
to demonstrate the validity and applicability of the presented method. Finally
we provide a numerical analysis of the illiquidity e?ect in replicating an
European Spread option; compared to the Black-Scholes case, a trader generally
buys more stock to replicate this option.

The gradient scheme framework is based on a small number of properties and
encompasses a large number of numerical methods for diffusion models. We recall
these properties and develop some new generic tools associated with the
gradient scheme framework. These tools enable us to prove that classical
schemes are indeed gradient schemes, and allow us to perform a complete and
generic study of the well-known (but rarely well-studied) mass lumping process.
They also allow an easy check of the mathematical properties of new schemes, by
developing a generic process for eliminating unknowns via barycentric
condensation, and by designing a concept of discrete functional analysis
toolbox for schemes based on polytopal meshes.; Comment: To appear in Mathematical Modelling and Numerical Analysis (M2AN),
special edition on Polyhedral meshes

We propose a new class of fundamental solutions for the numerical analysis of
boundary value problems for the Maxwell equations. We prove completeness of
systems of such fundamental solutions in appropriate Sobolev spaces on a smooth
boundary and support the relevancy of our approach by numerical results.; Comment: 1 figure

We give an overview of recent developments in the problem of reconstructing a
band-limited signal from non-uniform sampling from a numerical analysis view
point. It is shown that the appropriate design of the finite-dimensional model
plays a key role in the numerical solution of the non-uniform sampling problem.
In the one approach (often proposed in the literature) the finite-dimensional
model leads to an ill-posed problem even in very simple situations. The other
approach that we consider leads to a well-posed problem that preserves
important structural properties of the original infinite-dimensional problem
and gives rise to efficient numerical algorithms. Furthermore a fast multilevel
algorithm is presented that can reconstruct signals of unknown bandwidth from
noisy non-uniformly spaced samples. We also discuss the design of efficient
regularization methods for ill-conditioned reconstruction problems. Numerical
examples from spectroscopy and exploration geophysics demonstrate the
performance of the proposed methods.

We prove a general theorem providing smoothed analysis estimates for conic
condition numbers of problems of numerical analysis. Our probability estimates
depend only on geometric invariants of the corresponding sets of ill-posed
inputs. Several applications to linear and polynomial equation solving show
that the estimates obtained in this way are easy to derive and quite accurate.
The main theorem is based on a volume estimate of \epsilon-tubular
neighborhoods around a real algebraic subvariety of a sphere, intersected with
a disk of radius \sigma. Besides \epsilon and \sigma, this bound depends only
the dimension of the sphere and on the degree of the defining equations.; Comment: 30 pages, 4 figures

This is the accepted manuscript. The final version is available from IEEE at http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6983573.; ?High-temperature superconducting (HTS) coils play an important role in a number of large-scale engineering applications, such as electric machines employing HTS coated conductors. Non-uniformities and anisotropy in the properties of the coated conductor along its length and width can have a large impact on the performance of the tape, which directly influences the performance of an HTS electric machine. In this paper, the specific influences of non-uniformity and anisotropy on the dc properties of coils, such as the maximum allowable dc current, and the ac properties, such as ac loss, are analyzed using a numerical model based on the H formulation. It is found that non-uniformity along the conductor width has a large effect on the ac properties (i.e., ac loss) of a coil, but a relatively small effect on the dc properties (i.e., critical current). Conversely, non-uniformity along the length has a small effect on the ac coil properties, but has a large effect on the dc properties. Index Terms?AC loss, critical current density (superconductivity), high-temperature superconductors, numerical analysis...

Classical thermoelasticity theory is based on Fourier's Law of
heat conduction, which, when combined with the other fundamental
field equations, leads to coupled hyperbolic-parabolic governing
equations. These equations imply that thermal effects are to be
felt instantaneously, far away from the external thermomechanieal
load. Therefore, this theory admits infinite speeds of propagation
of thermoelastic disturbances. This paradox becomes especially
evident in problems involving very short time intervals, or high
rates. of heat flux.
Since infinite wave speeds are physically unrealistic in some
situations, and since experiments have shown the existence of wavetype
thermoelastic interactions, like in the observation of thermal
pulses in dielectric crystals, "generalized" thermoelasticity
theories have been developed. This thesis concentrates on one
generalized thermoelasticity theory, proposed by Green and Lindsay,
in which a generalized thermoelastic coupling constant, e, and two
relaxation times, t0 and t, account for finite speed thermoelastic
waves .
A numerical analysis of an exact analytical solution,
involving an instantaneous plane source of heat in an infinite
body, is performed. The analysis reveals two finite speed wave
fronts for each of the four fields: displacement...