The determination of all syzygies for the dependent polynomial invariants of the Riemann tensor. I. Pure Ricci and pure Weyl invariants

In this paper, we shall consider all pure Ricci and pure Weyl scalar invariants of any degree, in a four-dimensional Lorentzian space. We present a general graph-theoretic based reduction algorithm which decomposes, using syzygies, any pure invariant in terms of the independent base invariants {r₁,r₂,r₃} or {w₁,w₂}

The determination of all syzygies for the dependent polynomial invariants of the Riemann Tensor. II. mixed invariants of Eeven degree in the Ricci Spinor

We continue our analysis of the polynomial invariants of the Riemann tensor in a four-dimensional Lorentzian space. We concentrate on the mixed invariants of even degree in the Ricci spinor Φ_ABȦḂ and show how, using constructive graph-theoretic methods, arbitrary scalar contractions between copies of the Weyl spinor ψ_ABCD, its conjugate ψ_ȦḂĊḊ and an even number of Ricci spinors can be expressed in terms of paired contractions between these spinors. This leads to an algorithm for the explicit expression of dependent invariants as polynomials of members of the complete set. Finally, we rigorously prove that the complete set as given by Sneddon [J. Math. Phys. 39, 1659-1679 (1998)] for this case is both complete and minimal.

Blind equalization of non-irreducible and non-column-reduced channels driven by constant modulus signals

We address the blind equalization of finite-impulse-response (FIR), multiple-input multiple-output (MIMO) channels excited by constant modulus (CM) signals. It is known that the algorithms based on the constant modulus (CM) criterion can equalize an FIR MIMO channel that is irreducible and column-reduced. We show in this paper that the CM property of signals can be exploited to construct a zero-forcing equalizer for a non-irreducible and non-column-reduced channel. We also give a lower bound for the order of the equalizer. Simulation examples demonstrate the proposed result.

Blind equalization of non-irreducible channels driven by MPSK signals

This paper deals with the problem of blind equalization of finite-impulse-response (FIR) and multiple-input multiple-output (MIMO) channels excited by M-ary phase shift keying (MPSK) signals. It is known that the algorithms based on the constant modulus (CM) criterion can equalize an FIR MIMO channel that is irreducible. The irreducible condition is restrictive since it requires that all source signals arrive at the receiving antennas simultaneously. In this paper, we show that the CM criterion can also be used to construct a zero-forcing equalizer for a channel that is non-irreducible. We also derive a lower bound for the order of the equalizer. The proposed result is validated by numerical simulations.

Determination of all syzygies for the dependent polynomial invariants of the Riemann Tensor. III. mixed invariants of arbitrary degree in the Ricci Spinor

In this paper, we rigorously prove that the complete set of Riemann tensor invariants given by Sneddon [J. Math. Phys. 40, 5905 (1999)] is both minimal and complete. Furthermore, we provide a two-stage algorithm for the explicit construction of polynomial syzygies relating any dependent Riemann tensor invariant to members of the complete set.

Conditions to ensure the 2-D characteristic polynomial of uncertain matrix is very strict Hurwitz

This article derives some new conditions for the bivariate characteristic
polynomial of an uncertain matrix to be very strict Hurwitz. The uncertainties are assumed of the structured and unstructured type. Using the two-dimensional inverse Laplace transform, we derive the bounds on the uncertainties, which will ensure that the bivariate characteristic polynomial is very strict Hurwitz. Two numerical examples are given to illustrate the results.

Robust strictly positive real synthesis of polynomial segments for discrete time systems

By using the result of robust strictly positive real synthesis of polynomial segments for continuous time systems, it is proved that, for any two n-th order polynomials a(z) and b(z), the Schur stability of their convex combination is necessary and sufficient for the existence of an n-th order polynomial c(z) such that c(z)/a(z) and c(z)/b(z) are both strictly positive real. We also provide the construction method of c(z). Illustrative examples are provided to show the effectiveness of this method.

Syzygies of the polynomial invariants of the Riemann tensor

This thesis introduces a novel way of writing polynomial invariants as network graphs, and applies this diagrammatic notation scheme, in conjunction with graph theory, to derive algorithms for constructing relationships (syzygies) between different invariants. These algorithms give rise to a constructive solution of a longstanding classical problem in invariant theory.

Software reliability growth models based on local polynomial modeling with kernel smoothing

