Automatic computation of pebble roundness using digital imagery and discrete geometry

The shape of sedimentary particles is an important property, from which geographical hypotheses related to abrasion, distance of transport, river behavior, etc. can be formulated. In this paper, we use digital image analysis, especially discrete geometry, to automatically compute some shape parameters such as roundness, i.e. a measure of how much the corners and edges of a particle have been worn away.In contrast to previous work in which traditional digital images analysis techniques, such as Fourier transform, are used, we opted for a discrete geometry approach that allowed us to implement Wadell's original index, which is known to be more accurate, but more time consuming to implement in the field.Our implementation of Wadell's original index is highly correlated (92%) with the roundness classes of Krumbein's chart, used as a ground-truth. In addition, we show that other geometrical parameters, which are easier to compute, can be used to provide good approximations of roundness.We also used our shape parameters to study a set of pebbles digital images taken from the Progo basin river network (Indonesia). The results we obtained are in agreement with previous work and open new possibilities for geomorphologists thanks to automatic computation.     

Validation of plant part measurements using a 3D reconstruction method suitable for high-throughput seedling phenotyping

In plant phenotyping, there is a demand for high-throughput, non-destructive systems that can accurately analyse various plant traits by measuring features such as plant volume, leaf area, and stem length. Existing vision-based systems either focus on speed using 2D imaging, which is consequently inaccurate, or on accuracy using time-consuming 3D methods. In this paper, we present a computer-vision system for seedling phenotyping that combines best of both approaches by utilizing a fast three-dimensional (3D) reconstruction method. We developed image processing methods for the identification and segmentation of plant organs (stem and leaf) from the 3D plant model. Various measurements of plant features such as plant volume, leaf area, and stem length are estimated based on these plant segments. We evaluate the accuracy of our system by comparing the measurements of our methods with ground truth measurements obtained destructively by hand. The results indicate that the proposed system is very promising.     

Hybrid‐impulsive second‐order sliding mode control: Lyapunov approach

Dynamic system of relative degree two controlled by discontinuous‐hybrid‐impulsive feedback in the presence of bounded perturbations is considered. The state feedback impulsive‐twisting control exhibits a uniform exact finite time convergence to the second‐order sliding mode with zero convergence time. The output feedback discontinuous control augmented by a simplified hybrid‐impulsive functions provides uniform exact convergence with zero convergence time of the system's states to a real second‐order sliding mode in the presence of bounded perturbations. Only ‘snap’ knowledge of the output derivative, that is, the knowledge of the output derivative in isolated time instants, is required. The output feedback hybrid‐impulsive control with practically implemented impulsive actions asymptotically drives the system's states to the origin. The Lyapunov analysis of the considered hybrid‐impulsive‐discontinuous system proves the system's stability. The efficacy of the proposed control technique is illustrated via computer simulations. Copyright © 2016 John Wiley & Sons, Ltd.     

Integrating Computing Resources on Multiple Grid-Enabled Job Scheduling Systems Through a Grid RPC System

We present a framework for a parallel programming model by remote procedure calls, which bridge large-scale computing resource pools managed by multiple Grid-enabled job scheduling systems. With this system, the user can exploit not only remote servers and clusters, but also the computing resources provided by Grid-enabled job scheduling systems located on different sites. This framework requires a Grid remote procedure call (RPC) system to decouple the computation in a remote node from the Grid RPC mechanism and uses document-based communication rather than connection-based communication. We implemented the proposed framework as an extension of the OmniRPC system, which is a Grid RPC system for parallel programming. We designed a general interface to easily adapt the OmniRPC system to various Grid-enabled job scheduling systems, including XtremWeb, CyberGRIP, Condor and Grid Engine. We show the preliminary performance of these implementations using a phylogenetic application. We found that the proposed system can achieve approximately the same performance as OmniRPC and can handle interruptions in worker programs on remote nodes. Yoshihiro Nakajima is a Research Fellow of the Japan Society for the Promotion of Science     

Snap-stabilization and PIF in tree networks

The contribution of this paper is threefold. First, we present the paradigm of snap-stabilization. A snap- stabilizing protocol guarantees that, starting from an arbitrary system configuration, the protocol always behaves according to its specification. So, a snap-stabilizing protocol is a time optimal self-stabilizing protocol (because it stabilizes in 0 rounds). Second, we propose a new Propagation of Information with Feedback (PIF) cycle, called Propagation of Information with Feedback and Cleaning (). We show three different implementations of this new PIF. The first one is a basic cycle which is inherently snap-stabilizing. However, the first PIF cycle can be delayed O(h ²) rounds (where h is the height of the tree) due to some undesirable local states. The second algorithm improves the worst delay of the basic algorithm from O(h ²) to 1 round. The state requirement for the above two algorithms is 3 states per processor, except for the root and leaf processors that use only 2 states. Also, they work on oriented trees. We then propose a third snap-stabilizing PIF algorithm on un-oriented tree networks. The state requirement of the third algorithm depends on the degree of the processors, and the delay is at most h rounds. Next, we analyze the maximum waiting time before a PIF cycle can be initiated whether the PIF cycle is infinitely and sequentially repeated or launch as an isolated PIF cycle. The analysis is made for both oriented and un-oriented trees. We show or conjecture that the two best of the above algorithms produce optimal waiting time. Finally, we compute the minimal number of states the processors require to implement a single PIF cycle, and show that both algorithms for oriented trees are also (in addition to being time optimal) optimal in terms of the number of states. WARNING: The concept of snap-stabilization was first introduced in [12]. The concept evolved over the last eight years. We take this evolution in consideration in this paper, which includes the early results published in [10] and [12]. In particular, infinite repetition of computation cycles is a requirement of self-stabilizing systems. This is not required in snap-stabilization because snap-stabilization ensures that the first completed computation cycle is executed according to the specification of the problem. The correctness proofs conform to this basic property.     

