Verifying abstract information flow properties in fault tolerant security devices

The verification of information flow properties of security devices is difficult because it involves the analysis of schematic diagrams, artwork, embedded software, etc. In addition, a typical security device has many modes, partial information flow, and needs to be fault tolerant. We propose a new approach to the verification of such devices based upon checking abstract information flow properties expressed as graphs. This approach has been implemented in software, and successfully used to find possible paths of information flow through security devices.

Surface Waves and Roughness in Self-Aerated Supercritical Flow

In high-velocity open channel flows, free-surface aeration is commonly observed. The effects of surface waves on the air-water flow properties are tested herein. The study simulates the air-water flow past a fixed-location phase-detection probe by introducing random fluctuations of the flow depth. The present model yields results that are close to experimental observations in terms of void fraction, bubble count rate and bubble/droplet chord size distributions. The results show that the surface waves have relatively little impact on the void fraction profiles, but that the bubble count rate profiles and the distributions of bubble and chord sizes are affected by the presence of surface waves.

Free-Surface Aeration and Momentum Exchange at a Bottom Outlet

This study aims to provide some new understanding of the air-water flow properties in high-velocity water jets discharging past an abrupt drop. Such a setup has been little studied to date despite the relevance to bottom outlets. Downstream of the step brink, the free-jet entrains air at both upper and lower air-water interfaces, as well as along the sides. An air-water shear layer develops at the lower nappe interface. At the lower nappe, the velocity redistribution was successfully modelled and the velocity field was found to be similar to that in two-dimensional wake flow. The results highlighted further two distinct flow regions. Close to the brink (Wex < 5000), the flow was dominated by momentum transfer. Further downstream (Wex > 5000), a strong competition between air bubble diffusion and momentum exchanges took place.

Turbulent Time and Length Scale Measurements in High-Velocity Open Channel Flows

In high-velocity open channel flows, the measurements of air-water flow properties are complicated by the strong interactions between the flow turbulence and the entrained air. In the present study, an advanced signal processing of traditional single- and dual-tip conductivity probe signals is developed to provide further details on the air-water turbulent level, time and length scales. The technique is applied to turbulent open channel flows on a stepped chute conducted in a large-size facility with flow Reynolds numbers ranging from 3.8 E+5 to 7.1 E+5. The air water flow properties presented some basic characteristics that were qualitatively and quantitatively similar to previous skimming flow studies. Some self-similar relationships were observed systematically at both macroscopic and microscopic levels. These included the distributions of void fraction, bubble count rate, interfacial velocity and turbulence level at a macroscopic scale, and the auto- and cross-correlation functions at the microscopic level. New correlation analyses yielded a characterisation of the large eddies advecting the bubbles. Basic results included the integral turbulent length and time scales. The turbulent length scales characterised some measure of the size of large vortical structures advecting air bubbles in the skimming flows, and the data were closely related to the characteristic air-water depth Y90. In the spray region, present results highlighted the existence of an upper spray region for C > 0.95 to 0.97 in which the distributions of droplet chord sizes and integral advection scales presented some marked differences with the rest of the flow.

Hydraulic Design of Stepped Spillways and Downstream Energy Dissipators for Embankment Dams

In recent years, the design flows of many dams were re-evaluated, often resulting in discharges larger than the original design. In many cases, the occurrence of the revised flows could result in dam overtopping because of insufficient storage and spillway capacity. An experimental study was conducted herein to gain a better understanding of the flow properties in stepped chutes with slopes typical of embankment dams. The work was based upon a Froude similitude in large-size experimental facilities. A total of 10 configurations were tested including smooth steps, steps equipped with devices to enhance energy dissipation and rough steps. The present results yield a new design procedure. The design method includes some key issues not foreseen in prior studies : e.g., gradually varied flow, type of flow regime, flow resistance. It is believed that the outcomes are valid for a wide range of chute geometry and flow conditions typical of embankment chutes.

Turbulence in Small Sub-Tropical Estuary with Semi-Diurnal Tides

