Обчислювальні методи верифікації темпоральних обмежень цілісності в процесі управління змінами в онтологіях
Сутність процесу управління змінами в онтологіях для інформаційних систем. Обчислювальні методи верифікації темпоральних обмежень цілісності на множині версій моделі онтології. Програмний комплекс, призначений для підтримки автоматизованої верифікації.
Подобные документы
Cтворення математичного і алгоритмічного забезпечення завдань проектування автоматизованої системи управління виробництвами з електроімпульсними процесами. Використати CASE технології для проектування. Інструментальні засоби підтримки прийняття рішень.
автореферат, добавлен 31.01.2014Управління діяльністю підприємств зв'язку шляхом розробки нових принципів побудови ієрархічних автоматизованих систем управління діяльністю виробничих систем. Інформаційна технологія підготовки даних для оптимізації управління розробкою АСУ - зв'язок.
автореферат, добавлен 14.09.2014Розробка та характеристика інформаційної моделі процесу комп’ютерного дослідження системи управління, як об’єкта автоматизації. Дослідження моделі багатоклітьового дротового прокатного стану і його системи управління та системи зв'язаних між собою клітей.
автореферат, добавлен 07.08.2014Аналіз існуючих засобів формалізації у вигляді булевих формул. Ознайомлення з процесом розробки програмної системи моделювання, включаючи структурну, алгоритмічну організацію та інформаційну технологію. Розгляд верифікації отриманих результатів.
автореферат, добавлен 22.06.2014Побудова формальних специфікацій за неформальними вимогами генерація набору тестів, синтез архітектурної моделі і перевірка властивостей. Прототипи програм верифікації формальних специфікацій і символьної генерації в системі інсерційного програмування.
автореферат, добавлен 30.07.2014- 56. Моделі, методи та технології оцінювання якості процесу освіти на основі інформаційних показників
Огляд математичної моделі й інформаційної технології кількісного оцінювання якості процесу освіти з використанням інформаційних показників ступеня взаємозв'язку між навчальними дисциплінами. Методи й алгоритми групування множини дисциплін на певні блоки.
автореферат, добавлен 07.08.2014 Побудова моделі якості програмних систем оброблення даних на базі метрик надійності. Роль програмного забезпечення у виконанні функцій системи. Математичні моделі прогнозування дефектів та графічний комплекс з використанням апарату байєсівських мереж.
автореферат, добавлен 30.07.2014У статті представлено результати розробки концепції та засобів автоматизованої системи управління закупівлями електронних компонентів для великого підприємства, що підтримує різні методи організації взаємодії між постачальниками та підприємством.
статья, добавлен 22.04.2024Опис, специфіка методів і засобів, що застосовуються в автоматизованих системах обробки інформації та управління прийняття рішень. Характеристика, особливості та аналіз чинних автоматизованих систем управління навчальним процесом і тенденцій їх розвитку.
автореферат, добавлен 29.01.2016Розвиток елементів конструктивної теорії і проблемно-орієнтованого інструментарію моделювання гнучких виробничих систем (ГВС) зборки. Існуючі моделі, методи та алгоритми автоматизованого управління ГВС зборки. Моделі підготовки та прийняття рішень.
автореферат, добавлен 28.07.2014Підходи до моделювання технологічних процесів, етапи створення математичних моделей і комп'ютерне моделювання технологічних процесів. Стрибок в розробці моделей, їх верифікації, в створенні і використанні модельно-обгрунтованих методів дослідження.
статья, добавлен 05.02.2019Визначення поняття біометрії - методів автоматизованої ідентифікації, заснованих на фізіологічних чи поведінкових характеристиках. Дослідження процесу застосування покрокових криптографічних перетворень шарів спеціального програмного забезпечення.
статья, добавлен 20.02.2016Розроблення і впровадження геоінформаційних аналітичних систем електрохімзахисту, оперативного управління технологічними процесами підприємств міського господарства та оптимізації планових режимів для підвищення якості та ефективності їх функціонування.
автореферат, добавлен 25.07.2014Вибір та обґрунтування СУБД для реалізації бази даних. Розробка структури інтерфейсу користувача. Аналіз обмежень цілісності в БД і розробка методів їх підтримання. Розробка даталогічної моделі, її нормалізація. Опис основних об’єктів предметної області.
курсовая работа, добавлен 16.02.2014Особливості діяльності підприємств готельного бізнесу, загальні особливості ІТ-готелів та основні базові принципи створення автоматизованих інформаційних систем управління готелями. Шляхи побудови автоматизованих інформаційних систем управління готелями.
статья, добавлен 15.03.2018Автоматизація систем управління військового призначення. Побудова систем оперативної підтримки дій військового призначення на базі новітніх інформаційних технологій. Розподіл функцій та взаємодія між людиною та системою оперативної підтримки дій.
статья, добавлен 29.06.2016Аналіз засобів розробки для реалізації програмного комплексу для автоматизації діяльності. Методи, моделі та інформаційні технології з використання нейронних мереж при реалізації машинного навчання автоматичних систем управління листоправильних машин.
статья, добавлен 21.03.2024Розробка інформаційних, математичних моделей і методів автоматизованого управління розвитком регіонального аграрного університетського центру. Характеристика основних методів моделювання процесів управління ресурсами в освітніх мережах та комплексах.
автореферат, добавлен 27.08.2015Аналіз засобів управління, навчання й консультування користувачів. Засоби придбання знань для автоматизованої інформаційної системи та апарат формальних перетворень структурних схем алгоритмічних алгебр. Стратегії для експертної системи у вигляді графа.
автореферат, добавлен 14.10.2015Дослідження класу некомутативних гіперкомплексних числових систем (ГЧС) четвертої вимірності, які побудовано за допомогою некомутативної процедури подвоєння Грасмана-Кліфорда систем другої вимірності. Методи обчислення таких алгебраїчних характеристик.
статья, добавлен 30.08.2016Аналіз відомих методів і апаратно-програмних засобів підвищення продуктивності обчислювальних систем. Розробка нових методів паралельних обчислень спеціальних функцій, рішення систем рівнянь для навігаційних задач. Обробка навігаційної інформації.
автореферат, добавлен 29.09.2015Визначено поведінку систем управління інформаційною безпекою через діяльність зі збереження конфіденційності, цілісності та доступності інформації в організаціях. Описано її з боку структурних елементів послідовністю дій стосовно поводження з ризиками.
статья, добавлен 04.07.2022Розробка нових методів організаційної та інформаційної підтримки процесів проектування техніки як теоретико-прикладного базису створення системи підтримки прийняття рішень інтегрованої АСУ проектною організацією, орієнтованої на підвищення ефективності.
автореферат, добавлен 29.01.2016- 74. Інформаційні системи як складник управління підприємствами готельного бізнесу в умовах конкуренції
Розглянуто сутність та класифікацію сучасних інформаційних систем, які використовуються в управлінні підприємствами готельного бізнесу. Вивчено особливості використання системи PMS. Необхідність застосування інформаційних систем як інструменту управління.
статья, добавлен 10.05.2021 Розробка математичної моделі вирішення задачі визначення непродуктивного часу в різних виробничих ситуаціях. Програмне забезпечення для реалізації моделей функціональних задач оперативно-диспетчерського управління бізнес-процесами виробничої дільниці.
автореферат, добавлен 26.08.2015