CTL Model-Checking with Graded Quantifiers

The use of the universal and existential quantifiers with the capability to express the concept of at least k or all but k, for a non-negative integer k, has been thoroughly studied in various kinds of logics. In classical logic there are counting quantifiers, in modal logics graded modalities, in description logics number restrictions. Recently, the complexity issues related to the decidability of the μ-calculus, when the universal and existential quantifiers are augmented with graded modalities, have been investigated by Kupfermann, Sattler and Vardi. They have shown that this problem is ExpTime-complete. In this paper we consider another extension of modal logic, the Computational Tree Logic CTL, augmented with graded modalities generalizing standard quantifiers and investigate the complexity issues, with respect to the model-checking problem. We consider a system model represented by a pointed Kripke structure and give an algorithm to solve the model-checking problem running in time O() which is hence tight for the problem (where |ϕ| is the number of temporal and boolean operators and does not include the values occurring in the graded modalities). In this framework, the graded modalities express the ability to generate a user-defined number of counterexamples (or evidences) to a specification ϕ given in CTL. However these multiple counterexamples can partially overlap, that is they may share some behavior. We have hence investigated the case when all of them are completely disjoint. In this case we prove that the model-checking problem is both NP-hard and coNP-hard and give an algorithm for solving it running in polynomial space. We have thus studied a fragment of this graded-CTL logic, and have proved that the model-checking problem is solvable in polynomial time

a review of airq models and their applications for forecasting the air pollution health outcomes

Even though clean air is considered as a basic requirement for the maintenance of human health, air pollution continues to pose a significant health threat in developed and developing countries alike. Monitoring and modeling of classic and emerging pollutants is vital to our knowledge of health outcomes in exposed subjects and to our ability to predict them. The ability to anticipate and manage changes in atmospheric pollutant concentrations relies on an accurate representation of the chemical state of the atmosphere. The task of providing the best possible analysis of air pollution thus requires efficient computational tools enabling efficient integration of observational data into models. A number of air quality models have been developed and play an important role in air quality management. Even though a large number of air quality models have been discussed or applied, their heterogeneity makes it difficult to select one approach above the others. This paper provides a brief review on air quality models with respect to several aspects such as prediction of health effects

Urban Regeneration and Soft Mobility: The Case Study of the Rimini Canal Port in Italy

The increasing need to reduce emissions and the environmental impact of urban areas to meet European decarbonisation goals motivates the selection of the Rimini Canal Port as a case study within the FRAMESPORT project, part of the European Interreg Italy–Croatia programme. A preliminary historical–documental and urban regulations analysis of the context allowed the identification of the main criticalities and potentials through a SWOT analysis. The central role of the stakeholders enabled the creation of a successful participatory co-design process developed through online surveys. Critical issues that emerged during the data collection phase were prioritised through a BOCR model, a powerful multi-criteria analysis tool. The project phase then focused on the resolution of the two main critical issues that emerged: the improvement of cycle/pedestrian paths, and the raising of the flooding docks in the Canal Port area. This article intends to demonstrate the strong influence of soft mobility in urban regeneration projects, and how an improvement of the quality of cycle/pedestrian paths can increase the quality of urban spaces. The new paths create a green infrastructure that contributes to a reduction in pollutant emissions through the promotion of sustainable mobility systems and an increase in green urban spaces

Environmental Health Literacy: an index to study its relations with pro-environmental behaviors

The citizen’ awareness about environmental health risks has been identified as an important determinant of citizens’ choices for the adoption of pro-environmental behaviors, but for its study simple measures to be applied in population studies are still lacking. The Environmental Health Literacy (EHL), is a recent sub-cathegory of health literacy, including functional, critical and interactive dimensions, that can be applied in surveys on environmental health risk perception and behaviors. The aim of our study was to elaborate and validate an EHL Index (ELHI) using data from a large multicenter survey carried out among 4778 students of different disciplines in 15 Italian Universities, with a self-administered anonymous questionnaire investigating risk perceptions, attitudes and behaviors towards environmental health risks and including a simple Functional Health Literacy test (FHL). From the original questionnaire of 56 items three sets of questions were selected to represent the three dimensions of health literacy (Functional, Critical or Interactive) and their outcomes were compared with the answers about FHL test and pro-environmental behaviors. The Principal Component Analysis was used to select the most representative questions that were then grouped in the EHLI. The index was significantly associated with both FHL test and behaviors questions. The ROC curve indicated a satisfying accuracy and was used to identify the best cut-off for ELHI. In conclusion the constructed ELHI can be considered reliable and useful for further population surveys in similar target people to plan communication interventions about environmental health risks and their prevention through individual choices

