Формализация информационной системы автотранспорта и описание ее логической модели, которая является обобщением математической модели. Организация учета работы автотранспортных предприятий. Характеристика основных процедур отображения данных ИСУРА.

Устройство гибких и жестких магнитных дисков, принципы их работы. Физическая и логическая структуры дискеты. Этапы процесса форматирования магнитного диска, физическая разметка, создание логических структур и загрузка на диск операционной системы.

Рассмотрение логической энтропии как меры неопределенности и сложности информационных моделей, описываемых булевскими функциями. Приводятся содержательные интерпретации логической энтропии. Отличие логической энтропии от энтропии Теории информации.

Информационные аспекты работы локальных вычислительных систем. Ограничения на информационный шум. Запрет несанкционированного доступа и сетевых атак. Соблюдение правил, установленных владельцами ресурсов. Способы минимизации паразитного трафика.

Использование логических элементов в системах автоматического и программного управления. Содержание элементарных функций "не", "или", "и". Сущность сложных логических функций "память" и "выдержка времени". Схема реле с блокировкой управляющих сигналов.

Анализ взаимосвязи между логикой и функционированием электронно-вычислительных машин. Особенности операций дизъюнкции и конъюнкции с помощью ЭВМ. Использование математической логики при построении базах данных, электронных таблиц и программировании.

Использование алгебры логики при построении основных узлов ЭВМ, логический элемент как часть электронной схемы компьютера. Применение триггеров в регистрах компьютера для запоминания двоичного кода. Принцип работы регистра памяти, сумматора, дешифратора.

Составление логической функции по таблице истинности. Построение логической схемы в элементом базисе "И-НЕ", "ИЛИ-НЕ", предварительно сделав соответствующее преобразование логической функции. Приведен способ минимизирования исходной логической функции.

Основные функции логических элементов. Двоичные логические операции с цифровыми сигналами (битовые операции). Электрические сигналы - физические аналоги двоичных цифр в вычислительных устройствах. Особенности устройства электрических логических элементов.

Подводятся итоги работы в области логических схем, программируемой логики, в том числе с использованием избыточных логических базисов элементов – функционально-полных толерантных элементов. Описаны способы повышения их надёжности, отказоустойчивости.

Структура логического диска: загрузочный сектор, таблицы размещения файлов, корневой каталог и область данных. Определение загрузчика как программы, загружающей операционную систему. Понятие форматирования верхнего уровня и дефрагментации диска.

Неформальная процедура как особый способ представления функций. Построение блок-схем алгоритмов, позволяющих представить алгоритмы в наглядном и общедоступном виде, не привлекая в тоже время сложных конструкций из конкретных языков программирования.

Управление логическим выводом в программах. Общие сведения о языке логического программирования. Применение рекурсии для обработки списков. Основные предикаты для работы с файлами. Создание динамической базы данных. Применение языка для решения задач.

Разработка автоматизированных систем оценки качества учебной деятельности студентов. Обоснование эффективности функционирования автоматизированной рейтинговой системы, которая бы позволила осуществлять оценку качества учебной деятельности студентов.

Розгляд процедур логічного обґрунтування правил прийняття рішень в інтелектуальних системах. Обґрунтування схеми діалогу та схеми прийняття ситуаційних рішень. Синтез стратегій допустимої поведінки людини (активного агента) в аварійних ситуаціях.

Використання елементів комп'ютерного аналізу на борту літака, створення автоматизованої системи керування противообліднювальною системою турбогвинтових літаків, що оцінює метеоумови, небезпеку обледеніння і працює в інтерактивному режимі з пілотом.

Розгляд логіко-математичних аспектів інформаційного забезпечення процедур професійного відбору з застосуванням тестів, що ґрунтуються на виявленні профорієнтованих і когнітивних компонентів мислення. Проблема інформаційно-оперативних конфліктів.

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

Інформаційна схема предметно-орієнтованого тестування знань. Планування ціленаправлених дій - елемент концепції побудови алгоритмів по розв`язанню проблемно-орієнтованих завдань. Етапи автоматизації дедуктивних суджень в процесах прийняття рішень.

Конструктивний метод аналізу протокольних специфікацій на основі стиснення логічної структури еквівалентними перетвореннями. Метод ідентифікації ситуацій експоненціального переповнення мережі необробленими кадрами даних. Перевірка коректності протоколу.

Ознайомлення з основними характеристиками логічних елементів і основами синтезу схем. Особливості будови аналізатора - пристрою, що може знаходитись в одному з двох стійких станів і переходить з одного стану в другий під дією зовнішніх сигналів.

Основні логічні елементи та вузли цифрових пристроїв, їх види, функції і значення для електронно-обчислювальної техніки. Характеристики тригерів, регістрів, лічильників, перетворювачів кодів, суматорів. Розробка програми моделювання роботи мультиплексора.

Основні логічні елементи та вузли цифрових пристроїв, їх види, функції і значення для електронно-обчислювальної техніки. Характеристики тригерів, регістрів, лічильників, перетворювачів кодів, суматорів. Розробка програми моделювання роботи мультиплексора.

Дослідження операцій обмеження і узагальнення понять. Операції над обсягами інформації як множинами. Логічні операції над поняттями. Опис та характеристика інформаційних даних. Структура логічного поділу інформації. Правила побудови дефініції поняття.

Метод локализации инородных объектов (участков изображения), отличающихся по некоторым характеристикам от основного, фонового изображения. Набор признаков Хаара и использование методов кластерного анализа для выявления и локализации инородных объектов.

Исследование и характеристика технологического аспекта информационной безопасности. Рассмотрение принципов построения беспроводных сетей передачи данных. Анализ их недостатков и способов модернизации для обеспечения быстрой и надежной передачи данных.

Оптимізаційні комбінаторні задачі як одні з найбільш важких з обчислювальної точки зору. Алгоритм локалізації лінійної функції, заданої на конфігурації сполучень, з урахуванням представлення в вигляді неорієнтованого графа. Числовий приклад реалізації.

Виявлення призначення локальної комп'ютерної мережі. Обґрунтування вибору архітектури і топології мережі, конфігурації обладнання та програмного забезпечення. Розгляд алгоритму налагодження операційної системи сервера та його технічного обслуговування.

Понятие и классификация локальной вычислительной сети. Анализ структурированных кабельных систем и коммутационного оборудования. Характеристика типов устройств Ethernet. Программное обеспечение сети. Оценка требований по безопасности пользователей.

Особенности классификации вычислительных сетей в зависимости от расстояний между ПК: локальные, территориальные, региональные, глобальные. Основные типы архитектур ЛВС: Ethernet, Arcnet, Token ring, FDDI. Задачи IP-адреса отправителя и получателя.