Seawater carbonate chemistry, thickness and carbonate elemental composition of the test of juvenile sea urchins in a laboratory experiment

Ocean surface CO2 levels are increasing in line with rising atmospheric CO2 and could exceed 900 µatm by year 2100, with extremes above 2000 µatm in some coastal habitats. The imminent increase in ocean pCO2 is predicted to have negative consequences for marine fishes, including reduced aerobic performance, but variability among species could be expected. Understanding interspecific responses to ocean acidification is important for predicting the consequences of ocean acidification on communities and ecosystems. In the present study, the effects of exposure to near-future seawater CO2 (860 µatm) on resting (M O2rest) and maximum (M O2max) oxygen consumption rates were determined for three tropical coral reef fish species interlinked through predator-prey relationships: juvenile Pomacentrus moluccensis and Pomacentrus amboinensis, and one of their predators: adult Pseudochromis fuscus. Contrary to predictions, one of the prey species, P. amboinensis, displayed a 28-39% increase in M O2max after both an acute and four-day exposure to near-future CO2 seawater, while maintaining M O2rest. By contrast, the same treatment had no significant effects on M O2rest or M O2max of the other two species. However, acute exposure of P. amboinensis to 1400 and 2400 µatm CO2 resulted in M O2max returning to control values. Overall, the findings suggest that: (1) the metabolic costs of living in a near-future CO2 seawater environment were insignificant for the species examined at rest; (2) the M O2max response of tropical reef species to near-future CO2 seawater can be dependent on the severity of external hypercapnia; and (3) near-future ocean pCO2 may not be detrimental to aerobic scope of all fish species and it may even augment aerobic scope of some species. The present results also highlight that close phylogenetic relatedness and living in the same environment, does not necessarily imply similar physiological responses to near-future CO2.

Studying the effect of CO2-induced acidification on sediment toxicity using acute amphipod toxicity test

Carbon capture and storage is increasingly being considered one of the most efficient approaches to mitigate the increase of CO2 in the atmosphere associated with anthropogenic emissions. However, the environmental effects of potential CO2 leaks remain largely unknown. The amphipod Ampelisca brevicornis was exposed to environmental sediments collected in different areas of the Gulf of Cádiz and subjected to several pH treatments to study the effects of CO2-induced acidification on sediment toxicity. After 10 days of exposure, the results obtained indicated that high lethal effects were associated with the lowest pH treatments, except for the Ría of Huelva sediment test. The mobility of metals from sediment to the overlying seawater was correlated to a pH decrease. The data obtained revealed that CO2-related acidification would lead to lethal effects on amphipods as well as the mobility of metals, which could increase sediment toxicity.

TEST

Der Müller und die fünf Räuber, Überfall²³

Seawater carbonate chemistry, thickness and carbonate elemental composition of the test of juvenile sea urchins in a laboratory experiment

Continuous anthropogenic CO2 emissions to the atmosphere and uptake by the oceans will cause a reduction of seawater pH and saturation state (Omega) of CaCO3 minerals from which marine calcifiers build their shells and skeletons. Sea urchins use the most soluble form of calcium carbonate, high-magnesium calcite, to build their skeleton, spines and grazing apparatus. In order to highlight the effects of increased pCO2 on the test thickness and carbonate elemental composition of juvenile sea urchins and potential differences in their responses linked to the diet, we performed a laboratory experiment on juvenile Paracentrotus lividus, grazing on calcifying (Corallina elongata) and non-calcifying (Cystoseira amentacea, Dictyota dichotoma) macroalgae, under different pH (corresponding to pCO2 values of 390, 550, 750 and 1000 µatm). Results highlighted the importance of the diet in determining sea urchin size irrespectively of the pCO2 level, and the relevance of macroalgal diet in modulating urchin Mg/Ca ratio. The present study provides relevant clues both in terms of the mechanism of mineral incorporation and in terms of bottom-up processes (algal diet) affecting top-down ones (fish predation) in rocky subtidal communities

Impact of changing carbonate chemistry, temperature, and salinity on growth and test degradation of the benthic foraminifer Ammonia aomoriensis

