Evolutionary design of a full-envelope full-authority flight control system for an unstable high-performance aircraft

The use of an evolutionary algorithm in the framework of H1 control theory is being considered as a means for synthesizing controller gains that minimize a weighted combination of the infinite norm of the sensitivity function (for disturbance attenuation requirements) and complementary sensitivity function (for robust stability requirements) at the same time. The case study deals with a complete full-authority longitudinal control system for an unstable high-performance jet aircraft featuring (i) a stability and control augmentation system and (ii) autopilot functions (speed and altitude hold). Constraints on closed-loop response are enforced, that representing typical requirements on airplane handling qualities, that makes the control law synthesis process more demanding. Gain scheduling is required, in order to obtain satisfactory performance over the whole flight envelope, so that the synthesis is performed at different reference trim conditions, for several values of the dynamic pressure, used as the scheduling parameter. Nonetheless, the dynamic behaviour of the aircraft may exhibit significant variations when flying at different altitudes, even for the same value of the dynamic pressure, so that a trade-off is required between different feasible controllers synthesized at different altitudes for a given equivalent airspeed. A multiobjective search is thus considered for the determination of the best suited solution to be introduced in the scheduling of the control law. The obtained results are then tested on a longitudinal non-linear model of the aircraft

Ranking and Repulsing Supermartingales for Reachability in Probabilistic Programs

Computing reachability probabilities is a fundamental problem in the analysis of probabilistic programs. This paper aims at a comprehensive and comparative account on various martingale-based methods for over- and under-approximating reachability probabilities. Based on the existing works that stretch across different communities (formal verification, control theory, etc.), we offer a unifying account. In particular, we emphasize the role of order-theoretic fixed points---a classic topic in computer science---in the analysis of probabilistic programs. This leads us to two new martingale-based techniques, too. We give rigorous proofs for their soundness and completeness. We also make an experimental comparison using our implementation of template-based synthesis algorithms for those martingales

Study of the performance of a large scale water-Cherenkov detector (MEMPHYS)

MEMPHYS (MEgaton Mass PHYSics) is a proposed large-scale water Cherenkov experiment to be performed deep underground. It is dedicated to nucleon decay searches, neutrinos from supernovae, solar and atmospheric neutrinos, as well as neutrinos from a future Super-Beam or Beta-Beam to measure the CP violating phase in the leptonic sector and the mass hierarchy. A full simulation of the detector has been performed to evaluate its performance for beam physics. The results are given in terms of "Migration Matrices" of reconstructed versus true neutrino energy, taking into account all the experimental effects.Comment: Updated after JCAP's referee's comment

Future large-scale water-Cherenkov detector

MEMPHYS (MEgaton Mass PHYSics) is a proposed large-scale water-Cherenkov experiment to be performed deep underground. It is dedicated to nucleon decay searches and the detection of neutrinos from supernovae, solar, and atmospheric neutrinos, as well as neutrinos from a future beam to measure the CP violating phase in the leptonic sector and the mass hierarchy. This paper provides an overview of the latest studies on the expected performance of MEMPHYS in view of detailed estimates of its physics reach, mainly concerning neutrino beams

Thermodynamics of Chemical Waves

Chemical waves constitute a known class of dissipative structures emerging in reaction-diffusion systems. They play a crucial role in biology, spreading information rapidly to synchronize and coordinate biological events. We develop a rigorous thermodynamic theory of reaction-diffusion systems to characterize chemical waves. Our main result is the definition of the proper thermodynamic potential of the local dynamics as a nonequilibrium free energy density and establishing its balance equation. This enables us to identify the dynamics of the free energy, of the dissipation, and of the work spent to sustain the wave propagation. Two prototypical classes of chemical waves are examined. From a thermodynamic perspective, the first is sustained by relaxation towards equilibrium and the second by nonconservative forces generated by chemostats. We analytically study step-like waves, called wavefronts, using the Fisher-Kolmogorov equation as representative of the first class and oscillating waves in the Brusselator model as representative of the second. Given the fundamental role of chemical waves as message carriers in biosystems, our thermodynamic theory constitutes an important step toward an understanding of information transfers and processing in biology.Comment: 12 pages, 2 figure

Oscillation threshold of a clarinet model: a numerical continuation approach

This paper focuses on the oscillation threshold of single reed instruments. Several characteristics such as blowing pressure at threshold, regime selection, and playing frequency are known to change radically when taking into account the reed dynamics and the flow induced by the reed motion. Previous works have shown interesting tendencies, using analytical expressions with simplified models. In the present study, a more elaborated physical model is considered. The influence of several parameters, depending on the reed properties, the design of the instrument or the control operated by the player, are studied. Previous results on the influence of the reed resonance frequency are confirmed. New results concerning the simultaneous influence of two model parameters on oscillation threshold, regime selection and playing frequency are presented and discussed. The authors use a numerical continuation approach. Numerical continuation consists in following a given solution of a set of equations when a parameter varies. Considering the instrument as a dynamical system, the oscillation threshold problem is formulated as a path following of Hopf bifurcations, generalizing the usual approach of the characteristic equation, as used in previous works. The proposed numerical approach proves to be useful for the study of musical instruments. It is complementary to analytical analysis and direct time-domain or frequency-domain simulations since it allows to derive information that is hardly reachable through simulation, without the approximations needed for analytical approach

Fatigue behavior and cyclic damage of peek short fiber reinforced composites

