Засоби формалізації математичних знань та міркувань: теоретичні та практичні аспекти
Наведення формальної мови для подання математичних текстів. Побудова системи комп’ютерних засобів автоматичної перевірки їх коректності. Розробка процедури пошуку виведення, оригінальної дворівневої архітектури процедури автоматичного доведення.
Подобные документы
Оцінка ефективності комп’ютерної обробки сенсорних даних у розподіленій системі автоматичного контролю. Обґрунтування параметрів вихідного сигналу, що базується на зміні режиму розпізнавання інформації. Огляд програмного забезпечення сервера системи.
автореферат, добавлен 06.11.2013Моделювання та побудова системи паралельної обробки інформації. Розробка методики реалізації програм та демонстрація можливостей їх практичного застосування. Спектр застосування СПОІ як широкий і охоплює актуальні задачі соціально розподіленого простору.
автореферат, добавлен 07.08.2014- 103. Моделі і методи інженерії квантів знань для прийняття рішень за умов імовірнісної невизначеності
Розробка алгоритмів інженерії квантів знань для комп’ютерної підтримки рішень за умов невизначеності. Дослідження формальних процедур машинного маніпулювання знаннями та операторів їх логічного виводу. Алгоритмізація автоматичного квантування інформації.
автореферат, добавлен 28.09.2015 Характеристика інфологічної та даталогічної моделі бази даних. Система інформаційних, математичних, програмних, мовних, організаційних і технічних засобів, які необхідні для інтегрованого нагромадження, зберігання, ведення, пошуку і видачі даних.
контрольная работа, добавлен 19.09.2009Розгляд підходів до побудови нейрокомп’ютерних систем. Розробка базової структури нейроорієнтованої комп’ютерної системи реального часу. Визначення особливостей нейрообробки даних, операційного базису спеціалізованих модулів і етапів їх синтезу.
статья, добавлен 30.10.2016Вдосконалення методу оптимізації розподілу обчислювальних ресурсів між сервісними задачами комп'ютерних систем із множинним доступом. Дослідження процесу обробки запитів у комп'ютерних системах із множинним доступом в умовах обмежених ресурсів.
автореферат, добавлен 11.08.2015Розробка архітектури комплексної бібліотечної експертної системи, призначеної для забезпечення комп'ютерної та інформаційної підтримки виконання персоналом всіх технологічних процесів у різнопрофільних бібліотеках з перекладом ресурсу в електронну форму.
научная работа, добавлен 01.05.2019Електронні засоби навчального призначення. Життєвий цикл програмної системи. Засоби швидкого конструювання. Axure як інструмент візуального проектування. Розробка інтерфейсу та дизайну інтегрованого дослідницького середовища Відеоінтерпритатор 3.0.
дипломная работа, добавлен 02.10.2018Основні конструкції мови Object Pascal, її операції та вирази. Прості типи даних. Алгоритмічні дії над початковими даними і робочими об’єктами мови. Процедури введення/виведення даних у консольному режимі. Механізм взаємозв’язку між параметрами.
учебное пособие, добавлен 25.04.2014Огляд основних методів визначення ефективності роботи підприємства. Особливості застосування математичних методів в економічному аналізі. Побудова багатофакторної регресійної моделі прогнозування показників. Розробка інтерфейсу інформаційної системи.
курсовая работа, добавлен 21.09.2015Дослідження лінгвістичної структури української жестової мови. Підходи до створення систем розпізнавання і перекладу жестових мов. Розробка програмного забезпечення комп’ютерної системи, яка ідентифікує елементи української жестової мови у реальному часі.
автореферат, добавлен 25.08.2015Утворення мережі при фізичному з'єднанні декількох комп'ютерів з метою забезпечення спільного доступу до загальних ресурсів. Призначення комп'ютерних мереж, їх основні функції. Поділ комп'ютерних мереж на локальні та регіональні відповідно до протоколів.
реферат, добавлен 21.10.2014Проектна процедура як володіння системним подходом стосовно аналізу програмних систем. Характеристика методів "проб і помилок", "аналогій", "морфологічного синтезу рішень". Приклад проектної процедури "Редактор текстів": зовнішня, внутрішня специфікація.
практическая работа, добавлен 06.08.2017Визначення ролі інформаційних ресурсів в житті людини та розвитку сучасного суспільства. Аналіз переваг переходу до неперервної освіти. Створення обчислювальних комплексів та комп'ютерних програм. Побудова засобів телекомунікаційних мереж та Інтернету.
реферат, добавлен 24.04.2015Розвиток класифікацій архітектур комп'ютерних систем. Класифікація за характерними ознаками: показники роботи, оптимальність системи, ефективність роботи та критерії ефективної роботи. Приклади класів архітектур в залежності від кількості потоків даних.
статья, добавлен 13.12.2020Аналіз принципів побудови систем дистанційного навчання. Порівняльні характеристики інформаційних технологій. Безпека дистанційного навчання в інтернеті. Архітектура сайту інформаційної підтримки. Розробка системи перевірки знань. Технологія тестування.
курсовая работа, добавлен 04.05.2013Аналіз методів та засобів моделювання поведінки систем автоматичного керування. Дослідження моделі засобу, що реалізує процес моделювання, розробка його складових частин. Розробка обчислювальної схеми та програм моделювання систем автоматичного керування.
автореферат, добавлен 28.09.2015Основні лідери галузі з впровадження комп’ютерних технологій: архітектура, машинобудування, освіта, банківська сфера та медицина. Програмне забезпечення у сфері медичних комп’ютерних комунікацій. Пошукові системи та каталоги інформаційних ресурсів.
презентация, добавлен 13.12.2017Основні типи комп’ютерних вірусів: програмні, завантажувальні, макровіруси. Рубежі захисту від комп’ютерних вірусів. Методи реалізації рубіжної оборони захисту: програмні, апаратні, організаційні. Можливості програмних засобів антивірусного захисту.
реферат, добавлен 26.06.2010Дослідження існуючих математичних моделей процесів маршрутизації у складних гетерогенних мережах. Розробка часткових алгоритмів динамічної маршрутизації на основі методу аналізу ієрархій з пошуком і поточною корекцією власних значень матриці ієрархій.
автореферат, добавлен 22.07.2014Розгляд процесів, що відбуваються в імпульсних модуляторах підсилювачів потужності та автогенераторів. Використання неоднорідних штучних довгих ліній. Визначення форми вихідного імпульсу модулятора штучної довгої лінії, що є складовою частиною модулятору.
статья, добавлен 11.07.2022Побудова підсистеми захисту мережевого периметру від несанкціонованого копіювання шляхом інтеграції відповідних розрізнених засобів контролю в єдину систему захисту корпоративної інформаційної мережі. Аналіз існуючих комп’ютерних архітектурних рішень.
автореферат, добавлен 29.08.2015- 123. Методи та засоби моделювання когнітивної поведінки користувача в адаптивних комп’ютерних системах
Розвиток та вдосконалення інформаційної технології навчання людини за допомогою інтелектуальної навчаючої системи шляхом врахування індивідуальних особливостей засвоєння знань на основі когнітивної моделі користувача. Параметри системи "тьютор – учень".
автореферат, добавлен 24.02.2014 Аналіз динаміки характеристик спеціалізованих комп’ютерних систем. Використання мультиагентних технологій як засобу інтелектуалізації процесу багатокритеріального діагностування. Розподіл етапів і задач між агентами. Забезпечення міжагентної взаємодії.
автореферат, добавлен 25.08.2015Програмні засоби комп’ютерних локальних інформаційних мереж. Характеристика операційних систем. Загальна характеристика ОС Novell Netware 4.x. Головні принципи організації роботи сервера Novell Netware. Середовища передавання у комп'ютерних мережах.
контрольная работа, добавлен 07.08.2013