Energy, Environmental Impact and Indoor Environmental Quality of Add-Ons in Buildings

On a European scale, the existing building stock has poor energy performance and particularly vulnerable structures. Indeed, most of the existing buildings were built before the introduction of energy standards and under structural safety criteria different from those currently required. It is therefore necessary the intervention in existing buildings according to an integrated approach that contemplates both the structural safety and the energy efficiency of buildings. This study, consistently with the objectives of the European research project “Proactive synergy of integrated Efficient Technologies on buildings’ Envelopes (Pro-GET-OnE)”, proposes a retrofit intervention for a student dormitory of the National and Kapodistrian University of Athens. The scope of the evaluation is to understand how an integrated intervention, that implies a structural and energy retrofit, as well as a spatial redistribution, leads to an improvement of the Indoor Environmental Quality (IEQ). In detail, the structural retrofit was performed through exoskeleton that leads to the addition of new living spaces and to a remodeling of the building facades. The energy retrofit regarded all three levers of energy efficiency, and thus the building envelope, the microclimatic control systems, and the systems from renewable sources. The integrated intervention, in addition to a reduction of energy demand, has led to advantages in terms of IEQ. Thermal comfort, both during summer and winter, is improved and the hours of suitable CO2 concentration pass from 34% in the pre-retrofit stage up to 100% in the post retrofit stage

Time-dependent metabolic disorders induced by short-term exposure to polystyrene microplastics in the Mediterranean mussel Mytilus galloprovincialis.

Abstract In the modern society, plastic has achieved a crucial status in a myriad of applications because of its favourable properties. Despite the societal benefits, plastic has become a growing global concern due to it is persistence and bioavailability as microplastics (MPs) to aquatic biota. In order to provide mechanistic insights into the early toxicity effects of MPs on aquatic invertebrates, a short-term (up to 72 h) exposure to 3 µm red polystyrene MPs (50 particles/mL) was conducted on marine mussels Mytilus galloprovincialis, selected as model organism for their ability to ingest MPs and their commercial relevance. The use of protonic Nuclear Magnetic Resonance (1H NMR)-based metabolomics, combined with chemometrics, enabled a comprehensive exploration at fixed exposure time-points (T24, T48, T72) of the impact of MPs accumulated in mussel digestive glands, chosen as the major site for pollutants storage and detoxification processes. In detail, 1H NMR metabolic fingerprints of MP-treated mussels were clearly separated from control and grouped for experimental time-points by a Principal Component Analysis (PCA). Numerous metabolites, including amino acids, osmolytes, metabolites involved in energy metabolism, and antioxidants, participating in various metabolic pathways significantly changed over time in MP-exposed mussel digestive glands related to control, reflecting also the fluctuations in MPs accumulation and pointing out the occurrence of disorders in amino acid metabolism, osmotic equilibrium, antioxidant defense system and energy metabolism. Overall, the present work provides the first insights into the early mechanisms of toxicity of polystyrene MPs in marine invertebrates

Determination of total vanadium and vanadium(V) in groundwater from Mt. Etna and estimate of daily intake of vanadium(V) through drinking water.

Vanadium(V) can be found in natural waters in the form of V(IV) and V(V) species, which have different biological properties and toxicity. The purpose of this study was to determine the concentrations of total V and V(V) in groundwater from the area of Mt. Etna and to assess the estimated daily intake (EDI) of V(V) of adults and children through drinking water. Water was sampled monthly at 21 sites in 2011. Total vanadium was determined by inductively coupled plasma-mass spectrometry (ICP-MS) and speciation by ion chromatography-ICP-MS (IC-ICP-MS). The concentration of V(V) species ranged from 62.8 to 98.9% of total V, with significantly higher concentrations in samples from the S/SW slope of Mt. Etna. The annual mean concentrations of total V exceeded the Italian legal limit of 140 μg/L at four sites on the S/SW slope. In the absence of thresholds for V(V) intake, only the Environmental Protection Agency (EPA) has calculated a reference dose. Children's EDI of V(V) at the sites with the higher V concentrations exceeded EPA thresholds (9 μg/kg/day). In particular, we found in Camporotondo, Mascalucia, Ragalna and San Pietro Clarenza sites children's EDIs of 11, 9.3, 11 and 9.9, respectively. The EDI of V(V) was significantly higher than the literature range (0.09–0.34 μg/kg/day)