Обчислювальні методи верифікації темпоральних обмежень цілісності в процесі управління змінами в онтологіях
Сутність процесу управління змінами в онтологіях для інформаційних систем. Обчислювальні методи верифікації темпоральних обмежень цілісності на множині версій моделі онтології. Програмний комплекс, призначений для підтримки автоматизованої верифікації.
Подобные документы
Розробка методів, моделей та засобів підвищення ефективності управління машинобудівними підприємствами на основі автоматизованої інформаційної системи конструкторсько-технологічної підготовки виробництва у матричних інформаційних технологіях управління.
автореферат, добавлен 26.07.2014Розробка автоматизованої системи підтримки прийняття рішень керамічного виробництва, основаної на інтеграції технологій штучного інтелекту. Методи імітаційного моделювання фізико-хімічних процесів керамічної галузі з різними стратегіями управління.
автореферат, добавлен 27.08.2013Розробка моделей, інформаційних технологій оптимізації систем управління навчальним процесом в вищих закладах освіти. Моделі оптимізації складу та послідовності навчання при переході на кредитно-модульну систему. Аналіз структур інформаційних потоків.
автореферат, добавлен 25.02.2015Поняття і застосування інформаційних технологій. Етапи розробки технологічних процесів. Локальні обчислювальні та глобальні мережі. Вивчення сучасних інформаційних технологій та їх види. Дослідження тенденцій розвитку інформаційних і програмних ресурсів.
реферат, добавлен 17.10.2014Методи підвищення надійності інформаційних систем, раціональний вибір параметрів для оновлення програмних засобів. Оцінювання надійності ІС в умовах прояву власних дефектів і зовнішніх впливів. Впровадження моделі в ІС критичної і бізнес-критичної галузі.
автореферат, добавлен 28.08.2014Системний аналіз багаторівневої архітектури програмного забезпечення автоматизованих систем управління. Розробка методу порівняння моделей технологічних платформ. Побудова бізнес-архітектури експериментальної моделі в області білінгу для телекомунікацій.
автореферат, добавлен 28.07.2014Особливість формалізації процесу керівництва розвитком промислового підприємства з урахуванням невизначеності й ризику. Характеристика удосконалення принципів і методології синтезу інтегрованої автоматизованої системи управління піднесенням організації.
автореферат, добавлен 26.08.2015Аналіз різних інтерфейсів взаємодії користувача і автоматизованих інформаційних систем, інтерпретація абстрактної схеми управління Глушкова для людино-машинної системи. Способи планування рішення задач користувачем, його навчання й консультування.
автореферат, добавлен 29.09.2014Аналіз відомих методів контролю та автоматичного виправлення типових помилок користувача, а також засобів реалізації методів у рамках "штатних" можливостей сучасних систем управління базами даних. Розробка засобів програмної реалізації моделей і методів.
автореферат, добавлен 28.08.2014Аналіз створення комплексної автоматизованої системи управління життєдіяльністю регіону (ЖДР). Створення регіональних електронних систем управління. Основні функції моделі ЖДР, які доцільні у процесі підготовки й прийняття рішень керівництвом регіону.
статья, добавлен 25.12.2016Аналіз сучасних медичних інформаційних систем, будова конфігурації інформаційної системи медичної установи. Методи і засоби проектування інформаційних систем для підтримки діяльності лікувально-профілактичних установ в частині медичного документообігу.
автореферат, добавлен 26.08.2015Дослідження процесу передачі інформації у мережі АСУ МВС України. Вирішення актуальної науково-технічної задачі розробки моделей і методів автоматизованого управління вхідним навантаженням мережних систем. Здійснення контролю поточної топології.
автореферат, добавлен 29.07.2014Запропонування нового способу ЕЕО копіювально-прошивальними верстатами устаткування шляхом розробки математичного і програмного забезпечення автоматизованої та комп'ютеризованої системи управління у вигляді інформаційних моделей і алгоритмів управління.
автореферат, добавлен 20.09.2010Розробка алгоритмів автоматизованих експертних систем управління та інформаційного забезпечення процесу пайки п’єзокераміки з металом для підвищення ефективності управління і рівня п’єзоактивності та повторюваності параметрів об‘єктів, що виготовляються.
автореферат, добавлен 28.07.2014Побудова моделі централізації, управління ресурсами розподілених систем і визначення оптимального розподілу витрат згідно з даними моделями. Оцінка кордонів використання різного ступеня децентралізації управління залежно від нестабільності використання.
автореферат, добавлен 07.08.2014Засоби підвищення продуктивності обчислювальних систем. Методи паралельних обчислень спеціальних функцій та систем рівнянь для навігаційних задач. Розробка високопродуктивних обчислювальних систем для обробки навігаційної інформації з високою точністю.
автореферат, добавлен 25.02.2015Побудова діалогових моделей здобуття, обробки знань та надання адаптації інформаційних систем до когнітивних якостей користувача. Розробка програмного забезпечення адаптивних комп’ютерних технологій, орієнтованих на комунікативні довідкові процеси.
автореферат, добавлен 28.08.2015Існуючі моделі впливів на працездатність елементів розподілених інформаційно-управляючих та інформаційних систем, методи і засоби оцінювання й забезпечення їхньої живучості. Нові моделі впливів екстремальних факторів різної природи на елементи РІС.
автореферат, добавлен 14.09.2014У науковій статті авторами представлено результати розробки автоматизованої системи контролю і управління доступом у серверні приміщення, що реалізує різні методи контролю і управління доступом та забезпечує можливості регулювання рівня безпеки.
статья, добавлен 20.04.2024Аналіз проблеми створення інтегрованих автоматизованих систем управління (ІАСУ). Основи для переходу до моделі відкритої мережі. Основні умови існування стаціонарного режиму роботи системи. Залежність продуктивності колективу від обмежень на час.
доклад, добавлен 29.07.2017Підвищення продуктивності роботи розподілених баз даних комп’ютерних інформаційних систем за рахунок оптимізації розподілу даних по вузлах комп’ютерної мережі. Обчислювальні експерименти, визначення параметрів алгоритму, субоптимальний розподіл даних.
автореферат, добавлен 11.08.2014Особливості організації виробництва авіаційного профілю на базі використання експертних систем, призначених для підтримки рішень управлінського персоналу підприємства. Формалізація й алгоритмізація процесу ухвалення рішень щодо управління виробництвом.
автореферат, добавлен 03.09.2013Аналіз завдань організаційного управління навчальних закладів (НЗ), визначення інструментів і методів оцінки рівня якості діяльності НЗ. Моделі інформаційних процесів для управління якістю діяльності НЗ та його оцінювання на основі CALS–технології.
автореферат, добавлен 28.08.2015Аналіз методів і інформаційних технологій оцінки й забезпечення відмовостійкості систем обробки інформації літальних апаратів. Розробка програмно-технічні рішень інформаційної технології підтримки вибору СОІ при використанні різних методик оцінки.
автореферат, добавлен 06.11.2013Розробка методів оперативного та інтелектуального аналізу даних, що є складовими систем підтримки прийняття управлінських рішень на основі реєстру сільськогосподарських тварин та реєстру зернових культур. Основні моделі та методи вирішення завдань.
автореферат, добавлен 27.08.2015