Handling causality and schedulability when designing and prototyping cyber-physical systems

Software and Systems Modeling - Cyber physical systems are built upon digital and analog circuits, making it necessary to handle different models of computation during their design and verification...     

Invertebrate response to impacts of water diversion and flow regulation in high‐altitude tropical streams

Water supply systems are critical infrastructure that provides food and energy security for developed societies. The operation of reservoirs (flow regulation) and water intakes (water diversion) has known negative impacts on aquatic ecosystems; however, quantification of ecological impacts and examination of these two types of flow alteration remain a developing area of research. We investigated the individual and combined impact of flow regulation and water diversion on stream ecosystem integrity, the freshwater macroinvertebrate community, and the population structure of flow‐sensitive insects. For 2 years, we monitored quarterly discharge, physical and chemical stream conditions, and benthic invertebrates of four high‐altitude tropical streams that are part of the water supply system of Quito, Ecuador. Flow regulation caused a loss of the hydrological seasonality of these streams, including a decrease in stream depth and biotic quality. Water diversion caused a decrease in dissolved oxygen and overall ecosystem integrity. Freshwater invertebrate density and richness decreased as a result of water diversion and flow regulation. The combined flow alteration in these streams decreased the density of nymphal stages of the widely distributed mayfly Andesiops peruvianus. Given the societal needs for food and energy security, water management for diversion (e.g., irrigation) and in‐line storage practices (e.g., hydroelectric dams) are anticipated to increase. This research suggests that the negative environmental impacts of flow alteration could be mitigated with discharge releases designed to approximate the natural hydrologic regime of undisturbed streams.     

When a Tritrophic Interaction Goes Wrong to the Third Level: Xanthoxylin From Trees Causes the Honeybee Larval Mortality in Colonies Affected by the River Disease

The “River Disease” (RD), a disorder impacting honeybee colonies located close to waterways with abundant riparian vegetation (including Sebastiania schottiana, Euphorbiaceae), kills newly hatched larvae. Forager bees from RD-affected colonies collect honeydew excretions from Epormenis cestri (Hemiptera: Flatidae), a planthopper feeding on trees of S. schottiana. First-instar honeybee larvae fed with this honeydew died. Thus, we postulated that the nectars of RD-affected colonies had a natural toxin coming from either E. cestri or S. schottiana. An untargeted metabolomics characterization of fresh nectars extracts from colonies with and without RD allowed to pinpoint xanthoxylin as one of the chemicals present in higher amounts in nectar from RD-affected colonies than in nectars from healthy colonies. Besides, xanthoxylin was also found in the aerial parts of S. schottiana and the honeydew excreted by E. cestri feeding on this tree. A larva feeding assay where xanthoxylin-enriched diets were offered to 1^st instar larvae showed that larvae died in the same proportion as larvae did when offered enriched diets with nectars from RD-colonies. These findings demonstrate that a xenobiotic can mimic the RD syndrome in honeybee larvae and provide evidence of an interspecific flow of xanthoxylin among three trophic levels. Further, our results give information that can be considered when implementing measures to control this honeybee disease.

     

On absolute (robust) stability: slope restrictions andstability multipliers

Absolute stability for systems with several sector‐restricted and slope‐restricted nonlinearities is studied in this paper. A critical analysis of the multipliers is performed and the multipliers of Yakubovich type are chosen because the stability inequality is obtained with a minimum of technical assumptions. The main part of the paper is devoted to obtaining the Yakubovich‐type criterion in the unified context of stable, critical, and unstable cases for the linear part. The paper is motivated by the problem of pilot in‐the‐loop oscillations of the aircrafts where critical and unstable cases appear and the saturation nonlinearity is both sector and slope restricted. The paper contains some applications of the frequency domain inequalities. The conclusions show a ‘parsimony principle’: using as few free parameters as possible to obtain the largest possible domain of stability. The paper ends with conclusions and hints for further development. Copyright © 2011 John Wiley & Sons, Ltd.     

Density Displays for Data Stream Monitoring

In many business applications, large data workloads such as sales figures or process performance measures need to be monitored in real‐time. The data analysts want to catch problems in flight to reveal the root cause of anomalies. Immediate actions need to be taken before the problems become too expensive or consume too many resources. In the meantime, analysts need to have the “big picture” of what the information is about. In this paper, we derive and analyze two real‐time visualization techniques for managing density displays: (1) circular overlay d isplays which visualize large volumes of data without data shift movements after the display is full, thus freeing the analyst from adjusting the mental picture of the data after each data shift; and (2) variable resolution density displays which allow users to get the entire view without cluttering. We evaluate these techniques with respect to a number of evaluation measures, such as constancy of the display and usage of display space, and compare them to conventional d isplays with periodic shifts. Our real time data monitoring system also provides advanced interactions such as a local root cause analysis for further exploration. The applications using a number of real‐world data sets show the wide applicability and usefulness of our ideas.     

Exploiting User Interests to Characterize Navigational Patterns in Web Browsing Assistance

In order to be capable of exploiting context for pro-active information recommendation, agents need to extract and understand user activities based on their knowledge of the user interests. In this paper, we propose a novel approach for context-aware recommendation in browsing assistants based on the integration of user profiles, navigational patterns and contextual elements. In this approach, user profiles built using an unsupervised Web page clustering algorithm are used to characterize user ongoing activities and behavior patterns. Experimental evidence show that using longer-term interests to explain active browsing goals user assistance is effectively enhanced.

Sub‐Micron Polymeric Stomatocytes as Promising Templates for Confined Crystallization and Diffraction Experiments

The possibility of using sub‐micrometer polymeric stomatocytes is investigated to effectuate confined crystallization of inorganic compounds. These bowl‐shaped polymeric compartments facilitate confined crystallization while their glassy surfaces provide their crystalline cargos with convenient shielding from the electron beam's harsh effects during transmission electron microscopy experiments. Stomatocytes host the growth of a single nanocrystal per nanocavity, and the electron diffraction experiments reveal that their glassy membranes do not interfere with the diffraction patterns obtained from their crystalline cargos. Therefore, it is expected that the encapsulation and crystallization within these compartments can be considered as a promising template (nanovials) that hold and protect nanocrystals and protein clusters from the direct radiation damage before data acquisition, while they are examined by modern crystallography methodologies such as serial femtosecond crystallography.     

Optimal-tuning PID control of adaptive materials for structural efficiency

The objective of this paper was solving the optimization problem of lightweight stiffened structures modelled as a two-dimensional domain in an efficient computational way. The underlying premise was that mass should be distributed in an efficient way, so as to use a minimum amount of material to accomplish the mechanical function. This premise was expressed as a global, multi-objective optimization problem in which stiffness and mass were conflicting objectives. Alternative local evolution rules were implemented to update mass density or Young’s modulus at each step of the iterative procedure. The solution of the structural optimization problem was accomplished by a novel automatic procedure consisting of two consecutive stages of control and optimization. In the first stage of Proportional Integral Derivative (PID) control gains were manually selected whereas in the second stage the finding of optimal values of control gains, target, and cost indices was allowed. In this study a bone-like material was adopted and a thin slab was analysed as a sample problem.