Суть принципа статической проверки типов в логическом языке. Проверка корректности применения объекта, полученного из другой программы. Расширение объектно-ориентированного логического языка Акторный Пролог, пособляющего распределенное программирование.

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

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

Исследование особенностей организации системы ветвлений в языке программирования С++. Анализ базового уровня данной системы. Описание формата инструкции if. Правила построения логических выражений. Инструкция switch (структура множественного выбора).

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

Современные способы подключения электронных устройств к сети Интернет. Требования к корпоративным сетям Wi-Fi, выбор оборудования для их удовлетворения. Разворачивание, настройка и мониторинг развернутой сети. Частотное планирование сот мобильной связи.

Рейтинговая оценка "ТОП-10" компаний-операторов коммерческих дата-центров по суммарной площади введенных в эксплуатацию технологических залов коммерческих дата-центров и по площади наибольшего введенного в эксплуатацию дата-центра в Московском регионе.

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

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

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

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

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

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

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

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

Анализ мер безопасности, направленных на предотвращение мошеннических действий в процессе авторизации клиентов банкоматов и платежных терминалов. Создание программного обеспечения онлайн-мониторинга авторизации клиентов на базе искусственного интеллекта.

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

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

Различные подходы к определению информации. Важные факторы в определении информации как сообщения. Теория информации К. Шеннона. Структурная схема системы передачи информации. Существование информации до появления биологических и кибернетических систем.

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

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

Описание анализа систем распознавания эмоций с применением методов машинного обучения, находящихся в открытом доступе, в рамках курсового проекта по дисциплине Обучающие Технические Системы "Machine Learning". Neurobotics EmoDetect. Cognitive Emotion.

Схемы динамической самонастройки параметров генетического алгоритма. Преимущества использования непараметрического критерия Вилкоксона. Исследование целесообразности применения метода Гомеса. Настройка вероятностей выбора оператора для каждого индивида.

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

Характеристика проблемы нестационарной стабилизации поставленной Р. Брокеттом. Способы доказательства теоремы, дающей достаточные условия стабилизируемости двумерной линейной дискретной системы с помощью достаточно большого периода обратной связи.

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

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

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

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

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