Turbofan forced mixer lobe flow modeling. 1: Experimental and analytical assessment

A joint analytical and experimental investigation of three-dimensional flowfield development within the lobe region of turbofan forced mixer nozzles is described. The objective was to develop a method for predicting the lobe exit flowfield. In the analytical approach, a linearized inviscid aerodynamical theory was used for representing the axial and secondary flows within the three-dimensional convoluted mixer lobes and three-dimensional boundary layer analysis was applied thereafter to account for viscous effects. The experimental phase of the program employed three planar mixer lobe models having different waveform shapes and lobe heights for which detailed measurements were made of the three-dimensional velocity field and total pressure field at the lobe exit plane. Velocity data was obtained using Laser Doppler Velocimetry (LDV) and total pressure probing and hot wire anemometry were employed to define exit plane total pressure and boundary layer development. Comparison of data and analysis was performed to assess analytical model prediction accuracy. As a result of this study a planar mixed geometry analysis was developed. A principal conclusion is that the global mixer lobe flowfield is inviscid and can be predicted from an inviscid analysis and Kutta condition

Research and development of high-performance light-weight fuel cell electrodes final report, nov. 1, 1963 - oct. 31, 1964

High performance light weight fuel cell electrode developmen

Bubble Shape Oscillations and the Onset of Sonoluminescence

An air bubble trapped in water by an oscillating acoustic field undergoes either radial or nonspherical pulsations depending on the strength of the forcing pressure. Two different instability mechanisms (the Rayleigh--Taylor instability and parametric instability) cause deviations from sphericity. Distinguishing these mechanisms allows explanation of many features of recent experiments on sonoluminescence, and suggests methods for finding sonoluminescence in different parameter regimes.Comment: Phys. Rev. Lett., in pres

The Sound of Sonoluminescence

We consider an air bubble in water under conditions of single bubble sonoluminescence (SBSL) and evaluate the emitted sound field nonperturbatively for subsonic gas-liquid interface motion. Sound emission being the dominant damping mechanism, we also implement the nonperturbative sound damping in the Rayleigh-Plesset equation for the interface motion. We evaluate numerically the sound pulse emitted during bubble collapse and compare the nonperturbative and perturbative results, showing that the usual perturbative description leads to an overestimate of the maximal surface velocity and maximal sound pressure. The radius vs. time relation for a full SBSL cycle remains deceptively unaffected.Comment: 25 pages; LaTex and 6 attached ps figure files. Accepted for publication in Physical Review

Effects of rarefaction on cavity flow in the slip regime

The Navier-Stokes-Fourier equations, with boundary conditions that account for the effects of velocity-slip and temperature-jump, are compared to the direct simulation Monte Carlo method for the case of a lid-driven micro-cavity. Results are presented for Knudsen numbers within the slip-flow regime where the onset of nonequilibrium effects are usually observed. Good agreement is found in predicting the general features of the velocity field and the recirculating flow. However, although the steady-state pressure distributions along the walls of the driven cavity are generally in good agreement with the Monte Carlo data, there is some indication that the results are starting to show noticeable differences, particularly at the separation and reattachment points. The modified Navier-Stokes-Fourier equations consistently overpredict the maximum and minimum pressure values throughout the slip regime. This highlights the need for alternative boundary formulations or modeling techniques that can provide accurate and computationally economic solutions over a wider range of Knudsen numbers

Micro-scale cavities in the slip - and transition - flow regimes

Differences between Navier-Stokes-Fourier (NSF) slip/jump solutions and direct simulation Monte-Carlo (DSMC) computations are highlighted for a micro lid-driven cavity problem. The results indicate a need for better modelling techniques which at the same time retain low computational cost of NSF models. We also highlight the fact thatmany micro-flows that have been considered are simple planar flows and typical classification systems are defined on such flows. We show that for complex flows, such as thedriven cavity, non-equilibrium effects are more appreciable and their onset occurs at lower Knudsen numbers than expected