Fatigue strength and failure mechanisms of short fiber reinforced (SFR) PEEK have been investigated in the past by several research groups. However some relevant aspects of the fatigue behavior of these materials, like cyclic creep and fatigue damage accumulation and modeling, have not been studied yet, in particular in presence of both fillers and short fibers as reinforcement. In the present research these aspects were considered by carrying out uni-axial fatigue tests in load control (cycle ratio R = 0) on neat PEEK and PEEK based composites reinforced either with short carbon fibers only or with addition of fillers (graphite and PTFE). For each material stress-life curves were obtained and compared. Fatigue fracture surfaces were analyzed to identify failure mechanisms in presence of different reinforcement types. The evolution of cyclic creep strain was also monitored as a function of the number of cycles, thus allowing investigation on the correlation between cyclic creep parameters and fatigue life. The evolution of cyclic damage with loading cycles was then compared by defining a damage parameter related to the specimen stiffness reduction observed during the tests. Progressive cyclic damage evolution of short fiber reinforced PEEK composites presented significantly different patterns depending on applied stress level and on the presence of different reinforcement typologies. In order to reproduce the different fatigue damage kinetics and stages of progressive damage accumulation observed experimentally, a cyclic damage model was finally developed and implemented into a finite element code by which a satisfactory agreement between numerical prediction and experimental data at different stress levels for each examined material

Microenvironment in neuroblastoma: Isolation and characterization of tumor-derived mesenchymal stromal cells

Background: It has been proposed that mesenchymal stromal cells (MSCs) promote tumor progression by interacting with tumor cells and other stroma cells in the complex network of the tumor microenvironment. We characterized MSCs isolated and expanded from tumor tissues of pediatric patients diagnosed with neuroblastomas (NB-MSCs) to define interactions with the tumor microenvironment. Methods: Specimens were obtained from 7 pediatric patients diagnosed with neuroblastoma (NB). Morphology, immunophenotype, differentiation capacity, proliferative growth, expression of stemness and neural differentiation markers were evaluated. Moreover, the ability of cells to modulate the immune response, i.e. inhibition of phytohemagglutinin (PHA) activated peripheral blood mononuclear cells (PBMCs) and natural killer (NK) cytotoxic function, was examined. Gene expression profiles, known to be related to tumor cell stemness, Wnt pathway activation, epithelial-mesenchymal transition (EMT) and tumor metastasis were also evaluated. Healthy donor bone marrow-derived MSCs (BM-MSC) were employed as controls. Results: NB-MSCs presented the typical MSC morphology and phenotype. They showed a proliferative capacity superimposable to BM-MSCs. Stemness marker expression (Sox2, Nanog, Oct3/4) was comparable to BM-MSCs. NB-MSC in vitro osteogenic and chondrogenic differentiation was similar to BM-MSCs, but NB-MSCs lacked adipogenic differentiation capacity. NB-MSCs reached senescence phases at a median passage of P7 (range, P5-P13). NB-MSCs exhibited greater immunosuppressive capacity on activated T lymphocytes at a 1:2 (MSC: PBMC) ratio compared with BM-MSCs (p = 0.018). NK cytotoxic activity was not influenced by co-culture, either with BM-MSCs or NB-MSCs. Flow-cytometry cell cycle analysis showed that NB-MSCs had an increased number of cells in the G0-G1 phase compared to BM-MSCs. Transcriptomic profiling results indicated that NB-MSCs were enriched with EMT genes compared to BM-MSCs. Conclusions: We characterized the biological features, the immunomodulatory capacity and the gene expression profile of NB-MSCs. The NB-MSC gene expression profile and their functional properties suggest a potential role in promoting tumor escape, invasiveness and metastatic traits of NB cancer cells. A better understanding of the complex mechanisms underlying the interactions between NB cells and NB-derived MSCs should shed new light on potential novel therapeutic approaches

Interaction of reed and acoustic resonator in clarinetlike systems

Sound emergence in clarinetlike instruments is investigated in terms of instability of the static regime. Various models of reed-bore coupling are considered, from the pioneering work of Wilson and Beavers ["Operating modes of the clarinet", J. Acoust. Soc. Am. 56, 653--658 (1974)] to more recent modeling including viscothermal bore losses and vena contracta at the reed inlet. The pressure threshold above which these models may oscillate as well as the frequency of oscillation at threshold are calculated. In addition to Wilson and Beavers' previous conclusions concerning the role of the reed damping in the selection of the register the instrument will play on, the influence of the reed motion induced flow is also emphasized, particularly its effect on playing frequencies, contributing to reduce discrepancies between Wilson and Beavers' experimental results and theory, despite discrepancies still remain concerning the pressure threshold. Finally, analytical approximations of the oscillating solution based on Fourier series expansion are obtained in the vicinity of the threshold of oscillation. This allows to emphasize the conditions which determine the nature of the bifurcation (direct or inverse) through which the note may emerge, with therefore important consequences on the musical playing performances

New limits on heavy sterile neutrino mixing in 8B{^{8}\rm{B}}-decay obtained with the Borexino detector

If heavy neutrinos with mass $m_{\nu_{H}}\geq$2$m_e$ are produced in the Sun via the decay ${^8\rm{B}} \rightarrow {^8\rm{Be}} + e^+ + \nu_H$ in a side branch of pp-chain, they would undergo the observable decay into an electron, a positron and a light neutrino $\nu_{H}\rightarrow\nu_{L}+e^++e^-$. In the present work Borexino data are used to set a bound on the existence of such decays. We constrain the mixing of a heavy neutrino with mass 1.5 MeV $\leq m_{\nu_{H}} \le$ 14 MeV to be $|U_{eH}|^2\leq (10^{-3}-4\times10^{-6})$ respectively. These are tighter limits on the mixing parameters than obtained in previous experiments at nuclear reactors and accelerators.Comment: 7 pages, 6 figure