Dynamic analysis of pest control model with population dispersal in two patches and impulsive effect

In this paper, we investigate the pest control model with population dispersal in two patches and impulsive effect. By exploiting the Floquet theory of impulsive differential equation and small amplitude perturbation skills, we can obtain that the susceptible pest eradication periodic solution is globally asymptotically stable if the impulsive periodic τ is less than the critical value τ₀ . Further, we also prove that the system is permanent when the impulsive periodic τ is larger than the critical value τ₀. Hence, in order to drive the susceptible pest to extinction, we can take impulsive control strategy such that τ < τ₀ according to the effect of the viruses on the environment and the cost of the releasing pest infected in a laboratory. Finally, numerical simulations validate the obtained theoretical results for the pest control model with population dispersal in two patches and impulsive effect.     

Dynamic model of worm propagation in computer network

In this paper, an attempt has been made to mathematically formulate a compartmental susceptible – exposed – infectious – susceptible with vaccination (that is, anti-virus treatment) (SEIS-V) epidemic transmission model of worms in a computer network with natural death rate (which depends on the total number of nodes). The stability of the result is stated in terms of modified reproductive number R_v. We have derived an explicit formula for the modified reproductive number R_v, and have shown that the worm-free equilibrium, whose component of infective is zero, is globally asymptotically stable if R_v < 1, and unstable if R_v > 1. The contribution of vertical transmission to the modified reproductive number is also analyzed. Numerical methods are employed to solve and simulate the system of equations developed and interpretation of the model yields interesting revelations. Analysis of efficient antivirus software is also performed.     

Interpolation by Integer-Valued Polynomials

LetRbe a Krull ring with quotient fieldKanda₁,…,a_ninR. If and only if thea_iare pairwise incongruent mod every height 1 prime ideal of infinite index inRdoes there exist for all valuesb₁,…,b_ninRan interpolating integer-valued polynomial, i.e., anf ∈ K[x] withf(a_i) = b_iandf(R) ⊆ R.IfSis an infinite subring of a discrete valuation ringR_vwith quotient fieldKanda₁,…,a_ninSare pairwise incongruent mod allM^k_v ∩ Sof infinite index inS, we also determine the minimald(depending on the distribution of thea_iamong residue classes of the idealsM^k_v ∩ S) such that for allb₁,…,b_n ∈ R_vthere exists a polynomialf ∈ K[x] of degree at mostdwithf(a_i) = b_iandf(S) ⊆ R_v.     

On Generalized Finitary Groups

We introduce a wide range of generalized finitary automorphism groups of an arbitrary module M over an arbitrary ring R. The largest such subgroup of Aut_RM that we seriously consider here is the subgroup of all R-automorphisms g of M such that M(g − 1) has Krull dimension. We also consider the subgroup of all R-automorphisms g of M such that M(g − 1) is Artinian as an R-module. The results are vaguely analogous to the genuine finitary case but are somewhat weaker.     

Impulsive control strategy of a pest management SI model with nonlinear incidence rate

In this work, we consider a pest management SI model with impulsive release of infective pests and spraying pesticides. We prove that all solutions of the investigated system are uniformly ultimately bounded and the pest-extinction periodic solution is globally asymptotically stable when some condition is satisfied. We also obtain the permanent condition of the system. It is concluded that the approach of combining impulsive release of infective pests with impulsive spraying pesticides provides reliable tactic basis for the practical pest management.     

Discrepancy principle for DSM II

Let Ay = f, A is a linear operator in a Hilbert space H, y ⊥ N(A) ≔ {u : Au = 0}, R(A) ≔ {h : h = Au, u ∈ D(A)} is not closed, ∥f_δ − f∥ ⩽ δ. Given f_δ, one wants to construct u_δ such that lim_δ→0∥u_δ − y∥ = 0. Two versions of discrepancy principles for the DSM (dynamical systems method) for finding the stopping time and calculating the stable solution u_δ to the original equation Ay = f are formulated and mathematically justified.     

A delayed epidemic model with stage-structure and pulses for pest management strategy

From a biological pest management standpoint, epidemic diseases models have become important tools in control of pest populations. This paper deals with an impulsive delay epidemic disease model with stage-structure and a general form of the incidence rate concerning pest control strategy, in which the pest population is subdivided into three subgroups: pest eggs, susceptible pests, infectious pests that do not attack crops. Using the discrete dynamical system determined by the stroboscopic map, we obtain the exact periodic susceptible pest-eradication solution of the system and observe that the susceptible pest-eradication periodic solution is globally attractive, provided that the amount of infective pests released periodically is larger than some critical value. When the amount of infective pests released is less than another critical value, the system is shown to be permanent, which implies that the trivial susceptible pest-eradication solution loses its attractivity. Our results indicate that besides the release amount of infective pests, the incidence rate, time delay and impulsive period can have great effects on the dynamics of our system.     

