TY - JOUR A1 - Soupiona, Ourania A1 - Samaras, Stefanos A1 - Ortiz-Amezcua, Pablo A1 - Böckmann, Christine A1 - Papayannis, Alexandros D. A1 - Moreira, Gregori De Arruda A1 - Benavent-Oltra, Jose Antonio A1 - Guerrero-Rascado, Juan Luis A1 - Bedoya-Velásquez, Andres Esteban A1 - Olmo-Reyes, Francisco José A1 - Román, Roberto A1 - Kokkalis, Panagiotis A1 - Mylonaki, Maria A1 - Alados-Arboledas, Lucas A1 - Papanikolaou, Christina Anna A1 - Foskinis, Romanos T1 - Retrieval of optical and microphysical properties of transported Saharan dust over Athens and Granada based on multi-wavelength Raman lidar measurements: Study of the mixing processes JF - Atmospheric environment : air pollution ; emissions, transport and dispersion, transformation, deposition effects, micrometeorology, urban atmosphere, global atmosphere N2 - In this paper we extract the aerosol microphysical properties for a collection of mineral dust cases measured by multi-wavelength depolarization Raman lidar systems located at the National Technical University of Athens (NTUA, Athens, Greece) and the Andalusian Institute for Earth System Research (IISTA-CEAMA, Granada, Spain). The lidar-based retrievals were carried out with the Spheroidal Inversion eXperiments software tool (SphInX) developed at the University of Potsdam (Germany). The software uses regularized inversion of a two-dimensional enhancement of the Mie model based on the spheroid-particle approximation with the aspect ratio determining the particle shape. The selection of the cases was based on the transport time from the source regions to the measuring sites. The aerosol optical depth as measured by AERONET ranged from 0.27 to 0.54 (at 500 nm) depending on the intensity of each event. Our analysis showed the hourly mean particle linear depolarization ratio and particle lidar ratio values at 532 nm ranging from 11 to 34% and from 42 to 79 sr respectively, depending on the mixing status, the corresponding air mass pathways and their transport time. Cases with shorter transport time showed good agreement in terms of the optical and SphInX-retrieved microphysical properties between Athens and Granada providing a complex refractive index value equal to 1.4 + 0.004i. On the other hand, the results for cases with higher transport time deviated from the aforementioned ones as well as from each other, providing, in particular, an imaginary part of the refractive index ranging from 0.002 to 0.005. Reconstructions of two-dimensional shape-size distributions for each selected layer showed that the dominant effective particle shape was prolate with diverse spherical contributions. The retrieved volume concentrations reflect overall the intensity of the episodes. Y1 - 2019 U6 - https://doi.org/10.1016/j.atmosenv.2019.116824 SN - 1352-2310 SN - 1873-2844 VL - 214 PB - Elsevier CY - Oxford ER - TY - JOUR A1 - Schneider, Sven A1 - Maximova, Maria A1 - Sakizloglou, Lucas A1 - Giese, Holger T1 - Formal testing of timed graph transformation systems using metric temporal graph logic JF - International journal on software tools for technology transfer N2 - Embedded real-time systems generate state sequences where time elapses between state changes. Ensuring that such systems adhere to a provided specification of admissible or desired behavior is essential. Formal model-based testing is often a suitable cost-effective approach. We introduce an extended version of the formalism of symbolic graphs, which encompasses types as well as attributes, for representing states of dynamic systems. Relying on this extension of symbolic graphs, we present a novel formalism of timed graph transformation systems (TGTSs) that supports the model-based development of dynamic real-time systems at an abstract level where possible state changes and delays are specified by graph transformation rules. We then introduce an extended form of the metric temporal graph logic (MTGL) with increased expressiveness to improve the applicability of MTGL for the specification of timed graph sequences generated by a TGTS. Based on the metric temporal operators of MTGL and its built-in graph binding mechanics, we express properties on the structure and attributes of graphs as well as on the occurrence of graphs over time that are related by their inner structure. We provide formal support for checking whether a single generated timed graph sequence adheres to a provided MTGL specification. Relying on this logical foundation, we develop a testing framework for TGTSs that are specified using MTGL. Lastly, we apply this testing framework to a running example by using our prototypical implementation in the tool AutoGraph. KW - formal testing KW - typed attributed symbolic graphs KW - timed graph KW - transformation KW - graph conditions KW - metric temporal graph logic Y1 - 2021 U6 - https://doi.org/10.1007/s10009-020-00585-w SN - 1433-2779 SN - 1433-2787 VL - 23 IS - 3 SP - 411 EP - 488 PB - Springer CY - Heidelberg ER - TY - JOUR A1 - Fennekohl, Alexandra A1 - Lucas, Maria A1 - Püschel, Gerhard Paul T1 - Induction by interleukin 6 of G(s)-coupled prostaglandin E(2) receptors in rat hepatocytes mediating a prostaglandin e(2)-dependent inhibition of the hepatocyte's acute phase response N2 - Prostanoids, that are released from nonparenchymal liver cells in response to proinflammatory stimuli, are involved in the regulation of hepatic functions during inflammation. They exert their effects on their target cells via heptahelical receptors in the plasma membrane. For the 5 prostanoids prostaglandin E(2) (PGE(2)), prostaglandin F(2alpha), prostaglandin D(2) (PGD(2)), prostacyclin, and thromboxane A(2) there exist 8 receptors that are coupled to different heterotrimeric G proteins. These receptors are expressed differentially in the 4 principal liver cell types, i.e., hepatocytes, Kupffer cells, sinusoidal endothelial cells, and hepatic stellate cells. It was intriguing, that the messenger RNA (mRNA) of none of the G(s)-coupled prostanoid receptors (DP-R, EP2-R, EP4-R, and IP-R) that can attenuate the inflammatory reaction were present in hepatocytes. The current study shows that the expression of the G(s)-coupled prostanoid receptors EP2-R, EP4-R, and DP-R, but not the IP-R, was efficiently and rapidly up-regulated by treatment of hepatocytes in vitro or rats in vivo with the key acute phase cytokine interleukin 6 (IL-6). In IL-6-treated hepatocytes PGE(2) in turn attenuated the IL-6-induced alpha(2)-macroglobulin formation via a cyclic adenosine monophosphate (cAMP)- dependent signal chain. The data indicate that an IL-6-mediated induction of the previously not expressed EP2-R and EP4- R on hepatocytes might establish a prostanoid-mediated feedback inhibition loop for the attenuation of the acute phase response. Y1 - 2000 ER - TY - BOOK A1 - Giese, Holger A1 - Maximova, Maria A1 - Sakizloglou, Lucas A1 - Schneider, Sven T1 - Metric temporal graph logic over typed attributed graphs N2 - Various kinds of typed attributed graphs are used to represent states of systems from a broad range of domains. For dynamic systems, established formalisms such as graph transformations provide a formal model for defining state sequences. We consider the extended case where time elapses between states and introduce a logic to reason about these sequences. With this logic we express properties on the structure and attributes of states as well as on the temporal occurrence of states that are related by their inner structure, which no formal logic over graphs accomplishes concisely so far. Firstly, we introduce graphs with history by equipping every graph element with the timestamp of its creation and, if applicable, its deletion. Secondly, we define a logic on graphs by integrating the temporal operator until into the well-established logic of nested graph conditions. Thirdly, we prove that our logic is equally expressive to nested graph conditions by providing a suitable reduction. Finally, the implementation of this reduction allows for the tool-based analysis of metric temporal properties for state sequences. N2 - Verschiedene Arten von getypten attributierten Graphen werden benutzt, um Zustände von Systemen in vielen unterschiedlichen Anwendungsbereichen zu beschreiben. Der etablierte Formalismus der Graphtransformationen bietet ein formales Model, um Zustandssequenzen für dynamische Systeme zu definieren. Wir betrachten den erweiterten Fall von solchen Sequenzen, in dem Zeit zwischen zwei verschiedenen Systemzuständen vergeht, und führen eine Logik ein, um solche Sequenzen zu beschreiben. Mit dieser Logik drücken wir zum einen Eigenschaften über die Struktur und die Attribute von Zuständen aus und beschreiben zum anderen temporale Vorkommen von Zuständen, die durch ihre innere Struktur verbunden sind. Solche Eigenschaften können bisher von keiner der existierenden Logiken auf Graphen vergleichbar darstellt werden. Erstens führen wir Graphen mit Änderungshistorie ein, indem wir jedes Graphelement mit einem Zeitstempel seiner Erzeugung und, wenn nötig, seiner Löschung versehen. Zweitens definieren wir eine Logik auf Graphen, indem wir den Temporaloperator Until in die wohl-etablierte Logik der verschachtelten Graphbedingungen integrieren. Drittens beweisen wir, dass unsere Logik gleich ausdrucksmächtig ist, wie die Logik der verschachtelten Graphbedingungen, indem wir eine passende Reduktionsoperation definieren. Zuletzt erlaubt uns die Implementierung dieser Reduktionsoperation die werkzeukbasierte Analyse von metrisch-temporallogischen Eigenschaften für Zustandssequenzen zu führen. T3 - Technische Berichte des Hasso-Plattner-Instituts für Digital Engineering an der Universität Potsdam - 123 KW - nested graph conditions KW - sequence properties KW - symbolic graphs KW - typed attributed graphs KW - metric temporal logic KW - temporal logic KW - runtime monitoring KW - verschachtelte Anwendungsbedingungen KW - Sequenzeigenschaften KW - symbolische Graphen KW - getypte Attributierte Graphen KW - metrische Temporallogik KW - Temporallogik KW - Runtime-monitoring Y1 - 2018 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus4-411351 SN - 978-3-86956-433-3 SN - 1613-5652 SN - 2191-1665 IS - 123 PB - Universitätsverlag Potsdam CY - Potsdam ER - TY - BOOK A1 - Giese, Holger A1 - Maximova, Maria A1 - Sakizloglou, Lucas A1 - Schneider, Sven T1 - Metric temporal graph logic over typed attributed graphs BT - extended version N2 - Graph repair, restoring consistency of a graph, plays a prominent role in several areas of computer science and beyond: For example, in model-driven engineering, the abstract syntax of models is usually encoded using graphs. Flexible edit operations temporarily create inconsistent graphs not representing a valid model, thus requiring graph repair. Similarly, in graph databases—managing the storage and manipulation of graph data—updates may cause that a given database does not satisfy some integrity constraints, requiring also graph repair. We present a logic-based incremental approach to graph repair, generating a sound and complete (upon termination) overview of least-changing repairs. In our context, we formalize consistency by so-called graph conditions being equivalent to first-order logic on graphs. We present two kind of repair algorithms: State-based repair restores consistency independent of the graph update history, whereas deltabased (or incremental) repair takes this history explicitly into account. Technically, our algorithms rely on an existing model generation algorithm for graph conditions implemented in AutoGraph. Moreover, the delta-based approach uses the new concept of satisfaction (ST) trees for encoding if and how a graph satisfies a graph condition. We then demonstrate how to manipulate these STs incrementally with respect to a graph update. N2 - Verschiedene Arten typisierter attributierter Graphen können verwendet werden, um Systemzustände aus einem breiten Bereich von Domänen darzustellen. Für dynamische Systeme können etablierte Formalismen wie die Graphtransformation ein formales Modell für die Definition von Zustandssequenzen liefern. Wir betrachten den Fall, in dem zwischen Zustandsänderungen Zeit vergehen kann, und führen eine Logik ein, die als Metric Temporal Graph Logic (MTGL) bezeichnet wird, um über solche zeitgesteuerten Graphsequenzen zu urteilen. Mit dieser Logik drücken wir Eigenschaften der Struktur und der Attribute von Zuständen sowie des Auftretens von Zuständen über die Zeit aus, die durch ihre innere Struktur miteinander verbunden sind, was bisher keine formale Logik über Graphen präzise bewerkstelligt. Erstens, basierend auf zeitgesteuerten Graphsequenzen als Modelle für die Systemevolution, definieren wir MTGL, indem wir den zeitlichen Operator bis zu einer gewissen Zeitgrenze in die etablierte Logik von (verschachtelten) Graphbedingungen integrieren. Zweitens skizzieren wir, wie eine endliche zeitgesteuerte Diagrammsequenz als einzelnes Diagramm dargestellt werden kann, das alle zeitlichen Änderungen enthält (als Diagramm mit Verlauf bezeichnet), wie die Erfüllung von MTGL-Bedingungen für ein solches Diagramm definiert werden kann, und zeigen, dass beide Darstellungen dieselben MTGL-Bedingungen erfüllen. Drittens zeigen wir, wie MTGL-Bedingungen auf (verschachtelte) Diagrammbedingungen reduziert werden können, und zeigen anhand dieser Reduzierung, dass beide zugrunde liegenden Logiken gleichermaßen aussagekräftig sind. Schließlich stellen wir eine Erweiterung des Tools AutoGraph vor, mit der die Erfüllung der MTGL-Bedingungen für zeitgesteuerte Diagrammsequenzen überprüft werden kann, indem die Erfüllung der (verschachtelten) Diagrammbedingungen überprüft wird, die unter Verwendung der vorgeschlagenen Reduzierung für das Diagramm mit dem Verlauf entsprechend dem zeitgesteuerten Diagramm erhalten wurden. T3 - Technische Berichte des Hasso-Plattner-Instituts für Digital Engineering an der Universität Potsdam - 127 KW - typisierte attributierte Graphen KW - metrisch temporale Graph Logic KW - Spezifikation von gezeiteten Graph Transformationen KW - typed attributed graphs KW - metric termporal graph logic KW - specification of timed graph transformations Y1 - 2019 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus4-427522 SN - 978-3-86956-463-0 SN - 1613-5652 SN - 2191-1665 IS - 127 PB - Universitätsverlag Potsdam CY - Potsdam ER - TY - GEN A1 - Ortiz-Amezcua, Pablo A1 - Guerrero-Rascado, Juan Luis A1 - Granados-Muñoz, María José A1 - Benavent-Oltra, José Antonio A1 - Böckmann, Christine A1 - Samaras, Stefanos A1 - Stachlewska, Iwona Sylwia A1 - Janicka, Łucja A1 - Baars, Holger A1 - Bohlmann, Stephanie A1 - Alados-Arboledas, Lucas T1 - Microphysical characterization of long-range transported biomass burning particles from North America at three EARLINET stations T2 - Postprints der Universität Potsdam : Mathematisch Naturwissenschaftliche Reihe N2 - Strong events of long-range transported biomass burning aerosol were detected during July 2013 at three EARLINET (European Aerosol Research Lidar Network) stations, namely Granada (Spain), Leipzig (Germany) and Warsaw (Poland). Satellite observations from MODIS (Moderate Resolution Imaging Spectroradiometer) and CALIOP (Cloud-Aerosol Lidar with Orthogonal Polarization) instruments, as well as modeling tools such as HYSPLIT (Hybrid Single-Particle Lagrangian Integrated Trajectory) and NAAPS (Navy Aerosol Analysis and Prediction System), have been used to estimate the sources and transport paths of those North American forest fire smoke particles. A multiwavelength Raman lidar technique was applied to obtain vertically resolved particle optical properties, and further inversion of those properties with a regularization algorithm allowed for retrieving microphysical information on the studied particles. The results highlight the presence of smoke layers of 1-2 km thickness, located at about 5 km a.s.l. altitude over Granada and Leipzig and around 2.5 km a.s.l. at Warsaw. These layers were intense, as they accounted for more than 30% of the total AOD (aerosol optical depth) in all cases, and presented optical and microphysical features typical for different aging degrees: color ratio of lidar ratios (LR532/LR355) around 2, alpha-related angstrom exponents of less than 1, effective radii of 0.3 mu m and large values of single scattering albedos (SSA), nearly spectrally independent. The intensive microphysical properties were compared with columnar retrievals form co-located AERONET (Aerosol Robotic Network) stations. The intensity of the layers was also characterized in terms of particle volume concentration, and then an experimental relationship between this magnitude and the particle extinction coefficient was established. T3 - Zweitveröffentlichungen der Universität Potsdam : Mathematisch-Naturwissenschaftliche Reihe - 614 KW - aerosol optical-properties KW - forest-fire smoke KW - Raman-Lidar KW - multiwavelength lidar KW - photochemical oxidation KW - hygroscopic growth KW - southeastern Spain KW - backscatter lidar KW - organic aerosol KW - boundary-layer Y1 - 2019 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus4-416603 SN - 1866-8372 IS - 614 SP - 5931 EP - 5946 ER - TY - JOUR A1 - Ortiz-Amezcua, Pablo A1 - Guerrero-Rascado, Juan Luis A1 - Jose Granados-Munoz, Maria A1 - Benavent-Oltra, Jose Antonio A1 - Böckmann, Christine A1 - Samaras, Stefanos A1 - Stachlewska, Iwona Sylwia A1 - Janicka, Lucja A1 - Baars, Holger A1 - Bohlmann, Stephanie A1 - Alados-Arboledas, Lucas T1 - Microphysical characterization of long-range transported biomass burning particles from North America at three EARLINET stations JF - Atmospheric Chemistry and Physics N2 - Strong events of long-range transported biomass burning aerosol were detected during July 2013 at three EARLINET (European Aerosol Research Lidar Network) stations, namely Granada (Spain), Leipzig (Germany) and Warsaw (Poland). Satellite observations from MODIS (Moderate Resolution Imaging Spectroradiometer) and CALIOP (Cloud-Aerosol Lidar with Orthogonal Polarization) instruments, as well as modeling tools such as HYSPLIT (Hybrid Single-Particle Lagrangian Integrated Trajectory) and NAAPS (Navy Aerosol Analysis and Prediction System), have been used to estimate the sources and transport paths of those North American forest fire smoke particles. A multiwavelength Raman lidar technique was applied to obtain vertically resolved particle optical properties, and further inversion of those properties with a regularization algorithm allowed for retrieving microphysical information on the studied particles. The results highlight the presence of smoke layers of 1-2 km thickness, located at about 5 km a.s.l. altitude over Granada and Leipzig and around 2.5 km a.s.l. at Warsaw. These layers were intense, as they accounted for more than 30% of the total AOD (aerosol optical depth) in all cases, and presented optical and microphysical features typical for different aging degrees: color ratio of lidar ratios (LR532/LR355) around 2, alpha-related angstrom exponents of less than 1, effective radii of 0.3 mu m and large values of single scattering albedos (SSA), nearly spectrally independent. The intensive microphysical properties were compared with columnar retrievals form co-located AERONET (Aerosol Robotic Network) stations. The intensity of the layers was also characterized in terms of particle volume concentration, and then an experimental relationship between this magnitude and the particle extinction coefficient was established. Y1 - 2017 U6 - https://doi.org/10.5194/acp-17-5931-2017 SN - 1680-7316 SN - 1680-7324 VL - 17 SP - 5931 EP - 5946 PB - Copernicus CY - Göttingen ER -