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

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

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

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

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

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

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

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

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

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

Рассмотрение фрагмента постановки и решения задачи "Разработать [вербальное|формальное] определение S" (где S – универсум технологически возможных ИТОУ-систем). Примеры определений и существенных характеристик композитов S. Пример применения МАНОК-систем.

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

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

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

Моделирование правдоподобностей в рамках теории измерений. Общая и экспертная теории правдоподобностей. Условная правдоподобность и операция проверки. Один из возможных подходов к формализации теории правдоподобностей Д. Пойа, ее дальнейшее развитие.

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

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

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

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

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

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

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

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

Методологические подходы к проведению научно-технологического мониторинга. Актуализация приоритетных направлений развития науки, технологий и техники РФ. Роль государственного администрирования при формировании и реализации технологических проектов.

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

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

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

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

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

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