Аннотация: Объектом исследования являются серверные веб-приложения и их производительность при обработке большого количества одновременных запросов. В качестве предмета исследования рассматриваются асинхронные технологии (Node.js, Python Asyncio, Go, Kotlin Coroutines) и многопоточные модели (Java Threading, Python Threading). Авторы подробно анализируют асинхронные циклы событий, горутины, корутины и классические многопоточные подходы, оценивая их эффективность в задачах с интенсивным использованием I/O и вычислительных ресурсов. Проводится эксперимент с разработкой API на трёх языках (Java, Node.js, Go) и тестированием при помощи утилиты hey. Также исследуются особенности масштабируемости, оптимизации производительности, использование кэширования, обработка ошибок, нагрузочные тесты и особенности реализации параллельных вычислений. Цель исследования — определить, какие подходы обеспечивают наибольшую производительность в серверных приложениях.  Методы исследования включают нагрузочное тестирование, сбор метрик (время отклика, пропускная способность и потребление ресурсов сервера ) и анализ результатов. Научная новизна заключается в сравнении асинхронных и многопоточных методов в реальных сценариях веб-разработки. Основными выводами исследования являются рекомендации по использованию асинхронных технологий в высоконагруженных I/O задачах и многопоточности в вычислительно сложных сценариях. Полученные результаты помогут разработчикам оптимизировать производительность серверных приложений в зависимости от их задач и нагрузки. Дополнительно исследование рассматривает аспекты сложности отладки асинхронных приложений, влияние пулов потоков на производительность многопоточных решений, а также сценарии, в которых асинхронные и многопоточные подходы могут дополнять друг друга. Особое внимание уделено управлению ресурсами сервера при масштабируемых нагрузках, что позволит IT-специалистам более точно выбирать инструменты и технологии для решения конкретных задач. В заключении обсуждаются возможные пути оптимизации работы серверных приложений, включая использование новых подходов и алгоритмов, а также перспективы развития асинхронных и многопоточных технологий в контексте высоконагруженных систем, их влияние на общую архитектуру приложений, а также на повышение отказоустойчивости и безопасности.

Ключевые слова: асинхронность, многопоточность, производительность, серверные веб-приложения, нагрузочное тестирование, Node.js, Python Asyncio, Go горутины, Java Threading, производительность серверных приложений

Abstract: The object of the study is server-side web applications and their performance when processing a large number of simultaneous requests. Asynchronous technologies (Node.js, Python Asyncio, Go, Kotlin Coroutines) and multithreaded models (Java Threading, Python Threading). The authors analyze asynchronous event loops, goroutines, coroutines, and classical multithreaded approaches in detail, evaluating their effectiveness in tasks with intensive use of I/O and computing resources. An experiment is underway with API development in three languages (Java, Node.js, Go) and testing using the hey utility. It also explores the features of scalability, performance optimization, caching, error handling, load tests, and implementation features of parallel computing. The purpose of the study is to determine which approaches provide the highest performance in server applications.  Research methods include load testing, collection of metrics (response time, bandwidth, and server resource consumption), and analysis of the results. The scientific novelty lies in comparing asynchronous and multithreaded methods in real-world web development scenarios. The main conclusions of the study are recommendations on the use of asynchronous technologies in high-load I/O tasks and multithreading in computationally complex scenarios. The results obtained will help developers optimize the performance of server applications depending on their tasks and workload. Additionally, the study examines aspects of the complexity of debugging asynchronous applications, the impact of thread pools on the performance of multithreaded solutions, as well as scenarios in which asynchronous and multithreaded approaches can complement each other. Special attention is paid to server resource management under scalable loads, which will allow IT specialists to more accurately select tools and technologies for solving specific tasks. In conclusion, possible ways to optimize the operation of server applications are discussed, including the use of new approaches and algorithms, as well as the prospects for the development of asynchronous and multithreaded technologies in the context of highly loaded systems, their impact on the overall application architecture, as well as on increasing fault tolerance and security.

Keywords: Go goroutines, Python Asyncio, load testing, Node.js, server-side web applications, efficiency, Java Threading, multithreading, asynchrony, performance of server applications

Аннотация: Объектами исследования являются мобильные операционные системы и их оболочки. В качестве предмета исследования используется функциональность операционных систем Android, iOS и HarmonyOS, их история создания и тенденции развития. Авторы подробно рассматривают такие аспекты темы как, история создания операционных систем Android, iOS, HarmonyOS и оболочек TouchWiz, HTC Sense, MIUI и других, современные тренды в области мобильных операционных систем, которые отражают влияние технологических новинок и геополитических аспектов на развитие данной сферы. Проводят развернутый анализ ОС, используя приложения для тестирования производительности (AnTutu Benchmark, 3DMark Benchmark). Целью данного исследования является изучение истории развития мобильных ОС и оболочек от истоков до современных трендов технического прогресса. Методы исследования базируются на сборе и систематизации информации, анализе и сравнении систем, а также на тестах производительности. Научная новизна данной статьи заключается в использовании ОС и оболочек в мобильных устройствах, отвечающего всем запросам и требованиям пользователя, учитывая бурное развитие цифровых технологий и всё большее внедрение их в нашу повседневную жизнь. Основными выводами проведенного исследования являются выявление самой распространенной ОС, определение современных трендов, которые включают в себя интеграцию искусственного интеллекта, мультимодальность, обеспечение безопасности и конфиденциальности, а также расширение гибкости и портативности. Стремительное развитие технологий и вселенной мобильных приложений делает мобильные ОС и оболочки ключевыми компонентами успешного пользовательского опыта в мире мобильных технологий. Осознание истории и актуальных тенденций в сфере мобильных операционных систем и оболочек позволит более точно предугадать технологические изменения и потенциальные влияния в будущем.

Ключевые слова: оболочка, устройство, система, открытый исходный код, операционная, искусственный интеллект, мировой рынок, мобильная ОС, операционная система, программное обеспечение

Abstract: The objects of research are mobile operating systems and their shells. The subject of the study is the functionality of the Android, iOS and HarmonyOS operating systems, their history of creation and development trends. The authors consider in detail such aspects of the topic as the history of the creation of Android, iOS, HarmonyOS operating systems and TouchWiz, HTC Sense, MIUI and others shells, modern trends in the field of mobile operating systems, which reflect the influence of technological innovations and geopolitical aspects on the development of this sphere. They conduct a detailed analysis of the OS using performance testing applications (AnTuTu Benchmark, 3DMark Benchmark). The purpose of this research is to study the history of the development of mobile OS and shells from the origins to the current trends of technological progress. Research methods are based on the collection and systematization of information, analysis and comparison of systems, as well as performance tests. The scientific novelty of this article lies in the use of OS and shells in mobile devices that meet all the needs and requirements of the user, given the rapid development of digital technologies and their increasing introduction into our daily lives. The main conclusions of the study are the identification of the most common OS, the definition of modern trends, which include the integration of artificial intelligence, multimodality, security and privacy, as well as the expansion of flexibility and portability. The rapid development of technology and the universe of mobile applications makes mobile OS and shells key components of a successful user experience in the world of mobile technology. Understanding the history and current trends in the field of mobile operating systems and shells will allow to more accurately predict technological changes and potential impacts in the future.

Keywords: world market, artificial intelligence, operating, open source code, system, device, shell, mobile OS, operating system, software

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

