Universal truth tables and normal forms

The recent proliferation of embedded cyber components in modern physical systems [1] has generated a variety of new security risks which threaten not only cyberspace, but our physical environment as well. Whereas earlier security threats resided primarily in cyberspace, the increasing marriage of digital technology with mechanical systems in cyber-physical systems (CPS), suggests the need for more advanced generalized CPS security measures. To address this problem, in this paper we consider the first step toward an improved security model: detecting the security attack. Using logical truth tables, we have developed a generalized algorithm for intrusion detection in CPS for systems which can be defined over discrete set of valued states. Additionally, a robustness algorithm is given which determines the level of security of a discrete-valued CPS against varying combinations of multiple signal alterations. These algorithms, when coupled with encryption keys which disallow multiple signal alteration, provide for a generalized security methodology for both cyber-security and cyber-physical systems.

Download Full-text

METHODS OF REDUCING OF LARGE BOOLEAN FORMULAS REPRESENTED IN A CONJUNCTIVE NORMAL FORM FOR DETERMINING THEIR SATISFIABILITY

STATE AND DEVELOPMENT PROSPECTS OF AGRIBUSINESS. In the frame of the XXIII Agribusiness Forum of the South of Russia and the Exhibition «Interagromash» Volume 1 ◽

10.23947/interagro.2020.1.472-475 ◽

2020 ◽

Author(s):

N.I. Gdansky ◽

◽

A.A. Denisov ◽

Keyword(s):

Normal Form ◽

Normal Forms ◽

Conjunctive Normal Form ◽

Boolean Formulas

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

Coetzee’s Quest for Reality

10.1093/oso/9780198805281.003.0008 ◽

2018 ◽

Author(s):

Alice Crary

Keyword(s):

Philosophical Discourse ◽

The Real ◽

Philosophical Investigations ◽

Literature And Philosophy ◽

Universal Truth

In this chapter, Alice Crary argues that a truly ‘realist’ work of literature might be one that, instead of conforming to familiar genre-specifications, attempts by other means to expose readers to the real—that is, to how things really are. Crary highlights Coetzee’s efforts to elicit what she calls ‘transformative thought’: a process that involves both delineating the progress of individual characters in their quests for reality, and, in formal terms, inviting readers to, for instance, imaginatively participate in such quests. With regard to The Childhood of Jesus, she highlights resonances between these features of Coetzee’s writing and Wittgenstein’s procedures in the Philosophical Investigations. In doing so, Crary brings out a respect in which literature and philosophy are complementary discourses: literature can deal in the sort of objective or universal truth that is philosophy’s touchstone, and philosophical discourse can have an essentially literary dimension.

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