Bounded similarity querying for time-series data

We define the problem of bounded similarity querying in time-series databases, which generalizes earlier notions of similarity querying. Given a (sub)sequence S, a query sequence Q, lower and upper bounds on shifting and scaling parameters, and a tolerance , S is considered boundedly similar to Q if S can be shifted and scaled within the specified bounds to produce a modified sequence S′ whose distance from Q is within . We use similarity transformation to formalize the notion of bounded similarity. We then describe a framework that supports the resulting set of queries; it is based on a fingerprint method that normalizes the data and saves the normalization parameters. For off-line data, we provide an indexing method with a single index structure and search technique for handling all the special cases of bounded similarity querying. Experimental investigations find the performance of our method to be competitive with earlier, less general approaches.     

On Some Schützenberger Conjectures

In this paper we consider factorizing codes C over A, i.e., codes verifying the factorization conjecture by Schützenberger. Let n be the positive integer such that aⁿC, we show how we can construct C starting with factorizing codes C′ with a^n′C′ and n′ < n, under the hypothesis that all words aⁱza^j in C, with z(A\a)A*(A\a) (A\a), satisfy i, j, > n. The operation involved, already introduced by Anselmo, is also used to show that all maximal codes C=P(A−1)S+1 with P, SZA and P or S in Za can be constructed by means of this operation starting with prefix and suffix codes. Old conjectures by Schützenberger have been revised.     

The Undecidability of the First-Order Theories of One Step Rewriting in Linear Canonical Systems

By reduction from the halting problem for Minsky's two-register machines we prove that there is no algorithm capable of deciding the -theory of one step rewriting of an arbitrary finite linear confluent finitely terminating term rewriting system (weak undecidability). We also present a fixed such system with undecidable *-theory of one step rewriting (strong undecidability). This improves over all previously known results of the same kind.     

Development of a wireless stress/strain measurement system integrated with pressure-sensitive nickel powder-filled cement-based sensors

A wireless stress/strain measurement system is developed by integrating with pressure-sensitive sensors for health monitoring of concrete structures. The pressure-sensitive stress/strain sensors are fabricated by using nickel powder-filled cement-based composite. The wireless stress/strain measurement system integrated with these sensors is tested with compressive stress/strain in the range from 0 MPa/0 μ to 2.5 MPa/311.5 μ for performance evaluation. Experimental results indicate that the electrical resistivity of pressure-sensitive nickel powder-filled cement-based stress/strain sensors changes linearly and reversibly with the compressive stress/strain, and its fractional change goes up to 42.719% under uniaxial compression. The relationship between input (compressive stress/strain) and output (the fractional change in electrical resistivity) of the wireless stress/strain measurement system integrated with pressure-sensitive sensors is Δρ = −0.16894σ/Δρ = −1336.5. The wireless stress/strain measurement system can be used to achieve a sensitivity to stress/strain of 16.894% MPa⁻¹/0.13365%μ⁻¹ (a gauge factor of 1336.5) and a stress/strain resolution of 150 Pa/0.02 μ. The newly developed wireless stress/strain measurement system integrated with pressure-sensitive nickel powder-filled cement-based sensors has such advantages as high sensitivity to stress/strain, high stress/strain resolution, simple circuit and low energy consumption.     

Long paths in hypercubes with a quadratic number of faults

A path between distinct vertices u and v of the n-dimensional hypercube Q_n avoiding a given set of f faulty vertices is called long if its length is at least 2ⁿ-2f-2. We present a function (n)=Θ(n²) such that if f(n) then there is a long fault-free path between every pair of distinct vertices of the largest fault-free block of Q_n. Moreover, the bound provided by (n) is asymptotically optimal. Furthermore, we show that assuming f(n), the existence of a long fault-free path between an arbitrary pair of vertices may be verified in polynomial time with respect to n and, if the path exists, its construction performed in linear time with respect to its length.     

Sentences over Integral Domains and Their Computational Complexities

