Browsing by Author "Буров, Є. В."
Now showing 1 - 20 of 29
- Results Per Page
- Sort Options
Item Автоматизація аналізу функціональної структури розподіленої інформаційної системи(Видавництво Національного університету “Львівська політехніка”) Буров, Є. В.; НУ “Львівська політехніка”The functional structure of distributed information system remains an important media for both system designer and owner to clarify and coordinate their respective visions and positions. Existing CASE-tools are oriented mostly to reflect a logical component of functional structure, not physical one dealing with parameters and evaluations. This paper propose a formal specification and graphical notation to represent not only logical, but also physical functional aspects.Item Автоматизація проектування системи керування доступом у розподіленій інформаційній системі(Видавництво Національного університету "Львівська політехніка", 2003) Буров, Є. В.This paper proposes formal specifications for correct and business-oriented access rights design in complex corporative information system. Запропоновано формальні специфікації для проектування системи прав доступу в розподіленій інформаційній системі.Item Архітектура інструментального комплексу для моделювання інтелектуальних систем(Видавництво Львівської політехніки, 2010) Буров, Є. В.Наведено опис архітектури інструментального комплексу для моделювання керованих моделями інтелектуальних систем. Визначено структури даних моделі, головні операції інструментальної системи, зокрема ініціалізація, перевірка релевантності та пошук моделі. Детально розглянуто архітектуру взаємодії моделей. Paper describes architecture, data structures and basic operations of instrumental modeling tool for building model-driven intellectual applications. Based on modeling system use case analysis, detailed description of model metadata structure, relevance checking, model initialisation along with model interaction are provided.Item Використання контекстних графів для підтримки прийняття рішень у сфері працевлаштування(Видавництво Львівської політехніки, 2018-02 26) Завущак, І. І.; Буров, Є. В.; Zavushchak, I.; Burov, Y.; Національний університет “Львівська політехніка”; Lviv Polytechnic National UniversityВрахування поточного контексту є важливою вимогою для систем, що ґрунтуються на знаннях. У статті розглянуто застосування контекстно-залежної підтримки прийняття рішень у сфері працевлаштування. Дослідження засноване на аналізі бізнеспроцесів у сфері зайнятості, в результаті яких побудовано онтологію. Далі порівнюються моделі подання контексту та обираються моделі на основі онтології та графів для опрацювання контекстних знань. Удосконалено JDL модель із вказанням операцій опрацювання контексту. Для представлення контекстних знань області працевлаштування використано контекстні графи. Запропоновано операцію поглиблення контексту як частину процесу прийняття рішення. Запропоновано модифікований метод аналітичної ієрархії для обґрунтування рішень щодо вибору практик.Item Використання моделей для керування доступом до ресурсів інтелектуальної інформаційної системи(Видавництво Львівської політехніки, 2010) Буров, Є. В.; Гульова, А. В.This paper deals with problems of the project portfolio management, main goals of portfolio management, targets and tools. Also this paper describes the main principles of portfolio management and their main using combinations, which are more preferred in portfolio management.Розглянута проблематика організації та підтримання управління в організаціях, які реалізують свою діяльність у вигляді проектів, а також основні підходи до управ- ління портфелем проектів і найчастіше використовувані комбінації цих підходів.Item Використання технологій експертних систем для створення інтелектуальної системи управління правами доступу до інформаційних ресурсів(Видавництво Львівської політехніки, 2011) Сєдушев, О. Ю.; Буров, Є. В.Показано інтеграцію моделі управління правами доступу RBAC із технологіями експертних систем для побудови інтелектуальної системи управління правами доступу. Як результат, новостворена система має деякі переваги серед аналогів та підтримує автоматизованість завдяки продукційним правилам бази знань та принципам самонавчання. In this paper integration of RBAC (Role-based access control) mechanism with an expert system technology for building modern intellectual access control systems is presented. As a result, intellectual access control system is created which if compared to existing systems proposes additionally some automatization based on rules in knowledge base and self-teaching.Item Застосування моделей процесорів та пристроїв для проектування інтелектуальних інформаційних систем(Видавництво Національного університету "Львівська політехніка", 2008) Буров, Є. В.Запропоновано підхід до моделювання та проектування інтелектуальних інформаційних систем. Модель системи будується на трьох ієрархічних рівнях –бізнес-процесів, сервісів та рівні процесорів та пристроїв. Детально розглянута задача моделювання процесорів та пристроїв. An approach for modeling intelectual information systems is proposed. The system is modeled on three hierarchical levels – business processes, system services and processors. The problem of modeling processors and devices within delineated approach is presented with more details.Item Застосування онтологічних моделей для побудови програмних систем(Видавництво Львівської політехніки, 2012) Буров, Є. В.Розглянуто математичну формалізацію програмної системи, побудованої на основі онтологічних моделей за допомогою апарату алгебраїчної теорії типів. Розроблено формальне подання моделей та системи їх опрацювання. In this paper mathematical formalization for software system based on ontological models is proposed. Formalization is built using algebraic types system approach. Developed formal representation of models and modeling system.Item Застосування формальних моделей та методів у видобуванні та виявленні знань зі сховищ даних(Видавництво Національного університету “Львівська політехніка”) Катренко, С. А.; Буров, Є. В.; НУ “Львівська політехніка”In this article the formal models and data mining methods are analysed with proposal of models classification. This classification allows use of formal models in the information systems and in the decision support systems design process. These models are useful in case of large data volumes.Item Керування проектами з врахуванням ризиків(Видавництво Національного університету “Львівська політехніка”, 2005-03-01) Буров, Є. В.; Кочіашвілі, О. О.; Національний університет “Львівська політехніка”Розглянуто задачу керування проектами з врахуванням ризиків. Запропоновано математичну модель для прогнозування ризиків на підставі досвіду.Item Методи видобування даних з баз нечітких знань(Національний університет “Львівська політехніка”, 2014) Сєдушев, О. Ю.; Буров, Є. В.Досліджено нечіткі методи видобування даних. Акцент при цьому робиться на інтелектуальному аналізі баз нечітких знань та задачах, які при цьому виникають. Описано найпопулярніші сьогодні методи, їхні переваги та отримані за їх допомогою результати. Наведено узагальнені варіанти використання таких методів. The paper aims to study the fuzzy data mining techniques. The emphasis is put on an intelligent analysis of fuzzy knowledge bases and problems that arise. Most popular methods are described, their advantages and results obtained with their assistance are highlighted. Generalized use cases of such methods are given.Item Методи опрацювання контексту в інтелектуальних системах(Видавництво Львівської політехніки, 2017-03-28) Завущак, І. І.; Буров, Є. В.; Національний університет “Львівська політехніка”Для управління процесом набуття знань та ефективного їх використання в інтелектуальних системах використовують контекстозалежні методи. Проаналізовано різні визначення контексту та узагальнено його властивості для системи з агентом, що приймає рішення. Наведено порівняння формальних моделей подання та опрацювання контекстозалежних даних, а також методів логічного виведення та розумування в інтелектуальних системах, що враховують контекст. Проаналізовано використання контексту в системах із ситуаційною обізнаністю. У роботі визначено головні завдання та нерозв’язані задачі контекстозалежного комп’ютингу в інтелектуальних системах.Item Методи подання та опрацювання знань у системах зі ситуаційною обізнаністю(Видавництво Національного університету «Львівська політехніка», 2015) Микіч, Х. І.; Буров, Є. В.Розглянуто методи подання та опрацювання знань у системах зі ситуаційною обізнаністю. Наведено визначення та математичну формалізацію понять ситуації та ситуаційної обізнаності. Також проаналізовано комп’ютерний процес отримання ситуаційної обізнаності з використанням онтологій. Описано базову онтологію та архітектурні фреймворки для систем онтологічного моделювання. In the article, the methods of representation and processing of knowledge in systems with situational awareness are described. The definitions of concepts and mathematical formalization of situation and situational awareness are discussed. Also, the process of getting situational awareness using ontologies is analyzed. We describe the core ontologies and ontological frameworks for modeling systems with situational awareness.Item Програмні системи на базі онтологічних моделей задач(Видавництво Львівської політехніки, 2015) Буров, Є. В.; Пасічник, В. В.Розглянуто застосування онтологічних моделей задач для побудови програмних систем, здатних адаптуватися до зміни стану предметної області. Розроблено математичну формалізацію подання та опрацювання знань у системі, архітектуру та принципи функціонування програмної системи на базі онтологічних моделей. Розглянуто методи використання онтологічних моделей для розв’язання практичних задач. Проаналізовано переваги застосування онтологічних моделей порівняно з традиційним підходом до побудови програмних систем та розроблено формули для оцінювання їх переваг. Розроблено програмний інструментальний засіб для побудови та моделювання програмних систем на основі онтологічних моделей задач. The increased mobility of business processes today relies on extensive use of software and in turn puts high demands on the quality of software and its ability to be quickly and accurately adapted to the changes in the business environment. A promising approach to solving the problem of adapting the software to changes in its operational environment is the use of ontological modeling. In the article the theoretical principles of knowledge representation and processing in software based on ontological task models were developed. A formal model of knowledge representation was built. The method of using ontological task models for automated testing of nightly software builds was developed. This method also demonstrates the organization of models interaction in the multistage business process of automated testing.Item Проектування інтелектуальної інформаційної мережі з використанням сервісно-орієнтованого підходу та моделей виконання запитів(Видавництво Національного університету "Львівська політехніка", 2008) Буров, Є. В.Розглянуто та запропоновано структуру і принципи роботи інтелектуального сервісу, керованого моделями. Формальна специфікація сервісу уможливлює адаптацію параметрів інформаційної системи до зміни вимог бізнес-процесів. General framework and architecture of intellectual model-driven service is proposed. Formal specification of intellectual service is developed for intellectual information networks design.Item Система моделювання інтелектуальної мережі бізнес-процесів(Видавництво Національного університету "Львівська політехніка", 2008) Буров, Є. В.Запропоновано формальну специфікацію інтелектуальної системи моделювання комплексу бізнес-процесів підприємства з використанням моделей. Запропоновано ієрархічний підхід до впровадження інтелектуальних функцій до системи моделювання. Cистема моделювання призначена для використання для проектування складних інформаційних систем та керування ними.Formal specification for modeling of network of intellectual business processes is proposed. Modeling system includes multi-level hierarchical decision taking nodes. This system can be used for design and overall system control and adaptation to changing business conditionsItem Система формальних специфікацій для конфігурування розподіленої інформаційної системи(Видавництво Національного університету «Львівська політехніка», 2004) Буров, Є. В.Запропоновано формальні специфікації для автоматизації проектування та конфігурування розподіленої інформаційної системи. This paper proposes formai spécifications for automatic design and configuration of complex corporative information system.Item Система формальних специфікацій для проектування розподілених інформаційних систем(Видавництво Національного університету “Львівська політехніка”) Буров, Є. В.; НУ “Львівська політехніка”Actual accélération of business processes modification présents new challenges to information System automation design tools and concepts. This paper propose an methodology and formai spécification System to assist information design process during complété life-cycle with spécial emphasis on physical design stage.Item Система формальних специфікацій мережі сервісів та процесорів для проектування розподілених інформаційних систем(Видавництво Національного університету "Львівська політехніка", 2001) Буров, Є. В.Actual trends in information technologies area present new challenges to system automation design tools and concepts. This paper propose an methodology and formal specification system to assist information design process on services and processors structure definition design stage. Запропоновано систему формальних специфікацій для автоматизації проектування розподілених інформаційних систем на стадії проектування мережі сервісів та процесорів Ця система може бути покладена в основу програмних засобів автоматизації проектування.Item Система ідентифікації проблемних ситуацій тестування програмного забезпечення(Видавництво Львівської політехніки, 2019-02-26) Буров, Є. В.; Микіч, Х. І.; Верес, О. М.; Литвин, В. В.; Burov, Eugene; Mykich, Khrystyna; Veres, Oleh; Lytvyn, Vasyl; Національний університет “Львівська політехніка”; Lviv Polytechnic National UniversityДосліджено та розроблено методи та засоби ідентифікації проблемних ситуацій на базі онтологій із використанням механізмів логічного виведення, які застосовано в інтелектуальних системах підтримки прийняття рішень для завдань тестування програмного забезпечення. Розглянуто актуальну проблему тестування програмного забезпечення із використанням онтологічного моделювання для своєчасного виявлення помилок та поліпшення якості розроблюваного програмного продукту. Використання онтологічного моделювання для подання та ідентифікації ситуацій створює додаткові можливості для розв’язання задачі ідентифікації та обмеження. Перевагою є здатність застосування логічного виведення та використання аксіом під час міркувань про ситуації. Це забезпечує перспективу розроблення методів ідентифікації ситуацій, що ґрунтуються на логічному виведенні на основі інформації про поточний стан предметної області та знань про цю область. Використана модель завдань дає змогу не лише автоматизувати виконання деяких простих завдань, але й на основі наявних знань про ситуації здійснювати логічне міркування у системах тестування. Онтологічне подання знань про предметну область дало змогу формалізувати знання про проблемні ситуації, що виникають у проєкті, а застосування розроблених методів ідентифікації ситуацій у системі забезпечило вчасне виявлення загрозливих ситуацій та формування рекомендацій щодо їх уникнення. Всі ці фактори сприяють поліпшенню якості програмного продукту під час його розроблення. У роботі подано онтологію галузі тестування програмного забезпечення, а також наведено алгоритм роботи системи та здійснено моделювання на базі UML. Розроблено архітектуру системи ідентифікації ситуацій та програмний комплекс для аналізу і моделювання проблемних ситуацій на прикладі систем підтримки прийняття рішень галузі тестування, центральним компонентом яких є інструментальний засіб для онтологічного моделювання – Protégé. Для розширення функціональних можливостей редактора Protégé використано два плагіни, за допомогою яких здійснено моделювання за допомогою мов SWRL, SQWRL. Результати роботи доцільно використовувати для розв’язування задач виявлення критичних ситуацій під час розроблення та тестування програмного забезпечення, повторного використання інформації в базах знань організацій з розроблення програмного забезпечення, що поліпшить якість створюваного програмного забезпечення.