Synthesizing robust systems

Systems should not only be correct but also robust in the sense that they behave reasonably in unexpected situations. This article addresses synthesis of robust reactive systems from temporal specifications. Existing methods allow arbitrary behavior if assumptions in the specification are violated. To overcome this, we define two robustness notions, combine them, and show how to enforce them in synthesis. The first notion applies to safety properties: If safety assumptions are violated temporarily, we require that the system recovers to normal operation with as few errors as possible. The second notion requires that, if liveness assumptions are violated, as many guarantees as possible should be fulfilled nevertheless. We present a synthesis procedure achieving this for the important class of GR(1) specifications, and establish complexity bounds. We also present an implementation of a special case of robustness, and show experimental results.     

Computer study of bubble motion in a rotating liquid

The motion of a small, shape-preserving gas bubble through a rotating, homogeneous, incompressible, viscous liquid is investigated numerically be means of the Runge-Kutta-Nyström method. The fluid (liquid-gas) system spins about a fixed horizontal axis with constant angular velocity. Computer solutions are compared with experimental observations, and numerical experiences concerning step widths and computer accuracy are described.     

Volatile Emissions from Aesculus hippocastanum Induced by Mining of Larval Stages of Cameraria ohridella Influence Oviposition by Conspecific Females

Larval stages of the horse chestnut leafminer Cameraria ohridella can completely destroy the surface of horse chestnut leaves, Aesculus hippocastanum. This study investigated the effect of the degree of leaf browning caused by the insect’s larvae on olfactory detection, aggregation, and oviposition of C. ohridella adults. The influence of A. hippocastanum flower scent on oviposition of the first generation was also evaluated. Utilizing gas chromatography coupled with parallel detection by mass spectrometry and electroantennography (GC-MS/EAD), more than 30 compounds eliciting responses from antennae of C. ohridella were detected. Oviposition and mining by C. ohridella caused significant changes in the profile of leaf volatiles of A. hippocastanum. After oviposition and subsequent mining by early larval stages (L1–L3), substances such as benzaldehyde, 1,8-cineole, benzyl alcohol, 2-phenylethanol, methyl salicylate, (E)-β-caryophyllene, and (E,E)-α-farnesene were emitted in addition to the compounds emitted by uninfested leaves. Insects were able to detect these compounds. The emitted amount of these substances increased with progressive larval development. During late larval stages (L4, L5) and severe loss of green leaf area, (E,E)-2,4-hexadienal, (E/Z)-linalool oxide (furanoid), nonanal, and decanal were also released by leaves. These alterations of the profile of volatiles caused modifications in aggregation of C. ohridella on leaves. In choice tests, leaves in early infestation stages showed no significant effect on aggregation, whereas insects avoided leaves in late infestation stages. Further choice tests with leaves treated with single compounds led to the identification of substances mediating an increase or decrease in oviposition.     

The potential limitations on its basin decision-making processes of granting self-defence rights to Father Rhine

ABSTRACT

Recent grants of legal rights to rivers would seem to infuse traditional anthropocentric river governance with greater eco-centrism. Through a thought experiment, we scrutinize this proposition for the Rhine basin. We consider the governance implications of granting (procedural/material) rights to the river and elaborate on their implications for the three highly institutionalized regimes of the Rhine River of water quality, flooding and transport. Since we find that a shift to more eco-centrism has already occurred and since the right granted to the river would not be absolute, we deem radical transformations unlikely.     

The periodic tableau: Form and colours in the first 100 years

While symbolic colour use has always played a conspicuous role in science research and education, the use of colour in historic diagrams remains a lacuna in the history of science. Investigating the colour use in diagrams often means uncovering a whole cosmology that is not otherwise explicit in the diagram itself. The periodic table is a salient and iconic example of non‐mimetic colour use in science. Andreas von Antropoff's (1924) rectangular table of recurrent rainbow colours is famous, as are Alcindo Flores Cabral's (1949) application of colour in his round snail form, using the RGB scheme, and Mazurs's (1967) pine tree system, consisting of warm and cold colours that he attributed to specific groups of elements—an attribution that we can relate back to humoralism and alchemy. From the first periodic tables in the 19th century, individual researchers have used different colour regimes. While standardization may play an obvious role in chemistry and its diagrams, all the more impressive is the anarchistic use of colour in the various diagrams which continue to be created. This article focuses on periodic tables in chemical journals and text books, and explores and compares the development of colour codes found in the few existing polychrome diagrams from the 1920s to the 1970s.     

Toward an Aqueous Solar Battery: Direct Electrochemical Storage of Solar Energy in Carbon Nitrides

Graphitic carbon nitrides have emerged as an earth‐abundant family of polymeric materials for solar energy conversion. Herein, a 2D cyanamide‐functionalized polyheptazine imide (NCN‐PHI) is reported, which for the first time enables the synergistic coupling of two key functions of energy conversion within one single material: light harvesting and electrical energy storage. Photo‐electrochemical measurements in aqueous electrolytes reveal the underlying mechanism of this “solar battery” material: the charge storage in NCN‐PHI is based on the photoreduction of the carbon nitride backbone and charge compensation is realized by adsorption of alkali metal ions within the NCN‐PHI layers and at the solution interface. The photoreduced carbon nitride can thus be described as a battery anode operating as a pseudocapacitor, which can store light‐induced charge in the form of long‐lived, “trapped” electrons for hours. Importantly, the potential window of this process is not limited by the water reduction reaction due to the high intrinsic overpotential of carbon nitrides for hydrogen evolution, potentially enabling new applications for aqueous batteries. Thus, the feasibility of light‐induced electrical energy storage and release on demand by a one‐component light‐charged battery anode is demonstrated, which provides a sustainable solution to overcome the intermittency of solar radiation.