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

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

Библиография:
Сравниваем лучшие операционные системы для смартфонов в 2023 году [Электронный ресурс]. URL: https://blog.eldorado.ru/publications/battl-os-sravnivaem-luchshie-operatsionnye-sistemy-dlya-smartfonov-v-2023-godu-39758 Дата обращения: 10.03.2024.
ЗDMark [Электронный ресурс]. URL: https://benchmarks.ul.com/3dmark-android Дата обращения: 10.03.2024
AnTuTu Benchmark [Электронный ресурс]. URL: https://www.antutu.com/en/download.htm Дата обращения: 10.03.2024.
Ахметов А. К. Операционная система Android: история создания и развития. Разработка приложений для платформы Android // Скиф. Вопросы студенческой науки. 2017. №9. С. 2-3.
Погорелов Д. В., Колоколов Е. А., Ермолаев В. В. Сравнение мобильных операционных систем Android и ios // Вестник науки. 2022. №12 (57) Т. 5. С. 120-124.
Староверова Н. А., Морозов Д., Калаев И., Кадырова Г. Современные тенденции и перспективы развития операционных систем // Вестник Казанского технологического университета. 2015. Т. 18. №21. С. 134-136.

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

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

Библиография:
Таненбаум А. Современные операционные системы // 4-е изд. – СПб.: Питер, 2015. Стр. 100-101.
Дагаев Д.В. Исполняющая машина автоматных программ // Научно-технический вестник информационных технологий, механики и оптики. 2021. Т. 21, № 4. С. 525-534.
Lefort A. A Support for Persistent Memory in Java // Computer science. Institut Polytechnique de Paris, 2023. English. p. 10.
ГОСТ Р МЭК 60880, Программное обеспечение компьютерных систем, выполняющих функции категории А // 2009. стр. 220.
Hosking A., Nystrom N., Cutts Q., Brahnmath K. Optimizing the read and write barriers for orthogonal persistence // Advances in Persistent Object Systems, Morrison, Jordan, and Atkinson (Eds.). Morgan Kaufmann, 1999. p. 11.
Lo S. K., Lu Q., Zhu L., Paik H.-Y., Xu X., Wang C. Architectural patterns for the design of federated learning systems // Journal of Systems and Software, 2022, vol. 191, p. 357.
Yu D., Zhang P., Yang J., Chen Z., Liu C., Chen J. Efficiently detecting structural design pattern instanc

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

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

Библиография:
Кочитов М. Е. Рисование компьютерной мышью на холсте веб-страницы браузера с помощью инструмента Canvas // Постулат. – 2019. – № 8(46). – С. 25.
Чернышев Я. Р. Разработка и самостоятельный хостинг веб-приложения на основе фреймворка Express.js // Студенческая наука-взгляд в будущее: Материалы ХVIII Всероссийской студенческой научной конференции, Красноярск, 15–17 марта 2023 года. Том Часть 5. – Красноярск: Красноярский государственный аграрный университет, 2023. – С. 291-293.
Karam, Sameer & Abdulrahman, Bikhtiyar. (2022). Using Socket.io Approach for Many-to-Many Bi-Directional Video Conferencing. AL-Rafidain Journal of Computer Sciences and Mathematics. 16. 81-86. 10.33899/csmj.2022.174411.
Macklon, Finlay & Viggiato, Markos & Romanova, Natalia & Buzon, Chris & Paas, Dale & Bezemer, Cor-Paul. (2023). A Taxonomy of Testable HTML5 Canvas Issues. IEEE Transactions on Software Engineering. PP. 1-13. 10.1109/TSE.2023.3270740.
Шабанов А. Э. О

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

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

Библиография:
Yang J. et al. Focal modulation networks //Advances in Neural Information Processing Systems. – 2022. – Т. 35. – С. 4203-4217.
Zhang H. et al. Dino: Detr with improved denoising anchor boxes for end-to-end object detection //arXiv preprint arXiv:2203.03605. – 2022.
Yu J. et al. Coca: Contrastive captioners are image-text foundation models //arXiv preprint arXiv:2205.01917. – 2022.
Chen X. et al. Symbolic discovery of optimization algorithms //arXiv preprint arXiv:2302.06675. – 2023.
Wang L. et al. Sample-efficient neural architecture search by learning actions for monte carlo tree search //IEEE Transactions on Pattern Analysis and Machine Intelligence. – 2021. – Т. 44. – №. 9. – С. 5503-5515.
Foret P. et al. Sharpness-aware minimization for efficiently improving generalization //arXiv preprint arXiv:2010.01412. – 2020.
Pham H. et al. Meta pseudo labels //Proceedings of the IEEE/CVF conference on computer vision and pattern rec

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

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

