http://lib.kart.edu.ua/handle/123456789/11757 2026-04-15T07:54:56Z http://lib.kart.edu.ua/handle/123456789/11837 Title: Модель системи моніторингу за комфортістю для розумного вагону Authors: Петренко, Тетяна Григорівна; Ножкін, О. С.; Мірошник, В. Р.; Старієнко, Р. Е.; Величко, А. Ю.; Яценко, В. В. Abstract: В даній роботі побудована модельна система моніторингу, до складу якої входять розумні сенсори для моніторингу параметрів комфортністі в реальному часі. В модельної системі аналізуються показники комфортністі. Дані о показниках, отриманих з сенсорів, після обробки за допомогою мікроконтролерів, передаються по бездротовій мережі до додатка, встановленого на комп’ютері. Додаток має зручний інтерфейс користувача, дозволяє відстежувати показники комфортністі та енергоспоживання, формує оповіщення в разі виникнення конфліктних ситуацій. 2017-01-01T00:00:00Z http://lib.kart.edu.ua/handle/123456789/11836 Title: Автоматизация проектирования тестопригодных цифровых автоматов без использования синхронизирующих последовательностей Authors: Мирошник, Марина Анатольевна; Шкиль, А. С.; Кулак, Э. Н.; Пахомов, Ю. В. Abstract: Научная новизна работы состоит в преобразовании моделей управляющих автоматов на языках описания аппаратуры, которая характеризуется введением дополнительного символа в таблицу переходоввыходов, обеспечивающего установку автомата в произвольное состояние без использования синхронизирующих последовательностей. Практическая значимость полученных результатов состоит в подтверждении оптимальности, с точки зрения дополнительных аппаратурных затрат, метода установки управляющего автомата в произвольное состояние путем введения дополнительного символа в таблицу переходов-выходов. 2017-01-01T00:00:00Z http://lib.kart.edu.ua/handle/123456789/11835 Title: Запис моделей нечіткого керування з використанням нотації мови FCL Authors: Лазарєва, Наталя Миколаївна Abstract: Системи нечіткого керування з точки зору теорії систем керування є контролерами з нелінійними параметрами регулювання. Вони широко використовуються для рішення прикладних задач, що потребує доступності для усіх користувачів логічних контролерів. Всі параметри функціональності моделі нечіткого керування задаються у відповідності з базовою нотацією мови FCL. Програма за своєю структурою повністю відповідає деякій процедурі, формальними параметрами якої є вхідні змінні блоку правил, а значенням, що повертається – значення вихідних змінних після дефазифікації. 2017-01-01T00:00:00Z http://lib.kart.edu.ua/handle/123456789/11834 Title: Методи перевірки якості тесту та оцінка ризиків Authors: Лазарєва, Наталя Миколаївна; Ушаков, Михайло Віталійович; Лазарєв, Олексій Владленович Abstract: Широке використання комп’ютерного тестування при переході до інтерактивних технологій навчання потребує обґрунтування об’єктивності оцінки знань за допомогою тестових програм та оцінки якості самих тестів. Визначальною характеристикою будь-якої відповідальної системи є надійність, тому визначення достовірності результатів комп’ютерного тестування та дослідження поведінки основних показників при зміні параметрів системи тестування є пріоритетною задачею при проектуванні систем контролю рівня знань. 2017-01-01T00:00:00Z