Предикатні моделі логічних просторів в системах подання знань
Формалізація природної мови як мови подання знань на базі математичного апарату векторних логічних просторів. Розробка алгоритмічного та програмного забезпечення для системи логічної підтримки і проектування інформаційних систем та лінійних просторів.
Подобные документы
Створення та обґрунтування методів, засобів математичного і комп'ютерного моделювання електромеханічних систем з орієнтацією на структурно-орієнтований підхід до організації програмних засобів. Використання інтегральних та інтегро-диференціальних моделей.
автореферат, добавлен 29.07.2015Вдосконалення математичної моделі задачі оптимізації розміщення орієнтованих прямокутників для класу неперервно диференційованих функцій, цілі, розробка чисельних методів їх розв’язання. Розробка програмного забезпечення для розв’язання задач оптимізації.
автореферат, добавлен 28.08.2014Дослідження чисельних схем для задач п’єзоелектрики. Умови коректності статичних і усталених коливань п'єзоелектрика. Розробка об’єктно-орієнтованої моделі даних і алгоритмів та відповідного їй програмного забезпечення, проведення числових експериментів.
автореферат, добавлен 29.07.2015Обґрунтовано доцільність та напрями застосування математичного моделювання для вирішення завдань з досліджень та підтримки прийняття рішень у меліорації. Використовувались методи математичного моделювання, теоретичних узагальнень та експертного аналізу.
статья, добавлен 16.05.2024Керовані системи диференціальних рівнянь з частинними похідними першого порядку з однаковими головними частинами. Методи розв'язання задачі про відображення траєкторій лінійних керованих систем на траєкторії канонічної системи без заміни керування.
автореферат, добавлен 28.07.2014Теорії замкнених операторів та співвідношення двоїстості за Фенхелем для опуклих функціоналів. Підхід до розв’язання задач гарантованого оцінювання класу лінійних алгебраїчних дескрипторних систем. Поняття мінімаксних оцінок та сутність фільтру Калмана.
автореферат, добавлен 27.08.2014Формування уявлення про математику як частину загальнолюдської культури. Закріплення знань про відношення, пропорцію, їх властивості. Поняття прямої й оберненої пропорційної залежності. Поглиблення знань, вміння їх застосовувати для розв’язування задач.
конспект урока, добавлен 24.09.2018Умови збіжності матриць Гріна лінійних крайових задач для систем диференціальних рівнянь першого порядку по нормі простору Лебега. Аналіз неперервності за параметром розв’язків лінійних крайових задач для систем диференціальних рівнянь першого порядку.
автореферат, добавлен 27.08.2015Встановлення умов стійкості за Ляпуновим автономної системи диференціальних рівнянь. Вивчення поведінки розв'язків градієнтної систем рівнянь з імпульсною дією. Дослідження розривних векторних полів на гладких многовидах. Нерухомі точки дифео-морфізмів.
автореферат, добавлен 13.08.2015Дослідження окремих питань геометрії і теорії лінійних операторів у лінійних просторах з індефінітним внутрішнім добутком. Отримання аналогу нового розкладання Вольда напівунітарного оператору в довільному лінійному просторі з внутрішнім добутком.
автореферат, добавлен 25.09.2015Аналіз розвитку методів теорії ГЧС для математичного моделювання і комп’ютерних обчислень. Дослідження методів виконання алгебраїчних операцій і вивчення найбільш важливих класів ізоморфизмів. Вирішення гіперкомплексних лінійних диференціальних рівнянь.
автореферат, добавлен 27.09.2014Задача топологічної класифікації функцій та динамічних систем на маловимірних многовидах, повні топологічні інваріанти, побудовані на теорії розкладів на ручки Смейла. Класифікація векторних полів Морса-Смейла та функцій Морса на замкнених многовидах.
автореферат, добавлен 07.08.2014Дослідження асимптотичних властивостей розв'язків отриманих нескінченних систем. Основи застосування алгоритму лімітант при чисельних двосторонніх оцінках розв'язків регулярних і квазірегулярних нескінченних систем лінійних алгебраїчних рівнянь.
автореферат, добавлен 20.04.2014Розроблення алгоритму розв'язування систем лінійних алгебраїчних рівнянь матрицями тригонометричних поліномів, які є модифікаціями прямих числових методів лінійної алгебри на неунітарних перетвореннях та програмування з дробово-лінійною функцією.
автореферат, добавлен 25.04.2014Розробка арифметики лінійних інтервальних обмежників. Аналіз геометричної інтерпретації інтервального та об’єднаного розширення функції. Ефективні методи розв’язування нерівностей, рівнянь, задач оптимізації, побудови квадратурних формул та інше.
статья, добавлен 30.01.2017Характеристика існуючих одноразарядних і паралельних суматорів і арифметично-логічних пристроїв та їх основних мікросхем. Аналіз і способи вирішення проблеми апаратурної реалізації арифметичних операцій кінцевих полів і кілець за модульним принципом.
курсовая работа, добавлен 19.07.2017Дослідження розвитку теорії евклідової комбінаторної оптимізації. Розробка методів розв’язання комбінаторних оптимізаційних задач геометричного проектування та нового наукового напряму – інтервальної комбінаторної оптимізації в геометричному проектуванні.
автореферат, добавлен 26.08.2014Розробка методів дискретного визначення кривих ліній на рівномірній сітці за допомогою геометричної інтерпретації математичного апарату одновимірних числових послідовностей за початкових і крайових умов. Методи дискретного геометричного моделювання.
автореферат, добавлен 28.08.2014- 119. Лінійні рівняння
Розробка конспекту уроку з математики. Подання навчального матеріалу уроку в двох блоках. Рівняння (лінійні) та їх властивості. Використання рівнянь під час розв'язання тестових завдань. Лінійні рівняння з однією змінною. Розв'язування рівнянь та задач.
конспект урока, добавлен 20.09.2018 - 120. Екстремальні задачі і квадратичні диференціали в геометричній теорії функцій комплексної змінної
Розробка методики та ефективних прийомів розв'язання екстремальних задач для (n, m) – променевих систем точок. Поняття, відмінні особливості рівнопроменевих систем точок. Доведення гіпотези Дюрена для частинного випадку скінченних лінійних функціоналів.
автореферат, добавлен 30.08.2014 Методика побудови загального псевдорозв’язку систем лінійних алебраїчних рівнянь. Аспекти псевдообернення матриць на системи з розподіленими параметрами для розв’язання оберненних задач динаміки цих систем в обмежених просторово-часових областях.
автореферат, добавлен 11.11.2013Узагальнення та систематизація знань учнів про означення тригонометричних функцій гострого кута, їх основних властивостей, тригонометричних тотожностей. Способи застосування набутих знань під у нестандартних ситуаціях. Приклади основних типів задач.
конспект урока, добавлен 14.09.2018- 123. Розв'язування задач
Узагальнення та систематизування знання формул обчислення площ трикутника й трапеції. Діагностика рівня засвоєння учнями навчального матеріалу. Закріплення знань властивостей площ і формул площ та трикутника і трапеції. Систематизація опорних знань.
разработка урока, добавлен 12.09.2018 - 124. Множення двох чисел
Перевірка домашнього завдання. Математичний диктант: запис у вигляді виразу добутку чисел. Перевірка результатів виконання математичного диктанту та повторення правила множення двох чисел з однаковими знаками. Актуалізація та закріплення опорних знань.
конспект урока, добавлен 19.09.2018 Розробка чисельно-аналітичного методу А.М. Самойленка для оцінки існування та наближеної побудови розв'язків нелінійних систем диференціальних рівнянь. Аналіз можливих періодів розривних циклів лінійних автономних імпульсних систем другого порядку.
автореферат, добавлен 14.07.2015