Обчислювальні методи верифікації темпоральних обмежень цілісності в процесі управління змінами в онтологіях
Сутність процесу управління змінами в онтологіях для інформаційних систем. Обчислювальні методи верифікації темпоральних обмежень цілісності на множині версій моделі онтології. Програмний комплекс, призначений для підтримки автоматизованої верифікації.
Подобные документы
Створення алгоритмів та методів для автоматичної верифікації формальних моделей асинхронних промислових систем. Перевірка динамічних властивостей, редукції простору пошуку, генерації множини тестових сценаріїв, що задовольняють певним критеріям покриття.
автореферат, добавлен 26.09.2015Аналіз методів забезпечення відмовостійкості цифрових систем керування з програмованою логікою. Удосконалення методу вибору відмовостійких систем керування з урахуванням вимог до надійності та обмежень на габаритно-масові й енергетичні характеристики.
автореферат, добавлен 11.08.2014Дослідження основних принципів і методології створення автоматизованої системи управління сталим розвитком об’єкта господарчої діяльності. Розробка системи багатофакторних скалярних оцінок станів підприємства з урахуванням зовнішнього середовища.
автореферат, добавлен 29.09.2014Інформаційна технологія й методи побудови функціональних тестів. Відновлення працездатності апаратно-програмних засобів у складі автоматизованих систем управління. Скорочення обчислювальної складності й довжини тестів шляхом розробки методів синтезу.
автореферат, добавлен 29.01.2016- 80. Моделі та методи автоматизації прийняття рішень з управління основною діяльністю страхової компанії
Розробка аналітичних моделей для прогнозу показників страхової діяльності. Ідентифікація параметрів моделей і перевірка їх адекватності. Аналіз алгоритмів і програм функціонування автоматизованої системи управління основною діяльністю страхової компанії.
автореферат, добавлен 25.02.2015 Розробка комп’ютерної системи автоматизованої розбудови базової онтології. Основні модулі системи та їх функціонування. Вибір програмних засобів для практичної реалізації. Застосування системи у автоматизованому режимі, онтологія предметної області.
статья, добавлен 23.02.2016Моделі відмовостійких цифрових систем керування з програмованою логікою на основі частково працездатних автоматів. Процедури отримання версій за допомогою генетичних алгоритмів. Ранговий відбір індивідуумів. Створення відмовостійких цифрових систем.
автореферат, добавлен 26.07.2014Запропонування нової інтерпретації агентної моделі для моделювання роботи РІС: мережного бездротового типу та її використання для побудови програмних систем підтримки мобільного навчання. Проведення модифікації та адаптування алгоритмів маршрутизації.
автореферат, добавлен 25.08.2015Розробка системи автоматизованого проектування маршрутів формування кристалів інформаційних систем. Методи виділення фактуальних знань та засоби синтезу моделей і алгоритмів. Технологічне проектування кристалів напівпровідникових інформаційних систем.
автореферат, добавлен 23.02.2014- 85. Модульний підхід до побудови інформаційних систем як спосіб відображення економічних бізнес-процесів
У статті досліджено модульний підхід побудови інформаційних систем на прикладі програмного комплексу "Дебет Плюс". Показано доцільність використання такого підходу в сучасних інформаційних системах під час автоматизації процесу управління підприємством.
статья, добавлен 26.11.2023 Стан використання сучасних інформаційних систем ведення управлінського обліку на підприємствах. Аналіз необхідності його ведення. Стан ринку інформаційних систем ведення обліку та управління підприємством в Україні. Використовувані програмні продукти.
статья, добавлен 28.05.2017Методи зниження трудомісткості розробки алгоритмів управління адаптивних ФПМ та скорочення технологічних втрат продукції. Розробка моделей інформаційної технології адаптивного управління в галузі автоматизованого фасування і пакування молочної продукції.
автореферат, добавлен 14.09.2015Комплекс моделей та інформаційна технологія автоматизації управління обслуговуванням розосереджених парків засобів вимірювань СТК, досягнення заданого рівня їх готовності. Склад технологічного обладнання каналів обслуговування операційних елементів.
автореферат, добавлен 27.08.2013Сучасні високопродуктивні обчислювальні системи і паралельні методи розв’язання динамічних задач із зосередженими параметрами. Паралельні неявні однокрокові методи чисельного розв’язання жорстких задач та їх реалізація в багатопроцесорних структурах.
автореферат, добавлен 29.08.2015Аналіз сучасних автоматизованих систем управління на транспорті та математичних моделей, які застосовуються в них пасажирським транспортом. Розробка математичної моделі функціонування маршруту з урахуванням впливу найбільш значущих стохастичних чинників.
автореферат, добавлен 05.11.2013Формування єдиних підходів до використання цифрових сервісів у Збройних Силах України. Розробка моделі військового управління. Впровадження архітектурного планування та модернізації інформаційних систем. Підвищення кваліфікації технічного персоналу.
статья, добавлен 15.05.2024Організаційна структура об’єкта аналізу. Розробка технічного завдання на створення автоматизованої системи управління спортивним комплексом. Вхідні та вихідні потоки інформації. Формування портфелю замовлень. Процес тестування програмних продуктів.
курсовая работа, добавлен 19.01.2014Взаємодія інформаційних систем на різних рівнях державного управління. Класифікаційна схема взаємозв’язку інформаційних систем різних видів і рівнів ієрархії. Принципи побудови, функціонування і розвитку інформаційних систем у державному управлінні.
статья, добавлен 02.12.2017Впровадження нових інформаційних технологій, що забезпечують реалізацію стратегій розвитку та сучасні тенденції інформатизації, інтелектуалізації, інтеграції і індивідуалізації навчання. Методи системного проектування на базі моделювання і оптимізації.
автореферат, добавлен 13.07.2014Математичні моделі маніпулювання квантами знань, прийняття технологічних рішень, вирішення багатокритеріальної задачі звуження їх множини в гарячештампувальному виробництві. Алгоритмізація методів прийняття рішень. Інтерактивний програмний комплекс.
автореферат, добавлен 11.08.2014- 96. Методи і моделі обробки дискретних зображень знаків в автоматизованих системах переробки інформації
Основні методи автоматизованої обробки зображень та проблеми їх сучасного стану. Аналіз результатів функціонування сучасних систем розпізнавання зображень. Розробка математичної моделі знаків планіметричних фігур, заданих у дискретних представленнях.
автореферат, добавлен 22.07.2014 Історія та етапи розвитку інформаційних систем. Особливості використання автоматизації на підприємствах. Структура та класифікація інформаційних систем. Роль автоматизації в управлінні. Умови впровадження систем управління в діяльність підприємства.
курсовая работа, добавлен 27.02.2016Проектування й створення систем управління промисловим обладнанням з використанням програмованих електронних систем управління. Вимоги до програмного забезпечення всіх систем з урахуванням специфікації задля їх безпеки відповідно до стандарту IEC 62061.
статья, добавлен 18.01.2022Уточнення поведінкових моделей програмного забезпечення окремою операцією Model-Driven Architecture та Model-Driven Development і складовою у вирішенні завдань трансформації та верифікації моделей. Створення діаграм кооперацій відповідно до шаблонів.
статья, добавлен 28.02.2016Критерії ефективності і показники якості функціонування автоматизованих систем управління. Методи одноознакового подання двійкових даних із заданим ступенем вірогідності інформації. Оцінка та корекція завадостійкості двоознакових кодових конструкцій.
автореферат, добавлен 28.09.2015