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

Внутренняя симплектическая связность, определение продолженной контактной метрической структуры на распределении контактной структуры. Инвариантные характеристики классов Грея-Хервеллы почти эрмитовых структур. Кручение и кривизна внутренней связности.

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

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

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

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

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

Рассмотрение последовательных вероятностных мультиагентных систем. Вычисление семантики вероятностной логической программы. Глобальное поведение ВМАС. Определение Марковских процессов принятия решений. Верификация динамических свойств вероятностных МАС.

Рассмотрение возможностей моделирования объектов в редакторе трехмерной графики SketchUp на примере создания модели одноэтажного дома. Использование программы для решения различных задач, связанных с созданием графических моделей зданий и сооружений.

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

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

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

Выявление отличий объектно-ориентированного проектирования от традиционного структурного проектирования. Рассмотрение его принципов, базовых элементов, объектов и их свойств. Приведение примера создания регистрационных записей о сотрудниках на языке C++.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Способы тестирования корпоративных информационных систем на наличие уязвимостей. Новый подход, основанный на виртуализации IT-инфраструктуры предприятия для контроля защищенности от угроз безопасности. Обеспечение информационной безопасности на объектах.

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

Исследование применения алгоритмов Data Mining для поиска кластеров дубликатов с использованием синтаксических и лексических методов составления образов документов. Программная реализация и компьютерные эксперименты. Способ выбора параметров методов.