Предикатні моделі логічних просторів в системах подання знань
Формалізація природної мови як мови подання знань на базі математичного апарату векторних логічних просторів. Розробка алгоритмічного та програмного забезпечення для системи логічної підтримки і проектування інформаційних систем та лінійних просторів.
Подобные документы
Вивчення основних понять i визначень стійкості по Ляпунову. Дослідження стійкості лінійних нестаціонарних систем. Стійкість розв’язку лінійних систем з сталими коефіцієнтами. Критерій Гурвiца. Критерій стійкості автономної системи за першим наближенням.
курсовая работа, добавлен 19.10.2016Розв’язування систем лінійних рівнянь з довільним числом невідомих. Методи розв'язування систем лінійних рівнянь: точні й ітераційні. Система двох рівнянь з двома невідомими. Розв’язання систем лінійних рівнянь методом Гауса, Крамера, матричним методом.
курсовая работа, добавлен 23.04.2011Дослідження питання існування неперервних розв'язків систем лінійних і нелінійних різницевих рівнянь із запізненнями, розробка методу їх побудови. Побудова для систем лінійних рівнянь представлення загального неперервного розв'язку і вивчення структури.
автореферат, добавлен 22.07.2014Характеристика методів та алгоритмів моделювання розподілу потоків в гідравлічних розподільчих системах стискуваної рідини. Поняття та сутність закону Кірхгофа, розрахунок невідомих коефіцієнтів опору. Метод топологічної згортки при лінійних залежностях.
автореферат, добавлен 29.08.2014- 80. Застосування теорії графів при розв’язанні завдань різних видів та вивчення елементів теорії графів
Розглянуто формальне визначення, спосіб подання графів, обґрунтування вибору програмних засобів. Наведені основні алгоритми на графах та можливості їх практичного застосування. Програмна реалізація алгоритмів та можливості мови програмування Visual Basic.
дипломная работа, добавлен 30.05.2014 Обґрунтування варіаційного підходу до опису власних значень та до розв'язування лінійних та нелінійних багатопараметричних спектральних задач. Розробка необхідного програмного забезпечення та числові експерименти з розв'язування відомих модельних задач.
автореферат, добавлен 30.07.2015Аналіз існуючих методів моделювання, векторних і скалярних полів за позиційними і диференціальними властивостями, теоретичні основи узагальнено-тривекторного числення. Метод розв’язання задачі теплопровідності, теорії пружності в постановці Ламе.
автореферат, добавлен 02.08.2014Дослідження регулярних цілих вектор-функцій половинного порядку зростання та відповідних їм безумовних базисів гільбертових просторів. Розв’язання задачі інтерполяціі функціями з вагових класів цілих вектор-функцій половинного порядку зростання.
автореферат, добавлен 06.07.2014Алгоритми генерації імітовставки на базі моделей швидких перетворювань Уолша і Фур'є. Методи генерування апарату надлишкових кодів. Векторні алгоритми перетворювань Фур’є і Уолша з використанням алгоритмів розщеплення в задачі відкритого шифрування.
автореферат, добавлен 30.07.2015Математичне моделювання у задачах економічного змісту. Системи лінійних рівнянь з двома змінними, рівняння бюджетної лінії, закон Госсена. Розв'язування задач на знаходження ринкової рівноваги. Задачі на визначення наборів товару раціональним споживачем.
контрольная работа, добавлен 24.01.2018Розглянута задача швидкодії при наявності статичної перешкоди. Розробка алгоритму огинання перешкоди та віднаходження оптимального часу руху. Розв’язання систем лінійних алгебрагічних рівнянь. Обрахунок мінімального часу переміщення керованої системи.
статья, добавлен 24.01.2020Необхідні і достатні умови регулярності лінійних канонічних систем диференціальних рівнянь і відповідних лінійних розширень динамічних систем на торі. Умови регулярності лінійних розширень динамічних систем на торі в термінах двох функцій Ляпунова.
автореферат, добавлен 22.07.2014Поняття та структура, класифікація та різновиди систем лінійних алгебраїчних рівнянь, їх відмінні особливості та характерні властивості. Сутність еквівалентних систем. Методика розв’язання даних рівнянь, використання теореми Кронекера-Капеллі та Гаусса.
лекция, добавлен 08.08.2014Аналіз варіантів, вибір і розробка компонентної архітектури з орієнтацією на різні режими роботи в мережному середовищі. Розробка прикладних протоколів обміну і відповідного програмного забезпечення модулів розподіленого моделюючого середовища.
автореферат, добавлен 15.07.2014Алгоритмічне забезпечення геометричного моделювання. Унаочнення у часі розв’язків рівняння Дуффінга як математичного апарату дослідження процесу проклацування механічних конструкцій типу ферми Мезеса. Побудова фазових траєкторій динамічних систем.
автореферат, добавлен 14.09.2014Розв’язання задач ідентифікації ядер інтегральних моделей динаміки систем з розподіленими параметрами (СРП). Побудова алгоритмів математичного моделювання стану та керування ним для спостережуваних СРП, які описуються неповними диференціальними моделями.
автореферат, добавлен 29.08.2014Сутність і математичне обґрунтування систем лінійних нерівностей, внутрішня структура та характерні властивості. Основні задачі і поняття лінійного програмування, його закономірності та значення. Транспортна задача та головні принципи її розв’язання.
лекция, добавлен 08.08.2014Розвиток теорії математичного моделювання реальних складних систем з недостатньою структурованістю, які мають гомеостатичну властивість з локальною післядією. Параметрична ідентифікація моделі. Модель фізіологічної системи регуляції вуглеводного обміну.
статья, добавлен 14.07.2016Побудова предикатних моделей таких логіко-математичних понять як рівність, рівність з набору властивостей, декартовий добуток, належність, теоретико-множинні операції об'єднання, перетинання, доповнення, розбивка множин, зв'язок відображень з відносинами.
автореферат, добавлен 12.07.2014Поняття еквівалентних перетворень системи векторів, операції над матрицями та їхні властивості. Обчислення оберненої матриці елементарними перетвореннями. Загальні відомості про системи лінійних рівнянь, особливості та розрахунок діагональної матриці.
контрольная работа, добавлен 16.07.2017Характеристика методів послідовного виключення, Гаусса, Крамера та інших точних, ітераційних та ймовірнісних методів розв'язування систем лінійних алгебраїчних рівнянь. Приклади та алгоритм їх рішення. Обчислення визначника матриці за правилом Саррюса.
контрольная работа, добавлен 13.12.2013Дослідження впливу конструктивних параметрів мікрорезонаторів на вихідні електричні характеристики. Можливості створення бібліотеки VHDL-AMS моделей для використання її в процесі проектування та моделювання режимів функціонування вбудованих систем.
автореферат, добавлен 29.08.2014Дослідження математичних методів ідентифікації динамічних систем. Реалізація алгоритму методу ідентифікації моделі авторегресії-ковзного середнього АРКС. Розв’язання системи лінійних рівнянь типу Юла-Уокера для визначення р та q параметрів авторегресії.
статья, добавлен 23.06.2016Системи лінійних рівнянь, їх визначники другого і третього порядків. Формула Ньютона-Лейбніца та обчислення площ плоских фігур в прямокутній системі координат. Основні правила диференціювання і похідні будь-яких елементарних функцій та вищих порядків.
курс лекций, добавлен 14.12.2013Ізольовані критичні точки на двовимірних та тривимірних многовидах. Потоки на стратифікованих множинах. Основи якісної теорії векторних полів на поверхнях. Динамічні системи з гіперболічною структурою. Топологічні класифікації полів Морса-Смейла.
автореферат, добавлен 05.08.2014