Relocatable Field Programmable Gate Array Bitstreams For Fault Tolerance,
2011
Air Force Institute of Technology
Relocatable Field Programmable Gate Array Bitstreams For Fault Tolerance, David P. Montminy, Rusty O. Baldwin, Paul D. Williams
AFIT Patents
A Field Programmable Gate Array (FPGA) circuit capable of operating through at least one fault. The FPGA circuit includes a configuration memory and an embedded microprocessor. The embedded microprocessor having access to the configuration memory, static modules, at least one relocatable module, and at least one spare module. The relocatable module being relocatable from a first target area to a second target area. The relocatable module being relocatable by manipulating a partial bitstream with the embedded microprocessor. The microprocessor calculating a plurality of bitstream changes, to relocate the at least one relocatable module using at least triple modular redundancy (TMR).
On The Existence Of Equilibrium Points, Boundedness, Oscillating Behavior And Positivity Of A Sveirs Epidemic Model Under Constant And Impulsive Vaccination,
2011
Florida Institute of Technology
On The Existence Of Equilibrium Points, Boundedness, Oscillating Behavior And Positivity Of A Sveirs Epidemic Model Under Constant And Impulsive Vaccination, Manuel De La Sen, Ravi P. Agarwal, Asier Ibeas, Santiago Alonso-Quesada
Mathematics and System Engineering Faculty Publications
This paper discusses the disease-free and endemic equilibrium points of a SVEIRS propagation disease model which potentially involves a regular constant vaccination. The positivity of such a model is also discussed as well as the boundedness of the total and partial populations. The model takes also into consideration the natural population growing and the mortality associated to the disease as well as the lost of immunity of newborns. It is assumed that there are two finite delays affecting the susceptible, recovered, exposed, and infected population dynamics. Some extensions are given for the case when impulsive nonconstant vaccination is incorporated at, …
Much More Than Symbolics: The Early History Of Algebra And Its Significance For Introductory Algebra Education,
2011
Dordt College
Much More Than Symbolics: The Early History Of Algebra And Its Significance For Introductory Algebra Education, Calvin Jongsma
Faculty Work Comprehensive List
No abstract provided.
Comparison Of Development Test And Evaluation And Overall Program Estimate At Completion,
2011
Air Force Institute of Technology
Comparison Of Development Test And Evaluation And Overall Program Estimate At Completion, William R. Rosado
Theses and Dissertations
Historically, cost growth regression models analyze aggregate, program-level information. Initiatives by the Office of Secretary of Defense, Cost Assessment and Program Evaluation (OSD CAPE) require direct, centralized reporting of the complete Work Breakdown Structure (WBS) Earned Value (EV) data. Centralized reporting allows access to unfiltered, unaltered, EV data for multiple programs. Using regression, we evaluate if WBS element Development Test and Evaluation (DT&E) EV data is related to program estimate at completion (EAC). Identifying a relationship provides evidence validating pertinence and reliability of low level EV data. Additionally, a relationship between a specific WBS element and program EAC establishes a …
Hybrid Proofs Of The Q-Binomial Theorem And Other Identities,
2011
University of California - Irvine
Hybrid Proofs Of The Q-Binomial Theorem And Other Identities, Dennis Eichhorn, James Mclaughlin, Andrew V. Sills
Mathematics Faculty Publications
No abstract provided.
Three Channel Polarimetric Based Data Deconvolution,
2011
Air Force Institute of Technology
Three Channel Polarimetric Based Data Deconvolution, Kurtis G. Engelson
Theses and Dissertations
A three channel polarimetric deconvolution algorithm was developed to mitigate the degrading effects of atmospheric turbulence in astronomical imagery. Tests were executed using both simulation and laboratory data. The resulting efficacy of the three channel algorithm was compared to a recently developed two channel approach under identical conditions ensuring a fair comparison amongst both algorithms. Two types of simulations were performed. The first was a binary star simulation to compare resulting resolutions between the three and two channel algorithms. The second simulation measured how effective both algorithms could deconvolve a blurred satellite image. The simulation environment assumed the key parameters …
Voter Model Perturbations And Reaction Diffusion Equations,
2011
Syracuse University
Voter Model Perturbations And Reaction Diffusion Equations, J. Theodore Cox, Richard Durrett, Edwin A. Perkins
Mathematics - All Scholarship
We consider particle systems that are perturbations of the voter model and show that when space and time are rescaled the system converges to a solution of a reaction diffusion equation in dimensions d > 3. Combining this result with properties of the PDE, some methods arising from a low density super-Brownian limit theorem, and a block construction, we give general, and often asymptotically sharp, conditions for the existence of non-trivial stationary distributions, and for extinction of one type. As applications, we describe the phase diagrams of three systems when the parameters are close to the voter model: (i) a stochastic …
Wild Hypersurfaces,
2011
Syracuse University
Wild Hypersurfaces, Andrew Crabbe, Graham J. Leuschke
Mathematics - All Scholarship
Complete hypersurfaces of dimension at least 2 and multiplicity at least 4 have wild Cohen-Macaulay type.
Quantitative Interpretation Of A Genetic Model Of Carcinogenesis Using Computer Simulations,
2011
Wright State University - Main Campus
Quantitative Interpretation Of A Genetic Model Of Carcinogenesis Using Computer Simulations, Donghai Dai, Brandon Beck, Xiaofang Wang, Cory Howk, Yi Li
Mathematics and Statistics Faculty Publications
The genetic model of tumorigenesis by Vogelstein et al. (V theory) and the molecular definition of cancer hallmarks by Hanahan and Weinberg (W theory) represent two of the most comprehensive and systemic understandings of cancer. Here, we develop a mathematical model that quantitatively interprets these seminal cancer theories, starting from a set of equations describing the short life cycle of an individual cell in uterine epithelium during tissue regeneration. The process of malignant transformation of an individual cell is followed and the tissue (or tumor) is described as a composite of individual cells in order to quantitatively account for intra-tumor …
Mean Square Estimate For Primitive Lattice Points In Convex Planar Domains,
2011
Brigham Young University - Provo
Mean Square Estimate For Primitive Lattice Points In Convex Planar Domains, Ryan D. Coatney
Theses and Dissertations
The Gauss circle problem in classical number theory concerns the estimation of N(x) = { (m1;m2) in ZxZ : m1^2 + m2^2 <= x }, the number of integer lattice points inside a circle of radius sqrt(x). Gauss showed that P(x) = N(x)- pi * x satisfi es P(x) = O(sqrt(x)). Later Hardy and Landau independently proved that P(x) = Omega_(x1=4(log x)1=4). It is conjectured that inf{e in R : P(x) = O(x^e )}= 1/4. I. K atai showed that the integral from 0 to X of |P(x)|^2 dx = X^(3/2) + O(X(logX)^2). Similar results to those of the circle have been obtained for regions D in R^2 which contain the origin and whose boundary dD satis fies suff cient smoothness conditions. Denote by P_D(x) the similar error term to P(x) only for the domain D. W. G. Nowak showed that, under appropriate conditions on dD, P_D(x) = Omega_(x1=4(log x)1=4) and that the integral from 0 to X of |P_D(x)|^2 dx = O(X^(3/2)). A result similar to Nowak's mean square estimate is given in the case where only "primitive" lattice points, {(m1;m2) in Z^2 : gcd(m1;m2) = 1 }, are counted in a region D, on assumption of the Riemann Hypothesis.
Modal Logic And Its Applications, Explained Using Puzzles And Examples,
2011
Portland State University
Modal Logic And Its Applications, Explained Using Puzzles And Examples, Marek Perkowski
Systems Science Friday Noon Seminar Series
The talk introduces Modal Logic as an extension of classical propositional and First Order Logics. We discuss motivations of Lewis to create modal logic system, axioms and rules of proof. Several examples illustrate deriving theorems from axioms. "Muddy Children" puzzle is used to explain the principles of dealing with uncertainty problems where a temporal lack of response is used as additional information. Other examples include "Narrow Bridge" problem/game which relates to the problem of necessary evil in the world, robot planning and law and robot morality problems, especially related to military robots and use of force by police. Kripke semantics …
A Primer On Chaos And Fractals,
2011
Western Kentucky University
A Primer On Chaos And Fractals, Bruce Kessler
Mathematics Faculty Publications
This is a prelude to a performance of the play "Arcadia" exclusively for the science and math majors of Lipscomb University. One of the main characters of the story is a mathematical genius, and has realized the power and limitations of iterations in generating mathematical models and structures, although she is living in the early 1800's. This talk gives an introduction to the ideas of chaos theory, fractals, and randomness.
The Schroedinger Equation With Potential In Rough Motion,
2011
University at Albany, State University of New York
The Schroedinger Equation With Potential In Rough Motion, Marius Beceanu, Avy Soffer
Mathematics and Statistics Faculty Scholarship
This paper proves endpoint Strichartz estimates for the linear Schroedinger equation in R 3 , with a time-dependent potential that keeps a constant profile and is subject to a rough motion, which need not be differentiable and may be large in norm. The potential is also subjected to a time-dependent rescaling, with a non-differentiable dilation parameter. We use the Strichartz estimates to prove the non-dispersion of bound states, when the path is small in norm, as well as boundedness of energy. We also include a sample nonlinear application of the linear results.
Nonsolvable Polynomials With Field Discriminant 5A,
2011
University of Minnesota - Morris
Nonsolvable Polynomials With Field Discriminant 5A, David P. Roberts
Mathematics Publications
We present the first explicitly known polynomials in Z[x] with nonsolvable Galois group and field discriminant of the form ±pA for p ≤ 7 a prime. Our main polynomial has degree 25, Galois group of the form PSL2(5)5.10, and field discriminant 569. A closely related polynomial has degree 120, Galois group of the form SL2(5)5.20, and field discriminant 5311. We completely describe 5-adic behavior, finding in particular that the root discriminant of both splitting fields is 125 · 5-1/12500 ≈ 124.984 and the class number of …
On Zeros And Local Infima Of Brownian Motion,
2011
Louisiana State University
On Zeros And Local Infima Of Brownian Motion, Michel Weber
Communications on Stochastic Analysis
No abstract provided.
Packing Dimension Results For Anisotropic Gaussian Random Fields,
2011
Louisiana State University
Packing Dimension Results For Anisotropic Gaussian Random Fields, Anne Estrade, Dongsheng Wu, Yimin Xiao
Communications on Stochastic Analysis
No abstract provided.
Permanental Processes,
2011
Louisiana State University
Permanental Processes, Hana Kogan, Michael B Marcus, Jay Rosen
Communications on Stochastic Analysis
No abstract provided.
Efficient Estimation Of Spectral Functionals For Gaussian Stationary Models,
2011
Louisiana State University
Efficient Estimation Of Spectral Functionals For Gaussian Stationary Models, Mamikon S Ginovyan
Communications on Stochastic Analysis
No abstract provided.
On Fractional Ornstein-Uhlenbeck Processes,
2011
Louisiana State University
On Fractional Ornstein-Uhlenbeck Processes, Terhi Kaarakka, Paavo Salminen
Communications on Stochastic Analysis
No abstract provided.
Itô'S Formula For A Sub-Fractional Brownian Motion,
2011
Louisiana State University
Itô'S Formula For A Sub-Fractional Brownian Motion, Litan Yan, Guangjun Shen, Kun He
Communications on Stochastic Analysis
No abstract provided.
