Unscented Kalman filter with advanced adaptation of scaling parameter

The paper deals with state estimation of the nonlinear stochastic systems by means of the unscented Kalman filter with a focus on specification of the σ$\sigma$-points. Their position is influenced by two design parameters—the scaling parameter determining the spread of the σ$\sigma$-points and a covariance matrix decomposition determining rotation of the σ$\sigma$-points. In this paper, a choice of the scaling parameter is analyzed. It is shown that considering other values than the standard choice may lead to increased quality of the estimate, especially if the scaling parameter is adapted. Several different criteria for the adaptation are proposed and techniques to reduce computational costs of the adaptation are developed. The proposed algorithm of the unscented Kalman filter with advanced adaptation of the scaling parameter is illustrated in a numerical example.     

HamleDT: Harmonized multi-language dependency treebank

We present HamleDT—a HArmonized Multi-LanguagE Dependency Treebank. HamleDT is a compilation of existing dependency treebanks (or dependency conversions of other treebanks), transformed so that they all conform to the same annotation style. In the present article, we provide a thorough investigation and discussion of a number of phenomena that are comparable across languages, though their annotation in treebanks often differs. We claim that transformation procedures can be designed to automatically identify most such phenomena and convert them to a unified annotation style. This unification is beneficial both to comparative corpus linguistics and to machine learning of syntactic parsing.     

Formulating the template ILP consistency problem as a constraint satisfaction problem

Inductive Logic Programming (ILP) deals with the problem of finding a hypothesis covering positive examples and excluding negative examples, where both hypotheses and examples are expressed in first-order logic. In this paper we employ constraint satisfaction techniques to model and solve a problem known as template ILP consistency, which assumes that the structure of a hypothesis is known and the task is to find unification of the contained variables. In particular, we present a constraint model with index variables accompanied by a Boolean model to strengthen inference and hence improve efficiency. The efficiency of models is demonstrated experimentally.     

Disjoint essential sets of implicates of a CQ Horn function

In this paper we study a class of CQ Horn functions introduced in Boros et al. (Ann Math Artif Intell 57(3–4):249–291, 2010). We prove that given a CQ Horn function f, the maximal number of pairwise disjoint essential sets of implicates of f equals the minimum number of clauses in a CNF representing f. In other words, we prove that the maximum number of pairwise disjoint essential sets of implicates of f constitutes a tight lower bound on the size (the number of clauses) of any CNF representation of f.     

LaMgAl11O19 synthesis using non-hydrolytic sol-gel methods

Polycrystalline LaMgAl₁₁O₁₉ (LMA) was prepared by four different non-hydrolytic sol-gel methods. From stable solutions, four powder precursors containing an amorphous and nanocrystalline phase with specific reactivity were obtained. The particle size, morphology, thermal behaviour, and phase composition of the powder precursors were studied using DLS, TEM, DSC/TG and XRD. Bulk ceramic samples containing LMA were prepared at 1200?°C for 16?h and examined in terms of phase purity and microstructure using XRD, SEM, and TEM. Raman spectroscopy of pure LMA was used to study the structure in detail. A mechanism of LMA formation and a relation between powder precursor properties and final phase composition is proposed. These findings may be useful for designing modern technologies for fabrication of LMA for optical or protective coating applications.     

Noise covariance matrices in state‐space models: A survey and comparison of estimation methods—Part I

This paper deals with the estimation of the noise covariance matrices of systems described by state‐space models. Stress is laid on the systematic survey and classification of both the recursive and batch processing methods proposed in the literature with a special focus on the correlation methods. Besides the correlation methods, representatives of other groups are introduced also with respect to their basic idea, estimate properties, assumptions and possible extensions, and user‐defined parameters. Common and dual properties of the methods are highlighted, and a simulation comparison using exemplary MATLAB implementations of the methods is provided.     

On the natural structure of thermodynamic potentials and fluxes in the theory of chemically non-reacting binary mixtures

A theory describing the behavior of chemically non-reacting binary mixtures can be based on a detailed formulation of the governing equations for the individual components of the mixture or on treating the mixture as a single homogenized continuous medium. We argue that if we accept that both approaches can be used to describe the behavior of the given mixture, then the requirement on the equivalence of these approaches places restrictions on the possible structure of the internal energy, entropy, Helmholtz potential, and also of the diffusive, energy, and entropy fluxes. (The equivalence of the approaches is understood in the sense that the quantities used in one approach can be interpreted in terms of the quantities used in the other approach and vice versa. Further, both approaches must lead to the same predictions concerning the evolution of the physical system under consideration). In the case of a general chemically non-reacting binary mixture of components at the same temperature, we show that these restrictions can indeed be obtained by purely algebraic manipulations. An important outcome of this analysis is, for example, a general form of the evolution equation for the diffusive flux. The restrictions can be further exploited in the specification of thermodynamically consistent constitutive relations for quantities such as the interaction (drag) force or the Cauchy stress tensor. As an example of the application of the current framework, we derive, among others, a generalization of Fick’s law and we recover several non-trivial results obtained by other techniques. The qualitative features of the derived generalization of Fick’s law are demonstrated by a numerical experiment.     

Impacts of Climate Variables on Residential Water Consumption in the Czech Republic

The paper investigates whether there is a statistically significant impact of short-term climate variables (specifically air temperature and rainfall) on residential water consumption at two selected case sites in the Czech Republic. The analysis is based on a unique time series of daily data from 2004–2009. The statistical methods used are CART methodology and a decomposition of these time series based on a locally weighted regression method. Apart from the data analysis results, the investigation raises several methodological questions regarding the use of daily data and the scope of analysis based on such data sets.