Засоби формалізації математичних знань та міркувань: теоретичні та практичні аспекти
Наведення формальної мови для подання математичних текстів. Побудова системи комп’ютерних засобів автоматичної перевірки їх коректності. Розробка процедури пошуку виведення, оригінальної дворівневої архітектури процедури автоматичного доведення.
Подобные документы
Розгляд наступних методів автоматичної побудови (навчання) онтологій: Агіра, Альфонсека і Манандара, Асенак-Гілз, Бакімонта, Фетза і Стрейнметза, Гана. Розробка методу розпізнавання семантики природномовних текстів та її подання у вигляді описової логіки.
статья, добавлен 29.08.2016Інформаційні технології, інструментальні засоби побудови і модернізації корпоративних комп’ютерних мереж автоматизованої системи управління, які забезпечують низьку трудомісткість проектування. Оптимальні критерії продуктивність/вартість проектних рішень.
автореферат, добавлен 15.07.2014Дослідження "слабких місць" засобів сканування. Розробка методу захисту програмного забезпечення від прихованого сканування для підвищення ступеню протидії засобам потенційного зловмисника, що дозволяє покращити ефективність захисту комп’ютерних систем.
автореферат, добавлен 27.08.2015Організація роботи навчальних комп’ютерних лабораторій в умовах дистанційного навчання. Розробка та впровадження системи віддаленого доступу користувачів. Підходи та принципи побудови типової інформаційної структури навчальної комп'ютерної лабораторії.
статья, добавлен 05.02.2023Аналіз існуючих автоматизованих систем контролю знань, обробки природномовної інформації. Дослідження лінгвістичних моделей подання знань з урахуванням синонімії понять. Розробка алгоритму обробки текстової відповіді та його комп’ютерна реалізація.
автореферат, добавлен 24.08.2015Розробка методу й апаратно-програмних засобів підвищення ефективності обробки великих масивів даних у комп'ютерній мережі на основі нових підходів до архітектури систем та раціонального розміщення ресурсів. Розпаралелення алгоритмів керування даними.
автореферат, добавлен 30.08.2014У статті розглянуто питання, пов’язані з використанням інноваційних інформаційних технологій у навчанні математичних дисциплін. Вивчення вільно поширюваних web-орієнтованих систем комп’ютерної математики і технології мобільного навчання математики.
статья, добавлен 13.10.2020Розробка моделей та архітектурних рішень для складноорганізованих інтелектуальних математичних програмних систем, що інтегрують різноманітні парадигми програмування на базі алгебраїчного та інсерційного програмування, теорії взаємодії агентів і середовищ.
автореферат, добавлен 12.08.2014Розробка структури та моделі підсистеми, а також аналіз засобів контролю знань комп'ютеризованої системи навчання. Характеристика основних методів практичної реалізації розроблених моделей, алгоритмів і програм у комп'ютеризованих системах навчання.
автореферат, добавлен 27.07.2014Визначення факторів впливу на живучість і дослідження існуючих засобів моніторингу розподілених комп’ютерних мереж. Головні вимоги до систем моніторингу факторів впливу на живучість. Розробка узагальненої архітектури комплексної системи моніторингу.
статья, добавлен 29.01.2019Набуття практичних навиків з типовими алгоритмами пошуку та усунення основних проблем компонентів комп’ютерних систем. Сучасні методи ефективного застосування комп'ютерних та мережних технологій для вирішення задач комплексної автоматизації підприємств.
отчет по практике, добавлен 16.02.2021Дослідження математичних і комп’ютерних моделей трубчатого п’єзокерамічного сканера, пристроїв на основі планарних біморфних п’єзоелементів та камертона. Розробка методу покращення позиціонування сканерів за рахунок зменшення зв'язку між актуаторами.
автореферат, добавлен 14.08.2015Створення алгоритмів та методів для автоматичної верифікації формальних моделей асинхронних промислових систем. Перевірка динамічних властивостей, редукції простору пошуку, генерації множини тестових сценаріїв, що задовольняють певним критеріям покриття.
автореферат, добавлен 26.09.2015Алгоритми стиснення та мікшування мовних сигналів, порівняльний аналіз комп’ютерних засобів перетворення форматів стиснених мовних сигналів та визначення областей їх використання. Моделі структур багатоканальних комп’ютерних засобів перетворення.
автореферат, добавлен 26.07.2014Методи дослідження технічних систем і технологічних процесів. Розробка алгоритмічних основ і програмних засобів комп'ютерного моделювання широкого класу динамічних об'єктів. Формування непараметричних математичних моделей у вигляді інтегральних рівнянь.
автореферат, добавлен 29.09.2014Дослідження проектування автоматизованих систем управління. Обґрунтування використання діалогових алгебро-граматичних моделей представлення знань для їх синтезу. Розробка інструментарію проектування комп’ютерних систем – діалогова трансформаційна машина.
автореферат, добавлен 27.08.2014Аналіз природності звучання українського мовлення в межах проблеми комп’ютерного конкатенативного синтезу мовлення. Розробка моделі подання текстової інформації. Опис програмно-алгоритмічних засобів комп’ютерного конкатенативного сегментивного синтезу.
автореферат, добавлен 27.07.2015Створення методологічних принципів побудови автоматизованої системи управління ремонтно-технічного забезпечення підприємства на базі розробленого комплексу математичних моделей. Аналіз функціональних підсистем підприємств в умовах існування АСУ.
автореферат, добавлен 13.07.2014Засоби організації зв’язку на далеку відстань. Системи соціального страхування в Україні. Відновлення здоров’я та працездатності потерпілих на виробництві. Спосіб об'єднання комп'ютерів між собою в мережі, методи взаємодії комп’ютерів, базові топології.
курсовая работа, добавлен 02.04.2009Розгляд особливостей впровадження програмних продуктів Autodesk у процес підготовки інженерів-механіків на кафедрі електронного машинобудування. Описання процедури налаштування мережевої версії для комп’ютерних класів та домашнього комп’ютера студента.
статья, добавлен 26.01.2017Основні пристрої настільного комп'ютера. Процесор та його складові. Внутрішня та зовнішня пам'ять комп’ютерів. Пристрої введення і виведення інформації. Структура програмного забезпечення комп’ютера. Архітектура локальних і глобальних комп’ютерних мереж.
реферат, добавлен 09.04.2012Інформаційна безпека: нові виклики на порозі інформаційної доби. Основні засоби "інформаційної війни". Політика гарантування інформаційної безпеки в Україні. Кіберзлочинність: феномен і його прояви. Безпека комп'ютерних мереж: практичні аспекти захисту.
реферат, добавлен 03.10.2013Носії інформації, їхній склад та характеристика. Використання комп'ютерних систем обчислення багатопараметричних моделей й математичних алгоритмів. Концепція єдиної централізовано керованої бази даних. Компоненти об'єктно-орієнтованого програмування.
курс лекций, добавлен 23.09.2017Характеристика інформації як об'єкту протиправних посягань. Рівні захисту комп'ютерних та інформаційних ресурсів. Ознаки комп'ютерних злочинів та мотивації людей до їх вчинення. Технології, які використовуються при вчиненні комп'ютерних злочинів.
реферат, добавлен 02.06.2015Побудова методів пошуку виведення в класичній логіці першого порядку. Дослідження систем логічного програмування на коректність і повноту. Модуляційні розширення числення літеральний дерев. Модифікація резолюційних стратегій і методу елімінації моделей.
автореферат, добавлен 29.07.2015