The present study investigated the combined effects of ocean acidification, temperature, and salinity on growth and test degradation of Ammonia aomoriensis. This species is one of the dominant benthic foraminifera in near-coastal habitats of the southwestern Baltic Sea that can be particularly sensitive to changes in seawater carbonate chemistry. To assess potential responses to ocean acidification and climate change, we performed a fully crossed experiment involving three temperatures (8, 13, and 18°C), three salinities (15, 20, and 25) and four pCO2 levels (566, 1195, 2108, and 3843 µatm) for six weeks. Our results highlight a sensitive response of A. aomoriensis to undersaturated seawater with respect to calcite. The specimens continued to grow and increase their test diameter in treatments with pCO2 <1200 µatm, when Omega calc >1. Growth rates declined when pCO2 exceeded 1200 µatm (Omega calc <1). A significant reduction in test diameter and number of tests due to dissolution was observed below a critical Omega calc of 0.5. Elevated temperature (18°C) led to increased Omega calc, larger test diameter, and lower test degradation. Maximal growth was observed at 18°C. No significant relationship was observed between salinity and test growth. Lowered and undersaturated Omega calc, which results from increasing pCO2 in bottom waters, may cause a significant future decline of the population density of A. aomoriensis in its natural environment. At the same time, this effect might be partially compensated by temperature rise due to global warming.

Mathematical model for manoeuvrability of a riverine support patrol vessel with a pump-jet propulsion system

A study on the manoeuvrability of a riverine support patrol vessel is made to derive a mathematical model and simulate maneuvers with this ship. The vessel is mainly characterized by both its wide-beam and the unconventional propulsion system, that is, a pump-jet type azimuthal propulsion. By processing experimental data and the ship characteristics with diverse formulae to find the proper hydrodynamic coefficients and propulsion forces, a system of three differential equations is completed and tuned to carry out simulations of the turning test. The simulation is able to accept variable speed, jet angle and water depth as input parameters and its output consists of time series of the state variables and a plot of the simulated path and heading of the ship during the maneuver. Thanks to the data of full-scale trials previously performed with the studied vessel, a process of validation was made, which shows a good fit between simulated and full-scale experimental results, especially on the turning diameter

Estudio experimental del Sistema de Albañilería Integral en la construcción de viviendas sismorresistentes. Experimental study of the Integral Masonry System in the construction of earthquake resistant houses

This paper presents the application of the Integral Masonry System (IMS) to the construction of earthquake resistant houses and its experimental study. To verify the security of this new type of building in seismic areas of the third world two prototypes have been tested, one with adobe and the other with hollow brick. In both cases it’s a two-story 6x6x6 m3 house built to scale 1/2. The tests are carried out at the Laboratory of Antiseismic Structures of the Department of Engineering, Pontifical Catholic University of Peru in Lima, in collaboration with the UPM (Technical University of Madrid). This article shows the design process of the prototypes to test, including the sizing of the reinforcements, the characteristics of the tests and the results obtained. These results show that the IMS with adobe or brick remains stable with no significant cracks faced with a severe earthquake, with an estimated acceleration of 1.8 g. Este artículo presenta una aplicación del Sistema de Albañilería Integral (SAI) a la construcción de viviendas sismorresistentes y su estudio experimental. Para verificar su seguridad para su construcción en zonas sísmicas del tercer mundo se han ensayado dos prototipos, uno con adobe, y otro con ladrillo hueco. Se trata de una vivienda de 6x6x6 m3 y dos plantas que se construyen a escala 1/2. Los ensayos se realizaron en el Laboratorio de Estructuras Antisísmicas del Departamento de Ingeniería de la Pontificia Católica Universidad del Perú (PUCP) de Lima en colaboración con la UPM (Universidad Politécnica de Madrid). Este artículo muestra el proceso de diseño de los prototipos a ensayar, incluido el dimensionado de los refuerzos, las características de los ensayos y los resultados obtenidos. Estos resultados muestran que el SAI con adobe o ladrillo permanece estable sin grietas significativas ante un sismo severo, con una aceleración estimada de 1,8 g.

On the Statistical Distribution of Object-Oriented System Properties

