Першопорядкові композиційно-номінативні логіки із узагальненими реномінаціями
Дослідження головних першопорядкових композиційно-номінативних логік часткових однозначних, тотальних неоднозначних та часткових неоднозначних квазіарних предикатів. Розробка та аналіз основних методів розширення цих логік узагальненими реномінаціями.
Подобные документы
Розробка математичної моделі інформаційно-пошукової технології аналізу складу матеріалів з комбінованими методами оптимального виділення складових матеріалу. Розробка алгоритмів і програмно-інформаційних засобів аналізу з використанням нечіткої логіки.
автореферат, добавлен 26.08.2014Дослідження методів та розробка програмного продукту, який дозволятимете автоматизувати процес визначення та рекомендації вибору оптимальних мов та засобів програмування, обраних на основі аналізу поставленої задачі. Вимоги до характеристик об’єкта.
реферат, добавлен 18.05.2016Розробка структури та моделі підсистеми, а також аналіз засобів контролю знань комп'ютеризованої системи навчання. Характеристика основних методів практичної реалізації розроблених моделей, алгоритмів і програм у комп'ютеризованих системах навчання.
автореферат, добавлен 27.07.2014Дослідження двох чисельних методів вирішення нелінійних рівнянь: половинного ділення та Ньютона. Загальний вигляд та основні властивості алгебраїчного рівняння. Теореми Декарта, Лагранжа та Гюа. Розкладення функції в ряд Тейлора, похибка методів.
курсовая работа, добавлен 18.09.2010Аналіз методів синтезу й оптимізації характеристик автоматів з "жорсткою" логікою, схеми яких реалізуються в гетерогенному елементному базисі. Розробка структур і методів синтезу автомата Мілі з кодуванням наборів мікрооперацій і фрагментацією змінних.
автореферат, добавлен 29.08.2014- 81. Розробка педагогічного програмного засобу підтримки теми: "Логіка та інформація в початковій школі"
Вивчення загальних уявлень про логіку як науку, її історичних і сучасних аспектів, формування поняття інформації у шкільному курсі інформатики в початковій школі. Аналіз створення гри на розвиток логіки, мозаїки та тестової програми у середовищі "Лого".
курсовая работа, добавлен 10.06.2011 Розробка теоретичних та методологічних засобів опису лінгвістичних зв’язків української мови у вигляді рівнянь алгебри предикатів. Побудова математичних моделей акцентних характеристик і букво-фонемних відношень для голосних та приголосних звуків.
автореферат, добавлен 29.07.2014Аналіз методів захисту он-лайн спілкування на прикладі програм та програмних комплексів для обміну повідомленнями. Основні технології захисту особистої інформації в мережі Інтернет. Аналіз проблеми надмірного поширення персональних даних користувачами.
статья, добавлен 21.07.2018Обмеження металевих ліній зв`язку для інформаційної системи на прикладі відомих типів шин. Недоліки електронної логіки і Ме зв'язків та переваги оптоелектронної логіки і оптичних зв`язків. Схеми оптоелектронної цифрової ІС. Варіанти міжкристальних ОЗ.
презентация, добавлен 11.07.2021Принципи ідентифікації нелінійних залежностей на базі експертно-лінгвістичної інформації шляхом двохетапної настройки нечітких баз знань. Розробка програмної оболонки FUZZY EXPERT для вирішення практичних задач ідентифікації на базі розробленого методу.
автореферат, добавлен 15.11.2013Розробка експериментальної програмної системи для оцінки якості розроблених методів окремо і комплексного методу в цілому. Аналіз отриманих результатів за допомогою порівняння з результатами роботи відомих методів рішення даної задачі, їх ефективність.
автореферат, добавлен 26.07.2014Аналіз особливостей дитячої іграшки. Дослідження основних методів формотворення об’єктів. Моделювання тривимірної форми настільного розділювача для зошитів, пеналу, підставки, сумки для дисків. Опис створення та нанесення матеріалів на частини об’єктів.
курсовая работа, добавлен 06.08.2017Розробка методів визначення в реальному часі характеристик нестаціонарних імпульсних потоків при наявності різких змін інтенсивності. Дослідження адаптивних методів стиску та відновлення даних, одержаних при вимірюванні потоків енергійних частинок.
автореферат, добавлен 11.11.2013Визначення та характеристика нових підходів для мінімізації енергоспоживання високопродуктивних обчислювачів. Аналіз методів розширення функціональних можливостей обчислювачів за рахунок структурної організації мережі на основі керувального комутатора.
автореферат, добавлен 19.07.2015Розробка фізико-технічних методів оптичного запису інформації та оптичного дискового накопичувача. Створення малогабаритних оптичних накопичувачів на оптичних циліндрах та на оптичних картках. Технологія виробництва штампів для тиражування компакт-дисків.
статья, добавлен 29.01.2019Аналіз методів верифікації Web-контенту і можливості застосування онтологічної моделі подання знань. Доведення достовірності автоматичного гібридного виведення знань. Розробка методів семантичної верифікації знань і інтерпретації верифікаційних елементів.
автореферат, добавлен 29.07.2015- 92. Методи формалізації і моделі морфологічних структур та їх застосування в системах штучного інтелекту
Розробка методу бінаризації алгебраїчного формульного запису морфологічних предикатів. Побудова мережі, що моделює відмінювання повних неприсвійних прикметників російської мови. Головна особливість способу скорочення внутрішніх станів логічної сітки.
автореферат, добавлен 30.10.2015 Характеристика шляхів інноваційного розвитку проектування, місця медіадизайну в системі сучасних інтернет-технологій. Дослідження методів і програмно-технічних засобів, способів розширення меж використання медіадизайну в інформаційному просторі.
статья, добавлен 06.02.2019Співвідношення між якостями таємності та робастності за заданої пропускної здатності. Аналіз існуючих методів стеганографічного захисту інформації. Розробка узагальнених моделей та методів неадаптивного та адаптивного вбудовування даних у зображення.
автореферат, добавлен 20.07.2015Аналіз існуючих методів пошуку й використання інформації про аналогічні проекти при розробленні нової техніки. Розробка методів виділення значущих елементів та інформативних ознак в описі зразків техніки. Процес підбору й оцінювання аналогів зразків.
автореферат, добавлен 26.08.2015Наведення основних методів оцінки залишкової несучої здатності в Україні і в світі. Опис основних аспектів завдання вихідних характеристик в програмний комплекс за допомогою методу скінченних елементів. Представлення скріншотів з програмного комплексу.
статья, добавлен 20.11.2018Дослідження основних проблем аналізу графів з позначеними вершинами, зокрема, умов існування і методів побудови діагностичних і контрольних експериментів з такими графами, які проводить автомат, що пересувається графом та сприймає позначки його вершин.
автореферат, добавлен 25.02.2015Порівняльний аналіз архітектури реконфігуровних комп’ютерних систем. Вплив обчислювальної складності задачі на величину прискорення комп’ютерної системи. Доцільність застосування реконфігуровної логіки з позиції організації зв’язку між нею і комп’ютером.
статья, добавлен 13.10.2016Розробка й аналіз нових методів побудови архітектури і навчання моделі неповнозв'язної нейронної асоціативної пам'яті, які забезпечують більшу ємність пам'яті даної моделі. Розробка програмних засобів для моделювання мереж і алгоритмів навчання.
автореферат, добавлен 25.08.2014Вивчення основних компонентів середовища програмування C++ Builder 6 та їх властивостей. Дослідження та аналіз таких методів шифрування даних з метою їх захисту як Атбаш та Плейфера. Опис програмного продукту, приклади його практичного використання.
курсовая работа, добавлен 22.03.2016