Bronchoalveolar lavage. Quantitation of intraalveolar fluid?

A precise calculation of the amount of intraalveolar fluid is the basis of a quantitative analysis of intraalveolar compounds. Different approaches have been made to cover this important problem. Here, we report a comparative study with five markers: 99mTc-DTPA, 51Cr-EDTA, inulin, urea, and methylene blue in animal experiments as well as in human experiments. The marker substances were added to the lavage fluid, and the "dilution" of the markers, i.e., the alveolar fluid, was calculated. The results showed that in animals with healthy lungs the tracer methods are able to calculate amounts of intraalveolar fluid that are comparable to morphologic findings. In animals as well as in humans, methylene blue and inulin were shown to be useless in determining alveolar fluid volume compared with the tracer methods. In humans, the calculations with the urea method and with Tc-DTPA were in the same magnitude, but there was no individual correlation. We conclude that, at present, the methods to quantitate alveolar fluid volume lack precision and add nothing to a deeper understanding of alveolar biology.     

Observation of the morphology of thin films of solid helium deposited from the fluid onto sapphire

Thin layers of solid helium were grown on sapphire single-crystal substrates at pressures from about 500 bar to 9 kbar. Grain boundaries can be observed in these layer crystals. The morphology of the grains depends on the crystal modification. In the hcp phase (below about 1.13 kbar) a system of parallel bands is observed, probably due to slip and twinning. In the fcc phase (above 1.13 kbar) a polygonal structure similar to a helium froth is found. Melting of this froth in the fcc phase shows grain boundary melting; fluid helium is wetting the fcc grains. Grain boundaries in the hcp phase are, in contrast, not wetted by fluid helium. Near the triple point at 1.13 kbar and 15.0 K one can deposit both crystalline phases side by side. In such structures, the transition fcc hcp⁴He can be observed during isothermal holding. The transition proceeds by the parallel motion of low-energy grain boundaries.     

On behavioural pseudometrics and closure ordinals

A behavioural pseudometric is often defined as the least fixed point of a monotone function F on a complete lattice of 1-bounded pseudometrics. According to Tarski?s fixed point theorem, this least fixed point can be obtained by (possibly transfinite) iteration of F, starting from the least element ⊥ of the lattice. The smallest ordinal α such that $F^{\alpha }(\perp )=F^{\alpha +1}(\perp )$ is known as the closure ordinal of F. We prove that if F is also continuous with respect to the sup-norm, then its closure ordinal is ω. We also show that our result gives rise to simpler and modular proofs that the closure ordinal is ω.     

Sequential Compatibility Effects and Cognitive Control: Does Conflict Really Matter?

Although it is widely accepted that control mechanisms are necessary for human behavior to be adapted, very little is known about how such mechanisms are recruited. A suggestion to fill the gap was put forward by M. M. Botvinick, T. S. Braver, C. S. Carter, D. M. Barch, and J. D. Cohen (2001), who proposed the conflict-loop theory. This theory has been successful in accounting for the reduction of compatibility effects after an incompatible trial: The level of conflict being, on average, higher during an incompatible trial, more control occurs after such a trial. The authors have tested this prediction by sorting the trials on the basis of amount of conflict (quantified by the electromyographic activity) they presented. A reduction of the compatibility effect was observed after incompatible trials, but it was independent of the level of conflict on previous trials, suggesting that the conflict does not trigger changes in executive control. Consequences for the conflict monitoring model are discussed. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Modeling and detecting response of micromachining square and circular membranes transducers based on AlN thin film piezoelectric layer

Vibration analysis of square and circular piezoelectric micro ultrasonic transducers (pMUTs) in the 100 kHz range as a function of experimental tools are reported. Analytical and 3D finite element method analysis using Comsol software has been performed to model static, modal and vibration behavior of these membranes. Comparison with standard impedancemeter measurement is shown to assess the performance of Laser Doppler Vibrometry system. Mechanical and electrical characterization and comparison with a model results are presented and discussed. The measured resonances frequencies of membrane can be weak and superimposed on important parasitic signal, which may mask the desired mechanical resonance signal. Our results revealed the real roles of the simulations and the combination of the experimental tools to get measurement accuracy. Subsequently, this piezoelectric micro-transducer was successfully tested as a sounder in air. These investigations offer guidance for the pMUTs design and associated electronic circuit but might at the same time be instructive and beneficial to further sensor applications.