Ключевые слова: инструментальный подход, Оберон, ограничение, компилятор, модульность, программирование управляемое данными, МультиОберон, СКАДА, Информатика-21, Метаданные

Abstract: Object-oriented approaches to programming have their own scope of applicability. For a number of tasks, preference is traditionally given to classical methods of structured programming. These preferences are not uncommon in a deterministic world and in machine-representation-oriented systems. Historically, classical methods developed from von Neumann's architecture of machine representation. While solving the problems of deterministic world the advantage of approaches, opposite to OOP is shown. For example, the Oberon modular language and system in classic distribution demonstrate minimalistic way of reliability, which differs from vast majority of program systems maximizing amount of features supported. Data-oriented programming technology also steps aside traditional object-oriented paradigm because data from code separation is needed. The instrumental approach proposed by author is linking Oberon technologies with data-oriented programming, keeping interface interaction mechanisms from OOP. The instrument with no data, but associated with data is introduced instead of an object. MultiOberon restrictive semantics makes an opportunity to turn off OOP restriction and switch on instruments usage. Instrument is instantiated automatically on program module loading. Instrument is queried either by its type or by the type of record associated. All the functionality is implemented in MultiOberon compiler. Instrumental approach was used for SCADA-platform software development, which targets complex automation and diagnostics. It is used in dynamically loaded plugins for data types matched shared memory data types. The instrumental approach offers a different branch of development from OOP for the classic Oberon programming language and the classical approach

Keywords: modularity, data oriented programming, MultiOberon, Metadata, Informatika-21, SCADA, instrumental approach, compiler, restriction, Oberon

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

Ключевые слова: протокол HTTP, протокол WebSocket, клиент-серверное приложение, совместное редактирование, определение конфликтов, разрешение конфликтов, язык программирования JavaScript, графическая схема, алгоритм, управляемость событиями

Abstract: In the modern world, teamwork is becoming more and more common. Different participants may be in different places, but they still need to work together on the same project, including graphic diagrams. An important aspect of this approach is the ability to observe changes made by other participants in real time. This allows, first of all, to reduce the frequency of conflicts when simultaneously editing the same schema element. However, existing solutions for sharing data in real-time collaborative editing of graphical diagrams face a number of problems, such as delays in data transmission. The subject of research in this article is the development of a minimum viable web application that allows users to perform collaborative graphical editing of a canvas in real time. The object of the study is a model of the process of collaborative editing in real time, taking into account the resolution of emerging conflicts. The research methodology is based on a theoretical approach to identifying mathematical formulas that describe changes in the state of a document when it is jointly edited by users. The characteristics of the use of the HTTP and WebSocket protocols in multi-user client-server applications are given. To use the WebSocket protocol, the Socket.IO library is used. The application server is built using the Express framework. The authors' main contribution to the topic is a model of the real-time collaborative editing process, as well as a mechanism for detecting conflicts for any number of users and a conflict resolution function for each pair of conflicting changes when online collaborative editing of documents. Within the framework of this study, an algorithm for collaborative editing of graphic schemes in real time is additionally proposed and its implementation in the form of a software system is given. The algorithm proposed as a result of the study in the JavaScript programming language can be used as a basis for developing more rich web applications using the Socket.IO library and be the object of future research affecting multi-user interaction and real-time conflict resolution.

Keywords: algorithm, graphic scheme, JavaScript programming language, conflict resolution, conflict detection, collaborative editing, client-server application, WebSocket protocol, HTTP protocol, event driven

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

Ключевые слова: визуальный трансформеры, сверточные нейронные сети, машинное обучение, анализ, гибридные нейронные сети, искусственный интеллект, компьютерное зрение, классификация, детекция, новый метод

Abstract: The scientific research is focused on conducting a study of current artificial neural network architectures in order to highlight the advantages and disadvantages of current approaches. The relevance of the research relies on the growing interest in machine learning technologies and regular improvement of computer vision algorithms.Within the scope of this paper, an analytical study of the advantages and disadvantages of existing solutions has been conducted and advanced SOTA architectures have been reviewed. The most effective approaches to improve the accuracy of basic models have been studied. The number of parameters used, the size of the training sample, the accuracy of the model, its size, adaptability, complexity and the required computational resources for training a single architecture were determined.Prospects for further research in the field of hybridization of convolutional neural networks and visual transformers are revealed, and a new solution for building a complex neural network architecture is proposed.In the framework of the present research work, a detailed analysis of the internal structure of the most effective neural network architectures.Plots of the accuracy dependence on the number of parameters used in the model and the size of the training sample are plotted. The conducted comparative analysis of the efficiency of the considered solutions allowed to single out the most effective methods and technologies for designing artificial neural network architectures. A novel method focused on creating a complex adaptive model architecture that can be dynamically tuned depending on an input set of parameters is proposed, representing a potentially significant contribution to the field of adaptive neural network design.

Keywords: new method, detection, classification, computer vision, artificial intelligence, hybrid neural networks, machine learning, analysis, convolutional neural netwroks, visual transformers

Аннотация: Целью работы является разработка мобильного приложения, которое может предоставлять возможность создания, редактирования учебного расписания. Предметом разработки является собственное мультиплатформенное мобильное приложение с использованием фреймворка Flutter. При разработке использовался архитектурный паттерн MVC, хранение данных было реализовано с помощью СУБД SQLite. Методология работы базируется на Scrum-методе, позволяющем разбить рабочий процесс на спринты, каждый из которых позволил сделать вывод о целесообразности реализации принятого решения. Функциональный анализ, как основной метод, позволил выявить базовые требования для удобного использования программы: просмотра расписания по датам календаря, автозаполнение полей, возможность создавать, редактировать и удалять учебную информацию. Для реализации было выбрано гибридное решение. Собственное мультиплатформенное мобильное приложение было разработано с использованием фреймворка Flutter. При разработке был использован архитектурный шаблон MVC. Хранение данных было реализовано с использованием СУБД SQLite. При проектировании базы данных были определены следующие объекты: предмет, учитель, аудитория, тип урока, время, дата, дата урока. Разработанное приложение готово к публикации в AppStore и Google Play. Результатом его использования станет улучшение коммуникации с обучаемыми, ускорение процессов создания и изменения расписания, а также сокращение времени на загрузку нужных данных.

Ключевые слова: архитектурный паттерн MVC, хранение данных, субд sqlite, база данных, фреймворк flutter, мобильное приложение, электронное расписание, расписание студента, мультиплатформенное решение, архитектурный шаблон

Abstract: The purpose of the work is to develop a mobile application that can provide the ability to create and edit a training schedule. The subject of development is a proprietary multiplatform mobile application using the Flutter framework. During the development, the MVC architectural pattern was used, data storage was implemented using the SQLite DBMS. The methodology of the work is based on the Scrum method, which allows you to break the workflow into sprints, each of which allowed you to conclude that it is advisable to implement the decision. Functional analysis, as the main method, allowed us to identify the basic requirements for convenient use of the program: view schedules by calendar dates, auto-fill fields, the ability to create, edit and delete educational information. A hybrid solution was chosen for implementation. Our own multiplatform mobile application was developed using the Flutter framework. During the development, the MVC architectural template was used. Data storage was implemented using SQLite DBMS. When designing the database, the following objects were defined: subject, teacher, audience, lesson type, time, date, lesson date. The developed application is ready for publication in the AppStore and Google Play. The result of its use will be improved communication with trainees, acceleration of the processes of creating and changing schedules, as well as reducing the time to download the necessary data.

