http://dspace.nbuv.gov.ua:80/handle/123456789/180414 Mon, 06 Apr 2026 22:48:39 GMT 2026-04-06T22:48:39Z http://dspace.nbuv.gov.ua:80/bitstream/id/539807/ http://dspace.nbuv.gov.ua:80/handle/123456789/180414 http://dspace.nbuv.gov.ua:80/handle/123456789/180424 Semantics and pragmatics of programming language ASAMPL Sulema, Ye.; Glinskii, V. This paper presents semantics and practical implementation of the domain-specific programming language ASAMPL. This programming language has been developed to support the efficient processing of multimodal data processing, in particular, the processing of multimedia content which components are evidently defined in terms of time. The data processing concept employed in ASAMPL is based on the data structures, operations, and relations defined in the algebraic system of aggregates. The paper explains the compilation approach used for this programming language as well as it presents the test results and their discussion.; В данной статье представлены семантика проблемно-ориентированного языка программирования ASAMPL и практическая реализация его компилятора. Этот язык программирования был разработан для обеспечения эффективной обработки мультимодальных данных, в частности, обработки мультимедийного контента, компоненты которого явно определены на временной шкале. Концепция обработки данных, используемая в ASAMPL, основана на структурах данных, операциях и отношениях, определенных в алгебраической системе агрегатов. В статье представлены основные семантические конструкции языка, которые используются для обработки данных. Кроме того, в статье объясняется подход к компиляции программ на языке программирования ASAMPL, а также представлены результаты тестов. Для сравнения результатов, полученных для языка программирования ASAMPL, тестирование проводилось также для аналогичных программ, написанных на языке программирования С, компиляция которых производилась с помощью компилятора GCC. Важным результатом тестирования является подтверждение гипотезы, что язык программирования ASAMPL позволяет разрабатывать более компактный и понятный программный код, исполнение которого требует меньше памяти.; У цій статті представлено семантику проблемно-орієнтованої мови програмування ASAMPL та практичну реалізацію компілятора для неї. Ця мова програмування була розроблена для забезпечення ефективного оброблення мультимодальних даних, зокрема, оброблення мультимедійного контенту, компоненти якого явно визначені на часовій шкалі. Концепція оброблення даних, яка використовується в ASAMPL, заснована на структурах даних, операціях та відношеннях, визначених у алгебраїчній системі агрегатів. У статті представлено основні семантичні конструкції мови, які використовуються для оброблення даних. Крім того, в статті пояснюється підхід до компіляції програм на мові програмування ASAMPL, а також представлено результати тестів. Для порівняння результатів, отриманих для мови програмування ASAMPL, тестування проводилося також для аналогічних програм, написаних на мові програмування С, компіляція яких виконувалась за допомогою компілятора GCC. Важливим результатом тестування є підтвердження гіпотези про те, що мова програмування ASAMPL дозволяє розробляти більш компактний та зрозумілий програмний код, виконання якого вимагає менше пам'яті. Wed, 01 Jan 2020 00:00:00 GMT http://dspace.nbuv.gov.ua:80/handle/123456789/180424 2020-01-01T00:00:00Z http://dspace.nbuv.gov.ua:80/handle/123456789/180423 Децентралізовані системи в логістиці: огляд використання та проблеми безпеки Летичевський, О.О.; Горбатюк, С.О. Проанализировано направления применения и использования децентрализованных (распределенных) систем на примере технологии блокчейн в международной логистике. Рассмотрены перспективы и ключевые аспекты дальнейшего развития децентрализованных систем и больших баз данных. Рассмотрены основы функционирования смарт-контрактов на базе Etherium и языка Solidity. Проанализированы основные проблемы безопасности в целостной цепи поставки, выявлены направления улучшения отслеживания непрерывности контроля качества товара при движении в мультимодальной цепи поставок. Предложены методы усиления контроля за безопасностью в децентрализованных системах в логистике. Рассмотрена методология формальных алгебраических методов для анализа и исследования свойств перевозок при взаимодействии агентов определенной логистической среды.; Проаналізовано напрямки застосування та використання децентралізованих (розподілених) систем на прикладі технології блокчейн в міжнародній логістиці. Розглянуто перспективи та ключові аспекти подальшого розвитку децентралізованих систем та великих баз даних. Розглянуто основи функціонування смарт-контрактів на базі Etherium та мови Solidity. Проаналізовано основні проблеми безпеки в цілісному ланцюгу постачання, виявлено напрямки покращення відслідковування безперервності контролю якості товару під час руху в мультимодальному ланцюгу постачання. Запропоновано методи посилення контролю за безпекою в децентралізованих системах у логістиці. Розглянуто методологію формальних алгебраїчних методів з метою аналізу та дослідження властивостей перевезень при взаємодії агентів певного логістичного середовища.; The directions of the application and use of decentralized (distributed) systems are analyzed using the example of blockchain technology in the international logistics. The prospects and key aspects of the further development of decentralized systems and large databases are considered. The basics of the functioning of smart contracts based on Etherium and Solidity language are considered. The main security problems in the integrated supply chain are analyzed, and directions for improving the monitoring of the continuity of product quality control during movement in a multimodal supply chain are identified. Methods are proposed for strengthening security control in decentralized systems in logistics. The methodology of formal algebraic methods is considered in order to analyze and study the properties of transportations in the interaction of agents of a certain logistic environment. Wed, 01 Jan 2020 00:00:00 GMT http://dspace.nbuv.gov.ua:80/handle/123456789/180423 2020-01-01T00:00:00Z http://dspace.nbuv.gov.ua:80/handle/123456789/180422 Алгебраїчні шаблони вразливостей бінарного коду Яковлев, В.М. Пошук вразливостей у програмному забезпеченні є на поточний час актуальним завданням та джерелом наукових викликів. Описаний у статті алгебраїчний підхід покликаний збільшити ефективність та достовірність алгоритмів пошуку. Запропоновано засоби формального опису поведінки бінарного коду та вразливостей в термінах алгебри поведінок, а методику створення шаблонів вразливостей бінарного коду.; Одной из актуальных проблем в ИТ-индустрии является обнаружение уязвимостей в программном обеспечении. В последнее десятилетие стали весьма популярными и многообещающими подходы к решению данной проблемы, основанные на символьных методах. Данная статья описывает подход к поиску уязвимостей в двоичном коде, основанный на формальных методах символьного моделирования и алгебраического сопоставления. В данной статье предлагается формализация представления двоичного кода и уязвимостей на основе алгебры поведений, а также методика формирования шаблонов уязвимостей. Такие шаблоны могут быть использованы не только для описания, но и для поиска уязвимостей в произвольном двоичном коде. Алгебра поведений используется для представления поведения как двоичного кода, так и уязвимости. Однако, хотя получение представления бинарного кода в терминах алгебры поведений может быть автоматизировано, создание описания уязвимостей требует разработки корректной и эффективной методологии. При использовании представлений в терминах алгебры поведений задача поиска уязвимостей может быть решена в два этапа – относительно быстрого алгебраического сопоставления и собственно символьного моделирования на основе данных, полученных на этапе сопоставления. Разработка описаний уязвимостей в терминах алгебры поведений и алгоритма алгебраического сопоставления позволяет ускорить алгоритмы поиска уязвимостей в двоичном программном коде. Предложена методика разработки описаний уязвимостей двоичного кода в терминах алгебры поведений. Преимущество алгебраического подхода состоит в том что уязвимости в коде могут быть определены более точно, а описание уязвимости в терминах алгебры поведений позволяет учесть ее различные варианты. Кроме того, эксперименты с прототипом показали, что «двухуровневая» система поиска уязвимостей работает быстрее, чем «чистая» система символьного моделирования: вначале выполняется быстрый этап сопоставления, а затем медленный этап символьного моделирования на данных, полученных на предыдущем этапе.; Detection of software systems’ vulnerabilities is an actual problem in the IT industry nowadays. The approaches to the solution of this problem, based on the symbolic methods, became very popular and promising during the last decade. The article describes an approach to the vulnerabilities detection in the binary code, based on the formal methods of symbolic modeling and algebraic matching. In the article, the formalization of representation of binary code and vulnerabilities based on the behavior algebra, and the method of creation of formal patterns of vulnerabilities are proposed. The behavior algebra used for the representation of the formal binary code behavior, as well as for describing the vulnerabilities behavior. However, while the representation of the binary code in the terms of behavior algebra could be automated, creation of the vulnerabilities description requires development of the correct and effective methodology. Using the behavior algebra representation, the task of vulnerabilities detection can be solved in two steps – relatively fast algebraic matching, and the symbolic modeling itself, based on the data provided by the algebraic matcher. By the development of the vulnerabilities description in the terms of behavior algebra, and the algebraic matching algorithm the speed of detection of vulnerabilities in the binary code can be increased. The methodology of development of the vulnerabilities description in the terms of the behavior algebra has been proposed. The advantage of the algebraic approach is that the code vulnerabilities can be found more precisely, and the vulnerability description in the terms of behavior algebra can take in account different possible kinds of it. Also, the experiments with the implementation prototype shown that the “two-level” vulnerability detection system is faster than “pure” symbolic modeling: the fast matching step is executed first, and the slow modeling step is executed next on the results, provided by the matching step. Wed, 01 Jan 2020 00:00:00 GMT http://dspace.nbuv.gov.ua:80/handle/123456789/180422 2020-01-01T00:00:00Z http://dspace.nbuv.gov.ua:80/handle/123456789/180421 Розробка методів керування доступом до інформації у WIKI-ресурсах Гришанова, І.Ю.; Рогушина, Ю.В. В роботі аналізуються технологічні засади розробки Wiki-ресурсів на основі програмного забезпечення MediaWiki, розглядаються проблеми доступу до інформації у цих ресурсах та наводяться методи та засоби вирішення цих проблем. Значна увага приділяється архітектурі MediaWiki та складовим цієї архітектури. Розроблені в результаті аналізу рішення апробовано у розробці порталу Великої української енциклопедії (е-ВУЕ); Рассмотрены перспективы и область применения Wiki-технологий, проанализирована структура представления контента и программное обеспечение MediaWiki. Значительное внимание отводится архитектуре MediaWiki и компонентам этой архитектуры. Определена проблема, связанная с необходимостью управления доступом к контенту Wiki-ресурсов в соответствии со спецификой информации, которая содержится в таких ресурсах. Результаты анализа показали, что базовые средства MediaWiki не позволяют получить удовлетворительное решение этой задачи. Поэтому возникает потребность в создании специализированного программного обеспечения, которое базируется на классификации контента с использованием отдельных пространств имен, категорий, шаблонов и семантических свойств. которые извлекаются из MediaWiki, и являются независимыми от ядра MediaWiki, а базируется на программировании анализа контента на уровне скина. Приведенное решение апробировано в разработке портальной версии Большой украинской энциклопедии (е-ВУЕ) и использует знания относительно структуры базы знаний этого портала.; The prospects and scope of Wiki technologies are considered, the structure of the content re presentation and MediaWiki software are analyzed. Considerable attention is given to architecture of MediaWiki and the components of this architecture. The problem deal with the need to access management to the content of Wiki-resources in accordance with the specifics of the information contained in such resources is identified. The results of the analysis show that the basic tools of MediaWiki are not capable to allow a satisfactory solution to this problem. Therefore, we need to create specialized software that is based on the content classification with the use of separate namespaces, categories, templates and semantic properties extracted from MediaWiki. Such software has to be independent of the MediaWiki core and be based on programming of content analysis at the skin level. We test the proposed solution in the process of development of the portal version of the Great Ukrainian Encyclopedia (e-VUE) with use of knowledge regarding the knowledge base structure of this portal. Wed, 01 Jan 2020 00:00:00 GMT http://dspace.nbuv.gov.ua:80/handle/123456789/180421 2020-01-01T00:00:00Z