Examples of Network Flow Verification Using TRAFFIC(X)

In our previous work, we developed TRAFFIC(X), a specification language for modeling bi-directional network flows featuring a type system with constrained polymorphism. In this paper, we present two ways to customize the constraint system: (1) when using linear inequality constraints for the constraint system, TRAFFIC(X) can describe flows with numeric properties such as MTU (maximum transmission unit), RTT (round trip time), traversal order, and bandwidth allocation over parallel paths; (2) when using Boolean predicate constraints for the constraint system, TRAFFIC(X) can describe routing policies of an IP network. These examples illustrate how to use the customized type system.

Multi-Scale 3D Scene Flow from Binocular Stereo Sequences

Scene flow methods estimate the three-dimensional motion field for points in the world, using multi-camera video data. Such methods combine multi-view reconstruction with motion estimation. This paper describes an alternative formulation for dense scene flow estimation that provides reliable results using only two cameras by fusing stereo and optical flow estimation into a single coherent framework. Internally, the proposed algorithm generates probability distributions for optical flow and disparity. Taking into account the uncertainty in the intermediate stages allows for more reliable estimation of the 3D scene flow than previous methods allow. To handle the aperture problems inherent in the estimation of optical flow and disparity, a multi-scale method along with a novel region-based technique is used within a regularized solution. This combined approach both preserves discontinuities and prevents over-regularization – two problems commonly associated with the basic multi-scale approaches. Experiments with synthetic and real test data demonstrate the strength of the proposed approach.

Taming hazardous chemistry in flow: The continuous processing of diazo and diazonium compounds

The synthetic utilities of the diazo and diazonium groups are matched only by their reputation for explosive decomposition. Continuous processing technology offers new opportunities to make and use these versatile intermediates at a range of scales with improved safety over traditional batch processes. In this minireview, the state of the art in the continuous flow processing of reactive diazo and diazonium species is discussed.

Dental topography and molar wear in Alouatta palliata from Costa Rica.

Paleoprimatologists depend on relationships between form and function of teeth to reconstruct the diets of fossil species. Most of this work has been limited to studies of unworn teeth. A new approach, dental topographic analysis, allows the characterization and comparison of worn primate teeth. Variably worn museum specimens have been used to construct species-specific wear sequences so that measurements can be compared by wear stage among taxa with known differences in diet. This assumes that individuals in a species tend to wear their molar teeth in similar ways, a supposition that has yet to be tested. Here we evaluate this assumption with a longitudinal study of changes in tooth form over time in primates. Fourteen individual mantled howling monkeys (Alouatta palliata) were captured and then recaptured after 2, 4, and 7 years when possible at Hacienda La Pacifica in Costa Rica between 1989-1999. Dental impressions were taken each time, and molar casts were produced and analyzed using dental topographic analysis. Results showed consistent decreases in crown slope and occlusal relief. In contrast, crown angularity, a measure of surface jaggedness, remained fairly constant except with extreme wear. There were no evident differences between specimens collected in different microhabitats. These results suggest that different individual mantled howling monkeys wear their teeth down in similar ways, evidently following a species-specific wear sequence. Dental topographic analysis may therefore be used to compare morphology among similarly worn individuals from different species.

Computational inference of neural information flow networks.

Determining how information flows along anatomical brain pathways is a fundamental requirement for understanding how animals perceive their environments, learn, and behave. Attempts to reveal such neural information flow have been made using linear computational methods, but neural interactions are known to be nonlinear. Here, we demonstrate that a dynamic Bayesian network (DBN) inference algorithm we originally developed to infer nonlinear transcriptional regulatory networks from gene expression data collected with microarrays is also successful at inferring nonlinear neural information flow networks from electrophysiology data collected with microelectrode arrays. The inferred networks we recover from the songbird auditory pathway are correctly restricted to a subset of known anatomical paths, are consistent with timing of the system, and reveal both the importance of reciprocal feedback in auditory processing and greater information flow to higher-order auditory areas when birds hear natural as opposed to synthetic sounds. A linear method applied to the same data incorrectly produces networks with information flow to non-neural tissue and over paths known not to exist. To our knowledge, this study represents the first biologically validated demonstration of an algorithm to successfully infer neural information flow networks.

