Packet flow analysis in IP networks using data-flow analysis

Static analysis (aka offline analysis) of a model of an IP network is useful for understanding, debugging, and verifying packet flow properties of the network. Data-flow analysis is a method that has typically been applied to static analysis of programs. We propose a new, data-flow based approach for static analysis of packet flows in networks. We also investigate an application of our analysis to the problem of inferring a high-level policy from the network, which has been addressed in the past only for a single router.

Coupled deformation-flow analysis for methane hydrate production by depressurized wells

A formulation for coupled flow-deformation analysis of methane-hydrate extraction problems is presented. By assuming that the hydrate does not flow, a two phase flow formulation is considered, based on Darcy's law and capillary pressure relation. The formulation is implemented in the finite difference code FLAC. The code was used to investigate the stability of a methane extraction well by depressurizing the well. © 2005 Taylor & Francis Group, London.

Electroosmotic flow analysis of a branched U-turn nanofluidic device.

In this paper, we present the analysis of electroosmotic flow in a branched -turn nanofluidic device, which we developed for detection and sorting of single molecules. The device, where the channel depth is only 150 nm, is designed to optically detect fluorescence from a volume as small as 270 attolitres (al) with a common wide-field fluorescent setup. We use distilled water as the liquid, in which we dilute 110 nm fluorescent beads employed as tracer-particles. Quantitative imaging is used to characterize the pathlines and velocity distribution of the electroosmotic flow in the device. Due to the device's complex geometry, the electroosmotic flow cannot be solved analytically. Therefore we use numerical flow simulation to model our device. Our results show that the deviation between measured and simulated data can be explained by the measured Brownian motion of the tracer-particles, which was not incorporated in the simulation.

Wave dispersion and power flow analysis of an infinite aerofoil-shaped beam

Classic flutter analysis models an aerofoil as a two degree-of-freedom rigid body supported by linear and torsional springs, which represent the bending and torsional stiffness of the aerofoil section. In this classic flutter model, no energy transfer or dissipation can occur in the span-wise direction of the aerofoil section. However, as the aspect ratio of an aerofoil section increases, this span-wise energy transfer - in the form of travelling waves - becomes important to the overall system dynamics. This paper extends the classic flutter model to include travelling waves in the span-wise direction. Namely, wave dispersion and power flow analysis of an infinite, aerofoil-shaped beam, subject to bending, torsion, tension and a constant wind excitation, is used to investigate the overall system stability. Examples of potential applications for these high aspect ratio aerofoil sections include high-altitude balloon tethers, towed cables, offshore risers and mooring lines.