PROBLEMS IN PROGRAMMING
Not a member yet
761 research outputs found
Sort by
Об’єктно-компонентна розробка змінюваних програмних систем
No full textComplementary limitations of both Software Product Lines industrial technologies and Lavrischeva – Grishenrko object-component method concerning changeable software development are elicited such as the lack of formalisms for program assets building and ill predictability of this build features.To cope with the limitations universal Model of Software Family Variant Features is proposed expanding its tradi-tional feature model for basic development artifacts. For assets being considered as reusable Components final Changeable Software Object-Component Model is elaborated including the universal model above being adjusted as Software Variability Object-Component Model. The Algebra is depicted for the operations of both the Components configuring and data types transforming over their interaction within changeable software system.These operations are proposed to incorporate into the target process for Changeable Software Family proactive and informed Variability management being represented with its technological chart. The process proposed composes the functions for variability Planning, Implementing and Control as well as Family model/consist Evolving up to the Control results. The functions listed are performed within common information environment structured accordingly to Variant Features Model or its object-component adjustment.Trial software tool for configuring Components in the above process is probed. The usage is depicted of both the framework proposed and this tool over technological lines being implemented in Software Systems Institute of NAS of Ukraine Instrumental-technological complex for changeable software configuring from the components.Problems in programming 2016; 1: 03-16Объектно-компонентный метод (ОКМ) моделирования программных систем Лаврищевой – Грищенко развит согласованными моделями вариабельности систем и их вариантной конфигурационной сборки из компонентов, а также алгеброй операций изоморфного преобразования нерелевантных типов данных для этих компонентов. Введение в модель системы точек вариантности с их вариантами обеспечивает изменяемость систем и устойчивое взаимодействие их компонентов. Описана реализа-ция формального аппарата в автоматизированном конфигураторе систем и его апробация в инстру-ментально-технологическом комплексе ИПС НАНУ и экспериментальной фабрике программ КНУ им. Т. Шевченко.Problems in programming 2016; 1: 03-16Об'єктно-компонентний метод моделювання програмних систем Лавріщевої – Грищенка розвинуто узгодженими моделями варіабельності систем та їх варіантної конфігураційної збірки з компонентів, а також алгеброю операцій ізоморфного перетворення нерелевантних типів даних для цих компонентів. Запровадження до моделі системи точок варіантності з їх варіантами забезпечує змінюваність систем та стійку взаємодію їх компонентів. Описано реалізацію формального апарата в автоматизо-ваному конфігураторі систем та його апробацію в інструментально-технологічному комплексі ІПС НАНУ і експериментальній фабриці програм КНУ ім. Т. Шевченка.Problems in programming 2016; 1: 03-1
Комплексний підхід до побудови системи кіберзахисту критичної інформаційної інфраструктури держави
Get PDFComplex Approach for problems solving to enable Cyber Defence for State Critical Information Infrastructure Objects through best world and home practices, and also approved hardware and software and only software Cyber Defence Tools is presented. Cyber Security Guidance Intellectual Information Technology to effectively implement of this Approach is proposed. The Technology combines authors’ developments for Organizational Decisions (both expert-analytical and business) Making Support with advanced approaches for due Cyber Security Benefits and its violation Risks Management. Applying the Approach will help to improve Cyber Defence of State Critical Information Infrastructure.Problems in programming 2017; 3: 128-148Представлен комплексный подход к решению проблем обеспечения киберзащиты объектов критической информационной инфраструктуры государства с учетом лучших мировых и отечественных практик, а также апробированных программно-аппаратных и программных средств кибернетической защиты. Для эффективной реализации подхода предложена интеллектуальная информационная технология руководства кибербезопасностью. Она объединяет наработки авторов в области поддержки принятия организационных решений (экспертно-аналитических и деловых) с современными подходами к управлению выгодами от надлежащего уровня кибербезопасности и рисками ее нарушения. Применение подхода будет способствовать повышению киберзащиты критической информационной инфраструктуры государства.Problems in programming 2017; 3: 128-148Надано комплексний підхід до вирішення проблем забезпечення кіберзахисту об’єктів критичної інформаційної інфраструктури держави з урахуванням кращих світових і вітчизняних практик та апробованих програмно-апаратних і програмних засобів кібернетичного захисту. Для ефективної реалізації підходу запропоновано інтелектуальну інформаційну технологію керівництва кібербезпекою. Вона поєднує доробок авторів з підтримки прийняття організаційних рішень (експертно-аналітичних і ділових) з новітніми підходами до управління вигодами від належної кібербезпеки та ризиками її порушення. Застосування підходу сприятиме підвищенню кіберзахисту критичної інформаційної інфраструктури держави.Problems in programming 2017; 3: 128-14
Концепція інтелектуалізованого створення сервісно- орієнтованих технологій програмування в семантичному веб-середовищі
Get PDFThe approach to creation of essentially new service-oriented technologies of software development is presented. The application of ontologies for the solution to this task is considered and classes of ontologic models for application in a software metatechnology are defined. The main stages of metaprocess of service-oriented technologies construction are defined as well as their contents. The architecture of distributed environment for software development which is based on cloud technologies is suggested.Problems in programming 2017; 2: 106-116Представлен подход к созданию принципиально новых сервисно-ориентированных технологий программирования. Рассмотрено применение онтологий при решении этой задачи и определены классы онтологических моделей для применения в метатехнологии программирования. Определены основные этапы метапроцесса конструирования сервисно-ориентированных технологий программирования и их содержание. Предложена архитектура распределенной среды разработки программного обеспечения, которая базируется на облачных технологиях.Problems in programming 2017; 2: 106-116Представлений підхід до створення принципово нових сервісно-орієнтованих технологій програмування. Розглянуто застосування онтологій при вирішенні цієї задачі і визначені класи онтологічних моделей для застосовування у метатехнології програмування. Визначені основні етапи метапроцесу конструювання сервісно-орієнтованих технологій програмування та їхній зміст. Запропонована архітектура розподіленого середовища розробки програмного забезпечення, яка базується на хмарних технологіях.Problems in programming 2017; 2: 106-11
Методика застосування апарата дескриптивних логік у процесі побудови композитного сервісу на функціональному рівні
Get PDFAutomated composition is one of the most difficult web-services tasks. It has two purposes: first is to satisfy complex client’s requirements, second is to reduce a complexity of developing web-service to satisfy complex application system. Created theoretical apparatus is the basis for developing the algorithms of automated solving a semantical web-services composition task. Proposed approaches are based on using description logics. It is effective and powerful tool due to its mechanisms of judgments and the possibilities of logical inference and giving semantic meaning to descriptions.Problems in programming 2018; 1: 77-91Автоматизированная композиция – одна из самых сложных задач веб-сервисов. Вона имеет две цели: с одной стороны – удовлетворить сложные требования клиента, а с другой – снизить сложность разработки веб-сервиса, чтобы удовлетворить сложную прикладную систему. Созданный в работе теоретический аппарат является основой для разработки алгоритмов автоматизированного реше-ния задачи композиции семантических веб-сервисов. Предложенные подходы основываются на использовании аппарата дескриптивных логик, который благодаря своим механизмам суждений и возможностям логического вывода и придания описаниям семантического смысла, явля-ется эффективным и мощным инструментом.Problems in programming 2018; 1: 77-91Автоматизована композиція – найскладніша задача веб-сервісів. Вона має дві цілі: з одного боку – задовільнити складні вимоги клієнта, а з іншого – зменшити складність розробки веб-сервісу, щоб задо-вільнити складну прикладну систему. Створений у роботі теоретичний апарат є основою для розробки алгоритмів автоматизованого вирішення задачі композиції семантичних веб-сервісів. Запропоновані підходи базуються на використанні апарата дескриптивної логіки, що завдяки своїм механізмам міркувань та можливостям логічного виводу та надання описам семантичного змісту, є ефективним та поту-жним інструментом.Problems in programming 2018; 1: 77-9
Використання онтології предметної області для зняття омонімії в природномовних текстах
No full textThe article analyses the clarification of various types of homonymy that can be executed without use of semantic information, but only on the basis of syntactic rules. This analysis shows how features of the syntactic structures of legislative and academic texts allow to reduce the number of formal rules required for parsing. A minimal set of syntactic rules necessary for the automatic analysis of such texts is proposed. A method of homonymy clarification in natural language business, scientific and legal text documents is developed. Proposed method does not require the use of a large number of syntactic rules and marked-up texts. Such specificity greatly simplifies the implementation and reduces the time required for creation and markup of text corpora. This result is achieved by use of domain ontology, and by the specifics of syntactic structures of business, scientific and legal documents. In addition, we demonstrate how the use of domain ontology allows to simplify the analysis of the test documents. As opposed to other systems of automatic processing of natural language texts that use domain ontology for semantic analysis too the domain ontology is used to highlight terms in the text and further morphological information of each word in wordy terms.Problems in programming 2017; 2: 61-71Разработан метод снятия различных видов омонимии в естественно-языковых текстах деловых, научных и правовых документов. Специфика метода заключается в том, что он не требует использования большого количества синтаксических правил и корпуса размеченных текстов, что значительно упрощает его реализацию и сокращает время, необходимое для создания и разметки корпуса текстов. Этот результат достигается как за счет использования онтологии предметной области, так и за счет особенностей синтаксических структур деловых, научных и правовых документов.Problems in programming 2017; 2: 61-71Розроблено метод зняття різних видів омонімії у природномовних текстах ділових, наукових і правових документів. Специфіка методу полягає у тому, що він не вимагає використання великої кількості синтаксичних правил і корпусу розмічених текстів, що значно спрощує його реалізацію і скорочує час, необхідний для створення і розмітки корпуса текстів. Цей результат досягається як внаслідок використання онтології предметної області, так і за рахунок особливостей синтаксичних структур ділових, наукових і правових документів.Problems in programming 2017; 2: 61-7
Формалізований метод проектування застосувань в технології GPGPU
Get PDFThe method of researching systems with high-performance computing support, based on the transition systems apparatus (discrete computational model), is proposed. Two variants of synchronous product limitations of transition systems that model tha Nvidia CUDA approach are proposed. transition systems that represent two types of instructions, process of the warp instruction execution, and the process of warp scheduling were described. GPGPU application execution model was formalized and its correctness was proved. Two variants of the relevant Petri net which allowed automatic or semi-automatic detection of design errors were obtained.Problems in programming 2018; 2-3: 012-020Предложен метод исследования характеристик систем, использующих высокопроизводительные вычисления, основанный на аппарате транзиционных систем (дискретной модели вычислений). Предложено два варианта ограничений синхронного произведения транзиционных систем, моделирующих подход, использованный в архитектуре Nvidia CUDA. Описаны транзиционные системы, представляющие два типа инструкций, процесс выполнения инструкции варпа и работу планировщика варпа. Выполнена формализация модели выполнения GPGPU-приложения. Получено спецификацию вышеуказанного подхода и строго доказана его корректность. Спецификацию сведено к двум вариантам сетей Петри, которые позволяют выявлять ошибки проектирования в автоматическом или полуавтоматическом режиме.Problems in programming 2018; 2-3: 012-020Запропоновано метод дослідження характеристик систем, що використовують високопродуктивні обчислення, який ґрунтується на апараті транзиційних систем (дискретної моделі обчислень). Запропоновано два варіанти обмежень синхронного добутку цих транзиційних систем, що моделюють підхід, використаний в архітектурі Nvidia CUDA. Описано транзиційні системи, що представляють два типи інструкцій, процес виконання інструкції варпом та роботу планувальника варпу. Виконано формалізацію моделі виконання GPGPU-застосування. Отримано специфікацію вищевказаного підходу та строго доведено його коректність. Специфікацію зведено до двох варіантів мереж Петрі, які дозволяють виявляти помилки проектування в автоматичному або напівавтоматичному режимі.Problems in programming 2018; 2-3: 012-02
Створення і дослідження паралельних схем алгоритму Джонсона в технології GPGPU
Get PDFJohnson’s all pairs shortest path algorithm application in an edge weighted, directed graph is considered. Its formalization in terms of Glushkov’s modified systems of algorithmic algebras was made. The expediency of using GPGPU technology to accelerate the algorithm is proved. A number of schemas of parallel algorithm optimized for using in GPGPU were obtained. Suggested approach to the implementation of the schemes obtained using computing architecture NVIDIA CUDA. An experimental study of improved performance by using GPU for computations was made.Problems in programming 2016; 2-3: 105-112Предложено применение алгоритма Джонсона для нахождения кратчайших путей между всеми парами вершин взвешенного ориентированного графа. Выполнена его формализация в терминах модифицированных систем алгоритмических алгебр Глушкова. Обоснована целесообразность использования технологии GPGPU для ускорения работы алгоритма. Получен ряд схем параллельной версии алгоритма, оптимизированной под использование в технологии GPGPU. Предложено подходы к реализации полученных схем с использованием архитектуры вычислений NVIDIA CUDA. Выполнено экспериментальное исследование повышения производительности при проведении вычислений на видеоадаптере.Problems in programming 2016; 2-3: 105-112Запропоновано застосування алгоритму Джонсона для знаходження найкоротших шляхів між усіма парами вершин зваженого орієнтованого графа. Виконано його формалізацію у термінах модифікованих систем алгоритмічних алгебр Глушкова. Обґрунтовано доцільність використання технології GPGPU для пришвидшення роботи алгоритму. Отримано низку схем паралельної версії алгоритму, оптимізовану для використання в технології GPGPU. Запропоновано підходи до реалізації отриманих схем з використанням архітектури обчислень NVIDIA CUDA. Виконано експериментальне дослідження підвищення продуктивності при проведенні обчислень на відеоадаптері.Problems in programming 2016; 2-3: 105-11
Функціональні можливості та статистика використання наукової електронної бібліотеки періодичних видань НАН України
No full textBrief overview of the functionality of the Scientific Digital Library of periodicals of the National Academy of Sciences of Ukraine is presented, as well as its usage statistics. The library was created in the Institute of Software Systems of the National Academy of Sciences of Ukraine as one of the projects under the Informatization Program of the NAS. The digital library is deployed in the Vernadsky National Library of Ukraine and it is supported and accompanied by the Institute of Software Systems of the National Academy of Sciences of Ukraine. Statistics are collected as of January 2017.Problems in programming 2017; 3: 68-95Дается краткий обзор функциональных возможностей Научной электронной библиотеки периодических изданий НАН Украины, созданной в Институте программных систем НАН Украины при выполнении одного из заданий Программы информатизации НАН Украины, а также статистика ее использования. Электронная библиотека установлена в Национальной библиотеке Украины им. В.И. Вернадского, поддерживается и сопровождается Институтом программных систем НАН Украины. Статистика приводится по состоянию на январь 2017 года.Problems in programming 2017; 3: 68-95Дається стислий огляд функціональних можливостей Наукової електронної бібліотеки періодичних видань НАН України, створеної в Інституті програмних систем НАН України при виконанні одного із завдань Програми інформатизації НАН України, а також статистика її використання. Електронна бібліотека встановлена в Національній бібліотеці України ім. В.І. Вернадського, підтримується і супроводжується Інститутом програмних систем НАН України. Статистика приводиться за станом на січень 2017 року.Problems in programming 2017; 3: 68-9
Впровадження сучасних інформаційних технологій в наукових дослідженнях НАН України
Get PDFThe main results of execution of Program of Informatization of Ukrainian National Academy of Sciences in the areas of creating telecommunication infrastructure, implementing of cloud technologies, integration of scientific and information resources, developing software for supporting scientific research, Grid calculations, managing scientific and economic activity are reported. Problems in programming 2017; 3: 03-18Приведены основные результаты выполнения Программы информатизации НАН Украины по направлениям развития телекоммуникационной инфраструктуры и облачных технологий, интеграции научно-информационных ресурсов, средств поддержки научных исследований и Грид-технологий, средств поддержки научно-организационной и хозяйственной деятельности.Problems in programming 2017; 3: 03-18Наведені основні результати виконання Програми інформатизації НАН України за напрямками розвитку телекомунікаційної інфраструктури та хмарних технологій, інтеграції науково-інформаційних ресурсів, засобів підтримки наукових досліджень і Грід-технологій, засобів підтримки науково-організаційної та господарської діяльності. Problems in programming 2017; 3: 03-1
Прогнозування навантаження та планування розкладу роботи операторів контактного центру
Get PDFA non-classical method for contact center load forecasting as well as methods (Erlang C, imitation modelling) to count the necessary amount of operators have been applied. The task to predict the volume of contact center incoming calls for a certain month and also to calculate the necessary number of operators have been set and solved. Conclusions about the model’s forecast quality and precision have been presented.Problems in programming 2016; 2-3: 227-236Применен неклассический метод для прогнозирования нагрузки контактного центра и методы (Erlang C, имитационный метод), для расчета необходимого количества операторов. В работе поставлена и решена задача: спрогнозировать количество входящих обращений в контакт-центр на определенный месяц и рассчитать количество операторов, которого будет достаточно для обслуживания всех прогнозируемых входящих обращений с заданным уровнем обслуживания. Сделаны выводы относительно качества и точности прогноза данной модели.Problems in programming 2016; 2-3: 227-236Застосовано некласичний метод для прогнозування навантаження контактного центру та методи (Erlang C, імітаційний метод) для обрахунку необхідної кількості операторів. В роботі поставлено і розв’язано задачу: спрогнозувати кількість вхідних звернень до контакт-центру на визначений місяць та обчислити потрібну кількість операторів, якої буде достатньо для обслуговування усіх прогнозованих вхідних звернень із заданим рівнем обслуговування. Зроблено висновки щодо якості та точності прогнозу побудованої моделі.Problems in programming 2016; 2-3: 227-23