59797

Автор(ы): 

Автор(ов): 

1

Параметры публикации

Тип публикации: 

Статья в журнале/сборнике

Название: 

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

DOI: 

10.1134/S1064230720040140

Наименование источника: 

  • Journal of Computer and Systems Sciences International

Обозначение и номер тома: 

59(4)

Город: 

  • Москва

Издательство: 

  • Pleades Publishing, Ltd, Springer

Год издания: 

2020

Страницы: 

479-493
Аннотация
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.

Библиографическая ссылка: 

Васильев С.Н. On the Implication of Properties of Related Systems: a Method for Obtaining Implication Conditions and Application Examples // Journal of Computer and Systems Sciences International. 2020. 59(4). С. 479-493.

Публикация имеет версию на другом языке или вышла в другом издании, например, в электронной (или онлайн) версии журнала: 

Да

Связь с публикацией: