PROBLEMS IN PROGRAMMING
Not a member yet
761 research outputs found
Sort by
Достовірність нечіткості: теорія та застосування
Get PDFAn approach to finding a credible estimates of fuzzy events in fuzzy inference systems is considered. Such systems are used to represent fuzzy knowledge, in particular, in expert systems, pattern recognition systems, forecasting systems, and so on. The extraction of knowledge in such systems is carried out with the help of cumbersome intellectual calculations, and the knowledge obtained requires an assessment oftheir сredibility. An example of application of the proposed approach in expert diagnostic system with fuzzy model of presentation of knowledge is given.Problems in programming 2018; 2-3: 164-170Рассматривается подход к нахождению достоверностных оценок нечетких событий в системах нечеткого логического вывода. Такие системы используются для представления нечетких знаний, в частности, в экспертных системах, системах распознавания образов, системах прогнозирования и тому подобное. С помощью громоздких интеллектуальных вычислений осуществляется извлечения знаний в таких системах, требующих оценки их достоверности. Приводится пример применения предложенного подхода в экспертных диагностических системах с нечеткими моделями представления знаний.Problems in programming 2018; 2-3: 164-170Розглядається підхід до знаходження достовірнісних оцінок нечітких подій в системах нечіткого логічного виведення. Такі системи використовуються для подання нечітких знань, зокрема, в експертних системах, системах розпізнавання образів, системах прогнозування, тощо. За допомогою громіздких інтелектуальних обчислень здійснюється видобування знань в таких системах, які потребують оцінки їх достовірності. Приводиться приклад застосування запропонованого підходу в експертних діагностичних системах з нечіткими моделями подання знань.Problems in programming 2018; 2-3: 164-17
Чисті першопорядкові квазіaрні логіки з предикатами рівності
Get PDFLogics of quasiary predicates are program-oriented logics which aim to reflect such program properties as partiality, non-determinism, and non-fixed arity. In the paper, program-oriented logical formalisms – pure first-order logics of partial deterministic and non-deterministic predicates – are studied. The main attention is paid to logics with special equality relations. Logics with weak equality and strong equality are defined, their properties are investigated. Languages of such logics and their interpetations are described. The following classes of interpretations (semantics) are identified: partial deterministic, non-deterministic, total deterministic, and total non-deterministic interpetations. Semantic properties of the proposed logics are investigated. Special attention is paid to consequence relations for sets of formulas. Based on the properties of these relations a number of calculi of sequent type is proposed. Basic rules of these calculi and corresponding closedness conditions are formulated; the procedure of sequent tree construction is described. For the proposed calculi correctness and completeness theorems are proved. The proof of completeness is based on the construction of countermodel for an unclosed path in the sequent tree.Problems in programming 2017; 2: 03-23Изучаются чистые первопорядковые логики однозначных и неоднозначных квазиарных предикатов. Эти логики являются программно-ориентированными логическими формализмами, отображающими такие свойства программ как частичность, недетерминизм, нефиксированную арность. Основное внимание уделено логикам со специальными предикатами равенства. Выделены чистые первопорядковые логики с предикатами слабого равенства и с предикатами строгого равенства. Описаны языки и семантические модели этих логик, исследованы их семантические свойства, в частности, свойства, связанные с предикатами равенства. Указаны свойства отношений логического следствия для множеств формул. На основе этих свойств для чистых первопорядковых логик с предикатами равенства построен ряд исчислений секвенциального типа, для них доказаны теоремы корректности и полноты.Problems in programming 2017; 2: 03-23Вивчаються чистi першопорядковi квазіарні логіки однозначних та неоднозначних часткових предикатів. Основна увага приділена таким логікам із спеціальними предикатами рівності. Виділено чистi першопорядковi логіки з предикатами слабкої рівності та з предикатами строгої рівності. Описано мови та семантичні моделі цих логік, досліджено їх семантичні властивості, зокрема, властивості, пов’язані з предикатами рівності. Наведено властивості відношень логічного наслідку для множин формул. На базі цих властивостей для чистих першопорядкових логік з предикатами рівності побудовано низку числень секвенційного типу, для них доведено теореми коректності та повноти.Problems in programming 2017; 2: 3-2
Автоматизоване проектування програм для розв’язання задачі метеорологічного прогнозування
Get PDFThe facilities for automated design of parallel code for OpenMP environment on the basis of highlevel algebra-algorithmic specifications are developed. The application of the facilities is illustrated on an example of a problem of atmosphere circulation modeling, which is represented as a service, belonging to the Internet-portal for providing meteorolog-ical forecasting services. The generation of program code was implemented and the results of the conducted experiment, which consisted in execution of the developed parallel weather forecasting pro-gram on a multiprocessor platform, are given.Prombles in programming 2016; 1: 102-115Разработано средство автоматизированного конструирования параллельного кода для среды OpenMP на основе высокоуровневых алгебро-алгоритмических спецификаций. Применение средства демонстрируется на примере задачи моделирования циркуляции атмосферы, представленном как сервис в составе Интернет-портала для предоставления услуг метеопрогноза. Осуществлена генерация программного кода и приведены результаты эксперимента по выполнению разработанной параллельной программы прогнозирования на мультипроцессорной платформе.Prombles in programming 2016; 1: 102-115Розроблено засіб автоматизованого конструювання паралельного коду для середовища OpenMP на основі високорівневих алгебро-алгоритмічних специфікацій. Застосування засобу демонструється на прикладі задачі моделювання циркуляції атмосфери, що представлений як сервіс у складі Інтернет-порталу з надання послуг метеопрогнозу. Здійснена генерація програмного коду та наведено результати експерименту з виконання розробленої паралельної програми прогнозування на мультипроцесорній платформі.Prombles in programming 2016; 1: 102-11
Експертно-аналітичній процес вибо-ру управляючих організаційних дій з використанням корпоративного знання. Частина I. Формальний аналіз системи цілей
No full textPaper is devoted to the models and the methods of support for the special process of the alternative management action expert choice when the action has to be realized by organizational measures. Such the choice takes into account the influence of the action on the decidable problem situation and its probable negative aftereffects in organization activity field. In Part I the model of the organization goals is presented. This model includes such the types of goals as standard, planned, produced by stakeholders' interests and brought about the decisions made in organization ones. The goals included are both hard and soft ones. The properties of goals such as equivalence, opposition and accessibility are formalized by means the model proposed. The analysis of these properties that is realized under actual state of the decision field and goals field of organization is employed as important analytical support for the expert analytical choice process. It includes the functions of the context and recommendations forming for the action perspectivity expert evaluation that will be considered in the next part of this paper.Problems in programming 2017; 4: 079-088Работа посвящена моделям и методам поддержки экспертного выбора варианта управляющего воздействия, реализуемого организационными мероприятиями. В первой части представлена модель системы целей организации и методы анализа отношений эквивалентности, противоположности и достижимости целей. Такой анализ служит поддержке аналитической функции формирования контекста и рекомендаций для экспертно-аналитического процесса оценивания и выбора вариантов воздействия, который будет рассмотрен в следующей части статьи.Problems in programming 2017; 4: 079-088 Робота присвячена моделям та методам підтримки експертного вибору варіанта керуючої дії, яка реалізується організаційними заходами. В першій частині подано модель системи цілей організації та методи аналізу відношень еквівалентності, протилежності та достатності цілей. Такий аналіз здійснює підтримку аналітичної функції формування контексту та рекомендацій для експертно-аналітичного процесу, який розглядатиметься у наступній частині статті.Problems in programming 2017; 4: 079-08
Проблемно-орієнтовані комп'ютерні симулятори у вирішенні теоретичних і прикладних задач фізіології людини
No full textThe goal of the paper is in overview of specialized mathematical models and computer simulators created for solving both applied and theoretical problems of human physiological systems. Examples of applied models aimed at optimizing of ways for increasing the resistance of a healthy person to prolonged exposure to extreme loads of the environment (physical factors of aerospace flight, as well as changed atmospheric pressure) are described. Along with models constructed within the framework of the traditional physiological paradigm of homeostasis, a model simulating the fight of organism’s different scale mechanisms against energy lack is described. This model is based on the author's concept of coexistence of cells of different specializations in a single organism. The general characteristic of the complex model and software simulator of the organism-scale energy megasystem providing the fight of cells against energy deficit is given. The new physiological concept explained the endogenous mechanisms of circulation optimization and allowed the author to rethink the role of arterial pressure in the functioning of the body. Models of adaptive and pathological hypertrophy of the heart are briefly described. Software simulators are developed for IBM-compatible PC, programs are written in Borland Pascal for Delphi or in C++ for Visual Studio-10 environment.Problems in programming 2017; 3: 161-171Обобщен опыт создания специализированных математических моделей и компьютерных симуляторов различных физиологических систем человека. Описаны основные характеристики прикладных моделей для оптимизации способов повышения устойчивости здорового человека к продолжительному воздействию различных экстремальных нагрузок среды (физических факторов авиакосмического полета, а также измененного атмосферного давления). Наряду с подобными моделями, построенными в рамках традиционной физиологической парадигмы гомеостаза, представлена авторская концепция сосуществования клеток разной специализации в едином организме. Новая физиологическая концепция объяснила механизмы эндогенной оптимизации кровообращения и позволила переосмыслить роль артериального давления в функционировании организма. Коротко охарактеризованы модели адаптивной и патологической гипертрофии сердца. Дана общая характеристика комплексной модели и программного симулятора энергетической мегасистемы организма, обеспечивающей борьбу клеток против дефицита энергии. Симуляторы разработаны для персональных компьютеров, совместимых с IBM, программы написаны на Borland Pascal для Delphi или C++ для среды Visual Studio-10.Problems in programming 2017; 3: 161-171Узагальнено досвід створення спеціалізованих математичних моделей і комп'ютерних симуляторів різних фізіологічних систем людини. Описано основні характеристики прикладних моделей для оптимізації способів підвищення стійкості здорової людини до тривалого впливу різних екстремальних навантажень середовища (фізичних факторів авіакосмічного польоту, а також зміненого атмосферного тиску). Поряд з подібними моделями, побудованими в рамках традиційної фізіологічної парадигми гомеостазу, представлена авторська концепція співіснування клітин різної спеціалізації в єдиному організмі. Нова фізіологічна концепція пояснила механізми ендогенної оптимізації кровообігу і дозволила переосмислити роль артеріального тиску у функціонуванні організму. Коротко охарактеризовані моделі адаптивної і патологічної гіпертрофії серця. Дано загальну характеристику комплексної моделі та програмного симулятора енергетичної мегасистеми організму, що забезпечує боротьбу клітин проти дефіциту енергії. Симулятор розроблені для сумісних з IBM персональних коп'ютерів, програми написані на Borland Pascal для Delphi або C ++ для середовища Visual Studio-10.Problems in programming 2017; 3: 161-17
Семантические Wiki-ресурсы и их использование для построения персонифицированных онтологий
Get PDFThe necessity of personalized knowledge use in modern distributed applications and sources of such knowledge are considered. The features Wiki-resources and their semantic markup means are analyzed. Method of semantic Wiki-resource use for generating of personalized ontologies of user tasks is proposed. The means of application of these ontologies in intelligent Web-based applications, in particular for semantic search, are considered.Problems in programming 2016; 2-3: 188-195Рассматривается необходимость использования персонифицированных знаний в современных распределенных приложениях и источники получения таких знаний. Проанализированы особенности существующих Wiki-ресурсов и средства их семантической разметки. Предлагается метод использования семантических Wiki-ресурсов для формирования персонифицированных онтологий проблем, решаемых пользователем. Рассматриваются способы применения этих онтологий в интеллектуальных Web-приложениях, в частности, для семантического поиска.Problems in programming 2016; 2-3: 188-195Розглядається необхідність використання персоніфікованих знань у сучасних розподілених застосуваннях і джерела отримання таких знань. Проаналізовано особливості Wiki-ресурсів і засоби їх семантичної розмітки. Пропонується метод використання семантичних Wiki-ресурсів для формування персоніфікованих онтологій проблем, які вирішує користувач. Розглядаються способи застосування цих онтологій в інтелектуальних Web-застосуваннях, а саме – для семантичного пошуку.Problems in programming 2016; 2-3: 188-19
Метод паралелізації циклів сіткових обчислювальних задач для графічних прискорювачів
Get PDFThe formal parallelizing transformation of a nest of calculation loop for SIMD architecture devices, particularly for graphics processing units applying CUDA technology and heterogeneous clusters is developed. Procedure of transition from sequential to parallel algorithm is described and illustrated. Serialization of data is applied to optimize processing of large volumes of data. The advantage of the suggested method is its applicability for transformation of data which volumes exceed the memory of operating device. The experiment is conducted to demonstrate feasibility of the proposed approach. Technique presented in the provides the basis for further practical implementation of the automated system for parallelizing of nested loops.Problems in programming 2017; 1: 59-66Разработано формальное преобразование гнезда вычислительного цикла, позволяющее осуществить переход от последовательного алгоритма к параллельному, ориентированное на выполнение на устройствах с SIMD архитектурой, в частности, на графическом ускорителе с использованием технологии CUDA и на гетерогенных кластерах. Описана и проиллюстрирована процедура перехода от последовательного к параллельному алгоритму. Для оптимизации обработки больших объемов данных использована процедура сериализации данных. Преимуществом предложенного метода является то, что он позволяет осуществлять преобразование данных, объем которых превышает объем памяти исполняющего устройства. Проведен эксперимент над задачей метеорологического прогнозирования погоды для демонстрации возможностей разработанного подхода. Методика, предложенная в данной работе, закладывает основу для дальнейшей практической реализации автоматизированной системы распараллеливания вложенных циклов.Problems in programming 2017; 1: 59-66Розроблено формальне перетворення гнізда обчислювального циклу, що дозволяє здійснити перехід від послідовного алгоритму до паралельного, орієнтованого на виконання на пристрої з SIMD архітектурою, зокрема, на графічному прискорювачі із використанням технології CUDA та на гетерогенних кластерах.Problems in programming 2017; 1: 59-6
Автоматизована екстракція структурованої інформації з множини веб-сторінок
Get PDFThe expediency of using methods of structured data extraction from a set of HTML pages for the information search in the Internet is substantiated. The main methods of structured data extraction from the set of web pages, which are formed by a common scenario with different sets of data, are analyzed. The classification of methods according to the degree of automation (the factor of user influence) of the template formation process is considered. The principles of work of the main unsupervised methods (Roadrunner, FiVaTech, Trinity) are described in detail. Advantages and disadvantages of methods are shown. The expediency of using the Trinity method for data extraction in comparison with other methods is substantiated. The problem of choosing input documents for method among a set of HTML pages for generating a common template is considered. Experimental verification of Trinity method on the set of HTML pages, which represent articles of Ukrainian scientific journals, is made. To create a test set of HTML pages, an automated crawl of web site is performed. The realization of the search bot is done by processing the object model of HTML documents obtained from web sites. Templates (regular expressions) formed by the Trinity method are applied to the entire set of input HTML pages. Extraction results (structured data about articles) are exported to the database with the possibility of further analysis. The obtained results are compared with the data about the articles obtained by the manual analysis of the object model of web pages. The error in using the Trinity method on the experimental set of HTML pages is calculated.Problems in programming 2018; 2-3: 149-158Обоснована целесообразность использования методов экстракции структурированных данных из множества HTML-страниц для осуществления информационного поиска в сети Internet. Проанализированы основные методы экстракции структурированных данных из множества веб-страниц, которые сформированы общим сценарием, но разными наборами данных. Рассмотрена классификация методов по степени автоматизации (фактора влияния пользователя) процесса формирования шаблона. Подробно описаны принципы работы основных неконтролируемых методов (Roadrunner, FiVaTech, Trinity), рассмотрены их преимущества и недостатки. Обоснована целесообразность использования метода Trinity для экстракции данных по сравнению с другими методами. Показана проблема выбора входных документов метода среди множества HTML-страниц для формирования обобщенного шаблона. Осуществлена экспериментальная проверка метода Trinity на множестве HTML-страниц англоязычных статей украинских научных журналов. Для формирования тестового множества HTML-страниц выполнено автоматизированный обход веб-сайтов журналов с помощью поискового робота. Реализацию поискового робота осуществлено за счет обработки объектной модели HTML-документов, полученных с веб-сайтов. Шаблоны (регулярные выражения), сформированные методом Trinity, применены ко всему набору входных HTML-страниц. Результаты экстракции –структурированные данные о статьях (название, авторы, аннотация, ключевые слова) – экспортировано в базу данных с возможностью их последующего анализа. Осуществлено сравнение результатов экстракции с данными о статьях, полученными с помощью самостоятельного анализа объектной модели веб-страниц. Рассчитана погрешность использования метода Trinity на экспериментальном множестве HTML-страниц.Problems in programming 2018; 2-3: 149-158Обґрунтовано доцільність використання методів екстракції структурованих даних з множини HTML-сторінок для здійснення інформаційного пошуку в мережі Internet. Проаналізовано основні методи екстракції структурованих даних з множини веб-сторінок, які сформовані спільним сценарієм, але різними наборами даних. Розглянуто класифікацію методів за ступенем автоматизації (фактору впливу користувача) процесу формування шаблону. Детально описано принципи роботи основних неконтрольованих методів (Roadrunner, FiVaTech, Trinity), розглянуто їхні переваги та недоліки. Обґрунтовано доцільність використання методу Trinity для екстракції даних порівняно з іншими методами. Показано проблему вибору вхідних документів методу серед множини HTML-сторінок для формування узагальненого шаблону. Проведено експериментальну перевірку методу Trinity на множині HTML-сторінок англомовних статей українських наукових журналів. Для формування тестової множини HTML-сторінок виконано автоматизований обхід веб-сайтів журналів за допомогою пошукового роботу. Реалізацію пошукового роботу здійснено за рахунок обробки об’єктної моделі HTML-документів, отриманих з веб-сайтів. Шаблони (регулярні вирази), сформовані методом Trinity, застосовано до всього набору вхідних HTML-сторінок. Результати екстракції – структуровані дані про статті (назва, автори, анотація, ключові слова) – експортовано до бази даних з можливістю їх подальшого аналізу. Здійснено порівняння отриманих результатів з даними про статті, одержаними за допомогою аналізу об’єктної моделі веб-сторінок власноруч. Обраховано похибку використання методу Trinity на експериментальній множині HTML-сторінок.Problems in programming 2018; 2-3: 149-15
Підхід до структурного тестування програм з використанням генетичного алгоритму
No full textA genetic algorithm is proposed to software testing efficiency improve through the most critical paths detecting in software program’s control flaw diagram. The results of algorithm’s probation are done. As exhaustive testing is often impossible even for medium-sized programs, usually only some separate paths of the program are checked that aren’t obligatory the most fault-prone. That’s why the more flexible approach for test data generating is developed allowing the most critical paths to be checked first detection. An approach usage may can be instrumental in the rise of efficiency of testingПредложен генетический алгоритм для повышения эффективности тестирования программного обеспечения за счет выявления наиболее критических фрагментов путей в графе потока управления программы. Приведены результаты его апробации. Поскольку исчерпывающее тестирование зачастую невыполнимо уже для программ среднего размера, обычно проверяются только части программы – не обязательно наиболее подверженные ошибкам. Поэтому развит более избирательный подход к генерации тестовых данных, позволяющий выделять наиболее критические пути для их первоочередной проверки. Применение подхода может способствовать повышению эффективности тестирования. Запропонований генетичний алгоритм для підвищення ефективності тестування програмного забезпечення за рахунок виявлення найбільш критичних фрагментів шляхів у графі потоку управління програми. Приведені результати його апробації. Оскільки вичерпне тестування часто нездійсненно вже для програм середнього розміру, зазвичай перевіряються тільки частини програми які не обов'язково найбільш схильні до помилок. Тому розвинений більш вибірковий підхід до генерації тестових даних, що дозволяє виділяти найбільш критичні шляхи для їх першочергової перевірки. Застосування підходу може сприяти підвищенню ефективності тестування
Аналіз складності операції множення багаторозрядних чисел при реалізації у паралельній моделі обчислень
Get PDFIt is analyzed on computing operation of multidigit multiplication of N-digit values based on standard method in parallel computational model the complexity of number of operations of simple additions and multiplications for two cases: when number of available processors is unlimited, and when number of available processors is limited and multiply N.В данной работе при вычислении операции многоразрядного умножения чисел длины N стандартным методом «в столбик» в параллельной модели вычислений изучается сложность по числу одноразрядных операций сложения и умножения целых чисел, выполненных одним параллельным процессором, для двух случаев, когда число параллельных процессоров неограниченно, и когда число доступных процессоров ограничено и кратно N.В даній роботі при обчисленні операції багаторозрядного множення чисел довжини N стандартним методом «у стовпчик» в паралельній моделі обчислень аналізується складність за кількістю операцій додавання та множення цілих однорозрядних чисел, виконаних одним паралельним процесором, для двох випадків, коли кількість паралельних процесорів необмежена, та коли кількість процесорів обмежена та кратна N