Орбитальные характеристики планет Солнечной системы. Внутренне строение и газовая оболочка Земли. Земная кора и её строение. Закон всемирного тяготения. Физические основы гравитационных аномалий. Эллипсоид вращения Земли. Анализ аномалий силы тяжести.
Размеры и форма Земли. Глубинное строение Земли. Основные оболочки Земли. Состав и физические характеристики основных земных недр. Естественные физические поля Земли. Тепловое поле, тепловой поток, геотермическая ступень и градиент. Магнитное поле Земли.
Залежність структури ухвали суду від того, чи поставлена вона як окремий процесуальний документ (ПД) у нарадчій кімнаті чи в судовому засіданні із занесенням до журналу судового засідання. Зміст структурних частин ухвал, постановлених судом як окремих ПД.
Зміст ухвал суду першої інстанції в цивільному процесі. Визначення залежності структури ухвали суду від стадії цивільного процесу, на якій вона постановляється. Залежність змісту та форми ухвали від типу процесуального питання, яке вирішується судом.
Характеристика проблемы обеспечения качества и надежности функционирования технологических систем. Анализ особенностей разработки и внедрения систем мониторинга технологического процесса и системы диагностирования на основе программного обеспечения.
Обоснование необходимости реформирования системы материально-технического обеспечения железнодорожного транспорта. Распределение центров планирования потребности в материально-технических ресурсах. Цель, задачи, функции и архитектура бизнес-процесса.
Технологии компьютерного визуального графоаналитического системного моделирования процессов управления. Средства для формализации процессов. Описание базовых конструкций процесса. Особенности преобразования терминов исчисления в конструкции языка Promela.
Анализ фасетного способа классификации концепций проектирования. Разработка формального метода выбора концепции путем сравнения описания технического задания и фильтрованного множества концепций. Классифицирующие признаки приводов ленточных конвейеров.
Исследование функционирования компонентов инфокоммуникационной сети в условиях интеграции трафика. Характеристика основ проектирования современных сетей следующего поколения. Рассмотрение программно-технического обеспечения телекоммуникационной сети.
Состояние математической подготовки студентов-гуманитариев. Новые подходы к построению соответствующего курса на основе контекстного подхода и тщательного отбора содержания с учетом профессионально значимых задач. Основные этапы формализации знаний.
Воздействие теневого потенциала на экономику туристской индустрии, изучение позитивных сторон его влияния. Оценка управленческих решений в отношении изменения теневых ресурсов. Способы противодействия легализации доходов, полученных преступным путем.
Исследование подходов к формализации контекстов в семантике естественного языка, основанных на теории типов с записями и модулями. Описание общих принципов формализации и ее конкретной реализации в системе Agda. Связь подхода с ситуационной семантикой.
Оценка границ зоны формирования ткани. Разработка методики теоретического определения линии опушки, линий кромок и линии перехода зоны формирования в сформированную ткань, с помощью которой возможно определение расчетным путем величины прибойной полоски.
Определение основных критериев оценки оптимальности инвестиционного процесса. Построение формальной модели налоговой оптимизации российской экономики в условиях существующих экономических санкций. Правовое регулирование налоговой оптимизации в России.
Рассматриваются вопросы, связанные с формализацией модели налоговой оптимизации, в условиях существующих экономических санкций с точки зрения нормативно-правовых регулирующих факторов. Состояние существующего налогообложения и оптимизации налогообложения.
Методика анализа морфологии трещин на поверхности испытываемых на климатическое старение образцов резинотехнических изделий с помощью волнового алгоритма. Способ расчёта длины, ширины раскрытия трещин. Признаки для описания степени их ветвистости.
Методы формализации знаний прикладного характера, возможность формального решения качественных задач. Систематизация прикладных задач качественного характера. Классификация типов задач, проблемы решения задач в теоретико-множественных представлениях.
Теория и основные методы формализации знаний прикладного характера, формальное решение качественных задач в математике. Изучение сущности концепции логического программирования. Математические задачи на нахождение решений известными формальными методами.
Система типов - гибко управляемый синтаксический метод доказательства отсутствия в программе определенных видов поведения при помощи классификации выражений языка по типам вычисляемых ими значений. Связь между типами и множествами. Выделение подтипа.
Характеристики управляемой динамической системы. Пути их формализации для аналитического описания процесса взаимодействия судов при расхождении, и управления им. Исследование систем взаимодействующих судов с позиций их координации и типов взаимодействия.
Особенность построения модели потока работ на базе онтологического подхода к задаче описания информационных систем. Анализ реализации программного комплекса, автоматизирующего моделирование потоков работ с помощью разработанного формального языка.
Исследование функций распределения при формализации потоков сообщений конвергентной телекоммуникационной сети. Потоки как агрегированный трафик интегральной информации, отражающий процессы взаимопроникновения и слияния инфокоммуникационных технологий.
Построение концептуальной модели процесса управления конфигурацией в проектах. Поддержание внутренней и внешней согласованности проекта. Проблема выбора оптимального множества элементов. Создание уникального продукта в рамках установленных ограничений.
Исследование особенностей гипертонической болезни, протекающей на фоне сахарного диабета. Математическое моделирование процесса лечения. Современные методы интеллектуальной поддержки принимаемых врачом решений при выборе тактики ведения пациента.
Анализ проблем при разработке крупных программных продуктов. Изучение особенностей обнаружения дублирующегося кода и его последующего удаления. Аналитическое определение порогового значения размера фрагмента кода. Формализация математической модели.
Описание модели выбора решений из множества альтернатив, в результате которого получается их подмножество или несколько, основанных на использовании байесовского подхода, на базе понятия функции защищенности, как оценки последствий принятия решения.
Процедурный характер выбора управленческого решения. Обоснование рационального процесса, логика, правила и нормативы принятия решения. Оценка способов реализации управленческих решений. Функции власти при разработке и реализации управленческого решения.
Создание автоматизированной информационной системы для повышения эффективности продвижения инновационных химических технологий. Методика оформления и содержания полей электронных документов, представляемых для генерации информационных баз данных.
Целесообразность использования метода линейной интерполяции при формализации расчета устойчивости подземной выработки круглого сечения, расположенной в активной зоне заглубленного ленточного фундамента. Внутреннее трение грунта, условие прочности Кулона.
Принципы математического описания регулярных ниточных структур, таких как трикотаж, ткань, ниточная строчка, реализованных в авторской D-кодировке. Методика построения однопараметрических геометрических моделей трикотажа. Показатель зацепления нитей.
