LTLf and LDLf Monitoring: A Technical Report

Runtime monitoring is one of the central tasks to provide operational decision support to running business processes, and check on-the-fly whether they comply with constraints and rules. We study runtime monitoring of properties expressed in LTL on finite traces (LTLf) and in its extension LDLf. LDLf is a powerful logic that captures all monadic second order logic on finite traces, which is obtained by combining regular expressions and LTLf, adopting the syntax of propositional dynamic logic (PDL). Interestingly, in spite of its greater expressivity, LDLf has exactly the same computational complexity of LTLf. We show that LDLf is able to capture, in the logic itself, not only the constraints to be monitored, but also the de-facto standard RV-LTL monitors. This makes it possible to declaratively capture monitoring metaconstraints, and check them by relying on usual logical services instead of ad-hoc algorithms. This, in turn, enables to flexibly monitor constraints depending on the monitoring state of other constraints, e.g., "compensation" constraints that are only checked when others are detected to be violated. In addition, we devise a direct translation of LDLf formulas into nondeterministic automata, avoiding to detour to Buechi automata or alternating automata, and we use it to implement a monitoring plug-in for the PROM suite

Non separable Werner states in spontaneous parametric down-conversion

The multiphoton states generated by high-gain spontaneous parametric down-conversion (SPDC) in presence of large losses are investigated theoretically and experimentally. The explicit form for the two-photon output state has been found to exhibit a Werner structure very resilient to losses for any value of the gain parameter, g. The theoretical results are found in agreement with the experimental data. The last ones are obtained by quantum tomography of the state generated by a high-gain SPDC.Comment: 16 pages, 6 figure

CO2 sorption modelling in humidified Polyvinyl amine (PVAm) with PC-SAFT

Carbon dioxide emissions represent one of the main environmental issue of our time. The greenhouse gases atmospheric loading, due to anthropogenic activities, are causing a continue rise of global temperature. In the field of CO2 capture from gas streams, membrane technologies are promising alternative to the more common operations. Among these, Facilitated Transport Membranes show high performances in terms of CO2 permeabilities and selectivities even at low pressures by coupling a simple solution diffusion transport mechanism and a reversible chemical reaction with a carrier agent. Polyvinyl amine (PVAm) binds one primary amino group for each monomer along the chain, showing high hydrophilicity and affinity to CO2. In this work we use the PC-SAFT [1] Equation of State to model the H2O uptake and the solubility of CO2 in the ternary system of PVAm / H2O / CO2

Modelling water sorption in Facilitated Transport Membranes with PC-SAFT Equation of State: the case of Polyvinyl amine

Facilitated transport membranes have great potential for carbon dioxide removal. By coupling the solution diffusion mechanism and the facilitation effect of the chemical reaction, CO2 transport in such systems is substantially higher compared to other gases, like nitrogen and methane. The presence of water is needed in the membrane to activate the reaction mechanism, and affects the sorption and diffusion of all the gases in the membrane. The present work focuses on the modelling of water sorption in purified Lupamin\uae (polyvinylamine (PVAm)), with the PC-SAFT Equation of State (EoS) (Gross and Sadowski, 2001). The work is aimed at finding the best parameters and association schemes to model the water sorption in PVAm with the PC-SAFT model, in order to use it to model more complex situations such as the multicomponent sorption in the system

Entanglement, EPR correlations and mesoscopic quantum superposition by the high-gain quantum injected parametric amplification

We investigate the multiparticle quantum superposition and the persistence of multipartite entanglement of the quantum superposition generated by the quantum injected high-gain optical parametric amplification of a single photon. The physical configuration based on the optimal universal quantum cloning has been adopted to investigate how the entanglement and the quantum coherence of the system persists for large values of the nonlinear parametric gain g.Comment: 9 pages, 5 figure

Notational Analysis of the Volleyball Serve

none6noThe aim of the present study was to investigate the serving techniques in male top level volleyball, especially the tactical and spatial behavior of the servers and receiving opponents focusing on the pros and cons of the different serving techniques. An analysis was made of 4552 serves from 28 matches played during the 2008-2009 regular season of the Italian volleyball male Top League. Serving techniques were categorized into Jump Serve (JS), Float Jump Serve (FJS) and Float Serve (FS), and for each serve several parameters were recorded: role of the server (Setter - S, Hitter - H, and Middle Blocker - MB), kind of serve (JS, FJS, FS), number of players defending the serve (Defense), difficulty in receiving the serve (RS), evaluation of serve outcome (EV), and defensive court zone where the ball was directed (FZ). The results confirmed the largest use of the JS (69.9%), followed by the FJS (26.9%) and the FS (3.3%). There were significant relationships between the serve technique, the EV, the Defense and the FZ where the serves were directed (Chi-Square p = 0.000). The zone absolutely most hit was the posterior/central, followed by the left/posteriors. There were significant differences in the RS difficulty for the JS respect to FJS (p = 0.001) and FS (p = 0.000) and also for the defensive strategies performed: a defense strategy with 2 defenders showed significant and better score during the reception respect to that with 3 (p = 0.000). No statistical relationship was found between the role of the server and other parameters. These results are consistent with previous studies in which JS showed to be the most powerful technique in terms of increasing defensive difficulties but, at the same time, with a fairly high percentage of errors. This issue must be taken into consideration in crucial phases of the game, and the serving techniques must be used strategically. JS can be very useful for increasing the defensive “conflict zones” with the aim to score a direct ace or to make the offensive maneuver difficult after reception. FJS can be useful when there is the need to aim a specific FZ and prepare the team for the next defense action. Scouting or match analysis procedure of the serving statistics should be performed during the game to better indicate the serve strategy to choose.openAndrea CIUFFARELLA, Luca RUSSO, Francesco MASEDU, Marco VALENTI, Riccardo IZZO, Marco DE ANGELISCiuffarella, Andrea; Russo, Luca; Masedu, Francesco; Valenti, Marco; Izzo, Riccardo; DE ANGELIS, Marc

Mixed Matrix Membranes based on PPO and graphene for gas separation

Novel composite Mixed Matrix Membranes (MMM) were fabricated by dispersion of different loadings of graphene nanoparticles (from 0.3 to 15 % weight percentage) in a dense permeable glassy polymer, poly (2,6-dimethyl-1,4-phenylene oxide), PPO, by solvent casting procedure. The permeability, selectivity and diffusivity of helium, nitrogen and carbon dioxide have been measured at two different temperatures, 35° and 65°C and the effect of graphene loading was studied. (R. Rea et al. 2018)