Пошук
Зараз показуються 11-20 з 47
Аналіз ефективності використання методів штучного інтелекту для забезпечення безпеки руху водіїв автотранспорту
(2020)
У результаті виконання дипломного проєкту було досягнуто поставлені цілі, а саме: досліджено та визначено найбільш придатний метод штучного інтелекту для реалізації логіки аналізу даних про стан водія у мобільному додатку ...
Дослідження методів і способів ідентифікації користувачів на основі їх мережевої активності
(2020)
Метою дипломної роботи є дослідження способів та методів ідентифікаціі користувачів на основі їх мережевої активності.
Оценка полноты семантического контроля программного обеспечения информационно-управляющих систем
(ХАИ, 2007)
Исследована степень полноты семантического контроля программного обеспечения информационно-управляющих систем авиационно-космических комплексов, основанного на анализе использования физических размерностей. Разработаны и ...
Обобщенная модель ядра семантической целостности языка стандартов программного обеспечения
(ХАИ, 2013)
Описана постановка задачи синтеза обобщенной модели ядра семантической целостности для автоматизации процесса обработки текстов стандартов программного обеспечения (ПО) и технической
документации к программным продуктам. ...
Методика машинной обработки лингвистических единиц класса «язык стандартов программного обеспечения»
(ХАИ, 2013)
Описана методика машинной обработки документов из нормативной базы (НБ) в процессе формирования нормативного профиля для сертификации программного обеспечения систем критического применения. Рассмотрен подход к моделированию ...
Создание функционально безопасных программных систем на основе виртуальных машин
(ХАІ, 2007)
Рассмотрена существующая проблема обеспечения функциональной безопасности программного обеспечения. Приведен обзор нормативных документов, которые регламентируют функциональную безопасность программных средств. Рассмотрены ...
Модели и способы автоматизированного управления испытаниями систем космического аппарата
(ХАІ, 2007)
Выполнена разработка комплекса моделей, способов и информационных средств для автоматизации технологических процессов испытаний на основе системы энергоснабжения (СЭС) космических аппаратов
(КА). Рассмотрены некоторые ...
Проектирование сложных проблемно-ориентированных комплексов на основе модели траекторий вычислительных процессов
(ХАІ, 2007)
Выполнен анализ известных современных технологий разработки проблемно-ориентированных программных комплексов. Обоснована необходимость создания новых методов и технологий разработки для
целого класса задач, обеспечение ...
Методы оценки стоимости и затрат на создание программного продукта, основанные на нечеткой логике
(ХАІ, 2008)
Проведен аналитический обзор исследований по оценке стоимости разработки программного обеспечения в современных информационно-управляющих системах. Показана необходимость использования математического аппарата нечеткой ...
Модель дефектов программного обеспечения
(ХАІ, 2008)
Предлагается модель дефектов программного обеспечения, основанная на целочисленном дескрипторном отображении. Программный код рассмотрен как упорядоченное множество программных конструкций, каждая из которых с некоторой ...