Інформаційні системи та мережі. – 2015. – №829

Permanent URI for this collectionhttps://ena.lpnu.ua/handle/ntb/31423

Вісник Національного університету "Львівська політехніка"

Статті, вміщені у збірнику наукових праць, підготовлено за результатами закінчених науково-дослідних робіт з теоретичних основ інформатики та кібернетики, обчислювальної техніки та автоматизації, систем баз даних та знань, інформаційного моделювання, розподілених інформаційних систем та мереж, управління проектами і програмами, математичного моделювання та обчислювальних методів, математичного та програмного забезпечення обчислювальних машин і систем, інформаційних технологій проектування та створення програмних продуктів, системного аналізу і теорії оптимальних рішень, структурної, прикладної, комп’ютерної та математичної лінгвістики. Для науковців, інженерно-технічних працівників, аспірантів, студентів вищих навчальних закладів.

Вісник Національного університету «Львівська політехніка». Серія: Інформаційні системи та мережі: збірник наукових праць / Міністерство освіти і науки України, Національний університет «Львівська політехніка»; голова Редакційно-видавничої ради Н. І. Чухрай. – Львів : Видавництво Львівської політехніки, 2015. – № 829. – 415 с. : іл.

Browse

Search Results

Now showing 1 - 1 of 1
  • Thumbnail Image
    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.