Лінійні логічні перетворення та їх застосування в штучному інтелекті
Знаходження ступеня лінійного логічного перетворення скінченних предикатів та предикатних операцій. Розв'язання задачі ідентифікації та оберненої задачі для лінійного логічного перетворення. Обчислення та побудова алгоритму лінійних логічних перетворень.
Подобные документы
- 26. Адаптивна інформаційна технологія перетворення інформації в спеціалізованих автоматизованих системах
Технології побудови підсистем перетворення графічної інформації в спеціалізованих автоматизованих системах. Послідовність перетворення графічної інформації, база знань для її формування. Перетворення графічної інформації з урахуванням кольорової моделі.
автореферат, добавлен 28.08.2015 Різницевий метод розв'язання крайових задач для звичайних диференціальних рівнянь. Метод прогонки. Лістинг програми розв`язання нелінійної крайової задачі на алгоритмічній мові Turbo Pascal. Результати обчислень, графік розв`язку крайової задачі.
отчет по практике, добавлен 23.04.2011Визначення універсальних комп’ютерних функцій перетворення, які зв’язують параметри циліндричних виробів з узагальненими компонентами сигналів ПЕМП. Розробка алгоритму та схеми електромагнітного методу спільного визначення величин в цих виробах.
автореферат, добавлен 13.07.2014Системи лінійних обмежень опуклих оболонок загальних множин розміщень та полі розміщень. Обґрунтування умов невиродженості переставних многогранників. Розв’язки задачі розміщення об’єктів обслуговування як задачі евклідової полікомбінаторної оптимізації.
автореферат, добавлен 07.08.2014Методи розв’язання задачі мультикласифікації. Побудова кодів, що виправляють помилки. Розв’язання задачі мультикласифікації шляхом зведення до сукупності задач бінарної класифікації. Її реалізація за допомогою вихідних кодів і багатошарових персептронів.
дипломная работа, добавлен 27.06.2013Ефективність використання статистичного методу підвищення стійкості розв’язків і алгоритму забезпечення заданої точності визначення погано обумовлених систем лінійних алгебраїчних рівнянь. Розрахунок коефіцієнту лінійного температурного розширення.
статья, добавлен 27.07.2016Застосування засобів двовимірного наближення табличних даних многочленами та функціями від многочленів. Розробка методу синтезу цифро-частотних функціональних перетворювачів. Створення алгоритму для оцінки якості розроблених перетворювачів сигналів.
автореферат, добавлен 12.02.2014Можливості розширення мови логічного програмування. Аналіз структури змінних та використання їх як частини в мові програмування Пролог. Сутність предикатів як об'єктів перетворення змінних. Аналіз структури термів, визначення їх уніфікації у Пролозі.
статья, добавлен 25.10.2016Механізм дискретного перетворення Фур'є, його використання в фізиці, теорії чисел, комбинаториці, обробці сигналів, теорії ймовірності, статистиці, криптографції, акустиці, океанології, геометрії. Алгоритмів перетворення Фур'є двовимірних сигналів.
реферат, добавлен 06.04.2016Підвищення ефективності ідентифікації віддалених абонентів багатокористувацьких систем за рахунок розвитку концепції "нульових знань" та вдосконалення технології її застосування для ідентифікації шляхом розробки способів використання булевих перетворень.
автореферат, добавлен 29.08.2015Вибір та систематизація методів аналітичного перетворення математичних моделей динамічних об’єктів. Сутність, реалізація методів аналітичного та апроксимаційного перетворення, створення структури пакету комп’ютерних програм, їх специфіка та використання.
автореферат, добавлен 28.08.2015Вивчення проблеми розробки структурних методів синтезу багатозначних оборотних засобів розв'язання систем логічних рівнянь для синтезу багатозначних логічних елементів прямої та зворотної дії, які використовують у системах та засобах штучного інтелекту.
автореферат, добавлен 20.07.2015Дослідження методу розв’язання звичайного рівняння та системи диференційних рівнянь першого та вищих порядків методом Рунге-Кутта. Досліджування розв’язку задачі, використовуючи метод Рунге-Кутта. Оцінювання похибки наближеного розв’язку задачі Кошi.
лабораторная работа, добавлен 18.01.2013Характеристики однорідних натуральних арифметичних графів. Застосування алгоритму пошуку в глибину для числових графів. Порівняльний аналіз з відповідним методом для звичайних графів. Розробка алгоритму, який видає готовий розв’язок задачі обходу.
автореферат, добавлен 28.07.2014Дослідження правил розв’язання системи лінійних алгебраїчних рівнянь методом Гауса, який полягає в зведенні квадратної системи до трикутного вигляду з використанням алгоритму послідовного виключення невідомих. Триангуляція матриці. Обчислення розв’язку.
лабораторная работа, добавлен 18.01.2013Застосування алгоритму бустінгу на основі використання нейромереж для розв'язання задачі скорингової оцінки позичальників банку. Основні підходи до створення та застосування ансамблевих структур. Підвищення точності класифікації позичальників банку.
статья, добавлен 10.10.2018Метод структурно-алфавітного пошуку розв’язання задач комбінаторної оптимізації, який ґрунтується на розпізнаванні структури вхідної інформації та одному розв’язному випадку. Оцінка його швидкодії та точності знаходження оптимального результату.
статья, добавлен 23.02.2016Формулювання задачі комівояжера та аналіз методів її розв’язування. Особливість вивчення евристичних або класичних методів. Характеристика узагальненої блок-схеми мурашиного алгоритму. Основні способи прискорення пошуку оптимального маршруту на мережі.
статья, добавлен 29.06.2016Спосіб реалізації алгоритму ШПФ для сигнального процесора ADSP-BF542 для 16 вхідних даних з часовим прорідженням. Механізми обчислення швидкого перетворення Фур`є. Підраховано часові ресурси для виконання обчислення. Функціональна схема системи.
курсовая работа, добавлен 15.09.2013Аналіз структури математичної моделі арифметико-логічного пристрою. Арифметико-логічні пристрої із загальними мікроопераціями та їх використання. Формування елементної бази для побудови блоку багатофункціонального арифметико-логічного пристрою.
курсовая работа, добавлен 27.03.2014Викладення методів побудови розв’язків краєвих задач теплопровідності. Основна концепція методу скінченних елементів. Двовимірні задачі для рівнянь Лапласа та Пуассона. Приклад розв’язування краєвої задачі теплопровідності методом граничних елементів.
учебное пособие, добавлен 02.10.2018Особливості та головні умови ефективного застосування теорії динамічних ігор до розв’язання спеціальних задач керування в умовах конфліктної взаємодії. Правило пропорційної навігації та екстремального прицілювання М.М. Красовського, їх використання.
автореферат, добавлен 30.10.2015Характеристика діагностичної моделі пристрою перетворення сигналів (ППС), яка враховує час, умови експлуатації та похибки вимірювальних приладів. Структурні елементи математичної системи безвідмовності ППС для проектування з урахуванням діагностованості.
автореферат, добавлен 22.06.2014Виконання перетворення за допомогою процесу, функції й процедури мовою VHDL. Перетворення десяткового подання числа у двійкове подання. Проведення тестування додатку, в якому число розрядів біта-вектора дорівнює 8. Часова діаграма перетворювача.
лабораторная работа, добавлен 19.08.2017Системи лінійних алгебраїчних рівнянь. Ітераційні методи розв'язання СЛАР. Методи Зейделя, Крамера, оберненої матриці та Жордана-Гаусса. LU розклад матриці. Код програми реалізації розв'язку cистем лінійних алгебраїчних рівнянь за допомогою методу Краута.
курсовая работа, добавлен 18.08.2010