Dilution Jet Behavior in the Turn Section of a Reverse Flow Combuster

Measurements of the temperature field produced by a single jet and a row of dilution jets issued into a reverse flow combustor are presented. The temperature measurements are presented in the form of consecutive normalized temperature profiles, and jet trajectories. Single jet trajectories were swept toward the inner wall of the turn, whether injection was from the inner or outer wall. This behavior is explained by the radially inward velocity component necessary to support irrotational flow through the turn. Comparison between experimental results and model calculations showed poor agreement due to the model's not including the radial velocity component. A widely spaced row of jets produced trajectories similar to single jets at similar test conditions, but as spacing ratio was reduced, penetration was reduced to the point where the dilution jet flow attached to the wall

Control of germ-band retraction in Drosophila by the zinc-finger protein HINDSIGHT

Drosophila embryos lacking hindsight gene function have a normal body plan and undergo normal germ-band extension. However, they fail to retract their germ bands. hindsight encodes a large nuclear protein of 1920 amino acids that contains fourteen C2H2-type zinc fingers, and glutamine-rich and proline-rich domains, suggesting that it functions as a transcription factor. Initial embryonic expression of hindsight RNA and protein occurs in the endoderm (midgut) and extraembryonic membrane (amnioserosa) prior to germ-band extension and continues in these tissues beyond the completion of germ-band retraction. Expression also occurs in the developing tracheal system, central and peripheral nervous systems, and the ureter of the Malpighian tubules. Strikingly, hindsight is not expressed in the epidermal ectoderm which is the tissue that undergoes the cell shape changes and movements during germ-band retraction. The embryonic midgut can be eliminated without affecting germ-band retraction. However, elimination of the amnioserosa results in the failure of germ-band retraction, implicating amnioserosal expression of hindsight as crucial for this process. Ubiquitous expression of hindsight in the early embryo rescues germ-band retraction without producing dominant gainof-function defects, suggesting that hindsight’s role in germ-band retraction is permissive rather than instructive. Previous analyses have shown that hindsight is required for maintenance of the differentiated amnioserosa (Frank, L. C. and Rushlow, C. (1996) Development 122, 1343-1352). Two classes of models are consistent with the present data. First, hindsight’s function in germ-band retraction may be limited to maintenance of the amnioserosa which then plays a physical role in the retraction process through contact with cells of the epidermal ectoderm. Second, hindsight might function both to maintain the amnioserosa and to regulate chemical signaling from the amnioserosa to the epidermal ectoderm, thus coordinating the cell shape changes and movements that drive germ-band retraction

Notes on bordered Floer homology

This is a survey of bordered Heegaard Floer homology, an extension of the Heegaard Floer invariant HF-hat to 3-manifolds with boundary. Emphasis is placed on how bordered Heegaard Floer homology can be used for computations.Comment: 73 pages, 29 figures. Based on lectures at the Contact and Symplectic Topology Summer School in Budapest, July 2012. v2: Fixed many small typo

Subclasses of Presburger Arithmetic and the Weak EXP Hierarchy

It is shown that for any fixed $i>0$, the $\Sigma_{i+1}$-fragment of Presburger arithmetic, i.e., its restriction to $i+1$ quantifier alternations beginning with an existential quantifier, is complete for $\mathsf{\Sigma}^{\mathsf{EXP}}_{i}$, the $i$-th level of the weak EXP hierarchy, an analogue to the polynomial-time hierarchy residing between $\mathsf{NEXP}$ and $\mathsf{EXPSPACE}$. This result completes the computational complexity landscape for Presburger arithmetic, a line of research which dates back to the seminal work by Fischer & Rabin in 1974. Moreover, we apply some of the techniques developed in the proof of the lower bound in order to establish bounds on sets of naturals definable in the $\Sigma_1$-fragment of Presburger arithmetic: given a $\Sigma_1$-formula $\Phi(x)$, it is shown that the set of non-negative solutions is an ultimately periodic set whose period is at most doubly-exponential and that this bound is tight.Comment: 10 pages, 2 figure

Quadratic Word Equations with Length Constraints, Counter Systems, and Presburger Arithmetic with Divisibility

Word equations are a crucial element in the theoretical foundation of constraint solving over strings, which have received a lot of attention in recent years. A word equation relates two words over string variables and constants. Its solution amounts to a function mapping variables to constant strings that equate the left and right hand sides of the equation. While the problem of solving word equations is decidable, the decidability of the problem of solving a word equation with a length constraint (i.e., a constraint relating the lengths of words in the word equation) has remained a long-standing open problem. In this paper, we focus on the subclass of quadratic word equations, i.e., in which each variable occurs at most twice. We first show that the length abstractions of solutions to quadratic word equations are in general not Presburger-definable. We then describe a class of counter systems with Presburger transition relations which capture the length abstraction of a quadratic word equation with regular constraints. We provide an encoding of the effect of a simple loop of the counter systems in the theory of existential Presburger Arithmetic with divisibility (PAD). Since PAD is decidable, we get a decision procedure for quadratic words equations with length constraints for which the associated counter system is \emph{flat} (i.e., all nodes belong to at most one cycle). We show a decidability result (in fact, also an NP algorithm with a PAD oracle) for a recently proposed NP-complete fragment of word equations called regular-oriented word equations, together with length constraints. Decidability holds when the constraints are additionally extended with regular constraints with a 1-weak control structure.Comment: 18 page

