PROBLEMS IN PROGRAMMING
Not a member yet
761 research outputs found
Sort by
DS-теорія. Дослідження факторів поділу Р-даних з метою генерації алгоритмів. Частина 2
No full textThis is the next essay from the cycle describing the theory of decomposition schemes as the theory of applied algorithms. A decomposition scheme is being considered as a prototype of an applied algorithm. The aim of the essay is to consider the turning of a decomposition scheme into an algorithm in the case when the processed input P-data are placed in various media. R-data kinds of division are described and factors of their fragments and components placing are considered. For all the variants of R-data division the changes into the canonic algorithm which are necessary for their union are described. From the standpoint of the complexity changes in algorithm vary from primitives in several imperative operators to algorithmic constructions with loops and control constructs. For making the algorithmic constructions there is the mechanism of synthesis offered – bound to the levels of algorithm tree. For purposes of the comparative analysis the schemes of decomposition and applied algorithm there was offered the notion of NAC-conditionality as more fitting that the graph isomorphism. It is shown that description of the variants and factors of R-data division is declarative. This work endorses the idea that the theory of decomposition schemes allows to research the algorithms systematically. The aim of the research is to develop the mechanism of synthesis of the applied algorithms. The descriptions of the decomposition schemes are used as raw data for generating.Статья – очередная из цикла работ описывающих теорию схем декомпозиции как теорию прикладных алгоритмов. Схема декомпозиции рассматривается как прототип прикладного алгоритма. Цель статьи – рассмотреть преобразование схемы декомпозиции в алгоритм для того случая, когда обрабатываемые входные Р-данные размещены на различных носителях. Описаны виды деления Р-данных и рассмотре-ны факторы размещения их фрагментов и компонент. Для всех вариантов деления Р-данных описаны изменения в канонический алгоритм необходимые для их объединения. Изменения в алгоритме в плане сложности – это и примитивы в несколько повелительных операторов, и алгоритмические конструкции с циклами и управлением. Для построения алгоритмических конструкций предложен механизм синтеза – привязка по уровням дерева алгоритма. Для сравнительного анализа зависимости между схемой декомпозиции и прикладным алгоритмом предложено понятие АКУ-обусловленности как более подходящее, чем изоморфизм графов. Показано, что описание вариантов и факторов деления Р-данных имеет декларативный характер. Работа подтверждает идею о том, что теория схем декомпозиции позволяет планомерно исследовать алгоритмы. Цель этих исследований в том, чтобы разработать механизм синтеза прикладных алгоритмов. Как исходные данные для генерации используются описания схемы декомпозиции.Стаття – чергова з циклу робіт, що описують теорію схем декомпозиції як теорію прикладних алгоритмів. Схема декомпозиції розглядається як прототип прикладного алгоритму. Мета статті – розглянути перетворен-ня схеми декомпозиції в алгоритм для того випадку, коли оброблювані вхідні Р-дані розміщені на різних носіях. Описано види поділу Р-даних і розглянуті фактори розміщення їх фрагментів та компонент. Для всіх варіантів поділу Р-даних описані зміни в канонічний алгоритм необхідні для їх об’єднання. Зміни в алгоритмі в плані складності є як примітиви в кілька наказових операторів, так і алгоритмічні конструкції з циклами та управлінням. Для побудови алгоритмічних конструкцій запропоновано механізм синтезу – прив’язка до рівнів дерева алгоритму. Для порівняльного аналізу залежності між схемою декомпозиції і прикладним алгоритмом запропоновано поняття АКУ-обумовленості як більш підходяще, ніж ізоморфізм графів. Показано, що опис варіантів і факторів поділу Р-даних має декларативний характер. Робота підтверджує ідею про те, що теорія схем декомпозиції дозволяє планомірно досліджувати алгоритми. Мета цих досліджень у тому, щоб розробити механізм синтезу прикладних алгоритмів. Як вихі-дні дані для генерації використовуються описи схем декомпозиції
Побудова сервісно-ресурсної моделі пілотажної кабіни авіаційного тренажера
Get PDFMethodology development service-resource model of IT-service is considered "Support functions for pilotage cockpit" flight simulator. The structure for flight simulator as totality of the hardwarily-programmatic embedded systems of the real time is presented that is incorporated by the ramified communication net. This structure of flight simulator is worked out for application of principles construction IT-infrastructure, as a methodological going near modernisation, extending of exploitation the hardwarily-programmatic providing for the real flight simulators, and also for development of new flight simulators. Determination over of IT-service for pilotage cockpit is brought. Development of service-resource model for IT-service is executed "Support functions for pilot-age cockpit".This methodology allows effectively to use the information and telecommunication resources of flight simulator, perfect information-calculating processes, provide optimal cooperation ideological and technological separate subsystems of cabin of flight simulator, to promote reliability of all flight simulator and return from capital investments.Рассмотрена методика построения сервисно-ресурсной модели ІТ-сервиса "Поддержка функций пилотажной кабины" авиационного тренажера. Представлена структура авиационного тренажера как совокупность программно-аппаратных встроенных систем реального времени которые объединены разветвленной информационно-телекоммуникационной сетью. Приведено определение ІТ-сервисов пилотажной кабины и разработка сервисно-ресурсной модели ІТ-сервиса "Поддержка функций пилотажной кабины".Розглянуто методику побудови сервісно-ресурсної моделі ІТ-сервісу «Підтримка функцій пілотажної кабіни» авіаційного тренажера. Представлено структуру авіаційного тренажера як сукупність програмно-апаратних вбудованих систем реального часу які об’єднані розгалуженою інформаційно-телекомунікаційною мережею. Приведено визначення ІТ-сервісів пілотажної кабіни та розробку сервісно-ресурсної моделі ІТ-сервісу «Підтримка функцій пілотажної кабіни».Ключові слова: авіаційний тренажер, ІТ-інфраструктура, ІТ-інфраструктура авіаційного тренажера, ІТ-сервіс, сервісно-ресурсна модель
Паралельна розподілена реалізація модуля керування робочими процесами для системи підтримки операцій оператора зв’язку
Get PDFThere is provided parallel distributed implementation of workflow management module for operation support system for telecommunication providers based on Hadoop framework. Conducted primary research for this implementation based on common problem of searching words that matching some pattern in the files with big size.Предложена параллельная реализация модуля управления рабочими процессами для OSS системы оператора связи, построенная на основе фреймворка Hadoop. Проведено первичное исследование этой реализации на примере прикладной задачи поиска слов, совпадающих с шаблоном, в файлах большого размера.Запропонована паралельна реалізація модуля управління робочими процесами для OSS системи оператора зв’язку, побудована на основі фреймворку Hadoop. Проведене первинне дослідження цієї реалізації на прикладі прикладної задачі пошуку слів, що співпадають із шаблоном, у файлах великого розміру
Одна модель виконання обчислень у гетерогенних розподілених середовищах
Get PDFThis paper deals with model of parallel computing in heterogeneous multiprocessor system. We consider fluid model of computations to calculate the "ideal" finish, which gives the lower bound of possible real time. We propose game model of user’s interaction on the example of matrix multiplication problem. We use simulation environment GridSim to obtain experimental data and validate theoretical results.В данной работе исследуется потоковая модель параллельных вычислений в гетерогенной многопроцессорной системе. Использование потоковой модели позволяет вычислить «идеальное» время окончания, которое дает нижнюю оценку реального времени. Предлагается игровая модель взаимодействия пользователей, выполняющих задачи в общей вычислительной среде на примере задачи умножения матриц. Действием пользователей в данном случае является размер блока на которую разрезается матрица. Проведенные эксперименты с использованием среды имитационного моделирования Grid-Sim, подтверждающие теоретически полученные результаты.В даній роботі досліджується потокова модель паралельних обчислень у гетерогенній багатопроцесорній системі. Використання потокової моделі дозволяє обчислити «ідеальний» час закінчення, який дає нижню оцінку реального часу. Пропонується ігрова модель взаємодії користувачів, що виконують задачі у спільному обчислювальному середовищі на прикладі задачі множення матриць. Дією користувачів у даному випадку є розмір блоку на яку розрізається матриця. Проведені експерименти з використанням середовища імітаційного моделювання GridSim, що підтверджують теоретично отримані результати
Реалізація засобів проектування та генерації програм на основі алгебри алгоритмів з даними
No full textThe development of the algebra-algorithmic toolkit for designing and synthesis of programs for constructing of specifications of algorithms, which combine common definition of data and execution processes in algebra of algorithms with data, is proposed. The application of the proposed algebraic approach and the toolkit is illustrated on the example of the development of sorting programs.Предложено развитие алгеброалгоритмического инструментария проектирования и синтеза программ для конструирования спецификаций алгоритмов, сочетающих совместное описание данных и потоков управления в алгебре алгоритмов с данными. Применение предложенных алгебраического подхода и инструментария проиллюстрировано на примере разработки программ сортировки.Запропоновано розвиток алгеброал-горитмічного інструментарію проектування та синтезу програм для конструювання специфікацій алгоритмів, що поєднують спільний опис даних і потоків управління в алгебрі алгоритмів з даними. Застосування запропонованих алгебраїчного підходу та інструментарію проілюстроване на прикладі розробки програм сорту-вання
DS-теорія. Подання канонічного алгоритму за допомогою алгоритмічної мови
No full textThis work continues the description of the decomposition scheme as a theoretical model, which makes possible generation of the applied algorithms. The description of the algorithmic language made for show the possibility of algorithms generation is given. One of the factors' group is described, i.e. ways of placing the properties on the tape of the abstract type which when is taken into consideration allows to turn canonical algorithm into a real one and applied algorithm, which is the same as turning the decomposition scheme into the program text. The notions of algorithmic primitive and algorithmic joint (operand and operation) as the means for constructing the algorithm are introduced. These notions of algorithms construction are the alternatives for the notional system and methods of structured programming. The notions of functional core, algorithmic frame, functional contents and algorithmic matrix are introduced.Работа является продолжением описания схемы декомпозиции как теоретической модели, обеспечивающая возможность генерации прикладных алгоритмов. Приведено описание алгоритмического языка, предназначенного продемонстрировать возможность генерации алгоритмов. Описана одна из групп факторов – способы размещения свойств на ленте абстрактного типа, учет которой, позволяет превратить канонический алгоритм в реальный прикладной алгоритм или, что то же, превратить схему декомпозиции в текст программы. Вводятся понятия алгоритмического примитива и алгоритмического сочленения (операнда и операции), как средств построения алгоритма. Данные понятия и способ построения алгоритмов – это альтернативная понятийного аппарата и методологии структурного программирования. Вводятся понятия функционального ядра, алгоритмического фрейма, функционального содержания и алгоритмической матрицы.Робота є продовженням опису схеми декомпозиції як теоретичної моделі, яка забезпечує можливість генерації прикладних алгоритмів. Наведено опис алгоритмічної мови, призначеного продемонструвати можливість генерації алгоритмів. Описана одна з груп чинників - способи розміщення властивостей на стрічці абстрактного типу, урахування якої, дозволяє перетворити канонічний алгоритм в реальний прикладний алгоритм або, що те ж, перетворити схему декомпозиції в текст програми. Вводяться поняття алгоритмічного примітиву і алгоритмічного зчленування (операнда і операції), як засобів побудови алгоритму. Ці поняття і спосіб побудови алгоритмів є альтернативою понятійному апарату і методології структурного програмування. Вводяться поняття функціонального ядра, алгоритмічного фрейма, функціонального змісту та алгоритмічної матриці
Ренесанс використання моделі акторів до побудови паралельних та розподілених застосунків
Get PDFThe article presents the analysis of the Actor model as the high-level approach to architecting parallel and distributed systems. The influence of the object-oriented programming paradigm on the model development as well as key properties of actors are investigated. Finally, the main implementation traits of the Actor model caused by the Scala object-functional language and Akka framework are presented.В статье проанализирована модель ак-теров (Actor model) как высокоуровневый подход к созданию параллель-ных и распределенных систем. Исследовано развитие модели под влиянием парадигмы объектно-ориентированного программирования и формирование главных свойств актеров. Рассмотрены основные особенности реализации модели на объектно-функциональном языке Scala на при-мере библиотеки Akka.У статті проаналізована модель акторів (Actor model) як засіб високорівневого підходу до побудови па-ралельних та розподілених систем. Досліджено розвиток моделі під впливом парадигми об’єктно-орієнтованого програмування та формування головних властивостей акторів. Розглянуто основні особливості реалізації моделі за допомогою об’єктно-функціональної мови Scala на прикладі бібліотеки Akka
Розробка системи підтримки формування і аналізу річних звітів установ НАН України
Get PDFThe results of the development of an automated system to support the formation and analysis of annual reports of institutions of Ukraine. The analysis of legal materials, regulations, and procedures for the organization reporting the Academy. Based on the analysis was built detailed functional model of the technological cycle collection and analysis of data reporting institutions applying best practices, focused on the organizational structure of scientific institutions in the country and the traditions that have developed institutions. Briefly describes the basic technological and technical solutions system, namely the proposed system architecture; software tools are used as finished components; tools integration platform for software development and specific components of the system; specification of components and software information.Рассмотрены результаты разработки автоматизированной системы поддержки формирования и анализа годовых отчетов учреждений НАН Украины. Проведен анализ нормативных материалов, положений и методик по организации отчетности в Академии. На основе проведенного анализа была построена подробная функциональная модель технологического цикла сбора и обобщения отчетных данных учреждений, которая применяет передовые методики, ориентированная на организационную структуру научных учреждений в стране и на традиции, сложившиеся в учреждениях. Кратко описаны основные технологические и технические решения системы, а именно: предложенная архитектура системы; программные средства, применяемые в качестве готовых компонент; инструментальные платформы для интеграции программных средств и разработки специфических компонентов системы; спецификации компонентов информационного и программного обеспечения.Розглянуті результати розробки автоматизованої системи підтримки формування і аналізу річних звітів установ НАН України. Проведено аналіз нормативних матеріалів, положень, та методик щодо організації звітності в Академії. На основі проведеного аналізу була побудована детальна функціональна модель технологічного циклу збору та узагальнення звітних даних установ, яка застосовує перодові методики, орієнтована на організаційну структуру наукових закладів в країні та на традиції, які склалися в установах. Коротко описані основні технологічні та технічні рішення системи, а саме: запропонована архітектура системи; програмні засоби, які застосовуються в якості готових компонент; інструментальні платформи для інтеграції програмних засобів та розробки специфічних компонентів системи; специфікації компонентів інформаційного та програмного забезпечення
Системи виявлення Web-сервісів в сервіс-орієнтованій архітектурі: проблеми і рішення
Get PDFWith emerging the paradigm of Service-Oriented Computing and increasing the number of available Web services on the Internet the request is augmenting for tools to perform discovery, selection, composition, and invocation of Web services. At present, a large number of approaches to Web service discovery are being proposed, which is due to a number of problems and possible solutions in the construction of Web service discovery systems. In this article the analytical overview of the challenges in the building and functioning of such systems is conducted, and the existing approaches to solving them are given. It is shown that the problem of Web service discovery can be illuminat-ed in description logic based on the “best covering”.С появлением парадигмы сервис-ориентированного вычисления и рас-тущим количеством доступных Web-сервисов в Интернете усиливается запрос на средства для выполнения обнаружения, выбора, композиции и вызова Web-сервисов. На сегодня предложено большое количество подходов по выявлению Web-сервисов, которое обусловлено рядом задач и их возможными решениями при построении систем обнаружения Web-сервисов. В этой статье проведен аналитический обзор задач, стоящих при разработке и функционировании таких систем, и приведены существующие подходы к их решению. Показано, что проблема обнаружения Web-сервисов может быть освещена в дескриптивной логике на основе «наилучшего покрытия»З появою парадигми сервіс-орієнтованого обчислення і зростаючою кількістю доступних Web-сервісів в Інтернеті посилюється запит на засоби для виконання виявлення, вибору, композиції і виклику Web-сервісів. На сьогодні запропонована велика кількість підходів щодо виявлення Web-сервісів, яка обумовлена низкою задач та їх можливими рішеннями при побудові систем виявлення Web-сервісів. У цій статті проведено аналітичний огляд задач, які постають при розробці і функціонуванні таких систем, та наведені існуючі підходи до їх вирішення. Показано, що проблема виявлення Web-сервісів може бути висвітлена в дескриптивній логіці на основі «найкращого покриття»
Метод доменного аналізу для ефективного моделювання процесів при проведенні експериментів з використанням програмного забезпечення
Get PDFThe requirements towards the model of application domain for implementation of experiments using software are formulated in this article. The review of publications witch are devoted of domain analysis usage for building the taxonomy of application domain is made. The method of domain analysis for modeling processes while making scientific experiments using software is proposed. The example of building platform independent model, implementing in class diagram for application domain – “Building of effective cutting schemas for shoes details and leather goods” is represented.Cформульованы требования к модели прикладного домена для проведения экспериментов путем использования программного обеспечения. Проведен обзор публикаций, посвященных использованию доменного анализа при построении таксономии прикладной предметной области. Предложен метод доменного анализа для моделирования процессов при проведении научных экспериментов с помощью программного обеспечения. Представлен пример построения платформенно-независимой модели, воплощенной в диаграмму классов, для прикладного домена - «Построение рациональных раскройных схем для изделий обуви и кожгалантереи».Cформульовано вимоги до моделі прикладного домену для проведення експериментів шляхом використання програмного забезпечення. Проведено огляд публікацій, що присвячені використанню доменного аналізу при побудови таксономії прикладної предметної області. Запропоновано метод доменного аналізу для моделювання процесів при проведенні наукових експериментів за допомогою програмного забезпечення. Представлено приклад побудови платформенно-незалежної моделі, втіленої у діаграму класів, для прикладного домену – «Побудова раціональних розкрійних схем для виробів взуття та шкіргалантереї»