A Verified Optimization Technique to Locate Chaotic Regions of Hénon Systems

We present a new verified optimization method to find regions for Hénon systems where the conditions of chaotic behaviour hold. The present paper provides a methodology to verify chaos for certain mappings and regions. We discuss first how to check the set theoretical conditions of a respective theorem in a reliable way by computer programs. Then we introduce optimization problems that provide a model to locate chaotic regions. We prove the correctness of the underlying checking algorithms and the optimization model. We have verified an earlier published chaotic region, and we also give new chaotic places located by the new technique.     

Dynamics of a two-frequency parametrically driven duffing oscillator

Summary We investigate the transition from two-frequency quasiperiodicity to chaotic behavior in a model for a quasiperiodically driven magnetoelastic ribbon. The model system is a two-frequency parametrically driven Duffing oscillator. As a driving parameter is increased, the route to chaos takes place in four distinct stages. The first stage is a torus-doubling bifurcation. The second stage is a transition from the doubled torus to a strange nonchaotic attractor. The third stage is a transition from the strange nonchaotic attractor to a geometrically similar chaotic attractor. The final stage is a hard transition to a much larger chaotic attractor. This latter transition arises as the result of acrisis, the characterization of which is one of our primary concerns. Numerical evidence is given to indicate that the crisis arises from the collision of the chaotic attractor with the stable manifold of a saddle torus. Intermittent bursting behavior is present after the crisis with the mean time between bursts scaling as a power law in the distance from the critical control parameter; τ ∼ (A-A_c)^-α. The critical exponent is computed numerically, yielding the value α=1.03±0.01. Theoretical justification is given for the computed critical exponent. Finally, a Melnikov analysis is performed, yielding an expression for transverse crossings of the stable and unstable manifolds of the crisis-initiating saddle torus.     

Asymptotic Behavior on a Competition Model Arising from an Unstirred Chemostat

This paper is concerned with the unstirred chemostat model with two-species and one non-reproducingresource.The global attractivity of the positive steady-state solutions of the original system is established.Moreover,the effects of the growth rate on the unique positive equilibrium of the single population model arestudied.     

Global Optimization of Stochastic Black-Box Systems via Sequential Kriging Meta-Models

This paper proposes a new method that extends the efficient global optimization to address stochastic black-box systems. The method is based on a kriging meta-model that provides a global prediction of the objective values and a measure of prediction uncertainty at every point. The criterion for the infill sample selection is an augmented expected improvement function with desirable properties for stochastic responses. The method is empirically compared with the revised simplex search, the simultaneous perturbation stochastic approximation, and the DIRECT methods using six test problems from the literature. An application case study on an inventory system is also documented. The results suggest that the proposed method has excellent consistency and efficiency in finding global optimal solutions, and is particularly useful for expensive systems.     

OPTIMAL HARVESTING POLICY FOR INSHORE-OFFSHORE FISHERY MODEL WITH IMPULSIVE DIFFUSION

This article studies the inshore-offshore fishery model with impulsive diffusion. The existence and global asymptotic stability of both the trivial periodic solution and the positive periodic solution are obtained. The complexity of this system is also analyzed. Moreover, the optimal harvesting policy are given for the inshore subpopulation, which includes the maximum sustainable yield and the corresponding harvesting effort.     

On existence and regularity of solutions for 2‐D micropolar fluid equations with periodic boundary conditions

In this paper, we prove the existence and uniqueness of a global solution for 2‐D micropolar fluid equation with periodic boundary conditions. Then we restrict ourselves to the autonomous case and show the existence of a global attractor. Copyright © 2006 John Wiley & Sons, Ltd.     

具有时滞的非自治的捕食-食饵系统的全局吸引

考虑一个具有离散时滞的非自治的捕食—食饵系统。系统是由3种群组成的，其中一个为捕食者，另两个为食饵种群。本文的目的是给出时滞对系统的持续生存是无害的，从而确定了系统的周期解全局吸引的条件。     

Global Solution of Optimization Problems with Parameter-Embedded Linear Dynamic Systems

This paper develops a theory for the global solution of nonconvex optimization problems with parameter-embedded linear dynamic systems. A quite general problem formulation is introduced and a solution is shown to exists. A convexity theory for integrals is then developed to construct convex relaxations for utilization in a branch-and-bound framework to calculate a global minimum. Interval analysis is employed to generate bounds on the state variables implied by the bounds on the embedded parameters. These bounds, along with basic integration theory, are used to prove convergence of the branch-and-bound algorithm to the global minimum of the optimization problem. The implementation of the algorithm is then considered and several numerical case studies are examined thoroughly     

Local Existence and Continuation Criterion for Solutions of the Spherically Symmetric Einstein-Vlasov-Maxwell System

Using the iterative scheme we prove the local existence and uniqueness of solutions of the spherically symmetric Einstein-Vlasov-Maxwell system with small initial data. We prove a continuation criterion to global in-time solutions.     

具有种内互惠作用的Lotka-Volterra互惠共存模型

对具有种内互惠作用的Lotka-Volterra互惠共存模型进行了完整的全局分析，得到了一些新的结果。