Першопорядкові композиційно-номінативні логіки із узагальненими реномінаціями
Дослідження головних першопорядкових композиційно-номінативних логік часткових однозначних, тотальних неоднозначних та часткових неоднозначних квазіарних предикатів. Розробка та аналіз основних методів розширення цих логік узагальненими реномінаціями.
Подобные документы
Дослідження проблем сучасних мереж бездротового зв'язку. Аналіз існуючих моделей безпеки Wi-Fi мережі. Визначення основних переваг та недоліків використання протоколів для організації захищених бездротових мереж. Аналіз технології обмеження доступу.
статья, добавлен 26.01.2018Розгляд і характеристика головних переваг використання криптографічних засобів захисту, шифруючих інформацію на комп'ютері. Визначення та аналіз основних методів шифрування: шифрування з відкритим ключем, шифрування із закритим ключем і хеш-функції.
статья, добавлен 26.01.2018Варіантний аналіз сучасних методів та засобів проектування програмного забезпечення автоматизованих систем управління. Розробка алгоритмічного забезпечення. Аналіз результатів і дослідження ефективності програми. Інструкція програміста і користувача.
курсовая работа, добавлен 17.02.2010Сутність інформаційних систем і технологій. Характеристика головних видів ІС. Вивчення особливостей автоматизованого робочого місця. Розгляд поняття економічної інформації. Аналіз основних методів кодування. Основи розподілу символів коду ean33l.
контрольная работа, добавлен 13.12.2013Синтез двійкового суматора за допомогою програмного пакету Decomposer, для вирішення завдань автоматизованого логічного синтезу цифрових схем з використанням методів багаторівневої декомпозиції та їх реалізації на мікросхемах програмованої логіки.
курсовая работа, добавлен 15.03.2014Побудова алгоритмів виконання швидких узагальнених кон'юнктивних перетворень дискретних сигналів. Розробка алгоритмів розпізнавання та мінімізації однорідних бульових функцій та побудови узагальнених канонічних поліномів функцій двозначної логіки.
автореферат, добавлен 07.03.2014Аналіз задач і методів ущільнення зображень. Розробка методів, програмних модулів для виконання досліджень, оптоелектронних елементів і вузлів для систем ущільнення зображень з використанням нейронних мереж типу двовимірної карти Кохонена, їх дослідження.
автореферат, добавлен 26.08.2014Огляд основних методів визначення ефективності роботи підприємства. Особливості застосування математичних методів в економічному аналізі. Побудова багатофакторної регресійної моделі прогнозування показників. Розробка інтерфейсу інформаційної системи.
курсовая работа, добавлен 21.09.2015Типологізація та еволюція основних типів інформаційно-пошукової мови, що використовуються в архівних інформаційно-пошукових системах. Дослідження впливу інформатизації на розвиток інформаційно-пошукової мови. Шляхи розширення пошукових можливостей.
автореферат, добавлен 12.07.2015Розгляд наступних методів автоматичної побудови (навчання) онтологій: Агіра, Альфонсека і Манандара, Асенак-Гілз, Бакімонта, Фетза і Стрейнметза, Гана. Розробка методу розпізнавання семантики природномовних текстів та її подання у вигляді описової логіки.
статья, добавлен 29.08.2016Розробка моделі блоку управління та прийняття рішень експертної системи аналізу мікроциркуляції кон’юнктиви ока на основі методів нечіткої логіки, використання якої дає можливість діагностування зорового аналізатора та підвищення інформативності роботи.
автореферат, добавлен 29.08.2014Дослідження сучасного стану та методики вирішення проблеми в області розробки логічних мереж і математичних засобів для побудови їх моделей. Розробка та обґрунтування методу формального опису операцій реляційної алгебри на мові скінчених предикатів.
автореферат, добавлен 26.08.2015Розгляд і аналіз теоретичних аспектів управління територією регіону з використанням гібридних нейронних мереж і систем нечіткої логіки. Визначення та характеристика ролі створення тривимірної моделі місцевості на основі даних топографічного знімання.
статья, добавлен 03.05.2019Аналіз методів стеганографічного захисту цифрових зображень. Поєднання методу вбудовування в область коефіцієнтів дискретного косинусного перетворення F5 з методами шаблонного вбудовування. Підвищення основних показників таємності та робастності.
статья, добавлен 14.01.2017Дослідження проблематики побудови захищених групових середовищах. Аналіз існуючих криптографічних алгоритмів, оцінка можливості їх застосування в ГС. Розробка програмного інтерфейсу та мережевого протоколу у відповідності до побудованого прототипу.
автореферат, добавлен 26.08.2015Аналіз моделей піксела та методів антиаліайзингу графічних об’єктів. Розробка теоретичних засад щодо визначення параметрів для антиаліайзингу контурів графічних об’єктів. Розробка високопродуктивних методів антиаліайзингу для кривих другого порядку.
автореферат, добавлен 30.10.2015Характеристика основних стратегій, стадій та етапів методу тестування "Білий ящик". Аналіз забезпечення надійності системи в умовах шкідливих атак і програмних дефектів і збоїв. Розгляд логіки роботи програмного забезпечення для отримання тестових даних.
статья, добавлен 11.03.2018Алгоритм універсального модулю прийняття рішень на базі апарату нечіткої логіки та програмна реалізація. Розробка спеціалізованого універсального модуля мобільної операційної системи для діагностики стану здоров'я пацієнта в практиці сімейного лікаря.
статья, добавлен 27.07.2016- 44. Нечітка семантико-онтологічна модель бази знань доменного простору економічної безпеки підприємства
Модель бази нечітких знань як об'єднання часткових баз потенціалів економічної безпеки підприємства. Особливості методології створення нечіткої бази знань доменного простору економічної безпеки та інтегрованої семантико-онтологічної нечіткої бази знань.
статья, добавлен 22.01.2017 Оцінювання якості роботи систем розпізнавання образів. Аналіз основних методів фільтрації зображень, перетворення аналогового сигналу до цифрового. Походження, класифікація та види шумів, мінімізації їх шкідливого впливу. Характеристика гаусівського шуму.
статья, добавлен 29.03.2020Дослідження екстремальних задач на комбінаторних конфігураціях, розробка підходів та методів розв’язання. Розробка методу направленого структурування, на базі нових методів генерування: рекурсивного методу та методу переміщення максимального елементу.
автореферат, добавлен 19.07.2015Аналіз сучасного стану галузі комп’ютерної обробки візуальної інформації та відомих моделей та методів. Розробка моделі та відповідних ефективних методів обробки класу штрихових зображень (загальний підхід) та розробка архітектури обчислювальних процесів.
автореферат, добавлен 18.04.2014Розробка ефективних засобів протидії соціотехнічним атакам. Розширення відомої класифікації способів соціального інжинірингу за рахунок введення нових ознак та їх складових. Побудова систем оцінки ризиків системи управління інформаційною безпекою.
статья, добавлен 26.08.2016Характеристика основних методів підвищення ефективності автоматизованого діагностування цифрових систем. Розробка революційних методів генерації перевіряльних тестів і застосування більш потужної кратної стратегії спостереження вихідних сигналів.
автореферат, добавлен 20.07.2015Розвиток інтелектуальних геоінформаційних технологій. Засоби обробки просторових даних. Розробка фаззі-моделей, заснованих на положеннях нечіткої логіки. Дослідження взаємодії асинхронних процесів. Використання програмного середовища ModelBuilder.
статья, добавлен 14.07.2016