-Decompositions of and D v ∪P where P is a 2-Regular Subgraph of D v

In this paper, we extend the study of C₄-decompositions of the complete graph with 2-regular leaves and paddings to directed versions. Mainly, we prove that if P is a vertex-disjoint union of directed cycles in a complete digraph D_v, then and D_v∪P can be decomposed into directed 4-cycles, respectively, if and only if v(v−1)−|E(P)|≡0(mod 4) and v(v−1)+|E(P)|≡0(mod 4) where |E(P)| denotes the number of directed edges of P, and v≥8.     

Influence of nano-SiO<Subscript>2</Subscript> and carbon fibers on the mechanical properties of POM composites

Polyoxymethylene/carbon fiber(POM/CF)composites containing nano-SiO₂ were prepared, and their mechanical properties were investigated. At a content of 1-5 vol.%, the nano-SiO₂ exerted an obvious reinforcing effect on POM, leading to an increase in the elastic modulus and stiffness of the composites.     

The variational Lyapunov function and strict stability theory for differential systems

In this paper, we investigate strict stability of differential systems by variational Lyapunov function. We obtain some sufficient conditions and comparison theorems.     

Existence and Blowup of Solutions for Neutral Partial Integro-differential Equations with State-dependent Delay

In this paper, we study the existence and blowup of solutions for a neutral partial functional integro-differential equation with state-dependent delay in Banach space. The mild solutions are obtained by Sadovskii fixed point theorem under compactness condition for the resolvent operator, the theory of fractional power and α-norm are also used in the discussion since the nonlinear terms of the system involve spacial derivatives. The strong solutions are obtained under the lipschitz condition. In addition, based on the local existence result and a piecewise extended method, we achieve a blowup alternative result as well for the considered equation. Finally, an example is provided to illustrate the application of the obtained results.     

Experimental study on the non- specularly reflected ultrasonic beam on a liquid- solid interface

The reflected fields of a slightly divergent ultrasonic beam on a liquid-solid interface are recorded by a Schlieren system, and the lateral beam displacements on the interface are measured. The range of the incident angle_i is around the Rayleigh angle_c. The displacements are found to decrease as the incident angle increases. Theoretical calculation reveals that the displacements decrease with the increase in the incident angle for a divergent incident beam, but increase with that for a convergent one. The calculated curve of- _i are in agreement with the experimental results.     

Boundary stabilization for a non‐linear beam on elastic bearings

In this paper, we study the equation under non‐linear boundary conditions which model the vibrations of a beam clamped at x=0 and supported by a non‐linear bearing at x=L. By adding only one damping mechanism at x=L, we prove the existence of a global solution and exponential decay of the energy. Copyright © 2001 John Wiley & Sons, Ltd.     

素数阶群理论的量词消去及复杂性

本文中我们将研究语言,上素数阶群理论Ｔ的量词消去及相应的复杂性．我们证明理论Ｔ有量词消去性质,并利用该性质给出理论Ｔ判定问题的一个复杂性上界．     

Dirchlet空间上ToePlitz算子的紧性

本文给出了Dirichlet空间上Toelpitz算子为紧算子的充要条件.并证明具有C     

Well-posedness and stability of the repairable system with N failure modes and one standby unit

The well-posedness and stability of the repairable system with N failure modes and one standby unit were discussed by applying the c₀ semigroups theory of function analysis. Firstly, the integro-differential equations described the system were transformed into some abstract Cauchy problem of Banach space. Secondly, the system operator generates positive contractive c₀ semigroups T(t) and so the well-posedness of the system was obtained. Finally, the spectral distribution of the system operator was analyzed. It was proven that 0 is strictly dominant eigenvalue of the system operator and the dynamic solution of the system converges to the steady-state solution. The steady-state solution was shown to be the eigenvector of the system operator corresponding to the eigenvalue 0. At the same time the dynamic solution exponentially converges to the steady-state solution.     

A characteristic-mixed finite element method for time-dependent convection-diffusion optimal control problem

In this paper, we examine the method of characteristic-mixed finite element for the approximation of convex optimal control problem governed by time-dependent convection-diffusion equations with control constraints. For the discretization of the state equation, the characteristic finite element is used for the approximation of the material derivative term (i.e., the time derivative term plus the convection term), and the lowest-order Raviart-Thomas mixed element is applied for the approximation of the diffusion term. We derive some a priori error estimates for both the state and control approximations.