The Crystal Structure of Ethyl p-Azoxybenzoate

The low-temperature form (solid I) of the smectogenic compound ethyl p-azoxybenzoate (C18H18N2Os) is stable below 90 °C. The triclinic unit cell of space group P] and dimensions a = 7.56 + 0.02, b-- 18 35 + 0.07, c= 6.28 + 0.01 A, ¢¢= 94.38 ° + 0.30 °, ,8= 97.21 _+ 0.31 °, and y = 83.97 ° + 0.25 ° contains two molecules and has a calculated density of 1.325 g.cm-3. The observed density is 1.315 + 0.013 g.cm-3. Integrated intensities were measured at room temperature by a 20--~ scan on a four-circle diffractometer equipped with a post-diffraction monochromator and scintillation detector. The crystal structure was refined by full-matrix least-squares methods with 1460 independent reflections to a final R index of 0 093. The molecules are nearly planar (the normals to the planes of the two benzene rings diverge by only 0-5 °) and are packed in a parallel array, as contrasted with the imbricated structure which has been observed for several nematogenic crystalline solids. The carbonyl and nitroso oxygen atoms are all in the cis conformation, resulting in a large dipole component in the plane of the molecule and perpendicular to its long axis. It is speculated that this feature of the molecular structure may be characteristic of smectogenic compounds

Modelling thermal flow in a transition regime using a lattice Boltzmann approach

Lattice Boltzmann models are already able to capture important rarefied flow phenomena, such as velocity-slip and temperature jump, provided the effects of the Knudsen layer are minimal. However, both conventional hydrodynamics, as exemplified by the Navier-Stokes-Fourier equations, and the lattice Boltzmann method fail to predict the nonlinear velocity and temperature variations in the Knudsen layer that have been observed in kinetic theory. In the present paper, we propose an extension to the lattice Boltzmann method that will enable the simulation of thermal flows in the transition regime where Knudsen layer effects are significant. A correction function is introduced that accounts for the reduction in the mean free path near a wall. This new approach is compared with direct simulation Monte Carlo data for Fourier flow and good qualitative agreement is obtained for Knudsen numbers up to 1.58

Analysis of electromagnetic interference from power system processing and transmission components for Space Station Freedom

The goal is to analyze the potential effects of electromagnetic interference (EMI) originating from power system processing and transmission components for Space Station Freedom.The approach consists of four steps: (1) develop analytical tools (models and computer programs); (2) conduct parameterization studies; (3) predict the global space station EMI environment; and (4) provide a basis for modification of EMI standards

Modeling Bitcoin Contracts by Timed Automata

Bitcoin is a peer-to-peer cryptographic currency system. Since its introduction in 2008, Bitcoin has gained noticeable popularity, mostly due to its following properties: (1) the transaction fees are very low, and (2) it is not controlled by any central authority, which in particular means that nobody can "print" the money to generate inflation. Moreover, the transaction syntax allows to create the so-called contracts, where a number of mutually-distrusting parties engage in a protocol to jointly perform some financial task, and the fairness of this process is guaranteed by the properties of Bitcoin. Although the Bitcoin contracts have several potential applications in the digital economy, so far they have not been widely used in real life. This is partly due to the fact that they are cumbersome to create and analyze, and hence risky to use. In this paper we propose to remedy this problem by using the methods originally developed for the computer-aided analysis for hardware and software systems, in particular those based on the timed automata. More concretely, we propose a framework for modeling the Bitcoin contracts using the timed automata in the UPPAAL model checker. Our method is general and can be used to model several contracts. As a proof-of-concept we use this framework to model some of the Bitcoin contracts from our recent previous work. We then automatically verify their security in UPPAAL, finding (and correcting) some subtle errors that were difficult to spot by the manual analysis. We hope that our work can draw the attention of the researchers working on formal modeling to the problem of the Bitcoin contract verification, and spark off more research on this topic