Modelling and well-posedness of a nonlinear hybrid system in fed-batch production of 1,3-propanediol with open loop glycerol input and pH logic control

A fed-batch fermentation of glycerol by Klebsiella pneumoniae with open loop substrate input and pH logic control is considered in this paper. We propose a nonlinear hybrid system to describe this process, which consists of discrete variables to represent the flow rate of glycerol and alkali and continuous variables for substance concentrations. The hybrid system includes both time- and state-based switchings, which are respectively determined by a pre-assigned times sequence and an output equation of the pH. It is proved that the hybrid system is non-Zeno. Some basic properties of solutions to the hybrid system are also explored, including existence, uniqueness, boundedness and continuous dependence on initial state and parameters. Additionally, a numerical simulation is carried out to show that the proposed hybrid system can describe the fed-batch culture properly.     

Periodic solutions of nonlinear integro-differential equations with an impulse effect

The paper applies a numerical-analytical method for finding periodic solutions of the system of integro-differential equations $$\begin{gathered} \dot x = f(t,x,\mathop \smallint \limits_0^t \varphi (t,s,x(s))ds), t \ne t_i (x), \hfill \\ \Delta x|_{t = t_i (x)} = I_i (x). \hfill \\ \end{gathered} $$ Two theorems for existence of periodic solutions are proved for the cases whent = t _i andt = t _i(x).     

Existence of periodic solutions of nonlinear systems of differential equations with impulse effect

Sufficient conditions for the existence of periodic solutions of nonlinear systems of differential equations with impulses in a canonic domain have been found in the paper.     

EXP-function method and its application to nonlinear equations

Exp-function method is used to find a unified solution of a nonlinear wave equation. Variant Boussinesq equations are selected to illustrate the effectiveness and simplicity of the method. A generalized solitary solution with free parameters is obtained.     

Complex metabolic network of glycerol fermentation by Klebsiella pneumoniae and its system identification via biological robustness

The bioconversion of glycerol to 1,3-propanediol (1,3-PD) by Klebsiella pneumoniae (K. pneumoniae) can be characterized by an intricate metabolic network of interactions among biochemical fluxes, metabolic compounds, key enzymes and genetic regulation. Since there are some uncertain factors in the fermentation, especially the transport mechanisms of substances across cell membrane, the metabolic network contains multiple possible metabolic systems. In this paper, we establish a complex metabolic network and the corresponding nonlinear hybrid dynamical system aiming to determine the most possible metabolic system. The existence, uniqueness and continuity of solutions are discussed. We quantitatively describe biological robustness and present a system identification model on the basis of robustness performance. The identification problem is decomposed into two subproblems and a procedure is constructed to solve them. Numerical results show that it is most possible that both glycerol and 1,3-PD pass the cell membrane by active transport coupling with passive diffusion under substrate-sufficient conditions, whereas, under substrate-limited conditions, glycerol passes cell membrane by active transport coupling with passive diffusion and 1,3-PD by active transport.     

Analytical existence of solutions to a system of nonlinear equations with application

We study the existence of analytical solutions to a system of nonlinear equations under constraints linked to the analysis of a road safety measure without computing second derivatives. We formally demonstrate this existence of solutions by applying a matrix inversion principle through Schur complement to a subsystem of equations derived from the main system. The analytical results thus obtained are used to construct a simple iterative procedure to look for optimal solutions as well as an initial solution adapted to data of each case study. We illustrate our results with simulated accident data obtained from the setting-up of a road safety measure. The numerical solutions thus obtained are then compared to those given through a classic Newton-Raphson type approach directly applied to the main system.     

Estimation of nonlinear systems without a priori structural information and its application in Hammerstein model identification with dynamic nonlinearities

Email: er-wei-bai{at}uiowa.edu Received on July 30, 2005; Accepted on July 23, 2006 In the paper, we discuss identification of a nonlinear systemwithout structural information and propose two methods, thekernel method and the orthonormal basis method. The convergenceresults are established for both methods without a priori structuralinformation. We then apply the results to identification ofHammerstein models with an unknown dynamic nonlinearity. Itis also shown that identification of the linear part in Hammersteinmodels is possible with no knowledge of the dynamic nonlinearity.     

Modified method of simplest equation and its application to nonlinear PDEs

We search for traveling-wave solutions of the class of PDEswhere A_p(Q),B_r(Q),C_s(Q),D_u(Q) and F(Q) are polynomials of Q. The basis of the investigation is a modification of the method of simplest equation. The equations of Bernoulli, Riccati and the extended tanh-function equation are used as simplest equations. The obtained general results are illustrated by obtaining exact solutions of versions of the generalized Kuramoto-Sivashinsky equation, reaction-diffusion equation with density-dependent diffusion, and the reaction-telegraph equation.     

Predictor homotopy analysis method and its application to some nonlinear problems

