Верифікація програмних засобів символьних перетворень для моделювання динамічних процесів об’єктів транспорту
Розробка тестів для практичного застосування якості працездатності пропонуємих засобів символьних перетворень для аналітичного розв’язання нелінійних диференціальних рівнянь. Моделювання динамічних процесів об’єктів високошвидкісних транспортних засобів.
Подобные документы
- 51. Розробка засобів паралельного розв`язку систем лінійних рівнянь в САПР схемотехнічного моделювання
Блочно-діагональний LU метод з обрамленням, який задовольняє вимогам архітектури комп’ютерів. Кластерний алгоритм рівномірного завантаження процесорів Санжованні-Вінсентеллі. Структура паралельного модуля рішення систем лінійних розріджених рівнянь.
автореферат, добавлен 12.02.2014 Напрями дослідження мереж на кристалі та підходи до їх моделювання. Характеристика аналітичне, високорівневе та низькорівневе імітаційне моделювання. Застосування мови програмування SystemC як альтернативне рішення з побудови моделей мереж на кристалі.
статья, добавлен 24.03.2016Дослідження існуючих математичних моделей щодо переміщення рідкого середовища з рухомими границями. Визначення основних найбільш перспективних напрямків розвитку паралельних асинхронних і мультисіткових методів і програмних засобів для їх реалізації.
автореферат, добавлен 20.07.2015Історичні етапи розвитку засобів реалізації інформаційних процесів. Принцип роботи аналітичної машини Ч. Беббіджа. Мейнфрейми - високопродуктивні надійні сервери для використання в критично важливих системах. Напрями використання комп'ютерної техніки.
презентация, добавлен 06.12.2018Підходи до моделювання технологічних процесів, етапи створення математичних моделей і комп'ютерне моделювання технологічних процесів. Стрибок в розробці моделей, їх верифікації, в створенні і використанні модельно-обгрунтованих методів дослідження.
статья, добавлен 05.02.2019Методи векторного представлення символьних послідовностей, що зберігають схожість за відстанню редагування. Дослідження методів пошуку схожих символьних послідовностей за допомогою розподілених представлень. Програмні засоби, що реалізують ці методи.
автореферат, добавлен 14.09.2015Розробка моделей, методів та інструментальних засобів для комплексного організаційно-технологічного моделювання проектно-орієнтованих виробництв. Скорочення персоналу задіяного в виробничому процесі. Використання мобільних засобів автоматизації.
автореферат, добавлен 29.09.2014Особливості моделювання періодичних процесів, знаходження оптимального проходження процесу стерилізації, від якого залежать якість і тривалість зберігання продуктів. Використання принципів об’єктно-орієнтованого моделювання та уніфікованої мови UML.
статья, добавлен 25.11.2016- 59. Методи та засоби синтезу й відображення динамічних об'єктів (для центрів оперативного управління)
Алгоритмічні методи побудови засобів синтезу зображень, що забезпечують відтворення динаміки рухомого об'єкта в системах оперативного управління в режимі реального часу. Ізотермічне конформне відображення образу об'єкта. Обробка компонентів руху об'єктів.
автореферат, добавлен 22.04.2014 Аналіз критеріїв асимптотичної стійкості положення рівноваги нелінійної динамічної системи. Розробка методів розв’язання проблеми Ляпунова для істотно нелінійних систем. Побудова конструктивних алгоритмів аналізу та синтезу динамічних систем керування.
автореферат, добавлен 25.06.2014Сутність апаратного забезпечення у комп’ютері. Види прикладних програмних засобів. Базовий, системний та службовий рівні інтерфейсу. Загальне поняття про класифікацію службових засобів забезпечення. Транслятори та інтерпретатори мов програмування.
реферат, добавлен 12.11.2010Створення теоретичної та алгоритмічної бази для моделювання деформації геометричних об’єктів шляхом їх занурення у векторне поле. Розробка методу інтерполяції, який дозволяє позбутися недоліків існуючих методів при моделюванні векторного поля деформації.
автореферат, добавлен 30.07.2015Порівняння програмних засобів, що дозволяють працювати з ілюстраціями. Засоби обробки ілюстраційної інформації в Microsoft Word. Застосування шарів у векторному графічному редакторі CorelDraw. Порівняння програмних засобів, в яких застосовуються шари.
дипломная работа, добавлен 19.11.2015Розробка концепції моделювання механізмів процесного менеджменту інформаційних систем управління. Дослідження методів розрахунку й аналізу ефективності реалізації бізнес-процесів. Створення структури комплексу інформаційної підтримки прийняття рішень.
автореферат, добавлен 30.08.2013Розробка математичних моделей, методів й обчислювальних алгоритмів для моделювання широкого класу задач поширення акустичної енергії в нескінченних хвилеводах. Формулювання нових математичних моделей хвильових процесів. Створення програмного забезпечення.
автореферат, добавлен 12.02.2014Розробка системи взаємопов’язаних адекватних моделей символьної обробки та конкретних різновидів структур символьних даних (літерної зіставленості, конкатенації, ієрархії) та відповідних їм засобів обробки за методом композиційного програмування.
автореферат, добавлен 06.07.2014Призначення систем імітаційного моделювання руху аерокосмічних та наземних об’єктів. Архітектура веб-додатку імітаційного моделювання. Особливості інтерфейсу клієнтського додатку. Дії з боку користувача, які необхідно виконати при інтерактивній роботі.
статья, добавлен 07.04.2018Розробка методів та засобів формування і застосування стилів програмування в дослідженні ПЗ. Комплекс інформаційно-програмних засобів, що автоматизують вирішення визначених задач. Застосування компонентів вторинного використання та успадкованого ПЗ.
автореферат, добавлен 30.07.2014- 69. Структура та інтерфейс програмних засобів для дослідження фізичних процесів на комп’ютерних моделях
Моделюючі програмні засоби у контексті дослідницького підходу щодо вивчення фізики у вищому педагогічному навчальному закладі. Дослідження структури та інтерфейсу педагогічних програмних засобів для вивчення фізичних явищ на комп’ютерних моделях.
статья, добавлен 23.02.2017 Аналіз існуючих засобів інформаційних технологій моніторингу транспортних комунікацій, оцінка їх переваг і недоліків. Визначення мережевої концепції та технології проектування універсальних програмно-апаратних комплексів. Математичний опис і моделювання.
автореферат, добавлен 18.11.2013Методика аналізу адекватності відображення динамічних нечітких процесів, оптимізації ресурсів штучних нейронних мереж та вибору альтернатив взаємодії систем обчислювального інтелекту. Закони та механізми машинного навчання радіально–базисних структур.
автореферат, добавлен 12.07.2014Розробка методів математичного моделювання, спрямованих на дослідження радіоекологічного стану територіально-розподілених об'єктів для вирішення задач прогнозування можливих ситуацій. Вимоги до комп'ютерних методів моделювання радіоекологічних ситуацій.
автореферат, добавлен 12.08.2014Розробка алгоритмів розв’язання задач відтворення сигналів у вигляді інтегральних моделей та створенню на їх основі прикладних програмних засобів. Їх комп’ютерна реалізація та застосування на обчислювальних кластерах з різними операційними системами.
автореферат, добавлен 26.08.2015Розробка математичної моделі надійності програмних засобів, яка дозволяє кількісно оцінити і прогнозувати значення показників надійності. Отримання кількісної оцінки показників надійності комп'ютерних систем при заданих обмеженнях і припущеннях.
статья, добавлен 25.12.2016Дослідження проблеми розвитку комп’ютерних засобів і систем. Підвищення ефективності процесів створення систем інформатизації об’єктів народного господарства. Вивчення теорії, методів і засобів проблемної орієнтації архітектури автоматизованих систем.
автореферат, добавлен 30.10.2015