DOI: 10.7256/2454-0714.2022.1.19323

Аннотация: Актуальность выбранного вопроса, а именно, безопасность операций по перегрузке ядерного топлива (РБМК), связана с особенностями эксплуатации блоков РБМК. Одним из самых опасных, с точки зрения аварийности на современных АЭС, является процесс перегрузки ядерного топлива. Во время проведения операций по перестановке топливных кассет существует риск повреждения топлива, и, как следствие, вероятность выхода радиоактивных веществ за допустимые пределы. Процесс перегрузки РБМК при нахождении реактора на мощности состоит из очень большого количества сложных операций, характеризующихся множеством параметров. Несоблюдение критериев выполнения операций, выход значений параметров за допустимые диапазоны с большой вероятностью может привести к аварии. В настоящей статье рассматривается возможность применения формализованного подхода для выявления исходных событий, которые могут привести к возникновению аварий, с целью формирования необходимого и достаточного набора защит. Формальный подход позволит определить избыточность в наборах защит на действующих блоках, а так же поможет выявить аварийные ситуации, защиты для которых не предусмотрены. Разработан системный подход, позволяющий полноценно оценить аварийность структурно-сложных систем. Адаптация метода применительно к РЗМ позволила систематизировать поиск исходных событий, приводящих к нежелательным событиям и, как следствие, позволяет оптимизировать количество защит, что приведет к повышению надежности работы системы, а также упрощает процесс эксплуатации и может уменьшить время рабочего цикла контроллера на обработку защит.

DOI: 10.7256/2454-0714.2022.1.37341

Abstract: The subject of this research is the key methods for creating the architecture of information aggregators, methods for increasing scalability and effectiveness of such systems, methods for reducing the delay between the publication of new content by the source and emergence of its copy in the information aggregator. In this research, the content aggregator implies the distributed high-load information system that automatically collects information from various sources, process and displays it on a special website or mobile application. Particular attention is given to the basic principles of content aggregation: key stages of aggregation and criteria for data sampling, automation of aggregation processes, content copy strategies, and content aggregation approaches. The author's contribution consists in providing detailed description of web crawling and fuzzy duplicate detection systems. The main research result lies in the development of high-level architecture of the content aggregation system. Recommendations are given on the selection of the architecture of styles and special software regime that allows creating the systems for managing distributed databases and message brokers. The presented architecture aims to provide high availability, scalability for high query volumes, and big data performance. To increase the performance of the proposed system, various caching methods, load balancers, and message queues should be actively used. For storage of the content aggregation system, replication and partitioning must be used to improve availability, latency, and scalability. In terms of architectural styles, microservice architecture, event-driven architecture, and service-based architecture are the most preferred architectural approaches for such system.

DOI: 10.7256/2454-0714.2022.1.37240

Аннотация: В данной работе рассматривается проблема разработки языковых расширений Planning C (диалекта C++). Проводится обзор существующих внешних программ и встроенных в языки решений, позволяющих транслировать вводимые в язык новые конструкции в выходной код. На основании анализа делается вывод о том, что наиболее естественным встроенным в язык решением будет некоторое сочетание улучшенных регулярных выражений (для выделения новых конструкций) с генераторами кода на базе процедурно-синтаксических макросов. При этом целесообразно применение элементов прямого логического программирования (как в макросах, так и в регулярных, точнее, регулярно-логических выражениях).   Предложенный подход позволяет более гибко выделять заменяемые конструкции по сравнению с шаблонными подходами и более просто заменять их выходным кодом в сравнении с подходами, основанными на манипуляциях с синтаксическим деревом. Описаны синтаксис и семантика предлагаемых решений. Предложена схема препроцессинга, реализующая выделение исходных конструкций сканерами (группами параметризованных регулярно-логических выражений) и их замену выходным кодом, реализуемую дедуктивными макромодулями (с возможным многократным согласованием). Такая схема позволяет работать с произвольными входным и выходным синтаксисами и обеспечивает оперативный ввод в Planning C новых конструкций, что особенно ценно, например, при прототипировании новых расширений. Работа содержит сведения об успешной апробации предложенных подходов (о разработке ряда синтаксически нетривиальных расширений Planning C).

DOI: 10.7256/2454-0714.2022.1.37730

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

DOI: 10.7256/2454-0714.2022.1.24631

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

DOI: 10.7256/2454-0714.2022.1.34337

Аннотация: Миграция вручную между различными сторонними библиотеками представляет собой проблему для разработчиков программного обеспечения. Разработчикам обычно необходимо изучить интерфейсы прикладного программирования обеих библиотек, а также прочитать их документацию, чтобы найти подходящие сопоставления между заменяющим и заменяемым методами. В этой статье я представлю новый подход (MIG) к машинному обучению, который рекомендует сопоставления между методами двух API библиотек. Моя модель учится на вручную найденных данных реализованных миграций, извлекает набор функций, связанных с подобием сигнатуры метода и текстовой документации. Я оценил модель с использованием 8 популярных миграций, собранных из 57 447 проектов Java с открытым исходным кодом. Результаты показывают, что модель может рекомендовать соответствующие сопоставления API библиотеки со средним показатель точности 87%.   В данном исследовании рассматривается проблема рекомендации сопоставления методов при миграции между сторонними библиотеками. Описан новый подход, рекомендующий сопоставление методов между двумя неизвестными библиотеками с использованием признаков, извлеченных из лексического сходства между именами методов и текстовым подобием документаций методов. Я оценил результат, проверяя, как данный подход и три других наиболее часто используемых подходов рекомендуют сопоставление методов миграции для 8 популярных библиотек. Я показал, что предлагаемый подход показывает гораздо лучшую точность и производительность, чем другие 3 метода. Качественный и количественный анализ результатов показывает увеличение точности на 39.51% в сравнении с другими широко известными подходами.