PROBLEMS IN PROGRAMMING
Not a member yet
761 research outputs found
Sort by
Про виділення макрооперацій з обчислювальних процесів сортування масивів даних
No full textThe paper dwells computation process (CP) array sorting from the simple to the efficient. Computation process present’s as a block flowchart for clarity. Each process are extracted macro operations (MO), which are functionality finished pieces of CP. Lists of MO for each sorting algorithm put it together and summarized – minimizing number of MO. This approach will allow careful consideration most CP as it applies to dedicated MO.Problems in programming 2016; 2-3: 87-95Рассматриваются вычислительные процессы (ВП) как простых, так и эффективных сортировок. Для наглядности ВП представляются схемами алгоритмов. В каждом процессе выделяются макрооперации (МО), которые являются функционально законченными фрагментами ВП. Списки МО для каждой сортировки сводятся воедино и обобщаются, то есть сводятся к минимальному количеству МО. Это позволяет рассматривать большинство ВП сортировок в рамках выделенных МО.Problems in programming 2016; 2-3: 87-95Розглядаються обчислювальні процеси (ОП) як простих, так і ефективних сортувань. Для наочності ОП представляються схемами алгоритмів. У кожному процесі виділяються макрооперації (МО), які є функціонально закінченими фрагментами ОП. Списки МО для кожної сортування зводяться воєдино і узагальнюються, тобто зводяться до мінімуму МО. Це дозволяє розглядати більшість ОП сортувань в рамках виділених МО.Problems in programming 2016; 2-3: 87-9
Про технологію використання зовнішніх даних при створенні і редагуванні енциклопедичних текстів
No full textThe paper discusses developing of Wikidata project, the query web service and the query language. The workflow of the web service, query language and result output forms are demonstrated with plenty of examples. Wikidata usage technology by third-party systems is developed.In this concern ExternalData extension which is part of MediaWiki software is considered. Additionally the instruction for installation and configuration of the extension is presented. During test period ExternalData extension was improved. procedure for automatic list generation in wiki page is developed.Problems in programming 2017; 1: 67-82В работе обсуждается развивающийся проект Викиданные, веб-сервис запросов и язык запросов. Работа веб-сервиса, языка запросов и форм вывода результатов демонстрируется на многочисленных примерах. Разработана технология использования Викиданных сторонними системами. Учитывая это, рассматривается расширение ExternalData, разработанное для программного обеспечения MediaWiki. В ходе тестовой эксплуатации расширение ExternalData было доработано. Расширение используется для вставки запросов данных к внешним источникам, в нашем случае к базе знаний Викиданные, и их результатов в викиразметку создаваемых текстов статей. Разработана процедура создания страницы-списка.Problems in programming 2017; 1: 67-82 У роботі обговорюється проект Вікідані, веб-сервіс запитів і мова запитів. Робота веб-сервісу, мова запитів і форм виведення результатів демонструється на численних прикладах. Розроблено технологію використання Вікіданих сторонніми системами. У зв’язку з цим розглядається розширення ExternalData, розроблене для програмного забезпечення MediaWiki. В ході тестової експлуатації розширення ExternalData було доопрацьовано. Розширення використовується для вставки запитів даних до зовнішніх джерел, в нашому випадку, до бази знань Вікідані і їх результатів у вікі-розмітку, створюваних текстів статей. Розроблена процедура створення сторінки-списку.Problems in programming 2017; 1: 67-8
Використання онтологічного аналізу для визначення компетентності науковців в певній предметній області
Get PDFObjective methods for competence evaluating of scientists in the subject domain pertinent to the specific scientific product – research project, publication, etc. are proposed. These methods are based on the semantic matching of the description of scientific product and documents that confirm the competence of its authors or experts in the domain of this product. In addition, the use of knowledge acquired from the Web open environment – Wiki-resources, scientometric databases, organization official website, domain ontologies is proposed. Specialized ontology of scientific activity which allows to standardize the terminological base for describing the qualifications of researchers is developed.Problems in programming 2016; 4: 81-96Предложены объективные методы оценки компетентности научных работников в той предметной области, к которой относится определенный научный продукт – научный проект, публикация и т.д. Представленные методы базируются на семантическом сопоставлении описания научного продукта и документов, которые подтверждают компетентность его авторов или экспертов в данной сфере. Кроме того, предлагается использовать знания, которые извлекаются из открытой среды Web – Wiki-справочники, наукометрические базы данных, официальные сайты организаций, онтологии предметных областей. Разработана специализированная онтология научной деятельности, которая позволяет стандартизировать терминологическую базу описания квалификации исследователей.Problems in programming 2016; 4: 81-96 Запропоновано об'єктивні методи оцінки компетентності науковців в тій предметній області, до якої відноситься певний науковий продукт – науковий проект, публікація тощо. Представлені методи базуються на семантичному зіставленні опису наукового продукту і документів, які засвідчують компетентність його авторів або експертів в обраній сфері. Крім того, пропонується використовувати знання, що витягаються з відкритого середовища Web – Wiki-довідники, наукометричні бази, офіційні сайти організацій, онтології предметних областей. Розроблено спеціалізовану онтологію наукової діяльності, що дозволяє стандартизувати термінологічну базу опису кваліфікації дослідників.Problems in programming 2016; 4: 81-9
Актуальні проблеми сучасної арифметики з плаваючою комою
No full textAn overview of modern floating point arithmetic is presented. Aspects that differ from real numbers arithmetic and thus being the source of many numeric problems are emphasized. These problems scale drastically given volume of a data is large and computations being parallel. Nevertheless, it is possible to minimize and even guarantee a certain precision of the results even without considerable loss of performance.Представлен краткий обзор чисел с плавающей запятой и соответствующей арифметики. Подчеркнуты особенности, которые отличают ее от арифметики действительных чисел и часто являются причиной существенных проблем при численном решении задач на компьютере. Эти проблемы усиливаются для больших объемов данных и параллельных вычислений. Несмотря на все это, минимизировать и даже гарантировать точность решений возможно даже без существенных потерь в производительности.Представлено короткий огляд чисел із плаваючою комою й відповідної арифметики. Підкреслено особливості, які відрізняють її від арифметики дійсних чисел і часто є причиною істотних проблем при числовому розв'язанні задач на комп'ютері. Ці проблеми підсилюються для великих об'ємів даних і паралельних обчислень. Незважаючи на все це, мінімізувати й навіть гарантувати точність розв’язків можливо навіть без істотних втрат продуктивності
Конструктивно-продукційна модель графового представлення тексту
No full textThe article describes the graph model of the text, allowing speeds up processing. This model allows us to identify the same fragments in the documents with the change in the order of sentences and other parts. Using constructive-synthesizing structure to formalize this model is a promising approach to further automate the process of working with the model and the text accordingly.Problems in programming 2016; 2-3: 63-72В статье рассмотрена графовая модель текста, позволяющая ускорить обработку информации. Данная модель позволяет выявлять одинаковые фрагменты в документах с изменением порядка следования предложений и других частей. Использование конструктивно-продукционных структур для формализации данной модели является перспективным подходом для дальнейшей автоматизации процесса работы с моделью и соответственно с текстом.Problems in programming 2016; 2-3: 63-72У статті розглянута графова модель тексту, що дозволяє прискорити обробку інформації. Дана модель дозволяє виявляти однакові фрагменти в документах зі зміною порядку слідування речень та інших частин. Використання конструктивно-продукційних структур для формалізації даної моделі є перспективним підходом для подальшої автоматизації процесу роботи з моделлю і від-повідно з текстом.Problems in programming 2016; 2-3: 63-7
Дослідження та аналіз міжнародного та національного підходів побудови системи захисту інформації в ГРІД
Get PDFAnalysis of technical and organizational requirements to resources of the Ukrainian National Grid has been done and urgent need to provide these resources with specific areas ofinformation security has been grounded. Based on careful analysis of international experience ininformation security in an integrated grid-site and a national approach to the creation ofinformation security systems, some inconsistencies have been clarified and the only way to create a comprehensiveinformation security system in the National Grid infrastructure has been determined.Проанализированы технические и организационные требования к ресурсам Украинского национального грида и обоснованно насущную необходимость в поддержке этими ресурсами определенных направлений информационной безопасности. На основе тщательного анализа международного опыта внедрения интегрированной информационной безопасности в грид-сайте и национального подхода к созданию систем защиты информации, выяснены определенные противоречия и единственно возможный путь к созданию комплексной системы защиты информации в Национальной грид-инфраструктуре.Проаналізовано технічні та організаційні вимоги до ресурсів Українського національного гріду та обгрунтовано нагальну потребу у підтримці цими ресурсами певних напрямків інформаційної безпеки. На основі ретельного аналізу міжнародного досвіду впровадження інтегрованої інформаційної безпеки в грід-сайті та національного підходу до створення систем захисту інформації, з’ясовані певні протиріччя та єдиний можливий шлях до створення комплексної системи захисту інформації в Національній грід-інфраструктурі
Інтеграція аксіоматики дескриптивних логік з реляційною моделлю даних
No full textThe paper is a logical continuation of the previously published work, which was dedicated to the creation of mappings from the description logic into binary relational data model. On base of the previously created binary relational data structure we perform mappings of the ALC axiomatic into relational data model (RDM). The results of previous research namely data structure RM2, mappings of the basic ALC concepts were used in this paper.Problems in programming 2017; 1: 51-58Работа является логическим продолжением ранее опубликованных исследований, посвященных описанию отображений между дескриптивной логикой и реляционной моделью данных. На основе бинарной реляционной структуры данных, созданной ранее, осуществляется отображение аксиоматики дескриптивной логики ALC в реляционную модель данных (RDM). В работе используются полученные ранее результаты исследований, а именно структура данных RM2 и отображения базовых концептов логики ALC в RDM.Problems in programming 2017; 1: 51-58Робота є логічним продовженням раніше опублікованих досліджень, які були присвячені опису відображень між дескриптивною логікою та реляційною моделлю даних. За допомогою попередньо створеної бінарної реляційної структури даних здійснюється відображення аксіоматики дескриптивної логіки ALC у реляційну модель даних (RDM). В роботі використовуються результати, що були отримані у минулих дослідженнях, а саме – структура даних RM2, відображення базових концептів логіки ALC у RDM.Problems in programming 2017; 1: 51-5
Формальні та адаптивні методи й інструментальні засоби паралельного програмування
Get PDFA review of the results of the development of formal and adaptive methods and software, achieved in recent years in the Institute of Software Systems of the National Academy of Sciences of Ukraine, based on the algebra-algorithmic approach and the technique of rewriting rules is given. The methods are developed to automate the design, generation and transformation of parallel programs for a wide range of multiprocessor computing platforms and find application for various application areas, in particular for the effective implementation of meteorological forecasting tasks. Problems in programming 2017; 3: 19-30Приведен обзор результатов разработки формальных и адаптивных методов и программных средств, достигнутых за последние годы в Институте программных систем НАН Украины, основанные на алгебро-алгоритмическом подходе и технике переписывающих правил. Методы предназначены для автоматизации проектирования, генерации и преобразований параллельных программ для широкого диапазона мультипроцессорных вычислительных платформ и находят применение для различных прикладных областей, в частности, для эффективной реализации задач метеорологического прогнозирования.Problems in programming 2017; 3: 19-30Наведено огляд результатів розробки формальних та адаптивних методів і програмних засобів, досягнутих за останні роки в Інституті програмних систем НАН України, що ґрунтуються на алгеброалгоритмічному підході та техніці переписувальних правил. Методи призначені для автоматизації проектування, генерації та перетворень паралельних програм для широкого діапазону мультипроцесорних обчислювальних платформ і знаходять застосування для різних прикладних областей, зокрема, для ефективної реалізації задач метеорологічного прогнозування.Problems in programming 2017; 3: 19-3
Синтез багаторівневих структур з багатьма виходами
No full textThe method for solution of adaptation problem of the logical network with many outputs for the restoration of the input set of binary vectors when given only the lower values of this set and the values of the outputs is considered. The algorithm synthesis of the logical network is based on the description of its polynomial Zhegalkin. Problems in programming 2016; 2-3: 48-62В работе рассматривается метод решения задачи адаптации логической сети со многими выходами с восстановлением входного множества двоичных векторов при заданных только младших значениях этих векторов и значениях на выходах сети. Алгоритм синтеза логической сети основан на описании ее полиномом Жегалкина. Problems in programming 2016; 2-3: 48-62В роботі розглядається метод розв’язання задачі адаптації логікової мережі з багатьма виходами з відновленням вхідної множини двійкових векторів при заданих тільки молодших значеннях цих векторів і значень на виходах мережі. Алгоритм синтезу логікової мережі грунтується на зображенні її поліномом Жегалкіна. Problems in programming 2016; 2-3: 48-6
DS-теорія як прототип теорії прикладних алгоритмів
No full textThe notion of the decomposition scheme as a core for DS-theory is proposed and described here. The notions of clump-property and algorithmic dependence are also described. Decomposition scheme is proposed to be used taking into account its algorithmic nature as the basis for building universal (canonical) algorithm. The questions of the canonical algorithm transformation into the specific application-oriented algorithms are discussed. The operations over the decomposition schemes which are itself operations over algorithms are described.Предложено и описано понятие схемы декомпозиции как ядра DS-теории. Описаны понятия свойства-совокупности и алгоритмической зависимости. Предложено использовать схему декомпозиции, учитывая ее алгоритмическую природу, как основу для построения универсального (канонического) алгоритма. Обсуждаются вопросы преобразования канонического алгоритма в конкретные прикладные алгоритмы. Описываются операции над схемами декомпозиции, которые есть и операциями над алгоритмами.Запропоновано та описано поняття схеми декомпозиції як ядра DS-теорії. Описано поняття властивості-сукупності та алгоритмічної залежності. Запропоновано застосовувати схему декомпозиції, враховуючи її алгоритмічну природу, як основу для побудови універсального (канонічного) алгоритму. Обговорюються питання перетворення канонічного алгоритму в конкретні прикладні алгоритми. Описуються операції над схемами декомпозиції, які є й операціями над алгоритмам