Keywords: architectural template, MVC architectural pattern, data storage, sqlite dbms, database, flutter framework, mobile application, electronic schedule, student's schedule, multiplatform solution

Аннотация: Параллельное программирование – это способ написания программ, которые могут выполняться параллельно на нескольких процессорах или ядрах. Это позволяет программам обрабатывать большие объемы данных или выполнить более сложные вычисления за приемлемое время, чем это было бы возможно на одном процессоре. Преимущества параллельного программирования: увеличение производительности, распределение нагрузки, обработка больших объемов данных, улучшение отзывчивости, увеличение надежности. В целом, параллельное программирование имеет множество преимуществ, которые могут помочь улучшить производительность и надежность программных систем, особенно в условиях растущей сложности вычислительных задач и объемов данных. Однако параллельное программирование также может иметь свои сложности, связанные с управлением синхронизацией, гонками данных и другими аспектами, которые требуют дополнительного внимания и опыта со стороны программиста. В ходе тестирования параллельных программ можно получить неоднозначные результаты. Например, это может происходить, когда мы оптимизируем объединение данных типа float или double посредством методов For или ForEach класса Parallel. Подобное поведение программы заставляет усомниться в потокобезопасности написанного кода. Такой вывод может быть неправильным и преждевременным. Статья раскрывает возможную причину неоднозначности результатов, получаемых параллельной программой, и предлагает лаконичное решение вопроса.

Ключевые слова: Параллельное программирование, Язык программирования СиШарп, Многопоточность, Ошибки округления, Неоднозначность результатов, Потоковая безопасность, Вещественные числа, Тип decimal, Платформа NET, Класс Parallel

Abstract: Parallel programming is a way of writing programs that can run in parallel on multiple processors or cores. This allows programs to process large amounts of data or perform more complex calculations in a reasonable amount of time than would be possible on a single processor. The advantages of parallel programming: increased performance, load sharing, processing large amounts of data, improved responsiveness, increased reliability. In general, parallel programming has many advantages that can help improve the performance and reliability of software systems, especially with the increasing complexity of computational tasks and data volumes. However, parallel programming can also have its own complexities related to synchronization management, data races, and other aspects that require additional attention and experience on the part of the programmer. When testing parallel programs, it is possible to get ambiguous results. For example, this can happen when we optimize concatenation of float- or double-type data by means of For or ForEach methods of the Parallel class. Such behavior of a program makes you doubt about the thread safety of the written code. Such a conclusion can be incorrect and premature. The article reveals a possible reason for ambiguity of the results received by a parallel program and offers a concise solution of the question.

Keywords: Type decimal, Real numbers, Thread safety, Variability of results, Rounding errors, Multithreading, Programming language CSharp, Parallel programming, NET platform, Class Parallel

Аннотация: Язык и системы на базе Оберон в реализации демонстрируют минималистский подход для достижения надежности, существенного отличающийся от большинства программных систем, стремящихся к максимизации числа поддерживаемых функций. Требования к критически важным системам для АЭС категории А запрещают использование еще большего числа практик программирования. Для соответствия требованию категории А стабильного числа итераций устанавливается запрет использования операторов цикла по условию. Для обеспечения эргодичности используется запрет использования динамической памяти и рекурсии. Уязвимость типа переполнения буфера закрывается запрещением модуля системных операций SYSTEM. Ограничения могут быть установлены на выявление проблемы хрупкого базового класса, операции смены типа и использование вложенных процедур. Отмечено, что переход к диалекту Оберон-07 в основном коснулся дополнительных ограничений и хорошо встраивается в рамки ограничительной семантики. Вместо языков и диалектов под каждый набор требований автором предложен подход ограничительной семантики, при котором используется один язык с системой ограничений. В язык введен один оператор RESTRICT как декларация ограничений на данный модуль. Реализован компилятор МультиОберон с одним фронтендом, включающем систему ограничений, и несколькими сменными бэкендами. Продемонстрирован синтаксический анализ компилятора на примерах. Показана стратегия масштабирования компилятора в зависимости от системы требований. Новизной подхода ограничительной семантики является достижение набора минимально необходимых свойств, соответствующих требованиям к системе. Использование разработчиками систем подхода «от ограничений» является преимуществом, т.к. декларирует действительно необходимые свойства системы, увязанные с требованиями.

Ключевые слова: Оберон, Компонентный Паскаль, эргодичность, надежность ПО, ограничение, компилятор, синтаксическое дерево, семантический анализ, модульность, хрупкий базовый класс

Abstract: The Oberon-based language and systems in implementation demonstrate a minimalist approach to achieving reliability, significantly different from most software systems that seek to maximize the number of supported functions. The requirements for critical systems for Category A nuclear power plants prohibit the use of even more programming practices. In order to meet the category A requirement of a stable number of iterations, the use of conditional loop operators is prohibited. To ensure ergodicity, the prohibition of the use of dynamic memory and recursion is used. A buffer overflow type vulnerability is closed by prohibiting the system operations module SYSTEM. Restrictions can be set to identify the problem of a fragile base class, type change operations, and the use of nested procedures. It is noted that the transition to the Oberon-07 dialect mainly concerned additional restrictions and fits well into the framework of restrictive semantics. Instead of languages and dialects for each set of requirements, the author proposes an approach of restrictive semantics, in which one language with a system of restrictions is used. A single RESTRICT statement has been introduced into the language as a declaration of restrictions on this module. The Multioberon compiler is implemented with one frontend, including a system of restrictions, and several replaceable backends. The syntactic analysis of the compiler is demonstrated by examples. The strategy of scaling the compiler depending on the system requirements is shown. The novelty of the restrictive semantics approach is the achievement of a set of minimum necessary properties that meet the requirements for the system. The use of the "from limitations" approach by system developers is an advantage, because it declares the really necessary properties of the system, linked to the requirements.

Keywords: Oberon, Component Pascal, ergodicity, SW reliability, restriction, compiler, syntax tree, semantic analysis, modularity, fragile base class

Аннотация: Появление многоядерных архитектур чрезвычайно стимулировало область параллельных вычислений. Однако разработка параллельной программы и ручное распараллеливание унаследованных последовательных программных кодов являются трудоемкой работой, программист должен обладать хорошими навыками применения методов параллельного программирования. Данное обстоятельство определяет актуальность предмета исследования работы – разработка транслятора последовательного кода в параллельный. В статье приводится обзор существующих решений в рамках выбранного направления исследований, рассматриваются их преимущества и недостатки. Предлагается принцип формирования синтаксического дерева, который основан на JSON формате (текстовый формат обмена данными, основанный на JavaScript), и разбирается пример формирования синтаксического дерева на основе данного принципа. Результатом работы является подход к построению программной платформы трансляции последовательного кода в параллельный. Отличительной особенностью разработанной платформы является web-сервис, который потенциально позволяет расширить транслятор другими языками программирования. Взаимодействие с программной средой осуществляется посредством REST-запросов (HTTP-запросов, предназначенных для вызова удаленных процедур). Разработанная программная платформа состоит из трёх модулей: модуль обработки запросов, обеспечивающий взаимодействие с внешними системами посредством REST-запросов; модуль построения дерева, служащий для формирования синтаксического дерева на основе исходного программного кода; модуль преобразования кода, получающий параллельный программный код на основе синтаксического дерева.

Ключевые слова: многоядерные процессоры, параллельные вычисления, параллельное программирование, многопоточное программирование, автоматизированный транслятор, JSON формат, языки программирования, синтаксическое дерево, веб-сервис, REST-запросы

Abstract: The emergence of multicore architectures has extremely stimulated the area of parallel computing. However, developing a parallel program and manually paralleling inherited sequential program codes are time-consuming work. The programmer should have good skills in using parallel programming methods. This fact determines the relevance of the subject of the research – the development of a serial-to-parallel code translator. The article gives a review of existing solutions in the chosen direction of research and considers their advantages and disadvantages. The principle of formation of a syntactic tree which is based on JSON format (the text format of data exchange based on JavaScript) is offered and an example of formation of a syntactic tree on the basis of this principle is considered. The result of the work is an approach for building a program platform for translating sequential code into parallel code. The distinctive feature of the developed platform is the web-service, which potentially allows you to extend the translator with other programming languages. The interaction with the programming environment is realized by means of REST-requests (HTTP-requests designed to call remote procedures). The developed software platform consists of three modules: the query processing module, which provides interaction with external systems through REST-requests; the tree building module, which forms a syntax tree on the basis of the source program code; the code conversion module, which obtains parallel program code on the basis of the syntax tree.

Keywords: programming languages, JSON format, automated translator, multithreaded programming, parallel programming, parallel computing, multicore processors, syntax tree, web service, REST requests

Аннотация: Привычные пользователю текстовые редакторы такие как Microsoft Word, Notepad++ и другие являются «громоздкими». При своем огромном функционале они не исключают риска неправильной конвертации документа, например, при открытии тех же Word-файлов на более старых или наоборот более новых версиях Microsoft Word. Выходом является применение языков разметок, которые позволяют маркировать блоки текста в целях их представления в нужной стилистике. В настоящее время большую популярность имеют LaTeX (набор макрорасширений системы компьютерной вёрстки TeX) и Markdown (облегчённый язык разметки, созданный с целью обозначения форматирования в простом тексте). Поэтому актуален вопрос преобразования Markdown-документа в LaTeX-документ. Существуют различные инструменты конвертации Markdown-файлов в LaTeX-документ, например, библиотека Pandoc, Markdown.lua, Lunamark и другие. Но большинство из них имеют избыточные шаги по формированию выходного документа. В данной статье освещается метод решения посредством интеграции Markdown-файла в LaTeX-документ, который потенциально позволит сократить время формирования выходного документа в отличие от существующих решений. Разработанный конвертер Markdown-файлов в LaTeX-документ позволит автоматически получить результирующий документ и снизить вероятность ошибок при ручном преобразовании текста из Markdown-формата в LaTeX-формат.

Ключевые слова: Markdown, LaTeX, программирование, конвертер, Python, язык разметки, Overleaf, преобразование текста, Word, регулярные выражения

Abstract: Common text editors such as Microsoft Word, Notepad++ and others are cumbersome. Despite their enormous functionality, they do not eliminate the risk of incorrectly converting the document, for example, when opening the same Word files on older or, conversely, newer versions of Microsoft Word. The way out is the use of markup languages, which allow you to mark up text blocks in order to present them in the desired style. Currently, very popular are LaTeX (a set of macro-extensions of the TeX typesetting system) and Markdown (a lightweight markup language, designed to denote formatting in plain text). So the question of converting a Markdown document into a LaTeX document is relevant. There are various tools to convert Markdown files to LaTeX document, such as Pandoc library, Markdown.lua, Lunamark and others. But most of them have redundant steps to generate the output document. This paper highlights a solution method by integrating a Markdown file into a LaTeX document, which will potentially reduce the output document generation time unlike existing solutions. The developed Markdown to LaTeX document converter will automatically generate the output document and reduce the possibility of errors when manually converting text from Markdown format to LaTeX format.

Keywords: text conversion, Overleaf, markup language, Python, converter, programming, LaTeX, Markdown, Word, regular expressions

Аннотация: Когда была выпущена первая версия .NET Framework в обогащенных клиентских приложениях существовал шаблон, ориентированный на циклы обработки сообщений, где использовалась встроенная очередь для передачи единиц исполнения из рабочих потоков. Далее было разработано обобщенное решение ISynchronizeInvoke, в рамках которого поток-источник может поставить делегат в очередь к потоку-приемнику и, как необязательный вариант, ожидать завершения этого делегата. После введения поддержки асинхронных страниц в архитектуру ASP.NET шаблон ISynchronizeInvoke не походил, так как асинхронные ASP.NET-страницы не сопоставлены с единственным потоком. Это стало причиной создания ещё более обобщенного решения – SynchronizationContext, что и является предметом исследования. В статье на практических примерах представлено, как следует обновлять элементы пользовательского интерфейса из рабочих потоков, не нарушая потокобезопасность пользовательского приложения. В этом аспекте предлагаются решения: с применением методов Beginlnvoke или Invoke для постановки этого делегата в очередь сообщений потока пользовательского интерфейса; с захватом контекста синхронизации потока пользовательского интерфейса посредством свойства Current класса SynchronizationContext; с применением устаревшего класса BackgroundWorker, обеспечивающий неявный захват контекста синхронизации потока пользовательского интерфейса. Не оставлена без внимания особенность реализации абстрактного класса SynchronizationContext в платформе ASP.NET. Сформированы практические рекомендации по использованию механизма маршализации на примере разработки мультиклиентного чата с централизованным сервером.

Ключевые слова: параллельное программирование, NET Framework, делегаты, контекст синхронизации, Universal Windows Platform, Windows Presentation Foundation, Windows Forms, многопоточность, программирование, шаблоны проектирования

Abstract: When the first version of the .NET Framework was released, there was a pattern in enriched client applications that focused on message processing loops, where an embedded queue was used to pass execution units from worker threads. A generalized ISynchronizeInvoke solution was then developed in which the source thread could queue a delegate to the destination thread and, as an optional option, wait for that delegate to complete. After asynchronous page support was introduced into the ASP.NET architecture, the ISynchronizeInvoke pattern did not work because asynchronous ASP.NET pages are not mapped to a single thread. This was the reason for creating an even more generalized solution – SynchronizationContext, which is the subject of the research. The article uses practical examples to show how to update UI elements from worker threads without breaking thread-safety of the user application. Solutions proposed in this aspect are: using Beginlnvoke or Invoke methods to put this delegate into the UI thread message queue; capturing the UI thread synchronization context via the Current property of the SynchronizationContext class; using the deprecated BackgroundWorker class, which provides an implicit capture of the UI thread synchronization context. The peculiarity of implementation of the SynchronizationContext abstract class in ASP.NET platform is not left unnoticed. Practical recommendations on the use of marshalling mechanism on the example of development of multiclient chat with a centralized server are formulated.

Keywords: parallel programming, NET Framework, delegates, Universal Windows Platform, synchronization context, Windows Presentation Foundation, Windows Forms, multithreading, programming, design patterns

