PROBLEMS IN PROGRAMMING
Not a member yet
761 research outputs found
Sort by
Проблема формування угрупувань агентів у задачах переслідування/утікання на площині
Get PDFPrombles in programming 2014; 1: 108-118Досліджуються особливості задачі формування угрупувань агентів. Виконується постановка задачі формування угрупувань, на основі якої пропонуються та досліджуються два методи (метод перебору та евристичний метод) рішення цієї задачі. Обґрунтовується можливість використання розроблених методів для рішення задач про призначення.Prombles in programming 2014; 1: 108-11
Верификация программ: состояние, проблемы, экспериментальные результаты. II
Get PDFPrombles in programming 2014; 1: 76-89Рассматриваются алгоритмы поиска инвариантных соотношений в программах с простыми переменными, которые относятся к методам анализа потоков данных и верификации. Приводится краткий обзор таких методов и примеры для иллюстрации работы предлагаемых алгоритмов.Prombles in programming 2014; 1: 76-89Рассматриваются алгоритмы поиска инвариантных соотношений в программах с простыми переменными, которые относятся к методам анализа потоков данных и верификации. Приводится краткий обзор таких методов и примеры для иллюстрации работы предлагаемых алгоритмов
Автоматизоване ймовірносно-алгебра-їчне моделювання надійності складних систем
No full textThe approach to research the reliability of difficult systems and the resources of its automation grounded on the method of probability-algebraic simulation is stated, allowing to define the probability characteristics of the reliability of difficult systems under characteristics of reliability of components which make them. The changes occurring to each of components are modeled. Links between the components, defining changes of characteristics of system as a whole are considered.Prombles in programming 2011; 1: 89-98Излагается подход к исследованию надёжности сложных систем и средства его автоматизации, основанные на методе вероятностно-алгебраического моделирования, позволяющего определить вероятностные характеристики надёжности сложных систем по характеристикам надёжности составляющих их компонентов. Моделируются изменения, происходящие с каждым из компонентов. Учитываются связи между компонентами, определяющие изменения характеристик системы в целом.Prombles in programming 2011; 1: 89-98Викладається підхід до дослідження надійності складних систем і засоби його автоматизації, засновані на методі ймовірносно-алгебраїчного моделювання, що дозволяє визначити ймовірні характеристики надійності складних систем за характеристиками надійності складових їх компонентів. Моделюються зміни, що відбуваються з кожним з компонентів. Ураховуються зв'язки між компонентами, що визначають зміни характеристик системи в цілому.Prombles in programming 2011; 1: 89-9
Моделі взаємодії програм, систем і операційних середовищ
Get PDFModels of Interconnection program, which build in environment, systems which integrate from running program and environment, which givining assembling programs from repositories Eclipse are descused. Specification of realized models interconection program jn their interface in environment Visual Studio.Net and CORBA are done. Some of konflects interconnection of systems and environment by WCF, which nnnn differend realized interfaces are definited. Teoretical and applicatial in future project are supposed.Prombles in programming 2011; 3: 11-22 Розглядаються моделі взаємодії програм, що будуються в різнорідних середовищах, систем, що збираються з готових програм та середовищ, що забезпечують сумісне об’єднання програм, інтегрованих у репозиторію Eclipse. Дано опис реалізації моделей взаємодії програм з репозиторію через інтерфейси в середовищах Visual Studio.Net і CORBA. Визначені декілька конфліктів взаємодіючих програм у середовищах засобами системи WCF, що залежить від різних способів реалізації у них інтерфейсів. Сформульовані головні теоретичні та прикладні шляхи їх подолання у майбутньому проекті.Prombles in programming 2011; 3: 11-2
Використання мереж Петрі для проектування паралельних застосувань
Get PDFA set of CAA-M schemes corresponding to the most common workflow templates has been created. This makes it possible to use both approaches in order to transform the representations of the algorithm and use their features and advantages (modelling or a set of formal transformations). Using the considered templates, a generalised Petri net of the Floyd-Warschall algorithm for a set of parallel threads is constructed. This network is valid for a number of architectures (SMP, MPP, GPGPU technology architectures: Fermi, G80), but requires some specification of its elements for each of them, which is partially considered in the paper.Prombles in programming 2013; 2: 32-40Створено сукупність САА-М схем, що відповідають найбільш поширеним workflow-шаблонам. Це надає змогу використовувати обидва підходи з метою перетворення представлень алгоритму і використання їх особливостей та переваг (проведення моделювання чи набору формальних трансформацій). З використанням розглянутих шаблонів побудовано узагальнену мережу Петрі алгоритму Флойда-Уоршала для набору паралельних потоків. Ця мережа справедлива для ряду архітектур (SMP, MPP, архітектури технології GPGPU: Fermi, G80), проте потребує певної конкретизації своїх елементів для кожної з них, що частково розглянуто в роботі.Prombles in programming 2013; 2: 32-4
Проблема автоматизації ситуаційного керування охороною зон відповідальності
Get PDFThe opportunity of automation of process of the analysis of operative conditions in a zone of the responsibility of security structures and estimations of a developed situation is considered. Functional tasks of systems of situational management are analyzed, possible situations with objects of the control are defined and examples of their estimation are resulted. The choice of expedient mathematical methods and models of an artificial intellect for automation of the decision of a task of an estimation of situations is carried out and the task of development of corresponding software is formulated. Prombles in programming 2011; 4: 96-107Розглядається можливість автоматизації процесу аналізу оперативної обстановки у зоні відповідальності охоронних структур та оцінки ситуації, що склалася. Аналізуються функціональні задачі систем ситуаційного керування, визначаються можливі ситуації з об’єктами контролю і наводяться приклади їх оцінки. Виконується вибір доцільних математичних методів і моделей штучного інтелекту для автоматизації рішення задачі оцінки ситуацій та формулюється задача розробки відповідного програмного продукту.Prombles in programming 2011; 4: 96-10
Програмування в обмеженнях у системі інсерційного моделювання
No full textThe paper relates to practical aspects of insertion modeling. Insertion modeling system is an environment for the development of insertion machines, used to represent insertion models of distributed systems. The architecture of insertion machines and insertion modeling system IMS is presented. Insertion machine for constraint programming is specified as an example, and as a starting point of ‘verifiable programming’ project.Problems in programming 2011; 4: 14-22Розглядаються практичні аспекти інсерційного моделювання. Система інсерційного моделювання - це середовище для розробки інсерційних машин, які використовуються для представлення моделей розподілених систем. Представлена архітектура інсерційних машин та системи інсерційного моделювання. Інсерційна машина для програмування з обмеженнями представлена як приклад та як відправна точка проекту доказового програмування. Problems in programming 2011; 4: 14-2
Transformational approach to developing intelligent agents on the basis of fuzzy models
No full textРассматривается трансформационный подход, применяемый на различных стадиях разработки интеллектуальных агентов, в основе которого находятся модели нечетких правил. Описаны трансформации, по-зволяющие сгенерировать нечеткие платформно-независимые модели внутриагентного управления и связанные с ними ролевые модели. Рассмотрены способы создания в среде Eclipse средств поддержки проблемно-ориентированного графового языка для спецификации нечетких моделей, не зависящих от используемой платформы. Значительное внимание уделяется архитектурным особенностям нечетких агентов, порождаемых в результате трансформации для перспективных платформ. Problems in programming 2011; 2: 62-78A transformational approach is considered that is applied at different phases of intelligent agents’ development, which are based on the model of underlying fuzzy rules. Transformation to generate a fuzzy platform-independent models of inter-agent control and associated role models are described. Methods of creation of facilities in Eclipse environment to support domain-specific graph-based language for the specification of fuzzy models that do not depend on used platform are considered. Considerable attention is given to architectural features of fuzzy agents that are generated as a result of transformation for advanced platforms.Problems in programming 2011; 2: 62-7
Технологічна модель процесу автоматизованого виробництва сімейств програмних систем
Get PDFHome software industry’s needs are analyzed for unified process of applied software automated production. The process forming is grounded under the paradigms of generative development and software variability – its ability to be changed, customized or configured for use in particular context – management, causing Software Family development. The process is composed with the special functions of consistent variability management over proper model environment accordingly to generative domain model constituted with the environment elements (from problem and solution spaces). Technological Model for the Process is constructed in accordance with its representation proposed.Problems in programming 2011; 1: 39-48Проаналізовано потреби вітчизняної програмної індустрії в уніфікованому процесі автоматизованого виробництва прикладних програмних систем (ПС). Обґрунтовано його побудову на засадах генеруваль-ного програмування і керування варіабельністю – здатністю ПС до зміни, налаштування чи конфігурування для застосування в певному контексті, яка обумовлює створення сімейства ПС. Процес подано композицією спеціальних функцій обґрунтованого керування варіабельністю в адекватному модельному середовищі згідно з генерувальною моделлю, визначеною у термінах його елементів (з просторів проблеми й рішень). Побудовано технологічну модель процесу, відповідну запропонованому поданню.Problems in programming 2011; 1: 39-4
Огляд глобальних служб агрегації ресурсів відкритого доступу та їхніх вимог до постачальників даних
Get PDFThe paper presents an overview of modern global aggregators of open access documents. Their statistical characteristics are analysed, such as the number of collected document descriptions and full texts, the number of data providers, and the availability of application programming interface to obtain data. The types of data providers, such as institutional repositories, open journals, publishers, scientific repositories of preprints, thematic digital libraries, and systems that are also aggregators, are analysed. We also investigate what kind of information about documents these aggregators collect and how it is presented in the user interface, as well as what information is collected about their data providers and how it is presented in the user interface. How the aggregator interacts with data providers, what data exchange protocols are supported, and how often the collected data is updated. Also, modern aggregators based on collected data corpora, using machine learning methods, bibliometrics, webometrics, altmetrics, semantometrics, provide a range of useful services to researchers. As developers of a certain number of scientific digital libraries, we are already registered as data providers in some of these systems. Therefore, we are familiar with their requirements in the practical sense. In this paper, we have attempted to summarise these requirements.Prombles in programming 2025; 1: 38-54У роботі представлено огляд сучасних глобальних агрегаторів документів відкритого доступу. Проана лізовані їхні кількісні характеристики, такі як кількість зібраних описів документів та повних текстів, кількість постачальників даних, наявність інтерфейсу прикладного програмування для отримання даних. Проаналізовано склад і види їхніх постачальників даних, такі як інституційні репозитарії, відкриті жур нали, видавництва, наукові репозитарії препринтів, тематичні електронні бібліотеки, а також системи, які в свою чергу теж є агрегаторами. Досліджено також яку саме інформацію про документи збирають ці агрегатори, як вона представлена в інтерфейсі користувача, а також яка інформація збирається про їхніх постачальників даних та яким чином вона представлена у інтерфейсі користувача. Як саме відбувається взаємодія агрегатора з постачальниками даних, які протоколи обміну даних підтримуються, з якою час тотою відбувається оновлення зібраних даних. Також сучасні агрегатори на базі зібраних корпусів даних, використовуючи методи машинного навчання, методи бібліометрії, вебометрики, альтиметрії, семанто метрії надають науковцям цілий ряд корисних сервісів. Ми як розробники низки наукових електронних бібліотек з відкритим доступом вже зареєстровані як провайдери даних у деяких з цих систем. Тому зна йомі з їхніми вимогами у практичній площині. В цій роботі ми спробували дещо узагальнити ці вимоги.Prombles in programming 2025; 1: 38-54