Software reliability growth models (SRGMs) are extensively employed in software engineering to assess the reliability of software before their release for operational use. These models are usually parametric functions obtained by statistically fitting parametric curves, using Maximum Likelihood estimation or Least–squared method, to the plots of the cumulative number of failures observed N(t) against a period of systematic testing time t. Since the 1970s, a very large number of SRGMs have been proposed in the reliability and software engineering literature and these are often very complex, reflecting the involved testing regime that often took place during the software development process. In this paper we extend some of our previous work by adopting a nonparametric approach to SRGM modeling based on local polynomial modeling with kernel smoothing. These models require very few assumptions, thereby facilitating the estimation process and also rendering them more relevant under a wide variety of situations. Finally, we provide numerical examples where these models will be evaluated and compared.

Polynomial based key predistribution scheme in wireless mesh networks

Wireless mesh networks (WMNs) have the ability to integrate with other networks while providing a fast and cost-saving deployment. The network security is one of important challenge problems in this kind of networks. This paper is focused on key management between mesh and sensor networks. We propose an efficient key pre-distribution scheme based on two polynomials in wireless mesh networks by employing the nature of heterogeneity. Our scheme realizes the property of bloom filters, i.e., neighbor nodes can discover their shared keys but have no knowledge on the different keys possessed by the other node, without the probability of false positive. The analysis presented in this paper shows that our scheme has the ability to establish three different security level keys and achieves the property of self adaptive security for sensor networks with acceptable computation and communication consumption.

Switch point finding using polynomial regression for fuzzy type reduction algorithms

Karnik-Mendel (KM) algorithm is the most widely used type reduction (TR) method in literature for the design of interval type-2 fuzzy logic systems (IT2FLS). Its iterative nature for finding left and right switch points is its Achilles heel. Despite a decade of research, none of the alternative TR methods offer uncertainty measures equivalent to KM algorithm. This paper takes a data-driven approach to tackle the computational burden of this algorithm while keeping its key features. We propose a regression method to approximate left and right switch points found by KM algorithm. Approximator only uses the firing intervals, rnles centroids, and FLS strnctural features as inputs. Once training is done, it can precisely approximate the left and right switch points through basic vector multiplications. Comprehensive simulation results demonstrate that the approximation accuracy for a wide variety of FLSs is 100%. Flexibility, ease of implementation, and speed are other features of the proposed method.

Use of geographical information systems as a tool for predicting fish yield in tropical reservoirs : case study on Sri Lankan reservoirs

Use of geographical information systems (GIS) in inland fisheries has hitherto been essentially restricted to site evaluation for aquaculture development and assessment of limnological changes in time and space in individual water bodies. The present GIS study was conducted on the land-use pattern of the catchments of nine reservoirs in Sri Lanka, for which detailed fishery data, viz. yield, fishing intensity, landing size of major constituent species, together with selected limnological data such as conductivity and chlorophyll-a, were available. Potential statistical relationships (linear, curvilinear, exponential and second-order polynomial) of fish yield (FY, in kg ha−1 yr−1) to different land-use patterns, such as forest cover (FC, in km2) and shrub-land (SL, in km2), either singly, or in combination, and/or the ratio of each land type to reservoir area (RA in km2) and reservoir capacity (RC in km3), were explored. Highly significant relationships were evident between FY to the ratio of SL and/or FC+SL to RA and/or RC. Similarly, the above land-use types to RA and RC ratios were significantly related to limnological features of the reservoirs. The relationships of FY to various parameters obtained in this study were much better correlated than those relationships of FY to limnological and biological parameters used in yield prediction in tropical and temperate lacustrine waters previously.

A model for compressing probabilities in belief networks

Probabilistic reasoning with belief (Bayesian) networks is based on conditional probability matrices. Thus it suffers from NP-hard implementations. In particular, the amount of probabilistic information necessary for the computations is often overwhelming. So, compressing the conditional probability table is one of the most important issues faced by the probabilistic reasoning community. Santos suggested an approach (called linear potential functions) for compressing the information from a combinatorial amount to roughly linear in the number of random variable assignments. However, much of the information in Bayesian networks, in which there are no linear potential functions, would be fitted by polynomial approximating functions rather than by reluctantly linear functions. For this reason, we construct a polynomial method to compress the conditional probability table in this paper. We evaluated the proposed technique, and our experimental results demonstrate that the approach is efficient and promising.