Thermodynamic modeling for numerical simulations based on the generalized cubic equation of state

We further elaborate on the generalized formulation for cubic equation of state proposed by Cismondi and Mollerup [Fluid Phase Equilib. 232 (2005)]. With this formulation all well-known cubic equations of state can be described with a certain pair of values, which allows for a generic implementation of different equations of state. Based on this generalized formulation, we derive a complete thermodynamic model for computational fluid dynamics (CFD) simulations by providing the resulting correlations for all required thermodynamic properties. For the transport properties, we employ the Chung correlations. Our generic implementation includes the often used equations of state Soave-Redlich-Kwong and Peng-Robinson and the Redlich-Kwong-Peng-Robinson (RKPR) equation of state. The first two assume a universal compressibility factor and are therefore only suitable for fluids with a matching critical compressibility. The Redlich-Kwong-Peng-Robinson overcomes this limitation by considering the equation of state parameter as function of the critical compressibility. We compare the resulting thermodynamic modeling for the three equations of state for selected fluids with each other and CoolProp reference data. As supplementary material to this paper, we provide a Python tool called real gas thermodynamic python library (realtpl). This tool can be used to evaluate and compare the results for a wide range of different fluids. Additionally, we also provide the implementation of the generalized form in OpenFOAM

Effect modification of greenness on the association between heat and mortality: A multi-city multi-country study

Background: Identifying how greenspace impacts the temperature-mortality relationship in urban environments is crucial, especially given climate change and rapid urbanization. However, the effect modification of greenspace on heat-related mortality has been typically focused on a localized area or single country. This study examined the heat-mortality relationship among different greenspace levels in a global setting. Methods: We collected daily ambient temperature and mortality data for 452 locations in 24 countries and used Enhanced Vegetation Index (EVI) as the greenspace measurement. We used distributed lag non-linear model to estimate the heat-mortality relationship in each city and the estimates were pooled adjusting for city-specific average temperature, city-specific temperature range, city-specific population density, and gross domestic product (GDP). The effect modification of greenspace was evaluated by comparing the heat-related mortality risk for different greenspace groups (low, medium, and high), which were divided into terciles among 452 locations. Findings: Cities with high greenspace value had the lowest heat-mortality relative risk of 1·19 (95% CI: 1·13, 1·25), while the heat-related relative risk was 1·46 (95% CI: 1·31, 1·62) for cities with low greenspace when comparing the 99th temperature and the minimum mortality temperature. A 20% increase of greenspace is associated with a 9·02% (95% CI: 8·88, 9·16) decrease in the heat-related attributable fraction, and if this association is causal (which is not within the scope of this study to assess), such a reduction could save approximately 933 excess deaths per year in 24 countries. Interpretation: Our findings can inform communities on the potential health benefits of greenspaces in the urban environment and mitigation measures regarding the impacts of climate change.Research in context - I-Evidence before this study: Urbanization and climate change have resulted in changes to the urban environment, including the urban heat island effect and contributions to other extreme weather events. Recently, as metropolitan areas have become denser due to rapid urbanization, environmental problems such as high temperatures are also worsening. Many studies showed that high temperatures increase health risks, including mortality. Therefore, identifying factors that could mitigate the high-temperature conditions in urban environments are a crucial part of climate change mitigation strategies. Many studies found that urban green spaces may play an important role in mitigating heat. Specifically, large green spaces have shown a significant and positive cooling effect. Vegetation can promote air convection through shading and evapotranspiration, which indicates that dense vegetation can lower air temperature. Therefore, more greenspace could result in lower temperatures during the warm season, which would lower exposure to high temperatures that impact human health. Importantly, while greenspace can lower exposure to heat, this study examined how greenspace modifies the heat-health relationship. Some studies have investigated this issue. For example, studies found that heat-related mortality and ambulance calls are negatively correlated with the amount of greenspace coverage. However, most previous work on how greenspace modifies the heat-health relationship was based on one country or region. Research is needed on a global scale to understand how greenspace in urban areas among different countries, with different populations, levels of urbanization, and types of greenspace, can modify the relationship between extreme temperatures and health. As climate change is anticipated to increase temperatures and the associated health consequences worldwide, greenspace may be a plausible mitigation strategy for cities in order to address heat-related health impacts at present and in the future. II-Added value of this study: In this study, we explored the effect modification of greenspace on the heat-mortality relationship on a global scale. With a dataset of 452 locations from 24 countries located in various climate zones and continents, this study incorporated variability in greenspace, temperature, and population characteristics. We found that, based on 452 locations, the heat-mortality risks differed with greenspace category and the cities with higher greenspace values had lower heat-mortality risk than those with lower greenspace values. III-Implications of all the available evidence: Our findings provide evidence that higher greenspace reduces the heat-related mortality, which is similar to other previous smaller studies, and our study results were consistent in different countries around various climate zones. These findings indicate that disparate greenspace levels, temperature, and environment settings should be considered when developing policies and strategies in climate change mitigation and public health adaptation. This study adds to the existing literature that greenspace can reduce the urban heat island effect, by providing evidence for the theory that greenspace can also lower the heat-mortality association, and documents such impacts on a global scale.This publication was developed under Assistance Agreement No. RD83587101 awarded by the U.S. Environmental Protection Agency to Yale University. Research reported in this publication was also supported by the National Institute on Minority Health and Health Disparities of the National Institutes of Health under Award Number R01MD012769. Also, this work has been supported by the National Research Foundation of Korea (2021R1A6A3A03038675), Medical Research Council-UK (MR/V034162/1 and MR/R013349/1), Natural Environment Research Council UK (Grant ID: NE/R009384/1), Academy of Finland (Grant ID: 310372), European Union's Horizon 2020 Project Exhaustion (Grant ID: 820655 and 874990), Czech Science Foundation (22-24920S), Emory University's NIEHS-funded HERCULES Center (Grant ID: P30ES019776), and Grant CEX2018-000794-S funded by MCIN/AEI/ 10.13039/501100011033.info:eu-repo/semantics/publishedVersio

