Моделирование правдоподобностей в рамках теории измерений. Общая и экспертная теории правдоподобностей. Условная правдоподобность и операция проверки. Один из возможных подходов к формализации теории правдоподобностей Д. Пойа, ее дальнейшее развитие.
Идентификация существующих и планируемых мер защиты информации. Выработка и характеристика предложений по снижению рисков. Описание и оценка уязвимостей активов, структурно-функциональная схема алгоритма анализа рисков информационной безопасности.
Определение основных критериев оценки оптимальности инвестиционного процесса. Построение формальной модели налоговой оптимизации российской экономики в условиях существующих экономических санкций. Правовое регулирование налоговой оптимизации в России.
Рассматриваются вопросы, связанные с формализацией модели налоговой оптимизации, в условиях существующих экономических санкций с точки зрения нормативно-правовых регулирующих факторов. Состояние существующего налогообложения и оптимизации налогообложения.
Число итераций, необходимых для обучения искусственных нейронных сетей. Распознавание образов интеллектуальной системой. Повышение качества и гибкости обучения структуры сети. Эффективность модульного принципа в плане уменьшения количества итераций.
Характеристики управляемой динамической системы. Пути их формализации для аналитического описания процесса взаимодействия судов при расхождении, и управления им. Исследование систем взаимодействующих судов с позиций их координации и типов взаимодействия.
Проявления риска и возможности преодоления его неблагоприятных последствий. Формализации процесса поиска и принятия управленческих решений для приведения значения текущего риска к целевому уровню. Оценка уровней приемлемого и толерантного рисков.
Анализ построения модели потока работ на базе онтологического подхода к задаче описания информационных систем. Характеристика реализации программного комплекса, автоматизирующего моделирование потоков работ с помощью разработанного формального языка.
Особенность построения модели потока работ на базе онтологического подхода к задаче описания информационных систем. Анализ реализации программного комплекса, автоматизирующего моделирование потоков работ с помощью разработанного формального языка.
Обзор подхода к оценке причинно-следственных связей между показателями систем сбалансированных показателей. Определение латентных показателей, являющихся индикаторами достижения поставленных целей предприятия. Проведение многомерного факторного анализа.
Необходимость оставления полномочия следствия по должностным преступлениям у прокуратуры Кыргызской Республики. Актуальность законодательных инициатив по реформе правоохранительных органов. Угрозы кыргызской государственности, национальной безопасности.
Разработка современной автоматизированной системы оценки защищенности и формирования рекомендаций по выбору средств защиты информационных систем персональных данных. Построение качественной, соответствующей требованиям законодательства системы защиты ПДн.
Применение аксиоматической теории сходства и теории графов для решения поставленной задачи. Разбиение терминологической сети, моделирующей тематическую область. Выделение на графе классов толерантности методом его разбиения на максимально полные подграфы.
Обоснование необходимости проведения аттестации испытательного оборудования в соответствии с ГОСТ 8.568-2017. Использование методологии функционального моделирования IDEF0. Документы, регламентирующие порядок аттестации испытательного оборудования.
На примере угледобывающих предприятий рассмотрена возможность автоматизации взыскания просроченной дебиторской задолженности в ходе ее искового взыскания и исполнительного производства. Предложено и обосновано создание автоматизированного рабочего места.
Разработка технологии формализованной оценки и прогноза развития радиологической обстановки техногенно-нагруженных регионов Украины. Определение параметров, характеризующих пространственное распространение радиоактивного загрязнения в различных геосферах.
Представление информации о значениях оценки знаний студентов к началу зачетно-экзаменационной сессии в форме правил нечетких выводов. Графическая зависимость выходной переменной (оценка в баллах) от входных (посещаемость занятий и активность на них).
Анализ проблем при разработке крупных программных продуктов. Изучение особенностей обнаружения дублирующегося кода и его последующего удаления. Аналитическое определение порогового значения размера фрагмента кода. Формализация математической модели.
Определении возможности применения математического аппарата популяционной динамики при исследовании процесса развития жизненного цикла телекоммуникационных технологий. Исследование кинетической кривой, описывающей развитие абстрактного жизненного цикла.
Создание автоматизированной информационной системы для повышения эффективности продвижения инновационных химических технологий. Методика оформления и содержания полей электронных документов, представляемых для генерации информационных баз данных.
Цель статьи заключается в анализе способов репрезентации текстового материала, современных средств структурирования информации. Отдельное внимание уделяется приёмам конспектирования прочитанного и прослушанного текста и методам объяснения материала.
Исследование показателей оценки социально-экономического развития региона, эффективности и результативности органов его исполнительной власти. Методика формализации стратегических целей и тактических задач в данной области, оценка их эффективности.
Определение сущности финансовой устойчивости и особенностей влияния ее параметров регулирования на конечную результативность функционирования компании при административно-командной системе управления, а также в условиях развития рыночной экономики.
Знакомство с основными задачами исследования функционирования сети железных дорог. Анализ способов формализации технологического процесса железнодорожной сортировочной станции для построения имитационной модели и применения ее в эксплуатационной практике.
Рассмотрение влияния глобальных трендов на отечественное образование и науку через призму истории российской высшей школы. Характерные особенности американской и российской высших школ с момента их основания по настоящее время, их влияние на науку.
Основная характеристика автоматической генерации структур функциональных операторов управления с помощью компьютерных программ на основе формализованного описания объектов проектирования. Особенность кодирования унифицированного токового сигнала.
Формализация задачи минимизации потерь и издержек, связанных с выполнением различных вспомогательных сопровождающих процессов использования подъёмно-транспортных средств. Анализ структуры вспомогательных функций и оценка вероятности поломки ПТС.
- 13258. Формализованное описание процесса управления выездными мероприятиями регионального парламента
Особенности управления процессом подготовки, проведения и информационно–документационного обеспечения различных форм выездных мероприятий регионального парламента в субъектах федерации России с участием его председателя. Проведение оптимизации ресурсов.
Характеристика решения задачи выявления маршрутов движения документов и показателей. Главная особенность построения алгоритма триангуляции информационной матричной модели. Проведение исследования организационной структуры промышленного предприятия.
Средства описания культурных влияний. Применение теоретико-множественных средств для описания культурных влияний. Характеристика и особенности видов культурных влияний. Понятие и сущность культурных индуцирований, примеры смешанных и фоновых влияний.