Self modulated dynamics of a relativistic charged particle beam in plasma wake field excitation

Self modulated dynamics of a relativistic charged particle beam is reviewed within the context of the theory of plasma wake field excitation. The self-consistent description of the beam dynamics is provided by coupling the Vlasov equation with a Poisson-type equation relating the plasma wake potential to the beam density. An analysis of the beam envelope self-modulation is then carried out and the criteria for the occurrence of the instability are discussed thereby.Comment: This is a 10 pages manuscript which contain 4 figures. This manuscript is recently submitted in 'Nuclear Instruments and Methods in Physics Research Section A' as a proceeding of the conference 'EAAC 2015

Towards a Formal Verification Methodology for Collective Robotic Systems

We introduce a UML-based notation for graphically modeling systems’ security aspects in a simple and intuitive way and a model-driven process that transforms graphical specifications of access control policies in XACML. These XACML policies are then translated in FACPL, a policy language with a formal semantics, and the resulting policies are evaluated by means of a Java-based software tool

Multiphysics simulation of corona discharge induced ionic wind

Ionic wind devices or electrostatic fluid accelerators are becoming of increasing interest as tools for thermal management, in particular for semiconductor devices. In this work, we present a numerical model for predicting the performance of such devices, whose main benefit is the ability to accurately predict the amount of charge injected at the corona electrode. Our multiphysics numerical model consists of a highly nonlinear strongly coupled set of PDEs including the Navier-Stokes equations for fluid flow, Poisson's equation for electrostatic potential, charge continuity and heat transfer equations. To solve this system we employ a staggered solution algorithm that generalizes Gummel's algorithm for charge transport in semiconductors. Predictions of our simulations are validated by comparison with experimental measurements and are shown to closely match. Finally, our simulation tool is used to estimate the effectiveness of the design of an electrohydrodynamic cooling apparatus for power electronics applications.Comment: 24 pages, 17 figure

The quantum plasma lens concept: a preliminary investigation

Recently, a theoretical investigation of the collective and nonlocal quantum effects has been carried out within the framework of a quantum approach to the relativistic charged particle beam travelling in a cold, collisionless, strongly magnetized plasma. This has been done taking into account both the plasma wake field excitation and the quantum paraxial approximation. On the basis of this theory, here we carry out a preliminary study of the transverse effects experienced by a cold relativistic beam through a thin plasma slab (plasma lens). In the strongly nonlocal regime, in which the beam experiences a very strong focusing effect, the scheme of plasma lens is reviewed in terms of the wave description provided by the above quantum theory

A Logic with Reverse Modalities for History-preserving Bisimulations

We introduce event identifier logic (EIL) which extends Hennessy-Milner logic by the addition of (1) reverse as well as forward modalities, and (2) identifiers to keep track of events. We show that this logic corresponds to hereditary history-preserving (HH) bisimulation equivalence within a particular true-concurrency model, namely stable configuration structures. We furthermore show how natural sublogics of EIL correspond to coarser equivalences. In particular we provide logical characterisations of weak history-preserving (WH) and history-preserving (H) bisimulation. Logics corresponding to HH and H bisimulation have been given previously, but not to WH bisimulation (when autoconcurrency is allowed), as far as we are aware. We also present characteristic formulas which characterise individual structures with respect to history-preserving equivalences.Comment: In Proceedings EXPRESS 2011, arXiv:1108.407

Reverse Bisimulations on Stable Configuration Structures

The relationships between various equivalences on configuration structures, including interleaving bisimulation (IB), step bisimulation (SB) and hereditary history-preserving (HH) bisimulation, have been investigated by van Glabbeek and Goltz (and later Fecher). Since HH bisimulation may be characterised by the use of reverse as well as forward transitions, it is of interest to investigate forms of IB and SB where both forward and reverse transitions are allowed. We give various characterisations of reverse SB, showing that forward steps do not add extra power. We strengthen Bednarczyk's result that, in the absence of auto-concurrency, reverse IB is as strong as HH bisimulation, by showing that we need only exclude auto-concurrent events at the same depth in the configuration

Suitability of aquatic mosses for biomonitoring micro/meso plastics in freshwater ecosystems

