Обчислювальні методи верифікації темпоральних обмежень цілісності в процесі управління змінами в онтологіях
Сутність процесу управління змінами в онтологіях для інформаційних систем. Обчислювальні методи верифікації темпоральних обмежень цілісності на множині версій моделі онтології. Програмний комплекс, призначений для підтримки автоматизованої верифікації.
Подобные документы
Відомі атрибути, метрики, методи та інструментальні засоби автоматизованої верифікації та сертифікації програмного забезпечення. Використання семантичних атрибутів для верифікації та експертизи програмного забезпечення інформаційно-управляючих систем.
автореферат, добавлен 29.01.2016Аналіз методів верифікації Web-контенту і можливості застосування онтологічної моделі подання знань. Доведення достовірності автоматичного гібридного виведення знань. Розробка методів семантичної верифікації знань і інтерпретації верифікаційних елементів.
автореферат, добавлен 29.07.2015Підвищення надійності програмного забезпечення систем управління шляхом розробки семантичних атрибутів, метрик, моделей, методів, заснованих на аналізі семантичних інваріантів. Впровадження їх у методиках та засобах підтримки верифікації та експертизи.
автореферат, добавлен 28.09.2014Модель верифікації баз знань інтелектуальних систем управління високошвидкісного рухомого об’єкта з використанням блукаючого діагностичного ядра, яка дозволяє визначати наявність збоїв та некоректностей у базі знань із заданим ступенем достовірності.
статья, добавлен 14.07.2016Створення програмного комплексу для статичної перевірки властивостей формальних моделей та визначення досяжності станів, в яких знайдено недоліки. Основні формальні моделі асинхронних паралельних систем та статичні методи перевірки властивостей.
автореферат, добавлен 14.08.2015Метод формування профілів багатоверсійного програмного забезпечення, який дозволяє автоматизувати процес визначення множини вимог для його розробки та верифікації. Модель його життєвого циклу, що враховує види та кількість версій на кожному етапі.
автореферат, добавлен 29.08.2014Методи підвищення швидкодії функціональної верифікації цифрових систем на кристалах. Програмне забезпечення логічного моделювання, виконуване на послідовному комп'ютері. Удосконалення моделі сферичного мультипроцесора, розв’язання булевих рівнянь.
автореферат, добавлен 26.08.2015Побудова математичної теорії моделі "сутність-зв’язок": уніфікація елементів, аналіз еволюції. Формалізація структурної частини моделі щодо обмежень цілісності. Логічні зв’язки між різними видами обмежень кардинальності, їх математичне дослідження.
автореферат, добавлен 28.09.2015Теорема, яка показує, що для отримання результату верифікації з високою достовірністю необхідно, щоб результати перевірок накопичувалися тільки в коректних модулях. Результати досліджень у сфері теорії діагностування розподілених обчислювальних систем.
статья, добавлен 29.06.2016Процес прийняття рішень щодо забезпечення управління в складних виробничих системах. Синтез моделі типового блока системи підтримки прийняття рішень. Розробка методу формування рішень в СППР блокової структури, його алгоритмічна і програмна реалізація.
автореферат, добавлен 18.10.2013Класифікація методів захисту інформації та аналіз існуючих шляхів перевірки цілісності цифрових сигналів. Базис для створення практичного методу перевірки цілісності ЦС. Методи перевірки цілісності та уточнення локалізації області порушення цілісності ЦС.
автореферат, добавлен 30.07.2015Підвищення ефективності обчислювальної техніки. Використання методів статичної й динамічної верифікації у системах проектування паралельних програм. Побудова графа за допомогою засобів автоматичної візуалізації. Перевірка семантичної коректності структур.
статья, добавлен 10.06.2024Розробка програмних систем адаптивного навчання, які використовують методи штучного інтелекту. Дослідження методів і засобів, які застосовуються в інтелектуальних системах обробки інформації і управління. Розроблення моделі процесу прийняття рішень.
автореферат, добавлен 29.09.2014Порівняльний аналіз і класифікація методів формальних специфікацій щодо паралелізму за критеріями: класи задач, складність методів, ступінь автоматизації, зв’язок моделі з реальними програмами. Композиційно-номінативна мова, модель серверного середовища.
автореферат, добавлен 28.08.2014Аналіз загальних принципів та підходів до процесу синтезу функціональної структури автоматизованої системи управління. Обґрунтування основних етапів цього процесу, формулювання задачі синтезу функціональної структури цієї системи з урахуванням обмежень.
статья, добавлен 14.07.2016- 16. Моделі і методи підтримки прийняття рішень у системах автоматизованого управління бібліотекою ВНЗ
Всебічне дослідження та рішення основних питань розробки теорії, методів, алгоритмічного і програмного інструментарію людино-машинної інтерактивної системи підтримки прийняття рішень, призначеної для раціонального управління бібліотечними процесами.
автореферат, добавлен 23.08.2014 Особливості систем генерації звітів у інформаційних системах, призначених для управління організаціями. Класифікація регулярних й екстраординарних звітів. Методи моделювання уявлень користувачів в інформаційних системах організаційного управління.
автореферат, добавлен 29.07.2015Сутність та концепція логістики, огляд функціональних областей. Математичні моделі управління запасами. Методи прогнозування попиту. Алгоритмічне забезпечення задачі управління запасами, програмного забезпечення. Діаграма варіантів використання.
научная работа, добавлен 08.10.2017Підтримання у валідному стані баз знань модулів розподіленої системи, їх динамічна верифікація під час застосування. Метод тестової верифікація системи, визначений характером організації верифікаційного ядра. Основна особливість тестової верифікації.
статья, добавлен 14.07.2016Викладення процесу створення інформаційної технології для побудови системи автоматизованого управління, аналізу та контролю навчального процесу. Методи формування інформаційної моделі для таких систем. Аналіз навчального процесу в режимі реального часу.
автореферат, добавлен 29.07.2014Дослідження і аналіз об'єкту програмування. Обчислювальні машини, точний розподіл операцій і правила їхнього чергування. Опис мови програмування та інформаційні об'єкти діючої моделі. Традиційні способи програмування та методи оптимізації коду.
курсовая работа, добавлен 27.04.2011Теоретичні основи прийняття рішень на основі сценарно-прецедентного підходу. Інтелектуальна система моніторингу, прогнозування та управління розвитком регіону. Методи та моделі інформаційної підтримки процесу прийняття рішень щодо бюджету регіону.
автореферат, добавлен 28.07.2014Огляд новітніх процесів створення програмної складової інформаційних технологій, здатної пристосовуватися до національно-культурних обмежень. Методики, методи та схеми побудови різновидів програмних систем, що функціонують за Еталонною моделлю POSIX-OSE.
автореферат, добавлен 28.07.2014Розробка автоматизованої підтримки процесу прийняття рішень в ієрархічних задачах критеріального вибору. Конструктивні математичні моделі лінійного та випуклого квадратичного програмування для знаходження ваг об’єктів по матриці парних порівнянь.
автореферат, добавлен 30.07.2015Методи забезпечення функціональної стійкості агрегованих об’єктів управління на підставі використання інформаційних і інтелектуальних моделей підтримки прийняття рішень. Механізми логічного виводу в системі управління як інтерпретатори правил продукції.
статья, добавлен 14.09.2016