PROBLEMS IN PROGRAMMING
Not a member yet
761 research outputs found
Sort by
Засоби та методи аналізу неструктурованих даних
Get PDFAnalysis of the current trends in the unstructured text data wide usage and the development of software tools for their processing causes the high urgency of this research direction and the necessity of intelligent information systems in such processing. A signigicant part of Big Data consists of unstructured texts that require the further development of specific Text Mining and algorythms of machine learning. Unstructured data consisting of natural language text in the general case, do not have a predetermined data model. Their ambiguity, heterogeneity and context dependence considerably complicate the classification of documents, the identification of their components and the automated obtaining of user-oriented knowledge from their content, while the large volumes and dynamism of such data do not involve efficient manual processing. The means and methods of data structuring, their various software implementations are considered. The prospects of using background knowledge for such structuring are analyzed. The feasibility of application such W3C standards as RDF and OWL is substantiated. The use of semantic Wiki-technologies for development of distributed information resources simplifies the process of natural text structuring by users and also generates the source of background knowledge for the analysis of arbitrary texts of the corresponding domains. The models and methods proposed in the work allow to improve this process.Problems in programming 2019; 1: 57-77Проанализированы современные средства анализа неструктурированных данных и влияние Big Data на актуальность этого направления исследований. Рассмотрены перспективы использования фоновых знаний для такого структурирования. Обоснована целесообразность применения для этого таких стандартов W3C, как RDF и OWL. Использование семантических Wiki-технологий для создания распределенных информационных ресурсов не только позволяет довольно легко добавлять структурирование к НСД, но и является источником фоновых знаний для анализа произвольных естественноязыковых текстов соответствующей предметной области. Предложенные в работе модели и методы позволяют усовершенствовать процесс генерации таких знаний.Problems in programming 2019; 1: 57-77Проаналізовано сучасні засоби аналізу неструктурованих даних (НСД) та вплив Big Data на актуальність цього напрямку досліджень. Розглянуто перспективи використання фонових знань для такого структурування. Обґрунтовано доцільність застосування для цього таких стандартів W3C, як RDF та OWL. Використання семантичних Wiki-технологій для створення розподілених інформаційних ресурсів не тільки дозволяє досить легко додавати структурування до НСД, але й є джерелом фонових знань для аналізу довільних природномовних текстів відповідної предметної області. Запропоновані в роботі моделі та методи дозволяють вдосконалити процес генерації таких знань.Problems in programming 2019; 1: 57-7
Проектування програми візуалізації земної поверхні з використанням алгебро-алгоритмічного інструментарію
Get PDFOne of the important challenges in meteorological forecasting is a computer visualization of prognosis data, in particular, three-dimensional modeling of terrain surface relief. One of the most popular software tools for developing data visualization applications is OpenGL, a cross-language, cross-platform application programming interface for rendering two-dimensional and three-dimensional vector graphics. Data visualization is a fairly complex task, therefore it is necessary to develop special tools intended for automated generation of source code for such tasks. The paper deals with the further development of previously developed algebra-algorithmic tools in the direction of automated design and synthesis of OpenGL programs. Automated construction of programs is implemented using a high-level language based on Glushkov’s system of algorithmic algebra. The approach is illustrated on designing a terrain surface relief visualization program for weather forecasting task. Одной из важных задач в рамках метеорологического прогнозирования является компьютерная визуализация полученных результатов прогноза, в частности, трехмерное моделирование рельефа земной поверхности. Одним наиболее популярных программных средств разработки приложений в области визуализации данных является OpenGL – спецификация, определяющая независимый от языка программирования кроссплатформенный программный интерфейс для написания приложений, использующих двумерную и трехмерную графику. Визуализация данных является достаточно сложной задачей, поэтому актуальным является вопрос создания специальных средств автоматизации, которые позволяли бы генерировать программный код для таких задач. В статье выполнена настройка ранее созданного алгебро-алгоритмического инструментария на проектирование и синтез OpenGL программ. Автоматизированное конструирование программ выполняется с использованием высокоуровневого языка, основывающегося на системах алгоритмических алгебр Глушкова. Подход продемонстрирован на проектировании программы визуализации рельефа подстилающей поверхности для задачи прогнозирования погоды. Однією з важливих задач в рамках метеорологічного прогнозування є комп’ютерна візуалізація отриманих результатів прогнозу, зокрема, тривимірне моделювання рельєфу земної поверхні. Одним із найпопулярніших програмних засобів розробки застосунків в області візуалізації даних є OpenGL – специфікація, що визначає незалежний від мови програмування кросплатформний програмний інтерфейс для написання застосунків, що використовують двовимірну й тривимірну графіку. Візуалізація даних є досить складною задачею, тому актуальним є питання створення спеціальних засобів автоматизації, що дозволяли б генерувати програмний код для задач з даної предметної області. У статті виконане налаштування раніше створеного алгебро-алгоритмічного інструментарію на проектування та синтез OpenGL програм. Автоматизоване конструювання програм здійснюється з використанням високорівневої мови, що ґрунтується на системах алгоритмічних алгебр Глушкова. Підхід продемонстровано на проектуванні програми візуалізації рельєфу підстильної поверхні для задачі прогнозування погоди
Інформаційна технологія експертно-аналітичного оцінювання витрат на розроблення та використання програмного забезпечення комп’ютерних систем
Get PDFNew Roles of Cost Estimates of Computer Systems (CS) Applied Software (AS) development and usage within CS successful development (modernization) are identified. These roles are Rationales and Means for Decisions coordination concerning CS Value and life cycle (LC) Cost balancing that satisfies all CS stakeholders.To enable these Roles Methods for AS Cost estimating unification is substantiated under CS LC specifics (LC evolutionary models diversity, (non)developmental ready-to-use items usage, CS and AS requirements volatility, their tightening for efficiency, reliability and security). Within the expert-analytical approach for AS Cost Estimation initiated by the authors the unification tool, named as an Information Technology for formalized Cost estimation Problem multiple informed solving over LC with AS expert assessments within their common information environment, is provided. The Technology unifies the authors' techniques for AS development/ annual maintenance Cost evaluating with COCOMO II.2000.4 model and approved methods (universal and special for defense CS) within the author's methodology of Diagnostic Expertise. Technology components are described: open AS and AS LC models Classifiers; mathematical Methods (for expert assessing, AS efforts evaluating, its transforming into cost up to regulations, forming/refining efforts regression models); Methods Applicability to AS Function; Sub-models of AS Cost expert assessing and experts selecting Processes.Elaborated Technology accelerates and cheapens AS Cost estimation due improving its methods based on their results and unifying procedures. It provides all CS and AS LC participants in timely manner with sound, adequately specialized and compatible Cost estimates facilitating Decisions substantiality and informational consistency concerning CS development (modernization) rational processes as well as keeping those processes’ efficiency acceptable for all stakeholders.Problems in programming 2018; 4: 15-29 Для оценок затрат на прикладное программное обеспечение (ППО) компьютерных систем (КС) выявлены новые роли в успешной разработке (модернизации) КС – оснований и средств координации решений по согласованию ценности и затрат на жизненный цикл (ЖЦ) КС, приемлемому для сторон, заинтересованных в КС. Обоснована унификация методов оценки стоимости ППО в поддержку этих ролей. В русле экспертно-аналитического подхода к оценке затрат на ППО, развитого авторами, представлен механизм унификации – Информационная технология многократного обоснованного решения в ЖЦ КС формализованной задачи оценивания затрат с помощью экспертиз ППО в общей информационной среде. Она унифицирует методики авторов по оценке затрат на разработку/ годовое сопровождение ППО по модели COCOMO II.2000.4 и апробированные методы в русле авторской методологии Диагностической экспертизы. Описаны элементы технологии: пополняемые классификаторы ППО и моделей его ЖЦ; математические методы; функция применимости методов к ППО; подмодели и режимы автоматизиро-ванной поддержки процессов экспертного оценивания затрат и подбора экспертов.Разработанная технология ускоряет и удешевляет оценивание затрат на ППО КС в силу совершенствования его методов и унификации процедур. Она своевременно обеспечивает всех участников ЖЦ ППЗ и КС обоснованными и сопоставимыми оценками затрат, способствуя информационной преемственности и обоснованности решений по рациональной организации процессов разработки (модернизации) КС и поддержанию их эффективности, приемлемой для заинтересованных сторон.Problems in programming 2018; 4: 15-29Для оцінок витрат на прикладне програмне забезпечення (ППЗ) комп’ютерних систем (КС) виявлено нові ролі в успішному розробленні (модернізації) КС – підстав і засобу координації рішень з узгодження цінності й витрат на життєвий цикл (ЖЦ) КС, яке прийнятне для зацікавлених у КС сторін. Обґрунтовано уніфікацію методів оцінювання вартості ППЗ на підтримку цих ролей за особливостей ЖЦ КС (еволюційності й різнорідності моделей ЖЦ, застосування готових (не)програмних ресурсів, змінності вимог до КС і ППЗ, їх загострення для ефективності, надійності й захищеності). В руслі експертно-аналітичного підходу до оцінювання витрат на ППЗ, започаткованого авторами, надано механізм уніфікації – інформаційну технологію багаторазового обґрунтованого розв’язання в ЖЦ КС формалізованої задачі оцінювання витрат за допомогою експертиз ППЗ у спільному інформаційному середовищі. Технологія уніфікує методики авторів з оцінювання витрат на розроблення/річний супровід ППЗ за моделлю COCOMO II.2000.4 і випробувані методи (універсальні й спеціальні для КС оборонного призначення) в руслі авторської методології Діагностичної експертизи. Описано складники технології: поповнювані класифікатори ППЗ і моделей ЖЦ ППЗ; математичні методи (проведення експертиз, оцінювання трудомісткості ППЗ, її перетворення у вартість за чинними регламентами діловодства, побудови/уточ-нення для неї регресійних моделей); функцію застосовності методів до ППЗ; під-моделі й режими автоматизованої підтримки процесів експертного оцінювання витрат на ППЗ і добору експертів.Розроблена технологія пришвидшує й здешевлює оцінювання витрат на ППЗ КС завдяки вдосконаленню його методів за накопичуваними результатами та уніфікації процедур. Вона вчасно забезпечує всіх учасників ЖЦ ППЗ і КС обґрунтованими, адекватно деталізованими й зіставними оцінками витрат, сприяючи обґрунтованості й інформаційній наступності рішень з раціональної організації процесів розроблення (модернізації) КС і дотриманню їх ефективності, прийнятної для зацікавлених сторін.Problems in programming 2018; 4: 15-2
TermWare3 – система переписування термів, заснована на контекстному численні
Get PDFIn this paper, the design of the TermWare-3 rewriting system which is built on the ground of reflective calculus of context term is considered. In the calculus of the context term, term structure contains not only tree, but a reference to an internal context and matching constrains (external context). This allows to embed operation of name resolving into the mathematical semantics of the term rewriting. The elements of algebra are multiterms, which complement context terms by constructions of arrows, universal matching pattern and consistent set. This allows to emulate substitutions of typed variables in the terms of multiterm algebra. Also, the method of effective rule dispatch is described. Example of usage term rewriting system for checking of smart-contract properties, with automatic transformation of expression between representation in terms of Scala algebraic types and TermWare-3 context terms is shown. Problems in programming 2019; 1: 48-58В статье описывается конструкция системы переписывания термов TermWare-3, построенной на основе рефлексивного исчисления контекстных термов, когда структура терма включает в себя дополнительно к дереву терма еще внутренний контекст и ограничения на сопоставление (внешний контекст). Это позволяет погрузить операции разрешения имен в математическую семантику переписывающих правил. Элементами алгебры являются мультитермы, которые дополняют контекстные термы конструкциями стрелок, универсальным образцом сопоставления и непротиворечивых множеств. Это позволяет эмулировать подстановку типизированных переменных в рамках алгебры мультитермов. Также описывается метод эффективной диспетчеризации выбора правил. Приводится пример применения системы переписывающих правил для анализа смарт-контрактов вместе с автоматическим преобразованием выражения между системами на основе алгебраических типов Scala и контекстными термами.Problems in programming 2019; 1: 48-58 У статті описується конструкція системи переписування термів TermWare-3, що побудована на основі рефлексивного числення контекстних термів, коли структура терму включає до себе, окрім дерева, ще й внутрішній контекст та обмеження на співставлення при застосуванні (зовнішній контекст), що дозволяє занурити операції розв’язування імен в математичну семантику переписувальних правил. Описується метод ефективної диспетчеризації вибору правил, а також автоматичне перетворення виразів між системами на основі алгебраїчних типів мови Scala та контекстними термами.Problems in programming 2019; 1: 48-5
50 років інженерії програмного забезпечення
No full textThe article is dedicated to the 50th anniversary of the key area of informatics today - software engineering. In October 2018, it was 50 years since the conference, at which the professional community of programmers and scientists put into circulation and justified the term software engineering. The article is based on the forty-five-year experience of the author in software engineering and the purposes of the article are two. In the first, to mark an important date for the main branch of the country - the software industry, and on the second, to give a complete picture of the state of affairs in software engineering, recalling those who made a system-making scientific contribution to the development of the industry. The article consists of three sections. In the first, outlines the origins and conditions that led to the emergence of software engineering. In the second, systematic results are given and the authors of these results are indicated. At the same time, such parts of software engineering are considered: programming in the aspect of the structured programming; modularization as a basis for software reuse and reuse; life cycle modeling, the importance of which is that it not only led to life cycle management, but also opened up new processes, identified new products and resources necessary for the implementation of these processes and made it possible to move on to “programming in large” that required the creation of new methods tools and professions; empirical software engineering, now, is a section of software engineering, represented by a large number and variety of metrics, tools and methods for measuring and analyzing results; a software culture that claims that only teams with a certain culture and maturity can create high-quality and reliable software; software economics and software cost estimation models; green information technologies and software, ecosystems. The third section deals with the formulation of education in software engineering, and in particular in Ukraine.Problems in programming 2018; 4: 30-44 Статья посвящается 50 годовщине образования, ключевой на сегодняшний день области информатики – инженерии программного обеспечения. В октябре 2018 года исполнилось 50 лет со дня проведения конференции, на которой профессиональное сообщество программистов и ученых ввело в обращение и обосновало термин software engineering. Статья построена на сорока пятилетнем опыте автора в инженерии программного обеспечения и цель статьи двоякая. С одной стороны, отметить важную дату для главной отрасли страны – индустрии программного обеспечения, а с другой, дать полную картину, насколько позволит размер статьи, состояния дел в инженерии программного обеспечения, помянув тех, кто внес системообразующий научный вклад в развитие отрасли. Статья состоит из трех разделов. В первом, излагаются истоки и условия, которые привели к появлению инженерии программного обеспечения. Во втором, приводятся системообразующие результаты и указываются авторы этих результатов. При этом, рассматриваются такие части инженерии программного обеспечения как программирование, в аспекте структурного операторного базиса современных языков программирования; модуляризация как основа для повторного и многократного использования программного обеспечения; моделирование жизненного цикла, важность которого состоит в том, что оно не только привело к управлению жизненным циклом, но открывая новые процессы, определило новые продукты и ресурсы необходимые для реализации этих процессов и позволило перейти к «программированию в большом», что потребовало создания новых методов, инструментов и профессий; эмпирическая инженерия программного обеспечения, сейчас, это раздел инженерии программного обеспечения, представленный большим количеством и разнообразием метрик, инструментами и методами проведения измерений и анализа результатов; культура программного обеспечения, которая утверждает, что создавать качественное и надежное программное обеспечение могут только коллективы, обладающие определенной культурой и зрелостью; экономика программного обеспечения и модели для оценки стоимости программного обеспечения; зеленые информационные технологии и программное обеспечение, экосистемы. В третьем разделе, рассматривается постановка образования в инженерии программного обеспечения.Problems in programming 2018; 4: 30-44 Стаття присвячується 50 річниці утворення, ключовий області інформатики - інженерії програмного забезпечення. У жовтні 2018 року минуло 50 років з дня проведення конференції, на якій професійне співтовариство вчених, обґрунтувавши увело в обіг термін software engineering (інженерія програмного забезпечення). Зараз, це велика, ефективна і результативна частина інформатики. Стаття побудована на сорока п'ятирічному досвіді автора в інженерії програмного забезпечення та аналізі відповідної літератури. Мети у статті дві. По перше, відзначити важливу дату для головної галузі нашої країни - індустрії програмного забезпечення, а по друге, надати досить повну картину стану справ в інженерії програмного забезпечення, згадуючи тих, хто вклав системо утворюючий внесок в розвиток галузі. Стаття складається з трьох розділів. У першому, викладаються витоки і умови, які призвели до появи інженерії програмного забезпечення. У другому розділі, наводяться системо утворюючі результати і вказуються автори цих результатів. Розглядаються такі частини інженерії програмного забезпечення, як програмування, в аспекті структурного операторного базису сучасних мов програмування; модулярізація, як основа для повторного і багаторазового використання програмних компонентів; моделювання життєвого циклу, важливість якого полягає в тому, що воно не тільки привело до управління життєвим циклом, але відкриваючи нові процеси, визначило нові продукти і ресурси необхідні для реалізації цих процесів, в свою чергу це призвело до переходу до «програмування у великому», що зажадало створення нових методів, інструментів і професій; емпірична інженерія програмного забезпечення, яка зараз е великим розділом інженерії програмного забезпечення, представленим значною кількістю і різноманітністю метрик, інструментами і методами проведення вимірювань та аналізу результатів; культура програмного забезпечення, яка забезпечує, створення якісного і надійного програмного забезпечення колективами, що володіють певною культурою і зрілістю; економіка програмного забезпечення і моделі для оцінки вартості програмного забезпечення; зелені інформаційні технології та програмне забезпечення, екосистеми, методи і засоби яких спрямовані на реалізацію концепції сталого розвитку. У третьому розділі, розглядається постановка освіти в інженерії програмного забезпечення і зокрема в Україні.Problems in programming 2018; 4: 30-4
Платформи великих даних. Основні задачі, властивості та переваги
Get PDFThis paper presents an overview of existing big data platforms. The goal is to identify the main problems and solutions that exist in this area, as well as the properties of the big data platforms that determine their capabilities, advantages or weaknesses in solving these problems. The relevance of the topic is due to the rapid evaluation of mobile devices and application systems, the corresponding increase in the volume of information and the inability of traditional systems to process such amounts of data in a reasonable time. That is, it is an information technology platform enterprise class that provides the properties and functionality of an application in one solution for developing, deploying, processing and managing big data. The goal of creating and using such platforms is to improve the scalability, availability, performance, and security of organizations working with big data. Big data platforms enable to process multi-structured data in real time and allow different users to use them for various tasks related to using big data. The paper discusses frameworks developed for solving big data problems, analyzes their characteristics, operating principles and capabilities in the context of the problems they are able to solve, it also identifies existing “gaps” and directions for further development. Solving the problems of big data, namely ensuring the effective storage, processing and analysis of data, will make information more useful, and companies that work with big data more competitive.Problems in programming 2019; 3: 101-115Данная работа представляет обзор существующих платформ больших данных. Цель состоит в определении основных проблем и решений, существующих в этой области, а также свойств платформ больших данных, которые определяют их возможности, достоинства или недостатки в решении этих проблем. Актуальность темы обусловлена стремительным развитием мобильных устройств и прикладных систем, соответствующим ростом объемов информации и неспособностью традиционных систем обрабатывать такие объемы данных в приемлемые сроки. То есть, это платформа информационных технологий класса предприятия, которая обеспечивает свойства и функциональность прикладной системы в одном решении для разработки, разворачивания, обработки и управления большими данными. Цель создания и использования таких платформ заключается в улучшении масштабируемости, доступности, производительности и безопасности организаций, работающих з большими данными. Платформы больших данных позволяют обрабатывать объемные многоструктурные данные в режиме реального времени, а также разным пользователям использовать их для выполнения разных задач с использованием больших данных. Рассматриваются фреймворки, разработанные для решения задач больших данных, анализируются их характеристики, принципы работы, возможности в контексте проблем, которые они способны решать, определяются существующие «пробелы» и направления развития. Решение проблем больших данных, а именно обеспечение эффективного хранения, обработки и анализа данных, позволит сделать информацию более полезной, а предприятия, работающие с большими данными, более конкурентноспособными. Problems in programming 2019; 3: 101-115Дана робота представляє огляд існуючих платформ великих даних. Мета полягає у визначені основних проблем та рішень, які існують в цій сфері, а також властивостей платформ великих даних, що визначають їх можливості, переваги чи недоліки у вирішенні цих проблем. Актуальність теми обумовлена стрімким розвитком мобільних пристроїв і прикладних систем, відповідним ростом обсягів інформації та нездатністю традиційних систем обробляти таки обсяги даних у придатні терміни. Тобто, це платформа інформаційних технологій класу підприємства, яка забезпечує властивості та функціональність прикладної системи в одному рішенні для розробки, розгортання, обробки та управління великими даними. Метою створення та використання таких платформ є покращення масштабованості, доступності, продуктивності та безпеки організацій, які працюють з великими даними. Платформи великих даних надають можливість обробляти об’ємні багатоструктурні дані в режимі реального часу та дозволяють різним користувачам застосовувати її для виконання різних задач, що пов’язані із використання великих даних. В роботі розглядаються фреймворки, що розроблені для вирішення задач великих даних, аналізуються їх характеристики, принципи роботи, переваги у контексті проблем, які вони здатні вирішувати, визначаються існуючі «прогалини» та напрямки подальшого розвитку. Вирішення проблем великих даних, а саме забезпечення ефективного зберігання, обробки та аналізу даних, дозволить зробити інформацію кориснішою, а підприємства, які працюють з великими даними, конкурентноздатнішими. Problems in programming 2019; 3: 101-11
Засіб налаштування програм на платформі .NET за допомогою переписувальних правил
Get PDFSoftware tool for computation optimization that allows to optimize semiautomatically to increase execution speed was developed. Plugin for TermWare system, which implements the concept of rewriting rules, was developed. The plugin represents an analyzer for C# using Roslyn platform and generates terms for TermWare system from source code. The work of software tool was illustrated on «Conway's Game of Life» - famous academic example. A comparison of the results of processing the implementation of the algorithm using the TermWare system and the Eazfuscator.NET library was given. The results were obtained by experiments on various data sizes. Speed of the program before and after modifications, the number of modifications required in the source code to work with the system was measured. The developed system and Eazfuscator.NET framework were tested on personal computer. Разработано программное средство для оптимизации вычислений, которое позволяет в полуавтоматическом режиме осуществить оптимизацию программы, увеличив её быстродействие. Для этого разработан специальный плагин на систему TermWare, в котором реализована концепция правил переписывания. Плагин осуществляет работу анализатора языка C# с помощью платформы Roslyn и генерирует термы для системы TermWare с исходного кода программы. Программное средство проиллюстрировано на известном академическом примере «Игра жизнь». Приведено сравнение результатов обработки реализации алгоритма с помощью системы TermWare и библиотеки Eazfuscator.NET. Результаты были получены в следствии экспериментов на различных размерах данных. Измерена скорость работы программ до и после модификаций, количество необходимых модификаций в исходном коде для работы с системой. Испытания разработанного метода и библиотеки Eazfuscator.NET были проведены на персональном компьютере.Розроблено програмний засіб для оптимізації обчислень, що дозволяє в автоматизованому режимі здійснити оптимізацію програми шляхом підвищення її швидкодії. Для цього реалізовано спеціальний плагін до системи переписувальних правил TermWare, за допомогою якого система здійснює налаштування програм, написаних на платформі .NET. Плагін використовує аналізатор Roslyn, реалізований генератор термів системи TermWare з вихідного коду програми. Програмний засіб проілюстровано на відо-мому прикладі клітинного автомату «Гра життя» на різних розмірах площини. Під час експериментів проведені виміри швидкодії програми до та після модифікації вихідного коду. Наведене порівняння результатів роботи методу самоналаштування за допомогою TermWare та інструментарію під назвою Eazfuscator.NET. Експерименти розробленого методу та бібліотеки Eazfuscator.NET проведені на персональному комп’ютері
Девіантні алгебри істиннісних значень та девіантні класи загальних недетермінованих предикатів
Get PDFIn this paper we study new classes of program-oriented logical formalisms – logics of general non-deterministic (GND) predicates. These logics reflect such properties of programs as nondeterminism, partiality, and non-fixed arity. GND-predicates can be modeled as 7-valued total deterministic (TD7) predicates. The main attention is paid to algebras of truth values (TV-algebras) of TD7-predicates. The set of truth values TV7 = {T, F, T#, F#, #, TF, TF#} defines TV-algebrа ATV7 = (TV7, {Ø*, Ú*}). There 20 subalgebras of ATV7 exist, and each of them induces a corresponding algebra of GND-predicates. At the same time there is a very large number of 7-valued logics so a lot of TV7 subsets are not closed under Ø* or Ú* and do not form subalgebras of ATV7. We call such subsets with the corresponding classes of GND-predicates deviant, they are not closed under logical connectives of GND-predicates. In order for deviant TV Í TV7 to form an algebra we need to modify Ø* or Ú*. Modifications can be made in a large number of ways. Modification of Ø* leads to specific non-classical logics and lies outside the scope of this paper. Modifications of Ú* satisfying the TFC condition of predicate algebras logical connectives correctness are the most important, otherwise we obtain deviant TV-algebra which does not induce an algebra of GND-predicates. For all TV7 subsets we study the possibility of Ú* modification with TFC condition. Such modification induces corresponding classes of GND-predicates. We describe “natural” modifications of Ú* without TFC condition obtaining a number of deviant TV-algebras. There are no modifications with TFC condition for deviant sets {#, TF, TF#}, {TF, #}, {TF#, #}, so for them we specify “relatively natural” deviant TV-algebras.Problems in programming 2019; 1: 14-26Изучаются новые классы программно-ориентированных логических формализмов – логики общих недетерминированных (GND) предикатов. GND-предикаты можно моделировать как 7-значные тотальные детерминированные (ТD7) предикаты. Основное внимание уделено исследованию алгебр истинностных значений (TV-алгебр) TD7-предикатов. Существует 20 подалгебр TV-алгебры TD7-предикатов ATV7 = (TV7, {Ø*, Ú*}). Каждая из них индуцирует соответствующую алгебру TD7-предикатов. Существует очень много 7-значных логик, поэтому много подмножеств TV7 незамкнуты относительно Ø* или Ú*, они не образуют подалгебр ATV7. Эти подмножества и соответствующие классы GND-предикатов названы девиантными. Для того, чтобы девиантное TV Í TV7 образовало алгебру, нужно модифицировать Ø* или Ú*. Это можно сделать многими способами. Модификация Ø* ведет к специфическим неклассическим логикам и в этой работе не рассматривается. Особо важны такие модификации Ú*, для которых выполняется условие TFC корректности логических связок предикатных алгебр. При нарушении TFC TV-алгебра названа девиантной, она не индуцирует алгебру GND-предикатов. Для всех подмножеств TV7 исследована возможность модификации Ú* с условием TFC, что определяет соответствующие классы GND-предикатов. Описаны естественные модификации Ú* без TFC, что дает ряд девиантных TV-алгебр. Существуют 3 девиантных TV Í TV7, для которых нет модификаций Ú* с условием TFC; для них указаны относительно естественные девиантные TV-алгебры.Problems in programming 2019; 1: 14-26Вивчаються програмно-орієнтовані логічні формалізми – логіки загальних недетермінованих (GND) предикатів. GND-предикати моделюються як 7-значні TD7-предикати. Досліджено девіантні алгебри істиннісних значень (TV-алгебри) TD7-предикатів та девіантні класи GND-предикатів. Девіантна TV-алгебра не індукує алгебру GND-предикатів. Для підмножин істиннісних значень досліджено можливість модифікації Ú* із умовою коректності TFC, що визначає відповідні класи GND-предикатів. Описано природні модифікації Ú* без TFC, що дає низку девіантних TV-алгебр.Problems in programming 2019; 1: 14-2
Моделювання конфліктної взаємодії в мережах: еволюційно-ігровий підхід
Get PDFPrombles in programming 2014; 4: 67-77В роботі розглянуто еволюційно-ігрову модель мережевої взаємодії. На сьогодні в мережі Інтернет існує велика кількість протоколів передачі даних, що різняться за якістю сервісу для кінцевого користувача. Процес вибору оптимального протоколу може бути розглянутий як математична гра, в якій гравці (користувачі) прагнуть до максимізації свого виграшу (пропускної здатності). В даній статті представлена модель мережевої взаємодії, що базується на диференційних рівняннях з розривною правою частиною, сформульовано матрицю виграшів для гри та знайдено умови існування рівноваги у вигляді обмежень на параметр чутливості до помилок. Результати підтверджено за допомогою симуляції.Prombles in programming 2014; 4: 67-7
Метод управління дворівневим сховищем віртуалізованого центру обробки даних
Get PDFInternet of things applications and data analysis services require a high performance and resilient data storage systems. In the era of servers, networks and storage virtualization, there is a need to develop new models and methods of managing storages for the purpose of improving their performance and reducing the capital and operating costs of the IT infrastructure as a whole. In this paper the two-tier storage model and management method are proposed. The proposed method allows to increase the performance of read/write operations of virtual machines in cloud data centers without significant increase in the storage cost. The research results show that the use of two-tier storage management method allows to reduce the cost of storage by reducing the size and number of storage devices at the fastest level. The analysis of the simulation results shows that the two-tier storage and the proposed management method allows to reduce the waiting time for file access, that leads to an increase in the performance of the two-tier storage while simultaneously serving virtual machine and container requests. Problems in programming 2018; 4: 003-014Требования к системам хранения данных со стороны современных сервисов в системах интернета вещей и анализа данных растут с каждым годом. В условиях виртуализации серверов, сетей и хранилищ данных возникает необходимость разработки новых моделей и методов управления системами хранения данных, улучшающие производительность их работы и позволяют уменьшить капитальные и операционные расходы на ИТ инфраструктуру в целом. В статье разработана модель двухуровневого хранилища и метод управления, позволяет без существенного увеличения стоимости хранения данных повысить производительность операций чтения / записи данных виртуальными машинами и контейнерами в гиперконвергентних и облачных ЦОД. Результаты исследования показывают, что использование двухуровневых хранилищ с предложенным методом управления дает возможность снизить стоимость хранения данных за счет уменьшения объема и количества устройств быстрого уровня. Анализ результатов симуляции работы двухуровневого хранилища и предложенного метода управления показал, что время ожидания завершения транзакций доступа к файлам уменьшается, что, по сравнению с одноуровневым хранилищем, построенным на медленных устройствах, приводит к повышению производительности работы двухуровневого хранилища при одновременной работе виртуальных машин и контейнеров.Problems in programming 2018; 4: 003-014 Вимоги до систем збереження даних з боку сучасних сервісів в системах інтернету речей та аналізу даних зростають з кожним роком. В умовах віртуалізації серверів, мереж і сховищ даних виникає необхідність розробки нових моделей і методів управління системами збереження даних, що покращують продуктивність їх роботи і дозволяють зменшити капітальні та операційні витрати на ІТ інфраструктуру в цілому. У статті розроблено модель дворівневого сховища і метод управління, що дозволяє без суттєвого збільшення вартості зберігання даних підвищити продуктивність операцій читання/запису даних віртуальними машинами та контейнерами в гіперконвергентних і хмарних ЦОД. Результати дослідження показують, що використання дворівневих сховищ із запропонованим методом управління дає можливість знизити вартість збереження даних за рахунок зменшення об’єму і кількості пристроїв швидкого рівня. Аналіз результатів симуляції роботи дворівневого сховища і запропонованого методу управління показав, що час очікування завершення транзакцій доступу до файлів зменшується, що, у порівнянні з однорівневим сховищем, побудованим на повільних пристроях, призводить до підвищення продуктивності роботи дворівневого сховища при одночасній роботі віртуальних машин і контейнерів. Problems in programming 2018; 4: 003-01