PROBLEMS IN PROGRAMMING
Not a member yet
761 research outputs found
Sort by
Евристичний алгоритм морфолексичного аналізу для невідомих слів
Full text linkThe article deals with improvement of heuristic algorithm for morpholexical analysis of unknown words in Slavic languages. Lexicon is used sa main source of niformtion to construct hypotheses. Set of n-grams is used for filtering.Prombles in programming 2014; 2-3: 279-284Розглянуто спосіб покращення евристичного алгоритму морфолексичного аналізу невідомих слів для слов’янських мов. Пропонується використовувати словник тексту як основне джерело даних для побудови гіпотез, та набір n-грам як допоміжне джерело для фільтрації.Prombles in programming 2014; 2-3: 279-28
Принципи проектування GPGPU-застосувань на основі мереж Петрі
Full text linkA set of rules for formal GPGPU-application representation in terms of Petri nets was introduced. Models of memory allocation and copying, and CUDA streams scheduling were created using described rules.Prombles in programming 2014; 2-3: 57-65Запропоновано низка правил формального представлення виконання GPGPU застосувань за допомогою математичного апарату мереж Петрі. Сформовано моделі виділення та копіювання пам’яті та низка моделей постановки GPU задач в чергу CPU потоками з використанням зазначених правил.Prombles in programming 2014; 2-3: 57-6
Проектирование специализированной компьютерной системы для проведения пульмонологического диагностирования
Full text linkIn this article the problems of designing specialized computer systems for making medical diagnosis are considered. The architecture of software system that allows making non-invasive diagnosis of human respiratory system is developed. The analysis of domain and physical foundations of chosen diagnostics method – laser correlation spectroscopy – is made. The source data which are used in the automated system for identifying the state of respiratory system are formalized. The common borders and the context of the simulated domain in initial phase of the designing system are identified. The general requirements for functional behavior of the designed system are formulated. The non-functional requirements for the developed software product are listed. System users are considered – they are entities which are external in relation to the system. being modeled that interact with the system and its functionality is used to achieve the objectives. They interact with the system and used its functional capabilities to achieve the objectives. The main use cases of the system are considered. Its analysis and formalization are made using UML-diagrams of the form Use case and Activity. The basic algorithms of diagnostic data are considered.Prombles in programming 2014; 2-3: 253-262В статье рассмотрены проблемы проектирования специализированных компьютерных систем, предназначенных для медицинского диагностирования. Разработана архитектура программной системы, позволяющей осуществлять неинвазивное диагностирование дыхательной системы человека. Выполнен анализ предметной области и физических основ выбранного метода диагностики – лазерной корреляционной спектроскопии. Формализованы исходные данные, используемые автоматизированной системой для идентификации состояния дыхательной системы. Определены общие границы и контекст моделируемой предметной области на начальном этапе проектирования системы. Сформулированы общие требования к функциональному поведению проектируемой системы. Указаны нефункциональные требования для разрабатываемого программного продукта. Рассмотрены пользователи системы – внешние по отношению к моделируемой системе сущности, которые взаимодействуют с системой и используют ее функциональные возможности для достижения соответствующих целей. Рассмотрены основные варианты использования системы, выполнен их анализ и формализация при помощи UML-диаграмм вида Use case и Activity. Рассмотрены основные алгоритмы обработки диагностических данных.Prombles in programming 2014; 2-3: 253-26
Швидка або якісна розробка?
Full text linkThe Rapid Application Development technologies were considered, their advantages and disadvantages were analysed. The importance of careful study and appropriate usage accentuated. It is shown that speed of development can be not achieved in the case of negligent usage of technology; herewith the quality can be significantly lost. It is argued that the quality of software is more important than the speed of its development.Prombles in programming 2014; 2-3: 38-43Розглянуто технології швидкої розробки програмних систем, проаналізовано їх переваги та недоліки. Акцентовано важливість докладного вивчення і адекватного застосування. Показано, що швидкість розробки може бути не досягнена у випадку недбалого застосування технології, при цьому якість може бути значно втрачено. Стверджується, що якість програмного продукту важливіша за швидкість його створення.Prombles in programming 2014; 2-3: 38-4
NP-трудность задач оптимизации коллективного преследования
Full text linkThe differential pursuitevasion games on a plane are considered. A group of pursuers is created for every evader in a game. The optimization problem of group composition has been formulated. The theorems about NP-completeness and NP-hardness of pursuit optimization problems are proved. Numerical methods for solving such optimization problems are constructed. Numerical experiments have demonstrated high efficiency of the methods.Prombles in programming 2014; 2-3: 44-51Рассмотрены игры преследования на плоскости с простым движением, в которых принимают участие несколько преследователей и убегающих. Для захвата целей множество преследователей разбивается на группы, причем для каждого убегающего создается одна группа. В качестве критерия используется время захвата. Доказаны теоремы о NP-трудности задач оптимизации групп преследования. Приведены результаты численных экспериментов для соответствующих версий метода ветвей и границ и метода случайного поиска с локальной оптимизацией.Prombles in programming 2014; 2-3: 44-5
Підхід до уточнення поведінкових моделей програмного забезпечення з використанням паттернів проектування
Full text linkAn approach to behavioral software models refinement is proposed in this paper. Behavioral software models are represented as UML collaboration diagrams. The operation of behavioral software models refinement can be both executed as a separate operation of Model-Driven Architecture (MDA) and Model-Driven Development (MDD) approaches and as a constituent of other technics which require software models transformation or verification [2]. The proposed approach is based on matching of applications’ formalized process description with behavioral constituents of design patterns. Behavioral constituents of design patterns contain formalized representation of application functional requirements that are corresponded with some design pattern. The behavioral design patterns constituents for patterns “Bridge” and “State” are formed. Using this constituents refinement collaboration diagrams are designed. The results of problem domain explorations “Designing of cutting schemas for shoe and leather good details” are systematized. The requirements specification to class library that solves such tasks of the problem domain as designing of convex hull (detail representation), layings, layouts, sections, and cutting schemas is presented. The example of behavioral software models elicitation for solving task of designing laying for shoe and leather good with using formalized analytical representation is represented.Prombles in programming 2014; 2-3: 112-120 У роботі представлено підхід до уточнення поведінкових моделей програмного забезпечення (ПЗ), які представляються діаграмами кооперацій. Уточнення поведінкових моделей ПЗ може бути як і окремою операцією Model-Driven Architecture (MDA) та Model-Driven Development (MDD) [1], так і складовою у вирішенні завдань трансформації та верифікації моделей ПЗ [2]. Запропонований підхід базується на співставленні формалізованого опису процесів застосування з шаблонами, що представляють поведінкові складові паттернів проектування, та подальшого уточнення діаграм кооперацій відповідно до цих шаблонів. Поведінкові складові паттернів проектування містять формалізоване представлення функціональних вимог до застосування, які відповідають визначенному паттерну проектування. Сформовано поведінкові шаблони паттернів проектування «Міст» та «Стан», використовуючи які, спроектовано уточнені діаграми кооперацій. Систематизовано результати досліджень проблемного домену «Проектування розкрійних схем рулонних матеріалів деталей взуття та шкіргалантереї». Представлено специфікацію вимог до бібліотеки класів, що вирішує такі завдання цього проблемного домену, як побудова еквідістанти (образу деталі), укладок, розкладок, секцій та розкрійних схем. Продемонстровано приклад уточнення поведінкової моделі ПЗ для виконання завдання побудови щільних укладок розкрійних схем деталей взуття та шкіргалантереї із використанням формалізованого аналітичного представлення уточнених діаграм кооперацій.Prombles in programming 2014; 2-3: 112-120
Моделі керування потоками даних мережі інтернет за умов нестабільної поведінки
Full text linkThis paper deals with the control model of network data flows. We proposed an approach to analyzing network work using fluid models and conflict control theory domain. We obtained analytic solution for certain class of networks and proved time optimality. We considered special case of network activity – denial of service attack.Prombles in programming 2011; 3: 38-51Дана робота присвячена моделям керування потоками даних у мережах за умов нестабільної поведінки. В роботі представлено огляд проблеми, підкреслена її актуальність, описані існуючі підходи до вирішення. Для мереж зі змінними протоками даних і наявності конфліктуючих користувачів пропонується новий підхід до аналізу роботи мережі на базі конфліктно-керованих потокових моделей. Побудована модель одного класу мереж та доведене існування оптимального у сенсі швидкодії розв’язку задачі завантаження файлу. Розглянуто також ситуацію зловмисного впливу на роботу мережі (атаки на відмову).Prombles in programming 2011; 3: 38-5
Розробка додатків у сервіс-орієнтованій архітектурі семантичного Веб
No full textSemantic service-oriented architecture is based on principles of service orientation, semantic modeling and intellectual and automated integration, defines basis for new technology which provides new tools of service integration, great adaptability to changes of business requirements and execution environments. The architecture is defined, beginning from abstract business model of the semantic service application, finalizing with the services, processes and technologies and accordingly to the ontology modeling of Web services (WSMO).Prombles in programming 2010; 1: 66-78Семантическая сервис-ориентированная архитектура основана на принципах сервисной ориентации, семантического моделирования, интеллектуальной и автоматизированной интеграции, определяет основу для новой технологии, которая обеспечивает новые средства интеграции сервисов, большую адаптивность к изменениям бизнес-требований и сред выполнения. Архитектура определяется, начиная от абстрактной бизнес-модели семантического сервисного приложения, завершая сервисами, процессами, технологиями и в соответствии с онтологией моделирования Веб-сервисов (WSMO).Prombles in programming 2010; 1: 66-78Семантична сервіс-орієнтована архітектура заснована на принципах сервісної орієнтації, семантичного моделювання, інтелектуальної і автоматизованої інтеграції, визначає основу для нової технології, яка забезпечує нові засоби інтеграції сервісів, велику адаптивність до змін бізнес-вимог і середовищ виконання. Архітектура визначається, починаючи від абстрактної бізнес-моделі семантичного сервісного застосування, завершуючи сервісами, процесами, технологіями і відповідно до онтології моделювання Веб-сервісів (WSMO).Prombles in programming 2010; 1: 66-7
Підхід до забезпечення взаємодії програмних середовищ Java та MS.NET
No full textIntroduced is the problem of interconnection between reusable components in the heterogeneous environments. The theoretical basis of interconnection support with distributed systems is considered, as well as its implementation in CORBA technology. This knowledge is then used in solving the practical problem – the interconnection support between Java and Microsoft .NET programming environments via CORBA.Prombles in programming 2011; 2: 34-42В работе ставится проблема взаимодействия между компонентами в разнородных средах. Рассматриваются теоретические основы обеспечения взаимодействия с помощью распределенных систем, а также их реализация в технологии CORBA. Полученные результаты применяются для решения практической задачи – наладки взаимодействия между платформами Java и Microsoft .NET с использованием CORBA.Prombles in programming 2011; 2: 34-42У роботі ставиться проблема взаємодії між компонентами у гетерогенних середовищах. Розглядаються теоретичні основи забезпечення взаємодії за допомогою розподілених систем, а також їхня реалізація у технології CORBA. Отримані результати застосовуються для вирішення практичної задачі – налагодження взаємодії між платформами Java і Microsoft .NET з використанням CORBA.Prombles in programming 2011; 2: 34-4
Интеграция инструментальных средств алгебры алгоритмов и переписывания термов для разработки эффективных параллельных программ
Full text linkThe approach to generation of terms by high-level specifications of algorithms is proposed. The generation is performed within the framework of joint use of symbolic computation system and algebro-algorithmic toolkit of program design and synthesis. The term rewriting system complements the algebro-algorithmic toolkit with means of transforming sequential and parallel algorithms aimed at their improvement.Problems in programming 2013; 2: 62-70 Предложен подход к генерации термов по высокоуровневым спецификациям алгоритмов. Генерация выполняется в рамках совместного использования системы символьных вычислений и алгеброалгоритмического инструментария проектирования и синтеза программ. Система переписывания термов дополняет алгеброалгоритмический инструментарий средствами преобразования последовательных и параллельных алгоритмов, направленных на их улучшение.Problems in programming 2013; 2: 62-7