PROBLEMS IN PROGRAMMING
Not a member yet
761 research outputs found
Sort by
Нечіткі ймовірності та нечіткі події
Get PDFThe article deals with different approaches to calculating the probability of fuzzy event. We consider The problems in fuzzy formulation, which are solving with help of the proposed approaches to the calculation of fuzzy probability are considered.Problems in programming 2016; 2-3: 170-178В статье рассматриваются разные подходы к вычислению вероятностей нечетких событий. Рассматриваются задачи в нечетких постановках для решения которых используются предложенные подходы к вычислению нечетких вероятностей.Problems in programming 2016; 2-3: 170-178В статті розглядаються різні підходи до обчислення ймовірностей нечітких подій. Розглядаються задачі в нечітких постановках, для розв’язання яких використовуються запропоновані підходи до обчислення нечітких ймовірностей.Problems in programming 2016; 2-3: 170-17
Складові стенда валідації архівних електронних документів
Get PDFThe current legal framework regulating the electronic documents exchange in Ukraine does not determine the full electronic documents life-time, namely the electronic documents conformance assessment to the requirements for archival electronic documents. The purpose of the article is to detail the algorithm of archival electronic documents validation by means of the test bench. Motivated in the article is the necessity of the development of the archival electronic documents test bench, and the main principles of its functioning are considered. The test bench for archival electronic documents validation and the conformant national standards providing the file format for archival electronic documents – are the basis for the creation of the management subsystem for archival electronic authorized and reliable assets and would provide the long-term preservation.Существующая нормативно-правовая база, регулирующая электронный документооборот в Украине, не регламентирует полный жизненный цикл электронных документов, а именно оценивание соответствия электронных документов требованиям архивных электронных документов. Цель статьи – детализация алгоритма валидации архивных электронных документов с помощью стенда. В статье обосновано создание стенда валидации архивных электронных документов и рассмотрены принципы его работы. Стенд валидации архивных электронных документов с соответствующими национальными стандартами форматов архивных электронных документов – основа создания подсистемы управления архивными электронными фондами правомочных и достоверных документов, обеспечивающих долговременное хранение.Чинна нормативно-правова база, що регулює електронний документообіг в Україні не регламентує повний життєвий цикл електронних документів, зокрема оцінювання відповідності електронних документів вимогам архівних електронних документів. Метою статті є деталізація алгоритму валідації архівних електронних документів за допомогою стенду. У статті обґрунтовано потребу створення стенду валідації архівних електронних документів та розглянуто принципи його роботи. Стенд валідації архівних електронних документів із відповідними національними стандартами формату архівних електронних документів – є основою створення підсистеми керування архівними електронними правомочними й достовірними фондами і забезпечать довічне збереження
Класифікація засобів та методів семантичного пошуку в Web
Get PDFProblems associated with the improve ment of information retrieval for open environment are considered and the need for it’s semantization is grounded. Thecurrent state and prospects of development of semantic search engines that are focused on the Web information resources processing are analysed, the criteria for the classification of such systems are reviewed. In this analysis the significant attention is paid to the semantic search use of ontologies that contain knowledge about the subject area and the search users. The sources of ontological knowledge and methods of their processing for the improvement of the search procedures are considered. Examples of semantic search systems that use structured query languages (eg, SPARQL), lists of keywords and queries in natural language are proposed. Such criteria for the classification of semantic search engines like architecture, coupling, transparency, user context, modification requests, ontology structure, etc. are considered. Different ways of support of semantic and otology based modification of user queries that improve the completeness and accuracy of the search are analyzed. On base of analysis of the properties of existing semantic search engines in terms of these criteria, the areas for further improvement of these systems are selected: the development of metasearch systems, semantic modification of user requests, the determination of an user-acceptable transparency level of the search procedures, flexibility of domain knowledge management tools, increasing productivity and scalability.In addition, the development of means of semantic Web search needs in use of some external knowledge base which contains knowledge about the domain of user information needs, and in providing the users with the ability to independent selection of knowledge that is used in the search process. There is necessary to take into account the history of user interaction with the retrieval system and the search context for personalization of the query results and their ordering in accordance with the user information needs. All these aspects were taken into account in the design and implementation of semantic search engine "MAIPS" that is based on an ontological model of users and resources cooperation into the Web.Problems in programming 2017; 1: 30-50Рассмотрены проблемы, связанные с усовершенствованием поиска информации в открытой среде, обоснована потребность в ее семантизации. Проанализировано современное состояние и перспективы развития систем семантического поиска, ориентированных на обработку информационных ресурсов Web, рассмотрены критерии классификации таких систем. В этом анализе значительное внимание отводится использованию в семантическом поиске онтологий, которые содержат знания относительно предметной области поиска и относительно пользователя, для которого выполняется поиск. На основе анализа свойств существующих систем семантического поиска с точки зрения этих критериев выделенные области дальнейшего усовершенствования этих систем, предложена их реализация в системе семантического поиска "МАИПС".Problems in programming 2017; 1: 30-50Розглянуто проблеми, пов’язані з удосконаленням пошуку інформації у відкритому середовищі, обґрунтована потреба в його семантизації. Проаналізовано сучасний стан та перспективи розвитку систем семантичного пошуку, орієнтованих на обробку інформаційних ресурсів Web, розглянуто критерії класифікації таких систем. В цьому аналізі значна увага приділяється використанню у семантичному пошуку онтологій, що містять знання щодо предметної області пошуку та користувача, для якого виконується пошук. На основі аналізу властивостей існуючих систем семантичного пошуку з точки зору цих критеріїв виділені області подальшого вдосконалення цих систем, запропоновано їх реалізацію у системі семантичного пошуку "МАІПС".Problems in programming 2017; 1: 30-5
Принципи та аналітичні засоби реконструкції структур ймовірнісних залежностей у спеціальному класі
Get PDFWe examine a problem of reconstruction of dependency structure from data. It is assumed that model structure belongs to class of "mono-flow" graphs, which is a subclass of acyclonic digraph (known as DAGs) and is super-class relatively to the poly-trees. Properties of the mono-flow dependency models are examined, especially in terms of patterns of unconditional dependencies and mutual information. We characterize the twin-association evolving among two variables. Specialized methods of inference of mono-flow dependency model are briefly reviewed. To justify correctness of model recovery from data we formulate an assumption of unconditional (marginal) edge-wise faithfulness, perhaps the most reliable one among all simple versions of Causal faithfulness assumption. On the basis of the assumption and the properties of mono-flow dependency models we derive several empirical resolutions for edge identification, which make use 2-placed statistics only. A lot of experiments with artificial data have demonstrated efficiency of the resolutions in that they correctly recover many edges and commit low error rate.Problems in programming 2017; 1: 97-110Предложен и обоснован набор эмпирических резолюций, которые опираются исключительно на безусловные зависимости двух переменных и обеспечивают идентификацию непосредственных связей (ребер) в структурах зависимостей в классе монопотоковых графов. Этот класс структур является подклассом ациклонных орграфов и суперклассом для поли-лесов. Охарактеризованы свойства монопотоковых моделей. Корректность разработанных эмпирических резолюций основывается на эмпирически надежном предположении безусловной (маргинальной) реберной необманчивости.Problems in programming 2017; 1: 97-110Запропоновано та обґрунтовано набір емпіричних резолюції, які спираються виключно на безумовні залежності двох змінних та забезпечують ідентифікацію безпосередніх зв’язків (ребер) у структурах залежностей в класі монопотокових графів. Цей клас структур є підкласом ациклонних орграфів та суперкласом для полі-лісів. Охарактеризовано властивості монопотокових моделей. Коректність розроблених емпіричних резолюцій ґрунтується на емпірично надійному припущенні безумовної (маргінальної) реберної неоманливості.Problems in programming 2017; 1: 97-11
Архітектура програмної системи ієрархічного нечіткого логічного виведення
Get PDFA software architecture for hierarchical fuzzy logic hierarchy based on fuzzy logic algorithmic models and separate parallel computing technologies such as MPI and CUDA has been developed, as well as key architectural design solutions to provide the flexibility and performance of a parallel fuzzy system. The patterns of designing and programming of different levels of abstraction, as well as the main software modules and interfaces of the fuzzy software system are analyzed. The method of containerization of applications for the GPU for their reuse and deployment on the selected software platform of high-performance parallel computing is presented.Problems in programming 2018; 2-3: 099-0108Разработана программная архитектура для систем иерархического нечеткого логического вывода на основе алгоритмических моделей нечеткого логического вывода и отдельных технологий параллельных вычислений, таких, как MPI и CUDA. Представлены ключевые решения при проектировании архитектуры для обеспечения гибкости и продуктивности параллельной системы нечеткого вывода. Проанализировано шаблоны проектирования разного уровня абстракции, а также основные программные модули и интерфейсы программной системы нечеткого вывода. Создан метод контейнеризации приложений для GPU с целью их повторного использования и развертывания на выбранной программной платформе высокопродуктивных параллельных вычислений.Problems in programming 2018; 2-3: 099-0108Розроблено програмну архітектуру для системи ієрархічного нечіткого логічного виведення на основі алгоритмічних моделей нечіткого логічного виведення та окремих технологій паралельних обчислень, таких як MPI та CUDA. Представлено ключові рішення при проектування архітектури для забезпечення гнучкості та продуктивності паралельної системи нечіткого виведення. Проаналізовано шаблони проектування та програмування різного рівня абстракції, а також основні програмні модулі та інтерфейси програмної системи нечіткого виведення. Побудовано метод контейнеризації застосунків для GPU з метою їх повторного використання та розгортання на обраній програмній платформі високопродуктивних паралельних обчислень.Problems in programming 2018; 2-3: 099-010
Автотюнінг паралельних програм з використанням системи аналізу даних IBM Watsons Analytics
Get PDFIn this paper an analytical model of the method of automatic adjustment of parallel programs (auto-tuning) is presented. The software implementation of this model is based on the formal transformations of code and using expert data as a foundation of the optimization process and further analysis of the results with the IBM Watsons Analytics system. The results of a practical experiment confirming the effectiveness of the approach used in optimizing parallel programs are presented. The principles of the IBM Watsons Analytics data analysis system are examined and the system itself is shown in action.Problems in programming 2018; 1: 46-54В данной работе представлена аналитическая модель метода автоматической настройки параллельных программ (автотьюнинга). Описанная программная реализация этой модели на основе формальных трансформаций программ и использования экспертных данных, как основы процесса оптимизации с последующим анализом полученных результатов системой IBM Watsons Analytics. Представлены результаты практического эксперимента, подтверждающие эффективность используемого подхода при оп-тимизации параллельных программ.Problems in programming 2018; 1: 46-54В даній роботі представлена аналітична модель методу автоматичного налаштування паралельних програм (автотьюнінгу). Описана програмна реалізація цієї моделі за основою формальних перетворень програм та використання експертних даних, як основи процесу оптимізації з подальшим аналізом отриманих результатів системою IBM Watsons Analytics. Представлені результати практичного експерименту які підтверджують ефективність використовуваного підходу при оптимізації паралельних програм.Problems in programming 2018; 1: 46-5
Класи каузальних структур, що ідентифікуються тестами простого формату
Get PDFWe tackle some theoretical problems of constraint-based approach to causal network inference from data (without prior restrictions). Our interest is to recover a model structure from independence tests of zero and first rank only. Class of 1-identifiable causal structures is defined. An idea to recognize whether model recovery is successfully completed (i.e. adequate model structure is outputted) is suggested. Theframework of locally minimal separation in DAG is shown to be appropriate instrument to tackle the problem. A few subclasses of class of 1-identifiable structures are specified; corresponding structural restrictions and criteria of recovery completeness are given. We present some causal structures which are not 1-identifiable.Problems in programming 2018; 2-3: 180-188Тема доклада относится к теоретической проблематике восстановления каузальных моделей из данных (без априорных знаний) методами, основанными на независимости. Рассмотрена задача идентификации модели на основе результатов тестов независимости исключительно 0-го и 1-го ранга (т.е. безусловной независимости и независимости с одной переменной в условии). Дано определение класса 1-идентификабельных структур моделей. Изложена идея распознавания завершенности восстановления корректной (адекватной) структуры модели, когда не задано априорных ограничений на структуру. Показано, что подходящим аппаратом для решения проблемы 1-идентификабельности является аппарат локально-минимальной сепарации. Построено несколько подклассов 1-идентификабельных моделей; даны структурные ограничения этих подклассов и соответствующие критерии завершенности восстановления модели. Показаны примеры структур, которые выходят за пределы класса 1- идентификабельных моделей.Problems in programming 2018; 2-3: 180-188Тема доповіді стосується теоретичної проблематики відтворення каузальних моделей з даних (без апріорних знань) методами, основаними на незалежності. Розглянуто задачу ідентифікації моделі на основі результатів тестів незалежності виключно 0-го та 1-го рангу (тобто безумовної незалежності та незалежності з однією змінною в умові). Дано визначення класу 1-ідентифікабельних структур моделей. Викладено ідею розпізнавання завершеності відтворення коректної (адекватної) структури моделі, коли не задано апріорних обмежень на структуру. Показано, що підходящим апаратом для розв'язання проблеми 1-ідентифікабельності є апарат локально-мінімальної сепарації. Побудовано декілька підкласів 1-ідентифікабельних моделей; дано структурні обмеження цих підкласів і відповідні критерії завершеності відтворення моделі. Показано приклади структур, які виходять за межі класу 1-ідентифікабельних моделей.Problems in programming 2018; 2-3: 180-18
Аналіз генетичних алгоритмів розв’язання задачі двовимірної ортогональної упаковки прямокутних об’єктів у напівнескінченну смугу
Get PDFA class of genetic algorithms for solving the 2D Strip Packing Problem is investigated. The theoretical analysis of the complexity of implementing decoders MERA and BLF is done. Original implementations of these MERA and BLF decoders enhanced with a number of heuristic optimizations are proposed. Genetic algorithm for solving the 2D Strip Packing Problem for special cases (allowed/forbidden objects rotation by 90°) with the use of MERA/BLF decoders is proposed. Extensive computational experiments with well-known instances are performed to analyze different configurations of basic parameters of proposed genetic algorithm. The comparison of the obtained algorithm with other known algorithms is given.Problems in programming 2016; 4: 104-116Исследован класс генетических алгоритмов решения задачи двухмерной ортогональной упаковки прямоугольных объектов в полубесконечную полосу фиксированной ширины. Приведены результаты теоретического анализа сложности реализации декодеров MERA и BLF; предложены собственные реализации этих декодеров с рядом эвристических оптимизаций. Предложена реализация генетического алгоритма решения задачи упаковки для отдельных случаев (с запретом поворотов объектов и с поворотами на 90°). Описаны результаты тестирования разработанного алгоритма при разных конфигурациях основных параметров с использованием общеизвестных тестовых наборов. Приведены результаты сравнения полученного алгоритма с другими известными алгоритмами.Problems in programming 2016; 4: 104-116Досліджено клас генетичних алгоритмів вирішення задачі двовимірної ортогональної упаковки прямокутних об’єктів у напівнескінченну смугу фіксованої ширини. Наведено результати теоретичного аналізу складності реалізації декодерів MERA та BLF; запропоновані власні реалізації цих декодерівз низкою евристичних оптимізацій. Запропоновано реалізацію генетичного алгоритму розв’язання задачі упаковки для окремих випадків (із забороною поворотів об’єктів та з поворотами на 90 °). Описано результати тестових випробувань розробленого алгоритму за різних конфігурацій основнихпараметрів з використанням загальновідомих тестових наборів. Наведено результати порівняння отриманого алгоритму з іншими відомими алгоритмами.Problems in programming 2016; 4: 104-116
Здоров'язберігаючі технології і комп'ютерні системи в сучасному людинознавстві для раціональної організації життєвого циклу людини
No full textThe main goal of the work is to delineate innovative perspectives in the theoretical and empirical study of the personality, its integrity, systemic nature, dynamism, rhythmology, interdisciplinarity and the wide use of this knowledge for the creation of high-intellectual information health-saving technologies and computer systems. Extensive analysis of the structure of the personality in modern personology; functional states of the body; biosocial culture of human, carrying in itself a powerful arsenal of means of self-knowledge, introspection, self-management; computerization of interdisciplinary research for the improvement of the formula for managing the properties and state of a person pointed to the need for further systematization, unification of biosocial knowledge of various aspects of a person in the theoretical plan. To support socio-psychophysiological (SPF) research, the authors developed a holistic-oriented modern information technology (methodological, methodical and software) and implemented the systems ASMIL, COMFORT, COLOR, EFFECT, DESIGNER. A significant emphasis is placed on the consideration of innovative computer technology for the intellectualization of the field "Family Medicine", which gives an idea of the whole family's SPF image and its adequate adaptation. The development of a user-friendly EL interface from the standpoint of knowledge of the user's biosocial culture and its individual adaptation information space (IAIS) is the development of a new technology for optimizing the HC interaction, a powerful reserve for the development of information systems and health-saving technologies. Today it is an important component of successful economic and cultural development of teams of various ranks: the individual, the family, the school, the country, the world community. Problems in programming 2017; 3: 172-193 Основная цель работы – очертить инновационные перспективы в теоретико-эмпирическом исследовании личности, ее целостности, системности, динамичности, ритмологичности, междисциплинарности и широком использовании этих знаний для создания высокоинтеллектуальных информационных здоровьесберегающих технологий и компьютерных систем. Обширный анализ структуры личности в современной персонологии; функциональных состояний организма; биосоциальной культуры человека, несущей в себе мощный арсенал средств самопознания, самоанализа, самоуправления; компьютеризации междисциплинарных исследований для усовершенствования формулы управления свойствами и состоянием человека указал на необходимость дальнейшей систематизации, унификации разноаспектных биосоциальных знаний о человеке в теоретическом плане. Для поддержки социопсихофизиологических (СПФ) исследований авторами разработана целостно-ориентированная современная информационная технология (методологическая, методическая и программная) и реализованы системы АСМИЛ, КОМФОРТ, ЦВЕТ, ЭФФЕКТ, КОНСТРУКТОР. Значительный акцент в работе делается на рассмотрении инновационной компьютерной технологии для интеллектуализации области «Семейная медицина», дающей представление о целостном СПФ образе семьи и ее адекватной адаптации. Разработка дружественного интерфейса электронной библиотеки (ЭБ) с позиций знаний о биосоциальной культуре пользователя и его индивидуальном адаптационном информационном пространстве (ИАИП) является становлением новой технологии оптимизации взаимодействия человек-компьютер (ЧК), мощным резервом развития информационных систем и здоровьесберегающих технологий. Сегодня – это важная составляющая успешного экономического и культурного развития коллективов различных рангов: личности, семьи, школы, страны, мирового содружества.Problems in programming 2017; 3: 172-193Основна мета роботи – окреслити інноваційні перспективи в теоретико-емпіричному дослідженні особистості, її цілісності, системності, динамічності, ритмологічності, міждисциплінарності і широкому використанні цих знань для створення високоінтелектуальних інформаційних здоров’язберігаючих технологій та комп’ютерних систем. Обширний аналіз структури особистості в сучасній персонології; функціональних станів організму; біосоціальної культури людини, що несе в собі потужний арсенал засобів самопізнання, самоаналізу, самоврядування; комп’ютеризації міждисциплінарних досліджень для удосконалення формули керування властивостями і станом людини вказав на необхідність подальшої систематизації, уніфікації різноаспектних біосоціальних знань про людину в теоретичному плані. Для підтримки соціопсихофізіологічних (СПФ) досліджень авторами розроблена цілісно-орієнтована сучасна інформаційна технологія (методологічна, методична та програмна) і реалізовані системи АСМІЛ, КОМФОРТ, КОЛІР, ЕФЕКТ, КОНСТРУКТОР. Значний акцент у роботі робиться на розгляді інноваційної комп’ютерної технології для інтелектуалізації області «Сімейна медицина», що дає уявлення про цілісний СПФ образ сім'ї та її адекватної адаптації. Розробка дружнього інтерфейсу ЕБ з позицій знань про біосоціальну культуру користувача і його індивідуальний адаптаційний інформаційний простір (ІАІП) є становленням нової технології оптимізації ЛК взаємодії, потужним резервом розвитку інформаційних систем і здоров’язберігаючих технологій. Сьогодні – це важлива складова успішного економічного і культурного розвитку колективів різних рангів: особистості, сім’ї, школи, країни, світового співтовариства. Problems in programming 2017; 3: 172-19
Доведення властивості коректної роботи банківської системи виплати грошових переказів
Get PDFThe method for properties proof for parallel programs running multiple-instance interleaving with shared memory was applied in order to prove the correctness property of the banking system for remittances payments. The task was stated, transitional system was built for the model with simplified state, and the program invariant was formulated and proved to keep true over the software system at any given time in this work. Conclusions about the convenience and adequacy of method application to prove the correctness of parallel systems were made.Problems in programming 2016; 2-3: 119-132Применен метод доказательства свойств параллельных программ, которые выполняются многоэкземплярно в режиме поочередного пошагового переключения и взаимодействуют через общую память, для доказательства свойства корректности банковской системы выплаты денежных переводов. В работе поставлена задача, построена транзиционная система для модели с упрощенным состоянием, сформулирован инвариант программы и проведено доказательство истинности инварианта над программной системой в любой момент времени. Сделаны выводы о удобстве и адекватности применения метода для доказательства корректности параллельных систем.Problems in programming 2016; 2-3: 119-132Застосовано метод доведення властивостей паралельних програм, що виконуються багатоекземплярно в режимі почергового пок-рокового переключення і взаємодіють через спільну пам’ять, для доведення властивості коректності банківської системи виплати грошових переказів. В роботі поставлено задачу, побудовано транзиційну систему для моделі зі спрощеним станом, сформульовано інваріант програми та проведено доведення істинності інваріанту над програмною системою у довільний момент часу. Зроблено висновки щодо зручності та адекватності застосування методу для доведення коректності паралельних систем.Problems in programming 2016; 2-3: 119-13