Засоби побудови прикладної експертної системи на базі трикомпонентної моделі знань
Дослідження комплексної моделі подання знань, що складається із граматики, числення предикатів. Алгоритми керування логічним висновком методом резолюцій у численні предикатів за допомогою структуризації і лексичних перетворень, їх вдосконалення.
Подобные документы
Підвищення ефективності ідентифікації віддалених абонентів багатокористувацьких систем за рахунок розвитку концепції "нульових знань" та вдосконалення технології її застосування для ідентифікації шляхом розробки способів використання булевих перетворень.
автореферат, добавлен 29.08.2015Створення програми для переведення чисел з довільної системи числення в довільну позиційну. Проектування рядку внесення початкових даних і кінцевого обрахунку для виконання необхідного завдання. Лістинг програми на мові програмування Object Pascal.
лабораторная работа, добавлен 12.10.2014Алгоритм побудови моделей класу Word2Vec. Розробка рекомендаційної системи на основі моделі SkipGram для відео, створеної для наочної демонстрації результатів дослідження. Використання поточного рішення в медіа-платформах для збільшення їх конверсії.
статья, добавлен 10.10.2018Розвиток елементів конструктивної теорії і проблемно-орієнтованого інструментарію моделювання гнучких виробничих систем (ГВС) зборки. Існуючі моделі, методи та алгоритми автоматизованого управління ГВС зборки. Моделі підготовки та прийняття рішень.
автореферат, добавлен 28.07.2014Cтворення математичного і алгоритмічного забезпечення завдань проектування автоматизованої системи управління виробництвами з електроімпульсними процесами. Використати CASE технології для проектування. Інструментальні засоби підтримки прийняття рішень.
автореферат, добавлен 31.01.2014Моделювання процесів комплексної переробки природного газу та керування теплообміном та низькотемпературною сепарацією, для оптимізації процесів очистки газу від конденсату і вологи. Візуалізація результатів моделювання в середовищах Flowvision і Mathlab.
статья, добавлен 13.10.2016Оцінка моделей мультиграничної сегментації на базі зв’язків покриттів або розбиттів носія. Дослідження операцій на класах еквівалентностей, толерантностей для перетворень результатів сегментації для отримання областей зображень, що інтерпретуються.
автореферат, добавлен 28.08.2015Розробка аксіоматичного підходу до проектування лінгвістичних трансляторів в системах логічного програмування, що базується на традиційних логічних численнях, реалізації фаз синтаксичного аналізу і перекладу мов проектування за допомогою методу резолюцій.
автореферат, добавлен 11.10.2011Шляхи підвищенні оперативності та ефективності прийняття знанняорієнтованих рішень за умов лінгвістичної невизначеності при складанні розкладу занять у вищих навчальних закладах. Використання і розроблення нових моделей і систем інженерії квантів знань.
автореферат, добавлен 29.09.2014Об’єктно-орієнтована методологія розробки спеціалізованої інформаційно-аналітичної системи та її компонентів. Модель природного середовища на базі комплексного знання-орієнтованого подання мікроситуації. Метод моніторингу надзвичайних природних ситуацій.
автореферат, добавлен 08.06.2013Характеристика імітаційного моделювання системи керування транспортного робота на основі Arduino Uno. Дослідження руху моделі транспортного робота в обмеженому робочому просторі ("шахова дошка") з довільним, заздалегідь невідомим розміщенням перешкод.
статья, добавлен 21.04.2020Підтримання у валідному стані баз знань модулів розподіленої системи, їх динамічна верифікація під час застосування. Метод тестової верифікація системи, визначений характером організації верифікаційного ядра. Основна особливість тестової верифікації.
статья, добавлен 14.07.2016Розробка та характеристика інформаційної моделі процесу комп’ютерного дослідження системи управління, як об’єкта автоматизації. Дослідження моделі багатоклітьового дротового прокатного стану і його системи управління та системи зв'язаних між собою клітей.
автореферат, добавлен 07.08.2014Створення моделі організації комп’ютеризованого навчання. Побудова профілю користувача з урахуванням індивідуальних психофізіологічних характеристик. Розробка інструментальних засобів. Реалізація та оцінка ефективності автоматизованих навчаючих систем.
автореферат, добавлен 26.08.2015Переведення чисел з однієї системи числення до іншої. Етапи розв’язування обчислювальних задач на комп’ютері. Алгоритм, його властивості й засоби описування. Послідовність створювання консольного програмного додатка. Оператор вибору варіантів switch.
учебное пособие, добавлен 22.06.2014Теорія побудови та вдосконалення обчислювального пристрою частотно-струмових та векторних систем керування об’єктами з асинхронними машинами. Непрямий контроль керованих координат. Розробка методу керування, що дозволяє мінімізувати споживання струму.
автореферат, добавлен 28.08.2014Застосування лінгвомережевої моделі представлення текстових даних у правовій галузі для побудови термінологічної онтології, придатної для автоматизованої обробки. Застосування комп’ютерної обробки природномовних текстів для виокремлення ключових термінів.
статья, добавлен 22.05.2022Проведення огляду системи цифрового ідентифікатору об'єкта для аналізу потенційних можливостей українських бібліотек, інформаційних центрів та окремих видавничих установ щодо запровадження моделі у практиці. Характерні риси імен в системи Handle.
статья, добавлен 11.09.2013Аналіз сучасних методів і алгоритмів перенацілюваної компіляції. Розробка методу аналізу придатності мікропроцесорних архітектур. Розробка мови опису мікропроцесорної архітектури та експертних знань на базі тегової моделі мови розмітки гіпертексту XML.
автореферат, добавлен 22.06.2014Розробка та характеристика програмного забезпечення, яке дозволяє викладачу проводити опитування студентів з використанням стратегій та практичних питань. Розгляд і аналіз процесу розвитку різних методів освіти за допомогою електронних засобів та систем.
статья, добавлен 27.07.2016Розробка інформаційної технології метаконтекстного обміну даними. Поняття онтологічного графу як засобу моделювання знань системи метаконтекстної взаємодії. Відносний метод оцінки якості даних системи, що базується на ієрархічному підході їх оцінювання.
автореферат, добавлен 25.06.2014- 122. Завадостійкий код на основі скінченного автомата та подання чисел у двобазисній системі числення
Визначення та характеристика нового методу завадостійкого кодування, що поєднує кілька підходів до побудови завадостійких кодів. Дослідження особливостей викоритсання арифметичних властивостей чисел, що подаються вхідними бітовими послідовностями.
статья, добавлен 28.02.2016 Оцінка показників безвідмовності конструктивних елементів і об'єкта за інформацією про ПБ елементів нижнього конструктивного рівня. Алгоритми моделювання мереж Байєса та оцінки надійності інфраструктурних систем. Інженерія надійності та безпека системи.
статья, добавлен 20.04.2021Знаходження ступеня лінійного логічного перетворення скінченних предикатів та предикатних операцій. Розв'язання задачі ідентифікації та оберненої задачі для лінійного логічного перетворення. Обчислення та побудова алгоритму лінійних логічних перетворень.
автореферат, добавлен 28.09.2015- 125. Тестування знань
Знайомство з тестовою системою знань, призначеною для швидкої перевірки знань учнів по певному матеріалу, пройденному під час навчання. Аналіз алгоритму вирішення задачі. Використання масивів символів. Зручність швидкої перевірки знань учнів та студентів.
курсовая работа, добавлен 21.07.2011