Controlled non uniform random generation of decomposable structures

Consider a class of decomposable combinatorial structures, using different types of atoms \Atoms = \{\At_1,\ldots ,\At_{|{\Atoms}|}\}. We address the random generation of such structures with respect to a size $n$ and a targeted distribution in $k$ of its \emph{distinguished} atoms. We consider two variations on this problem. In the first alternative, the targeted distribution is given by $k$ real numbers \TargFreq_1, \ldots, \TargFreq_k such that 0 < \TargFreq_i < 1 for all $i$ and \TargFreq_1+\cdots+\TargFreq_k \leq 1. We aim to generate random structures among the whole set of structures of a given size $n$, in such a way that the {\em expected} frequency of any distinguished atom \At_i equals \TargFreq_i. We address this problem by weighting the atoms with a $k$-tuple \Weights of real-valued weights, inducing a weighted distribution over the set of structures of size $n$. We first adapt the classical recursive random generation scheme into an algorithm taking \bigO{n^{1+o(1)}+mn\log{n}} arithmetic operations to draw $m$ structures from the \Weights-weighted distribution. Secondly, we address the analytical computation of weights such that the targeted frequencies are achieved asymptotically, i. e. for large values of $n$. We derive systems of functional equations whose resolution gives an explicit relationship between \Weights and \TargFreq_1, \ldots, \TargFreq_k. Lastly, we give an algorithm in \bigO{k n^4} for the inverse problem, {\it i.e.} computing the frequencies associated with a given $k$-tuple \Weights of weights, and an optimized version in \bigO{k n^2} in the case of context-free languages. This allows for a heuristic resolution of the weights/frequencies relationship suitable for complex specifications. In the second alternative, the targeted distribution is given by a $k$ natural numbers $n_1, \ldots, n_k$ such that $n_1+\cdots+n_k+r=n$ where $r \geq 0$ is the number of undistinguished atoms. The structures must be generated uniformly among the set of structures of size $n$ that contain {\em exactly} $n_i$ atoms \At_i ($1 \leq i \leq k$). We give a \bigO{r^2\prod_{i=1}^k n_i^2 +m n k \log n} algorithm for generating $m$ structures, which simplifies into a \bigO{r\prod_{i=1}^k n_i +m n} for regular specifications

Derivation of an optimal directivity pattern for sweet spot widening in stereo sound reproduction

In this paper the correction of the degradation of the stereophonic illusion during sound reproduction due to off-center listening is investigated. The main idea is that the directivity pattern of a loudspeaker array should have a well-defined shape such that a good stereo reproduction is achieved in a large listening area. Therefore, a mathematical description to derive an optimal directivity pattern lopt that achieves sweet spot widening in a large listening area for stereophonic sound applications is described. This optimal directivity pattern is based on parametrized time/intensity trading data coming from psycho-acoustic experiments within a wide listening area. After the study, the required digital FIR filters are determined by means of a least-squares optimization method for a given stereo base setup (two pair of drivers for the loudspeaker arrays and 2.5-m distance between loudspeakers), which radiate sound in a broad range of listening positions in accordance with the derived lopt. Informal listening tests have shown that the lopt worked as predicted by the theoretical simulations. They also demonstrated the correct central sound localization for speech and music for a number of listening positions. This application is referred to as "Position-Independent (PI) stereo.

Oddification of the cohomology of type A Springer varieties

We identify the ring of odd symmetric functions introduced by Ellis and Khovanov as the space of skew polynomials fixed by a natural action of the Hecke algebra at q=-1. This allows us to define graded modules over the Hecke algebra at q=-1 that are `odd' analogs of the cohomology of type A Springer varieties. The graded module associated to the full flag variety corresponds to the quotient of the skew polynomial ring by the left ideal of nonconstant odd symmetric functions. The top degree component of the odd cohomology of Springer varieties is identified with the corresponding Specht module of the Hecke algebra at q=-1.Comment: 21 pages, 2 eps file

Ultrasonic attenuation measurements at very high SNR: correlation, information theory and performance

This paper describes a system for ultrasonic wave attenuation measurements which is based on pseudo-random binary codes as transmission signals combined with on-the-fly correlation for received signal detection. The apparatus can receive signals in the nanovolt range against a noise background in the order of hundreds of microvolts and an analogue to digital convertor (ADC) bit-step also in the order of hundreds of microvolts. Very high signal to noise ratios (SNRs) are achieved without recourse to coherent averaging with its associated requirement for high sampling times. The system works by a process of dithering – in which very low amplitude received signals enter the dynamic range of the ADC by 'riding' on electronic noise at the system input. The amplitude of this 'useful noise' has to be chosen with care for an optimised design. The process of optimisation is explained on the basis of classical information theory and is achieved through a simple noise model. The performance of the system is examined for different transmitted code lengths and gain settings in the receiver chain. Experimental results are shown to verify the expected operation when the system is applied to a very highly attenuating material – an aerated slurry