Реляційні засоби побудови моделей логічних мереж та їх застосування в штучному інтелекті
Дослідження сучасного стану та методики вирішення проблеми в області розробки логічних мереж і математичних засобів для побудови їх моделей. Розробка та обґрунтування методу формального опису операцій реляційної алгебри на мові скінчених предикатів.
Подобные документы
Розроблення математичних моделей квантових логічних елементів для різних технологій побудови квантового процесора. Вплив основних конструкційних параметрів, збурюючого сигналу на протікання перехідного процесу між станами, час виконання логічних операцій.
автореферат, добавлен 28.09.2014Напрями дослідження мереж на кристалі та підходи до їх моделювання. Характеристика аналітичне, високорівневе та низькорівневе імітаційне моделювання. Застосування мови програмування SystemC як альтернативне рішення з побудови моделей мереж на кристалі.
статья, добавлен 24.03.2016Рішення актуальної задачі підвищення якості формалізації природної мови на прикладі створення алгебрологічних моделей морфології та їх застосування у логічних мережах. Проектування засобів штучного інтелекту. Алгебрологічний метод роботи логічних мереж.
автореферат, добавлен 28.08.2014Проблеми підвищення швидкості та якості інтелектуального аналізу даних шляхом розробки нової методики побудови та застосування дискретних байєсівських мереж, методу формування ймовірнісного висновку і створення нової системи підтримки прийняття рішень.
автореферат, добавлен 28.08.2015Наукові досягнення в області формалізації структур мови. Підвищення ефективності обробки інформації в системах штучного інтелекту. Знаходження ступеня лінійного логічного перетворення засобами алгебри скінченних предикатів та предикатних операцій.
автореферат, добавлен 25.02.2015Розробка моделей, методів і процедур синтезу легкотестованих компонентів мереж клітинних автоматів на базі програмованих логічних інтегральних схем. Створення методів синтезу вбудованих засобів сигнатурного моніторингу для однорідних клітинних мереж.
автореферат, добавлен 30.07.2015Знаходження ступеня лінійного логічного перетворення скінченних предикатів та предикатних операцій. Розв'язання задачі ідентифікації та оберненої задачі для лінійного логічного перетворення. Обчислення та побудова алгоритму лінійних логічних перетворень.
автореферат, добавлен 28.09.2015Аналіз основних етапів і методів побудови нейронних мереж прямого поширення та обґрунтування еволюційного підходу для синтезу нейромоделей. Розробка основних програмних засобів для синтезу розпізнаючих моделей об’єктів на основі запропонованих методів.
автореферат, добавлен 26.08.2015Аналіз оптико-електронних моделей і інтерпретація отриманих результатів для побудови спеціалізованих моделей образного комп’ютера. Розробка математичної і структурно-функціональної моделей паралельно-ієрархічних мереж, аналіз ефективності їх застосування.
автореферат, добавлен 28.07.2014Методика теорії представлення модульних нейронних мереж у вигляді орієнтованих графів для формального опису довільних архітектур. Теоретичне обґрунтування методу заміни циклів в графовій моделі. Дослідження структури програмного комплексу NeuroLand.
автореферат, добавлен 30.07.2014Вимоги до побудови адекватних математичних моделей складних об’єктів у вигляді вузлів графа з використанням інтелектуальних інформаційних систем. Проектування переходів системи із ситуації в ситуацію. Побудова алгоритму нечітких ситуаційних мереж.
статья, добавлен 25.10.2016Створення структурно-логічних моделей різних топологій і технологій виконання локальних обчислювальних мереж на основі теорії графів, кубічного зчислення і VHDL-мови опису апаратури високого рівня, що орієнтовані на існуючі системи моделювання.
автореферат, добавлен 04.03.2014Розробка математичних моделей функціональних відмов мікроелектронних цифрових пристроїв. Характеристика методики оцінки показників функціональної надійності логічних елементів та функціональних вузлів ЦП. Розробка архітектури програмної підсистеми.
автореферат, добавлен 12.11.2013Розробка методів верифікації алгоритмів функціонування дискретних систем, що задовольняють заданим часовим обмеженням. Використання часових логік для опису властивостей алгоритмів і методів побудови моделей систем, описаних у сучасних мовах проектування.
автореферат, добавлен 29.08.2014Розробка теоретичних та методологічних засобів опису лінгвістичних зв’язків української мови у вигляді рівнянь алгебри предикатів. Побудова математичних моделей акцентних характеристик і букво-фонемних відношень для голосних та приголосних звуків.
автореферат, добавлен 29.07.2014Аналіз побудови сучасних телекомунікаційних мереж. Визначення напрямів мінімізації затримки інформації. Розробка методики розрахунку кількості управляючої інформації на основі інформаційно-ентропійного методу для залежних контрольованих об'єктів.
автореферат, добавлен 25.07.2015Аналіз переваг та недоліків популярних методологій розробки програмного забезпечення. Вивчення технологій створення додатків. Загальні підходи до побудови каскадної та ітеративній моделей. Характеристика мобільних платформ та техніка їх застосування.
статья, добавлен 07.04.2018Визначення основних особливостей та вимог щодо побудови нейронних мереж. Розгляд підходів до їх використання в процесі страхового андеррайтингу як повноцінної заміни андеррайтера та у перехідний період. Опис основних моделей навчання нейронних мереж.
статья, добавлен 28.12.2017Робота з ключами. Принцип використання осцилографу. Регістри та основа їх побудови. Вплив керуючих сигналів на роботу дешифраторів та шифраторів. Мультиплексори і демультиплексори на логічних елементах. Дослідження лічильників. Схема помножувача напруги.
курсовая работа, добавлен 21.03.2024Інформаційні технології, інструментальні засоби побудови і модернізації корпоративних комп’ютерних мереж автоматизованої системи управління, які забезпечують низьку трудомісткість проектування. Оптимальні критерії продуктивність/вартість проектних рішень.
автореферат, добавлен 15.07.2014Аналіз нових методів побудови архітектури і моделі неповнозв’язної нейронної асоціативної пам’яті, які забезпечують більшу її ємність за умови одного з архітектурних обмежень. Розробка програмних засобів для моделювання ННАП і алгоритмів навчання.
автореферат, добавлен 29.10.2015Дослідження логіко-математичних моделей формування таблично-алгоритмічних процесів. Розробка математичних моделей ендогенних і часових показників. Удосконалення теорії неповної подібності і розмірностей у галузі обмеження коефіцієнтів подібності.
автореферат, добавлен 13.07.2014Розробка мультиагентних методів синтезу нейро-нечітких мереж для підвищення їхніх апроксимаційних та узагальнюючих здатностей. Динаміка роботи методів відбору інформативних ознак. Огляд програмних засобів для мультиагентного синтезу нейро-нечітких мереж.
автореферат, добавлен 20.07.2015Огляд процесу розроблення моделей і алгоритмів діагностування локальних обчислювальних мереж і їх компонентів на основі послідовного застосування методологій безумовного і зондового пошуку дефектів для зменшення витрат на відновлення їх працездатності.
автореферат, добавлен 27.02.2014Розробка аналітичних і структурно-функціональних моделей основних компонентів комп'ютеризованих систем навчання, алгоритмів її функціонування. Сутність методу формального логічного подання знань за допомогою однорідних ієрархічних функціональних мереж.
автореферат, добавлен 27.09.2014