Розробка інтегрованих алгебро-алгоритмічних моделей: елементи теорії, інструментарій, застосування
Огляд багатопоточних засобів мов програмування. Аналіз інтегрованого інструментарію синтезу алгоритмів і програм на основі алгебро-алгоритмічних моделей. Створення алгебро-алгоритмічних моделей програм для розв’язання задач символьної мультиобробки.
Подобные документы
Тенденції розвитку сучасних СППРЕБ, інтеграція прикладних програм і основні особливості типових програмних реалізацій математичних моделей СППРЕБ. Розробка спеціалізованої мови програмування для формалізації різних аспектів інтеграції моделей у СППРЕБ.
автореферат, добавлен 07.11.2013Аналіз основних етапів і методів побудови нейронних мереж прямого поширення та обґрунтування еволюційного підходу для синтезу нейромоделей. Розробка основних програмних засобів для синтезу розпізнаючих моделей об’єктів на основі запропонованих методів.
автореферат, добавлен 26.08.2015Розробка та використання методів виведення за аналогією для розв’язання аналітичних задач на основі атрибутивних і структурно-атрибутивних моделей знань, представлених в семантичних мережах. Порівняльний аналіз розроблених методів виведення за аналогією.
автореферат, добавлен 28.07.2014Дослідження особливостей використання мов програмування Pascal та С. Розробка алгоритмів розв’язання задач. Блок-схема графічного інтерфейсу програми. Табуляція параметрично заданої функції. Побудова і виведення на екран монітора функціонального графіку.
курсовая работа, добавлен 28.08.2017Аналіз математичних моделей метрологічного забезпечення експлуатації об'єктів. Методи вирішення задач: перебір або підбіор варіанту згідно вимог системи, математичне програмування. Вирішення моделей Рао-Крамера-Фреша методом нелінійного програмування.
статья, добавлен 14.07.2016Аналіз сучасного стану технологій програмування та графічний інтерфейс в програмному забезпеченні. Створення програмної оболонки для пошуку двох трикутників з найменшими тупими кутами, її структура даних та функцій. Модульність в реалізації програм.
контрольная работа, добавлен 25.03.2010Аналіз методів побудови емпіричних моделей оптимальної складності з внутрішним паралелізм на основі генетичних алгоритмів для розробки ефективної програми реалізації, що приведе до скорочення затрат машинного часу на побудову математичної моделі.
статья, добавлен 29.06.2016Аналіз тенденцій розвитку сучасних СППРЕБ, методи інтеграції прикладних програм і основні особливості типових програмних реалізацій математичних моделей СППРЕБ. Розробка спеціалізованої мови програмування для формалізації різних аспектів інтеграції.
автореферат, добавлен 21.11.2013- 34. Моделі та методи автоматизації прийняття рішень з управління основною діяльністю страхової компанії
Розробка аналітичних моделей для прогнозу показників страхової діяльності. Ідентифікація параметрів моделей і перевірка їх адекватності. Аналіз алгоритмів і програм функціонування автоматизованої системи управління основною діяльністю страхової компанії.
автореферат, добавлен 25.02.2015 Сутність теорії про знаходження найкоротших шляхів, оптимального маршруту за допомогою математичного об'єкту - графу. Розробка схем алгоритмів, рішення задач з використанням алгоритму Дейкстри та Флойда, матричного методу, модифікованих алгоритмів.
курсовая работа, добавлен 11.05.2015Загальна схема розробки алгоритмів паралельних обчислень для розв’язку складних задач. Особливості моделювання паралельних програм. Аналіз масштабованості реалізації паралельних обчислень. Етапи оцінки комунікаційної трудомісткості паралельних алгоритмів.
лекция, добавлен 30.08.2017Розробка концепції проблемно-орієнтованої інтегрованої технології формування багатокритеріальних математичних моделей. Створення комплексу процедур формалізації постановки задачі. Запровадження інструментальних засобів автоматизованого формування моделей.
автореферат, добавлен 07.01.2014Розробка методів та засобів формування і застосування стилів програмування в дослідженні ПЗ. Комплекс інформаційно-програмних засобів, що автоматизують вирішення визначених задач. Застосування компонентів вторинного використання та успадкованого ПЗ.
автореферат, добавлен 30.07.2014Характеристика існуючих когнітивних моделей сприйняття і уваги, які беруть участь в діалоговому процесі. Розробка інтегрованих об’єктно-орієнтованих моделей типу сприйняття-увага. Дослідження програмового прототипу когнітивної моделі діалогового агента.
автореферат, добавлен 07.08.2014Аналіз дослідження апаратно-програмних моделей комп'ютерного алгоритму - SH-моделей алгоритму. Основні принципи побудови псевдо SH-моделі комп'ютерного алгоритму та її застосування для дослідження програм сортування та вузлів асоціативної пам'яті.
автореферат, добавлен 29.09.2015Закономірності появи та вдосконалення систем комп'ютерної алгебри разом із розвитком засобів обчислювальної техніки. Основні етапи розвитку алгоритмічних мов, принципи їх збагачення. Особливості сигнатури та алгоритми базових процедур мови А-2000.
автореферат, добавлен 25.02.2015Дослідження методів розв'язання задач неопуклого стохастичного програмування, включаючи локальну та глобальну стохастичну оптимiзацiю, цiлочисленне стохастичне програмування, локальну та глобальну оптимiзацiю ймовiрностей та функцій сподіваної корисності.
автореферат, добавлен 18.11.2013Математичний апарат для дослідження дискретних схем, комбінаторно-ймовірнісних алгоритмів. Розв'язання прикладних задач, що використовують поняття та ідеологію теорії випадкових розміщень. Ряд дискретних моделей в умовах невизначеності різними методами.
автореферат, добавлен 11.11.2013Конструктивні умови розв’язності неперервних задач оптимального розбиття множин із розміщенням центрів при додаткових обмеженнях. Створення ефективних алгоритмів розв’язання детермінованих та стохастичних задач. Розв’язання задач розміщення-розподілу.
автореферат, добавлен 20.07.2015Дослідження методів обчислюваності програм, які узагальнюють традиційні підходи до неї. Описання класів обчислюваних функцій і композицій над номінативними даними різних рівнів абстракції і загальності, побудування алгебраїчних представлень таких класів.
автореферат, добавлен 19.04.2014Дослідження задач прийняття рішень при неповній початковій інформації. Побудова алгоритмів синтезу цільових псевдобулевих функцій на основі знань. Обчислення паретівської множини шляхом попарних порівнянь точок. Розробка метода активних звужуючих запитів.
автореферат, добавлен 22.06.2014Аналіз особливостей формування і використання непараметричних моделей динамічних об'єктів. Розробка алгоритмів чисельної реалізації непараметричних динамічних моделей з орієнтацією на розвиток засобів комп'ютерного моделювання динамічних об'єктів.
автореферат, добавлен 14.10.2015Створення алгоритмів та методів для автоматичної верифікації формальних моделей асинхронних промислових систем. Перевірка динамічних властивостей, редукції простору пошуку, генерації множини тестових сценаріїв, що задовольняють певним критеріям покриття.
автореферат, добавлен 26.09.2015Розгляд процесу програмування засобів комп'ютерного програмного забезпечення, призначеного за для використання інформації з баз даних і програм для роботи з мережевими протоколами через Інтернет. Огляд програм для електронної пошти і обміну файлами.
дипломная работа, добавлен 30.09.2013Розробка та рекомендації з практичної реалізації моделей, алгоритмів управління матеріальними, інвестиційними, інформаційними, трудовими та інтелектуальними потоками. Вдосконалення ресурсного забезпечення науково-дослідних програм моніторингу довкілля.
автореферат, добавлен 14.09.2014