Past–future separation and normal forms in temporal predicate logic specifications

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.

Download Full-text

Regularization of Integral Operators in Singularly Perturbed Problems Using Normal Forms

Vestnik MEI ◽

10.24160/1993-6982-2019-6-131-137 ◽

2019 ◽

Vol 6 ◽

pp. 131-137

Author(s):

Abdukhafiz A. Bobodzhanova ◽

◽

Valeriy F. Safonov ◽

Keyword(s):

Normal Forms ◽

Integral Operators ◽

Singularly Perturbed ◽

Singularly Perturbed Problems

Download Full-text

A direct approach for simplifying nonlinear systems with external periodic excitation using normal forms

Nonlinear Dynamics ◽

10.1007/s11071-019-05334-6 ◽

2019 ◽

Vol 99 (2) ◽

pp. 1065-1088 ◽

Cited By ~ 2

Author(s):

Peter M. B. Waswa ◽

Sangram Redkar

Keyword(s):

Nonlinear Systems ◽

Normal Forms ◽

Direct Approach ◽

Periodic Excitation

Download Full-text

CagA-PositiveHelicobacter pyloriInfection and Reduced Sperm Motility, Vitality, and Normal Morphology

Disease Markers ◽

10.1155/2013/919174 ◽

2013 ◽

Vol 35 ◽

pp. 229-234 ◽

Cited By ~ 8

Author(s):

E. Moretti ◽

G. Collodel ◽

L. Mazzi ◽

M. S. Campagna ◽

N. Figura

Keyword(s):

Sperm Motility ◽

Normal Forms ◽

Molecular Mimicry ◽

Sperm Quality ◽

Semen Analysis ◽

Normal Morphology ◽

Partial Linear ◽

Caga Status ◽

The Relationship ◽

Autoimmune Phenomena

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.

Download Full-text

Representation Theorems for Terms in a Certain Model for Information Systems

Fundamenta Informaticae ◽

10.3233/fi-1982-5102 ◽

1982 ◽

Vol 5 (1) ◽

pp. 1-14

Author(s):

Bernd Reusch ◽

Gerd Szwillus

Keyword(s):

Information Systems ◽

Normal Forms ◽

Abstract Model ◽

Representation Theorems

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.

Download Full-text

Normal forms for match-action programs

Proceedings of the 15th International Conference on Emerging Networking Experiments And Technologies ◽

10.1145/3359989.3365417 ◽

2019 ◽

Cited By ~ 1

Author(s):

Felicián Németh ◽

Marco Chiesa ◽

Gábor Rétvári

Keyword(s):

Normal Forms

Download Full-text

Normal form approach in the motion planning of space robots: a case study

Nonlinear Dynamics ◽

10.1007/s11071-021-06437-9 ◽

2021 ◽

Author(s):

Krzysztof Tchoń ◽

Katarzyna Zadarnowska

Keyword(s):

Normal Form ◽

Motion Planning ◽

Normal Forms ◽

Inverse Dynamics ◽

Planning Problem ◽

Inverse Dynamics Problem ◽

Velocity Level ◽

Form Approach ◽

Space Approach

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.

Download Full-text