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

Інформація × Реєстраційний номер 0216U010110, 0116U006841 , Науково-дослідна робота Назва роботи Прикладне конструктивне моделювання програмних сутностей Назва етапу роботи Керівник роботи Шикаренко Віктор Іванович, Дата реєстрації 29-11-2016 Організація виконавець Дніпропетровський національний університет залізничного транспорту імені академіка В.А. Лазаряна Опис етапу Запропоновано формальні моделі процесів представлення та обробки даних: стиснення, розміщення в пам'яті, порівняння, ранжування, а також формування множин схем зон рекуперації з різними поїзними ситуаціями. Для моделювання застосована методологія математико-алгоритмічного конструктивізму. Даний підхід передбачає розробку конструктивно-продукційних структур (КПС) з перетвореннями спеціалізації, інтерпретації, конкретизації та реалізації. Розробка КПС передбачає визначення носія, що може розширюватися, сигнатури відношень і операцій і конструктивної аксіоматики. Найбільш складною і істотною частиною аксіоматики є множини формованих правил підстановки, що визначають процес виведення відповідних конструкцій. Використання КПС є універсальним апаратом для моделювання сутностей, що може бути в подальшому застосований при їх автоматизованій обробці та створенні відповідного програмного забезпечення з/без прив'язки до апаратного та програмного середовища розробки. Опис продукції В роботі виконано моделювання процесів адаптації структур даних та їх розміщення в оперативній пам'яті комп'ютера, стиснення даних, розроблено графову модель тексту для подальшої його обробки, а також структурної схеми системи тягового електропостачання, режимів тягового електроспоживання і поїзної ситуації в зоні розподілу енергії рекуперації. Моделювання виконано засобами конструктивно-продукційних структур. Автори роботи Іванов Олександр Петрович Ільман Валерій Михайлович Васецька Тетяна Миколаївна Забула Геннадій Володимирович Куроп'ятник Олена Сергіївна Саблін Олег Ігорович Додано в НРАТ 2020-04-02 Закрити