Devolatilization of organo-sulfur compounds in coal gasification

Coal gasification is a thermo-chemical process aiming at the production of high heating value syngas. The coal charges present, typically, a low quantity of sulfur compounds for prevent the formation of a large amount of sulfuric acid (H2S), that is a pollutant and a poison for catalysts, in syngas stream. However, in the world there are a lot of coals that cannot be used for gasification because of their high sulfur content (e.g. Sulcis Italian coal or Inner Mongolia Chinese coal). The interest on these types of coal is increasing due to a novel technology that allows to convert H2S and CO2into syngas (AG2S\u2122). The aim of this work is to propose a predictive kinetic model of the release of sulfur compounds (e.g H2S) from coal. This kinetic scheme is implement into GASDS, a package that includes a gasifier mathematical model, which accurately describes the inter-phase mass and heat transfer. The first complexity relies in the characterization of the coal, in particular the relative amount of the different forms of sulfur components (e.g. inorganic such as pyritic and sulfates, and organic sulfur such as aliphatic, aromatic and thiophenic) and their pyrolysis and devolatilization process. The kinetic model, with the related rate parameters, is validated through comparison with experimental data from the literature and obtained during several experimental campaigns at the Sotacarbo S.p.A. pilot platform. Finally, different operating conditions of gasification are analyzed in order to obtain the best yield in the downstream process, with special reference to the novel Acid Gas to Syngas (AG2STM) process

Towards Efficient Reasoning under Guarded-based Disjunctive Existential Rules

International audienceThe complete picture of the complexity of answering (unions of) conjunctive queries under the main guarded-based classes of disjunc- tive existential rules has been recently settled. It has been shown that the problem is very hard, namely 2ExpTime-complete, even for fixed sets of rules expressed in lightweight formalisms. This gives rise to the question whether its complexity can be reduced by restricting the query language. Several subclasses of conjunctive queries have been proposed with the aim of reducing the complexity of classical database problems such as query evaluation and query containment. Three of the most prominent subclasses of this kind are queries of bounded hypertree-width, queries of bounded treewidth and acyclic queries. The central objective of the present paper is to understand whether the above query languages have a positive impact on the complexity of query answering under the main guarded-based classes of disjunctive existential rules. We show that (unions of) conjunctive queries of bounded hypertree- width and of bounded treewidth do not reduce the complexity of our problem, even if we focus on predicates of bounded arity, or on fixed sets of disjunctive existential rules. Regarding acyclic queries, although our problem remains 2ExpTime-complete in general, in some relevant set- tings the complexity reduces to ExpTime-complete; in fact, this requires to bound the arity of the predicates, and for some expressive guarded- based formalisms, to fix the set of rules

Mathematical theories in the era of Big Data

Data integration concerns the process of acquiring and managing heterogeneous data to be used by means of a unified view. Data can be merged in a unique data structure and can reside on different data sources and can be reconciled in the user view. Data is growing and huge increasing volume of data is available in different information sources; thus that furnishing uniquely available user interface is always more interesting challenge. To address this, data integration has become, over the last decades, the focus of extensive computer science theoretical works focusing on schema alignment and data fusion. Nevertheless, many issues are still open problems and thus unsolved. The recent years have seen an impressive growth in the volume, speed, and heterogeneity of the generated data as well as in the variety and quality of the data. We are in the era of big data! Data is generated, collected, and processed at an unprecedented scale and data-driven decisions influence many aspects of modern society. Data integration contributes to rapid and efficient decisions and is required in social and life related areas such as emergency management, life quality, and health related data management. As a consequence, there is a growing interest in applying mathematical theories and methods to model, integrate, and manage massive and fast changing data and in retrieving the valid and valuable knowledge they imply. The target of this special issue was to disseminate recent research results on data integration and to promote the integration between data management and knowledge representation communities. The aim was to merge articles describing novel theoretical as well as applied works regarding methodologies for big data modeling, integration, and management. In the paper “Big Data Validity Evaluation Based on MMTD” by N. Zhou et al., medium mathematics systems are introduced for the evaluation of big data validity. A medium logic-based data validity evaluation method is proposed. The contributions of the paper are as follows: based on the 3V properties of big data, dimensions that have a major influence on data validity are determined; data completeness, correctness, and compatibility are defined; a medium truth degree-based model is proposed to measure each dimension of data validity; a medium truth degree-based multidimensional model is proposed to measure the integrated value of data validity. In the paper “A Compound Structure for Wind Speed Forecasting Using MKLSSVM with Feature Selection and Parameter Optimization” by S. Sun et al., a compound MKLSSVM model optimized by HGSA algorithm integrated with signal decomposition technique EEMD, namely, EEMD-HGSA-MKLSSVM, is proposed for short-term wind speed forecasting. Four sets of mean half-hour wind speed, selected randomly from the historical wind speed data in 2015 and collected from a wind farm located in Anhui of China, are utilized as case studies to evaluate the forecasting performance of EEMD-HGSA-MKLSSVM model. In the paper “A Negotiation Optimization Strategy of Collaborative Procurement with Supply Chain Based on Multi-Agent System” by C. Chen and C. Xu, the process of collaborative procurement in which buyers and suppliers are prone to conflict in cooperation due to differences in needs and preferences is investigated. The paper provides a novel perspective for the analysis of intelligent supply chain managements; it constructs a negotiation model based on multi-agent system and proposes a negotiation optimization strategy combined with machine learning. In the paper “High-Order Degree and Combined Degree in Complex Networks” by S. Wang et al., several novel centrality metrics are defined: the high-order degree and combined degree of undirected network, the high-order out-degree and in-degree and combined out out-degree and in-degree of directed network. Those are the measurement of node importance with respect to the number of the node neighbors. Centrality metrics are explored in the context of several best-known networks and it is proved that both the degree centrality and eigenvector centrality are special cases of the high-order degree of undirected network, and both the in-degree and PageRank algorithm without damping factor are special cases of the high-order in-degree of directed network

