Efficiently enforcing mutual state exclusion requirements in symbolic supervisor synthesis

Given a model of an uncontrolled system and a requirement specification, a supervisory controller can be synthesized so that the system under control adheres to the requirements. There are several ways in which informal behavioral safety requirements can be formalized, one of which is using mutual state exclusion requirements. In current implementations of the supervisor synthesis algorithm, synthesis may be inefficient when mutual state exclusion requirements are used. We propose a method to efficiently enforce these requirements in supervisor synthesis. We consider symbolic supervisor synthesis, where Binary Decision Diagrams are used to represent the system. The efficiency of the proposed method is evaluated by means of an industrial and academic case study

The conduction pathway of potassium channels is water free under physiological conditions.

Ion conduction through potassium channels is a fundamental process of life. On the basis of crystallographic data, it was originally proposed that potassium ions and water molecules are transported through the selectivity filter in an alternating arrangement, suggesting a "water-mediated" knock-on mechanism. Later on, this view was challenged by results from molecular dynamics simulations that revealed a "direct" knock-on mechanism where ions are in direct contact. Using solid-state nuclear magnetic resonance techniques tailored to characterize the interaction between water molecules and the ion channel, we show here that the selectivity filter of a potassium channel is free of water under physiological conditions. Our results are fully consistent with the direct knock-on mechanism of ion conduction but contradict the previously proposed water-mediated knock-on mechanism

Numerical investigation of the impact behaviour of bioinspired nacre-like aluminium composite plates

Inspired by the hierarchical structure of nacre, an aluminium alloy (AA) 7075 based composite featuring layer waviness and cohesive interface is studied as a low weight impact resistant material. To investigate the mechanical response and the ballistic performance of this laminated structure, a numerical study of the proposed nacre-like composite plates made of 1.1-mm thick AA 7075 tablets bonded with toughened epoxy resin was performed using Abaqus/Explicit. Target thicknesses of 5.4-mm, 7.5-mm and 9.6-mm impacted by a rigid hemi-spherical projectile were simulated. The epoxy material was modelled using a user-defined interface cohesive element with compressive strength enhancement. A significant performance improvement was recorded for the 5.4-mm nacre-like plate (compared to the same thickness bulk plate), which was explained by the hierarchical structure facilitating both localised energy absorption (by deformation of the tablet) and more globalized energy absorption (by inter-layered delamination and friction). For a given projectile, however, the performance improvement of using the proposed composite decreased with increasing laminate thickness, which was attributed to the increased likelihood of ductile failure occurring prior to perforation in thicker bulk plates. For 5.4-mm thick plates impacted at high velocity, the nacre-like plate had a better ballistic performance than that of the plates made of continuous (flat and wavy) layers, which was attributed to the larger area of plastic deformation (observed in the nacre-like plate after impact) due to the tablets arrangement.The Australian Research Council Centre of Excellence for Design in Light Metals (CE0561574); National Natural Science Foundation of China (No. 11232003); The Australian Research Council via project DP1093485

Cyclic Statistics In Three Dimensions

While 2-dimensional quantum systems are known to exhibit non-permutation, braid group statistics, it is widely expected that quantum statistics in 3-dimensions is solely determined by representations of the permutation group. This expectation is false for certain 3-dimensional systems, as was shown by the authors of ref. [1,2,3]. In this work we demonstrate the existence of ``cyclic'', or $Z_n$, {\it non-permutation group} statistics for a system of n > 2 identical, unknotted rings embedded in $R^3$. We make crucial use of a theorem due to Goldsmith in conjunction with the so called Fuchs-Rabinovitch relations for the automorphisms of the free product group on n elements.Comment: 13 pages, 1 figure, LaTex, minor page reformattin

Pulsational pair-instability supernovae in gravitational-wave and electromagnetic transients

