Пошук академічних текстів

Інформація × Реєстраційний номер 0202U000778, 0199U002475 , Науково-дослідна робота Назва роботи Дослiдження і розробка формальних методiв для моделювання комп'ютерних систем керування складними динамiчними об'єктами з критичними режимами функцiонування Назва етапу роботи Керівник роботи Андон П.І., Дата реєстрації 28-02-2002 Організація виконавець Інститут програмних систем Опис етапу Об'єкт дослідження: формальні методи для моделювання складних динамічних систем. Мета роботи: розробка і дослідження формально-логічних засобів моделювання систем керування складними динамічними об'єктами. За методом дослідження робота має теоретичний характер. Як формально-логічні засоби моделювання систем керування складними динамiчними об'єктами запропоновані та досліджені композиційно-номінативні логіки. Логічні операції цих логік розглядаються як композиції спеціальних часткових предикатів (еквітонних предикатів), що узагальнюють звичайні п-арні предикати. Така логіка може розглядатися як максимальне розширення класичної логіки предикатів, якe зберігає її головні властивості, тому вона названа неокласичною. Досліджуються семантичні властивості неокласичних логік реномінаційного, кванторного та функціонально-екваційного рівня. Описуються мови таких логік, вводяться нормальні форми, будуються відповідні аксіоматичні числення. На основі таких числень досліджуються синтаксичні властивості цих логік , доводиться їх коректність та повнота. Стосовно інтенсійного аспекту предметних областей запропоновані композиційно-номінативні модальні логіки, в рамках яких визначаються транзиційні та темпоральні логіки. Прогнозні пропозиції щодо подальшого розвитку об'єкту дослідження: продовження дослідження формально-логічних засобів моделювання складних динамічних систем на базі концепції неокласичних та модальних логік. Опис продукції Автори роботи Додано в НРАТ 2020-04-02 Закрити