An introduction to description logics and query rewriting

This chapter gives an overview of the description logics underlying the OWL 2 Web Ontology Language and its three tractable profiles, OWL 2 RL, OWL 2 EL and OWL 2 QL. We consider the syntax and semantics of these description logics as well as main reasoning tasks and their computational complexity. We also discuss the semantical foundations for fist-order and datalog rewritings of conjunctive queries over knowledge bases given in the OWL2 profiles, and outline the architecture of the ontology-based data access system Ontop

Prenatal ultrasound staging system for placenta accreta spectrum disorders.

OBJECTIVES: To develop a prenatal ultrasound staging system for placenta accreta spectrum (PAS) disorders in women with placenta previa and to evaluate its association with surgical outcome, placental invasion and the clinical staging system for PAS disorders proposed by the International Federation of Gynecology and Obstetrics (FIGO). METHODS: This was a secondary retrospective analysis of prospectively collected data from women with placenta previa. We classified women according to the following staging system for PAS disorders, based upon the presence of ultrasound signs of PAS in women with placenta previa: PAS0, placenta previa with no ultrasound signs of invasion or with placental lacunae but no evidence of abnormal uterus-bladder interface; PAS1, presence of at least two of placental lacunae, loss of the clear zone or bladder wall interruption; PAS2, PAS1 plus uterovescical hypervascularity; PAS3, PAS1 or PAS2 plus evidence of increased vascularity in the inferior part of the lower uterine segment potentially extending into the parametrial region. We explored whether this ultrasound staging system correlates with surgical outcome (estimated blood loss (EBL, mL), units of packed red blood cells (PRBC), fresh frozen plasma (FFP) and platelets (PLT) transfused, operation time (min), surgical complications defined as the occurrence of any damage to the bladder, ureters or bowel, length of hospital stay (days) and admission to intensive care unit (ICU)) and depth of placental invasion. The correlation between the present ultrasound staging system and the clinical grading system proposed by FIGO was assessed. Prenatal and surgical management were not based on the proposed prenatal ultrasound staging system. Linear and multiple regression models were used. RESULTS: Two-hundred and fifty-nine women were included in the analysis. Mean EBL was 516 ± 151 mL in women with PAS0, 609 ± 146 mL in those with PAS1, 950 ± 190 mL in those with PAS2 and 1323 ± 533 mL in those with PAS3, and increased significantly with increasing severity of PAS ultrasound stage. Mean units of PRBC transfused were 0.05 ± 0.21 in PAS0, 0.10 ± 0.45 in PAS1, 1.19 ± 1.11 in PAS2 and 4.48 ± 2.06 in PAS3, and increased significantly with PAS stage. Similarly, there was a progressive increase in the mean units of FFP transfused from PAS1 to PAS3 (0.0 ± 0.0 in PAS1, 0.25 ± 1.0 in PAS2 and 3.63 ± 2.67 in PAS3). Women presenting with PAS3 on ultrasound had significantly more units of PLT transfused (2.37 ± 2.40) compared with those with PAS0 (0.03 ± 0.18), PAS1 (0.0 ± 0.0) or PAS2 (0.0 ± 0.0). Mean operation time was longer in women with PAS3 (184 ± 32 min) compared with those with PAS1 (153 ± 38 min) or PAS2 (161 ± 28 min). Similarly, women with PAS3 had longer hospital stay (7.4 ± 2.1 days) compared with those with PAS0 (3.4 ± 0.6 days), PAS1 (6.4 ± 1.3 days) or PAS2 (5.9 ± 0.8 days). On linear regression analysis, after adjusting for all potential confounders, higher PAS stage was associated independently with a significant increase in EBL (314 (95% CI, 230-399) mL per one-stage increase; P < 0.001), units of PRBC transfused (1.74 (95% CI, 1.33-2.15) per one-stage increase; P < 0.001), units of FFP transfused (1.19 (95% CI, 0.61-1.77) per one-stage increase; P < 0.001), units of PLT transfused (1.03 (95% CI, 0.59-1.47) per one-stage increase; P < 0.001), operation time (38.8 (95% CI, 31.6-46.1) min per one-stage increase; P < 0.001) and length of hospital stay (0.83 (95% CI, 0.46-1.27) days per one-stage increase; P < 0.001). On logistic regression analysis, increased severity of PAS was associated independently with surgical complications (odds ratio, 3.14 (95% CI, 1.36-7.25); P = 0.007), while only PAS3 was associated with admission to the ICU (P < 0.001). All women with PAS0 on ultrasound were classified as having Grade-1 PAS disorder according to the FIGO grading system. Conversely, of the women presenting with PAS1 on ultrasound, 64.1% (95% CI, 48.4-77.3%) were classified as having Grade-3, while 35.9% (95% CI, 22.7-51.6%) were classified as having Grade-4 PAS disorder, according to the FIGO grading system. All women with PAS2 were categorized as having Grade-5 and all those with PAS3 as having Grade-6 PAS disorder according to the FIGO system. CONCLUSION: Ultrasound staging of PAS disorders is feasible and correlates with surgical outcome, depth of invasion and the FIGO clinical grading system. Copyright © 2019 ISUOG. Published by John Wiley & Sons Ltd