LetRbe a Hilbertian domain and letKbe its fraction field. Letψ(x₁, …, x_n, y) be a quantifier free arithmetical formula overR. We may also takeψ(x₁, …, x_n, y) to be an arithmetical formula overK[x₁, …, x_n] and write it asψ(y). In this paper we show that ifRhas enough non-units and x₁…x_n y ψ(x₁, …, x_n, y), called an ⁿ  sentence, is true inR, then y ψ(y) is true inK[x₁, …, x_n]. Also, ifR=K[T], whereKis an infinite integral domain andx₁…x_n y ψ(x₁, …, x_n, y)is true inR, then y ψ(y) is true inR[x₁, …, x_n]. These results are applied to find the upper and lower bounds of the time complexities of various decision problems on diophantine equations with parameters and arithmetical sentences. Some of the results are: 1. The decision problem of sentences and diophantine equations with parameters over the ring of integers of a global field are co-NP-complete. 2. The decision problem of sentences over the ring of integers of a global field is NP-complete. 3. LetKbe an infinite domain, the time complexities of the decision problems of equations with parameters and sentences over the polynomial ringK[t] are polynomial time reducible to factoring polynomials overK. 4. The decision problem of sentences over all algebraic integer rings is in P. 5. The decision problem of sentences over all integral domains with characteristic 0 is in P. 6. The time complexity of the decision problem of sentences over all integral domains is polynomial time reducible to factoring integers overZand factoring polynomials over finite fields.     

Thermostable tensoresistors of Co doped GaSb–FeGa1.3 eutectic composites

The microstructure and tensoresistive properties of GaSb–FeGa_1.3 eutectic composites doped with 0.1% Co have been investigated. It was found that the Co impurity atoms mainly accumulate in the metallic inclusions. The length of the inclusions in GaSb–FeGa_1.3Co was measured to be about half of those in undoped GaSb–FeGa_1.3 eutectics. The tensometric characteristics of gauges based on GaSb–FeGa_1.3Co have been found to be more thermostable than undoped samples.     

control for fast sampling discrete-time singularly perturbed systems

This paper is concerned with the H_∞ control problem via state feedback for fast sampling discrete-time singularly perturbed systems. A new H_∞ controller design method is given in terms of solutions to linear matrix inequalities (LMIs), which eliminates the regularity restrictions attached to the Riccati-based solution. A method for evaluating the upper bound of singular perturbation parameter with meeting a prescribed H_∞ performance bound requirement is also given. Furthermore, the results are extended to robust controller design for fast sampling discrete-time singularly perturbed systems with polytopic uncertainties. Numerical examples are given to illustrate the validity of the proposed methods.     

Liquid–solid equilibria in quinary system Na,Mg/Cl,SO4,NO3–H2O at 298.15 K

In order to develop the nitrate deposits found close to Lop Nur in the Xinjiang region in China, the solubilities of the system Na⁺,Mg²⁺/Cl⁻,SO₄²⁻, NO₃⁻–H₂O and its subsystems, the quaternary systems Na⁺,Mg²⁺/SO₄²⁻,NO₃⁻–H₂O and Mg²⁺/Cl⁻,SO₄²⁻,NO₃⁻–H₂O, were studied at 298.15 K. The phase diagrams were plotted according to the solubilities achieved. In the equilibrium phase diagram of Mg²⁺/Cl⁻,SO₄²⁻,NO₃⁻–H₂O, there are two invariant points, five univariant curves and four regions of crystallization: Mg(NO₃)₂6H₂O,MgCl₂6H₂O,MgSO₄7H₂O and MgSO₄(1–6)H₂O. In the equilibrium phase diagram of Na⁺,Mg²⁺/SO₄²⁻, NO₃⁻–H₂O, there are five invariant points, eleven univariant curves and seven regions of crystallization: Na₂SO₄,Na₂SO₄10H₂O,NaNO₃,MgSO₄Na₂SO₄4H₂O,NaNO₃Na₂SO₄2H₂O,Mg(NO₃)₂6H₂O and MgSO₄7H₂O. In the equilibrium phase diagram of the Na⁺, Mg²⁺/Cl⁻,SO₄²⁻,NO₃⁻–H₂O system, there are six invariant points, and ten regions of crystallization: NaCl, NaNO₃,Na₂SO₄,Na₂SO₄10H₂O,MgSO₄Na₂SO₄4H₂O, NaNO₃Na₂SO₄2H₂O,MgCl₂6H₂O,Mg(NO₃)₂6H₂O, MgSO₄(1–6)H₂O and MgSO₄7H₂O.     

A Logic for Reasoning about Generic Judgments

