59795

Автор(ы): 

Автор(ов): 

1

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

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

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

Название: 

Импликация свойств связанных систем: метод получения условий импликации и примеры применения

ISBN/ISSN: 

1029-3620

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

  • Известия Российской академии наук. Теория и системы управления

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

№ 4

Город: 

  • Москва

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

  • Государственный научно-исследовательский институт авиационных систем РАН

Год издания: 

2020

Страницы: 

3-17
Аннотация
Предложен метод получения условий следования тех или иных свойств математической модели одной системы из структурно близких в некотором смысле свойств модели другой системы, связанной с первой некоторыми межмодельными объектами связи. Метод применим к разным моделям и их свойствам. Не требуется априорного задания каких-либо из условий импликации свойств. Они формируются в ходе решения соответствующего логического уравнения с возможностью широкого варьирования выбора межмодельных объектов связи. Получаемые этим методом теоремы об импликации свойств обычно являются новыми или модификациями известных, а в других случаях – следствиями или обобщениями известных теорем. Применение метода детально проиллюстрировано на примерах с интерпретацией условий получаемых теорем.

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

Васильев С.Н. Импликация свойств связанных систем: метод получения условий импликации и примеры применения // Известия Российской академии наук. Теория и системы управления. 2020. № 4. С. 3-17.

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

Да

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