Radical Rings with Soluble Adjoint Groups

An associative ring R, not necessarily with an identity, is called radical if it coincides with its Jacobson radical, which means that the set of all elements of R forms a group denoted by R^∘ under the circle operation r ∘ s = r + s + rs on R. It is proved that every radical ring R whose adjoint group R^∘ is soluble must be Lie-soluble. Moreover, if the commutator factor group of R^∘ has finite torsion-free rank, then R is locally nilpotent.     

The dynamics of pest control pollution model with age structure and time delay

In this paper, by using pollution model and impulsive delay differential equation, we investigate the dynamics of a pest control model with age structure for pest by introducing a constant periodic pesticide input and releasing natural enemies at different fixed moment. We assume only the pests are affected by pesticide. We show that there exists a global attractive pest-extinction periodic solution when the periodic natural enemies release amount μ₁ and pesticide input amount μ₂ are larger than some critical value. Further, the condition for the permanence of the system is also given. By numerical analyses, we also show that constant maturation time delay, pulse pesticide input and pulse releasing of the natural enemies can bring obvious effects on the dynamics of system. We believe that the results will provide reliable tactic basis for the practical pest management.     

The stochastic soliton-like solutions of stochastic KdV equations

By means of a generalized method and symbolic computation, we consider a stochastic KdV equation U_t + f(t)U ♢ U_x + g(t)U_xxx = W(t) ♢ R^♢(t, U, U_x, U_xxx). We construct new and more general formal solutions. At the same time, we recover all the solutions found by Xie [Phys. Lett. A 310 (2003) 161]. The solutions obtained include the nontravelling wave and coefficient function’s stochastic soliton-like solutions, singular stochastic soliton-like solutions, stochastic triangular functions solutions.     

Bifurcations of travelling wave solutions in a new integrable equation with peakon and compactons

Degasperis and Procesi applied the method of asymptotic integrability and obtain Degasperis–Procesi equation. They showed that it has peakon solutions, which has a discontinuous first derivative at the wave peak, but they did not explain the reason that the peakon solution arises. In this paper, we study these non-smooth solutions of the generalized Degasperis–Procesi equation u_t − u_txx + (b + 1)uu_x = bu_xu_xx + uu_xxx, show the reason that the non-smooth travelling wave arise and investigate global dynamical behavior and obtain the parameter condition under which peakon, compacton and another travelling wave solutions engender. Under some parameter condition, this equation has infinitely many compacton solutions. Finally, we give some explicit expression of peakon and compacton solutions.     

A semi-Markov process with an inverse Gaussian distribution as sojourn time

Let X_n denote the state of a device after n repairs. We assume that the time between two repairs is the time τ taken by a Wiener process {W(t), t ? 0}, starting from w₀ and with drift μ < 0, to reach c ∈ [0, w₀). After the nth repair, the process takes on either the value X_n?1 + 1 or X_n?1 + 2. The probability that X_n = X_n?1 + j, for j = 1, 2, depends on whether τ ? t₀ (a fixed constant) or τ > t₀. The device is considered to be worn out when X_n ? k, where k ∈ {1, 2, …}. This model is based on the ones proposed by Rishel (1991) [1] and Tseng and Peng (2007) [2]. We obtain an explicit expression for the mean lifetime of the device. Numerical methods are used to illustrate the analytical findings.     

Multi-server machine repair problems under a (V, R) synchronous single vacation policy

This paper considers a machine repair problem with M operating machines and S standbys, in which R repairmen are responsible for supervising these machines and operate a (V, R) vacation policy. With such policy, if the number of the failed machines is reduced to R − V (R > V) (there exists V idle repairmen) at a service completion, these V idle servers will together take a synchronous vacation (or leave for other secondary job). Upon returning from the vacation, they do not take a vacation again and remain idle until the first arriving failed machine arrives. The steady-state probabilities are solved in terms of matrix forms and the system performance measures are obtained. Algorithmic procedures are provided to deal with the optimization problem of discrete/continuous decision variables while maintaining a minimum specified level of system availability.     

On generalized Jordan 1-derivation in rings

Let n ⩾ 1 be a fixed integer and let R be an (n + 1)!-torsion free 1-ring with identity element e. If F, d:R → R are two additive mappings satisfying F(xⁿ⁺¹) = F(x)(x¹)ⁿ + xd(x)(x¹)ⁿ⁻¹ + x²d(x)(x¹)ⁿ⁻²+ ⋯ +xⁿd(x) for all x ∈ R, then d is a Jordan 1-derivation and F is a generalized Jordan 1-derivation on R.     

On “P” property and the column-W property

