A suspended microchannel with integrated temperature sensors for high-pressure flow studies

A freestanding microchannel, with integrated temperature sensors, has been developed for high-pressure flow studies. These microchannels are approximately 20μm x 2μm x 4400μm, and are suspended above 80 μm deep cavities, bulk micromachined using BrF3 dry etch. The calibration of the lightly boron-doped thermistor-type sensors shows that the resistance sensitivity of these integrated sensors is parabolic with respect to temperature and linear with respect to pressure. Volumetric flow rates of N2 in the microchannel were measured at inlet pressures up to 578 psig. The discrepancy between the data and theory results from the flow acceleration in a channel, the non-parabolic velocity profile, and the bulging of the channel. Bulging effects were evaluated by using incompressible water flow measurements, which also measures 1.045x10^-3N-s/m^2 for the viscosity of DI water. The temperature data from sensors on the channel shows the heating of the channel due to the friction generated by the high-pressure flow inside

Delayed currents and interaction effects in mesoscopic capacitors

We propose an alternative derivation for the dynamic admittance of a gated quantum dot connected by a single-channel lead to an electron reservoir. Our derivation, which reproduces the result of Pr\^{e}tre, Thomas, and B\"{u}ttiker for the universal charge-relaxation resistance, shows that at low frequencies, the current leaving the dot lags after the entering one by the Wigner-Smith delay time. We compute the capacitance when interactions are taken into account only on the dot within the Hartree-Fock approximation and study the Coulomb-blockade oscillations as a function of the Fermi energy in the reservoir. In particular we find that those oscillations disappear when the dot is fully `open', thus we reconcile apparently conflicting previous results.Comment: 9 pages, 8 figure

Phase decorrelation, streamwise vortices and acoustic radiation in mixing layers

Several direct numerical simulations were performed and analyzed to study various aspects of the early development of mixing layers. Included are the phase jitter of the large-scale eddies, which was studied using a 2-D spatially-evolving mixing layer simulation; the response of a time developing mixing layer to various spanwise disturbances; and the sound radiation from a 2-D compressible time developing mixing layer

An Efficient Normalisation Procedure for Linear Temporal Logic and Very Weak Alternating Automata

In the mid 80s, Lichtenstein, Pnueli, and Zuck proved a classical theorem stating that every formula of Past LTL (the extension of LTL with past operators) is equivalent to a formula of the form $\bigwedge_{i=1}^n \mathbf{G}\mathbf{F} \varphi_i \vee \mathbf{F}\mathbf{G} \psi_i$, where $\varphi_i$ and $\psi_i$ contain only past operators. Some years later, Chang, Manna, and Pnueli built on this result to derive a similar normal form for LTL. Both normalisation procedures have a non-elementary worst-case blow-up, and follow an involved path from formulas to counter-free automata to star-free regular expressions and back to formulas. We improve on both points. We present a direct and purely syntactic normalisation procedure for LTL yielding a normal form, comparable to the one by Chang, Manna, and Pnueli, that has only a single exponential blow-up. As an application, we derive a simple algorithm to translate LTL into deterministic Rabin automata. The algorithm normalises the formula, translates it into a special very weak alternating automaton, and applies a simple determinisation procedure, valid only for these special automata.Comment: This is the extended version of the referenced conference paper and contains an appendix with additional materia

Modulation and correlations lengths in systems with competing interactions

We examine correlation functions in the presence of competing long and short ranged interactions to find multiple correlation and modulation lengths. We calculate the ground state stripe width of an Ising ferromagnet, frustrated by an arbitrary long range interaction. In large $n$ systems, we demonstrate that for a short range system frustrated by a general competing long range interaction, the crossover temperature $T^*$ veers towards the critical temperature of the unfrustrated short range system (i.e., that in which the frustrating long range interaction is removed). We also show that apart from certain special crossover points, the total number of correlation and modulation lengths remains conserved. We derive an expression for the change in modulation length with temperature for a general system near the ground state with a ferromagnetic interaction and an opposing long range interaction. We illustrate that the correlation functions associated with the exact dipolar interactions differ substantially from those in which a scalar product form between the dipoles is assumed.Comment: 17 pages, 9 figure

Spin and Spin-Wave Dynamics in Josephson Junctions

We extend the Keldysh formulation to quantum spin systems and derive exact equations of motion. This allows us to explore the dynamics of single spins and of ferromagnets when these are inserted between superconducting leads. Several new effects are reported. Chief amongst these are nutations of single S=1/2 spins in Josephson junctions. These nutations are triggered by the superconducting pairing correlations in the leads. Similarly, we find that on rather universal grounds, magnets display unconventional spin wave dynamics when placed in Josephson junctions. These lead to modifications in the tunneling current.Comment: (14 pages, 5 figures

A Replica Inference Approach to Unsupervised Multi-Scale Image Segmentation

We apply a replica inference based Potts model method to unsupervised image segmentation on multiple scales. This approach was inspired by the statistical mechanics problem of "community detection" and its phase diagram. Specifically, the problem is cast as identifying tightly bound clusters ("communities" or "solutes") against a background or "solvent". Within our multiresolution approach, we compute information theory based correlations among multiple solutions ("replicas") of the same graph over a range of resolutions. Significant multiresolution structures are identified by replica correlations as manifest in information theory overlaps. With the aid of these correlations as well as thermodynamic measures, the phase diagram of the corresponding Potts model is analyzed both at zero and finite temperatures. Optimal parameters corresponding to a sensible unsupervised segmentation correspond to the "easy phase" of the Potts model. Our algorithm is fast and shown to be at least as accurate as the best algorithms to date and to be especially suited to the detection of camouflaged images.Comment: 26 pages, 22 figure

Almost Linear B\"uchi Automata

We introduce a new fragment of Linear temporal logic (LTL) called LIO and a new class of Buechi automata (BA) called Almost linear Buechi automata (ALBA). We provide effective translations between LIO and ALBA showing that the two formalisms are expressively equivalent. While standard translations of LTL into BA use some intermediate formalisms, the presented translation of LIO into ALBA is direct. As we expect applications of ALBA in model checking, we compare the expressiveness of ALBA with other classes of Buechi automata studied in this context and we indicate possible applications