Bessel processes, the Brownian snake and super-Brownian motion

We prove that, both for the Brownian snake and for super-Brownian motion in dimension one, the historical path corresponding to the minimal spatial position is a Bessel process of dimension -5. We also discuss a spine decomposition for the Brownian snake conditioned on the minimizing path.Comment: Submitted to the special volume of S\'eminaire de Probabilit\'es in memory of Marc Yo

Study of winglets applied to biplanes

The possibility of improving the aerodynamic characteristics of a biplane configuration by adding winglets is examined both theoretically and experimentally. Theoretical calculations show good agreement with experiment in predicting inviscid drag due to lift. Theoretical and experimental results indicate that the addition of winglets to an optimized biplane configuration can increase the ideal efficiency factor by up to 13 percent, as well as increasing the lift curve slope and maximum lift coefficient

Automated microorganism Sample Collection Module

Modified Gelman Sampler obtains representative sample of microorganism population. Proposed Sample Collection Module is based on direct inoculation of selected solid growth media encased in a cartridge at all times except during inoculation. Cartridge can be handled with no danger of contamination to sample or operator

Feller property and infinitesimal generator of the exploration process

We consider the exploration process associated to the continuous random tree (CRT) built using a Levy process with no negative jumps. This process has been studied by Duquesne, Le Gall and Le Jan. This measure-valued Markov process is a useful tool to study CRT as well as super-Brownian motion with general branching mechanism. In this paper we prove this process is Feller, and we compute its infinitesimal generator on exponential functionals and give the corresponding martingale

The topological structure of scaling limits of large planar maps

We discuss scaling limits of large bipartite planar maps. If p is a fixed integer strictly greater than 1, we consider a random planar map M(n) which is uniformly distributed over the set of all 2p-angulations with n faces. Then, at least along a suitable subsequence, the metric space M(n) equipped with the graph distance rescaled by the factor n to the power -1/4 converges in distribution as n tends to infinity towards a limiting random compact metric space, in the sense of the Gromov-Hausdorff distance. We prove that the topology of the limiting space is uniquely determined independently of p, and that this space can be obtained as the quotient of the Continuum Random Tree for an equivalence relation which is defined from Brownian labels attached to the vertices. We also verify that the Hausdorff dimension of the limit is almost surely equal to 4.Comment: 45 pages Second version with minor modification

A numerical and experimental study of the effects of dynamic roughness on laminar leading edge separation

The aircraft industry, as a whole, has been deeply concerned with improving the aerodynamic efficiency of current and future flight vehicles, particularly in the commercial and military markets. However, of particular interest to the field of aerodynamics is the elusive concept of a workable flow control mechanism. Effective flow control is a concept which if properly applied can increase aerodynamic efficiency. Various concepts and ideas to obtain successful flow control have been studied in an attempt to reap these rewards. Some examples include boundary layer blowing (steady and periodic), suction, and compliant walls for laminar flow control. The overall goal of flow control is to increase performance by increasing lift, reducing drag, and delaying or eliminating leading edge separation. The specific objectives of flow control are to (1) delay or eliminate flow separation, (2) delay boundary layer transition, and (3) and reduce skin friction drag. The purpose of this research is to investigate dynamic roughness as a novel method of flow control technology for external boundary layer flows. As opposed to standard surface roughness, dynamic roughness incorporates small time dependent perturbations to the surface of the airfoil. These surface perturbations are actual humps and/or ridges on the surface of the airfoil that are on the scale of the laminar boundary, and oscillate with an unsteady motion. Research has shown that this can provide a means to modify the instantaneous and mean velocity profile near the wall and favorably control the existing state of the boundary layer. Several flow control parameters were studied including dynamic roughness frequency, amplitude, and geometry. The results of this study have shown, both numerically and experimentally, that dynamic roughness can provide an effective means for eliminating both a short and long laminar separation bubble and possibly prove a viable alternative in effective flow control, hence reaping some of the rewards of an effective flow control system

Master of Science