The statistical distributions of different software properties have been thoroughly studied in the past, including software size, complexity and the number of defects. In the case of object-oriented systems, these distributions have been found to obey a power law, a common statistical distribution also found in many other fields. However, we have found that for some statistical properties, the behavior does not entirely follow a power law, but a mixture between a lognormal and a power law distribution. Our study is based on the Qualitas Corpus, a large compendium of diverse Java-based software projects. We have measured the Chidamber and Kemerer metrics suite for every file of every Java project in the corpus. Our results show that the range of high values for the different metrics follows a power law distribution, whereas the rest of the range follows a lognormal distribution. This is a pattern typical of so-called double Pareto distributions, also found in empirical studies for other software properties.

Contribution to the Analysis, Design and Assessment of Compact Antenna Test Ranges At Millimeter Wavelengths - Contribución al Análisis, Diseño y Caracterización de Sistemas de Medida de Antenas en Rango Compacto para Frecuencias Milimétricas

This Doctoral Thesis entitled Contribution to the analysis, design and assessment of compact antenna test ranges at millimeter wavelengths aims to deepen the knowledge of a particular antenna measurement system: the compact range, operating in the frequency bands of millimeter wavelengths. The thesis has been developed at Radiation Group (GR), an antenna laboratory which belongs to the Signals, Systems and Radiocommunications department (SSR), from Technical University of Madrid (UPM). The Radiation Group owns an extensive experience on antenna measurements, running at present four facilities which operate in different configurations: Gregorian compact antenna test range, spherical near field, planar near field and semianechoic arch system. The research work performed in line with this thesis contributes the knowledge of the first measurement configuration at higher frequencies, beyond the microwaves region where Radiation Group features customer-level performance. To reach this high level purpose, a set of scientific tasks were sequentially carried out. Those are succinctly described in the subsequent paragraphs. A first step dealed with the State of Art review. The study of scientific literature dealed with the analysis of measurement practices in compact antenna test ranges in addition with the particularities of millimeter wavelength technologies. Joint study of both fields of knowledge converged, when this measurement facilities are of interest, in a series of technological challenges which become serious bottlenecks at different stages: analysis, design and assessment. Thirdly after the overview study, focus was set on Electromagnetic analysis algorithms. These formulations allow to approach certain electromagnetic features of interest, such as field distribution phase or stray signal analysis of particular structures when they interact with electromagnetic waves sources. Properly operated, a CATR facility features electromagnetic waves collimation optics which are large, in terms of wavelengths. Accordingly, the electromagnetic analysis tasks introduce an extense number of mathematic unknowns which grow with frequency, following different polynomic order laws depending on the used algorithmia. In particular, the optics configuration which was of our interest consisted on the reflection type serrated edge collimator. The analysis of these devices requires a flexible handling of almost arbitrary scattering geometries, becoming this flexibility the nucleus of the algorithmia’s ability to perform the subsequent design tasks. This thesis’ contribution to this field of knowledge consisted on reaching a formulation which was powerful at the same time when dealing with various analysis geometries and computationally speaking. Two algorithmia were developed. While based on the same principle of hybridization, they reached different order Physics performance at the cost of the computational efficiency. Inter-comparison of their CATR design capabilities was performed, reaching both qualitative as well as quantitative conclusions on their scope. In third place, interest was shifted from analysis - design tasks towards range assessment. Millimetre wavelengths imply strict mechanical tolerances and fine setup adjustment. In addition, the large number of unknowns issue already faced in the analysis stage appears as well in the on chamber field probing stage. Natural decrease of dynamic range available by semiconductor millimeter waves sources requires in addition larger integration times at each probing point. These peculiarities increase exponentially the difficulty of performing assessment processes in CATR facilities beyond microwaves. The bottleneck becomes so tight that it compromises the range characterization beyond a certain limit frequency which typically lies on the lowest segment of millimeter wavelength frequencies. However the value of range assessment moves, on the contrary, towards the highest segment. This thesis contributes this technological scenario developing quiet zone probing techniques which achieves substantial data reduction ratii. Collaterally, it increases the robustness of the results to noise, which is a virtual rise of the setup’s available dynamic range. In fourth place, the environmental sensitivity of millimeter wavelengths issue was approached. It is well known the drifts of electromagnetic experiments due to the dependance of the re sults with respect to the surrounding environment. This feature relegates many industrial practices of microwave frequencies to the experimental stage, at millimeter wavelengths. In particular, evolution of the atmosphere within acceptable conditioning bounds redounds in drift phenomena which completely mask the experimental results. The contribution of this thesis on this aspect consists on modeling electrically the indoor atmosphere existing in a CATR, as a function of environmental variables which affect the range’s performance. A simple model was developed, being able to handle high level phenomena, such as feed - probe phase drift as a function of low level magnitudes easy to be sampled: relative humidity and temperature. With this model, environmental compensation can be performed and chamber conditioning is automatically extended towards higher frequencies. Therefore, the purpose of this thesis is to go further into the knowledge of millimetre wavelengths involving compact antenna test ranges. This knowledge is dosified through the sequential stages of a CATR conception, form early low level electromagnetic analysis towards the assessment of an operative facility, stages for each one of which nowadays bottleneck phenomena exist and seriously compromise the antenna measurement practices at millimeter wavelengths.