Библиография:
syncfusion_flutter_datepicker | Flutter Package [Электронный ресурс]. URL: https://pub.dev/packages/syncfusion_flutter_datepicker (дата обращения: 11.12.2022).
Клеблеев Ш.А., Ибрагимов О.Ю. Веб-приложение с использованием технологии MVC // Информационно-компьютерные технологии в экономике, образовании и социальной сфере. 2018. № 1 (19). С. 53-59.
mvc_pattern | Flutter Package [Электронный ресурс]. URL: https://pub.dev/packages/mvc_pattern (дата обращения: 10.12.2022).
sqfentity | Flutter Package [Электронный ресурс]. URL: https://pub.dev/packages/sqfentity (дата обращения: 11.12.2022).
Ткачук Е.О. Применение СУБД sqlite в образовательном процессе современного вуза // Научные исследования высшей школы : сборник статей IV Международной научно-практической конференции, Пенза, 10 сентября 2020 года. – Пенза: "Наука и Просвещение" (ИП Гуляев Г.Ю.), 2020. С. 12-15.
Дубовик Е.С. Применение мобильных приложений в сбытовой деятельности торговых предприятий // 57-я научная конференция аспирантов, магистр

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

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

Библиография:
S. N. Cherny and R. F. Gibadullin, "The Recognition of Handwritten Digits Using Neural Network Technology," 2022 International Conference on Industrial Engineering, Applications and Manufacturing (ICIEAM), Sochi, Russian Federation, 2022, pp. 965-970, doi: 10.1109/ICIEAM54945.2022.9787104.
Albahari, Joseph. C# 10 in a Nutshell. " O'Reilly Media, Inc.", 2022.
Гибадуллин Р.Ф. Потокобезопасные вызовы элементов управления в обогащенных клиентских приложениях // Программные системы и вычислительные методы. – 2022. – № 4. – С. 1-19.
D. -M. Zhu, J. -w. Gu, F. -H. Yu, W. -K. Ching and T. -K. Siu, "How correlation risk in basket credit derivatives might be priced and managed?," in IMA Journal of Management Mathematics, vol. 32, no. 2, pp. 195-219, April 2020, doi: 10.1093/imaman/dpaa013.
J. Xu and Y. Shi, "Financial Leasing, Optimal Financial Structure and Economic Growth: An Analysis Based on Financial Inclusion Perspective," 2019 International Conference on Economic Management and Model Engineering (ICEM

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

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

Библиография:
Н.Вирт, Ю.Гуткнехт. Разработка операционной системы и компилятора. Проект Оберон. ДМК-Пресс, 2015.
ГОСТ Р МЭК 60880, Программное обеспечение компьютерных систем, выполняющих функции категории А, 2009 / GOST R IEC 60880, Software for computer systems performing category A functions, 2009 (in Russian).
S. Louise, M. Lemerre, C. Aussagues and V. David. The OASIS Kernel: A Framework for High Dependability Real-Time Systems. In Proc. of the IEEE 13th International Symposium on High-Assurance Systems Engineering, 2011, pp. 95-103.
А.Ахо, М.Лам, Р.Сети, Д.Ульман. Компиляторы: принципы, технологии и инструментарий, второе издание, 2008, с. 137-144.
Дагаев Д.В. О разработке Оберон-системы с заданными свойствами эргодичности. Труды ИСП РАН, том 32, вып. 6, 2020 г., стр. 67-78. DOI: 10.15514/ISPRAS–2020–32(6)–5
Вирт Н., Алгоритмы и структуры данных. ДМК-Пресс, 2016.
В. Н. Гугнин, Д. В. Сотник. Атака с использованием переполнения буфера. Вестник Нац. техн. ун-та "ХПИ" : сб. науч. тр. Темат. вып. : Инфор

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

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

Библиография:
P. Czarnul, J. Proficz and K. Drypczewski, “Survey of methodologies, approaches, and challenges in parallel programming using high-performance computing systems,” Scientific Programming, vol. 2020, pp. 1058–9244, 2020.
D. B. Changdao, I. Firmansyah and Y. Yamaguchi, “FPGA-based computational fluid dynamics simulation architecture via high-level synthesis design method,” in Applied Reconfigurable Computing. Architectures, Tools, and Applications: 16th Int. Symp., ARC 2020, Toledo, Spain, Springer Nature. vol. 12083, pp. 232, 2020.
D. Wang and F. Yuan, “High-performance computing for earth system modeling,” High Performance Computing for Geospatial Applications, vol. 23, pp. 175–184, 2020.
M. U. Ashraf, F. A. Eassa, A. Ahmad and A. Algarni, “Empirical investigation: Performance and power-consumption based dual-level model for exascale computing systems,” IET Software, vol. 14, no. 4, pp. 319–327, 2020.
B. Brandon, “Message passing interface (mpi),” in Workshop: High Performance Computing on Stampede

Аннотация: Привычные пользователю текстовые редакторы такие как 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, регулярные выражения

Библиография:
Гибадуллин Р. Ф. Развитие единообразного формализма защиты точечных, линейных и площадных объектов картографии // Вестник Казанского государственного технического университета им. А.Н. Туполева. – 2010. – №. 2. – С. 101-105.
Gibadullin, R.F., Lekomtsev, D.V. & Perukhin, M.Y. Analysis of Industrial Network Parameters Using Neural Network Processing. Sci. Tech. Inf. Proc. 48, 446–451 (2021). https://doi.org/10.3103/S0147688221060046.
Гибадуллин Р.Ф. Потокобезопасные вызовы элементов управления в обогащенных клиентских приложениях // Программные системы и вычислительные методы. – 2022. – № 4. – С. 1-19. DOI: 10.7256/2454-0714.2022.4.39029 EDN: IAXOMA URL: https://nbpublish.com/library_read_article.php?id=39029.
Гибадуллин Р.Ф. Организация защищенной передачи данных в сенсорной сети на базе микроконтроллеров AVR // Кибернетика и программирование. – 2018. – № 6. – С. 80-86. DOI: 10.25136/2306-4196.2018.6.24048 URL: https://nbpublish.com/library_read_article.php?id=24048.
Мехмонов И. Н. Инструментарии а

Аннотация: Когда была выпущена первая версия .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, многопоточность, программирование, шаблоны проектирования

Библиография:
Стивен К. Параллельные вычисления – Все дело в SynchronizationContext [Электронный ресурс]. Электрон. жур. Февраль 2011. Том 26, Номер 2 . URL: https://learn.microsoft.com/ru-ru/archive/msdn-magazine/2011/february/msdn-magazine-parallel-computing-it-s-all-about-the-synchronizationcontex (Дата обращения: 31.10.2022).
Албахари Д., Албахари Б. C# 7.0. Справочник. Полное описание языка.: Пер. с англ. – СпБ.: ООО «Альфа-книга», 2018.
D. Hutchins, A. Ballman and D. Sutherland, "C/C++ Thread Safety Analysis," 2014 IEEE 14th International Working Conference on Source Code Analysis and Manipulation, 2014, pp. 41-46, doi: 10.1109/SCAM.2014.34.
Мультиклиентный чат с централизованным сервером [Электронный ресурс]. URL: https://csharpcooking.github.io/practice/Multi-Client-Chat-Server-Correct-Version.zip (Дата обращения: 31.10.2022).
Raikhlin, V.A., Vershinin, I.S., Gibadullin, R.F. et al. Reliable recognition of masked binary matrices. Connection to information security in map systems. Lobachevskii J Math 34,

Аннотация: Объектом исследования являются протоколы взаимодействия (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

Библиография:
Spring Cloud OpenFeign — URL: https://docs.spring.io/spring-cloud-openfeign/docs/current/reference/html (date of access: 23.11.2022).
OpenAPI Specification — URL: https://swagger.io/specification (date of access: 23.11.2022).
Волушкова А. API-First и микросервисы — URL: https://habr.com/ru/company/axenix/blog/694340 (date of access: 23.11.2022).
Eric Elliott TDD Changed My Life — URL: https://medium.com/javascript-scene/tdd-changed-my-life-5af0ce099f80 (date of access: 23.11.2022).
Beck K. Test-Driven Development by Example – Addison Wesley, 2003.
Волушкова В.Л. — Интеграция разнородных данных в корпоративных информационных системах // Программные системы и вычислительные методы. – 2019. – № 1. – С. 81-90. DOI: 10.7256/2454-0714.2019.1.28768 URL: https://nbpublish.com/library_read_article.php?id=28768
Полянин М. Что такое Design first и Code first // Код(журнал Яндекс Практикума).–2020. — URL: https://thecode.media/design-first/ (date of access: 23.11.2022).
Agile-манифест разработки п

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

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

Библиография:
T. Ono and H. Yamazaki, "Design and implementation of the distributed Lisp," Proceedings of IEEE Singapore International Conference on Networks and International Conference on Information Engineering '95, 1995, pp. 195-198, doi: 10.1109/SICON.1995.526045.
J. M. Farrow and S. Sevinc, "Modelling tools for a common LISP object system environment," [1991] Proceedings. The Second Annual Conference on AI, Simulation and Planning in High Autonomy Systems, 1991, pp. 219-224, doi: 10.1109/AIHAS.1991.138474.
M. A. Fukase and T. Nakamura, "Semiparallel execution of compiled Lisp programs," [1991] Proceedings The Fifteenth Annual International Computer Software & Applications Conference, 1991, pp. 719-724, doi: 10.1109/CMPSAC.1991.170266.
S. Asadianfam and H. Kolivand, "Verification of Airport Control Using Lisp Functional Language," 2020 13th International Conference on Developments in eSystems Engineering (DeSE), 2020, pp. 245-250, doi: 10.1109/DeSE51703.2020.9450787.
M. Kaufmann and J. S. Moore, "An indust

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

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

Библиография:
M. Herlihy and J. E. B. Moss. Transactional memory: Architectural support for lock-free data structures. In A. J. Smith, editor, Proceedings of the 20th Annual International Symposium on Computer Architecture. San Diego, CA, May 1993, pages 289–300. ACM, 1993.
Marathe, V.J., Scherer, W.N., Scott, M.L. (2005). Adaptive Software Transactional Memory. In: Fraigniaud, P. (eds) Distributed Computing. DISC 2005. Lecture Notes in Computer Science, vol 3724. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11561927_26
Herlihy, M., Luchangco, V., Moir, M., and Scherer, W.N. 2003. Software transactional memory for dynamic-sized data structures. In Proceedings of the twenty-second annual symposium on Principles of distributed computing (PODC '03). Association for Computing Machinery, New York, NY, USA, 92–101. https://doi.org/10.1145/872035.872048
Miculan, M., Peressotti, M. Software Transactional Memory with Interactions. Proceedings of the 21st Italian Conference on Theoretical Computer Science, Ischia,

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

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

Библиография:
Быков В. В. Информационные технологии и автоматизация ТВ-производства // T-Comm. 2012. №9. С.46-49.
Богданович Г.Ю., Федорова А.Ю. Новые медиа и медиаконвергенция как современная платформа восприятия медиапродукта // Ученые записки Крымского федерального университета имени В. И. Вернадского. Филологические науки. 2020. №1. С.199-210.
Бурнаева Е.М., Саломатова С.Н. Цифровая профориентация как необходимая реальность // Управление образованием: теория и практика. 2022. №1 (47). С.34-44.
Дженкинс, Г. Конвергентная культура. Столкновение старых и новых медиа / Генди Дженкинс; пер. с англ. А. Гасилина.-М.: «Группа Компаний РИПОЛ классик», 2019.-384 с.
Пинчук Е.С. Мировые тенденции и динамика развития медиаотрасли // Вестник РУДН. Серия: Экономика. 2021. №2. С.324-337.
Табакова О., Шульга А., Лукьянова Е., Трофимова Е., Соколов М. Медиапотребление в России-2020 / Исследовательский центр компании Deloitte в СНГ. М., 2020. С. 12.
Шомуродов О.И. Медиа в современном мире // StudNet. 2022. №4. С.1979-19

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

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

Библиография:
Пекунов В.В. Применение предикции при параллельной обработке цепочек предикатов в регулярно-логических выражениях // Кибернетика и программирование. — 2018.-№ 6.-С.48-55. DOI: 10.25136/2306-4196.2018.6.27986. URL: http://e-notabene.ru/kp/article_27986.html
Enhanced C#. URL: ecsharp.net (дата обращения: 15.11.2021).
Пекунов В.В. Система порождения, реконструкции и преобразования программ PGEN++.-LAP LAMBERT Academic Publishing, 2020.-173 с.
DEF MACROS. URL: https://docs.scala-lang.org/overviews/macros/overview.html (дата обращения: 15.11.2021).
Syntax extensions. URL: https://github.com/rsdn/nemerle/wiki/Syntax-extensions (дата обращения: 15.11.2021).
The Rust Programming Language. Macros. URL: https://doc.rust-lang.org/book/ch19-06-macros.html (дата обращения: 15.11.2021).
Луговской Н. Л., Сыромятников С. В. Применение языка Kast для преобразования исходного кода и автоматического исправления дефектов // Труды ИСП РАН. – 2013. – T.25. – С.51-66. URL: https://ispranproceedings.elpub.ru/jour/

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

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

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

Автор подробно рассматривает основные научно-технические проблемы агрегации контента, такие как веб-кроулинг, обнаружение нечетких дубликатов, суммаризация, выработка политики обновления агрегированных данных.

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

Дополнительным вкладом автора в исследование темы является подробное описание архитектур некоторых составляющих компонентов исследуемой системы агрегации контента, таких как веб-кроулер и система определения нечетких дубликатов.

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

Ключевые слова: Агрегация контента, Архитектура распределенной системы, Веб-краулинг, Определение нечетких дубликатов, Стадии агрегации контента, Критерии выборки данных, Суммаризация, Высоконагруженная система, Пуассоновский процесс, Микросервисная архитектура

Библиография:
August 2021 Web Server Survey // Netcraft News [Website]. 2021. URL: https://news.netcraft.com/archives/2021/08/25/august-2021-web-server-survey.html (last accessed: 18.01.2022).
Maurice de Kunder. The size of the World Wide Web (The Internet) // WorldWideWebSize.com. Daily Estimated Size of The World Wide Web [Website]. 2021. URL: https://www.worldwidewebsize.com (last accessed: 18.01.2022).
World Internet Users and 2021 Population Stats // Internet World Stats [Website]. 2021. URL: https://www.internetworldstats.com/stats.htm (last accessed: 18.01.2022).
G. Paliouras, A. Mouzakidis, C. Skourlas, M. Virvou, C. L. Jain. PNS: A Personalized News Aggregator on the Web // Intelligent Interactive Systems in Knowledge-Based Environments. 2008. URL: https://doi.org/10.1007/978-3-540-77471-6_10 (last accessed: 18.01.2022).
David Reinsel, John Gantz, John Rydning. The Digitization of the World – From Edge to Core // An IDC White Paper. 2018. 28p. URL: https://www.seagate.com/files/www-content/our-story/

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

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

Библиография:
Allen K.: Colour physicalism, naive realism, and the argument from structure. Minds and Machines 25, 2015. pp. 193-212
Cohen, J.: Color relationalism and color phenomenology. Perceiving the World, 2010. pp. 13
Chirimuuta M., Kingdom F.: The uses of colour vision: ornamental, practical, and theoretical. Minds and Machines 25(2), 2015. pp. 213-229
Chirimuuta M.: Editorial for Minds and Machines special issue on philosophy ofcolour. Minds and Machines 25, 2015. pp. 123-132
Kang W., Qin S., Zhang Q.: Computer-aided color aesthetic evaluation methodbased on the combination of form and color. Mathematical Problems in Engineering,2015. pp. 1-8
Baumeler D., Nako R., Born S., Eimer M.: Attentional repulsion effects producedby feature-guided shifts of attention. Journal of Vision 20(3),2020.pp. 1-12
Liu T., Jigo M.: Limits in feature-based attention to multiple colors. Atten PerceptPsychophys 79, 2017. pp. 2327-2337
Benedetto S., Carbone A., Drai-Zerbib V., Pedrotti M., Baccino T.: Effects oflumina

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

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

Библиография:
Адаменко, А. Н. Логическое программирование и Visual Prolog [Текст] / А. Н. Адаменко, А. М. Кучуков.-Санкт-Петербург: БХВ-Петербург, 2003. – 990 с.
Братко, И. Алгоритмы искусственного интеллекта на языке Prolog [Текст] / Иван Братко ; пер. с англ. К. А. Птицина ; Фак. компьютер. наук и информатики Лублян. ун-та и Ин-т Йожефа Штефана.-3-е изд.-М. [и др.] : Вильямс, 2004.-637 с.
Клоксин, Уильям. Программирование на языке Пролог [Текст] / У. Клоксин, К. Меллиш ; пер. с англ. А. В. Горбунова, М. М. Комарова ; под ред. А. К. Платонова, Ю. М. Лазутина.-Москва : Мир, 1987.-336 с.
Логическое программирование: Сб. ст. : Пер. с англ. и фр. [Текст] / Под ред. В. Н. Агафонова.-М. : Мир, 1988.-366 с.
Марков, В. Н. Современное логическое программирование на языке Visual Prolog 7/5 [Текст] / В. Н. Марков.-Санкт-Петербург : БХВ-Петербург, 2016.-541 с.
Метакидес, Г. Принципы логики и логического программирования [Текст] / Г. Метакидес, А. Нероуд; Пер. с англ. В. А. Захарова и др. под ред. В. А. Садовничего и В.

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

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

Библиография:
Белоусов А. И., Ткачев С. Б. Дискретная математика. — М.: МГТУ, 2006. — 744 с. — ISBN 5-7038-2886-4.
Левитин А. В. Глава 11. Преодоление ограничений: Метод деления пополам // Алгоритмы. Введение в разработку и анализ — М.: Вильямс, 2006. — С. 349—353. — 576 с. — ISBN 978-5-8459-0987-9.
Бертсекас Д., Галлагер Р. Сети передачи данных. : Мир 1989 — 544 с., ил.
Вишневский В. М. Теоретические основы проектирования компьютерных сетей, М.: изд. Техносфера, 2003, 512 с.
Кремер Н. Ш., 2.3. «Метод Гаусса».
Гаипов К.Э. Инвариантные методы анализа трафика в распределенных системах обработки информации: диссертация кандидата технических наук. [Место защиты: Сиб. аэрокосм. акад. им. акад. М.Ф. Решетнева].-Красноярск, 2013.-160 с.: ил.
Кормен, Т., Лейзерсон, Ч., Ривест, Р., Штайн, К. Алгоритмы: построение и анализ / Под ред. И. В. Красикова. — 2-е изд. — М.: Вильямс, 2005. — 1296 с. — ISBN 5-8459-0857-4.
Гутковкая О.Л., Пономарёв Д.Ю. — Применение ортогональной модели телекоммуникационной сети для реше

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

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

Библиография:
Шеломенцев А. Г., Джабиев В. В. Особенности и стратегия саморазвития молодого государства в условиях экономической изоляции (на примере республики Южная Осетия). В кн.: Инновационные технологии управления социально экономическим развитием регионов России, Уфа, 2020: материалы. Уфа: Федеральное государственное бюджетное научное учреждение Уфимский федеральный исследовательский центр Российской академии наук, 2020. С. 19-26
Федеральный закон от 06.10.2003 N 131-ФЗ (ред. от 09.11.2020) "Об общих принципах организации местного самоуправления в Российской Федерации" // Собрание законодательства РФ. – 2003. – № 131.
Выступление профессора кафедры экономической и социальной географии России географического факультета МГУ имени М.В. Ломоносова, доктора географических наук Н. Зубаревич на тему «Тенденции развития российских регионов» [Электронный ресурс]. URL: http://council.gov.ru/events/news/111162/ (дата обращения: 12.03.2020).
Государственная программа «Комплексное развитие сельских территорий» [Электронн

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

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

Библиография:
Дубанов А. А. Задача преследования. Решение в системе вычислительной матема-тики MathCAD, ЖУРНАЛ "ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ" №4. Том 24. 2018, C. 251–255
ttp://dubanov.exponenta.ru Раздел «Модель поведения в задаче преследования»
http://dubanov.exponenta.ru Раздел «Статья «FoxandRabbit»
http://dubanov.exponenta.ru/russian/book_rus.htm Раздел «Преобразование базиса»
Видео «Динамический базис» https://youtu.be/KsMZ9Zy8XRs
Видео «Смена базиса, преследование» https://www.youtube.com/watch?v=L5Z0MCDIlEs
Видео «Смена базиса, преследование, плоскость» https://youtu.be/1nNlN-U8WyY
Видео, плейлист: «Задача преследования. Модель поведения (адаптивная)» https://www.youtube.com/playlist?list=PLfGCUhhiz5wuPh-rKHWYvi-RZf9M215bq
Видео «Простая проекция преследования с плоскости на поверхность» https://youtu.be/BAew7xTw-iU
Видео «Модели поведения «Кролика» и «Лисы» на поверхности https://www.youtube.com/watch?v=QrKpJoiyB0o

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

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

Библиография:
Nethercote N., Seward J. Valgrind: A Framework for Heavyweight Dynamic Binary Instrumentation // Proceedings of ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation. 2007. 205 P.
OpenSpeedShop. URL: https://openspeedshop.org
Zhao J., Tao J., Fürlinger K. A Framework for Comparative Performance Study on Virtualized Machines // International Journal of Ad Hoc and Ubiquitous Computing. 2014. V. 17. P. 82-99.
Shende S., Malony D. The TAU parallel performance system. // International Journal of High-Performance Computing Applications. 2006. P. 287-311.
VTune. URL: https://software.intel.com/en-us/vtune
Bendifallah Z., Jalby W., Noudohouenou J., Oseret E., Palomares V. Performance Assessment Using MAQAO Toolset and Differential Analysis // Proceedings of the 7th International Workshop on Parallel Tools for High Performance Computing. 2013. P. 107-127.
Klemm M., Supinski B. OpenMP Application Programming Interface Specification Version 5.0// Independently published. 20

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

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

Библиография:
Applications written in Python [Электронный ресурс]. – Электрон. дан. – URL: https://wiki.python.org/moin/Applications (дата обращения: 25.03.2018).
Asyncio documentation [Электронный ресурс]. – Электрон. дан. – URL: http://asyncio.readthedocs.io (дата обращения: 25.03.2018).
Python [Электронный ресурс]. – Электрон. дан. – URL: http://www.python.org/ (дата обращения: 08.02.2018).
Журнал Tproger [Электронный ресурс]. – Электрон. дан. – URL: https://tproger.ru/translations/programming-concepts-concurrency/ (дата обращения: 25.03.2018)
Дональд Кнут. Искусство программирования, том 1. Основные алгоритмы = The Art of Computer Programming, vol.1. Fundamental Algorithms. – 3-е изд. – М.: «Вильямс», 2006. – С. 720. – ISBN 0-201-89683-4.Раздел 1.4.2: Сопрограммы, стр. 229-236.
Саммерфилд М., Программирование на Python 3. Подробное руководство, 2009.

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

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

Библиография:
Хорн Б. К. Зрение роботов: Пер. с англ. – М.: Мир, 1989. – 487 с., ил.
Багутдинов Р.А. Задача моделирования оптического потока на основе динамики движения частиц // Кибернетика и программирование. — 2016.-№ 5.-С.10-15. DOI: 10.7256/2306-4196.2016.5.18981. URL: http://e-notabene.ru/kp/article_18981.html
Клевалин В.А., Поливанов А.Ю. Цифровые методы распознавания в системах технического зрения промышленных роботов// Мехатроника, автоматизация, управление, 2008, № 5.-С. 56-56.
Багутдинов Р. А. Результаты исследований использования многомерного подхода при моделировании процессов в полевых транзисторах [Электронный ресурс] // Современные научные исследования и инновации.-2015-№. 10.-C. 1-3.-Режим доступа: http://web.snauka.ru/issues/2015/10/57975.
Мошкин В. И., Петров А. А., Титов В. С., Якушенков Ю. Г. Техническое зрение роботов – М.: Машиностроение, 1990. – 272 с.:ил.
Гришин В.А. Системы технического зрения в решении задач управления беспилотными летательными аппаратами // Датчики и системы, №2,

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

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

Библиография:
ISO/IEC 9899:1999 (E) Programming languages – C. URL: https://www.iso.org/standard/29237.html (дата обращения 01.04.2017)
ISO/IEC 9899:2011 (E) Programming languages – C. URL: https://www.iso.org/standard/57853.html (дата обращения 01.04.2017)
ISO/IEC 10646:2014 Information technology – Universal Coded Character Set (UCS) URL: https://www.iso.org/standard/63182.html (дата обращения 01.04.2017)
ISO/IEC 14882:1998 (E) Programming languages – C++ URL: https://www.iso.org/standard/25845.html (дата обращения 01.04.2017)
ISO/IEC 14882:2003 (E) Programming languages – C++ URL: https://www.iso.org/standard/38110.html (дата обращения 01.04.2017)
ISO/IEC 14882:2014 (E) Programming languages – C++ URL: https://www.iso.org/standard/64029.html (дата обращения 01.04.2017)
Standard ECMA-262 ECMAScript® 2016 Language Specification URL: http://www.ecma-international.org/publications/standards/Ecma-262.htm (дата обращения 01.04.2017)
Холстед М.Х. Начала науки о программах / Пер. с англ.-М.: Финансы и стати

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

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

Библиография:
Morozov M., Tanakov A., Gerasimov A., Bystrov D., Cvirco V. “Virtual Chemistry Laboratory for School Education.” The 4th IEEE International Conference on Advanced Learning Technologies (ICALT). 30 August-1 September 2004, Joensuu, Finland. IEEE Computer Society 2004, ISBN 0-7695-2181-9, pp.605-608.
Морозов М.Н., Герасимов А.В., Курдюмова М.Н. Совместная образовательная деятельность школьников на основе компьютерных сетей // Школьные технологии. 2009. №4. С. 78-88.
Michael Rymaszewski, Wagner James Au, Mark Wallace, Catherine Winters, Cory Ondrejka, Benjamin Batstone-Cunningham, Philip Rosedale: “Second Life: The Official Guide” December 2006, ISBN: 978-0-470-09608-6
Ken Perlin, Athomas Goldberg: :Improv: a system for scripting interactive actors in virtual worlds: // SIGGRAPH ‘96 Proceedings of the 23rd annual conference on Computer graphics and interactive techniques — 1996. — pp. 205-216.
Mikhail Morozov, Alexey Gerasimov, Mikhail Fominykh, and Andrey Smorkalov: “Asynchronous Immersive Clas

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

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

Библиография:
Сморкалов А.Ю. Реализация образовательных инструментов в виртуальных 3D-средах с использованием потоковых процессоров. // Международный электронный журнал "Образовательные технологии и общество (Educational Technology & Society)" – 2011.-V. 14.-№ 3.-С. 409-425 .-ISSN 1436-4522. URL: http://ifets.ieee.org/russian/periodical/journal.html
А.Ю. Сморкалов. Математическая и программная модели генерации текстур на графических потоковых процессорах. // Программные системы и вычислительные методы.-2013.-№ 1.-C. 116-128.
A Smorkalov, M Fominykh, M Morozov. Stream Processors Texture Generation Model for 3D Virtual Worlds: Learning Tools in vAcademia. In Proceeding of IEEE International Symposium on Multimedia (ISM), 2013, pp. 17-24
М.Е. Рыженков. Редактирование трехмерного образовательного контента. // Программные системы и вычислительные методы.-2013.-№ 1.-C. 95-105.
Robert J. Cox, Patricia S. Crowther. A review of Linden Scripting Language and its role in Second Life. In ICCMSN'08 Proceedings of the First

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

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

Библиография:
Cengic, G. On Formal Analysis of IEC 61499 Applications, Part A: Modeling / G. Cengic, K. Åkesson // IEEE Transactions on Industrial Informatics. – 2010. – Vol. 6, No. 2. –P. 136-144.
Dubinin, V. On Definition of a Formal Semantic Model for IEC 61499 Function Blocks / V. Dubinin, V. Vyatkin // EURASIP Journal on Embedded Systems. – 2008. – Vol. 2008. – 10 p.
Glässer, U. Abstract State Machine Semantics of SDL / U. Glässer, R. Karges // Journal of Universal Computer Science. –1997. – Vol. 3, No. 12. – P. 1382-1414.
Gurevich, Y. Evolving Algebras 1993: Lipari Guide / Y. Gurevich // Specification and Validation Methods. – Oxford University Press, 1995. – P.9-36.
International Standard IEC 61499. Function blocks for industrial-process measurement and control systems. Part 1: Architecture / International Electrotechnical Commission. – Geneva, 2005. – 111 p.
Mosses, P. D. Formal Semantics of Programming Languages: An Overview / P. D. Mosses // Electronic Notes in Theoretical Computer