Модель бази знань інтелектуальної системи управління високошвидкісного рухомого об’єкта на основі її верифікації
Модель верифікації баз знань інтелектуальних систем управління високошвидкісного рухомого об’єкта з використанням блукаючого діагностичного ядра, яка дозволяє визначати наявність збоїв та некоректностей у базі знань із заданим ступенем достовірності.
Подобные документы
Підтримання у валідному стані баз знань модулів розподіленої системи, їх динамічна верифікація під час застосування. Метод тестової верифікація системи, визначений характером організації верифікаційного ядра. Основна особливість тестової верифікації.
статья, добавлен 14.07.2016Створення програмних засобів контролю рівня знань користувача гібридної інтелектуальної системи. Інформаційні процеси передавання знань, методи тестування успішності навчання. Структура діалогової бази знань у термінах взаємодії двох програмних агентів.
автореферат, добавлен 24.07.2014Засоби автоматизації тестування рівня знань користувачів гібридних інтелектуальних систем. Агентні та об’єктні методи програмної інженерії. Передавання знань від агента-експерта до респондента. Моделі діалогу інформаційних процедур як доступ до баз знань.
автореферат, добавлен 29.08.2015- 4. Нечітка семантико-онтологічна модель бази знань доменного простору економічної безпеки підприємства
Модель бази нечітких знань як об'єднання часткових баз потенціалів економічної безпеки підприємства. Особливості методології створення нечіткої бази знань доменного простору економічної безпеки та інтегрованої семантико-онтологічної нечіткої бази знань.
статья, добавлен 22.01.2017 Створення корпоративної бази знань із використанням у якості базового компонента документоорієнтованого інформаційного сховища. Нарощення можливостей доступу користувачів до бази знань із мінімальними витратами. Аналіз застосування файлової системи.
статья, добавлен 29.01.2019Аналіз природних властивостей декларативних і процедурних знань з метою виявлення структурних, логічних, семантичних і обчислювальних властивостей, які повинна мати модель подання знань. Програмно-інструментальне середовище подання і обробки знань.
автореферат, добавлен 26.09.2015Дослідження проблем використання базових принципів сучасного формалізму дескриптивних логік в інтелектуальних навчальних системах, що використовують бази знань навчального контенту. Розробка системи отримання експертних знань для інтелектуальної системи.
статья, добавлен 27.09.2024Проблеми розробки й використання баз знань у прогресивних інформаційних технологіях. Математичне визначення моделі концептуалізації предметної області. Узагальнена структура бази знань ПрО. Елементи теорії подання знань із використанням набору аксіом.
автореферат, добавлен 29.01.2016Ефективність роботи автоматизованих систем управління (АСУ) за рахунок зростання якості і безпомилковості дій операторів шляхом впровадження в практику навчання й оцінки їхніх знань. Адаптація оператора до програмної системи з інтелектуальним інтерфейсом.
автореферат, добавлен 27.07.2014- 10. Метод накопичення верифікаційної інформації при виконанні верифікації в розподілених базах знань
Теорема, яка показує, що для отримання результату верифікації з високою достовірністю необхідно, щоб результати перевірок накопичувалися тільки в коректних модулях. Результати досліджень у сфері теорії діагностування розподілених обчислювальних систем.
статья, добавлен 29.06.2016 Сутність процесу управління змінами в онтологіях для інформаційних систем. Обчислювальні методи верифікації темпоральних обмежень цілісності на множині версій моделі онтології. Програмний комплекс, призначений для підтримки автоматизованої верифікації.
автореферат, добавлен 30.07.2015- 12. Діагностування комп’ютерних засобів на основі інтелектуальних методів та моделей опрацювання знань
Моделі та форми подання комп’ютерних засобів у базах знань інтелектуальних систем діагностування. Розробка алгоритмів та програмних засобів дослідження характеристик баз знань предметної галузі "Інтелектуальне діагностування мікропроцесорних складових".
автореферат, добавлен 14.07.2015 Написання програм для вирішення інтелектуальних проблем. Застосування фреймів для представлення знань при реалізації інструментальних засобів. Створення та коригування бази знань, даних на інформаційному рівні, підтримка вибору на якісному рівні.
контрольная работа, добавлен 19.03.2021Підхід до створення бази знань для експертної системи з профорієнтації по вибору спеціальності на основі нечіткої логіки. Три моделі її побудови, характеристика ефективності та вибір найкращої. Аналіз процесу створення бази знань по конкретній моделі.
статья, добавлен 06.02.2019Дослідження інформаційної підтримки дослідницької діяльності на основі застосування сучасних мережних технологій е-дистанційного доступу до розподілених систем формування знань. Визначення онтологічної моделі у форматі е-сценарію наукових досліджень.
статья, добавлен 24.10.2020Описання побудови моделі представлення знань в адаптивних системах дистанційного навчання. Основні етапи функціонування бази знань системи (збір, збереження, пошук, адаптивна видача навчального матеріалу). Основні переваги моделі конструювання бази знань.
статья, добавлен 30.01.2016Розроблення програмного забезпечення з Web-інтерфейсом, яке дозволяє здійснювати структуризацію і формалізацію знань учбового медико-біологічного курсу "Паразитологія", формувати формалізовані когнітивні структури, а також зберігати їх в базі даних.
статья, добавлен 15.02.2018Побудова групами експертів, що взаємодіють за допомогою Internet, бази знань системи підтримки прийняття рішень, в якій використано метод динамічного цільового оцінювання альтернатив. Розгляд функцій та структури програмного забезпечення бази знань.
статья, добавлен 29.01.2019- 19. Методи та засоби синтезу й відображення динамічних об'єктів (для центрів оперативного управління)
Алгоритмічні методи побудови засобів синтезу зображень, що забезпечують відтворення динаміки рухомого об'єкта в системах оперативного управління в режимі реального часу. Ізотермічне конформне відображення образу об'єкта. Обробка компонентів руху об'єктів.
автореферат, добавлен 22.04.2014 Комп'ютерні системи тестування та оцінювання знань. Розробка математичних моделей, методів і алгоритмів тестування та оцінювання знань. Створення автоматизованої системи тестування знань з використанням Інтернет-технологій та концепції зворотного зв'язку.
автореферат, добавлен 28.07.2014Обґрунтування уніфікованої операції "розвузлування" для уніфікованої моделі об'єкта виробництва, що зберігає в результатах операції топологію ієрархічної структури об'єкта управління. Формалізована модель календарного планування виробничого плану.
автореферат, добавлен 28.07.2014Аналіз і класифікація атрибутів, метрик, методів та інструментальних засобів верифікації й сертифікації програмного забезпечення. Розробка методу верифікації програмного забезпечення в умовах ресурсних обмежень і неповноти проектної документації.
автореферат, добавлен 27.08.2015- 23. Категорні моделі і метод поповнення ієрархічних баз знань предметних областей автоматизованих систем
Обґрунтування використання концептів і семантичних відношень, введення сигнатури відношень. Розробка правил поповнення ієрархічних баз знань предметних областей, що забезпечують семантичну коректність створюваної бази знань автоматизованої системи.
автореферат, добавлен 29.09.2014 Розробка засобів для створення інтелектуальних компонентів систем дистанційної освіти. Створення діалогової процедури автоматизованого набуття знань від експерта та методу автоматичного генерування співвідношень питання-відповідь для контролю знань учня.
автореферат, добавлен 29.08.2014Класифікація моделей об'єкта на основі кореляційних функцій і теоретико-числових базисів. Теоретичні основи діагностування об'єктів управління на основі кластерних моделей. Розробка діалогової системи і алгоритмів моделювання на базі кластерних моделей.
статья, добавлен 29.01.2016