Першопорядкові композиційно-номінативні логіки із узагальненими реномінаціями
Дослідження головних першопорядкових композиційно-номінативних логік часткових однозначних, тотальних неоднозначних та часткових неоднозначних квазіарних предикатів. Розробка та аналіз основних методів розширення цих логік узагальненими реномінаціями.
Подобные документы
Вивчення основних компонентів середовища програмування C++ Builder 6 та їх властивостей. Дослідження та аналіз таких методів шифрування даних з метою їх захисту як Атбаш та Плейфера. Опис програмного продукту, приклади його практичного використання.
курсовая работа, добавлен 22.03.2016- 102. Дослідження та експериментальний аналіз методів машинного навчання в задачах електронної комерції
Задача аналітики великих даних у персоналізованих системах електронної комерції, огляд методів машинного навчання для розв’язання задач регресії. Моделювання роботи методів машинного навчання для прогнозування суми витрат споживачів роздрібного магазину.
статья, добавлен 09.10.2020 Дослідження поточного впливу цифрових технологій на сучасний ринок праці. Тенденції цифровізації у досліджуваних галузях. Роль цифрових трансформаційних процесів в економіці України. Розробка економіко-математичної моделі ієрархічного прогнозування.
статья, добавлен 20.07.2024Розробка декількох програм на мові C++ на базі класів з різними типами конструкторів. Дослідження основних питань передачі об'єктів з головної функції в підпрограми-функції і навпаки. Приведення та опис кодів запропонованих програмних розробок.
статья, добавлен 30.10.2020Аналіз існуючих методів безпеки для успішного захисту інтернет речей. Способи взаємодії з інтернет-речами, плани і прогнози впровадження Internet of Things. Характеристика основних проблем інтернет речей, опис злому Samsung Smart TV через веб-камеру.
отчет по практике, добавлен 23.09.2016Дослідження точності застосованих методів обробки інформації з індукційних давачів кута повороту і аналіз переваг комбінованого способу. Оптимальна функція для визначення фази сигналу на основі реалізації функції арктангенса інтегральним методом.
статья, добавлен 25.08.2016Дослідження та аналіз методів розпізнавання символів за допомогою нейронних мереж. Розробка інтелектуального модулю штучних нейронних мереж, що функціонує за принципом перцептрона, та має можливість розпізнавати рукописні символи із зашумленістю до 40%.
статья, добавлен 29.01.2019Розробка математичних методів для дослідження проходження нейтронів крізь уповільнюючі середовища. Моделювання характеристик позиційно-чутливих детекторів, проектування та дослідження систем нейтронографічної установки на прискорювачі електронів.
автореферат, добавлен 29.09.2015Дослідження існуючих методів і засобів оцінки рівня безпеки інформації в комп'ютерних системах. Алгоритми реалізації нечітких арифметичних операцій за принципом узагальнення. Синтез комплексної системи оцінки рівня безпеки інформації.
автореферат, добавлен 10.01.2014Аналіз форми факелів полум'я на пожежах газопроводів. Огляд методів визначення величини потоку теплового випромінювання від факелу полум'я. Розробка методів опису та універсального алгоритму обчислення інтегральних кутових коефіцієнтів випромінювання.
автореферат, добавлен 25.06.2014Побудова методів пошуку виведення в класичній логіці першого порядку. Дослідження систем логічного програмування на коректність і повноту. Модуляційні розширення числення літеральний дерев. Модифікація резолюційних стратегій і методу елімінації моделей.
автореферат, добавлен 29.07.2015Властивості логічних операцій з нечіткими множинами. Порівняння звичайної та нечіткої множин. Виконання властивостей комутативності, асоціативності та закони де Моргана для алгебраїчних операцій. Мета використання базових правил нечіткої логіки.
статья, добавлен 07.04.2018Методи дослідження функціонування аеропортів та трас за складних метеорологічних умов. Вплив погодних факторів на завантаженість аеровокзального комплексу. Розробка алгоритму автоматизованого вибору та статистичної обробки метеорологічної інформації.
автореферат, добавлен 04.03.2014Математичні моделі надання знань про об'єкт охорони й інформаційно-технічні засоби за рахунок застосування алгебри кінцевих предикатів. Розробка програмного забезпечення процесу підтримки прийняття рішень оператором у разі виникнення позаштатної ситуації.
автореферат, добавлен 25.02.2014Аналіз існуючих підходів та методів кластеризації часових рядів. Розробка методів для наповнення інформаційної технології нечіткої кластеризації для випадку багатовимірних часових рядів. Кластерний аналіз даних гідрохімічного моніторингу річки Самара.
статья, добавлен 13.09.2016Аналіз сучасних методів і алгоритмів перенацілюваної компіляції. Розробка методу аналізу придатності мікропроцесорних архітектур. Розробка мови опису мікропроцесорної архітектури та експертних знань на базі тегової моделі мови розмітки гіпертексту XML.
автореферат, добавлен 22.06.2014Аналіз моделей, методів розкрою та пакування матеріалу та простору, основних існуючих обчислювальних методів, математичних моделей та методик розв’язку задач одновимірного розкрою. Метод генерації лінійних комбінацій цін матеріалу на основі бітових полів.
автореферат, добавлен 26.07.2014Розробка та впровадження ефективного методу фрактального кодування-декодування відеопотоків. Порівняльний аналіз методів кодування окремих зображень і відеопотоків, їхніх характеристик та обчислювальної складності. Методика оцінки якості зображення.
автореферат, добавлен 29.07.2014Сучасне поняття робочої станції. Характеристика та призначення системної плати і центрального процесору. Вивчення основних типів мікросхем оперативної пам’яті та носіїв інформації. Аналіз використання адаптерів та серверів для розширення мережі.
реферат, добавлен 13.12.2009Проведення теплової обробки дисперсних матеріалів індукційним способом передачі енергії до теплопередаючої поверхні на основі нечіткої логіки та гібридних нейронних мереж. Використанням графічного інтерфейсу моделі. Аналіз самоналаштування системи.
статья, добавлен 30.01.2017Аналіз засобів захисту документів та цінних паперів і визначення поліграфічних методів їх створення. Розробка моделі засобів захисту документів на основі використання формальних граматик, сумісного використання теорії графів та принципів стеганографії.
автореферат, добавлен 20.07.2015Розгляд методів цифрової обробки сигналів з використанням засобів аналітичного та імітаційного моделювання системи Matlab. Аналіз точності рекурентних методів обчислення дискретних перетворень при їх реалізації в арифметиці з фіксованою і плаваючою комою.
статья, добавлен 30.10.2016Підвищення достовірності визначення ступеня ризику синдрому раптової смерті немовляти за рахунок розробки методів інтелектуального аналізу даних, створення на базі розроблених методів експертної системи. Розробка методів кодування для підготовки даних.
автореферат, добавлен 20.07.2015Використання Інтернету для мережного пошуку та доступу до розподілених інформаційних ресурсів й архівів. Аналіз основних переваг електронної пошти. Характеристика головних сервісів мережі. Гіпертекстові посилання як найважливіша риса Web-сторінок.
реферат, добавлен 31.10.2016Удосконалення існуючих та розробка нових підходів та методів збору, обробки й розповсюдження інформації. Визначення характерних особливостей освітнього веб-порталу, виокремлення основних функцій порталу поліграфічних дисциплін та їх характеристика.
тезисы, добавлен 05.02.2014