Short term association between ozone and mortality: global two stage time series study in 406 locations in 20 countries

Objective To assess short term mortality risks and excess mortality associated with exposure to ozone in several cities worldwide. Design Two stage time series analysis. Setting 406 cities in 20 countries, with overlapping periods between 1985 and 2015, collected from the database of Multi-City Multi-Country Collaborative Research Network. Population Deaths for all causes or for external causes only registered in each city within the study period. Main outcome measures Daily total mortality (all or non-external causes only). Results A total of 45 165 171 deaths were analysed in the 406 cities. On average, a 10 μg/m 3 increase in ozone during the current and previous day was associated with an overall relative risk of mortality of 1.0018 (95% confidence interval 1.0012 to 1.0024). Some heterogeneity was found across countries, with estimates ranging from greater than 1.0020 in the United Kingdom, South Africa, Estonia, and Canada to less than 1.0008 in Mexico and Spain. Short term excess mortality in association with exposure to ozone higher than maximum background levels (70 μg/m 3) was 0.26% (95% confidence interval 0.24% to 0.28%), corresponding to 8203 annual excess deaths (95% confidence interval 3525 to 12 840) across the 406 cities studied. The excess remained at 0.20% (0.18% to 0.22%) when restricting to days above the WHO guideline (100 μg/m 3), corresponding to 6262 annual excess deaths (1413 to 11 065). Above more lenient thresholds for air quality standards in Europe, America, and China, excess mortality was 0.14%, 0.09%, and 0.05%, respectively. Conclusions Results suggest that ozone related mortality could be potentially reduced under stricter air quality standards. These findings have relevance for the implementation of efficient clean air interventions and mitigation strategies designed within national and international climate policies. © Published by the BMJ Publishing Group Limited. For permission to use (where not already granted under a licence) please go to

Impact of population aging on future temperature-related mortality at different global warming levels.

Older adults are generally amongst the most vulnerable to heat and cold. While temperature-related health impacts are projected to increase with global warming, the influence of population aging on these trends remains unclear. Here we show that at 1.5 °C, 2 °C, and 3 °C of global warming, heat-related mortality in 800 locations across 50 countries/areas will increase by 0.5%, 1.0%, and 2.5%, respectively; among which 1 in 5 to 1 in 4 heat-related deaths can be attributed to population aging. Despite a projected decrease in cold-related mortality due to progressive warming alone, population aging will mostly counteract this trend, leading to a net increase in cold-related mortality by 0.1%-0.4% at 1.5-3 °C global warming. Our findings indicate that population aging constitutes a crucial driver for future heat- and cold-related deaths, with increasing mortality burden for both heat and cold due to the aging population

Cost analysis of nondeterministic probabilistic programs