P-matrices play an important role in the well-posedness of a linear complementarity problem (LCP). Similarly, the well-posedness of a horizontal linear complementarity problem (HLCP) is closely related to the column-W property of a matrix k-tuple.In this paper we first consider the problem of generating P-matrices from a given pair of matrices. Given a matrix pair (D, F) where D is a square matrix of order m and matrix F has m rows, “what are the conditions under which there exists a matrix G such that (D + FG) is a P-matrix?”. We obtain necessary and sufficient conditions for the special case when the column rank of F is m ? 1. A decision algorithm of complexity O(m²) to check whether the given pair of matrices (D, F) is P-matrisable is obtained. We also obtain a necessary and an independent sufficient condition for the general case when rank(F) is less than m ? 1.We then generalise the P-matrix generating problem to the generation of matrix k-tuples satisfying the column-W property from a given matrix (k + 1)-tuple. That is, given a matrix (k + 1)-tuple (D₁, … ,D_k, F), where D_js are square matrices of order m and F is a matrix having m rows, we determine the conditions under which the matrix k-tuple (D₁ + FG₁, … ,D_k + FG_k) satisfies the column-W property. As in the case of P-matrices we obtain necessary and sufficient conditions for the case when rank(F) = m ? 1. Using these conditions a decision algorithm of complexity O(km²) to check whether the given matrix (k + 1)-tuple is column-W matrisable is obtained. Then for the case when rank(F) is less than m ? 1, we obtain a necessary and an independent sufficient condition.For a special sub-class of P-matrices we give a polynomial time decision algorithm for P-matrisability. Finally, we obtain a geometric characterisation of column-W property by generalising the well known separation theorem for P-matrices.     

Linear Groups Definable in o-Minimal Structures

We study subgroups G of GL(n, R) definable in o-minimal expansions M = (R, +, · ,…) of a real closed field R. We prove several results such as: (a) G can be defined using just the field structure on R together with, if necessary, power functions, or an exponential function definable in M. (b) If G has no infinite, normal, definable abelian subgroup, then G is semialgebraic. We also characterize the definably simple groups definable in o-minimal structures as those groups elementarily equivalent to simple Lie groups, and we give a proof of the Kneser–Tits conjecture for real closed fields.     

Simulación numérica del flujo turbulento de aire con gotas dispersas de agua a través de separadores de torres de refrigeración

This work presents a numerical study on the turbulent flow of air with dispersed water droplets in separators of mechanical cooling towers. The averaged Navier-Stokes equations are discretised through a finite volume method, using the Fluent and Phoenics codes, and alternatively employing the turbulence models k ? ?, k ? ω and the Reynolds stress model, with low-Re version and wall enhanced treatment refinements. The results obtained are compared with numerical and experimental results taken from the literature. The degree of accuracy obtained with each of the considered models of turbulence is stated. The influence of considering whether or not the simulation of the turbulent dispersion of droplets is analyzed, as well as the effects of other relevant parameters on the collection efficiency and the coefficient of pressure drop. Focusing on four specific eliminators (‘Belgian wave’, ‘H1-V’, ‘L-shaped’ and ‘Zig-zag’), the following ranges of parameters are outlined: 1 ≤ U_e ≤ 5 m/s for the entrance velocity, 2 ≤ D_p ≤ 50 μm for the droplet diameter, 650 ≤ Re ≤ 8.500 for Reynolds number, and 0.05 ≤ P_i ≤ 5 for the inertial parameter. Results reached alternately with Fluent and Phoenics codes are compared. The best results correspond to the simulations performed with Fluent, using the SST k ? ω turbulence model, with values of the dimensionless scaled distance to wall y⁺ in the range 0.2 to 0.5. Finally, correlations are presented to predict the conditions for maximum collection efficiency (100 %), depending on the geometric parameter of removal efficiency of each of the separators, which is introduced in this work.     

A impulsive infective transmission SI model for pest control

In this paper, we propose a model with impulsive control of epidemics for pest management. By using Floquet's theorem, small‐amplitude perturbation skills and comparison theorem, we show that there exists a globally asymptotically stable susceptible pest‐eradication periodic solution when the release amount of infective pests is larger than some critical value. However, when the amount of infective pests released is less than this critical value, the system is shown to be permanent, which implies that the trivial periodic susceptible pest‐eradication solution loses its stability. Further, the existence of a positive periodic endemic solution and other rich dynamics are also studied by numerical simulation. Therefore, we can use the amount of release of infective pests to control susceptible pests at desirable low levels. Copyright © 2007 John Wiley & Sons, Ltd.     

On the natural solution of an impulsive fractional differential equation of order q ∈ (1, 2)

This paper is motivated from some recent papers treating the impulsive Cauchy problems for some differential equations with fractional order q ∈ (1, 2). A better definition of solution for impulsive fractional differential equation is given. We build up an effective way to find natural solution for such problems. Then sufficient conditions for existence of the solutions are established by applying fixed point methods. Four examples are given to illustrate the results.