-admissibility of the right-shift semigroup on

It is shown that the right-shift semigroup on does not satisfy the weighted Weiss conjecture for α(0,1). In other words, α-admissibility of scalar valued observation operators cannot always be characterised by a simple resolvent growth condition. This result is in contrast to the unweighted case, where 0-admissibility can be characterised by a simple growth bound. The result is proved by providing a link between discrete and continuous α-admissibility and then translating a counterexample for the unilateral shift on to continuous time systems.     

Minimality considerations for graph energy over a class of graphs

Let G be a graph on n vertices, and let CHP(G;λ) be the characteristic polynomial of its adjacency matrix A(G). All n roots of CHP(G;λ), denoted by , are called to be its eigenvalues. The energy E(G) of a graph G, is the sum of absolute values of all eigenvalues, namely, . Let be the set of n-vertex unicyclic graphs, the graphs with n vertices and n edges. A fully loaded unicyclic graph is a unicyclic graph taken from with the property that there exists no vertex with degree less than 3 in its unique cycle. Let be the set of fully loaded unicyclic graphs. In this article, the graphs in with minimal and second-minimal energies are uniquely determined, respectively.     

VCPSS: A two-in-one two-decoding-options image sharing method combining visual cryptography (VC) and polynomial-style sharing (PSS) approaches

This paper presents a novel method to combine two major branches of image sharing: VC and PSS. n transparencies are created for a given gray-valued secret image. If the decoding computer is temporarily not available at (or, not connected to) the decoding scene, we can still physically stack any t received transparencies (tn is a threshold value) to get a vague black-and-white view of the secret image immediately. On the other hand, when the decoding computer is finally available, then we can get a much finer gray-valued view of the secret image using the information hidden in the transparencies. In summary, each transparency is a two-in-one carrier of the information, and the decoding has two options.     

Limitations of nonlinear discrete periodic control for disturbance attenuation and robust stabilization

This paper presents a performance analysis of nonlinear periodically time-varying discrete controllers acting upon a linear time-invariant discrete plant. Time-invariant controllers are distinguished from strictly periodically time-varying controllers. For a given nonlinear periodic controller, a time-invariant controller is constructed. Necessary and sufficient conditions are given under which the time-invariant controller gives strictly better control performance than the time-invariant controller from which it was obtained, for the attenuation of l_p exogenous disturbances and the robust stabilization of l_p unstructured perturbations, for all p[1,∞].     

Stabilization of some fractional delay systems of neutral type

In this note, we give new stability tests which enable one to fully characterize the H_∞-stability of systems with transfer function , where h>0 and p,q,r are real polynomials in the variable s^μ for 0<μ<1.As an application of this, in the case r(s)=1 and degp=degq=1, families of H_∞-stabilizing controllers are given and a complete parametrization of all H_∞-stabilizing controllers is obtained when .     

The complete inclusion structure of leaf power classes

Let k≥2 be an integer and G=(V,E) be a finite simple graph. A tree T is a k-leaf root of G, if V is the set of leaves of T and, for any two distinct x,yV, the distance between x and y in T is at most k if and only if xyE. We say that G is a k-leaf power if there is a k-leaf root of G. The main result of this paper is that, for all 2≤k<k^′, the classes of k- and k^′-leaf powers are inclusion-incomparable, if and only if k^′≤2k−3 and k^′−k is an odd number. With this result, an open problem from the literature about the inclusion structure of these graph classes is solved completely. In addition, the intersection of the smallest pair of inclusion-incomparable classes is studied.     

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.     

Rewrite-Based Decision Procedures

The rewrite-based approach to satisfiability modulo theories consists of using generic theorem-proving strategies for first-order logic with equality. If one can prove that an inference system generates finitely many clauses from the presentation of a theory and a finite set of ground unit clauses, then any fair strategy based on that system can be used as a -satisfiability procedure. In this paper, we introduce a set of sufficient conditions to generalize the entire framework of rewrite-based -satisfiability procedures to rewrite-based -decision procedures. These conditions, collectively termed subterm-inactivity, will allow us to obtain rewrite-based -decision procedures for several theories, namely those of equality with uninterpreted functions, arrays with or without extensionality and two of its extensions, finite sets with extensionality and recursive data structures.     

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.     

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.     

