We investigate a dynamical system having a special structure namely a codimension-one invariant manifold that is preserved under the variation of parameters. We derive conditions such that bifurcations of codimension-one and of codimension-two occur in the system. The normal forms of these bifurcations are derived explicitly. Both local and global bifurcations are analyzed and yield the transcritical bifurcation as the codimension-one bifurcation while the saddle-node–transcritical interaction and the Hopf–transcritical interactions as the codimension-two bifurcations. The unfolding of this degeneracy is also analyzed and reveal global bifurcations such as homoclinic and heteroclinic bifurcations. We apply our results to a modified Lotka–Volterra model and to an infection model in HIV diseases.
The article explores the satisfiability of conjunctive normal forms used in modeling systems.The problems of CNF preprocessing are considered.The analysis of particular methods for reducing this formulas, which have polynomial input complexity is given.
Helicobacter pylori(HP) infection, particularly when caused by strains expressing CagA, may be considered a concomitant cause of male and female reduced fertility. This study explored, in 87 HP-infected males, the relationship between infection by CagA-positive HP strains and sperm parameters. HP infection and CagA status were determined by ELISA and Western blotting; semen analysis was performed following WHO guidelines. The amino acid sequence of human enzymes involved in glycolysis and oxidative metabolism were “blasted” with peptides expressed by HP J99. Thirty-seven patients (42.5%) were seropositive for CagA. Sperm motility (18% versus 32%; ), sperm vitality (35% versus 48%; ) and the percentage of sperm with normal forms (18% versus 22%; ) in the CagA-positive group were significantly reduced versus those in the CagA-negative group. All the considered enzymes showed partial linear homology with HP peptides, but four enzymes aligned with four different segments of the samecagisland protein. We hypothesize a relationship between infection by strains expressing CagA and decreased sperm quality. Potentially increased systemic levels of inflammatory cytokines that occur in infection by CagA-positive strains and autoimmune phenomena that involve molecular mimicry could explain the pathogenetic mechanism of alterations observed.
We study a term-language, which is used by the “Warsaw-School” in an abstract model for information systems. Various normal forms as well as standard expansions with respect to product terms are formulated and proved correct. It is shown that the shortest sums of so-called maximal sub-products are the shortest representations of terms and algorithms for their generation are given.
AbstractWe examine applicability of normal forms of non-holonomic robotic systems to the problem of motion planning. A case study is analyzed of a planar, free-floating space robot consisting of a mobile base equipped with an on-board manipulator. It is assumed that during the robot’s motion its conserved angular momentum is zero. The motion planning problem is first solved at velocity level, and then torques at the joints are found as a solution of an inverse dynamics problem. A novelty of this paper lies in using the chained normal form of the robot’s dynamics and corresponding feedback transformations for motion planning at the velocity level. Two basic cases are studied, depending on the position of mounting point of the on-board manipulator. Comprehensive computational results are presented, and compared with the results provided by the Endogenous Configuration Space Approach. Advantages and limitations of applying normal forms for robot motion planning are discussed.
In this article, we construct a C1 stable invariant manifold for the delay differential equation x′=Ax(t)+Lxt+f(t,xt) assuming the ρ-nonuniform exponential dichotomy for the corresponding solution operator. We also assume that the C1 perturbation, f(t,xt), and its derivative are sufficiently small and satisfy smoothness conditions. To obtain the invariant manifold, we follow the method developed by Lyapunov and Perron. We also show the dependence of invariant manifold on the perturbation f(t,xt).
CagA-PositiveHelicobacter pyloriInfection and Reduced Sperm Motility, Vitality, and Normal Morphology