Предикатні моделі логіко-математичних понять та їх застосування в системах штучного інтелекту
Побудова предикатних моделей таких логіко-математичних понять як рівність, рівність з набору властивостей, декартовий добуток, належність, теоретико-множинні операції об'єднання, перетинання, доповнення, розбивка множин, зв'язок відображень з відносинами.
Подобные документы
Вивчення змісту проблеми апроксимації неперервних відображень на банахових просторах та межах Фреше в класі аналітичних відображень. Доведення просторової теореми Вінера. Застосування поліномів для побудови і дослідження функцій на гільбертовому кубі.
автореферат, добавлен 20.07.2015Аналіз відношення лінійного порядку, підхід до оптимізації лінійних функцій на композиційних образах комбінаторних множин. Дослідження екстремальних властивостей та оцінка мінімуму опуклих функцій на класах композиційних образів комбінаторних множин.
автореферат, добавлен 30.10.2015Побудова і обґрунтування ефективних алгоритмів розв'язування СЛАР з тепліцевими і ганкелівими матрицями. Побудова моделей для реалізації алгоритмів з поліномінальними елементами в багатопроцесорних обчислювальних системах. Аналіз погрішностей округлення.
автореферат, добавлен 11.10.2011Розробка математичних моделей лінійних систем на базі рівнянь типу згортки та сингулярних інтегральних рівнянь. Рішення задачі відновлення імпульсної характеристики для рівняння згортки. Оцінка розмірності ядер операторів та побудови чисельних рішень.
автореферат, добавлен 17.07.2015Побудова математичних моделей динамічної поведінки пластин та циліндричних оболонок на пружній шаровій армованій основі. Розвиток чисельно-аналітичних алгоритмів для аналізу хвильових процесів та аналіз механічних ефектів поведінки елементів конструкцій.
автореферат, добавлен 23.02.2014Аналіз ефективності методів послідовного перегляду, однорівневого та дворівневого блочного пошуку для законів розподілу ймовірностей звертання до записів. Визначення значень параметра числа рівнів індексу для багаторівневих індексно-послідовних файлів.
автореферат, добавлен 04.03.2014Ознайомлення із теорією комбінаторної оптимізації. Дослідження екстремальних властивостей цільових функцій на полірозміщеннях - лінійних, опуклих та сильно опуклих. Розробка методу відсікання спеціального класу частково комбінаторних евклідових задач.
автореферат, добавлен 29.04.2014Побудова математичних моделей температурних полів рухомих і нерухомих ізотропних та анізотропних середовищ, в яких діють внутрішні джерела тепла. Математична модель індукційного нагрівання рухомого середовища у вигляді задачі на спряження двох циліндрів.
автореферат, добавлен 12.07.2014Нові підходи до математичного і комп'ютерного моделювання задач геометричного проектування. Моделювання комбінаторних задач розміщення з урахуванням похибок вихідних даних на основі застосування елементів теорії інтервального аналізу в проектуванні.
автореферат, добавлен 22.07.2014Розробка конструктивних засобів математичного моделювання. Побудова математичних моделей і розробка наближених методів розв’язання оптимізаційних задач розміщення n-паралелепіпедів та n-політопів в областях простору, що мають форму n-паралелепіпеда.
автореферат, добавлен 29.09.2015Синтез математичних моделей багатофакторного оцінювання та процедури їх структурно-параметричної ідентифікації на основі методів генетичної селекції. Метод компараторної ідентифікації моделей багатофакторного оцінювання, їх програмна реалізація.
автореферат, добавлен 29.07.2014Встановлення необхідних і достатніх умов існування розв'язків різних класів векторних задач дискретної оптимізації. Побудова математичних моделей та методів дослідження дискретних задач оптимізації в умовах невизначеності та оцінка їх ефективності.
автореферат, добавлен 12.07.2015Умови, що забезпечують нормальність та замкненість сімей відображень скінченного скривлення довжини, поведінка дилатацій цих відображень при локально рівномірній збіжності. Узагальнені та посилені варіанти теорем збіжності для квазіконформних відображень.
автореферат, добавлен 07.08.2014Встановлення формул для похибок підхідних дробів, що виникають в результаті збурення їх елементів. Побудова множин відносної стійкості до збурень нескінченних гіллястих ланцюгових дробів з додатними елементами. Побудова множин стійкості до їх збурень.
автореферат, добавлен 14.09.2014Побудова ймовірнісного простору випадкових множин з марковськими подрібненнями. Вивчення питання сепарабельності за Матероном випадкових множин з марковськими подрібненнями. Імовірнісний підхід побудови ймовірнісного простору довільних замкнених множин.
автореферат, добавлен 29.09.2015Дослідження математичних моделей інформаційно-вимірювальних систем (ІВС) інженерних мереж з підсистемою зв'язку на основі цифрових мереж інтегрального обслуговування. Чисельні методи реалізації у вигляді алгоритмічного та програмного забезпечення.
автореферат, добавлен 04.03.2014Побудова математичних моделей, які враховують внутрішньоводоймні процеси та формування кисневого режиму водного об'єкта. Процеси формування кисневого режиму у водних екосистемах з урахуванням впливу структури річкової системи на площі водозабору.
автореферат, добавлен 29.09.2014Розвиток теорії евклідової комбінаторної оптимізації в геометричному проектуванні шляхом дослідження властивостей спеціальних класів цільових функцій на множині поліпереставлень. Дослідження математичних моделей, розробка методів розв’язання класу задач.
автореферат, добавлен 29.09.2015Визначення вмісту алгоритму як набору інструкцій, що описують порядок дій за рішенням завдання. Коротка історія розробки алгоритмів. Вистава, аналіз і нумерація математичних алгоритмів. Характеристика особливостей алгоритмічно нерозв'язних завдань.
презентация, добавлен 18.10.2012Тлумачення сутності таких понять, як "споріднені перетворення" та "споріднені відповідності", аналіз їх використання для розв'язку задач із нарисної геометрії. Приклади застосування спорідненої відповідності на кресленнях з ортогональними проекціями.
статья, добавлен 31.01.2018Використання математичних моделей, лінійних і нелінійних інтегральних рівнянь, сплайн-ітераційних методів для обчислювальної фізики в задачах інтерпретації: ефектів і явищ в нелінійній оптиці багатопучкових процесів, динамічній голографії, фізиці плазми.
автореферат, добавлен 24.02.2014Викладення прикладів застосування диференціальних рівнянь у великій кількості математичних моделей, явищ і процесах у різних галузях науки (біології, фізиці). Розв’язання задач на знаходження кривої, яка проходить через певну точку; швидкості та відстані.
лекция, добавлен 30.04.2014- 73. Основи векторів
Розгляд поняття вектора. Основні лінійні операції над векторами. Проекція вектора на вісь. Основні властивості проекцій. Декартова прямокутна система координат. Характеристика напрямних косинусів. Лінійні операції над векторами, заданими проекціями.
лекция, добавлен 30.10.2014 Формування математичних моделей перехідних процесів у аналогових схемах. Застосування систем диференціальних рівнянь при розрахунку процесів в електричних колах. Визначення вимог до обчислювальних засобів, придатних для паралелізації діакоптичних методів.
автореферат, добавлен 29.09.2015Розробка наближених й аналітичних методів дослідження математичних моделей з вільною межею, які мають теплофізичне й гідродинамічне походження. Мінімізація функціоналів та обґрунтування застосування методу Рітца при побудові наближених розв’язків.
автореферат, добавлен 26.08.2015