Metal Abundances of Red Clump Stars in Open Clusters: I. NGC 6819

We present an analysis of high dispersion spectra (R~40000) of three red clump stars in the old open cluster NGC 6819. The spectra were obtained with SARG, the high dispersion spectrograph of the Telescopio Nazionale Galileo. The spectra were analyzed using both equivalent widths measured with an automatic procedure, and comparisons with synthetic spectra. NGC 6819 is found to be slightly metal-rich ([Fe/H]= +0.09 +/-0.03, internal error); there are no previous high resolution studies to compare with. Most element-to-element abundance ratios are close to solar; we find a slight excess of Si, and a significant Na overabundance. Our spectra can also be used to derive the interstellar reddening towards the cluster, by comparing the observed colours with those expected from line excitation: we derive E(B-V)=0.14 +/-0.04, in agreement with the most recent estimate for this cluster.Comment: 30 pages, 4 encapsulated figures, uses aastex, AJ in pres

Algae Drive Enhanced Darkening of Bare Ice on the Greenland Ice Sheet

Surface ablation of the Greenland ice sheet is amplified by surface darkening caused by light-absorbing impurities such as mineral dust, black carbon, and pigmented microbial cells. We present the first quantitative assessment of the microbial contribution to the ice sheet surface darkening, based on field measurements of surface reflectance and concentrations of light-absorbing impurities, including pigmented algae, during the 2014 melt season in the southwestern part of the ice sheet. The impact of algae on bare ice darkening in the study area was greater than that of nonalgal impurities and yielded a net albedo reduction of 0.038&nbsp;±&nbsp;0.0035 for each algal population doubling. We argue that algal growth is a crucial control of bare ice darkening, and incorporating the algal darkening effect will improve mass balance and sea level projections of the Greenland ice sheet and ice masses elsewhere

Ground state properties of a Tonks-Girardeau Gas in a periodic potential

In this paper, we investigate the ground-state properties of a bosonic Tonks-Girardeau gas confined in a one-dimensional periodic potential. The single-particle reduced density matrix is computed numerically for systems up to $N=265$ bosons. Scaling analysis of the occupation number of the lowest orbital shows that there are no Bose-Einstein Condensation(BEC) for the periodically trapped TG gas in both commensurate and incommensurate cases. We find that, in the commensurate case, the scaling exponents of the occupation number of the lowest orbital, the amplitude of the lowest orbital and the zero-momentum peak height with the particle numbers are 0, -0.5 and 1, respectively, while in the incommensurate case, they are 0.5, -0.5 and 1.5, respectively. These exponents are related to each other in a universal relation.Comment: 9 pages, 10 figure

A homozygous MED11 C-terminal variant causes a lethal neurodegenerative disease

Purpose: The mediator (MED) multisubunit-complex modulates the activity of the transcriptional machinery, and genetic defects in different MED subunits (17, 20, 27) have been implicated in neurologic diseases. In this study, we identified a recurrent homozygous variant in MED11 (c.325C>T; p.Arg109Ter) in 7 affected individuals from 5 unrelated families. Methods: To investigate the genetic cause of the disease, exome or genome sequencing were performed in 5 unrelated families identified via different research networks and Matchmaker Exchange. Deep clinical and brain imaging evaluations were performed by clinical pediatric neurologists and neuroradiologists. The functional effect of the candidate variant on both MED11 RNA and protein was assessed using reverse transcriptase polymerase chain reaction and western blotting using fibroblast cell lines derived from 1 affected individual and controls and through computational approaches. Knockouts in zebrafish were generated using clustered regularly interspaced short palindromic repeats/Cas9. Results: The disease was characterized by microcephaly, profound neurodevelopmental impairment, exaggerated startle response, myoclonic seizures, progressive widespread neurodegeneration, and premature death. Functional studies on patient-derived fibroblasts did not show a loss of protein function but rather disruption of the C-terminal of MED11, likely impairing binding to other MED subunits. A zebrafish knockout model recapitulates key clinical phenotypes. Conclusion: Loss of the C-terminal of MED subunit 11 may affect its binding efficiency to other MED subunits, thus implicating the MED-complex stability in brain development and neurodegeneration