This paper presents an extension of a proof system for encoding generic judgments, the logic FOλ^Δ of Miller and Tiu, with an induction principle. The logic FOλ^Δ is itself an extension of intuitionistic logic with fixed points and a “generic quantifier”, , which is used to reason about the dynamics of bindings in object systems encoded in the logic. A previous attempt to extend FOλ^Δ with an induction principle has been unsuccessful in modeling some behaviours of bindings in inductive specifications. It turns out that this problem can be solved by relaxing some restrictions on , in particular by adding the axiom B≡x.B, where x is not free in B. We show that by adopting the equivariance principle, the presentation of the extended logic can be much simplified. Cut-elimination for the extended logic is stated, and some applications in reasoning about an object logic and a simply typed λ-calculus are illustrated.     

Nonmonotonic Trust Management for P2P Applications

Community decisions about access control in virtual communities are non-monotonic in nature. This means that they cannot be expressed in current, monotonic trust management languages such as the family of Role Based Trust Management languages (RT). To solve this problem we propose RT, which adds a restricted form of negation to the standard RT language, thus admitting a controlled form of non-monotonicity. The semantics of RT is discussed and presented in terms of the well-founded semantics for Logic Programs. Finally we discuss how chain discovery can be accomplished for RT.     

Probabilistic performance of state estimation across a lossy network

We consider a discrete time state estimation problem over a packet-based network. In each discrete time step, a measurement packet is sent across a lossy network to an estimator unit consisting of a modified Kalman filter. Using the designed estimator algorithm, the importance of placing a measurement buffer at the sensor that allows transmission of the current and several previous measurements is shown. Previous pioneering work on Kalman filtering with intermittent observation losses is concerned with the asymptotic behavior of the expected value of the error covariance, i.e. as k→∞. We consider a different performance metric, namely a probabilistic statement of the error covariance , meaning that with high probability the error covariance is bounded above at any instant in time. Provided the estimator error covariance has an upper bound whenever a measurement packet arrives, we show that for any finite M this statement will hold so long as the probability of receiving a measurement packet is nonzero. We also give an explicit relationship between M and and provide examples to illustrate the theory.     

Intervals of solutions of the discrete-time algebraic Riccati equation

If two solutions YZ of the DARE are given then the set of solutions X with YXZ can be parametrized by invariant subspaces of the closed loop matrix corresponding to Y. The paper extends the geometric theory of Willems from the continuous-time to the discrete-time ARE making the weakest possible assumptions.     

Reduction of Permutation-Invariant Polynomials: A Noncommutative Case Study

Let R be a commutative ring with 1, let RX₁,…,X_n/I be the polynomial algebra in the n≥4 noncommuting variables X₁,…,X_n over R modulo the set of commutator relations I={(X₁+···+X_n)*X_i=X_i*(X₁+···+X_n)|1≤i≤n}. Furthermore, let G be an arbitrary group of permutations operating on the indeterminates X₁,…,X_n, and let RX₁,…,X_n/I^G be the R-algebra of G-invariant polynomials in RX₁,…,X_n/I. The first part of this paper is about an algorithm, which computes a representation for any fRX₁,…,X_n/I^G as a polynomial in multilinear G-invariant polynomials, i.e., the maximal variable degree of the generators of RX₁,…,X_n/I^G is at most 1. The algorithm works for any ring R and for any permutation group G. In addition, we present a bound for the number of necessary generators for the representation of all G-invariant polynomials in RX₁,…,X_n/I^G with a total degree of at most d. The second part contains a first but promising analysis of G-invariant polynomials of solvable polynomial rings.     

Drag and lift coefficients of inclined finite circular cylinders at moderate Reynolds numbers

The flow around two-dimensional cylinders at moderate Reynolds numbers has been much studied, both for cylinders perpendicular to the flow and for cylinders yawed to the flow. In contrast, yawed finite aspect ratio cylinders have received little attention. In this article we describe computer simulations of cylinders with aspect ratios 2  L/D  20 yawed at angles 0°  α  90° relative to a free stream. The simulations were carried out for Reynolds numbers in the range 1  Re  40. The simulations show that the Independence Principle [Zdravkovich MM. Flow around circular cylinders, vol. 2: applications. New York: Oxford University Press; 2003[1]] is not accurate for α  45°. We have also found that for all aspect ratios, the ratio of the lift to drag force reaches a maximum for 40° < α < 50°. Finally, we present C_L and C_D relationships as best curve fits to computational data.     

Communication Protocols for Secure Distributed Computation of Binary Functions