The purpose of this paper is to present a kind of analytical method so-called Predictor homotopy analysis method (PHAM) to predict the multiplicity of the solutions of nonlinear differential equations with boundary conditions. This method is very useful especially for those boundary value problems which admit multiple solutions and furthermore is capable to calculate all branches of the solutions simultaneously. As illustrative examples, the method is checked by the model of mixed convection flows in a vertical channel and a nonlinear model arising in heat transfer which both admit multiple (dual) solutions.     

Two point boundary value problems associated with a system of first order nonlinear impulse differential equations

We show assumptions of boundedness and Lipschitz conditions that guarantee the existence of a unique solution to a nonlinear differential boundary value problem. The result utilizes a variation of parameters of formula due to V. Lakshmikantham, et. al. and depends upon a contraction mapping.     

Modelling and properties of a nonlinear autonomous switching system in fed-batch culture of glycerol

A nonlinear autonomous switching system is proposed to describe the coupled fed-batch fermentation with the pH as the feedback parameter. We prove the non-Zeno behaviors of the switching system and some basic properties of its solution, including the existence, uniqueness, boundedness and regularity. Numerical simulation is also carried out, which reveals that the proposed system can describe the factual fermentation process properly.     

A measure of concentration robustness in a biochemical reaction network and its application on system identification

Variations in the concentrations of biomolecular species in vivo are inevitable, but regulation systems will act to maintain concentrations of certain species within proper levels. Such a ubiquitous trait in biological systems is the so-called concentration robustness. In this work, we study the concentration robustness of glycerol metabolism system, in which some mechanistic details are not clearly known and the true metabolic system need to be identified from all possible ones. We give a quantitative index to measure the concentration robustness of the considered system, which is characterized as the maximum relative variation in certain entries of steady state caused by the perturbations of operating parameters. Based on the proposed robustness index, a minimax dynamic optimization problem is developed for identifying the kinetic parameters as well as the unknown metabolic mechanisms. A scheme based on Monte-Carlo method is proposed to evaluate the robustness index approximately and convergence result is obtained. An algorithm is constructed to solve the dynamic optimization problem and numerical results are presented to show that the proposed robustness index could measure concentration robustness of the considered system properly.     

A note on a nonlinear functional equation and its application

This paper treats the following type of nonlinear functional equations

     

An inertia theorem for symmetric matrices and its application to nonlinear programming

The relationship between the inertia of a symmetric real matrix and the inertia of its projection to a subspace is studied. The result is then used to characterize a Karush-Kuhn-Tucker point of a nonlinear programming problem by the inertia of a Hessian of Lagrangian with respect to both primal and dual variables. A theorem of Kojima on the determinant of a matrix in nonlinear programming is also derived as a direct consequence of the result.     

Linearization of nonlinear filter generators and its application to cryptanalysis of stream ciphers

Nonlinear filter generators are commonly used as keystream generators in stream ciphers. A nonlinear filter generator utilizes a nonlinear filtering function to combine the outputs of a linear feedback shift register (LFSR) to improve the linear complexity of keystream sequences. However, the LFSR-based stream ciphers are still potentially vulnerable to algebraic attacks that recover the key from some keystream bits. Although the known algebraic attacks only require polynomial time complexity of computations, all have their own constraints. This paper uses the linearization of nonlinear filter generators to cryptanalyze LFSR-based stream ciphers. Such a method works for any nonlinear filter generators. Viewing a nonlinear filter generator as a Boolean network that evolves as an automaton through Boolean functions, we first give its linearization representation. Compared to the linearization representation in Limniotis et al. (2008), this representation requires lower spatial complexity of computations in most cases. Based on the representation, the key recoverability is analyzed via the observability of Boolean networks. An algorithm for key recovery is given as well. Compared to the exhaustive search to recover the key, using this linearization representation requires lower time complexity of computations, though it leads to exponential time complexity.     

Analysis of a system with minimal repair and its application to replacement policy

The periodic replacement with minimal repair at failures is studied by many authors, however, there is not a clear definition for minimal repair. This paper defines a minimal repair in the term of the failure rate and devices some probability quantities and reliability properties. As an application of these results, the replacement model where a system is replaced at time T or at nth failure are considered and the optimum policies are discussed.     

Asymptotic behaviour of a nonlinear equation and its application

In this paper, we study the asymptotic behaviour of a second order nonlinear differential equation arising in a constrained optimal stopping problem. Two examples are considered to illustrate our main result. The present result extends and supplements a recent result of the author [5].     

Stability with respect to part of the variables in systems with impulse effect

Effective sufficient conditions are found for stability with respect to part of the variables in systems of ordinary differential equations with impulse effect. The approach presented is based on the specially introduced piecewise continuous Ljapunov functions.     

Optimal control and optimization algorithm of nonlinear impulsive delay system producing 1,3-Propanediol

According to the controllability of pulse times and the amount of jumps in the states at these times in the process of fed-batch culture producing 1,3-propanediol, this paper proposes a terminal optimal control model, whose constraint condition is the nonlinear impulsive delay system. The existence of optimal control is discussed and an optimization algorithm which is applied to each subinternal over one cycle for this optimal control problem is constructed. Finally, the numerical simulations show that the terminal intensity of producing 1,3-propanediol has been increased obviously.