Аннотация: Объектом исследования являются протоколы взаимодействия (API - Application Programming Interface) микросервисов. API микросервисов является важным объектом разработки, т.к. микросервисы создаются разными командами разработчиков и, не смотря на это, могут быть зависимы друг от друга. Для построения единой системы взаимодействия микросервисов использована методология синхронизации протоколов общения серверных приложений API-First. Целью работы является создание метода разработки API микросервисов серверных java-приложений с использованием библиотек spring. Метод основывается на том, что API декларируется как главная часть разработки микросервисных приложений и поэтому создается на начальном этапе проектирования. Предложен подход, основанный на едином API микросервисов и технике тестирования TDD, повышающий эффективность управления разработкой серверных java-приложений. API микросервисов создается с использованием спецификации в качестве API-артефакта. Разработанная методика позволяет: использовать созданный API другой командой независимо от языка проекта; увеличить производительность команд разработки; качественно документировать методы и модели; уменьшить объем ручного написания программ, т.к. код генерируется автоматически из спецификации; выявить ошибки дизайна API раньше, чем в традиционном подходе к проектированию (code-frist) за счет применения TDD и работы с API до его реализации.

Ключевые слова: цикл разработки, сервер приложений, микросервисы, техника TDD, тестирование, code-frist, API-First, API, Rest клиент, spring

Abstract: The object of research is the interaction protocols (API - Application Programming Interface) of microservices. The microservices API is an important development object because each microservice can be a client for any other microservice and be created by a separate team. To build a unified system of interaction between microservices, the API-First methodology for synchronizing communication protocols for server applications was used. The aim of the work is to create a way to develop API microservices of server java applications using spring-boot, spring-web, openapi-generator, springdoc libraries. The method is based on the fact that the API is the most important part of the product and therefore is created at the initial design stage. An approach based on a single microservices API and TDD testing technique is proposed, which increases the efficiency of managing the development of server-side java applications. The microservices API is built using the specification as the API artifact. The developed technique allows: use the created API by another team, regardless of the development language; increase the productivity of development teams; to carry out a qualitative description of methods and models; reduce the amount of routine code by generating code from the specification; identify API design errors earlier than with the standard development approach (API after implementation) by applying TDD and working with the API before it is implemented.

Keywords: Rest client, development cycle, Application server, microservices, TDD technique, testing, code-frist, API-First, API, spring

Аннотация: В статье освещаются аспекты разработки интерпретатора LISP. Несмотря на то, что язык LISP это не самый популярный в настоящие дни (в индексе TIOBE за ноябрь 2022 года данный язык стоит на 30-м месте), проделанная авторами работа является актуальной. Многие популярные на сегодня идеи и программные технологии были впервые разработаны с помощью LISP-машин. Разработанный интерпретатор позволяет программисту избегать определения элементов программы (функции, классы и др.) без необходимости. Также результат разработки позволяет запустить любую сущность LISP, которая возвращает осмысленный результат. Современные интерпретаторы LISP не имеют возможности перегрузки функций из-за чего пользователям приходится заучивать огромное количество имен функций, действия которых однотипны. Это значительно усложняет процесс обучения, так как приходится искать в документации названия примитивных функций. Из-за этого большая часть потенциальных пользователей бросает обучение, возвращаясь к современным языкам программирования, так и не познав возможности языка LISP. Статья раскрывает создание интерпретатора LISP, способного по простоте взаимодействия с объектами конкурировать с современными языками программирования. Также в статье предлагается подход, обеспечивающий механизм сборки мусора посредством подсчета ссылок на объекты.

Ключевые слова: common lisp, lateral lisp, lisp программирование, языки программирования, язык C, сборщик мусора, разработка интерпретатора, интерпретатор lisp, объектно-ориентированное программирование, функциональное программирование

Abstract: The article highlights aspects of the development of the LISP interpreter. Despite the fact that LISP is not the most popular language these days (in the TIOBE index for November 2022, this language is in 30th place), the work done by the authors is relevant. Many popular ideas and software technologies today were first developed using LISP machines. The developed interpreter allows the programmer to avoid defining program elements (functions, classes, etc.) unnecessarily. Also, the development result allows you to run any LISP entity that returns a meaningful result. Modern LISP interpreters do not have the ability to overload functions, which is why users have to memorize a huge number of function names whose actions are of the same type. This greatly complicates the learning process, since you have to look for the names of primitive functions in the documentation. Because of this, most of the potential users drop out of training, returning to modern programming languages, without knowing the possibilities of the LISP language. The article reveals the creation of a LISP interpreter capable of competing with modern programming languages in terms of ease of interaction with objects. The article also suggests an approach that provides a garbage collection mechanism by counting references to objects.

Keywords: lisp interpreter, interpreter development, garbage collector, C language, programming languages, lisp programming, object-oriented programming, lateral lisp, common lisp, functional programming

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

Ключевые слова: управление очередностью транзакций, расширение языка, синтаксические конструкции, библиотека классов, объектно-ориентированное программирование, динамическая транзакционная память, язык программирования, программная транзакционная память, Силк Плюс Плюс, сеть транзакций

Abstract: In this paper, we consider the problem of developing compact tools that support programming in dynamic transactional memory, implying operational generation of transactional pages, for the Cilk++ language. It is argued that such an implementation requires weakened transaction isolation. The current state of the problem is analyzed. It is noted that the existing solutions are quite cumbersome, although they allow you to work with complex data structures such as lists and trees. It is argued that it is necessary to develop new solutions in the style of minimalism based on the use of specialized classes (generating transactional pages; implementing consistent transactional variables) in combination with a set of keywords characteristic of Cilk++.   Appropriate new solutions are proposed. New syntax elements are introduced, implemented using language extension tools specific to the Planning C platform. The semantics of new language elements is described. It is noted that, unlike analogues, the developed tools allow declaratively to "build" transactions into a network (network schedule of work), which determines the order of execution of transactions and the potential for parallelism that exists at the same time. The proposed approach was tested on the example of the task of constructing a histogram. It is also mentioned about the successful solution, using the developed tools, of the problem of training an artificial neural network by the method of error back propagation and the problem of integer linear programming by the method of branches and boundaries.

Keywords: Cilk++, software transactional memory, managing the order of transactions, language extension, syntactic constructions, class library, object-oriented programming, dynamic transactional memory, programming language, transaction network

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

Ключевые слова: вещательно-производственный комплекс, процессы автоматизации, нейронные сети, голосовое управление, производство программ, автоматизация, телеиндустрия, телевидение, радиовещание, цифровизация

Abstract: In the TV and radio industry, the efficiency of the hardware and software of broadcast production complexes is the basis of competitive advantage, and therefore, in the context of global digitalization, television industry companies face the task of constantly improving broadcast production complexes. Such improvement is largely provided by new technologies, some of which are aimed at automating broadcasting processes. In the article, the author analyzes the existing problems of automation of broadcast production complexes and concludes that such problems are caused by the desire of TV and radio companies to replace the traditional approach to the production of programs using a team of specialists with software.   However, the effectiveness of this approach is questionable, especially if the release of the program is associated with live work, where in an uncertain situation it is not possible to react promptly to any events using automated software. Hence, automation of production processes in the field of broadcasting becomes an effective and economical technology only with the correct configuration of the software and careful calculation of automation prospects. The real prospects for automation of broadcast production complexes are currently in almost unexplored areas for the television sphere - the areas of voice control, which is based on artificial intelligence based on various algorithms for training artificial neural networks, which requires additional study and development of an appropriate model adapted to a specific task.

