Обчислювальні методи верифікації темпоральних обмежень цілісності в процесі управління змінами в онтологіях
Сутність процесу управління змінами в онтологіях для інформаційних систем. Обчислювальні методи верифікації темпоральних обмежень цілісності на множині версій моделі онтології. Програмний комплекс, призначений для підтримки автоматизованої верифікації.
Подобные документы
Характеристика інструментальних засобів управління якістю проектів. Розробка алгоритмів створення АС в організаціях ядерної енергетики. Дослідження фреймів уявлення складальних і випробувальних робіт АС. Архітектура комп’ютерної системи моніторингу.
автореферат, добавлен 28.07.2014Розробка методів верифікації алгоритмів функціонування дискретних систем, що задовольняють заданим часовим обмеженням. Використання часових логік для опису властивостей алгоритмів і методів побудови моделей систем, описаних у сучасних мовах проектування.
автореферат, добавлен 29.08.2014Аналіз предметної області і постановка задачі на розробку програми. Опис алгоритму функціонування програмного забезпечення. Аналіз зовнішнього виду екранної форми головного меню автоматизованої системи управління готелем в режимі виконання програми.
курсовая работа, добавлен 24.11.2015Визначення основних понять та складових інформаційних систем менеджменту. Функції системної обробки інформації та її вплив на методи управління. Дослідження фінансово-економічного стану підприємства та його ролі на ринку телекомунікаційних послуг.
курсовая работа, добавлен 28.03.2015Суть проблеми захисту інформаційних ресурсів автоматизованих систем управління. Основні засоби захисту, що використовуються для створення механізму захисту АСУ. Шляхи підвищення ефективності захисту інформаційних систем від злочинних посягань.
статья, добавлен 20.02.2016Огляд процесу розроблення математичних моделей та інформаційної технології оброблення електрометричних даних систем електрохімзахисту. Математичні моделі розподілу захисної різниці потенціалів вздовж трубопроводу. Методи визначення пошкоджень ізоляції.
автореферат, добавлен 25.06.2014Розроблення методу проектування вимог якості до програмних систем, на всіх стадіях життєвого циклу. Формування та оцінка програмного комплексу підтримки методу проектування вимог та автоматизації процесу оцінювання якості заданих програмних систем.
автореферат, добавлен 14.08.2015Поняття економічної інформації, основні її ознаки і характерні особливості, методи класифікації. Призначення інформаційних систем в економіці, їх призначення, ознаки класифікації. Принципи побудови управління економічними інформаційними системами.
реферат, добавлен 05.04.2010Основні процеси, що відбуваються при взаємодії співробітників у колективі. Створення систем підтримки прийняття рішень, особливості програмних модулів, інформаційних технологій, визначення їх ефективності. Реалізація адаптивного інтерфейсу для керівника.
автореферат, добавлен 30.07.2014Розробка концепції моделювання механізмів процесного менеджменту інформаційних систем управління. Дослідження методів розрахунку й аналізу ефективності реалізації бізнес-процесів. Створення структури комплексу інформаційної підтримки прийняття рішень.
автореферат, добавлен 30.08.2013Забезпечення ефективності систем підтримки прийняття рішень (СППР) в ієрархічних багаторівневих структурах з використанням експертних систем. Побудова єдиного інформаційно-управляючого простору управління складними організаційно-технічними об’єктами.
автореферат, добавлен 14.09.2015Економіко-аналітичне забезпечення управління виробничо-господарською діяльністю в Україні. Розробка інформаційних систем спеціального призначення промислових підприємств та науково-виробничих об’єднань. Методи організації базових масивів цифрових даних.
статья, добавлен 09.01.2019Багатозначна модель компонентів цифрової системи на кристалі вентильного та регістрового рівнів для аналізу перехідних процесів. Програмно-апаратний комплекс MV-HES (Multi-Valued Hardware Embedded Simulator), що дозволяє верифікувати складні цифрові SoC.
автореферат, добавлен 28.09.2015- 114. Проектування багатовимірних робастних систем управління польотом з елементами штучного інтелекту
Методика навчання й адаптації нечітких регуляторів у складі комбінованої системи управління польотом з використанням еталонної моделі. Програмно-алгоритмічне забезпечення для розв’язання завдань автоматизованого проектування та головні вимоги до нього.
автореферат, добавлен 28.08.2015 Оцінювання подібності текстових документів за їх змістом у метапошукових системах. Методи та алгоритми адаптації онтології до інформаційних потреб користувачів на основі вдосконалення визначення коефіцієнтів важливості понять та зв'язків між ними.
автореферат, добавлен 30.08.2014- 116. Моделі і методи підтримки прийняття рішень в системах управління рибогосподарськими підприємствами
Розробка математичних моделей, методів і схем удосконалення технологічних процесів вирощування товарної риби з урахуванням їх багатоваріантності. Метод підтримки прийняття рішень на базі кластерного аналізу при формуванні складу полікультури риби.
автореферат, добавлен 10.08.2014 Призначення і роль інформаційних систем в економіці, періодичність їх розвитку. Інформаційна система управління ресурсами підприємництва. Засоби і методи збору, реєстрації, обробки і доведення користувачу інформації в системах організаційного управління.
контрольная работа, добавлен 12.09.2009Перші електронно-обчислювальні машини та історія їх розвитку, персональні комп'ютери майбутнього. Документальне оформлення операцій з постачальниками і підрядниками, напрямки та перспективи удосконалення даного процесу в умовах інформаційних технологій.
дипломная работа, добавлен 07.07.2013Вибір методів для формалізації кожної зі складових підсистем і розробити відповідні математичні моделі, їх обґрунтування та значення. Особливості та етапи їх програмною реалізації. Проблема автоматизації процесу створення комп’ютерно-орієнтованих систем.
автореферат, добавлен 12.08.2014Поняття, сутність та призначення корпоративних інформаційних систем (КІС). Основні особливості корпоративних ІС. Характерні закони управління, що регламентують управляючі дії на систему. Структура єдиної інформаційної системи управління корпорацією.
лекция, добавлен 22.07.2017Розробка моделі випадкових однорідних фінітних регулярних та випадкових неоднорідних фінітних регулярних інформаційних потоків. Використання нових методів наукового дослідження та підходів у реалізації інформаційної системи підтримки та прийняття рішень.
статья, добавлен 14.01.2017Класифікація моделей та методів дослідження виробничих систем у задачах автоматизованого управління програмою підприємства. Розробка інформаційних моделей опису виробничих систем для економічного моніторингу наукоємного високотехнологічного виробництва.
автореферат, добавлен 11.08.2014Проведення аналізу сучасного стану функціонування інформаційних систем спеціального значення в вирішенні завдань організаційного управління. Дослідження щодо пошуку нових наукових методів застосування сучасних інформаційних систем, комп’ютерної техніки.
статья, добавлен 29.06.2016- 124. Проектування тестів для послiдовносних функціональних схем, що реалізованi у програмованiй логіці
Розробка та загальний опис структурно-функціональних моделей послiдовних схем і удосконалення методів генерації тестів для зменшення часу верифікації цифрових систем на стадіях їхнього автоматизованого проектування й імплементації в кристалах ПЛIС.
автореферат, добавлен 25.06.2014 Вивчення методології проектування інформаційних систем. Методи проектування і їх класифікація. Характеристика ієрархічної багатоаспектної системи класифікації економічної інформації. Проектування процесів завантаження і ведення інформаційної бази.
контрольная работа, добавлен 10.09.2009