Desing and Validation of a Light Inference System to Support Embedded Context Reasoning

Embedded context management in resource-constrained devices (e.g. mobile phones, autonomous sensors or smart objects) imposes special requirements in terms of lightness for data modelling and reasoning. In this paper, we explore the state-of-the-art on data representation and reasoning tools for embedded mobile reasoning and propose a light inference system (LIS) aiming at simplifying embedded inference processes offering a set of functionalities to avoid redundancy in context management operations. The system is part of a service-oriented mobile software framework, conceived to facilitate the creation of context-aware applications—it decouples sensor data acquisition and context processing from the application logic. LIS, composed of several modules, encapsulates existing lightweight tools for ontology data management and rule-based reasoning, and it is ready to run on Java-enabled handheld devices. Data management and reasoning processes are designed to handle a general ontology that enables communication among framework components. Both the applications running on top of the framework and the framework components themselves can configure the rule and query sets in order to retrieve the information they need from LIS. In order to test LIS features in a real application scenario, an ‘Activity Monitor’ has been designed and implemented: a personal health-persuasive application that provides feedback on the user’s lifestyle, combining data from physical and virtual sensors. In this case of use, LIS is used to timely evaluate the user’s activity level, to decide on the convenience of triggering notifications and to determine the best interface or channel to deliver these context-aware alerts.d

Formal verification of safety protocol in train control system

In order to satisfy the safety-critical requirements, the train control system (TCS) often employs a layered safety communication protocol to provide reliable services. However, both description and verification of the safety protocols may be formidable due to the system complexity. In this paper, interface automata (IA) are used to describe the safety service interface behaviors of safety communication protocol. A formal verification method is proposed to describe the safety communication protocols using IA and translate IA model into PROMELA model so that the protocols can be verified by the model checker SPIN. A case study of using this method to describe and verify a safety communication protocol is included. The verification results illustrate that the proposed method is effective to describe the safety protocols and verify deadlocks, livelocks and several mandatory consistency properties. A prototype of safety protocols is also developed based on the presented formally verifying method.

Visual Servoing for the Robotenis System: a Strategy for a 3 DOF Parallel Robot to Hit a Ping-Pong Ball

This article describes a new visual servo control and strategies that are used to carry out dynamic tasks by the Robotenis platform. This platform is basically a parallel robot that is equipped with an acquisition and processing system of visual information, its main feature is that it has a completely open architecture control, and planned in order to design, implement, test and compare control strategies and algorithms (visual and actuated joint controllers). Following sections describe a new visual control strategy specially designed to track and intercept objects in 3D space. The results are compared with a controller shown in previous woks, where the end effector of the robot keeps a constant distance from the tracked object. In this work, the controller is specially designed in order to allow changes in the tracking reference. Changes in the tracking reference can be used to grip an object that is under movement, or as in this case, hitting a hanging Ping-Pong ball. Lyapunov stability is taken into account in the controller design.