Keywords: digitalization, radio broadcasting, television, TV industry, automation, production of programs, broadcasting and production complex, automation processes, neural networks, voice control

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

Ключевые слова: язык программирования, Planning C, расширение языка, синтаксические макросы, процедурные макросы, текстовые трансформации, дедуктивные макросы, регулярные выражения, логическое программирование, препроцессинг

Abstract: In this paper, the problem of developing language extensions of Planning C (a dialect of C++) is considered. The review of existing external programs and solutions built into languages that allow translating new constructions introduced into the language into the output code is carried out. Based on the analysis, it is concluded that the most natural solution built into the language will be some combination of improved regular expressions (to highlight new constructions) with code generators based on procedural and syntactic macros. At the same time, it is advisable to use elements of direct logical programming (both in macros and in regular, more precisely, regular-logical expressions).   The proposed approach makes it possible to more flexibly allocate replaceable constructs in comparison with template approaches and more simply replace them with output code in comparison with approaches based on manipulations with the syntax tree. The syntax and semantics of the proposed solutions are described. A preprocessing scheme is proposed that implements the selection of initial constructions by scanners (groups of parameterized regular logical expressions) and their replacement with output code implemented by deductive macromodules (with possible multiple matching). This scheme allows you to work with arbitrary input and output syntaxes and provides prompt input of new constructions into Planning C, which is especially valuable, for example, when prototyping new extensions. The paper contains information about the successful testing of the proposed approaches (on the development of a number of syntactically non-trivial extensions of Planning C).

Keywords: deductive macros, text transformations, procedural macros, syntactic macros, language extension, Planning C, programming language, regular expressions, logic programming, preprocessing

Аннотация: 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.

Ключевые слова: Summarization, Data sampling criteria, Content aggregation stages, Fuzzy duplicates detection, Web crawling, Distributed system architecture, Content aggregation, High load system, Poisson process, Microservices architecture

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

Ключевые слова: Визуальное восприятие, Зрительная система, Программный модуль, Стимульный материал, Цветовое решение, Постобработка, Вычислительный эксперимент, Информационная модель данных, Метод ранжирования, Дисперсионный анализ

Abstract: In the article, the authors describe the developed and tested methodology for conducting a computational experiment to study the effect of color solutions on the visual perception of a video frame by the viewer. The developed technique is designed to assess the subjective emotional reaction of the viewer that occurs at the final stage of the human visual system when perceiving visual information. The article describes methods of preparation of stimulus material, methods of conducting an experiment using a developed software module located on a network resource. The authors have developed a methodology for conducting an experiment with online testing, the information structure of the database, a questionnaire for collecting information, the form of testing by the subjects, algorithms for statistical processing of the results of the experiment. This study is based on the results of a series of experiments conducted using a software and hardware complex for fixing oculomotor activity - an eye tracker, which allows obtaining objective parametric data of a template for viewing stimulus material. The technique described in the article is an addition to the experimental study using the eytracking technology. The results of the experiment should be used in the development of textbooks on color correction, as well as in the design of control interface elements. The methodology is programmatically implemented and tested in the local network of Peter the Great St. Petersburg Polytechnic University. It is planned to finalize the Internet survey module and conduct a global experiment with subsequent statistical processing of the results.

Keywords: Information data model, Computational experiment, Post-processing, Color scheme, Incentive material, Software module, Visual system, Visual perception, Ranking method, Analysis of variance

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

Ключевые слова: логическое программирование, рекурсия, рекурсивное правило, условие окончания рекурсии, Prolog, механизм выполнения, процессах сопоставления, поиск с возвратом, предикаты, логические утверждения

Abstract: One of the developing trends in programming is the logic programming associated with the implementation of tools for creating artificial intelligence. One of such programming languages is the nonprocedural declarative logic programming language Prolog. This article is dedicated to the use of recursive rules in Prolog software. The goal of this work lies in analysis of the methods for completing recursive calls in recursive rules, as well as in explication of the use of such methods on the examples of programs with recursion. The author explores the specialized literature on the topic, generalized and systematizes the data, as well as tested the programs and the progress of their implementation. Recursive rule in the Prolog software sets an infinite cycle of repetition of predicates. For completing the recursive cycle, it is necessary to set a condition within the program that would end the cycle. The article examines the variants of organizing recursions with the completion of infinite cycle. The examples used in the article allows using them as the basis for programming in language Prolog for solving similar tasks. The acquired results are valuable for further development of the use of recursive predicates in logic programming languages.

Keywords: search with a refund, mapping processes, execution mechanism, Prolog, recursion end condition, recursive rule, recursion, logic programming, predicates, logical statements

Аннотация: Предметом исследования является алгоритма поиска беспетельных маршрутов от отправителя к получателю сетевого трафика, в условиях известной сетевой топологии. При проектировании сети передачи данных одной из главной проблемой является формирование маршрутизации сетевого трафика, так как при интенсивном трафике не редко возникают узкие места в виде перегруженного узла связи, что способствует снижению скорости передачи данных. В данной статье приведен алгоритм поиска беспетельных маршрутов от отправителя к получателю сетевого трафика, где результат представлен в виде набора беспетельных маршрутов, в соответствии с заданной сетевой топологией. Также представлен программный код алгоритма, написанный на языке C# и результаты тестовых решений заданных топологий. Разработка алгоритма осуществлялась экспериментально-теоретическим методом, на основе известных алгоритмов поиска маршрутов, таких как алгоритм Флойда и алгоритм Дейкстры, а также механизмов статической и динамической маршрутизации, на примере RIP, OSPF и EIGRP. Новизна исследования заключается в разработанном алгоритме поиска беспетельных маршрутов от отправителя к получателю, в условиях известной сетевой топологии, а также в сопоставлении полученных результатов с другими методами формирования фазовых переменных. В результате работы алгоритма, получаем сформированный список всех беспетельных маршрутов в исследуемой сетевой топологии между парой взаимодействующих узлов.

Ключевые слова: Беспетельные маршруты, фазовые переменные, маршрутизация, алгоритмы на графах, маршрутизатор, граф, вершина, матрица, массив, список

Abstract: The subject of this research is the search algorithm for loopless routes from transmitter to the recipient of network traffic in the conditions of a known network topology. In designing data transmission network, one of the primary problems is the formation of network traffic routing, due to the fact that heavy traffic often cause the occurrence of bottlenecks in form of the overloaded communication node, which results in speed reduction of data transmission. This article provides the search algorithm for loopless routes from transmitter to the recipient of network traffic; the result is presented as a set of loopless  routes in accordance with the specified network topology. The article also provides the software code of the algorithm written in the C# language, as well as the results of test solutions of the specified topologies. The algorithm was developed via experimental and theoretical methods, on the bases of the available route search algorithms, such as Floyd's algorithm and Dijkstra's algorithm, as well as mechanisms of static and dynamic routing, such as RIP, OSPF, and EIGRP. The novelty of this work consists in elaboration of search algorithm for loopless routes from transmitter to the recipient in the conditions of the available network topology; and in comparison of the acquired results with other methods of formation phase variables. This algorithm allows generating a list of all loopless routes within the indicated network topology between the pair of interacting nodes.

Keywords: router, graph algorithms, routing, phase variables, Loopless routes, graph, vertex, matrix, array, list

