Модель бази знань інтелектуальної системи управління високошвидкісного рухомого об’єкта на основі її верифікації
Модель верифікації баз знань інтелектуальних систем управління високошвидкісного рухомого об’єкта з використанням блукаючого діагностичного ядра, яка дозволяє визначати наявність збоїв та некоректностей у базі знань із заданим ступенем достовірності.
Подобные документы
Дослідження необхідності проектування управлінських систем та їхнього застосування в бізнесі. Визначення, історія розвитку, принципи та функції CRM-систем. Розробка множини продукційних правил інтелектуальної складової інформаційної системи управління.
статья, добавлен 29.08.2016- 27. Інформаційна технологія автоматизованого навчання та контролю знань в управлінні учбовим процесом
Розробка системи моделей управління учбовим процесом та засобів інформаційної технології контролю знань і навчання студентів. Підвищенні ефективності управління. Розробка багатокомпонентних математичних моделей. Виділення рівнів представлення інформації.
автореферат, добавлен 27.07.2014 Проведення огляду системи цифрового ідентифікатору об'єкта для аналізу потенційних можливостей українських бібліотек, інформаційних центрів та окремих видавничих установ щодо запровадження моделі у практиці. Характерні риси імен в системи Handle.
статья, добавлен 11.09.2013Розробка та характеристика програмного забезпечення, яке дозволяє викладачу проводити опитування студентів з використанням стратегій та практичних питань. Розгляд і аналіз процесу розвитку різних методів освіти за допомогою електронних засобів та систем.
статья, добавлен 27.07.2016Створення інформаційно-аналітичної системи тестового оцінювання знань в медичній освіті. Реалізація методів тестування. Внутрішнє представлення інформаційної моделі бази даних. Зберігання мультимедійної інформації з використанням бінарних типів даних.
автореферат, добавлен 11.08.2015Дослідження проектування автоматизованих систем управління. Обґрунтування використання діалогових алгебро-граматичних моделей представлення знань для їх синтезу. Розробка інструментарію проектування комп’ютерних систем – діалогова трансформаційна машина.
автореферат, добавлен 27.08.2014Проблеми впровадження нових інформаційних технологій в нафтогазовий комплекс України. Методика поетапної формалізації знань експерта-геолога з використанням величин типу "невизначено". Автоматизовані системи управління та прогресивні технології.
автореферат, добавлен 11.11.2013- 33. Методи та засоби експертної системи вибору раціональних проектних рішень просторових конструкцій
Дослідження і розробка основних компонентів експертних систем – користувальницького інтерфейсу, інформаційно-логічної моделі об'єкта, бази знань, що відповідають вимогам сучасних комп'ютерних технологій проектування. Аналіз просторових конструкцій.
автореферат, добавлен 28.06.2014 Підвищення ефективності обчислювальної техніки. Використання методів статичної й динамічної верифікації у системах проектування паралельних програм. Побудова графа за допомогою засобів автоматичної візуалізації. Перевірка семантичної коректності структур.
статья, добавлен 10.06.2024Дослідження класу недостатньо структурованих і неструктурованих задач інформаційно-управляючих систем. Підвищення якості функціонування ІУС гірничо-металургійного підприємства. Розробка методу дихотомічної оцінки нечітких моделей знань операторів ІУС ГМП.
автореферат, добавлен 30.01.2014Дослідження нечітких методів видобування даних, інтелектуальний аналіз баз нечітких знань та задач. Корегування збережених знань, виведення правил, мінімізації та оптимізації наявних правил, адаптації бази правил до нового зовнішнього середовища.
статья, добавлен 29.08.2016- 37. Тестування знань
Знайомство з тестовою системою знань, призначеною для швидкої перевірки знань учнів по певному матеріалу, пройденному під час навчання. Аналіз алгоритму вирішення задачі. Використання масивів символів. Зручність швидкої перевірки знань учнів та студентів.
курсовая работа, добавлен 21.07.2011 Дослідження комплексної моделі подання знань, що складається із граматики, числення предикатів. Алгоритми керування логічним висновком методом резолюцій у численні предикатів за допомогою структуризації і лексичних перетворень, їх вдосконалення.
автореферат, добавлен 27.07.2014Підвищення ефективності взаємодії користувачів комп'ютеризованих систем, шляхом створення інтелектуальної системи підтримки інтерфейсу, що використовує модель користувача і модель взаємодії, засновані на знаннях. Алгоритми визначення цілей користувача.
автореферат, добавлен 07.01.2014Метод ефективного кодування та відтворення знань на основі морфологічного та семантичного аналізу текстових даних і аналізу складних інформаційних об'єктів. Аналіз статистик для характеристик релевантності та швидкості алгоритмів обробки інформації.
автореферат, добавлен 27.02.2014Опис, специфіка методів і засобів, що застосовуються в автоматизованих системах обробки інформації та управління прийняття рішень. Характеристика, особливості та аналіз чинних автоматизованих систем управління навчальним процесом і тенденцій їх розвитку.
автореферат, добавлен 29.01.2016Аналіз основних ознак та властивостей складних організаційних систем та особливостей проведення обробки інформації і прийняття управлінських рішень в них. Розробка методу та відповідного алгоритму обробки інформації на основі деревоподібних баз знань.
автореферат, добавлен 25.02.2015Аналіз існуючих автоматизованих систем контролю знань, обробки природномовної інформації. Дослідження лінгвістичних моделей подання знань з урахуванням синонімії понять. Розробка алгоритму обробки текстової відповіді та його комп’ютерна реалізація.
автореферат, добавлен 24.08.2015Основна відмінність мережевих форм управління. Вираховування семантики інформації, що передається. Створення та поширення інформаційно-комунікаційних технологій. Онтологічне подання знань про суб'єкт економічної діяльності. Етапи еволюції Web-сервісів.
реферат, добавлен 28.07.2017Мікросервісна архітектура системи управління роботою торгівельного підприємства, що автоматизує логістичні процеси інтернет-магазину комплектуючих для смарт-систем. Управління логістикою торгівельного підприємства з використанням інтелектуальних засобів.
статья, добавлен 01.08.2024Розробка методів верифікації алгоритмів функціонування дискретних систем, що задовольняють заданим часовим обмеженням. Використання часових логік для опису властивостей алгоритмів і методів побудови моделей систем, описаних у сучасних мовах проектування.
автореферат, добавлен 29.08.2014Впровадження сучасного онтологічного підходу в діяльність бібліотечних організацій. Роль онтології в процесі вибудовування електронного каталогу, як системи управління знаннями. Формування цілісного підходу до управління ресурсами знань бібліотеки.
статья, добавлен 24.04.2021Інформаційно-пошукова система і система керування базами даних. Сукупність формалізованих введень про предметну область. Види і форми представлення знань на різних етапах. Інструментальні засоби побудови метод баз. Особливості подання у вигляді фреймів.
реферат, добавлен 27.02.2014Систематизація та класифікація тестових питань (ТП) в системах тестування та підсистемах оцінювання знань студентів. Аналіз методів генерації ТП та функціональні можливості систем контролю якості знань по забезпеченню об’єктивності процесу тестування.
статья, добавлен 13.01.2017Інтелектуальні системи як комплекси, основним ядром яких є база знань або модель предметної області, що описана мовою високого рівня наближеною до природної. Підходи до її створення та головні вимоги. Типи архітектури таких систем і їх відмінності.
лекция, добавлен 22.05.2018