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

Інформація × Реєстраційний номер 0213U003288, 0108U000105 , Науково-дослідна робота Назва роботи Розробити та дослідити ефективні методи специфікації та генерації безпечних систем у техногенному середовищі. Назва етапу роботи Керівник роботи Летичевський Олександр Адольфович, Дата реєстрації 24-01-2013 Організація виконавець Iнститут кібернетики ім. В. М. Глушкова НАНУ Опис етапу Безпечність систем в сучасному техногенному середовищі і в умовах зростаючої конкуренції вимагає високого рівня їх надійності, який потрібно забезпечити в умовах обмежених ресурсів при виконанні проектів. Цього можна досягти використовуючи різні системи автоматизації проектування; застосовуючи верифікаційні методи. Верифікація систем може здійснюватися шляхом їх специфікації засобами логіки і подальшого моделювання. У цьому напрямку були розроблені перетворювачі логічних формул; була досліджена багатозначна логіка з відносною істинністю. Були розроблені автоматизована система для управління навчальним процесом; макет сайту, що реалізує методи аналізу ієрархій та дозволяє проводити тематичні експертні оцінки; розроблені мовні процесори для підтримки комунікації людини з комп'ютером в спеціалізованій області. Була розроблена методика управління процесами самої розробки систем. Опис продукції Запропоновано та досліджено перетворювачі формул логіки, що можуть бути застосовані при моделюванні прикладних транзіційних систем з метою їх верифікації ґрунтуючись на специфікаціях. Розроблено процедуру доведення в багатозначних логіках. Були досліджені аспекти ефективної взаємодії багаторівневих людино-машинних системах; розроблені автоматизовані системи керування учбовим процесом; розроблений макет сайту, що реалізує та дозволяє проводити тематичні експертні оцінки на основі аналізу ієрархій; розроблені мовні процесори для підтримки комунікації людини з комп'ютером в спеціалізованій області. Автори роботи Алєксєєв Дмитро Анатолійович Борисов Євген Сергійович Борисов Сергій Сергійович Волков Владислав Анатолійович Годлевський Олександр Богуславович Гречко Валерій Олегович Довбиш Валентина Яківна Колбасін Микола Іванович Коломейко Володимир Вікторович Криковлюк Олександр Петрович Летичевський Олександр Адольфович Лябах Володимир Федорович Матвєєва Людмила Євгенівна Мороз-Подворчан Ігор Григорович Пинько Олексій Павлович Потієнко Степан Валерійович Феліжанко Ольга Дмитрівна Чугаєнко Олесій Васильович Щоголева Наталя Миколаївна Додано в НРАТ 2020-04-02 Закрити