Моделі і методи аналізу та синтезу логічних мереж на основі алгебри предикатів і предикатних операцій
Визначення системи загальних тотожностей для кванторної алгебри предикатних операцій. Розроблення методів композиції та декомпозиції за набором змінних моделей та математичної моделі і відповідної логічної обчислювальної мережі відмінювання прикметників.
Подобные документы
Розроблення схеми зведення СЛАР динамічного варіанту моделі Леонтьєва з матрицями від багатьох змінних до систем з числовими коефіцієнтами спеціального вигляду. Виконання зворотнього аналізу похибок заокруглення та аналіз обчислювальної стійкості.
автореферат, добавлен 13.08.2015Розроблення математичних моделей та оптимізаційних процедур для комплексу ремонтних і консерваційних операцій. Програмні засоби підтримки прийняття ефективних диспетчерських рішень. Математичні моделі ремонтно-консерваційних операцій бригади в шахті.
автореферат, добавлен 23.10.2013Порівняльний аналіз засобів моделювання інформаційно-логічної структури предметних областей. Метод представлення структурно-логічної моделі напівсхем за допомогою структур даних, що базуються на реляційній моделі даних. Прототип програмного комплексу.
дипломная работа, добавлен 11.10.2011Особливості розробки подання сучасних моделей макроекономічного аналізу. Аналіз етапів побудови математичної моделі економічної системи у вигляді багатовимірного процесу з необхідними узгоджувальними процедурами і алгоритмами високоточного розв’язку.
автореферат, добавлен 28.06.2014Побудова системи економіко-математичних моделей на основі використання алгоритмів штучних нейронних мереж для прогнозування ВВП. Оцінка макроекономічних параметрів за допомогою побудови моделі нейронної мережі. Механізми впливу держави на динаміку ВВП.
статья, добавлен 13.09.2016Визначення загальних принципів вибору параметрів базової стратегії змін підприємства та запропонування схеми її оптимізації. Розробка економіко-математичної моделі та алгоритму її реалізації на основі використання методів динамічного програмування.
статья, добавлен 28.09.2016Системний аналіз сучасного стану функціонування різних підрозділів банківської системи. Методика прогнозування значень характеристик відділень банку, їх послуг та операцій. Розробка імовірнісної моделі визначення початкового капіталу для організації.
автореферат, добавлен 28.06.2014Підвищення ефективності технологій аналізу фінансово-економічної інформації щодо діяльності підприємства. Формалізація та класифікація змінних системи основної та фінансової діяльності, їх закономірності та взаємозв'язки. Моделі аналізу показників.
автореферат, добавлен 06.09.2013- 9. Економетрія
Предмет, методи і завдання дисципліни "Економетрія". Побудування загальної лінійної моделі. Мультиколінеарність та її вплив на оцінки параметрів моделі. Емпіричні моделі кількісного аналізу на основі статистичних рівняння. Економетричні моделі динаміки.
курс лекций, добавлен 26.09.2017 Поняття машинного інформаційного забезпечення. Точка беззбитковості як обсяг або рівень операцій, при якому сукупний дохід дорівнює сукупним витратам. Графічне зображення економіки як кібернетичної системи. Побудова інформаційної моделі економіки.
контрольная работа, добавлен 20.03.2015Дослідження методів моделювання теплових процесів і апаратів. Розроблення алгоритми і програми для розв’язання задач інформаційного моделювання з використанням зниження розмірності 4D-симетричних моделей шляхом застосування методів лінійної алгебри.
автореферат, добавлен 28.06.2014- 12. Прогнозування енергетичного комплексу Волинської області на основі нейронних мереж та моделі АРПСС
Математичний аналіз та прогнозування рівня споживання природного газу у Волинській області на різні періоди часу на основі нейронних мереж та моделі АРПСС. Вибір оптимальної моделі споживання газу на основі порівняння відносних похибок прогнозу.
статья, добавлен 13.10.2016 Розгляд інформаційної системи підтримки прийняття рішень для моделювання фінансових процесів та оцінювання ринкових ризиків на основі принципів системного аналізу. Застосування різних варіантів методики Value-at-Risk. Побудова моделі у формі мереж Байєса.
статья, добавлен 21.06.2016Математичне та комп’ютерне моделювання покриття, методи розв’язання задач покриття компактної багатогранної множини скінченним набором прямих паралелепіпедів. Конструктивні засоби моделювання математичних моделей теоретико-множинних відношень задачі.
автореферат, добавлен 20.07.2015Кредит як важіль розвитку національної економіки. Відсоткова ставка як чинник кредитного ринку. Підходи до визначення процентної ставки та аналізу її складових. Моделі аналізу часових рядів відсотків та обсягу кредитних ресурсів, методи прогнозування.
дипломная работа, добавлен 23.09.2016Характеристика графіків, що ілюструють тісноту зв'язку між залежними випадковими величинами. Визначення осоновних методів математичної статистики. Розгляд рівнянь для лінійної залежності. Розрахунок залежності рівня витрат від величини товарооберту.
творческая работа, добавлен 12.10.2014Системний аналіз складних науково-технічних проектів як об'єктів планування. Дослідження методів й моделей управління ресурсами проектів. Розробка інформаційно-аналітичної системи планування ресурсного забезпечення проектів. Вибір джерел інвестування.
автореферат, добавлен 27.08.2014Порівняльний аналіз існуючих засобів моделювання інформаційно-логічної структури предметних областей. Поняття структурного шаблону і метод його виявлення. Метод генерації схеми бази даних, що відповідає структурно-логічній моделі предметної області.
автореферат, добавлен 25.02.2015Розкриття теоретичних основ організації і принципів побудови логістичних систем. Розгляд можливості застосування логістичних методів управління сировинними потоками в молочному під комплексі. Обґрунтовані економіко-математичної моделі даної системи.
курсовая работа, добавлен 18.06.2014Математичні моделі та методи попередньої обробки і втратної компресії, які базуються на статистичному описі даних у вейвлет-просторі із застосуванням апарату прихованих марковських моделей. Методи опису статистичних характеристик вейвлет-коефіцієнтів.
автореферат, добавлен 27.08.2014Етапи та риси процесів дослідження операцій. Моделювання системи управління запасами товару. Основні критерії пошуку оптимальних виробничих рішень. Поняття масового обслуговування. Сутність математичної теорії конфліктів. Розрахунок можливих ризиків.
курс лекций, добавлен 10.03.2014Розробка математичної моделі надійності системи із складним навантажувальним резервуванням для аналізу причин непрацездатності. Функціональна схема системи та динамічне дерево її відмов. Визначення ймовірнісні показників мінімальних перетинів системи.
статья, добавлен 25.08.2016Моделювання процесу вибору оптимальної альтернативи на основі методу експертних оцінок. Побудова альтернативного прогнозного графу, який є відображенням множин умов. Математичні моделі якісного та кількісного аналізу для отримання прогнозних оцінок.
дипломная работа, добавлен 28.02.2016Формальна постановка задач оцінювання статистичних властивостей змінних і параметрів математичних моделей об'єктів ГТС. Реалізація в SCADA-системі реального часу розроблених обчислювальних методів оцінювання змінних і параметрів математичних моделей.
автореферат, добавлен 18.10.2013Існуючі методи оцінювання фінансового стану підприємства, їх переваги і недоліки. Адекватність розроблених математичних моделей та методів, дослідження їх на прикладі суб’єктів господарювання. Прикладні програмні засоби на основі математичних моделей.
автореферат, добавлен 27.08.2015