PROBLEMS IN PROGRAMMING
Not a member yet
761 research outputs found
Sort by
Один з підходів до взаємодії середовищ VISUAL STUDIO i ECLIPSE
No full textIn this paper considered the problem of heterogeneous environments interconnection for developing a programs to provide further joint integration of the programs whereas their building conditions in different environments. Considered both Visual Studio .Net and Eclipse. Shown the approaches to transfer program projects created with one of named environmentsto other one provided their interaction by interconnecting and deployment for getting final results.Prombles in programming 2011; 2: 43-49Розглядається проблема взаємодії різнорідних середовищ з розробки в них програм для забезпечення подальшої сумісної інтеграції цих програми з урахуванням умов їх побудови в різних середовищах. Розглянуті два середовища розробки: Visual Studio .Net та Eclipse. Показано способи перенесення проектів програм, створених в одному з названих середовищ в інше, забезпечення їхній взаємодії при об’єднанні та виконанні для отриманням кінцевого результату.Prombles in programming 2011; 2: 43-4
Побудова і перетворення операцій і деяких алгоритмічних конструкцій алгебри алгоритмів з даними
No full textProperties of the operations which enter into the signature of algorithms’ algebra with the data are considered. Possibility to create the derivative operations convenient for various appendices, in particular with the fixing logic conditions, taking into account efficiency of realization in a target programming language is shown. Possibility to carry out optimizing transformations of algebra’s operations and typical algorithmic designs is shown. Problems in programming 2011; 4: 3-13Рассмотрены свойства операций, входящих в сигнатуру алгебры алгоритмов с данными. Показана возможность создавать, в частности с помощью фиксирующих логических условий, производные операции, удобные для различных приложений и учитывающие эффективность реализации на целевом языке программирования. Показана возможность осуществлять оптимизирующие преобразования типичных алгоритмических конструкций.Problems in programming 2011; 4: 3-13Розглянуті властивості операцій, що входять в сигнатуру алгебри алгоритмів з даними. Показана можливість створювати похідні операції, що є зручними для різних застосувань, зокрема, за допомогою фіксуючих логічних умов, з урахуванням ефективності реалізації на цільовій мові програмування. Показана можливість здійснювати оптимізуючи перетворення операцій алгебри і типових алгоритмічних конструкцій.Problems in programming 2011; 4: 3-1
-числення – реалістична формалізація класу переписувальних систем
No full textA new formalism of typed -calculus is offered as theoretical foundation for the construction of the special classes of programming systems based on rewriting rules. The formalism utilizes the ordered non-confluent sets of rewriting rules and interaction with programming environment that allows to extend possibilities of programming dynamic applications.Problems in programming 2011; 2: 3-11Предложен новый формализм типизированного η-исчисления в качестве теоретической основы для по-строения специальных классов систем программирования на основе переписывающих правил. Форма-лизм использует упорядоченные неконфлюэнтные множества правил переписывания и взаимодействие с программным окружением, что позволяет расширить возможности программирования динамических приложений.Problems in programming 2011; 2: 3-11Запропоновано новий формалізм типізованого -числення як теоретичної бази для побудови спеціальних класів систем програмування на основі переписувальних правил. Формалізм використовує впорядковані неконфлюентні множини правила переписування і взаємодію з програмним оточенням, що дозволяє розширити можливості програмування динамічних застосувань.Problems in programming 2011; 2: 3-1
Про уніфікацію способів обробки структурованої інформації
Full text linkThe problem of search and collection of information from DOM models of the same type is examined inthe article. A mechanism of collection of the structured information from relevant sources is offered, that allows to build the universal analyzers of data from these sources.Prombles in programming 2011; 4: 56-62Розглядаються проблеми пошуку та збору інформації з однотипних DOM-моделей. Запропоновано механізм збору структурованої інформації з релевантних джерел, що дозволяє будувати універсальні аналізатори даних з цих джерел.Prombles in programming 2011; 4: 56-6
Проблеми масової побудови КСЗІ та шляхи їх вирішення
No full textThe article discussesthe phenomenon ofIISS, goals, objectives and principles of its construction. An analysisof somemethodsof testingandauditingIISS, as well asproblemsthatarise here. Proposes to usesoftwaretoolsto supportautomatedtestingandauditingIISSasoneofthe methodsofovercoming them.Prombles in programming 2011; 3: 69-78Рассматривается феномен КСЗИ, цели, задачи и принципы его построения. Проводится анализ некоторых способов проведения испытаний и аудита КСЗИ, а также проблем, которые при этом возникают. Предлагается использование программных средств автоматизированной поддержки проведения испытаний и аудита КСЗИ как один из методов их преодоления.Prombles in programming 2011; 3: 69-78Розглядається феномен КСЗІ, цілі, задачі та принципи його побудови. Проводиться аналіз деяких способів проведення випробувань та аудиту КСЗІ, а також проблем які при цьому виникають. Пропонується використання програмних засобів автоматизованої підтримки проведення випробувань та аудиту КСЗІ, як один із методів їх подолання.Prombles in programming 2011; 3: 69-7
Дедуктивна перевірка вимог до подієво-керованої архітектури
No full textThe current paper presents the technology of processing of requirements for systems with event-driven architecture. The technology consists of the stages of formalization, formal verification and conversion to design specifications. The formalization is the formal description of events as formal specifications called basic protocols. The consistency and completeness of basic protocols, safety properties and user-defined properties are verified. The deductive tools for dynamic and static checking are used for detection of properties violation. The method of enlargement allows reducing the complexity of proving and solving. Formal presentation of requirements allows converting them to SDL\UML specifications and generating the test suite. The technology is realized in IMS system and applied in more than 50 projects of telecommunication, networking, microprocessing and automotive systems.Problems in programming 2013; 2: 54-61В даній статті представлено технологію опрацювання вимог до систем з подієво-керованою архітектурою. Технологія складається з етапів формалізації, формальної верифікації та перетворення в проектні специфікації. Формалізація полягає у формальному описі подій у вигляді формальних специфікацій, які називаються базовими протоколами. Перевіряється узгодженість і повнота базових протоколів, властивості безпеки і властивості, визначені користувачем. Для виявлення порушень властивостей використовуються дедуктивні інструменти динамічної та статичної перевірки. Метод розширення дозволяє зменшити складність доведення та розв'язання. Формальне представлення вимог дозволяє конвертувати їх у специфікації SDL\UML та генерувати набір тестів. Технологія реалізована в системі IMS і застосована в більш ніж 50 проектах телекомунікаційних, мережевих, мікропроцесорних та автомобільних систем.Problems in programming 2013; 2: 54-6
Программа проверки орфографии (spellchecker) на основе распределенных представлений
Full text linkPrombles in programming 2013; 4: 34-42Задача программ проверки орфографии состоит в нахождении и исправлении ошибок в словах. Как правило, программа предлагает пользователю короткий список предполагаемых корректных слов в последовательности от самого вероятного к наименее вероятному. В данной работе исследована возможность применения бинарных распределенных представлений и методов их обработки для представления, поиска и обработки слов с ошибками. Приведены результаты экспериментов на двух наборах слов с типичными орфографическими ошибками, а также проведен сравнительный анализ с другими методами.Prombles in programming 2013; 4: 34-4
Об одной методике формирования объектного представления реляционных данных
Full text linkPrombles in programming 2013; 3: 79-85Предложена методика формирования объектного представления реляционных данных, направленная на достижение наибольшей производительности генерируемого кода и труда программиста. Методика использует концепцию "трех проекций" представления реляционных данных в объектном коде, на основе которой описывается модель поведения реляционных объектов в объектном коде.Prombles in programming 2013; 3: 79-8
Elasticsearch для великих геотемпоральних даних
Full text linkAn exponential growth in the volume and complexity of geospatial data, driven by advances in GPS technology, mobile devices, and Internet of Things (IoT) sensors, has created an urgent need for scalable and efficient solutions for storage and query processing [1]. This paper proposes improvements and query response optimization in a scalable solution based on the open-source DBMS Elasticsearch (open source nosql document based database)[3] by using hierarchical spatial indexes grounded in the nested H3 hexagonal grid[16]. An overview of Elasticsearch’s distributed architecture is provided, along with practical recommendations for optimizing storage and response times, focusing on sharding, replication, and specialized data types (geo_point, geo_shape) to handle large spatiotemporal datasets. Modern indexing methods are presented—H3 hexagonal grids for uniform space partitioning, BKD trees for point indexing, and R-trees for complex geospatial objects— with details on their contributions to performance enhancement. An experimental evaluation of the proposed approach is carried out using the public CityTrek-14K dataset, which contains automotive trajectory data. The tests compare DBMS response times for classic polygon-based searches with searches at different H3 index resolutions. The results confirm that high-resolution indexing significantly reduces query times while balancing accuracy and resource usage. Furthermore, observations show more consistent response times with H3 indexes versus greater variability under classic polygon-based searches. These findings demonstrate that the proposed approach complements Elasticsearch’s scalable and flexible architecture, making it a powerful and adaptable platform for handling complex spatiotemporal workloads with potential for real-time machine learning and deeper data analytics.Prombles in programming 2025; 1: 55-62Експоненційне зростання обсягів і складності геопросторових даних, зумовлене розвитком технологій GPS, мобільних пристроїв та датчиків Інтернету речей (IoT), створило нагальну потребу в масштабова них і ефективних рішеннях для зберігання й опрацювання запитів [1]. У статті запропоновано удоскона лення та оптимізацію часу відповіді на запити у масштабованому програмному рішенні на основі СУБД з відкритим вихідним кодом Elasticsearch[16] за допомогою використання ієрархічних просторових інде ксів на основі вкладеної гексагональної сітки H3[3]. Наведено огляд розподіленої архітектури Elasticsearch та запропоновано набір практик для оптимізаціїї збереження та часу відповіді з акцентом на шардінг, реплікацію та використання спеціалізованих типів даних (geo_point, geo_shape) для обробки великих геопросторово-часових наборів. Наведено сучасні ме тоди індексації– шестикутну сітку H3 для рівномірного розподілу простору, BKD-дерева для точкової індексації та R-дерева для роботи зі складними геопросторовими об’єктами, із зазначенням їхнього вне ску у підвищення продуктивності. Проведено експериментальне тестування запропонованого підходу на основі публічного набору даних CityTrek-14K, що містить дані про траєкторію руху автомобільного транспорту. Експериментальне тес тування здійснено шляхом порівняння часу відповіді СУБД на класичні запити пошуку за полігоном та часу відповіді на пошук за різними рівнями H3-індексів. Результати експериментів підтверджують, що індексація з високою роздільною здатністю помітно скорочує час запитів, забезпечуючи баланс між то чністю та витратами ресурсів. Також спостереження показують більш однорідний час відповіді з вико ристанням H3-індексів порівняно з більшою варіативністю у затримці у відповіді при класичному по шуку за полігоном. Ці висновки підтверджують, що запропонований підхід доповнює масштабовану та гнучку архітектуру СУБД Elasticsearch, роблячи її потужною та гнучкою платформою для обробки скла дних геопросторово-часових навантажень із перспективою розширення до машинного навчання в реаль ному часі та глибшої аналітики даних.Prombles in programming 2025; 1: 55-6
Київська школа програмування В.М. Глушкова
Full text linkPrombles in programming 2013; 3: 3-12Статтю присвячено 90-річчю від дня народження академіка НАН України і АН СРСР Віктора Михайловича Глушкова, його внеску в становлення та розвиток Київської школи програмування.Prombles in programming 2013; 3: 3-1