Аннотация: Работа посвящена изучению важной тенденции последних десятилетий – автономизации финансов местных сообществ. Объектом исследования являются замкнутые на территории цепочки производства и потребления, обеспечивающие этой территории определенную экономическую автономность. Наличие замкнутых сбалансированных финансовых потоков в этих цепочках создает условия для автономизации финансов местного сообщества. Целью работы является моделирование сценариев развития местного сообщества с замкнутыми контурами производства и потребления. Исследование основано на анализе данных банковских транзакций крупнейшего банка страны произведенных в течение одного месяца между юридическими лицами на территории городского округа с населением 75 тысяч человек.       По результатам анализа выявлен кластер из 59 компаний (агентов), транзакции между которыми образуют сеть с замкнутыми контурами. Внутри кластера выделено ядро из 12 компаний, наиболее тесно взаимодействующих друг с другом. Исследуются различные сценарии развития ядра из 12 компаний до размеров кластера из 59 компаний. Целевым экономическим параметром является объем сбалансированных платежей внутри сети и его доля в общем обороте внутри сети. Структурные параметры образующихся сетей рассчитываются согласно SNA-методологии (Social Network Analysis). Обсуждается потенциал той или иной стратегии развития местного сообщества в контексте автономизации их финансов.

Ключевые слова: местное сообщество, автономизация, В2В, финансы, эксперимент, моделирование, сценарии развития, транспортная задача, замкнутые финансовые потоки, экспериментальные экономические модели

Abstract: This work is dedicated to examination of an important trend of recent decades – the financial autonomy of local communities. The object of this research is the enclosed on the territory production and consumption chains, which ensure certain economic autonomy to this area. The presence of enclosed balanced financial flows in these chains creates the conditions for autonomization of finances of the local community. The goal of this article consists in modelling of scenarios for the development of local community with enclosed production and consumption circuits. The research employs data analysis of bank transactions of the country’s largest bank conducted within one month between the legal entities of in city district with 75,000 population. The results of analysis reveal the cluster consisting of 59 companies (agents), the transactions between which comprise a circuit network. Within the cluster was outlined the core consisting of 12 companies that closely interact with each other. The author explores various development scenarios for the aforementioned 12 core companies to the size of cluster that consists of 59 companies. The target economic parameter is the volume of balanced payments within the network and its share within the total network turnover. The structural parameters of forming networks are calculated by SNA methodology (Social Network Analysis). The article discusses the potential of one or another development strategy for the local community in the context of autonomization of their finances.

Keywords: Transportation theory, development scenarios, modeling, experiment, finance, B2B, autonomization, local community, closed financial flows, Experimental economic models

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

Ключевые слова: задача преследования, преследующий объект, объект преследования, локальная система координат, динамическая система координат, точечный базис, анализ координат, встроенный решатель, Лиса, Кролик

Abstract: This article provides a description of the developed models of the behavior of objects in the pursuit problem, as well as the pursuer and the pursued. The purpose of the conducted research is the development of algorithms for autonomous robotic complexes. In the proposed behavior models, local dynamic coordinate systems are introduced, which are formed by the direction of motion of the objects. During a certain period of time, the object must decide in which direction it should move depending on the result of the analysis of the coordinates of the second object. According to the proposed models of the behavior of objects in the pursuit problem, programs have been written in the computer math system “MathCAD”, which can be found on the author’s website. Due to the fact that the object, when moving in space, cannot instantly change the direction of motion, in our problems “inertness” is modeled using the angular velocity of rotation. The results of the programs obtained animated images of the movement of objects, references to which are given in the text of the article.

Keywords: coordinate analysis, dot basis, dynamic coordinate system, local coordinate system, object of prosecution, pursuing object, pursuit task, built-in solver, Fox, Rabbit

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

Ключевые слова: численная модель, уравнение Гарднера, численное моделирование, внутренние волны, многопроцессорные системы, профилировщик кода, параллельные технологии, анализ производительности, параллельные алгоритмы, гидрологические данные

Abstract: In this article the author considers the development of a parallel algorithm to speed up calculations in an applied scientific problem. Particular attention is paid to software code profiling tools. The use of such tools allows you to quickly select portions of code for parallelization. The libraries and technologies of parallel code implementation for multiprocessor systems with shared memory are considered. Discusses approaches to writing programs based on threads and task-based. The stages of developing a parallel code by changing the sequential code are considered. An analysis of the execution time of application functions using the VTune tool is given. A method for parallelization of tasks based on the TBB library is proposed. Shows the implementation of the code allows you to perform parallel calculations. As a result of this work, a new parallel algorithm was developed to solve the problem of finding the characteristics of internal waves in the ocean within the framework of the weakly nonlinear theory. The obtained algorithm was analyzed, metrics of efficiency were obtained. Acceleration has been achieved, which allows making calculations of maps of two-dimensional distributions 39 times faster than a sequential algorithm on a 56 nuclear computing server. The results obtained will be applied further in the study of internal waves in the ocean, as well as will increase the effectiveness of research in the calculation of maps of parameters of a larger scale.

Keywords: numeric simulation, internal waves, multicore systems, code profiler, parallel technologies, performance analysis, parallel algorithms, Gardner equation, numeric model, hydrological data

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

Ключевые слова: язык программирования python, библиотека asyncio, асинхронное программирование, веб-краулинг, парсинг, сопрограммы, скрапинг, GIL, параллельные вычисления, извлечение данных

Abstract: The subject of the study is the study of the basic principles of asynchronous programming with the Asyncio package and their application for solving applied problems in Python. Since the Python interpreter uses the Global Interpreter Lock synchronization method, which limits the ability to parallelize programs in the given language and, as a result, does not allow achieving the greatest efficiency, the use of asynchronous programming technologies allows to significantly increase the speed of programs in this language, avoiding the mentioned limitations. The above described approach to creating programs is used in many tasks, for example: when creating a web server, client-server application, when extracting data from a resource by a web crawler. This paper is devoted to explaining the basic principles of working with the packageAsyncio in Python. Since the Russian-language literature on this package is often not enough to understand the basics of asynchronous programming in Python, this article gives examples of the use of this technology with explanations.

Keywords: scraping, couroutines, parsing, web-crawling, asynchronous programming, asyncio library, python programming language, GIL, parallel computing, data extraction

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

Ключевые слова: многоракурсная система, биполярная система, формирование 3D, разработка мобильных роботов, алгоритмы, методы, техническое зрение, цифровая обработка, мультисенсорная система, робототехнические комплексы

Abstract: To date, the problem of developing systems, algorithms and methods for spatial orientation and navigation of robots remains one of the most urgent problems. The subject of the study are multi-angle and bipolar systems of technical vision, as well as an algorithm for the formation of 3D models of the surface of objects. The author examines in detail such aspects in the development of mobile robots, as ways of obtaining information about the three-dimensional scene, estimation of the depth of the scene, integration, the method of constructing epipolar lines, some elements of virtual reality are touched upon. Applied approaches in the work are based on the methods of digital image processing, image recognition, discrete transformations and system analysis, a method for constructing epipolar lines is given. The work also considers the formation of 3D models of the surface of the object in the systems of technical vision, applied to mobile robots, an algorithm for determining the distance to the points on the surface of the object in the systems of technical vision on the mobile robot. The results of the research can be applied in systems for modernizing the management, monitoring and processing of information, providing more accurate technical vision in the development of mobile and autonomous robots, which in turn can affect the import substitution and the overall economic component of the use and development of robotic systems and systems.