A common task in parallel processing is the distributed computation of a function by a number of processors, each of which possesses partial information relevant to the value of that function. In this paper we develop communication protocols which allow for such computation to take place while maintaining the value of the function secret to an eavesdropper. Of interest is the communication complexity of such protocols. We begin by considering two processors and two channels, one secret and one public, and present a protocol which minimizes the number of bits exchanged over the secret channel, while maintaining -uncertainty about the value of the function for the eavesdropper. We show that all binary functions can be kept -secret using a constant number of bits independent of the size of their domain. We then generalize our results to N processors communicating over a network of arbitrary topology.     

The unconditionally positive-convergent implicit time integration scheme for two-equation turbulence models: Revisited

The unconditionally positive-convergent implicit scheme for two-equation turbulence models, originally developed by Mor-Yossef and Levy, is revisited. A compact, simple, and uniform reformulation of the method for the use of both structured and unstructured grid based flow solvers is presented. An analytical proof of the scheme revision is given showing that positivity of the turbulence model solutions and convergence of the turbulence model equations are guaranteed for any time step. Numerical experiments are conducted, simulating two test cases of three-dimensional complex flow fields using structured and hybrid unstructured grids. To demonstrate the overall scheme’s robustness, it is applied to non-linear k-ω and non-linear k- turbulence models. Results from the numerical simulations show that the scheme exhibits very good convergence characteristics, is robust, and it always preserves the positivity of the turbulence model dependent variables, even for an infinite time step.     

Predicate Abstraction for Dense Real-Time Systems

We propose predicate abstraction as a means for verifying a rich class of safety and liveness properties for dense real-time systems. First, we define a restricted semantics of timed systems which is observationally equivalent to the standard semantics in that it validates the same set of μ-calculus formulas without a next-step operator. Then, we recast the model checking problem S for a timed automaton S and a μ-calculus formula in terms of predicate abstraction. Whenever a set of abstraction predicates forms a so-called basis, the resulting abstraction is strongly preserving in the sense that S validates iff the corresponding finite abstraction validates this formula . Now, the abstracted system can be checked using familiar μ-calculus model checking. Like the region graph construction for timed automata, the predicate abstraction algorithm for timed automata usually is prohibitively expensive. In many cases it suffices to compute an approximation of a finite bisimulation by using only a subset of the basis of abstraction predicates. Starting with some coarse abstraction, we define a finite sequence of refined abstractions that converges to a strongly preserving abstraction. In each step, new abstraction predicates are selected nondeterministically from a finite basis. Counterexamples from failed μ-calculus model checking attempts can be used to heuristically choose a small set of new abstraction predicates for refining the abstraction.     

A generalization of ACP using Belnap’s logic

ACP is combined with Belnap’s four-valued logic via conditional composition (if–then–else). We show that the operators of ACP can be seen as instances of more general, conditional operators. For example, both the choice operator + and δ (deadlock) can be seen as instances of conditional composition, and the axiom x + δ = x follows from this perspective. Parallel composition is generalized to the binary conditional merge _ψ where covers the choice between interleaving and synchronization, and ψ determines the order of execution. The instance _BB is ACP’s parallel composition, where B (both) is the truth value that models both true and false in Belnap’s logic. Other instances of this conditional merge are sequential composition, pure interleaving and synchronous merge. We investigate the expression of scheduling strategies in the conditions of the conditional merge.     

Modeling of the angle of shearing resistance of soils using soft computing systems

Precise determination of the effective angle of shearing resistance (′) value is a major concern and an essential criterion in the design process of the geotechnical structures, such as foundations, embankments, roads, slopes, excavation and liner systems for the solid waste. The experimental determination of ′ is often very difficult, expensive and requires extreme cautions and labor. Therefore many statistical and numerical modeling techniques have been suggested for the ′ value. However they can only consider no more than one parameter, in a simplified manner and do not provide consistent accurate prediction of the ′ value. This study explores the potential of Genetic Expression Programming, Artificial Neural Network (ANN) and Adaptive Neuro Fuzzy (ANFIS) computing paradigm in the prediction of ′ value of soils. The data from consolidated-drained triaxial tests (CID) conducted in this study and the different project in Turkey and literature were used for training and testing of the models. Four basic physical properties of soils that cover the percentage of fine grained (FG), the percentage of coarse grained (CG), liquid limit (LL) and bulk density (BD) were presented to the models as input parameters. The performance of models was comprehensively evaluated some statistical criteria. The results revealed that GEP model is fairly promising approach for the prediction of angle of shearing resistance of soils. The statistical performance evaluations showed that the GEP model significantly outperforms the ANN and ANFIS models in the sense of training performances and prediction accuracies.