Лінійні логічні перетворення та їх застосування в штучному інтелекті
Знаходження ступеня лінійного логічного перетворення скінченних предикатів та предикатних операцій. Розв'язання задачі ідентифікації та оберненої задачі для лінійного логічного перетворення. Обчислення та побудова алгоритму лінійних логічних перетворень.
Подобные документы
Побудова алгоритмів виконання швидких узагальнених кон'юнктивних перетворень дискретних сигналів. Розробка алгоритмів розпізнавання та мінімізації однорідних бульових функцій та побудови узагальнених канонічних поліномів функцій двозначної логіки.
автореферат, добавлен 07.03.2014Обчислення координати контрольних точок до сформованого зображення заданого геометричного перетворення. MATLAB як пакет прикладних програм для вирішення завдань технічних обчислень і однойменний мова програмування, що використовується в цьому пакеті.
курсовая работа, добавлен 14.12.2015Дослідження основних методів розв’язку задачі складання розкладу. Сучасні модифікації генетичного алгоритму розподілення занять. Розрахунок виконання заданої кількості ітерацій розкладу. Оцінка тривалості навчальних занять та їх кількості по днях тижня.
статья, добавлен 14.07.2016Характеристика структури та функціональних моделей, які містить процесор растрових перетворень. Аналіз методики керування параметрів растрування, основні переваги та недоліки методів формування растрової структури. Схема опрацювання даних в процесорі.
статья, добавлен 14.09.2016Опції основного меню програми Mathcad, Особливості роботи з операціями. Видалення записів у Mathcad. Переміщення панелей по екрану та їх перетворення в рядки меню. Вплив розташування маркера на обчислення в Mathcad. Обчислення функції та многочлена.
лабораторная работа, добавлен 19.07.2017Обчислення добутку чотирицифрового натурального числа. Знаходження найбільшого, середнього, найменшого із трьох даних чисел та їх розташування в порядку спадання. Обчислення значення функції для заданого х, виведення результату з 3 знаками після коми.
контрольная работа, добавлен 09.11.2016Технічне обґрунтування приводу зварювальних обертачів. Реалізація алгоритму розрахунку деталі в середовищі Pascal та Matcad. Контрольний розрахунок параметрів та режимів роботи валу двигуна. Реалізація робочого креслення деталі в середовищі компас 3D.
курсовая работа, добавлен 11.12.2014Математичне забезпечення інформаційної технології фільтрації нечіткої інформації від шумів у радіотехнічних, радіо-комп’ютерних системах на основі перетворення Гільберта-Хуанга. Ідентифікація локальних середніх екстремумів, середні максимуми та мінімуми.
статья, добавлен 27.07.2016Нові класи задачі синтезу мереж, їхні властивості та математичні моделі в термінах потоків. Алгоритми знаходження точного й наближеного рішень задачі синтезу двозв’язної мережі. Ефективність запропонованих алгоритмів на реальних і тестових задачах.
автореферат, добавлен 29.08.2014Методика багаторівневого ієрархічного і логічного синтезу асинхронних автоматів і надвеликих інтегральних схем. Проектування мікропрограмних пристроїв управління НВІС на засаді синхронних автоматів. Розробка мов опису проектних логічних специфікацій НВІС.
автореферат, добавлен 21.11.2013Використання багатошарових моделей характеристик процесу пожежогасіння в якості алгоритмів перетворення вигляду інформації. Отримання експериментального підтвердження гіпотези про зростання точності інформації при багатошаровому її перетворенні.
статья, добавлен 29.06.2016Дослідження функціональних компонентів вхідного і вихідного інтерфейсів комп’ютера. Характеристика цифро-аналогових перетворювачів цифрової інформації. Розгляд особливостей аналого-цифрових перетворювачів послідовної лічби та з порозрядним кодуванням.
реферат, добавлен 29.10.2014Розробка моделі перетворення колірної інформації з урахуванням умов перегляду готової поліграфічної продукції для отримання бажаних кольорів на відбитку. Впровадження моделей та методів в інформаційні технології цифрової та екранної кольоропроби.
автореферат, добавлен 18.07.2015- 89. Програмовані логічні контролери з вбудованими засобами тестового та функціонального діагностування
Аналіз сучасного стану і тенденцій розвитку типових структур програмованих логічних контролерів. Розробка і вдосконалення моделей, методів і алгоритмів синтезу і логічного проектування ПЛК з вбудованими засобами тестового і функціонального діагностування.
автореферат, добавлен 25.02.2015 Побудова методів пошуку виведення в класичній логіці першого порядку. Дослідження систем логічного програмування на коректність і повноту. Модуляційні розширення числення літеральний дерев. Модифікація резолюційних стратегій і методу елімінації моделей.
автореферат, добавлен 29.07.2015Знаходження мінімуму цільової функції як одна з основних задач лінійного програмування. Характеристика складових мови програмування та стандартних процедур системи комп'ютерної алгебри Maple, які необхідні для вирішення типових задач оптимізації.
статья, добавлен 27.07.2016Розробка автоматизованої підтримки процесу прийняття рішень в ієрархічних задачах критеріального вибору. Конструктивні математичні моделі лінійного та випуклого квадратичного програмування для знаходження ваг об’єктів по матриці парних порівнянь.
автореферат, добавлен 30.07.2015Вивчення задачі ідентифікації апроксимативних моделей, що оптимізує процедуру селекції та вибір кращого методу параметричної ідентифікації в умовах мінімальної інформації. Розробка алгоритму варіювання даних. Скалярні показники якості ідентифікації.
автореферат, добавлен 07.01.2014Побудова структури і визначення параметрів математичної моделі регулювання автоматичних систем. Методи автоматизації обробки експериментальних імпульсних даних. Амплітуда тестового імпульсу об’єктів. Програмні засоби розв’язання нелінійної задачі.
статья, добавлен 23.09.2016Розроблення математичного та програмного забезпечення для розв’язування задачі комівояжера великих розмірностей, дослідження її розв’язування. Вивчення методів геометричної оптимізації та мінімізації довжини початкового маршруту у геометричних областях.
автореферат, добавлен 30.07.2015Побудова математичних моделей для ушкоджуючої дії патогенного фактора та патологічних і захисно-пристосувальних реакцій. Розв’язання задачі апостеріорного мінімаксного оцінювання параметрів моделей захворювань, які в загальному випадку є функціями.
автореферат, добавлен 02.08.2014Моделі подання і обробки візуальної інформації на основі інформаційного підходу, на підставі яких сконструйовано базис гіперболічного вейвлет-перетворення (ГВП). Методи виділення контурів і бінаризації з регульованою деталізацією у просторі ГВП.
автореферат, добавлен 29.07.2014Дослідження функціональних можливостей розроблених методів моделювання багатовимірних залежностей на прикладі розв’язання складної задачі медичного діагностування (гіпотиреозу). Характеристика генетичного алгоритму для налаштування нечітких моделей.
автореферат, добавлен 27.08.2014Алгоритм як скінченна послідовність вказівок (команд), формальне виконання яких дозволяє за обмежений час отримати розв’язок задачі. Основні вимоги до алгоритмів та порядок їх формування, використовувані програми. Типи елементів у схемі алгоритму.
реферат, добавлен 10.08.2010Функції і параметри процесорів растрових перетворень – пристрою для перетворення зображень в придатний для друкування формат. Схема процесу растрування файлу. Етапи опрацювання інформації растровим процесором. Особливості ПРП для керування принтерами.
статья, добавлен 29.08.2016