In natural estuaries, contaminant transport is driven by the turbulent momentum mixing. The predictions of scalar dispersion can rarely be predicted accurately because of a lack of fundamental understanding of the turbulence structure in estuaries. Herein detailed turbulence field measurements were conducted at high frequency and continuously for up to 50 hours per investigation in a small subtropical estuary with semi-diurnal tides. Acoustic Doppler velocimetry was deemed the most appropriate measurement technique for such small estuarine systems with shallow water depths (less than 0.5 m at low tides), and a thorough post-processing technique was applied. The estuarine flow is always a fluctuating process. The bulk flow parameters fluctuated with periods comparable to tidal cycles and other large-scale processes. But turbulence properties depended upon the instantaneous local flow properties. They were little affected by the flow history, but their structure and temporal variability were influenced by a variety of mechanisms. This resulted in behaviour which deviated from that for equilibrium turbulent boundary layer induced by velocity shear only. A striking feature of the data sets is the large fluctuations in all turbulence characteristics during the tidal cycle. This feature was rarely documented, but an important difference between the data sets used in this study from earlier reported measurements is that the present data were collected continuously at high frequency during relatively long periods. The findings bring new lights in the fluctuating nature of momentum exchange coefficients and integral time and length scales. These turbulent properties should not be assumed constant.

Diseño hidráulico de vertedores escalonados con pendientes moderadas: Metodología basada en un estudio experimental

Durante las últimas tres décadas el interés y diversidad en el uso de canales escalonados han aumentado debido al desarrollo de nuevas técnicas y materiales que permiten su construcción de manera rápida y económica (Concreto compactado con rodillo CCR, Gaviones, etc.). Actualmente, los canales escalonados se usan como vertedores y/o canales para peces en presas y diques, como disipadores de energía en canales y ríos, o como aireadores en plantas de tratamiento y torrentes contaminados. Diversos investigadores han estudiado el flujo en vertedores escalonados, enfocándose en estructuras de gran pendiente (  45o) por lo que a la fecha, el comportamiento del flujo sobre vertedores con pendientes moderadas (  15 a 30o) no ha sido totalmente comprendido. El presente artículo comprende un estudio experimental de las propiedades físicas del flujo aire-agua sobre canales escalonados con pendientes moderadas, típicas en presas de materiales sueltos. Un extenso rango de gastos en condiciones de flujo rasante se investigó en dos modelos experimentales a gran escala (Le = 3 a 6): Un canal con pendiente 3.5H:1V (  16o) y dos alturas de escalón distintas (h = 0.1 y 0.05 m) y un canal con pendiente 2.5H:1V (  22o) y una altura de escalón de h = 0.1 m. Los resultados incluyen un análisis detallado de las propiedades del flujo en vertedores escalonados con pendientes moderadas y un nuevo criterio de diseño hidráulico, el cual está basado en los resultados experimentales obtenidos. English abstract: Stepped chutes have been used as hydraulic structures since antiquity, they can be found acting as spillways and fish ladders in dams and weirs, as energy dissipators in artificial channels, gutters and rivers, and as aeration enhancers in water treatment plants and polluted streams. In recent years, new construction techniques and materials (Roller Compacted Concrete RCC, rip-rap gabions, etc.) together with the development of the abovementioned new applications have allowed cheaper construction methods, increasing the interest in stepped chute design. During the last three decades, research in stepped spillways has been very active. However, studies prior to 1993 neglected the effect of free-surface aeration. A number of studies have focused since on steep stepped chutes (  45o) but the hydraulic performance of moderate-slope stepped channels is not yet totally understood. This study details an experimental investigation of physical air-water flow properties down moderate slope stepped spillways conducted in two laboratory models: the first model was a 3.15 m long stepped chute with a 15.9o slope comprising two interchangeable step heights (h = 0.1 m and h = 0.05 m); the second model was a 3.3 m long, stepped channel with a 21.8o slope (h = 0.1 m). A broad range of discharges within transition and skimming flow regimes was investigated. Measurements were conducted using a double tip conductivity probe. The study provides new, original insights into air-water stepped chute flows not foreseen in prior studies and presents a new design criterion for chutes with moderate slopes based on the experimental results.

Turbulence in Hydraulic Jumps: Experimental Measurements

