Предикатні моделі логічних просторів в системах подання знань
Формалізація природної мови як мови подання знань на базі математичного апарату векторних логічних просторів. Розробка алгоритмічного та програмного забезпечення для системи логічної підтримки і проектування інформаційних систем та лінійних просторів.
Подобные документы
Вивчення різних алгоритмів оклюзивного виключення, проведення розбору кожного з них, його історію, оцінка необхідності у ньому, математичних і логічних основ алгоритму. Розробка власного рендер двигуна. Опис математичної і логічної основ алгоритму.
статья, добавлен 10.10.2018Характеристика класу позитивних динамічних систем балансового типу, для математичного моделювання яких використовуються системи звичайних лінійних різницевих й диференціальних рівнянь. Побудова розімкненої дискретної динамічної математичної моделі.
автореферат, добавлен 29.08.2015Процедури прийняття рішень у системах керування на базі інформаційно-системного підходу. Процедура інформаційних перетворень при формуванні тактики керування. Визначення вірогідності перебування системи в околі цільової області при розмитій ситуації.
статья, добавлен 30.09.2018Вивчення логічних задач і методів їх розв’язання, а також дослідження методу більярдної кулі та можливості його застосування при розв’язанні задач на переливання. Логічні задачі як засіб розвитку мислення та кмітливості. Основні типи логічних задач.
реферат, добавлен 11.12.2020Дослідження графоаналітичних характеристик які дають явне подання лівого власного вектора напівстохастичної матриці, який відповідає власному значенню 1, що покладено в основу методу розв’язування лінійних систем рівнянь, особливості їх застосування.
автореферат, добавлен 28.07.2014- 31. Числові методи
Ознайомлення із теоремою Банаха. Означення та математичний запис просторів метричного, лінійного, R(n) n-мірних векторів, R(nхn) квадратних матриць. Розгляд поняття наближених чисел, визначення їх граничних похибок суми, різниці, добутку та ділення.
реферат, добавлен 13.06.2010 Розробка математичних моделей лінійних систем на базі рівнянь типу згортки та сингулярних інтегральних рівнянь. Рішення задачі відновлення імпульсної характеристики для рівняння згортки. Оцінка розмірності ядер операторів та побудови чисельних рішень.
автореферат, добавлен 17.07.2015Математичне моделювання еволюції двовидового середньоширотного лісу та створення програмного забезпечення для моделювання системи. Використання моделі локального рівня для інформаційного забезпечення підтримки прийняття рішень в лісовому господарстві.
статья, добавлен 30.07.2016Визначення поняття універсального елементу переваг, який містить інформацію про порівняльні оцінки виміряні в різних шкалах та розроблення моделі неоднорідної слабоструктурованої системи переваг у вигляді гіперкубу елементів та реляційних баз даних.
автореферат, добавлен 27.02.2014- 35. Системна модель
Оцінка похибки використання математичного апарату при моделюванні. Застосування "класифікаційного дерева". Етапи уточнення властивостей системи. Процес отримання конструктивної моделі як конкретизація операторів виходу і переходу системної моделі.
реферат, добавлен 28.07.2017 Особливість побудови поглинаючих просторів для борелівських класів зліченновимірних розлогів. Характеристика класу монад, функторіальні частини яких можна представити у вигляді територій функціоналів. Аналіз розряду барицентрично м'яких компактів.
автореферат, добавлен 14.09.2015Адитивні проблеми теорії чисел й дільників. Метод оцінок тригонометричних сум. Проблема дільників Титчмарша. Подання натуральних чисел у вигляді суми двох квадратів та єдиність такого подання. Подання натурального числа у вигляді суми чотирьох квадратів.
курсовая работа, добавлен 09.04.2015Задачі Коші в класах початкових умов, які є узагальненими функціями з просторів і дослідженню властивостей фундаментального розв’язку. Простори основних та узагальнених функцій і властивості перетворення Фур’є, згорток, згортувачів та мультиплікаторів.
автореферат, добавлен 30.07.2014Локальна характеризація топологічних груп, які є індуктивними границями метричних підпросторів. Опис тихонівських просторів. Доведення l-інваріантності властивостей Гуревича, Скiперза, Менгера. Продовження топології абелевої групи на її подільну оболонку.
автореферат, добавлен 29.01.2016Головна характеристика просторів основних функцій негауссiвського нескiнченно-вимiрного синтезу та псевдодиференцiальних операторів. Дослідження аналогів стохастичних інтегралів та похідних. Особливість побудови елементів вивчення кольорових шумів.
автореферат, добавлен 14.07.2015Теорія операторних просторів, алгебр та модулів. Критерій того, щоб гільбертіан був лівим операторним модулем над алгеброю обмежених операторів у ньому. Лінійні базиси алгебр, породжених скінченною кількістю ідемпотентів, сума яких пропорційна одиниці.
автореферат, добавлен 11.10.2011Загальна характеристика методів рішення систем лінійних рівнянь. Метод релаксації у його найпростішій формі. Використання метода релаксації змінних в системах лінійних рівнянь. Підставлення знайдених значень кореню у вихідні рівняння для контролю.
контрольная работа, добавлен 17.01.2016Дослідження розвитку теорiї задач Кошi. Характеристика еволюційних рівнянь, які містять псевдо-Бесселеви оператори в класах початкових умов. Розгляд просторів математичних функцій. Обґрунтування властивостей перетворення Бесселя та Фур’є-Бесселя.
автореферат, добавлен 29.10.2013- 44. Ейлерові графи
Основні означення та властивості графів. Використання матриць інцилентності та суміжності для подання графі. Подання графа списками пар і суміжності. Розгляд ейлерової ломиголовки "Кенігзберзьких мостів". Алгоритм Флері побудови ейлерового циклу.
курсовая работа, добавлен 27.09.2017 Дослідження групи всіх борелівських автоморфізмів стандартного борелівського простору і групи всіх гомеоморфізмів канторівської множини. Аналіз топологічних властивостей цих груп та їх підмножин, які визначаються різними динамічними характеристиками.
автореферат, добавлен 29.08.2015Неперервні знизу і зверху відображення зі значеннями у прямій Зорґенфрея. Перенесення теореми Кендерова на квазінеперервні зверху відображення. Аналіз зв’язків між нарізними та сукупними властивостями відображень на добутку топологічних просторів.
автореферат, добавлен 24.07.2014Класифікація моделей системного аналізу. Компоненти підсистем гнучкої виробничої системи. Стадії математичного моделювання ситуації. Розробка імітаційного проекту для багатоканальної системи масового обслуговування та його граничної ймовірності.
лабораторная работа, добавлен 18.12.2013Характеристика математичних моделей детермінізації процесів в складних системах в умовах неповноти вхідних даних. Розробка методів відтворення електроспоживання для окремого виду систем – систем електропостачання. Розробка алгоритмів квазідетермінізації.
автореферат, добавлен 28.07.2014Поняття нормального фінітного функтора скінченного степеня в асимптотичній категорії. Задача метризації множин в асимптотичній категорії для функтора. Приклади існування та неснування грубих вкладень гіперсиметричних степенів нульвимірних просторів.
автореферат, добавлен 27.08.2015Додатна означеність і невід’ємність операторних матриць і квадратичних форм у добутку n гільбертових і напів’ядерних просторів. Застосування результатів для вивчення умов компактних екстремумів функціоналів від n змінних у термінах компактних похідних.
автореферат, добавлен 24.08.2015