Wave transformation and wave-driven flow across a steep coral reef

Observations of waves, setup, and wave-driven mean flows were made on a steep coral forereef and its associated lagoonal system on the north shore of Moorea, French Polynesia. Despite the steep and complex geometry of the forereef, and wave amplitudes that are nearly equal to the mean water depth, linear wave theory showed very good agreement with data. Measurements across the reef illustrate the importance of including both wave transport (owing to Stokes drift), as well as the Eulerian mean transport when computing the fluxes over the reef. Finally, the observed setup closely follows the theoretical relationship derived from classic radiation stress theory, although the two parameters that appear in the model-one reflecting wave breaking, the other the effective depth over the reef crest-must be chosen to match theory to data. © 2013 American Meteorological Society.

The implementation of an aeronautical CFD flow code onto distributed memory parallel systems

The parallelization of an industrially important in-house computational fluid dynamics (CFD) code for calculating the airflow over complex aircraft configurations using the Euler or Navier–Stokes equations is presented. The code discussed is the flow solver module of the SAUNA CFD suite. This suite uses a novel grid system that may include block-structured hexahedral or pyramidal grids, unstructured tetrahedral grids or a hybrid combination of both. To assist in the rapid convergence to a solution, a number of convergence acceleration techniques are employed including implicit residual smoothing and a multigrid full approximation storage scheme (FAS). Key features of the parallelization approach are the use of domain decomposition and encapsulated message passing to enable the execution in parallel using a single programme multiple data (SPMD) paradigm. In the case where a hybrid grid is used, a unified grid partitioning scheme is employed to define the decomposition of the mesh. The parallel code has been tested using both structured and hybrid grids on a number of different distributed memory parallel systems and is now routinely used to perform industrial scale aeronautical simulations. Copyright © 2000 John Wiley & Sons, Ltd.

Viscoelastic flow through a planar contraction using a semi-Lagrangian finite volume method

A semi-Lagrangian finite volume scheme for solving viscoelastic flow problems is presented. A staggered grid arrangement is used in which the dependent variables are located at different mesh points in the computational domain. The convection terms in the momentum and constitutive equations are treated using a semi-Lagrangian approach in which particles on a regular grid are traced backwards over a single time-step. The method is applied to the 4 : 1 planar contraction problem for an Oldroyd B fluid for both creeping and inertial flow conditions. The development of vortex behaviour with increasing values of We is analyzed.

No-flow underfill flip chip assembly–an experimental and modeling analysis

In the flip-chip assembly process, no-flow underfill materials have a particular advantage over traditional underfill: the application and curing of the former can be undertaken before and during the reflow process. This advantage can be exploited to increase the flip-chip manufacturing throughput. However, adopting a no-flow underfill process may introduce reliability issues such as underfill entrapment, delamination at interfaces between underfill and other materials, and lower solder joint fatigue life. This paper presents an analysis on the assembly and the reliability of flip-chips with no-flow underfill. The methodology adopted in the work is a combination of experimental and computer-modeling methods. Two types of no-flow underfill materials have been used for the flip chips. The samples have been inspected with X-ray and scanning acoustic microscope inspection systems to find voids and other defects. Eleven samples for each type of underfill material have been subjected to thermal shock test and the number of cycles to failure for these flip chips have been found. In the computer modeling part of the work, a comprehensive parametric study has provided details on the relationship between the material properties and reliability, and on how underfill entrapment may affect the thermal–mechanical fatigue life of flip chips with no-flow underfill.

A modelling and experimental analysis of the no-flow underfill process for flip-chip assembly

In the flip-chip assembly process, no-flow underfill materials have a particular advantage over traditional underfills as the application and curing of this type of underfill can be undertaken before and during the reflow process - adding high volume throughput. Adopting a no-flow underfill process may result in underfill entrapment between solder and fluid, voiding in the underfill, a possible delamination between underfill and surrounding surfaces. The magnitude of these phenomena may adversely affect the reliability of the assembly in terms of solder joint thermal fatigue. This paper presents both an experimental and mdeling analysis investigating the reliabity of a flip-chip component and how the magnitude of underfill entrapment may affect thermal-mechanical fatigue life.