Full-rank representation of generalized inverse AT,S and its application

In this paper, we introduce a full-rank representation of the generalized inverse of a given complex matrix A, which is based on an arbitrary full-rank decomposition of G, where G is a matrix such that R(G)=T and N(G)=S. Using this representation, we introduce the minor of the generalized inverse ; as a special case of the minor, a determinantal representation of the generalized inverse is obtained. As an application, we use an example to demonstrate that this representation is correct.     

Conformational flexibility decreased due to Y67F and F82H mutations in cytochrome c: Molecular dynamics simulation studies

Cytochrome c (cyt c), a mitochondrial protein, has dual functions in controlling both cellular energetic metabolism and apoptosis (programmed cell death). During apoptosis, cyt c (Fe³⁺) released into the cytosol initiates caspase activation leading to apoptosis. Since, X-ray crystallography gives only the static structure, we report here the dynamic behavior of holo and apo wild type (WT), Y67F and F82H mutant cyt c's (Fe³⁺) in their apoptotic states. Four nanosecond MD simulations were run for holo WT, Y67F and F82H cyt c's with and without FeS (Met-80) bond and also for apo WT and mutated cyt c's (Y67F and F82H) in water using GROMOS96 force field. Mutations of Y67F and F82H resulted in the decrease of backbone and Cα RMSDs, and radii of gyration (backbone and protein) in both the holo and apo forms. MD and ED results revealed that the flexibility of mutated holo cyt c's decreased perhaps affecting their ability to take part in mitochondrial electron/proton transfer process. Without FeS bond, the backbone and Cα RMSD increased in holo cyt c's perhaps resulting in enhanced peroxidase activity. ED revealed that four to six eigenvectors involved in over all motions of holo cyt c's without FeS bond, and six to eight eigenvectors in apo cyt c's in comparison to three to four eigenvectors for holo cyt c's with FeS bond.     

Existence and uniqueness theorems for fourth-order singular boundary value problems

By constructing a special cone and using cone compression and expansion fixed point theorem, the existence and uniqueness are established for the following singular fourth-order boundary value problems:

where f(t,x,y) may be singular at t=0,1; x=0 and y=0.     

Multi-degree reduction of Bézier curves using reparameterization

L₂-norms are often used in the multi-degree reduction problem of Bézier curves or surfaces. Conventional methods on curve cases are to minimize , where and are the given curve and the approximation curve, respectively. A much better solution is to minimize , where is the closest point to point , that produces a similar effect as that of the Hausdorff distance. This paper uses a piecewise linear function L(t) instead of t to approximate the function φ(t) for a constrained multi-degree reduction of Bézier curves. Numerical examples show that this new reparameterization-based method has a much better approximation effect under Hausdorff distance than those of previous methods.     

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.     

Output feedback control of a class of stochastic hybrid systems

This paper deals with static output feedback control of a class of reconfigurable systems with Markovian Parameters and state-dependent noise. The main contribution is to formulate conditions for multi-performance design related to this class of stochastic hybrid systems. The specifications and objectives under consideration include stochastic stability, and performances. Another problem related to a more general class of stochastic hybrid systems, known as Markovian Jump Linear Systems (MJLS), is also addressed. This problem concerns the mode-independent output feedback control of MJLS. The obtained results are illustrated on a numerical example.     

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.     

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.     

An LMI approach to boundary control of semilinear parabolic and hyperbolic systems

Exponential stability analysis and L₂-gain analysis are developed for scalar uncertain distributed parameter systems, governed by semilinear partial differential equations of parabolic and hyperbolic types. Sufficient exponential stability conditions with a given decay rate are derived in the form of Linear Matrix Inequalities (LMIs) for both systems. These conditions are then utilized to synthesize  static output feedback boundary controllers of the systems in question.