Abstract Background Mesoplastics (5–25 mm) and microplastics (0.001–5 mm) are emerging pollutants of great concern. However, reliable methods of monitoring these types of plastic in river ecosystems have not yet been established. The goal of this work was to evaluate, for the first time, the suitability of Fontinalis antipyretica as a biomonitor of meso- and micro-plastics in rivers. With this aim, native samples of the moss and devitalized moss clones, held inside the bags, were compared for the uptake of fluorescent polystyrene particles under laboratory conditions, and for retention of plastic debris in the field, in sites close to wastewater treatment plants. Results In the laboratory experiment, the moss retained smaller microplastics, and a higher number of polystyrene meso and microplastics was counted in the moss bags than in the native moss. In the field study, the moss retained plastic debris chiefly in the form of fibres regardless of the capacity and flow rate of the wastewater treatment plants affecting each sampling site. The uniform morphology of moss clone seems to affect the retention of this type of pollutant. The FTIR analysis confirmed the particles entrapped by the moss bags as plastic, specifically polyethylene and polyamide type 6, among the most common plastic polymers detected in rivers. Conclusions The study findings highlighted the value of using uniform material, as the clone exhibited a greater accumulation efficiency with respect to the native moss. The mesh bags could act as selective filters and/or prevent the loss of adhering plastics. In the field, the bags favour plastic fibres retention despite the river flow. Finally, although FTIR is useful for the identification of plastic type, it is not very sensitive when small quantities of ground samples are used

WAx: an integrated conceptual framework for the analysis of cyber-socio-technical systems

Modern work domains are constituted by an intertwined set of social and technical actors with different, often conflicting, functional purposes. These agents act jointly to ensure system's functioning under both expected and unexpected working conditions. Considering the increasing digitalization and automation of work processes, socio-technical systems are progressively including interconnected cyber technical artefacts, thus becoming cyber-socio-technical systems (CSTSs). Adopting a natural science perspective, this paper aims to explore knowledge creation and knowledge conversion within CSTSs, as rooted in an in-depth analysis of work practices and work contexts. The paper proposes a conceptual framework which unveils the relationships between different work representations, i.e. relying on Work-As-Imagined, Work-As-Done, Work-As-Disclosed, Work-As-Observed, intended as knowledge entities generated by different agents, i.e. sharp-end operators, blunt-end operators, and analysts. The recursive and fractal nature of the proposed WAx (Work-As-x) framework ensures its adaptability for different granularity levels of analysis, fostering the understanding, modeling, and analysis of work practices, while abandoning reductionist and over-simplistic approaches

Neoadjuvant eribulin mesylate following anthracycline and taxane in triple negative breast cancer: Results from the HOPE study

Background Eribulin mesylate (E) is indicated for metastatic breast cancer patients previously treated with anthracycline and taxane. We argued that E could also benefit patients eligible for neoadjuvant chemotherapy. Methods Patients with primary triple negative breast cancer 2 cm received doxorubicin 60 mg/m2 and paclitaxel 200 mg/m2 x 4 cycles (AT) followed by E 1.4 mg/m2 x 4 cycles. Primary endpoint was pathological complete response (pCR) rate; secondary and explorative endpoints included clinical/metabolic response rates and safety, and biomarker analysis, respectively. Using a two-stage Simon design, 43 patients were to be included provided that 4 of 13 patients had achieved pCR in the first stage of the study. Results In stage I of the study 13 women were enrolled, median age 43 years, tumor size 2–5 cm in 9/13 (69%), positive nodal status in 8/13 (61%). Main grade 3 adverse event was neutropenia (related to AT and E in 4 and 2 cases, respectively). AT followed by E induced clinical complete + partial responses in 11/13 patients (85%), pCR in 3/13 (23%). Median measurements of maximum standardized uptake value (SUVmax) resulted 13, 3, and 1.9 at baseline, after AT and E, respectively. Complete metabolic response (CMR) occurred after AT and after E in 2 and 3 cases, respectively. Notably, 2 of the 5 (40%) patients with CMR achieved pCR at surgery. Immunostaining of paired pre-/post-treatment tumor specimens showed a reduction of β-catenin, CyclinD1, Zeb-1, and c-myc expression, in the absence of N-cadherin modulation. The study was interrupted at stage I due to the lack of the required patients with pCR. Conclusions Despite the early study closure, preoperative E following AT showed clinical and biological activity in triple negative breast cancer patients. Furthermore, the modulation of β-catenin pathway core proteins, supposedly outside the domain of epithelial–mesenchymal transition, claims for further investigation. Trial registration EU Clinical Trial Register, EudraCT number 2012-004956-12