[Review] M. Feistauer, J. Felcman, I. Straskbraba, Mathematical and Computational Methods for Compressible Flow, Oxford Science Publication, Oxford, ISBN 0198505884, 2004 (535pp.)

The growth of computer power allows the solution of complex problems related to compressible flow, which is an important class of problems in modern day CFD. Over the last 15 years or so, many review works on CFD have been published. This book concerns both mathematical and numerical methods for compressible flow. In particular, it provides a clear cut introduction as well as in depth treatment of modern numerical methods in CFD. This book is organised in two parts. The first part consists of Chapters 1 and 2, and is mainly devoted to theoretical discussions and results. Chapter 1 concerns fundamental physical concepts and theoretical results in gas dynamics. Chapter 2 describes the basic mathematical theory of compressible flow using the inviscid Euler equations and the viscous Navier–Stokes equations. Existence and uniqueness results are also included. The second part consists of modern numerical methods for the Euler and Navier–Stokes equations. Chapter 3 is devoted entirely to the finite volume method for the numerical solution of the Euler equations and covers fundamental concepts such as order of numerical schemes, stability and high-order schemes. The finite volume method is illustrated for 1-D as well as multidimensional Euler equations. Chapter 4 covers the theory of the finite element method and its application to compressible flow. A section is devoted to the combined finite volume–finite element method, and its background theory is also included. Throughout the book numerous examples have been included to demonstrate the numerical methods. The book provides a good insight into the numerical schemes, theoretical analysis, and validation of test problems. It is a very useful reference for applied mathematicians, numerical analysts, and practice engineers. It is also an important reference for postgraduate researchers in the field of scientific computing and CFD.

Modelling of dosator operation for improved manufacturing performance

Purpose: To develop an improved mathematical model for the prediction of dose accuracy of Dosators - based upon the geometry of the machine in conjunction with measured flow properties of the powder. Methods: A mathematical model has been created, based on a analytical method of differential slices - incorporating measured flow properties. The key flow properties of interest in this investigation were: flow function, effective angle of wall friction, wall adhesion, bulk density, stress ratio K and permeability. To simulate the real process and (very importantly) validate the model, a Dosator test-rig has been used to measure the forces acting on the Dosator during the filling stage, the force required to eject the dose and the dose weight. Results: Preliminary results were obtained from the Dosator test-rig. Figure 1 [Omitted] shows the dose weight for different depths to the bottom of the powder bed at the end of the stroke and different levels of pre-compaction of the powder bed. A strong influence over dose weight arising from the proximity between the Dosator and the bottom of the powder bed at the end of the stroke and the conditions of the powder bed has been established. Conclusions: The model will provide a useful tool to predict dosing accuracy and, thus, optimise the future design of Dosator based equipment technology – based on measured bulk properties of the powder to be handled. Another important factor (with a significant influence) on Dosator processes, is the condition of the powder bed and the clearance between the Dosator and the bottom of the powder bed.

Epipelagic mesozooplankton distribution and abundance over the Mascarene Plateau and Basin, south-western Indian Ocean

The crescent shaped Mascarene Plateau (southwestern Indian Ocean), some 2200 km in length, forms a partial barrier to the (predominantly westward) flow of the South Equatorial Current. Shallow areas of the Mascarene Plateau effectively form a large shelf sea without an associated coastline. Zooplankton sampling transects were made across the plateau and also the basin to the west, to investigate the role the partial interruption of flow has on zooplankton biomass and community structure over the region. Biomass data from Optical Plankton Counter (OPC) analysis, and variability in community structure from taxonomic analysis, appear to indicate that the obstruction by the plateau causes upwelling, nutrient enrichment and enhanced chlorophyll and secondary production levels downstream. The Mascarene Basin is clearly distinguishable from the ridge itself, and from the waters to the south and north, both in terms of size-distributed zooplankton biomass and community structure. Satellite remote sensing data, particularly remotely-sensed ocean colour imagery and the sea surface height anomaly (SSHA), indicate support for this hypothesis. A correlation was found between OPC biovolume and SSHA and sea surface temperature (SST), which may indicate the physical processes driving mesozooplankton variability in this area. Biomass values away from the influence of the ridge averaged 24 mg m-3, but downstream if the ridge biomass averaged 263 mg m-3. Copepods comprised 60% of the mean total organisms. Calanoid copepods varied considerably between regions, being lowest away from the influence of the plateau, where higher numbers of the cyclopoid copepods Oithona spp., Corycaeus spp. and Oncaea spp., and the harpacticoid Microsetella spp. were found.