Keywords: technical vision, methods, algorithms, the development of mobile robots, forming a 3D, bipolar system, Multi-angles system, digital processing, Multi-Sensor system, robotic systems

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

Ключевые слова: трансляция, обратная трансляция, декомпиляция, регулярные выражения, язык программирования, компиляция, исполняемый модуль, объектный код, дерево разбора программы, описание данных

Abstract: The subject of the study is the process of decompiling the source code of programs into high-level languages. The author shows the decompilation point in the program transformation cycle which includes the processes of canonization, compilation, optimization, and decompilation. The object of the study is the compiled equivalent of the static data description on a high level programming language, which in general case is a nontrivial mapping of syntactic constructions on a high level programming language into a byte sequences located in executable program modules and constructed considering various optimization techniques for this microprocessor architecture. The paper reviews the static data decompilation process as reconstruction of the parse tree of the program, which is recovered during the analysis of its executable code and as a binary sequence in the memory of the von Neumann machine, which is analyzed by the regular expression created by the decompiler from the supposed description of the data. Regular expressions are traditionally used to analyze character sequences. The article presents another area of application of this tool – for proving the hypothesis that this byte array of the executable module is the equivalent of compiled static data. The author suggests a variant of the corresponding syntax of the regular expression language. The article shows that the proposed method can be used to further verify the quality of the decompiled code.

Keywords: object code, executable module, compilation, program language, regular expression, decompilation, reverse translation, translation, program parsing tree, data definition

Аннотация: В последнее время виртуальные миры неуклонно расширяют сферу своего применения в образовании. Тренажеры, симуляции, ролевые и серьезные игры являются наиболее удачными для обучения в виртуальных средах. Важной частью вышеперечисленных подходов к обучению являются педагогические агенты (боты), которые участвуют в процессе обучения и помогают студенту выполнить учебное задание. В виртуальном мире vAcademia поддерживается реализация активных форм обучения с помощью языка vJS, однако использование и программирование ботов до настоящего времени было недоступно. В статье рассматривается система управления ботами, которая позволяет каждому пользователю vAcademia размещать и настраивать ботов, а также задавать их поведение с помощью расширенного языка vJS. Программирование поведения ботов реализовано на основе использования объектно-ориентированного подхода, автосинхронизируемых функций, возможности задания последовательности выполнения асинхронных действий, а также организации взаимодействия с пользователем на основе озвученных текстовых диалогов с выбором варианта ответа. Взаимодействие с запрограммированными ботами может быть записано в виде 3D-записи для последующего просмотра, что имеет большое значение в образовательной сфере.

Ключевые слова: виртуальные миры, виртуальные среды, образовательные инструменты, виртуальность, боты, языки программирования, скрипты, встроенные языки программирования, синхронизация, аватары

Abstract: nowadays the field of application of virtual worlds in education grows steadily. Training systems, simulators, role and serious games are the most successful solutions for education in virtual environments. An important part of the above mentioned approaches to education is usage of pedagogical agents (bots), participating in the learning process and helping students to complete educational assignment. The vAcademia virtual world supports implementations of active learning forms through vJS programming language, however bots programming and using was so far unavailable. The article reviews system of bot managing, which allows each user of vAcademia to place and to configure bots, as well as to set their behavior via extended vJS language. Programming of bots’ behavior is based on the objectoriented approach, auto synchronized functions, specifying sequences of asynchronous actions and organization of bot-user interaction through voiced dialogs with pre-defined multiple-choice answers. The interaction with preprogrammed bots can be saved in the form of 3D-record for further viewing, which is highly important in sphere of education.

Keywords: virtual worlds, virtual environments, learning tools, virtuality, bots, programming languages, scripts, built-in programming languages, synchronization, avatars

Аннотация: С расширением масштаба применения виртуальных миров в образовании становится необходимым предоставить учителям и ученикам не только возможность размещать в виртуальной реальности объекты, но и задавать поведение и взаимодействие объектов. В данной статье описывается язык программирования vJS, разработанный для виртуального мира vAcademia, а также эффективная программная архитектура среды выполнения этого языка. vJS базируется на стандартном языка JavaScript, язык расширен набором функций, делающим программирование виртуальном реальности максимально простым. vJS позволяет программировать многопользовательские тренажеры, симуляции и игры, организовывать программную поддержку ролевых игр и, так называемых, «серьезных игр». В отличие от аналогов vJS исполняется на каждом клиенте виртуального мира, основан на задании реакции на события 3D-объекта, программа привязана не к 3D-объекту, а к локации, язык содержит большое число функций, результат выполнения которых автоматически синхронизируется. Процесс взаимодействия пользователя с vJS-программой может быть записан в форме 3D-записи, что имеет большое практическое значение.

Ключевые слова: виртуальные миры, виртуальная реальность, язык программирования, vJS, JavaScript, тренажеры, симуляции, синхронизация, ролевые игры, серьезные игры

Abstract: with the increasing use of virtual worlds in education it becomes necessary not only to give teachers and students the ability to place objects in virtual reality, but also allow specifying the behavior and interaction of objects. The article describes vJS programming language, developed for virtual world vAcademia, and also an effective software architecture for vJS runtime environment. vJS is based on the JavaScript programming language enriched with a set of features making programming of virtual reality as simple as possible. vJS allows to program multiuser simulators, simulations and games, carry out software support for role-play games and so-called “serious games”. vJS as distinct from similar languages runs in each client of virtual world. It is based on specifying responds to events of 3D-objects and the program is linked to a location instead of a 3D-oject. The vJS language has more functions the result of which is automatically synchronize. The process of interaction between user and vJS-program can be recorded in form of 3D, which is of great practical importance.

Keywords: virtual worlds, virtual reality, programming language, vJs, JavaScript, simulators, simulation, synchronization, role-playing games, serious games

Аннотация: В работе идентифицируется проблема определения формальной семантики функциональных блоков (ФБ) стандарта IEC 61499 и разрабатываются концептуальные основы для построения модели операционной семантики функциональных блоков на базе машин абстрактных состояний. Дается формальное определение нотации для представления операционной семантики ФБ, а также рассматриваются варианты функционально-структурной организации семантических моделей систем ФБ. Предложенная нотация может быть использована для определения операционной семантики систем ФБ, функционирующих в рамках циклической, последовательной, синхронной, а также других моделей выполнения.

Ключевые слова: функциональный блок, стандарт IEC 61499, операционная семантика, машины абстрактных состояний.

Abstract: The article contains the solution of all nine Olympiad tasks. The subjects of those tasks are related to the construction of rational data structures, integer arithmetic, computational geometry, graph computations, heuristics sele ction and extremes finding. An algorithm of finding the maximum bandwidth on graph edges for two nonintersecting paths if given. This algorithm with almost no change can be used to find two nonintersecting paths on a graph of minimum total cost. The article discloses a way to determine the possibility of a non-rotating separation of a flat geometric figure in a polygon shape cut. One of the problems has significantly increased the dimen sion of the source data com pared to the known problem. The article suggests a solution with two different ways of solving the task, depending on the dimension of the original data. The rest of the tasks are alike to well known, but require a different solution. Those are the problem of placing queens on the chessboard and the problem of optimum sawing lumber.

Keywords: Software, international, olympaid, internet-olympaid, student, programming, informatics, problem, algorithm, solution