PROBLEMS IN PROGRAMMING
Not a member yet
761 research outputs found
Sort by
Автоматизоване проектування та розпаралелювання програм для гетерогенних платформ із використанням алгебро-алгоритмічного інструментарію
Get PDFMethods and software tools for automated design and generation of OpenCL programs based on the algebra of algorithms are proposed. OpenCL is a framework for developing parallel software that executes across heterogeneous platforms consisting of general-purpose processors and/or hardware accelerators. The proposed approach consists in using high-level algebra-algorithmic specifications of programs represented in natural linguistic form and rewriting rules. The developed software tools provide the automated design of algorithm schemes based on a superposition of Glushkov algebra constructs that are considered as reusable components. The tools automatically generate code in a target programming language on the basis of the specifications. In most computing problems, a large part of hardware resources is utilized by computations inside loops, therefore the use of automatic parallelization of cyclic operators is most efficient for them. However, the existing automatic code parallelizing tools, such as Par4All, don’t account the limited amount of accelerator’s onboard memory space while real-life problems demand huge amounts of data to be processed. Thus, there is a need for the development of a parallelization technique embracing the cases of massive computational tasks involving big data. In the paper, a method and a software tool for semi-automatic parallelization of cyclic operators based on loop tiling and data serialization are developed. The parallelization technique uses rewriting rules system to transform programs. The framework for parallelization of loops for optimization of computations using graphics processing units allows semi-automatic parallelization of sequential programs. The approach is illustrated on an example of developing a parallel OpenCL image convolution program.Problems in programming 2020; 2-3: 103-114Предложены методы и инструментальные средства автоматизированного проектирования и генерации OpenCL программ на основе алгебры алгоритмов. Разработан метод полуавтоматического распараллеливания циклических операторов с использованием сериализации данных. Рассмотренный подход заключается в использовании высокоуровневых алгебро-алгоритмических спецификаций программ, которые представляются в естественно-лингвистической форме. Разработанные инструментальные средства обеспечивают автоматизированное проектирование схем алгоритмов путем суперпозиции конструкций алгебры Глушкова. Инструментарий автоматически выполняет генерацию программ на целевом языке программирования на основе спецификаций. Разработанное программное средство параллелизации циклов для оптимизации вычислений с использованием графических ускорителей позволяет в полуавтоматическом режиме осуществлять переход от последовательных к параллельным программам и использует систему переписывающих правил для трансформации программ. Применение подхода проиллюстрировано на разработке параллельной OpenCL программы свертки изображений.Problems in programming 2020; 2-3: 103-114Запропоновані методи та інструментальні засоби автоматизованого проектування та генерації OpenCL програм на основі алгебри алгоритмів. Розроблено метод напівавтоматичного розпаралелювання циклічних операторів на основі серіалізації даних. Розглянутий підхід полягає у використанні високорівневих алгебро-алгоритмічних специфікацій програм, що подаються у природно-лінгвістичній формі. Розроблені інструментальні засоби забезпечують автоматизоване проектування схем алгоритмів шляхом суперпозиції конструкцій алгебри Глушкова. Інструментарій автоматично виконує генерацію програм цільовою мовою програмування на снові специфікацій. Розроблений програмний засіб паралелізації циклів для оптимізації обчислень за допомогою графічних прискорювачів дозволяє в напівавтоматичному режимі здійснювати перехід від послідовних до паралельних програм і використовує систему переписувальних правил для трансформації програм. Застосування підходу проілюстроване на розробці паралельної OpenCL програми згортки зображень.Problems in programming 2020; 2-3: 103-11
Розпізнавання емоційних проявів за групуванням скупченостей характерних мімічних станів обличчя людини
Get PDFThe characteristic forms of facial expressions of the emotional states of a person are typical of a rather large degree of generalization on the basis of common physiological structures and the location of the muscles that form the human face. This circumstance is one of the main reasons for the commonality of human manifestations of emotions that are reflected in the face. By the nature and form of facial expressions on the face with high probability, it is possible to determine the emotional state of a person with some correction on the part of the cultural characteristics and traditions of certain groups. In accordance with the existence of common mimic forms of emotional manifestations, an approach is proposed to create a model of recognition of emotional manifestations on the face of a person with relatively low requirements for the means of photo, video-fixation and acceptable speed in the video stream. The creation of the model is based on the implementation of the hyperplane classification of mimic manifestations of major emotional states. One of the main advantages of the proposed approach is the small computational complexity that allows realizing the recognition of the changes in people’s emotional state without any special equipment (for low-resolution or long-distance video cameras). In addition, the model developed on the basis of the proposed approach allows obtaining proper recognition accuracy with low requirements for quality image characteristics, which allows extending the scope of practical application to a great extent. One example of practical application is control over the drivers in the process of driving the vehicle, complex production operators, and other automated visual surveillance systems. The set of detected emotional states is formed in accordance with the set tasks and gives the opportunity to focus on the recognition of mimic forms and group characteristic structural manifestations based on the set of distinguished characteristic features.Problems in programming 2020; 2-3: 173-181 Характерные формы мимических проявлений эмоциональных состояний человека являются типичными с довольно значительной степенью обобщения на основании общих физиологических структур и расположения мышц, формирующих человеческое лицо. Это обстоятельство является одной из основных причин общности проявлений человеком эмоций, которые находят свое отражение на лице. По характеру и форме мимических проявлений на лице с высокой вероятностью можно определять эмоциональное состояние человека с определенной корректировкой со стороны культурологических особенностей и традиций определенных групп. В соответствии с существованием общих мимических форм эмоциональных проявлений предложен подход к созданию модели распознавания эмоциональных проявлений на лице человека с относительно низкими требованиями к средствам фото, видео-фиксации и приемлемым быстродействием в видеопотоке. В основу создания модели положена реализация гиперплоскостной классификации мимических проявлений основных эмоциональных состояний. Одним из главных преимуществ предложенного подхода есть небольшая вычислительная сложность, что позволяет реализовать систему распознавания изменений эмоционального состояния человека с мимическими проявлениями без использования специализированного оборудования (видеокамер с низким разрешением или на большом расстоянии). Кроме того, модель, сформированная на базе предложенного подхода, позволяет получать надлежащую точность распознавания с невысокими требованиями к качественным характеристикам изображения, что позволяет в значительной степени расширить сферу практического применения. Одним из примеров практического применения является контроль за водителем во время управления транспортом, оператором сложного производства и другие автоматические системы визуального наблюдения. Множество детектированных эмоциональных состояний формируется в соответствии с поставленными задачами и дает возможность фокусироваться на распознании мимических форм и группировать характерные структурные проявления основываясь на множестве разделенных характерных признаков.Problems in programming 2020; 2-3: 173-181Характерні форми мімічних проявів емоційних станів людини є типовими з доволі значною мірою узагальнення на підставі спільних фізіологічних структур та розташування м’язів, які формують людське обличчя. Ця обставина є однією з основних причин спільності проявів людиною емоцій, які знаходять своє відображення на обличчі. За характером та формою мімічних проявів на обличчі з високою ймовірністю можна визначати емоційний стан людини з певним корегуванням зі сторони культурологічних особливостей та традицій певних груп. У відповідності до існування загальних мімічних форм емоційних проявів запропоновано підхід до створення моделі розпізнавання емоційних проявів на обличчі людини з відносно низькими вимогами до засобів фото, відео-фіксації та належною швидкодією у відео потоці. В основу створення моделі покладена реалізація гіперплощинної класифікації мімічних проявів основних емоційних станів. Однією з головних переваг запропонованого підходу є невелика обчислювальна складність, що дає змогу реалізувати систему розпізнавання змін емоційного стану людини за мімічними проявами без використання спеціалізованого обладнання (для відео-камер з низькою роздільною здатністю або на великій відстані). Крім того модель, сформована на базі запропонованого підходу, дозволяє отримувати належну точність розпізнавання з невисокими вимогами до якісних характеристик зображення, що дозволяє в значній мірі розширити сферу практичного застосування. Одним із прикладів практичного застосування є контроль за водієм під час керування транспортом, оператором складного виробництва та інші автоматичні системи візуального спостереження. Множина детектованих емоційних станів формується у відповідності до поставлених задач та дає можливість фокусуватись на розпізнанні мімічних форм та групувати характерні структурні прояви базуючись на множині розмежованих характерних ознак.Problems in programming 2020; 2-3: 173-18
Вплив ціноутворення хмарних сервісів на прибуток провайдера, споживчий надлишок і суспільний добробут
Get PDFThe providers of cloud solutions create rentals for computing power and disk space by means of the protected Internet-connections while their consumers pay only for the resources chosen with options of flexible scaling, assuming rather adequate substitution and development for their digital infrastructure without legal property rights for hardware or software. As a result, the users of cloud products get ready services, and their providers obtain the resources necessary for further development of their products. The work is devoted to computing the total gain of all participants in such a market at various pricing models.Problems in programming 2020; 2-3: 237-245Провайдеры облачных решений дают в оренду средствами защищенных интернет-соединений вычислительные мощности и дисковое пространство, а их потребители платят лишь за выбранные ними ресурсы с возможностями гибкого масштабирования, что позволяет вполне адекватно заменять и развивать свою цифровую инфраструктуру без юридических прав собственности на оборудование или программное обеспечение. В результате заказчики облачных услуг получают готовые сервисы, а их провайдеры – необходимые ресурсы для дальнейшего развития своих услуг. Работа посвящена вычислению суммарного выграша всех участников такого рынка при разных моделях ценообразования.Problems in programming 2020; 2-3: 237-245В.М. Горбачук, С.О. ГавриленкоПровайдери хмарних рішень надають в оренду засобами захищених інтернет-з’єднань обчислювальні потужності та дисковий простір, а їхні споживачі сплачують лише за вибрані ними ресурси з можливостями гнучкого масштабування, що дозволяє цілком адекватно замінювати і розвивати свою цифрову інфраструктуру без юридичних прав власності на обладнання чи програмне забезпечення. В результаті замовники хмарних послуг дістають готові сервіси, а їхні провайдери – необхідні ресурси для подальшого розвитку своїх послуг. Робота присвячена обчисленню сумарному виграшу всіх учасників такого ринку при різних моделях ціноутворення.Problems in programming 2020; 2-3: 237-24
Алгебраїчні шаблони вразливостей бінарного коду
Get PDFDetection 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.Prombles in programming 2020; 1: 47-54Одной из актуальных проблем в ИТ-индустрии является обнаружение уязвимостей в программном обеспечении. В последнее десятилетие стали весьма популярными и многообещающими подходы к решению данной проблемы, основанные на символьных методах. Данная статья описывает подход к поиску уязвимостей в двоичном коде, основанный на формальных методах символьного моделирования и алгебраического сопоставления. В данной статье предлагается формализация представления двоичного кода и уязвимостей на основе алгебры поведений, а также методика формирования шаблонов уязвимостей. Такие шаблоны могут быть использованы не только для описания, но и для поиска уязвимостей в произвольном двоичном коде. Алгебра поведений используется для представления поведения как двоичного кода, так и уязвимости. Однако, хотя получение представления бинарного кода в терминах алгебры поведений может быть автоматизировано, создание описания уязвимостей требует разработки корректной и эффективной методологии. При использовании представлений в терминах алгебры поведений задача поиска уязвимостей может быть решена в два этапа – относительно быстрого алгебраического сопоставления и собственно символьного моделирования на основе данных, полученных на этапе сопоставления. Разработка описаний уязвимостей в терминах алгебры поведений и алгоритма алгебраического сопоставления позволяет ускорить алгоритмы поиска уязвимостей в двоичном программном коде. Предложена методика разработки описаний уязвимостей двоичного кода в терминах алгебры поведений. Преимущество алгебраического подхода состоит в том что уязвимости в коде могут быть определены более точно, а описание уязвимости в терминах алгебры поведений позволяет учесть ее различные варианты. Кроме того, эксперименты с прототипом показали, что «двухуровневая» система поиска уязвимостей работает быстрее, чем «чистая» система символьного моделирования: вначале выполняется быстрый этап сопоставления, а затем медленный этап символьного моделирования на данных, полученных на предыдущем этапе.Prombles in programming 2020; 1: 47-54Пошук вразливостей у програмному забезпеченні є на поточний час актуальним завданням та джерелом наукових викликів. Описаний у статті алгебраїчний підхід покликаний збільшити ефективність та достовірність алгоритмів пошуку. Запропоновано засоби формального опису поведінки бінарного коду та вразливостей в термінах алгебри поведінок, а методику створення шаблонів вразливостей бінарного коду.Prombles in programming 2020; 1: 47-5
Відтворення казуальних моделей з даних. Проблеми адекватності структур з прихованими причинами
Get PDFThe reliability of causal inference from data (by independence-based methods) is analyzed. We uncover some mechanisms which may result in model inadequacy due to sample bias and hidden variables. We detect some specific problems in recognition of direction of influence when some causes are hidden. Incorrectness of known rule for edge orientation (under causal insufficiency) is revealed. We suggest the correction to the rule aiming to retain model adequacy.Problems in programming 2020; 2-3: 392-406Анализируется надежность восстановления каузальных моделей из статистических данных методами, основанными на независимости. Показаны механизмы возникновения неадекватности модели вследствие несовершенства и неполноты эмпирических данных. Раскрыты специфические проблемы вывода (распознавания) направленности влияний между переменными в ситуации, когда некоторые причини являются скрытыми. Выявлена некорректность известного правила вывода направленности (ориентации) связей в условиях скрытых переменных. Предложена коррекция рассмотренного правила для исключения возможных ошибок.Problems in programming 2020; 2-3: 392-406Аналізується надійність відтворення каузальних моделей зі статистичних даних методами, основаними на незалежності. Показано механізми виникнення неадекватності моделі внаслідок недосконалості та неповноти емпіричних даних. Розкрито специфічні проблеми виведення (розпізнавання) спрямованості впливів між змінними в ситуації, коли деякі причини є прихованими. Виявлено некоректність відомого правила виведення спрямованості (орієнтації) зв'язків в умовах прихованих змінних. Запропоновано корекцію розглянутого правила для уникнення можливих помилок.Problems in programming 2020; 2-3: 392-40
Організаційно-правові механізми державного управління забезпеченням кібербезпеки та кіберзахисту України: сутність, стан та перспективи розвитку
Get PDFThis article is devoted to the organizational and legal mechanisms of the cyber security public administration and cyber security in Ukraine, the definitions of essence, the role in the system of strategic planning and management of the security and defense sector are given. Some aspects of cyber security in Ukraine have been evaluated. In addition, recommendations of improving the cyber security system in Ukraine are proposed, such as, proposals were made to eliminate the existing gaps in the main legal acts regulating the sphere of ensuring national, information and cyber security of Ukraine, including through the harmonization of Ukrainian legislation with international legal acts in this field.Problems in programming 2020; 2-3: 278-286В исследовании осуществлен анализ организационно-правовых механизмов государственного управления обеспечением кибербезопасности и кибернетической защиты Украины, дано определение его сущности, места в системе стратегического планирования и управления сектором безопасности и обороны, показана оценка отдельных аспектов обеспечения кибернетической безопасности в Украине. Кроме того, в статье содержатся рекомендации по совершенствованию системы обеспечения кибернетической безопасности в Украине, в частности даны предложения по устранению имеющихся коллизий и пробелов в основных нормативно-правовых актах, регулирующих сферу обеспечения национальной, информационной и кибернетической безопасности Украины, в том числе путем гармонизации украинского законодательства с международными правовыми актами в этой области.Problems in programming 2020; 2-3: 278-286 У дослідженні здійснено аналіз організаційно-правових механізмів державного управління забезпеченням кібернетичної безпеки та кібернетичного захисту України, надано визначення його сутності, місця в системі стратегічного планування та управління сектором безпеки та оборони, проведено оцінку окремих аспектів забезпечення кібернетичної безпеки в Україні. Крім того, у статті містяться рекомендації щодо вдосконалення системи забезпечення кібернетичної безпеки в Україні, зокрема надано пропозиції щодо усунення наявних колізій і прогалин в основних нормативно-правових актах, що регулюють сферу забезпечення національної, інформаційної та кібернетичної безпеки України, у тому числі шляхом гармонізації українського законодавства з міжнародними правовими актами у цій галузі.Problems in programming 2020; 2-3: 278-28
Наукове обгрунтування та практична апробація використання інформаційно-комунікаційних технологій у розвитку економічної компетентності керівників закладів середньої освіти
Get PDFThe research is devoted to the scientific substantiation and practical approbation of the use of information and communication technologies in the development of economic competence of the heads of secondary education institutions. This study is due to the new economic conditions that are emerging in Ukraine, where special importance is given to knowledge of the principles and patterns of economic development of society, economic education. One of the priorities of the State Program of Economic and Social Development of Ukraine for 2020 is to provide state support for the training of specialists in areas that stimulate the development of priority basic sectors of the economy in the format of "science-education-technology". It is possible to improve the economic competence of heads of secondary education institutions in the system of open postgraduate education in full-time and distance form of advanced training with the use of information and communication technologies, which should play a leading role in distance learning. In our study, distance learning is characterized by the presence of information learning environment or means by which there is indirect communication between teachers and students, and the information learning environment of distance learning we mean a set of systematically organized, distributed data transmission, information resources, interaction protocols, hardware-programmed and organizational-methodical support, focused on meeting the educational needs of users. The scientific novelty and theoretical significance of the research results lie in the fact that for the first time the technology of development of economic competence of heads of secondary education institutions (MES) by means of information and communication technologies in the system of advanced training is theoretically substantiated and developed; the content of the concept of "professional competence" and its structural components are specified; the content of economic competence of the head of ZSO is selected and structured, the model of development of economic competence of the head of ZSO is improved; the organizational and pedagogical conditions for the development of economic competence of the head of ZSO in the system of advanced training are determined; Theoretical views on the process of development of professional competence of the leaders of ZSO and the use of information and communication technologies, their means in the system of open postgraduate education have been further developed. Scientific substantiation and practical testing of the use of information and communication technologies in open postgraduate education institutions allowed to distinguish a modern system of distance learning for heads of secondary education institutions, which contains the following components: system environment of distance learning; electronic database of educational materials; virtual laboratories, objects and subjects of distance learning systems, which are postgraduate education institutions.Problems in programming 2020; 2-3: 94-102Исследование посвящено научному обоснованию и практической апробации использования информационно-коммуникационных технологий в развитии экономической компетентности руководителей учреждений среднего образования. Это исследование обусловлено новыми экономическими условиями, которые формируются в Украине, где особое значение приобретает знание принципов и закономерностей экономического развития общества, экономическое образование. Одним из приоритетных направлений Государственной программы экономического и социального развития Украины на 2020 год является предоставление государственной поддержки для подготовки специалистов по направлениям, стимулируют развитие приоритетных базовых отраслей экономики в формате «наука-образование-технологии». Улучшить экономическую компетентность руководителей учреждений среднего образования можно в системе открытой последипломного образования по очно-дистанционной форме повышения квалификации с использованием информационно-коммуникационных технологий, которые должны играть ведущую роль в проведении дистанционного обучения. В нашем исследовании дистанционное обучение характеризуется наличием информационного учебной среды или средств, с помощью которых происходит опосредованное общение преподавателей с соискателями образования, а под информационно-учебным средой дистанционного обучения мы понимаем совокупность системно организованного, распределенного обеспечения средств передачи данных, информационных ресурсов, протоколов взаимодействия, аппаратно-программируемого и организационно-методического обеспечения, ориентированного на удовлетворение образовательных потребностей пользователей. Научная новизна и теоретическое значение исследования заключаются в том, что впервые теоретически обосновано и разработана технология развития экономической компетентности руководителей учреждений среднего образования (ЗСО) средствами информационно-коммуникационных технологий в системе повышения квалификации; уточнено содержание понятия «профессиональная компетентность» и ее структурные составляющие; отобрано и структурировано содержание экономической компетентности руководителя ЗСО, усовершенствована модель развития экономической компетентности руководителя ЗСО; определены организационно-педагогические условия развития экономической компетентности руководителя ЗСО в системе повышения квалификации; получили дальнейшее развитие теоретические взгляды на процесс развития профессиональной компетентности руководителей ЗСО и использования информационно-коммуникационных технологий, их средств в системе открытой последипломного образования. Научное обоснование и практическая апробация использования информационно-коммуникационных технологий в учреждениях открытой последипломного образования позволили выделить современную систему дистанционного обучения руководителей учреждений среднего образования содержащая следующие компоненты: системное среду дистанционного обучения; электронную базу учебных материалов; виртуальные лаборатории, объекты и субъекты систем дистанционного обучения, которыми выступают заведения последипломного образования.Problems in programming 2020; 2-3: 94-102 Дослідження присвячене науковому обгрунтуванню та практичній апробації використання інформаційно-комунікаційних технологій у розвитку економічної компетентності керівників закладів середньої освіти. Це дослідження обумовлено новими економічними умовами, що формуються в Україні, де особливої ваги набуває знання принципів і закономірностей економічного розвитку суспільства, економічна освіта. Одним із пріоритетних напрямків Державної програми економічного і соціального розвитку України на 2020 рік є надання державної підтримки для підготовки фахівців за напрямами, що стимулюють розвиток пріоритетних базових галузей економіки у форматі «наука-освіта-технології». Покращити економічну компетентність керівників закладів середньої освіти можна в системі відкритої післядипломної освіти за очно-дистанційною формою підвищення кваліфікації з використанням інформаційно-комунікаційних технологій, які повинні відігравати провідну роль у проведені дистанційного навчання. В нашому дослідженні дистанційне навчання характеризується наявністю інформаційного навчального середовища або засобів, за допомогою яких відбувається опосередковане спілкування викладачів з здобувачами освіти, а під інформаційно-навчальним середовищем дистанційного навчання ми розуміємо сукупність системно організованого, розподіленого забезпечення засобів передачі даних, інформаційних ресурсів, протоколів взаємодії, апаратно-програмованого й організаційно-методичного забезпечення, зорієнтованого на задоволення освітніх потреб користувачів. Наукова новизна та теоретичне значення результатів дослідження полягають в тому, що вперше теоретично обґрунтовано і розроблено технологію розвитку економічної компетентності керівників закладів середньої освіти (ЗСО) засобами інформаційно-комунікаційних технологій у системі підвищення кваліфікації; уточнено зміст поняття «професійна компетентність» та її структурні складові; відібрано та структуровано зміст економічної компетентності керівника ЗСО, удосконалено модель розвитку економічної компетентності керівника ЗСО; визначено організаційно-педагогічні умови розвитку економічної компетентності керівника ЗСО у системі підвищення кваліфікації; набули подальшого розвитку теоретичні погляди на процес розвитку професійної компетентності керівників ЗСО та використання інформаційно-комунікаційних технологій, їх засобів у системі відкритої післядипломної освіти. Наукове обґрунтування та практична апробація використання інформаційно-комунікаційних технологій в закладах відкритої післядипломної освіти дозволили виділити сучасну систему дистанційного навчання керівників закладів середньої освіти яка містить такі компоненти: системне середовище дистанційного навчання; електронну базу навчальних матеріалів; віртуальні лабораторії, об’єкти і суб’єкти систем дистанційного навчання, якими виступають заклади післядипломної освіти.Problems in programming 2020; 2-3: 94-10
Про аналіз коректності автотьюнінгу програм з використанням техніки переписувальних правил
Get PDFArticle presents an approach to correctness validation of autotuning optimizational transformations. Autotuner is considered as dynamic discrete system and validation is reduced to verification of characteristic of equivalence by result of representation of initial and optimized program versions in autotuning formal model. In partial cases this validation can be done automatically using source code and rewriting rules technique.Problems in programming 2020; 2-3: 368-374В работе представлен подход к проверке корректности оптимизационных преобразований параллельных программ, выполняемых автотьюнером. Автотьюнер рассматривается как эволюционная дискретная динамическая система, а проверка корректности сводится к проверке свойству эквивалентности по результату интерпретаций исходной и оптимизированной программ в формальной модели автотьюнинга. Эту проверку в частных случаях можно выполнять автоматически по исходному коду программы с помощью техники переписывающих правил.Problems in programming 2020; 2-3: 368-374У роботі запропоновано підхід до перевірки коректності оптимізаційних перетворень паралельних програм, що виконуються автотьюнером. Автотьюнер розглядається як еволюційна дискретна динамічна система й перевірка коректності зводиться до перевірки властивості еквівалентності за результатом представлень вихідної і оптимізованої версій програм у формальній моделі автотьюнінгу. Цю перевірку у часткових випадках можна виконати автоматично за вихідним кодом за допомогою техніки переписувальних правил.Problems in programming 2020; 2-3: 368-37
Розробка інформаційної системи семантичної ідентифікації і документування результатів неформального й інформального навчання
Get PDFWe analyse modern approaches to the interaction of the educational services market with the labour market through recognition of non-formal and informal learning outcomes. The authors prove the expediency of semantic technologies used for information processing at the knowledge level. ESCO classifier that combines services of the labour market and the educational market is examined in detail. This classifier allows jobseekers and employers from different EU member states to handle information on learning outcomes more efficiently. The analyzes of practical ESCO classifier usage on example of the European Employment Service (EURES) demonstrates that this approach provides all necessary information for jobseekers abroad. The ontological analysis is an efficient way to model the ideas of various subject domains and it allows to represent formally their semantics. Hence, the research analyzes the ontological model for this information system and its components; in particular, the authors provide the described content of the ESCO ontological model which consists of three elements – occupations, skills and qualifications. The paper offers an information system for semantic identification and documentation of non-formal and informal learning outcomes based on the ESCO ontological model. The authors select and analyze the main stages of the system development: an ontology scheme in the Protege editor is created; the process of integrating the ontology in the RDF-repository is described; the architecture and user interface of the suggested information system are developed. Semantic graphs database GraphDB is used for ontology storage. To implement the addition and modification of data in GraphDB repository, connectors are used. Access to the RDF-repository is provided with SPARQL query language, whose outcomes are represented as result sets or RDF-graphs. In addition, the research justifies the use of React framework for development of the information system user interface. The architecture and user interface of information system proposed in this research work allow to carry out the semantic identification and documentation of non-formal and informal learning outcomes. Thus, they increase the efficiency of managing the information about these outcomes.Problems in programming 2020; 2-3: 11-21 Осуществлен анализ подходов взаимодействия рынка предоставления образовательных услуг с рынком труда через признание результатов неформального и информального обучения. Обоснована целесообразность использования семантических технологий для обработки данных, которые направлены на обработку информации на уровне знания. Подробно рассмотрен классификатор ESCO, который позволяет соискателям работы и работодателям из разных стран-членов Европейского Союза более эффективно оперировать информацией о результатах обучения. Предложена информационная система семантической идентификации и документирования результатов неформального и информального обучения на основе онтологических баз знаний. Выделенные и проанализированы этапы разработки данной системы: создана схема онтологии в редакторе Protege, описан процесс интеграции онтологии в RDF-хранилище, разработана архитектура и интерфейс пользователя предложенной информационной системы.Problems in programming 2020; 2-3: 11-21Здійснено аналіз підходів взаємодії ринку надання освітніх послуг з ринком праці через визнання результатів неформального й інформального навчання. Обґрунтовано доцільність використання семантичних технологій для обробки даних, які спрямовані на обробку інформації на рівні знання. Докладно розглянуто класифікатор ESCO, який дозволяє здобувачам роботи і роботодавцям з різних країн-членів Європейського Союзу більш ефективно оперувати інформацією про результати навчання. Запропоновано інформаційна система семантичної ідентифікації та документування результатів неформального й інформального навчання на основі онтологічних баз знань. Виділені та проаналізовані етапи розробки даної системи: створено схему онтології в редакторі Protege, описаний процес інтеграції онтології в RDF-сховище, розроблена архітектура та інтерфейс користувача запропонованої інформаційної системи.Problems in programming 2020; 2-3: 11-21
Засіб статичного аналізу .NET програм за допомогою переписувальних правил
Get PDFA software tool that finds problems of resource consumption in case of work with files using rewriting rules was implemented. To reach the goal, the TermWare system, which could be embedded into those systems running on JVM, was used. In order to work with C#-programs, the special plugin for TermWare, which helps to generate appropriate terms from source code, was developed. The plugin uses the Roslyn compiler, which allows users to find syntax errors in programs and focus on the primary task of generating terms from source code. Also, a practical application based on TermWare system – a static analyzer that finds problems with open-close files, was described in the article.Problems in programming 2020; 2-3: 157-163Разработано программное средство, который находит в C#-программах проблемы ресурсопотребления з точки зрения работы с файлами с помощью переписывающих правил. Для этого была использована система TermWare, который можно легко встраивать в программные средства, которые работают на JVM. Для того, чтобы работать с C#-программами был реализованный специальный плагин для TermWare, который переводит программы на язык термов. Этот плагин использует компилятор Roslyn, который позволяет находить синтаксические ошибки в программах и сосредоточиться на основной задаче – генерации термов с исходного кода. Также описано практическое приложение системы TermWare – статический анализатор, который находит проблемы открытых-закрытых файлов.Problems in programming 2020; 2-3: 157-163Розроблено програмний засіб, який виявляє в C#-програмах проблеми ресурсоспоживання з погляду роботи з файлами за допомогою переписувальних правил. Для цього використана система TermWare, яку можна легко вбудовувати в ті програмні системи, які побудовані на JVM. Для того, щоб працювати з C#-програмами, був реалізований спеціальний плагін до TermWare, який перекладає програми на мову термів. Цей плагін використовує компілятор Roslyn, який дозволяє знаходити синтаксичні помилки в програмах і дозволяє зосередитися на основній задачі – генерації термів з вихідного коду. Також описаний практичний додаток системи TermWare – статичний аналізатор, який знаходить проблеми відкритих-закритих файлів. Problems in programming 2020; 2-3: 157-16