Научный архив: статьи

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

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

В статье устанавливаются черты такой жанровой модификации, как военные мемуары. Автор материала выявляет главные признаки, необходимые для формирования произведений в данном жанре, а также указывает на второстепенные черты, которыми представители жанра могут обладать лишь в частных случаях. В качестве примера автором используются военные мемуары британского военного и писателя Томаса Эдварда Лоуренса, более известного как Лоуренс Аравийский, под названием «Семь столпов мудрости». Книга является поздним представителем жанра военных мемуаров, зародившегося еще в Древней Греции, и обладает всеми основными чертами, присущими жанровому канону, прошедшему длительный период становления и развития.

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

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

В данной статье представлен метод трехуровневой логической минимизации. Основой для него послужил алгоритм двухуровневой минимизации Espresso. Ключевое различие состоит в том, что логическая функция представляется в виде суммы произведений литералов и XOR-группы. Такое представление позволяет адаптировать под себя алгоритмы Espresso и сделать их более эффективными. Масштабируемость метода гарантируется за счет сведения его реализации к алгоритмам Espresso, а также использования матричных операций, позволяющих проводить вычисления на графических ускорителях. На данный момент реализованы и протестированы трехуровневые аналоги expand и irredundant. Тестирование проводилось на схемах из набора LGSynth’91. Предметом оценки являлась эффективность алгоритма в сокращении входной логической функции, а также его быстродействие. Для сравнения использовалось программное средство Espresso в аналогичной конфигурации. Результаты экспериментов показывают, что при дальнейшем исследовании темы у трехуровневой оптимизации есть потенциал развития.

В статье представлен опыт изучения романа Л. Н. Толстого «Война и мир» в отечественной школе первой половины ХХ в. Анализ трудов, вышедших в этот период, позволяет проследить формирование методических традиций изучения романа-эпопеи. Автор делает акцент на подходах, методах и приемах изучения романа, обоснованных в методических системах известных педагогов-словесников (М. А. Рыбникова, В. В. Голубков и др.) и получивших распространение в практике учителей литературы. Особое внимание уделено работе Т. Г. Браже «Целостное изучение эпического произведения» (1964, переиздание в 2000), на несколько десятилетий определившей методику школьного изучения романа. На основе анализа педагогического опыта актуализированы отдельные концепции, подходы и приемы изучения романа Л. Н. Толстого «Война и мир».

Статья посвящена поэтическому сборнику английского поэта Теда Хьюза «Письма на день рождения». Книга была напечатана в 1998 г. и очень скоро заняла первые позиции в списке британских бестселлеров. В основе сборника история отношений Хьюза с американской поэтессой Сильвией Плат. В 1956 г. они стали супругами, а в 1963 г. Сильвия покончила с собой. Долгое время Хьюз никак не комментировал гибель жены, хотя многие считали его виновником смерти Плат. 35 лет спустя он в «Письмах на день рождения» пытается определить причины, которые привели к трагическому финалу. Главную причину Хьюз усматривает в предопределенности ее судьбы, ориентированной на подобную развязку.

Обсуждаются механизмы генерации частотных спектров аномального рассеяния в неплотной плазме при СВЧ-нагреве необыкновенной волной на второй гармонике резонанса. Разработанная теория применяется для интерпретации результатов экспериментов по электронному циклотронному резонансном нагреву (ЭЦРН) плазмы на стеллараторе Wendelstein 7-X, в которых наблюдались как стоксовая, так и антистоксовая частотные полосы, смещенные вниз и вверх относительно частоты генератора. Приводится объяснение парадоксального превышения амплитуды антистоксовой компоненты спектра над амплитудой стоксовой компоненты в ряде экспериментов.

Актуальность статьи обусловлена сложностью и динамичностью систем распределения ресурсов (РР-систем), которые включают множество изменяющихся во времени элементов, как внутри системы, так и во внешней среде, и требуют организации в виде иерархических подсистем. Неопределённость информационной составляющей и факторов влияния делает необходимым использование эффективных аналитических инструментов, основанных на теории принятия решений в условиях неопределённости, для объективной оценки и управления такими системами.

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

Материалы и методы. В материале используется комбинация математического моделирования, теории принятия решений и методов оптимизации для решения многокритериальных задач в сложных системах, особенно в РР-системах транспортных комплексов. Для задач оптимизации в условиях определённости модель включает множество допустимых решений XX и векторный критерий f(x)f(x) для оценки альтернатив. В многокритериальных задачах в условиях неопределённости отсутствие единого математического аппарата требует применения разнородных методов, таких как комбинаторика, теория графов, эвристика, линейное и динамическое программирование, а также поисковые алгоритмы. Исследование подчеркивает сложности применения этих методов в сложных системах, где внешние и внутренние неопределённости затрудняют формулировку ограничений и интеграцию качественных и количественных критериев. Также рассматривается преобразование многокритериальных задач в однокритериальные с набором ограничений, акцентируя внимание на ограничениях, вызванных непредсказуемыми внешними факторами, и необходимости экспериментальной проверки в сложных транспортных системах.

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

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

При изучении шизофрении особое внимание уделяется нарушениям речи. Описания речи больных шизофренией, как правило, феноменологические. Необходим объективизированный анализ речи, который может позволить выделить дополнительные маркеры в оценке психического состояния и уточнить критерии психодиагностики. Возможность адаптации имеющихся англоязычных исследований неоднозначна. Необходим метод на базе русскоязычной выборки. Цель работы: выявление типов речевых характеристик у пациентов с расстройствами шизофренического спектра во взаимосвязи с патопсихологическими характеристиками мышления. Выборка — 70 человек: пациенты, страдающие шизофренией (n=45) и условно здоровые лица (n=25). Методы: экспертная оценка, экспериментально-психологические (методики для изучения мышления и фиксации речевой продукции), контент-анализ, методы математической статистики. В отличие от условной нормы, речь пациентов с шизофренией содержит меньше слов, структурно и грамматически проще, характеризуется формальностью и описательностьютекста, но имеет бо́льшую смысловую нагрузку, содержит меньше описаний своих переживаний, меньше ориентирована на коммуникацию и социальное окружение. Было выделено 3 типа письменной речи у пациентов с шизофренией: «Витиеватое описание внутренних переживаний», «Повествовательная бедность», «Упоминание “Я”», и 2 типа устной речи: «Повествовательная бедность», «Рассуждательство». Все типы письменной речи и тип устной речи «Рассуждательство» были значимо взаимосвязаны с нарушениями мышления. Образованные 5 типов речевых характеристик во взаимосвязи с нарушениями мышления, характерными для шизофрении, формируют 3 типа расстройств речемыслительной деятельности при шизофрении.