nach oben

Journal of Computer and Systems Sciences International

Erschienen in:

01.07.2020 | SYSTEMS THEORY AND GENERAL CONTROL THEORY

On the Implication of Properties of Related Systems: a Method for Obtaining Implication Conditions and Application Examples

verfasst von: S. N. Vassilyev

Erschienen in: Journal of Computer and Systems Sciences International | Ausgabe 4/2020

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Aus

Abstract

We propose a method for obtaining the implication conditions of the properties of a mathematical model of a system from the structurally close properties of a model of another system related to the former one by cross-model linking objects. This method is applicable to various models and their properties. Any implication conditions for the properties are not required to be given a priori. They are formed during the solving corresponding logical equation with the possibility to broadly vary the cross-model linking objects. Usually, implication theorems obtained by this method are new or modifications of known ones. In other cases, they are corollaries or generalizations of known theorems. We provide detailed application examples for this method and interpret the conditions of the obtained theorems.

Nächster Artikel Game-Theoretic Control of the Object’s Random Jump Structure in the Class of Pure Strategies

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

R. C. Lindon, “Properties preserved under homomorphism,” Pacif. J. Math. 9, 143–154 (1959).MathSciNetCrossRef

A. I. Mal’tsev, Algebraic Systems (Nauka, Moscow, 1970) [in Russian].MATH

V. M. Matrosov, “Comparison method in system dynamics. I,” Differ. Uravn. 10, 1547–1559 (1974).MATH

V. M. Matrosov, “Comparison method in system dynamics. II,” Differ. Uravn. 11, 403–417 (1975).MATH

V. M. Matrosov, L. Yu. Anapol’skii, and S. N. Vassilyev, Comparison Method in the Mathematical Systems Theory (Nauka, Moscow, 1980) [in Russian].

S. N. Vassilyev, “Machine synthesis of mathematical theorems,” J. Logic Program. 9, 235–266 (1990).MathSciNetCrossRef

N. Bourbaki, Theory of Sets (Springer, Berlin, Heidelberg, 2004).CrossRef

N. V. Nagul, “The logic-algebraic equations method in system dynamics,” SPb. Math. J. 24, 645–662 (2013).MathSciNetMATH

S. N. Vassilyev, “A method of reduction and qualitative analysis of dynamic systems: I,” J. Comput. Syst. Sci. Int. 45, 5–17 (2006).MathSciNetCrossRef

10.

S. N. Vassilyev, “A method of reduction and qualitative analysis of dynamic systems: II,” J. Comput. Syst. Sci. Int. 45, 167–179 (2006).MathSciNetCrossRef

11.

S. N. Vassilyev, A. E. Druzhinin, and N. Yu. Morozov, “Derivation of preservation conditions for properties of mathematical models,” Dokl. Math. 92, 658 (2015).MathSciNetCrossRef

12.

A. I. Tauts, “The solving of logical equations by the iteration method in the first-order predicate calculus,” Tr. IFA AN ESSR, Issled. Teor. Fiz. Mekh. 3 (24), 17–24 (1964).MathSciNet

13.

G. Mints and T. Hoshi, “Logical equations in monadic logic,” J. Math. Sci. 158, 741–752 (2009).MathSciNetCrossRef

14.

A. N. Michel, K. Wang, and B. Hu, Qualitative Theory of Dynamical Systems (Marcel Dekker, New York, 2001).CrossRef

15.

N. Rush, P. Abets, and M. Lalua, Lyapunov’s Direct Method in Stability Theory (Springer, New York, 1977).

Titel: On the Implication of Properties of Related Systems: a Method for Obtaining Implication Conditions and Application Examples
verfasst von: S. N. Vassilyev
Publikationsdatum: 01.07.2020
Verlag: Pleiades Publishing
Erschienen in: Journal of Computer and Systems Sciences International / Ausgabe 4/2020
Print ISSN: 1064-2307
Elektronische ISSN: 1555-6530
DOI: https://doi.org/10.1134/S1064230720040140

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"

Weitere Artikel der Ausgabe 4/2020

Objects Changing the Spatial Orientation of a Solid Body by Using Mobile Mass

Hybrid Simulation of Spacecraft Berthing

Wind Turbine of the Savonius–Magnus Type with Conical Blades: Dynamics and Control

Unstable Oscillating Systems with Hysteresis: Problems of Stabilization and Control

Refining the Earth Orientation Parameters Onboard Spacecraft: Concept and Information Technologies

Classification of Trajectories of Hidden Motion of an Airborne Object in the Detection Zone of an Onboard Doppler Radar Station