Статьи

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

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

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

Модель памяти языка программирования определяет семантику многопоточных программ, создаваемых на этом языке и оперирующих с разделяемой памятью. Наиболее известна модель последовательной согласованности, которая является слишком строгой, запрещая многие сценарии поведения, наблюдаемые при исполнении программ на современных процессорах. Попытки формально описать эти сценарии привели к возникновению так называемых слабых моделей памяти. В последние годы было предложено значительное количество слабых моделей памяти для различных языков программирования. Эти модели предлагают различные компромиссы относительно простоты/сложности рассуждений о поведении многопоточных программ и возможностей их оптимизации. Цель данной статьи заключается в обзоре существующих моделей памяти языков программирования и выработке общих рекомендаций по выбору/созданию модели памяти при создании/стандартизации языков программирования, а также при разработке компиляторов. Для данного обзора мы рассмотрели более 2000 статей, найденных по ключевым словам “Relaxed Memory Models”, “Weak Memory Models”, и “Weak Memory Consistency” поисковой системой Google Scholar. Используя разные критерии, мы сузили это множество до 40 статей, предлагающих и описывающих модели памяти языков программирования. Мы разделили эти модели на шесть классов и проанализировали их свойства и ограничения. В заключение мы показали, как дизайн языка программирования влияет на выбор модели памяти и обсудили возможные направления дальнейших исследований в этой области.

Предложены шесть методов бинаризации алгоритма стаи ласточек для решения задачи отбора признаков по методу обертки. Эффективность выбранных подмножеств признаков оценивается двумя классификаторами: нечетким классификатором и классификатором на основе k-ближайших соседей. При поиске оптимального подмножества признаков учитывались количество признаков и точность классификации. Разработанные алгоритмы протестированы на наборах данных из репозитория KEEL. Для статистической оценки методов бинаризации использовался двухфакторный дисперсионный анализ Фридмана для связных выборок. Лучшие способности к отбору признаков показал гибридный метод, основанный на методе модифицированных алгебраических операций и введенной нами операции MERGE. Лучшая точность классификации получена с использованием метода V-образной функции трансформации.

За последние годы популярность языка Go значительно возросла. Вместе с тем в настоящее время для языка Go существуют только легковесные статические анализаторы. Мы восполнили этот пробел, адаптировав статический анализатор Svace для поиска ошибок в программах на языке Go. Нами был реализован межпроцедурный и межмодульный статический анализатор имеющий чувствительность к потоку и путям. Для оценки результатов использовалось 10 проектов с открытым исходным кодом. 16 оцениваемых детекторов выдали 6817 предупреждений с 76 срабатываний.

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

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

Проблема прерывания беременности является многоплановой. В соответствии с действующим законодательством, женщины, обращающиеся в медицинское учреждение за процедурой искусственного прерывания беременности, проходят доабортное консультирование. Во время консультации перед специалистом ставится несколько задач: сопоставить аргументы за прерывание и за сохранение беременности; помочь грамотно провести оценку сложившейся жизненной ситуации; рассмотреть пути решения возникших проблем; донести информацию о федеральных, региональных мерах поддержки беременных и семей с детьми; проинформировать о возможных негативных последствиях искусственного прерывания беременности. Авторы считают, помимо психологической помощи женщинам, оказавшимся в ситуации выбора, необходимо проводить детальное информирование о негативных репродуктивных последствиях абортах. В том числе о проблемы преждевременной недостаточности яичников. Ввиду широкой распространенности преждевременной недостаточности яичников среди женского населения представляется необходимым дополнить существующий порядок доабортного консультирования разделом, посвященном проблеме физиологической и патологической потери овариального резерва и влияния прерывания беременности на данный процесс. Информированность женщины о наличии у нее риска преждевременной недостаточности яичников и вообще о наличии такого состояния позволило бы ей осознанно избегать дополнительных негативных влияний (курения, алкоголя, стресса), принимать обоснованное решение о репродуктивных планах и их сроке, а возможно, прибегнуть к применению методов криоконсервации ооцитов в том случае, если риски преждевременной недостаточности яичников чрезвычайно высоки. Когда преждевременная недостаточность яичников уже диагностирована, единственная возможность родить ребенка это использование вспомогательных репродуктивных технологий (экстракорпоральное оплодотворение), но с использование донорский яйцеклеток.

В статье анализируются особенности межтюркского диалога как феномена в современных международных отношениях. Автор рассматривает концепцию межтюркского диалога как геополитический проект, основанный на общности тюркских народов, крупнейший из которых является государствообразующим этносом Турецкой Республики. Целью работы является выявление особенностей межтюркского диалога как феномена современных международных отношений, основанный на цивилизационном подходе и критической геополитике. Межтюркский диалог рассматривается в контексте конструирования образа «братских народов», который объединяет язык, культура, история, ценности, мировоззрение, религия и формирует наднациональную идентичность, создающую основу для межгосударственной интеграции. Турция как ведущая политическая и экономическая сила межтюркского диалога претендует на лидерство в этом проекте. Концепция «тюркского мира» выступает в качестве важного компонента внешнеполитической стратегии Анкары, формирующей собственное геополитическое видение себя в качестве независимого центра силы в формирующемся новом мировом порядке. Важную роль в этом процессе играет роль личности: Р. Т. Эрдоган во многом ассоциируется с активизацией и развитием межтюркского диалога и его становлением как фактора современных международных отношений. В то же время другие участники имеют собственные взгляды и представления на становление межтюркского диалога.

Целью настоящей статьи является рассмотрение милитаризации космоса как непрерывно происходящего процесса от «первой космической гонки» до настоящего времени и возможных путей ограничения международной военно-политической напряжённости в области освоения космоса. Большое внимание в статье уделяется военным космическим программам и типам космического оружия, развиваемым в разных странах, в первую очередь в США и России. Применение хронологического метода и метода системного анализа позволяет установить преемственную связь развивающихся в настоящее время космических систем военного назначения, в том числе систем, испытываемых новыми участниками процесса освоения космического пространства (Китай, Индия). В статье рассматривается связь между нормативно-правовыми документами по космосу времён холодной войны и международными договорами по ограничению ядерного вооружения, анализируются основные подходы по ограничению развёртывания военной деятельности в космическом пространстве и даётся оценка возможному их применению. По мнению автора, на основании проведения испытаний Россией ракеты «Сармат» и объявления моратория США на испытание противоспутникового оружия идея воплощения в жизнь «Договора о предотвращении размещения оружия в космическом пространстве» представляется заслуживающей внимания. При этом одно лишь создание системы космической ситуационной осведомлённости, по мнению автора, является недостаточным. Вместе с тем американский мораторий 2022 г. на испытание противоспутникового оружия представляется одним из элементов американской политики, нацеленной не только на демонстрацию собственных технических возможностей, но и на установление ограничительных линий для военной деятельности в космосе.

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