Першопорядкові композиційно-номінативні логіки із узагальненими реномінаціями
Дослідження головних першопорядкових композиційно-номінативних логік часткових однозначних, тотальних неоднозначних та часткових неоднозначних квазіарних предикатів. Розробка та аналіз основних методів розширення цих логік узагальненими реномінаціями.
Подобные документы
Дослідження методів обчислюваності програм, які узагальнюють традиційні підходи до неї. Описання класів обчислюваних функцій і композицій над номінативними даними різних рівнів абстракції і загальності, побудування алгебраїчних представлень таких класів.
автореферат, добавлен 19.04.2014Виявлення особливостей і значення комунікативної спрямованості композиційно-графічного моделювання інтернет-медій. Обґрунтування поняття комунікативної спрямованості композиційно-графічного моделювання. Визначення її ролі, значення, мети й завдання.
статья, добавлен 05.03.2018Розробка методів верифікації алгоритмів функціонування дискретних систем, що задовольняють заданим часовим обмеженням. Використання часових логік для опису властивостей алгоритмів і методів побудови моделей систем, описаних у сучасних мовах проектування.
автореферат, добавлен 29.08.2014Порівняльний аналіз і класифікація методів формальних специфікацій щодо паралелізму за критеріями: класи задач, складність методів, ступінь автоматизації, зв’язок моделі з реальними програмами. Композиційно-номінативна мова, модель серверного середовища.
автореферат, добавлен 28.08.2014Визначення універсальних комп’ютерних функцій перетворення, які зв’язують параметри циліндричних виробів з узагальненими компонентами сигналів ПЕМП. Розробка алгоритму та схеми електромагнітного методу спільного визначення величин в цих виробах.
автореферат, добавлен 13.07.2014Розробка часткових моделей розподілу інформаційного ресурсу. Формування трьохрівневої математичної моделі розподілу ресурсу інформаційно-обчислювальної мережі автоматизованої системи управління. Аналіз основних моделей розподілу інформаційного ресурсу.
статья, добавлен 14.01.2017Дослідження матричних ігор з булевими стратегіями й частково-заданою псевдобулевою платіжною функцією. Аналіз їх основних властивостей в термінах математичної логіки. Розробка методів розв'язання ігор і використання в системах підтримки прийняття рішень.
автореферат, добавлен 30.08.2014Дослідження існуючих математичних моделей процесів маршрутизації у складних гетерогенних мережах. Розробка часткових алгоритмів динамічної маршрутизації на основі методу аналізу ієрархій з пошуком і поточною корекцією власних значень матриці ієрархій.
автореферат, добавлен 22.07.2014Розробка інформаційних технологій перетворення і аналізу цифрових зображень, що базуються на теорії трикутних норм та нечіткій логіці. Вивчення основних методів підвищення контрасту цифрових зображень. Побудова нових методів фільтрації шуму на зображенні.
автореферат, добавлен 25.08.2015Моделі формальної обробки інформації у системах штучного інтелекту. Розробка алгебро-логічних методів декомпозиції предикатів для формалізації процесів інтелектуальної обробки інформації у системах штучного інтелекту. Опис механізмів природної мови.
автореферат, добавлен 28.07.2014Опис базового процесу розпізнавання обличчя. Суть методів гнучкого порівняння на графах; головних компонент, штучної нейронної мережи, інтегрального представлення зображення за ознаками Хаара. Виявлення переваг та недоліків досліджуваних алгоритмів.
статья, добавлен 26.10.2020Аналіз станів ієрархічних рівнів складних об’єктів. Виявлення властивостей досяжності та несуперечливості під час їх взаємодії. Дослідження процесів нечіткої логіки з відношеннями "умова-дія". Розробка алгоритмів та засобів розв’язання практичних задач.
автореферат, добавлен 26.08.2015Дослідження структурних та метричних властивостей систем визначальних співвідношень для повністю визначених та часткових скінчених ініціальних автоматів. Взаємозв’язок між структурою графа автомата та структурою його систем визначальних співвідношень.
автореферат, добавлен 10.08.2014Розробка підсистеми шифрування та підсистеми оцінювання на рівні логіки програми. Приклади та описання методів, які використовуються. розробка інтерфейсу користувача на рівні представлення системи та розробка бази даних системи. Приклад діалогового вікна.
статья, добавлен 09.05.2020Аналіз основних етапів і методів побудови нейронних мереж прямого поширення та обґрунтування еволюційного підходу для синтезу нейромоделей. Розробка основних програмних засобів для синтезу розпізнаючих моделей об’єктів на основі запропонованих методів.
автореферат, добавлен 26.08.2015Аналіз існуючих систем електронного бізнесу, засобів програмного забезпечення для цих систем та розробка необхідної Торгової Інтернет Системи для електронного бізнесу. Розробка методів потоків платежів на основі дерева сценаріїв в електронному бізнесі.
автореферат, добавлен 14.10.2015Вибір та обґрунтування СУБД для реалізації бази даних. Розробка структури інтерфейсу користувача. Аналіз обмежень цілісності в БД і розробка методів їх підтримання. Розробка даталогічної моделі, її нормалізація. Опис основних об’єктів предметної області.
курсовая работа, добавлен 16.02.2014Аналіз нових методів побудови архітектури і моделі неповнозв’язної нейронної асоціативної пам’яті, які забезпечують більшу її ємність за умови одного з архітектурних обмежень. Розробка програмних засобів для моделювання ННАП і алгоритмів навчання.
автореферат, добавлен 29.10.2015Можливості розширення мови логічного програмування. Аналіз структури змінних та використання їх як частини в мові програмування Пролог. Сутність предикатів як об'єктів перетворення змінних. Аналіз структури термів, визначення їх уніфікації у Пролозі.
статья, добавлен 25.10.2016Розробка Web-сервісу, його використання у пошуковій системі. Формування основних вимог до програмної системи, приклади головних алгоритмів та методів. Функціональне та нефункціональне тестування бази даних. Особливості кросбраузерного тестування.
дипломная работа, добавлен 16.06.2017Дослідження комплексної моделі подання знань, що складається із граматики, числення предикатів. Алгоритми керування логічним висновком методом резолюцій у численні предикатів за допомогою структуризації і лексичних перетворень, їх вдосконалення.
автореферат, добавлен 27.07.2014Розробка методів непараметричної ідентифікації з метою визначення порядку диференціального оператора. Визначення основних способів створення програмних засобів реалізації розроблених методів, а також експериментальне дослідження їх ефективності.
автореферат, добавлен 29.09.2014Дослідження основних проблем підготовки фахівців автотранспортного профілю. Аналіз використання системи автоматизованого проектування у процесі вивчення технічних дисциплін та розробка методів використання комп’ютерної графіки для активізації навчання.
статья, добавлен 29.10.2017Технічне переоснащення машинобудівного підприємства шляхом підвищення якості одержання й обробки експертних оцінок на основі згортки часткових критеріїв з нечіткими мірами важливості та компетентності методом інтерпретації слабко узгоджених матриць.
автореферат, добавлен 30.07.2015Розгляд методів дослідження інформаційного продукту. Аналіз особливостей визначення кількісної міри інформації, її адитивності та ентропії. Характеристика показників інформаційного продукту, а також методів прогнозування. Складності дослідження.
статья, добавлен 29.08.2016