We consider the problem of expected cost analysis over nondeterministic probabilistic programs, which aims at automated methods for analyzing the resource-usage of such programs. Previous approaches for this problem could only handle nonnegative bounded costs. However, in many scenarios, such as queuing networks or analysis of cryptocurrency protocols, both positive and negative costs are necessary and the costs are unbounded as well. In this work, we present a sound and efficient approach to obtain polynomial bounds on the expected accumulated cost of nondeterministic probabilistic programs. Our approach can handle (a) general positive and negative costs with bounded updates in variables; and (b) nonnegative costs with general updates to variables. We show that several natural examples which could not be handled by previous approaches are captured in our framework. Moreover, our approach leads to an efficient polynomial-time algorithm, while no previous approach for cost analysis of probabilistic programs could guarantee polynomial runtime. Finally, we show the effectiveness of our approach using experimental results on a variety of programs for which we efficiently synthesize tight resource-usage bounds

Seasonal variations in pore water and sediment geochemistry of littoral lake sediments (Asylum Lake, MI, USA)

BACKGROUND: Seasonal changes in pore water and sediment redox geochemistry have been observed in many near-surface sediments. Such changes have the potential to strongly influence trace metal distribution and thus create seasonal fluctuations in metal mobility and bioavailability. RESULTS: Seasonal trends in pore water and sediment geochemistry are assessed in the upper 50 cm of littoral kettle lake sediments. Pore waters are always redox stratified, with the least compressed redox stratification observed during fall and the most compressed redox stratification observed during summer. A 2-step sequential sediment extraction yields much more Fe in the first step, targeted at amorphous Fe(III) (hydr)oxides (AEF), then in the second step, which targets Fe(II) monosulfides. Fe extracted in the second step is relatively invariant with depth or season. In contrast, AEF decreases with sediment depth, and is seasonally variable, in agreement with changes in redox stratification inferred from pore water profiles. A 5-step Tessier extraction scheme was used to assess metal association with operationally-defined exchangeable, carbonate, iron and manganese oxide (FMO), organic/sulfide and microwave-digestible residual fractions in cores collected during winter and spring. Distribution of metals in these two seasons is similar. Co, As, Cd, and U concentrations approach detection limits. Fe, Cu and Pb are mostly associated with the organics/sulfides fraction. Cr and Zn are mostly associated with FMO. Mn is primarily associated with carbonates, and Co is nearly equally distributed between the FMO and organics/sulfide fractions. CONCLUSION: This study clearly demonstrates that near-surface lake sediment pore water redox stratification and associated solid phase geochemistry vary significantly with season. This has important ramifications for seasonal changes in the bioavailability and mobility of trace elements. Without rate measurements, it is not possible to quantify the contribution of various processes to natural organic matter degradation. However, the pore water and solid phase data suggest that iron reduction and sulfate reduction are the dominant pathways in the upper 50 cm of these sediments

Cost Analysis of Nondeterministic Probabilistic Programs