thesisThe early to middle Eocene Green River Formation consists of continental strata deposited in Laramide ponded basins in Utah, Colorado, and Wyoming. This study (1) documents fluvial and lacustrine strata from the Douglas Creek and Parachute Creek Members of the middle Green River Formation, southeastern Uinta Basin, Utah, and (2) uses new interpretations of the link between climate and fluvial sedimentary expression to interpret the terrestrial evolution of early Eocene climate. The stratigraphy was analyzed via outcrops along a 10 km transect in Main Canyon on the Tavaputs Plateau, and is divided into three distinct, stratigraphically separated depositional settings: (1) the lowermost Interval 1 is dominated by amalgamated sandstone channels that contain 70-100% upper flow regime sedimentary structures. The channels are interpreted to represent fluvial deposits controlled by a highly seasonal climate, where most deposition was limited to seasonal flooding events. (2) Interval 2 is dominated by alternating siliciclastic and carbonate lacustrine deposits, interpreted as local pulsed fluvial siliciclastic input into shallow Lake Uinta, and periods of fluvial quiescence represented by littoral carbonate deposition. (3) The uppermost Interval 3 is dominated by erosively-based, trough cross bedded sandstone channels interbedded with littoral lacustrine and deltaic deposits. The Interval 3 sandstone channels are interpreted as perennial fluvial deposits with relatively little variation in annual discharge, akin to modern humid-temperate fluvial systems. The stratigraphic transition from seasonally-controlled (Interval 1) to perennial (Interval 3) fluvial deposits is interpreted to represent a fundamental shift in Eocene climate, from the peak hyperthermal regime of the Early Eocene Climatic Optimum (EECO) to a more stable post-EECO climate

Study of an efficient long-range Mach 2.7 supersonic transport configuration concept

A long range Mach 2.7 supersonic transport configuration concept was studied utilizing linear theory methods. The configuration was sized to carry 290 passengers 6,000 nautical miles nonstop. The final configuration has a maximum takeoff gross weight of 687,200 pounds, a wing loading of 69.8 lbf/sq.ft. and a thrust weight ratio of .278. The most significant result is that a significantly improved trimmed maximum lift drag ratio of 11.04 can be obtained for a supersonic transport at Mach 2.62 and 55,000 feet

A Decidable Confluence Test for Cognitive Models in ACT-R

Computational cognitive modeling investigates human cognition by building detailed computational models for cognitive processes. Adaptive Control of Thought - Rational (ACT-R) is a rule-based cognitive architecture that offers a widely employed framework to build such models. There is a sound and complete embedding of ACT-R in Constraint Handling Rules (CHR). Therefore analysis techniques from CHR can be used to reason about computational properties of ACT-R models. For example, confluence is the property that a program yields the same result for the same input regardless of the rules that are applied. In ACT-R models, there are often cognitive processes that should always yield the same result while others e.g. implement strategies to solve a problem that could yield different results. In this paper, a decidable confluence criterion for ACT-R is presented. It allows to identify ACT-R rules that are not confluent. Thereby, the modeler can check if his model has the desired behavior. The sound and complete translation of ACT-R to CHR from prior work is used to come up with a suitable invariant-based confluence criterion from the CHR literature. Proper invariants for translated ACT-R models are identified and proven to be decidable. The presented method coincides with confluence of the original ACT-R models.Comment: To appear in Stefania Costantini, Enrico Franconi, William Van Woensel, Roman Kontchakov, Fariba Sadri, and Dumitru Roman: "Proceedings of RuleML+RR 2017". Springer LNC

Magnetization reversal and spin dynamics exchange in biased F/AF bilayers probed with complex permeability spectra

The spin dynamics of the ferromagnetic pinned layer of ferro-antiferromagnetic coupled NiFe/MnNi bilayers is investigated in a broad frequency range (30 MHz-6 GHz). A phenomenological model based on the Landau-Lifshitz equation for the complex permeability of the F/AF bilayer is proposed. The experimental results are compared to theoretical predictions. We show that the resonance frequencies, measured during the magnetization, are likewise hysteretic.Comment: 4 pages, 4 figure