Current observations of binary black-hole ({BBH}) merger events show support for a feature in the primary BH-mass distribution at $\sim\,35\,\mathrm{M}_{\odot}$, previously interpreted as a signature of pulsational pair-instability (PPISN) supernovae. Such supernovae are expected to map a wide range of pre-supernova carbon-oxygen (CO) core masses to a narrow range of BH masses, producing a peak in the BH mass distribution. However, recent numerical simulations place the mass location of this peak above $50\,\mathrm{M}_{\odot}$. Motivated by uncertainties in the progenitor's evolution and explosion mechanism, we explore how modifying the distribution of BH masses resulting from PPISN affects the populations of gravitational-wave (GW) and electromagnetic (EM) transients. To this end, we simulate populations of isolated {BBH} systems and combine them with cosmic star-formation rates. Our results are the first cosmological BBH-merger predictions made using the \textsc{binary\_c} rapid population synthesis framework. We find that our fiducial model does not match the observed GW peak. We can only explain the $35\,\mathrm{M}_{\odot}$ peak with PPISNe by shifting the expected CO core-mass range for PPISN downwards by $\sim{}15\,\mathrm{M}_{\odot}$. Apart from being in tension with state-of-the art stellar models, we also find that this is likely in tension with the observed rate of hydrogen-less super-luminous supernovae. Conversely, shifting the mass range upward, based on recent stellar models, leads to a predicted third peak in the BH mass function at $\sim{}64\,\mathrm{M}_{\odot}$. Thus we conclude that the $\sim{}35\,\mathrm{M}_{\odot}$ feature is unlikely to be related to PPISNe.Comment: Accepted for publication in MNRAS. 19 pages, 8 figures includings appendice

3D genome organization during lymphocyte development and activation

Chromosomes have a complex three-dimensional (3D) architecture comprising A/B compartments, topologically associating domains and promoter-enhancer interactions. At all these levels, the 3D genome has functional consequences for gene transcription and therefore for cellular identity. The development and activation of lymphocytes involves strict control of gene expression by transcription factors (TFs) operating in a three-dimensionally organized chromatin landscape. As lymphocytes are indispensable for tissue homeostasis and pathogen defense, and aberrant lymphocyte activity is involved in a wide range of human morbidities, acquiring an in-depth understanding of the molecular mechanisms that control lymphocyte identity is highly relevant. Here we review current knowledge of the interplay between 3D genome organization and transcriptional control during B and T lymphocyte development and antigen-dependent activation, placing special emphasis on the role of TFs

Effects of seagrasses and algae of the Caulerpa family on hydrodynamics and particle-trapping rates

The widespread decline of seagrass beds within the Mediterranean often results in the replacement of seagrasses by opportunistic green algae of the Caulerpa family. Because Caulerpa beds have a different height, stiffness and density compared to seagrasses, these changes in habitat type modify the interaction of the seafloor with hydrodynamics, influencing key processes such as sediment resuspension and particle trapping. Here, we compare the effects on hydrodynamics and particle trapping of Caulerpa taxifolia, C. racemosa, and C. prolifera with the Mediterranean seagrasses Cymodocea nodosa and Posidonia oceanica. All macrophyte canopies reduced near-bed volumetric flow rates compared to bare sediment, vertical profiles of turbulent kinetic energy revealed peak values around the top of the canopies, and maximum values of Reynolds stress increased by a factor of between 1.4 (C. nodosa) and 324.1 (P. oceanica) when vegetation was present. All canopies enhanced particle retention rates compared to bare sediment. The experimental C. prolifera canopy was the most effective at particle retention (m2 habitat); however, C. racemosa had the largest particle retention capacity per structure surface area. Hence, in terms of enhancing particle trapping and reducing hydrodynamic forces at the sediment surface, Caulerpa beds provided a similar or enhanced function compared to P.oceanica and C. nodosa. However, strong seasonality in the leaf area index of C. racemosa and C. taxifolia within the Mediterranean, combined with a weak rhizome structure, suggests that sediments maybe unprotected during winter storms, when most erosion occurs. Hence, replacement of seagrass beds with Caulerpa is likely to have a major influence on annual sediment dynamics at ecosystem scales.This research was funded by the European Network of Excellence ‘‘Marine Biodiversity and Ecosystem Function’’ (MarBEF); FP6, EC contract no. 505446 and a grant from the Fundacio ´n BBVA. EPM was supported by a European Union Marie Curie host fellowship for transfer of knowledge, MTKD-CT-2004-509254, the Spanish national project EVAMARIA (CTM2005-00395/MAR) and the regional government of Andalusia project FUNDIV(P07-RNM-2516)