We consider the problem of expected cost analysis over nondeterministic probabilistic programs, which aims at automated methods for analyzing the resource-usage of such programs. Previous approaches for this problem could only handle nonnegative bounded costs. However, in many scenarios, such as queuing networks or analysis of cryptocurrency protocols, both positive and negative costs are necessary and the costs are unbounded as well. In this work, we present a sound and efficient approach to obtain polynomial bounds on the expected accumulated cost of nondeterministic probabilistic programs. Our approach can handle (a) general positive and negative costs with bounded updates in variables; and (b) nonnegative costs with general updates to variables. We show that several natural examples which could not be handled by previous approaches are captured in our framework. Moreover, our approach leads to an efficient polynomial-time algorithm, while no previous approach for cost analysis of probabilistic programs could guarantee polynomial runtime. Finally, we show the effectiveness of our approach by presenting experimental results on a variety of programs, motivated by real-world applications, for which we efficiently synthesize tight resource-usage bounds.Comment: A conference version will appear in the 40th ACM Conference on Programming Language Design and Implementation (PLDI 2019

Short term association between ozone and mortality: global two stage time series study in 406 locations in 20 countries.

OBJECTIVE: To assess short term mortality risks and excess mortality associated with exposure to ozone in several cities worldwide. DESIGN: Two stage time series analysis. SETTING: 406 cities in 20 countries, with overlapping periods between 1985 and 2015, collected from the database of Multi-City Multi-Country Collaborative Research Network. POPULATION: Deaths for all causes or for external causes only registered in each city within the study period. MAIN OUTCOME MEASURES: Daily total mortality (all or non-external causes only). RESULTS: A total of 45 165 171 deaths were analysed in the 406 cities. On average, a 10 µg/m3 increase in ozone during the current and previous day was associated with an overall relative risk of mortality of 1.0018 (95% confidence interval 1.0012 to 1.0024). Some heterogeneity was found across countries, with estimates ranging from greater than 1.0020 in the United Kingdom, South Africa, Estonia, and Canada to less than 1.0008 in Mexico and Spain. Short term excess mortality in association with exposure to ozone higher than maximum background levels (70 µg/m3) was 0.26% (95% confidence interval 0.24% to 0.28%), corresponding to 8203 annual excess deaths (95% confidence interval 3525 to 12 840) across the 406 cities studied. The excess remained at 0.20% (0.18% to 0.22%) when restricting to days above the WHO guideline (100 µg/m3), corresponding to 6262 annual excess deaths (1413 to 11 065). Above more lenient thresholds for air quality standards in Europe, America, and China, excess mortality was 0.14%, 0.09%, and 0.05%, respectively. CONCLUSIONS: Results suggest that ozone related mortality could be potentially reduced under stricter air quality standards. These findings have relevance for the implementation of efficient clean air interventions and mitigation strategies designed within national and international climate policies

Ambient Particulate Air Pollution and Daily Mortality in 652 Cities.

BACKGROUND: The systematic evaluation of the results of time-series studies of air pollution is challenged by differences in model specification and publication bias. METHODS: We evaluated the associations of inhalable particulate matter (PM) with an aerodynamic diameter of 10 μm or less (PM10) and fine PM with an aerodynamic diameter of 2.5 μm or less (PM2.5) with daily all-cause, cardiovascular, and respiratory mortality across multiple countries or regions. Daily data on mortality and air pollution were collected from 652 cities in 24 countries or regions. We used overdispersed generalized additive models with random-effects meta-analysis to investigate the associations. Two-pollutant models were fitted to test the robustness of the associations. Concentration-response curves from each city were pooled to allow global estimates to be derived. RESULTS: On average, an increase of 10 μg per cubic meter in the 2-day moving average of PM10 concentration, which represents the average over the current and previous day, was associated with increases of 0.44% (95% confidence interval [CI], 0.39 to 0.50) in daily all-cause mortality, 0.36% (95% CI, 0.30 to 0.43) in daily cardiovascular mortality, and 0.47% (95% CI, 0.35 to 0.58) in daily respiratory mortality. The corresponding increases in daily mortality for the same change in PM2.5 concentration were 0.68% (95% CI, 0.59 to 0.77), 0.55% (95% CI, 0.45 to 0.66), and 0.74% (95% CI, 0.53 to 0.95). These associations remained significant after adjustment for gaseous pollutants. Associations were stronger in locations with lower annual mean PM concentrations and higher annual mean temperatures. The pooled concentration-response curves showed a consistent increase in daily mortality with increasing PM concentration, with steeper slopes at lower PM concentrations. CONCLUSIONS: Our data show independent associations between short-term exposure to PM10 and PM2.5 and daily all-cause, cardiovascular, and respiratory mortality in more than 600 cities across the globe. These data reinforce the evidence of a link between mortality and PM concentration established in regional and local studies. (Funded by the National Natural Science Foundation of China and others.)

Fluctuating temperature modifies heat-mortality association around the globe

Studies have investigated the effects of heat and temperature variability (TV) on mortality. However, few assessed whether TV modifies the heat-mortality association. Data on daily temperature and mortality in the warm season were collected from 717 locations across 36 countries. TV was calculated as the standard deviation of the average of the same and previous days’ minimum and maximum temperatures. We used location-specific quasi-Poisson regression models with an interaction term between the cross-basis term for mean temperature and quartiles of TV to obtain heat-mortality associations under each quartile of TV, and then pooled estimates at the country, regional, and global levels. Results show the increased risk in heat-related mortality with increments in TV, accounting for 0.70% (95% confidence interval [CI]: −0.33 to 1.69), 1.34% (95% CI: −0.14 to 2.73), 1.99% (95% CI: 0.29–3.57), and 2.73% (95% CI: 0.76–4.50) of total deaths for Q1–Q4 (first quartile–fourth quartile) of TV. The modification effects of TV varied geographically. Central Europe had the highest attributable fractions (AFs), corresponding to 7.68% (95% CI: 5.25–9.89) of total deaths for Q4 of TV, while the lowest AFs were observed in North America, with the values for Q4 of 1.74% (95% CI: −0.09 to 3.39). TV had a significant modification effect on the heat-mortality association, causing a higher heat-related mortality burden with increments of TV. Implementing targeted strategies against heat exposure and fluctuant temperatures simultaneously would benefit public health