From plankton to top predators: bottom-up control of a marine food web across four trophic levels

1. Abundant mid-trophic pelagic fish often play a central role in marine ecosystems, both as links between zooplankton and top predators and as important fishery targets. In the North Sea, the lesser sandeel occupies this position, being the main prey of many bird, mammal and fish predators and the target of a major industrial fishery. However, since 2003, sandeel landings have decreased by > 50%, and many sandeel-dependent seabirds experienced breeding failures in 2004. 2. Despite the major economic implications, current understanding of the regulation of key constituents of this ecosystem is poor. Sandeel abundance may be regulated 'bottom-up' by food abundance, often thought to be under climatic control, or 'top-down' by natural or fishery predation. We tested predictions from these two hypotheses by combining unique long-term data sets (1973–2003) on seabird breeding productivity from the Isle of May, SE Scotland, and plankton and fish larvae from the Continuous Plankton Recorder survey. We also tested whether seabird breeding productivity was more tightly linked to sandeel biomass or quality (size) of individual fish. 3. The biomass of larval sandeels increased two- to threefold over the study period and was positively associated with proxies of the abundance of their plankton prey. Breeding productivity of four seabirds bringing multiple prey items to their offspring was positively related to sandeel larval biomass with a 1-year lag, indicating dependence on 1-year-old fish, but in one species bringing individual fish it was strongly associated with the size of adult sandeels. 4. These links are consistent with bottom-up ecosystem regulation and, with evidence from previous studies, indicate how climate-driven changes in plankton communities can affect top predators and potentially human fisheries through the dynamics of key mid-trophic fish. However, the failing recruitment to adult sandeel stocks and the exceptionally low seabird breeding productivity in 2004 were not associated with low sandeel larval biomass in 2003, so other mechanisms (e.g. predation, lack of suitable food after metamorphosis) must have been important in this case. Understanding ecosystem regulation is extremely important for predicting the fate of keystone species, such as sandeels, and their predators.

Bottom-up effects of climate on fish populations: data from the Continuous Plankton Recorder

The Continuous Plankton Recorder (CPR) dataset on fish larvae has an extensive spatio-temporal coverage that allows the responses of fish populations to past changes in climate variability, including abrupt changes such as regime shifts, to be investigated. The newly available dataset offers a unique opportunity to investigate long-term changes over decadal scales in the abundance and distribution of fish larvae in relation to physical and biological factors. A principal component analysis (PCA) using 7 biotic and abiotic parameters is applied to investigate the impact of environmental changes in the North Sea on 5 selected taxa of fish larvae during the period 1960 to 2004. The analysis revealed 4 periods of time (1960–1976; 1977–1982; 1983–1996; 1997–2004) reflecting 3 different ecosystem states. The larvae of clupeids, sandeels, dab and gadoids seemed to be affected mainly by changes in the plankton ecosystem, while the larvae of migratory species such as Atlantic mackerel responded more to hydrographic changes. Climate variability seems more likely to influence fish populations through bottom-up control via a cascading effect from changes in the North Atlantic Oscillation (NAO) impacting on the hydro dynamic features of the North Sea, in turn impacting on the plankton available as prey for fish larvae. The responses and adaptability of fish larvae to changing environmental conditions, parti cularly to changes in prey availability, are complex and species-specific. This complexity is enhanced with fishing effects interacting with climate effects and this study supports furthering our under - standing of such interactions before attempting to predict how fish populations respond to climate variability