Microchemical composition and cell dimensions of mullites from refractory-grade South American bauxites

Two different types of mullite could be determined in differently coloured fragments of South American bauxites: − Mullites, occuring in light bauxite fragments with low impurity contents (Σ wt % (Fe₂O₃ + TiO₂) 2.5), and cell dimensions close to that of 3/2 mullite, the b parameter being slightly shorter. − Mullites, occurring in grey to dark grey, and in brown bauxite fragments, with high impurity contents (Σ wt % (Fe₂O₃ + TiO₂) 4,0) and a and c cell dimensions close to those of 2/1 mullite. The b constant of these mullites is slightly expanded with respect to impurity free mullites. Increasing impurity contents in mullite are linearly correlated with a b expansion. The expansion was structurally explained with a substitution of Al³⁺ by Fe³⁺ and Ti⁴⁺ at octahedral lattice sites, which causes stretching of the AlO₆ octahedra along to the elastic Al₁---D_D bond in mullites which is 30° to either side of b. The substitution-produced expansion is superimposed by an expansion due to the change of the structural state of mullite from the 3/2 to the 2/1 type. The greatest variation in any cell parameter with the change of the structural state is the a constant.     

New aspects of transversal1H-NMR relaxation in natural rubber vulcanizates

Summary Structure and dynamics of unfilled and carbon black filled natural rubber vulcanizates were investigated by means of transversal¹H-NMR-relaxation. A simple theoretical model including different motions in polymer network was extended by the discussion of an anisotropy parameter of segmental motion not only for the intercrosslink chains but also for the dangling ends. It makes characterization of the filling state of the network possible to approximate. The effect of increasing correlation times _f of the fast anisotropic local motion with reduction of the molecular mass of intercrosslink chains which was observed, but not cleared up in previous investigation is evidently smaller by using this modified model in accordance with the expectation of a local motion. The determined values of M_c are in good agreement with the results of fits by using the unmodified relaxation function.¹³C-NMR-spectra and stress-strain-experiments are leading in most cases to similar results, especially for M_c.     

Combination of surface characterization techniques for investigating optical thin-film components

To meet the requirements of comprehensively characterizing the morphology of thin films and substrates, a suitable combination of different measuring techniques should be chosen, i.e., a nonoptical surface profile measurement should be used together with optical analysis. It is demonstrated on selected examples of fluoride and oxide films that the use of atomic force microscopy and light scattering fulfills the demand of appropriate quantitative characterization over a sufficiently large range of bandwidths.     

The Complexity of Hybrid Logics over Equivalence Relations

This paper examines and classifies the computational complexity of model checking and satisfiability for hybrid logics over frames with equivalence relations. The considered languages contain all possible combinations of the downarrow binder, the existential binder, the satisfaction operator, and the global modality, ranging from the minimal hybrid language to very expressive languages. For model checking, we separate polynomial-time solvable from PSPACE-complete cases, and for satisfiability, we exhibit cases complete for NP, PSpace, NExpTime, and even N2ExpTime. Our analysis includes the versions of all these languages without atomic propositions, and also complete frames.     

Aerodynamic optimization via multi-objective micro-genetic algorithm with range adaptation,knowledge-based reinitialization,crowding and ε-dominance

In this study, an optimization of the airfoil of a sailplane is carried out by a recently developed multi-objective genetic algorithm based on microevolution, containing crowding, range adaptation, knowledge-based reinitialization and ε-dominance. Its efficiency was tested on a set of test problems. The results are encouraging, suggesting that very small populations can be used effectively to solve real-world multi-objective optimization problems in many cases of interest.     

Sentinel-1-based flood mapping: a fully automated processing chain

This article presents an automated Sentinel-1-based processing chain designed for flood detection and monitoring in near-real-time (NRT). Since no user intervention is required at any stage of the flood mapping procedure, the processing chain allows deriving time-critical disaster information in less than 45 min after a new data set is available on the Sentinel Data Hub of the European Space Agency (ESA). Due to the systematic acquisition strategy and high repetition rate of Sentinel-1, the processing chain can be set up as a web-based service that regularly informs users about the current flood conditions in a given area of interest. The thematic accuracy of the thematic processor has been assessed for two test sites of a flood situation at the border between Greece and Turkey with encouraging overall accuracies between 94.0% and 96.1% and Cohen’s kappa coefficients (κ) ranging from 0.879 to 0.910. The accuracy assessment, which was performed separately for the standard polarizations (VV/VH) of the interferometric wide swath (IW) mode of Sentinel-1, further indicates that under calm wind conditions, slightly higher thematic accuracies can be achieved by using VV instead of VH polarization data.     

Local closed world reasoning with description logics under the well-founded semantics

An important question for the upcoming Semantic Web is how to best combine open world ontology languages, such as the OWL-based ones, with closed world rule-based languages. One of the most mature proposals for this combination is known as hybrid MKNF knowledge bases (Motik and Rosati, 2010 [52]), and it is based on an adaptation of the Stable Model Semantics to knowledge bases consisting of ontology axioms and rules. In this paper we propose a well-founded semantics for nondisjunctive hybrid MKNF knowledge bases that promises to provide better efficiency of reasoning, and that is compatible with both the OWL-based semantics and the traditional Well-Founded Semantics for logic programs. Moreover, our proposal allows for the detection of inconsistencies, possibly occurring in tightly integrated ontology axioms and rules, with only little additional effort. We also identify tractable fragments of the resulting language.     

An Analysis of Edge Detection by Using the Jensen-Shannon Divergence

This work constitutes a theoretical study of the edge-detection method by means of the Jensen-Shannon divergence, as proposed by the authors. The overall aim is to establish formally the suitability of the procedure of edge detection in digital images, as a step prior to segmentation. In specific, an analysis is made not only of the properties of the divergence used, but also of the method's sensitivity to the spatial variation, as well as the detection-error risk associated with the operating conditions due to the randomness of the spatial configuration of the pixels. Although the paper deals with the procedure based on the Jensen-Shannon divergence, some problems are also related to other methods based on local detection with a sliding window, and part of the study is focused to noisy and textured images.     

Recording and interpretation/analysis of tilt signals with five ASKANIA borehole tiltmeters at the KTB

In June 2003, a large scale injection experiment started at the Continental Deep Drilling site (KTB) in Germany. A tiltmeter array was installed which consisted of five high resolution borehole tiltmeters of the ASKANIA type, also equipped with three dimensional seismometers. For the next 11 months, 86 000 m(3) were injected into the KTB pilot borehole 4000 m deep. The average injection rate was approximately 200 l/min. The research objective was to observe and to analyze deformation caused by the injection into the upper crust at the kilometer range. A new data acquisition system was developed by Geo-Research Center Potsdam (GFZ) to master the expected huge amount of seismic and tilt data. Furthermore, it was necessary to develop a new preprocessing software called PREANALYSE for long-period time series. This software includes different useful functions, such as step and spike correction, interpolation, filtering, and spectral analysis. This worldwide unique installation offers the excellent opportunity of the separation of signals due to injection and due to environment by correlation of the data of the five stations with the ground water table and meteorological data.