A hydraulic jump is the transition from a supercritical open channel flow to a subcritical regime. It is characterised by a highly turbulent flow with macro-scale vortices, some kinetic energy dissipation and a bubbly two-phase flow structure. New air-water flow measurements were performed in hydraulic jump flows for a range of inflow Froude numbers. The experiments were conducted in a large-size facility using two types of phase-detection intrusive probes: i.e., single-tip and double-tip conductivity probes. These were complemented by some measurements of free-surface fluctuations using ultrasonic displacement meters. The present study was focused on the turbulence characteristics of hydraulic jumps with partially-developed inflow conditions. The void fraction measurements showed the presence of an advective diffusion shear layer in which the void fractions profiles matched closely an analytical solution of the advective diffusion equation for air bubbles. The present results highlighted some influence of the inflow Froude number onto the air bubble entrainment process. At the largest Froude numbers, the advected air bubbles were more thoroughly dispersed vertically, and larger amount of air bubbles were detected in the turbulent shear layer. In the air-water mixing layer, the maximum void fraction and bubble count rate data showed some longitudinal decay function in the flow direction. Such trends were previously reported in the literature. The measurements of interfacial velocity and turbulence level distributions provided new information on the turbulent velocity field in the highly-aerated shear region. The present data suggested some longitudinal decay of the turbulence intensity. The velocity profiles tended to follow a wall jet flow pattern. The air–water turbulent time and length scales were deduced from some auto- and cross-correlation analyses based upon the method of CHANSON (2006,2007). The results provided the integral turbulent time and length scales of the eddy structures advecting the air bubbles in the developing shear layer. The experimental data showed that the auto-correlation time scale Txx was larger than the transverse cross-correlation time scale Txz. The integral turbulence length scale Lxz was a function of the inflow conditions, of the streamwise position (x-x1)/d1 and vertical elevation y/d1. Herein the dimensionless integral turbulent length scale Lxz/d1 was closely related to the inflow depth: i.e., Lxz/d1 = 0.2 to 0.8, with Lxz increasing towards the free-surface. The free-surface fluctuations measurements showed large turbulent fluctuations that reflected the dynamic, unsteady structure of the hydraulic jumps. A linear relationship was found between the normalized maximum free-surface fluctuation and the inflow Froude number.

Non-Equilibrium Reaction Rates in the Macroscopic Chemistry Method for DSMC Calculations

The Direct Simulation Monte Carlo (DSMC) method is used to simulate the flow of rarefied gases. In the Macroscopic Chemistry Method (MCM) for DSMC, chemical reaction rates calculated from local macroscopic flow properties are enforced in each cell. Unlike the standard total collision energy (TCE) chemistry model for DSMC, the new method is not restricted to an Arrhenius form of the reaction rate coefficient, nor is it restricted to a collision cross-section which yields a simple power-law viscosity. For reaction rates of interest in aerospace applications, chemically reacting collisions are generally infrequent events and, as such, local equilibrium conditions are established before a significant number of chemical reactions occur. Hence, the reaction rates which have been used in MCM have been calculated from the reaction rate data which are expected to be correct only for conditions of thermal equilibrium. Here we consider artificially high reaction rates so that the fraction of reacting collisions is not small and propose a simple method of estimating the rates of chemical reactions which can be used in the Macroscopic Chemistry Method in both equilibrium and non-equilibrium conditions. Two tests are presented: (1) The dissociation rates under conditions of thermal non-equilibrium are determined from a zero-dimensional Monte-Carlo sampling procedure which simulates ‘intra-modal’ non-equilibrium; that is, equilibrium distributions in each of the translational, rotational and vibrational modes but with different temperatures for each mode; (2) The 2-D hypersonic flow of molecular oxygen over a vertical plate at Mach 30 is calculated. In both cases the new method produces results in close agreement with those given by the standard TCE model in the same highly nonequilibrium conditions. We conclude that the general method of estimating the non-equilibrium reaction rate is a simple means by which information contained within non-equilibrium distribution functions predicted by the DSMC method can be included in the Macroscopic Chemistry Method.

Self-Similarity of Air-Water Flows in Skimming Flows on Stepped Spillways

