Предикатні моделі логічних просторів в системах подання знань
Формалізація природної мови як мови подання знань на базі математичного апарату векторних логічних просторів. Розробка алгоритмічного та програмного забезпечення для системи логічної підтримки і проектування інформаційних систем та лінійних просторів.
Подобные документы
Дослідження властивостей сприятливих і несприятливих просторів для різних топологічних ігор, властивостей типу повноти за Чехом і взаємозв'язків між ними. Нарізно неперервні функції, квазінеперервні функції і функції першого та другого класу Бера.
автореферат, добавлен 24.06.2014Встановлення структури замкнених підгруп афінної групи Кремони над алгебраїчно замкненим полем (в Ind-топології Зариського) характеристики 0, що містять спеціальну лінійну підгрупу для групи оборотних поліноміальних перетворень симплектичного простору.
автореферат, добавлен 27.07.2014Розгляд систем лінійних рівнянь. Рядки і стовпці матриці, їх функції. Критерій сумісності, визначеності системи лінійних рівнянь. Рядковий і стовпцевий ранги матриці. Розв’язання системи лінійних рівнянь методом послідовного виключення невідомих.
лекция, добавлен 16.07.2017Опис класів траєкторної еквівалентності неергодичних зчисленних груп псевдо-гомеоморфізмів польського досконалого простору. Особливості методики знаходження інваріантів зовнішньої спряженості груп досліджувальних множин із нормалізатора повної групи.
автореферат, добавлен 07.03.2014Вивчення фундаментального розв'язку задачі Коші. Дослідження диференціальних властивостей, граничної поведінки та одержання оцінок у різних нормах потенціалів. Встановлення коректної розв'язності задачі Коші в широких класах функціональних просторів.
автореферат, добавлен 10.01.2014Дослідження питання про існування алгебр фон Неймана. Вивчення процесу доведення аналогів домінантної ергодичної теореми для послідовностей абсолютних стисків симетричних просторів вимірних операторів, приєднаних до комутативної алгебри фон Неймана.
автореферат, добавлен 25.07.2014Зведення сильної проблеми моментів до задачі опису усіх самоспряжених розширень деякого симетричного оператора у гільбертовому просторі. Застосування теорії репрезентацій симетричних операторів та метода просторів граничних значень для опису рішень.
автореферат, добавлен 14.09.2015Дослідження структурних властивостей алгебр вимірних операторів. Аналоги домінантної ергодичної теореми для послідовностей абсолютних стисків симетричних просторів вимірних функцій на піввісі, в яких виконуються різні типи ергодичних нерівностей.
автореферат, добавлен 29.08.2015Основні умови компактності операторів на просторах вимірних функцій зі збереженням їх основних властивостей. Дослідження ідеальних властивостей вузьких операторів. Узагальнення теореми Пітта про компактність операторів на загальні банахові простори.
автореферат, добавлен 28.08.2014Побудова математичної моделі процесу вирішення задач оцінювання об’єктів життєвого циклу програмних систем. Реалізація створеного апарату в програмних засобах підтримки розв’язання задач оцінювання і керування ризиком з їх апробацією в організації.
автореферат, добавлен 14.09.2015Визначення основних умов використання знакозмінних функцій Ляпунова для дослідження обмеженості рухів динамічних систем. Розробка нового методу дослідження нестійкості на базі співвідношень векторного аналізу та критерію відсутності періодичних рухів.
автореферат, добавлен 27.07.2014Зміст і призначення теорем про збіжність у теорії міри та інтегралу: Єгорова і Лебега про мажоровану збіжність. Концепція про слабку збіжність у банахових просторах. Теорема Рімана про збіжність рядів та її застосування, математичне обґрунтування.
автореферат, добавлен 28.09.2015Систематизація знань учнів. Усування помилок під час розв’язування вправ і задач, які зводиться до квадратних рівнянь. Навики розв’язку лінійних, квадратних, дробово-раціональних рівнянь. Мотивація навчальної діяльності учнів. Актуалізація опорних знань.
реферат, добавлен 29.01.2009Розв'язання відкритих запитань теорії рівнянь Даугавета та теорії властивості Радона-Нікодима, пов'язаних з геометрією зрізок опуклих множин. Взаємозв'язок між властивістю Рімана-Лебега та властивістю повної неперервності з огляду їх еквівалентності.
автореферат, добавлен 29.08.2015Дослідження швидкості зростання супремуму випадкових процесів з просторів Орліча випадкових величин при прямуванні до нескінченності. Отримання нових теорем про рівномірну збіжність на обмеженому інтервалі вейвлет розкладів необмежених на функцій.
автореферат, добавлен 26.08.2015- 66. Інтегральні оцінки норм резольвент та безумовні базиси, що породжуються системою ваг Макенхаупта
Дослідження базисних властивостей сімей функцій у просторі, які за допомогою канонічної процедури будуються за системою ваг Макенхаупта. Оцінка норм резольвент скінченновимірних збурень оператора інтегрування. Теореми про безумовні базиси просторів.
автореферат, добавлен 24.06.2014 Розвиток теорії періодичної задачі Коші для еволюційних рівнянь з псевдодиференціальним оператором нескінченного порядку в класах початкових умов, які є узагальненими функціями з просторів. Локалізація для згорток періодичних функцій з простору.
автореферат, добавлен 26.08.2015Розробка підходу до вирішення задачі розподілу інформаційних ресурсів. Доведення теореми для апріорної оцінки числа копій файлів розподіленої бази даних, що зменшує розмірність задач математичного програмування, отримуваних в результаті побудови моделей.
автореферат, добавлен 04.03.2014Функтори віддзеркалень Кокстера для алгебр, породжених лінійно пов'язаними ортопроекторами, категорій зображень графів у категорії гільбертових просторів. Конструкція похідного колчана, яка використовується для розв'язання задач класифікації зображень.
автореферат, добавлен 27.08.2014Розвиток прикладної геометрії та системних методів її дослідження. Системне визначення, дослідження та систематизація властивостей методів геометричного моделювання. Арифметичні операції над методами. Операція використання спеціальних просторів.
автореферат, добавлен 29.09.2015Побудова моделі руху води каналами зрошувальних систем, що має структуру довільного графа. Розв’язання системи лінійних нерівностей, які відповідають нескінченним графам. Вирішення задачі управління обмеженими запасами у системі декількох споживачів.
автореферат, добавлен 04.03.2014Розробка математичної моделі раціонального розбиття посівних площ, що дозволяє врахувати задані обмеження задачі. Створення алгоритмічного забезпечення моделі. Аналіз рекомендацій щодо раціонального землеустрою посівних площ у період посівів культур.
автореферат, добавлен 24.07.2014Приклад розв’язання системи лінійних алгебраїчних рівнянь з невідомими на прикладі виключення та заміни невідомого, однорідних та симетричних систем рівнянь, виключення спільного виразу, системи рівнянь з модулями та екстремуму функції кількох змінних.
лекция, добавлен 25.01.2014Побудова математичної моделі системи лінійних нерівностей зі змінними коефіцієнтами. Доведення умов сумісності. Відтворення математичної моделі кінетики речовин в організмі. Визначення оптимальних характеристик обслуговування. Методика розподілу ресурсів.
автореферат, добавлен 29.07.2014Розробка та аналіз внутрішньої структури інтервальної математичної моделі в арифметичному евклідовому просторі. Метод розв'язання поставленої задачі на базі методів, призначених для розв'язання задач геометричного проектування, програмне забезпечення.
автореферат, добавлен 18.11.2013