• Величина - кількісно виражене значення властивості об'єкта. Характеристика основних типів результатів операцій над змінними числових типів. Константа - постійна величина, якій присвоюється конкретне значення в описовій частині комп`ютерної програми.

    презентация (2,6 M)
  • Висловлювання — речення, яке містить твердження про зв'язки між об'єктами. Основні команди мови програмування, які використовуються для присвоєння певній змінній значення логічного виразу. Таблиця істинності для диз'юнкції двох логічних виразів.

    статья (2,7 M)
  • Построение венгерского алгоритма. Пересчет потенциала и увеличение паросочетания. Ключевые идеи, позволяющие достичь требуемой асимптотики. Цикл добавления строк. Реализацию венгерского алгоритма на языке C#. Инициализация массивов и создание матрицы.

    контрольная работа (162,5 K)
  • Анализ основных идей венгерского метода на примере решения задачи выбора (задачи о назначениях), которая является частным случаем Т-задачи. Алгоритм венгерского метода, оценка последовательно проводимых итераций. Венгерский метод для транспортной задачи.

    реферат (194,1 K)
  • Задачи принятия решений в условиях неопределенностей. Методология вербального анализа и принятия решений. Использование нечисловой (качественной) информации. Метод смешанных нечетких оценок. Шкала предпочтения альтернативы. Линейная свертка критериев.

    статья (120,2 K)
  • Изучение верификации проекта на стадии моделирования как одной из важнейших проблем при моделировании электронных систем, состоящих из цифровых и аналоговых модулей. Описание визуализации растрового изображения видеокадров протокола Fibre Channel.

    статья (688,2 K)
  • Рассмотрение терминов верификация и валидация. Тестирование программного обеспечения. Установление разницы между валидацией и верификацией. Характеристика процесса выявления ошибок в программном обеспечении. Определение методики выявления дефектов.

    реферат (165,8 K)
  • Сравнение моделей надежности на основе теории динамики программных систем. Управление транспортом, связью и энергетикой. Компьютерные ошибки, потеря работоспособности систем мобильной связи и энергетических систем. Создание надежных компьютерных систем.

    статья (352,4 K)
  • Изучение алгоритмов поиска инвариантных соотношений в программах с простыми переменными, относящимся к методам анализа потоков данных и верификации. Анализ языка типа равенств для программ над абсолютно свободными алгебрами данных и кольцами полиномов.

    статья (607,5 K)
  • Верификация как проверка соответствия программного обеспечения проектной спецификации и стандартам, технической документации, архитектурой, моделью предметной области. Характеристика типичных ошибок, которые обнаруживаются статическими анализаторами.

    контрольная работа (402,2 K)
  • Доведення гарантованості розпізнавання кібератак за допомогою нейронних мереж типу багатошарового персептрону та мережі радіальної базисної функції. Моделювання процесу виявлення кібератаки за допомогою вказаної неперервної багатопараметричної функції.

    статья (169,9 K)
  • Розробка тестів для практичного застосування якості працездатності пропонуємих засобів символьних перетворень для аналітичного розв’язання нелінійних диференціальних рівнянь. Моделювання динамічних процесів об’єктів високошвидкісних транспортних засобів.

    статья (296,1 K)
  • Побудова формальних специфікацій за неформальними вимогами генерація набору тестів, синтез архітектурної моделі і перевірка властивостей. Прототипи програм верифікації формальних специфікацій і символьної генерації в системі інсерційного програмування.

    автореферат (82,5 K)
  • Классификация лесных пожаров с помощью многослойного персептрона. Кластеризация стихийного, неуправляемого распространения огня в лесу с помощью карт Кохонена. Математическая модель и программное проектирование системы оценки последствий пожара.

    курсовая работа (2,0 M)
  • Сущность и предмет исследования, а также история развития компьютерной лингвистики. Особенности применения статистических методов в языкознании. Математический аппарат для исследования текстов на естественном языке, используемое программное обеспечение.

    курсовая работа (61,8 K)
  • Формирование в информационных системах алгоритмов анализа и синтеза для измерения, моделирования и управления динамическими системами. Рассмотрение методов линейной и нелинейной фильтрации, интерполирования и прогнозирования статистических решений.

    учебное пособие (1,8 M)
  • Пример решения задачи минимизации затрат на функционирование сети по числу линий обслуживания в системах сети. Исследование нового класса сетей массового обслуживания – марковских сетей или НМ-сетей произвольной структуры, расчет ожидаемых доходов.

    автореферат (195,4 K)
  • Определение вероятности безотказной работы радиотехнической схемы. Вычисление показателей с помощью метода аналитического и статистического моделирования. Расчет интенсивности отказов элементов. Изменение характеристик надежности при изменении системы.

    контрольная работа (102,2 K)
  • История создания и развития операционной системы для портативных устройств. Функциональные возможности операционной системы Андроид и ее программного обеспечения, сравнительный анализ её версий. Сравнение возможностей операционных систем Андроид и iOS.

    презентация (842,3 K)
  • Определение компьютерной сети. Классификация сетей и аппаратура для их построения. Обеспечение связи и соединения в сетях. Виды беспроводных сетей. Городская, персональная, локальная, глобальная вычислительные сети. Архитектура и топология сетей.

    презентация (2,1 M)
  • Использование различных распределенных информационных систем в современной инфраструктуре вуза. Применение единой платформы систем с множеством модулей для требуемой автоматизации. Значение дублирования операций и данных между различными системами.

    статья (14,1 K)
  • Рассмотрение устройства и функционирования виртуального мира. Определение понятий виртуал, виртуальная личность, фактор вовлечения. Характеристика развития современных технологий как новых возможностей и серьезнейших угроз и рисков для человечества.

    статья (23,2 K)
  • Значение обмена научно-технической информацией между учеными разных стран. Особенности распределенной системы хранения научно-технической информации "Интеллект". Различия в структуре хранения и представления информации, форматах хранения данных.

    статья (116,6 K)
  • Экономическое обоснование получения кредита и расчет схем его погашения. Система автоматизированного составления смет. Автоматизация решения задач оптимизации производственного планирования. Место информационной системы в организационной структуре.

    курсовая работа (1,5 M)
  • Определение и анализ особенностей взаимосвязи между понятиями физической, хореографической и музыкальной культуры. Рассмотрение специфики развития физических качеств на тренировке по Брейкингу. Характеристика хореографической составляющей в Брейкинге.

    реферат (19,9 K)
  • Применение метода конечных элементов для решения задач механики деформируемого твердого тела, теплообмена, гидродинамики и электродинамики. Переход от геометрической к сеточной моделям. Способы генерации сетки в универсальных программах (Ansys, Samtech).

    реферат (249,2 K)
  • Теория турниров, понятие об индустрии киберспорта. Описание киберспортивных турниров - предварительный анализ данных и методология проведения исследования. Выполнение теории турниров, представленной экономистами Лейзером и Роузеном, в контексте турниров.

    дипломная работа (582,7 K)
  • Показатели качества информационных систем: надежность, достоверность, безопасность. Износ технических средств при их использовании. Проблемы интенсификации ресурсов ИС. Эффективное использование и обеспечение работоспособности средств информатизации.

    курсовая работа (22,2 K)
  • Изучение взвешенного метода наименьших квадратов. Разработка программного обеспечения. Анализ программных продуктов и методов решения проблемы оценки случайных ошибок взвешенной модели регрессии, дисперсии ошибок и коэффициента пропорциональности.

    статья (996,4 K)
  • Прогресс интернет-технологий и сети Интернет. Телевизионные проекты, посещаемость телевещательных сайтов. Тенденции развития интернет-вещания. Методы компрессии аудиовидеосигнала с сохранением качества изображения и звука и технологии передачи сигнала.

    статья (43,0 K)