Skimming flows on stepped spillways are characterised by a significant rate of turbulent dissipation on the chute. Herein an advanced signal processing of traditional conductivity probe signals is developed to provide further details on the turbulent time and length scales. The technique is applied to a 22° stepped chute operating with flow Reynolds numbers between 3.8 and 7.1 E+5. The new correlation analyses yielded a characterisation of large eddies advecting the bubbles. The turbulent length scales were related to the characteristic depth Y90. Some self-similar relationships were observed systematically at both macroscopic and microscopic levels. These included the distributions of void fraction, bubble count rate, interfacial velocity and turbulence level, and turbulence time and length scales. The self-similarity results were significant because they provided a picture general enough to be used to characterise the air-water flow field in prototype spillways.

Air Bubble Entrainment in Hydraulic Jumps: Physical Modelling and Scale Effects

A hydraulic jump is characterised by strong energy dissipation and air entrainment. In the present study, new air-water flow measurements were performed in hydraulic jumps with partially-developed flow conditions in relatively large-size facilities with phase-detection probes. The experiments were conducted with identical Froude numbers, but a range of Reynolds numbers and relative channel widths. The results showed drastic scale effects at small Reynolds numbers in terms of void fraction and bubble count rate distributions. The void fraction distributions implied comparatively greater detrainment at low Reynolds numbers leading to a lesser overall aeration of the jump roller, while dimensionless bubble count rates were drastically lower especially in the mixing layer. The experimental results suggested also that the relative channel width had little effect on the air-water flow properties for identical inflow Froude and Reynolds numbers.

Overflow characteristics of circular weirs: Effects of inflow conditions

The most common types of weirs are the broad-crested weir, the sharp-crested weir, the circular-crested weir, and nowadays, the ogee crest weir, Advantages of the cylindrical weir shape include the stable overflow pattern, the ease to pass floating debris, the simplicity of design compared to ogee crest design, and the associated lower costs. in this study, the writers describe new experiments of circular weir overflows, with eight cylinder sizes, for several weir heights and for five types of inflow conditions: partially developed inflow, fully developed inflow, upstream ramp, upstream undular hydraulic jump, and upstream (breaking) hydraulic jump. Within the range of the experiments, the cylinder size, the weir height DIR and the presence of an upstream ramp had no effect on the discharge coefficient, flow depth at crest, and energy dissipation. But the inflow conditions had substantial effects on the discharge characteristics and flow properties at the crest. Practically, the results indicate that discharge measurements with circular weirs are significantly affected by the upstream flow conditions.

Thermal characterization of copolymers obtained by radiation grafting of styrene onto poly(tetrafluoroethyleneperfluoropropylvinylether) substrates: thermal decomposition, melting behavior and low-temperature transitions

Differential scanning calorimetric (DSC) and thermogravimetric analysis (TGA) have been used to study the thermal decomposition, the melting behavior and low-temperature transitions of copolymers obtained by radiation-induced grafting of styrene onto poly (tetrafluoroethylene- perfluoropropylvinylether) (PFA) substrates. PFA with different contents of perfluoropropylvinylether (PPVE) as a comonomer have been investigated. A two step degradation pattern was observed from TGA thermograms of all the grafted copolymers, which was attributed to degradation of PSTY followed by the degradation of the PFA backbone at higher temperature. One broad melting peak can be identified for all copolymers, which has two components in the samples with higher PPVE content. The melting peak, crystal-crystal transition and the degree of crystallinity of the grafted copolymers increases with radiation grafting up to 50 kGy, followed by a decrease at higher doses. No such decrease was observed in the ungrafted PFA samples after irradiation. This indicated that the changes in the heats of transitions and crystallinity at low doses are due to the radiation effects on the microstructure of PFA (chain scission), whereas at higher doses the grafted PSTY is the driving force behind these changes. (C) 2001 Elsevier Science Ltd. All rights reserved.

Caractéristiques diphasiques des écoulements sur les coursiers en marches d'escalier

Stepped cascades and spillways have been used for more than 3,500 years. The recent regain of interest for the stepped chute design is associated with the introduction of new construction techniques, the development of new design techniques and newer applications. Stepped chute flows are characterised by significant free-surface aeration that cannot be neglected. Two-phase flow measurements were conducted in a large-size model (h =0.10 m, α = 22o). Experimental observations demonstrate the existence of a transition flow regime for a relatively wide range of flow rates. Detailed air-water flow measurements were conducted for both skimming flows and transition flows. Skimming flows exhibit gradual variations of the air-water flow properties, whereas transition flows are characterised by rapid flow redistributions between adjacent steps.