PROBLEMS IN PROGRAMMING
Not a member yet
761 research outputs found
Sort by
Метод видобування логіки поведінки з промислового програмного коду на мові Кобол
No full textThe purpose of this work is to develop a software tool for analysis automation and simplifying of understanding of software systems behavior. Methods for translation, abstraction, debugging and test generation for COBOL are proposed. We developed a software system, which implements the methods.Problems in programming 2016; 2-3: 17-25Цель работы – разработка комплекса инструментальных средств для автоматизации анализа и упрощения понимания поведения кода программных систем. Предложены методы трансляции, абстракции, отладки и построения тестов для языка Кобол. Разработана экспериментальная система, реализующая предложенные методы.Problems in programming 2016; 2-3: 17-25Мета роботи – розробка комплексу інструментальних засобів для автоматизації аналізу та спрощення розуміння поведінки коду програмних систем. Запропоновано методи трансляції, абстракції, відлагодження та побудови тестів для мови Кобол. Розроблено експериментальну систему, яка реалізує запропоновані методи.Problems in programming 2016; 2-3: 17-2
Аналіз ефективності реалізації арифметичних алгоритмів на мовах програмування C++ та Python
Get PDFThis paper presents the results of the numerical experiment, which aims to clarify the actual performance of arithmetic algorithms implemented in C ++ and Python programming languages using arbitrary precision arithmetic. "Addition machine" has been chosen as a mathematical model for integer arithmetic algorithms. "Addition machine" is a mathematical abstraction, introduced by R. Floyd and D. Knuth. The essence of "addition machine" is the following: using only operations of addition, subtraction, comparison, assignment and a limited number of registers it is possible to calculate more complex operations such as finding the residue modulo, multiplication, finding the greatest common divisor, exponentiation modulo with reasonable computational efficiency. One of the features of this implementation is the use of arbitrary precision arithmetic, which may be useful in cryptographic algorithms.Problems in programming 2016; 2-3: 26-31В данной работе представлены результаты вычислительного эксперимента, целью которого является уточнение реальной производительности арифметических алгоритмов с использованием арифметики произвольной точности при реализации на языках программирования C++ и Python. Как математическая модель для арифметических алгоритмов выбрана целочисленная «складывающая машина». «Складывающая машина» – это математическая абстракция, введённая Р. Флойдом и Д. Кнутом, суть которой заключается в том, что с помощью только операций сложения, вычитания, сравнения, присваивания и ограниченного количества регистров можно с приемлемой вычислительной эффективностью выразить более сложные операции, такие как нахождение остатка по модулю, умножение, нахождение наибольшего общего делителя, возведение в степень по модулю. Особенностью данной реализации является использование арифметики произвольной точности, что может быть полезным для использования в криптографических алгоритмах.Problems in programming 2016; 2-3: 26-31У даній роботі представлені результати обчислювального експерименту, метою якого є уточнення реальної швидкодії арифметичних алгоритмів з використанням арифметики довільної точності при реалізації на мовах програмування C++ та Python. Як математичну модель для арифметичних алгоритмів обрана цілочисельна «машина, що складає». «Машина, що складає» – це математична абстракція, введена Р. Флойдом та Д. Кнутом, суть якої полягає у тому, що лише за допомогою операцій додавання, віднімання, порівняння, присвоювання та обмеженої кількості регістрів можна з прийнятною обчислювальною ефективністю виразити більш складні операції, такі як знаходження лишку за модулем, множення, знаходження найбільшого спільного дільника, піднесення до степеня за модулем. Особливістю даної реалізації є використання арифметики довільної точності, що може бути корисним для ви-користання у криптографічних алгоритмах.Problems in programming 2016; 2-3: 26-3
Оптимальне розміщення багатосенсорної системи
Get PDFWe consider the mathematical models for underwater acoustic sensors, the algorithm for threat detection by a multisensory system, optimization problems for placement of such systems. The mathematical methods for optimal sensor placement have been developed. The limit theorem on optimality of sensor placement has been proved. Numerical experiments have demonstrated that the algorithm outperformsexisting mathematical method for optimal sensor placement.Problems in programming 2018; 2-3: 140-148Описан алгоритм детектирования подводной угрозы с помощью системы акустических сенсоров, а также экстремальные задачи размещения сенсоров. Рассмотрены методы решения таких задач, доказана теорема об асимптотической оптимальности построенных планов размещения сенсоров. Из результатов численных экспериментов следует, что построенный метод превосходит известный метод решения задач размещения сенсоров.Problems in programming 2018; 2-3: 140-148Описано алгоритми детектування підводної загрози за допомогою системи акустичних сенсорів, екстремальні задачі розміщування сенсорів. Розглянуто методи розв’язання таких задач та теореми про асимптотичну оптимальність побудованих планів розміщення сенсорів. З результатів числових експериментів випливає, що побудований метод перевершує відомий метод розв’язання задачрозміщування сенсорів.Problems in programming 2018; 2-3: 140-14
Теоретико-ігрове моделювання рівноваги у AIMD мережах
No full textThis paper deals with modeling of network’s dynamic using game theory approach. The process of interaction among players (network users), trying to maximize their payoffs (e.g. throughput) could be analyzed using game-based concepts (Nash equilibrium, Pareto efficiency, evolution stability etc.). In this work we presented the model of TCP network’s dynamic and proved existence and uniqueness of solution, formulated payoff matrix for a network game and found conditions of equilibrium existence depending of loss sensitivity parameter. We consider influence if denial of service attacks on the equilibrium characteristics and illustrate results by simulations.Prombles in programming 2016; 1: 116-128В данной работе исследуется моде-лирования динамики сети на основе теоретико-игрового подхода. Процесс взаимодействия между пользоватлями, которые пытаются максимизировать свои выигрыши (например, долю сети) допускает представление в форме игры и применение методов анализа равновесия. В работе предлагается модель TCP сети и доказано существование и единственность точки устойчивого распределения ресурсов, построена матрица сетевой игры и найдены условия существования равновесия в зависимости от чувствительности пользователей к наличию ошибок. Рассмотрены также влияние атак на характеристики равновесия и проведено имитационное моделирование.Prombles in programming 2016; 1: 116-128В даній роботі досліджується моделювання динаміки мережі на основі теоретико-ігрового підходу. Процес взаємодії між користувачами, що намагаються максимізувати свої виграші (наприклад, частку мережі) допускає представлення у формі гри та за-стосування методів аналізу рівноваги. В роботі пропонується модель TCP мережі та доведено існування і єдність точки стійкого розподілу ресурсів, побудована матриця мережевої гри та знайдені умови існування рівноваги в залежності від чутливості користувачів до наявності помилок. Розглянуто також вплив атак на характеристики рівноваги та проведене імітаційне моделювання.Prombles in programming 2016; 1: 116-12
Використання семантичних технологій для встановлення діалогу між суб'єктами ринку праці
Get PDFThe paper analyzes publications related to the development trends of national qualifications systems, which should link the market of educational services to the labor market. Such an analysis suggests that an effective tool for solving this problem is ESCO – the Multilingual Classification of European Skills, Competences, Qualifications and Professionals. ESCO defines and classifies skills (both "soft" and "hard"), competences, qualifications and occupations that are relevant to the European labor market, education and training. ESCO classifier proposes the basis for creating a "passport of acquired competencies". It is used in several European Commission initiatives in the field of skills and qualifications aimed at increasing the transparency of the labor market and educational systems. The development of tools that allow the effective use of ESCO and ensure the transition from a qualification model to full competency models, is seen as an up-to-date and timely scientific task.Subjects of the labor market can describe their proposals or requirements through non-formalized characteristics that are often non-material (such as team spirit, social skills, leadership skills) and use different terms to describe such characteristics, therefore the problem of comparing the semantics of such descriptions is occursed. Semantic technologies aimed at the information processing at the knowledge level (oriented on formalizing, analyzing and processing the semantics of information resources) can solve such a problem.In this regard, the publication presents the theoretical substantiation of UkrESCO designed to create a passport of acquired competencies, to search for vacancies and to compare competencies with job requirements based on the ESCO model using Semantic Web technologies and information resources of the Web open information environment.UkrESCO can be considered as an intelligent superstructure over existing systems that compares and evaluates competencies, matches qualifications with vacancies and form a passport of acquired competencies. Practical implementation of UkrESCO becomes an effective tool for the formation in Ukrainian society of understanding of the value of throughout life education in the personal and professional self-development of person.Problems in programming 2018; 2-3: 226-235 В работе проанализированы публикации, связанные с тенденциями развития национальных систем квалификаций, которые должны связать рынок образовательных услуг по рынком работы. Такой анализ позволяет определить, что эффективным инструментом для решения этой проблемы является ESCO – Многоязычный классификатор европейских навыков, компетенций, квалификации и профессий. ESCO определяет и классифицирует навыки (как «мягкие», так и «жесткие»), компетенции, квалификации и профессии, которые имеют значение для европейского рынка работы, образования и профессиональной подготовки. Классификатор ESCO служит основой для создания «паспорта приобретенных компетенций» и используется в ряде инициатив Европейской Комиссии в сфере навыков и квалификаций, направленных на повышение прозрачности рынка труда и образовательных систем. Разработка инструментальных средств, которые позволяют эффективно использовать ESCO и обеспечивают переход от квалификационной модели к полноценных компетентностным моделям, представляется актуальной и своевременной научной задачей.Из-за того, что субъекты на рынке труда могут описывать свои предложения или требования через неформализованные характеристики, которые часто являются нематериальными (например, командный дух, социальные привычки, лидерские привычки), и для описания таких характеристик могут использоваться различные термины, могут возникать проблемы сопоставления семантики таких описаний. Разрешать такую проблему позволяют семантические технологии, направленные на обработку информации на уровне знаний, то есть способные формализовать, анализировать и обрабатывать смысл (семантику) информационных ресурсов.Учитывая это, в публикации представлено теоретическое обоснование системы UkrESCO, предназначенной для формировании паспорта приобретенных компетенций, поиска вакансий и сопоставления компетенций с требованиями к вакансии на основе модели ESCO и с использованием технологий Semantic Web и информационных ресурсов открытой информационной среды Web.Систему UkrESCO можно рассматривать как интеллектуальную надстройку над существующими системами сравнения и оценки компетенций, сопоставление квалификаций с вакансиями, формирование паспорту приобретенных компетенций.Практическая реализация системы UkrESCO может стать эффективным инструментом формирования в украинском обществе понимания ценности образования в течение жизни в личностном и профессиональном саморазвитии человека.Problems in programming 2018; 2-3: 226-235В роботі проаналізовано публікації, пов’язані з тенденціями розвитку національних систем кваліфікацій, які мають пов’язати ринок освітніх послуг з ринком праці. Такий аналіз дозволяє визначити, що ефективним інструментом для рішення цієї проблеми є ESCO – Багатомовний класифікатор європейських навичок, компетенцій, кваліфікації та професій. ESCO визначає і класифікує навички (як «м’які», так і «жорсткі»), компетенції, кваліфікації і професії, які мають значення для європейського ринку праці, освіти та професійної підготовки. Класифікатор ESCO є основою для створення «паспорту набутих компетенцій» і використовується у кількох ініціативах Європейської Комісії у сфері навичок та кваліфікацій, спрямованих на підвищення прозорості ринку праці та освітніх систем. Розробка інструментальних засобів, які дозволять ефективно використовувати ESCO та забезпечують перехід від кваліфікаційної моделі до повноцінних компетентнісних моделей, вбачається актуальним і своєчасним науковим завданнямЧерез те, що суб’єкти на ринку праці можуть описувати свої пропозиції або вимоги через неформалізовані характеристики, які часто є нематеріальними (наприклад, командний дух, соціальні навички, лідерські навички), і для опису таких характеристик можуть використовуватися різні терміни, встановлення діалогу між ними потребує співставлення семантики таких описів. Розв’язувати таку проблему мають семантичні технології, які спрямовані на обробку інформації на рівні знань, тобто здатні формалізувати, аналізувати та обробляти зміст (семантику) інформаційних ресурсів.Зважаючи на це, у публікації представлено теоретичне обґрунтування системи UkrESCO, призначеної для формуванні паспорту набутих компетенцій, пошуку вакансій та співставлення компетенцій з вимогами до вакансії на основі моделі ESCO з використанням технологій Semantic Web та інформаційних ресурсів відкритого інформаційного середовища Web.Систему UkrESCO можна розглядати як інтелектуальну надбудову над існуючими системами порівняння та оцінки компетенцій, співставлення кваліфікацій з вакансіями, формування паспорту набутих компетенцій.Практична реалізація системи UkrESCO може стати ефективним інструментом формування в українському суспільстві розуміння цінності освіти впродовж життя у особистісному й професійному саморозвитку людини.Problems in programming 2018; 2-3: 226-23
Про метод проектування абстрактного типу даних в алгебрі алгоритміки
No full textA method of development of extended abstract data type and algebraic class is proposed. This abstract data type is an essential component of the phases of specification and projecting. The problem of completeness of the extended abstract data type is studied and the decision of sufficient completeness is proposed.Предлагается метод проектирования расширенного абстрактного типа данных и алгебраического класса. Данный абстрактный тип данных является необходимым ключевым звеном между этапами спецификации и проектирования. Рассмотрена проблема полноты расширенного абстрактного типа данных и предложено для этого решение достаточной полноты. Пропонується метод проектування розширеного абстрактного типу даних та алгебраїчного класу. Даний абстрактний тип даних є необхідною ланкою між етапами специфікації та проектування. Розглянута проблема повноти розширеного абстрактного типу даних та запропоновано для цього рішення достатньої повноти
Методи та моделі використання експертно-аналітичного знання для підтримки прийняття рішень в ор-ганізації. Частина 2. Онтологічні відношення та аналіз гармонійності поля рішень
No full textSome types of relations between the elements of the organization decisions system are formalized using the ontological model proposed in the previous part of the article. This model reflects both the normative knowledge and expert views. There are such the classes of relations as genetic, coordination (connection or resemblance) and opposing ones. The special class of clastering relations is determined. Eight types of such relations select the subsets of the decision field that represent risk issue for the actual decision or the eventual remedies for this risk. The main indexes of the decision field coherency are formalized and metrizied. The potentialities of the proposed formalizm using for the analytical support of the organization decision are considered.Problems in programming 2016; 4: 66-80На основе предложенной ранее онтологической модели системы решений организации, отражающей нормативное знание и взгляды специалистов, формализованы отношения между решениями. Классами отношений являются генетический, координационный (связность и сходство), противопоставляющий.Определены восемь видов отношений класса кластеризующих, которые выделяют подмножества поля решений с элементами, составляющими зоны рисков определенных видов либо средства противодействия им по отношению к заданному решению. Формализованы и метризованы базовые показателигармоничности поля решений. Рассмотрены возможности использования отношений при аналитической поддержке организационных решений.Problems in programming 2016; 4: 66-80 На ґрунті запропонованої раніше онтологічної моделі системи рішень організації, що відображує нормативне знання й погляди фахівців, формалізовано відношення між рішеннями. Класами відношень є генетичний, координаційний (зв'язність та подібність), та протиставний. Визначено вісім видів відношень із класу кластеризуючих, що виокремлюють підмножини поля рішень із елементами, які становлять зони ризиків певних видів або потенційні засоби протидії їм щодо певного рішення. Формалізовані та метризовані показники гармонійності поля рішень. Розглянуті можливості використання відношень для аналітичної підтримки організаційних рішень.Problems in programming 2016; 4: 66-8
Багаторівнева модель паралельних обчислень для задач лінійної алгебри
Get PDFThe paper considers the use of a multilevel parallel computing model for solving linear algebra problems (systems of linear algebraic equations and an algebraic eigenvalue problem) on hybrid architecture computers and computers with multi-core processors Intel Xeon Phi x200 series. The basic principles of algorithm-software development of such computers are formulated. Examples of algorithms that use multilevel parallelism are given.Problems in programming 2018; 2-3: 083-092В работе рассматривается использования многоуровневой модели параллельных вычислений для решения задач линейной алгебры (систем линейных алгебраических уравнений и алгебраической проблемы собственных значений) на компьютерах гибридной архитектуры и компьютерах с многоядерными процессорами Intel Xeon Phi серии x200. Сформулированы основные принципы разработки алгоритмически-программного обеспечения таких компьютеров. Приведены примеры алгоритмов, которые используют многоуровневый параллелизм.Problems in programming 2018; 2-3: 083-092В роботі розглядається використання багаторівневої моделі паралельних обчислень для розв’язування задач лінійної алгебри (систем лінійних алгебраїчних рівнянь та алгебраїчної проблеми власних значень) на комп’ютерах гібридної архітектури та комп’ютерах з багатоядерними процесорами Intel Xeon Phi серії x200. Сформульовано основні засади розробки алгоритмічно-програмного забезпечення таких комп’ютерів. Наведено приклади алгоритмів, які використовують багаторівневий паралелізм.Problems in programming 2018; 2-3: 083-09
Використання комп’ютерного зору в системі цифрової нарізки матеріалів
Get PDFAn approach to the implementation of the computer vision system for recognizing and positioning objects on the cutting surface of machines for digital cutting of materials with the help of a photograph of their working surface with the marked cutting objects on it is proposed. Algorithms of the work of the system modules, which are responsible for the calibration of the camera, the recognition of registration marks by two fundamentally different methods, complemented each other, are developed. Also, an algorithm of identification of cutting objects on the basis of the application of elements of the graph theory is proposed.Problems in programming 2017; 4: 109-0118 Предложен подход к реализации системы компьютерного зрения для распознавания и позиционирования объектов на резательной поверхности станков для цифровой нарезки материалов с помощью фотоснимка их рабочей поверхности вместе с промаркированными объектами нарезки на ней. Разработаны алгоритмы работы модулей системы, которые отвечают по калибровке камеры и распознаванию регистрационных марок двумя принципиально различными способами, которые дополняют друг друга. Также разработан алгоритм идентификации объектов нарезки на основе применения элементов теории графов.Problems in programming 2017; 4: 109-0118 Запропонований підхід до реалізації системи комп’ютерного зору для розпізнавання та позиціонування об’єктів на різальній поверхні станків для цифрової нарізки матеріалів за допомогою фотознімку їх робочої поверхні разом з промаркованими об’єктами нарізки на ній. Розроблено алгоритми роботи модулів системи, які відповідають за калібрування камери і розпізнавання реєстраційних марок двома принципово різними способами, які доповнюють один одного. Розроблено також алгоритм ідентифікації об’єктів нарізки на основі застосування елементів теорії графів.Problems in programming 2017; 4: 109-011
Практична реалізація інформаційної технології автоматизованого визначення множини семантичних термінів в контенті навчальних матеріалів
Get PDFThe problem of automation of key terms search in the content of educational materials is investigated. The information technology of automated determination of a set of key semantic terms in the content of educational materials is considered, which is based on the search of used phrases in the text and the disperse evaluation of words importance. In accordance with this information technology, on the basis of the data entered as an educational material file, the structure of a digital document is automatically formed to select an element for analysis, after which segmentation is performed by phrases and terms, the terms are lemmatized and set of them is compactified. On the basis of automatically lemmatized text, a search and disperse evaluation of the importance of words in the chosen fragment is performed, after which the terms importance is calculated, and their number is limited by the value of the keyword density ratio. Input data of information technology is a digital document of educational material, the output data is the corresponding set of key semantic terms of the educational material. The results of the analysis of the regularities of the existing sets of key semantic terms are also described.The test software that allows to automate the determination of sets of key semantic terms using this information technology is considered. Conducted investigations confirmed the possibility of effectively forming the set of key semantic terms of educational materials, evaluated search precision metrics up to 92.9 % and search recall up to 100.0 %. The practical features of the use of specialized extension for working with electronic documents are considered. The factors that complicate effective search of semantic terms in educational materials are described. The established effectiveness of the proposed technology allows use it to solution a number of urgent tasks, such as determination the conformity of educational materials to content requirements, determination the conformity of sets of test tasks to educational materials, semantic assistance in creating tests, automation of the creation of abstracts and annotations to the elements of educational materials, etc. Further researches are aimed at analyzing the impact on the effectiveness of the technology of the relationship between the number of key semantic terms in the resulting set and the value of the keyword density ratio and improve of the information technology considered to improve the results.Problems in programming 2018; 2-3: 245-254Исследовано проблему автоматизации поиска ключевых терминов в контенте обучающих материалов. Рассмотрено информационную технологию автоматизированного определения множества ключевых семантических терминов в контенте обучающих материалов, основанную на поиске использованных фраз в тексте и дисперсионной оценке важности слов. Согласно данной информационной технологии, на основе введенных данных в виде файла обучающего материала автоматизировано формируется структура цифрового документа для выбора элемента для анализа, после чего проводится сегментация по фразам и терминам, термины лемматизируются и их множество компактификуется. На основе автоматически лематизированного текста производится поиск и дисперсионная оценка важности слов в выбранном фрагменте, после чего оценивается важность терминов, а их количество ограничивается в соответствии с коэффициентом плотности ключевых слов. Входными данными информационной технологии является цифровой документ обучающего материала, выходными данными является соответствующее множество ключевых семантических терминов обучающего материала. Также описаны результаты анализа закономерностей существующих множеств ключевых семантических терминов.Рассмотрен тестовый программный продукт, позволяющий автоматизировано определять множество ключевых семантических терминов по данной информационной технологии. Проведенные исследования подтвердили возможность эффективно формировать множества ключевых семантических терминов обучающих материалов с показателями точности поиска до 92,9 % и полноты поиска до 100,0 %. Рассмотрены практические особенности использования специализированного расширения при работе с электронными документами. Изложены факторы, затрудняющие эффективное определение семантических терминов в учебных материалах. Определенная эффективность предложенной технологии способствует ее использованию для решения ряда актуальных задач, таких как оценка соответствия обучающих материалов требованиям, оценка соответствия наборов тестовых заданий обучающим материалам, помощь при создании тестов, автоматизация формирования рефератов и аннотаций к элементам обучающих материалов и прочие.Дальнейшие исследования направлены на анализ влияния на показатели эффективности технологии взаимосвязи между количеством ключевых семантических терминов в результирующем множестве и значением коэффициента плотности ключевых слов и совершенствования рассмотренной информационной технологии для улучшения результатов.Problems in programming 2018; 2-3: 245-254Досліджено проблему автоматизації пошуку ключових термінів у контенті навчальних матеріалів. Розглянуто інформаційну технологію автоматизованого визначення множини ключових семантичних термінів у контенті навчальних матеріалів, що ґрунтується на пошуку використаних фраз у тексті та дисперсійній оцінці важливості слів. Відповідно до даної інформаційної технології, на основі введених даних у вигляді файлу навчального матеріалу автоматизовано формується структура цифрового документу для вибору елементу для аналізу, після чого проводиться сегментація по фразах і термінах, терміни лематизуються та їх множина компактифікується. На основі автоматично лематизованого тексту проводиться пошук та дисперсійне оцінювання важливості слів у обраному фрагменті, після чого оцінюється важливість термінів, а їх кількість обмежується відповідно до коефіцієнту щільності ключових слів. Вхідними даними інформаційної технології є цифровий документ навчального матеріалу, вихідними даними є відповідна множина ключових семантичних термінів навчального матеріалу. Також описано результати аналізу закономірностей існуючих множин ключових семантичних термінів.Розглянуто тестовий програмний продукт, що дозволяє автоматизовано визначати множину ключових семантичних термінів за даною інформаційною технологією. Проведені дослідження підтвердили можливість ефективно формувати множини ключових семантичних термінів навчальних матеріалів з показниками точності пошуку до 92,9 % та повноти пошуку до 100,0 %. Розглянуто практичні особливості використання спеціалізованого розширення при роботі з електронними документами. Викладено фактори, що ускладнюють ефективне визначення семантичних термінів у навчальних матеріалах. Встановлена ефективність запропонованої технології сприяє її використанню для вирішення ряду актуальних задач, таких як оцінка відповідності навчальних матеріалів змістовим вимогам, оцінка відповідності наборів тестових завдань навчальним матеріалам, семантична допомога при створенні тестів, автоматизація формування рефератів та анотацій до елементів навчальних матеріалів тощо.Подальші дослідження спрямовані на аналіз впливу на показники ефективності технології взаємозв’язку між кількістю ключових семантичних термінів в результуючій множині та значенням коефіцієнту щільності ключових слів та вдосконалення розглянутої інформаційної технології для покращення результатів.Problems in programming 2018; 2-3: 245-25