Концептуальна модель технології семантико-числової верифікації часопараметризованих мультипаралельних програм
Підвищення ефективності обчислювальної техніки. Використання методів статичної й динамічної верифікації у системах проектування паралельних програм. Побудова графа за допомогою засобів автоматичної візуалізації. Перевірка семантичної коректності структур.
Подобные документы
Розробка методів верифікації алгоритмів функціонування дискретних систем, що задовольняють заданим часовим обмеженням. Використання часових логік для опису властивостей алгоритмів і методів побудови моделей систем, описаних у сучасних мовах проектування.
автореферат, добавлен 29.08.2014Побудова формальних специфікацій за неформальними вимогами генерація набору тестів, синтез архітектурної моделі і перевірка властивостей. Прототипи програм верифікації формальних специфікацій і символьної генерації в системі інсерційного програмування.
автореферат, добавлен 30.07.2014Аналіз і класифікація атрибутів, метрик, методів та інструментальних засобів верифікації й сертифікації програмного забезпечення. Розробка методу верифікації програмного забезпечення в умовах ресурсних обмежень і неповноти проектної документації.
автореферат, добавлен 27.08.2015Створення алгоритмів та методів для автоматичної верифікації формальних моделей асинхронних промислових систем. Перевірка динамічних властивостей, редукції простору пошуку, генерації множини тестових сценаріїв, що задовольняють певним критеріям покриття.
автореферат, добавлен 26.09.2015Створення програмного комплексу для статичної перевірки властивостей формальних моделей та визначення досяжності станів, в яких знайдено недоліки. Основні формальні моделі асинхронних паралельних систем та статичні методи перевірки властивостей.
автореферат, добавлен 14.08.2015Аналіз сучасних методів проектування алгоритмів для забезпечення можливості автоматизованого перетворення та створення паралельних версій алгоритмів. Розробка методу автоматизованого виконання програм і вибору найкращого алгоритму за заданими критеріями.
автореферат, добавлен 11.08.2015Розгляд загальновизнаних структур паралельного програмування. Аналіз характеристики і продуктивність парадигм при правильному виборі інструменту. Використання багатопроцесорної прикладної програми API для розробки паралельних програм з спільною пам'яттю.
статья, добавлен 29.07.2024Визначення поняття "проектування". Опис практичної роботи проектування обкладинки при використанні графічних засобів (колажу векторних зображень, фотографій), виконання елементів композиції та переведення їх у вектори за допомогою комп’ютерних програм.
отчет по практике, добавлен 17.09.2014Розробка багатокрокових багатоточкових блокових методів рішення задачі Коши для звичайних диференціальних рівнянь. Теоретичне обґрунтування збіжності і стійкості розроблених методів та їх відображення на паралельних обчислювальних системах SIMD і MIMD.
автореферат, добавлен 04.03.2014Розробка та дослідження методів і засобів візуалізації позаштатних ситуацій в складних системах з канальною структурою. Оптимізація ефективності людино-машинної взаємодії в складних системах під час позаштатних ситуацій та оперативності аналізу рішень.
автореферат, добавлен 29.10.2015- 11. Розробка методів та програмного інструментарію створення прикладних програм для мобільних систем
Прикладні програми для мобільних систем, які враховують особливості апаратно-програмних платформ і спеціалізованих систем на їх основі. Побудова моделі прикладних програм. Перевірка її несуперечності на області програмного каркаса операційної системи.
автореферат, добавлен 29.08.2014 Загальна схема розробки алгоритмів паралельних обчислень для розв’язку складних задач. Особливості моделювання паралельних програм. Аналіз масштабованості реалізації паралельних обчислень. Етапи оцінки комунікаційної трудомісткості паралельних алгоритмів.
лекция, добавлен 30.08.2017Відомі атрибути, метрики, методи та інструментальні засоби автоматизованої верифікації та сертифікації програмного забезпечення. Використання семантичних атрибутів для верифікації та експертизи програмного забезпечення інформаційно-управляючих систем.
автореферат, добавлен 29.01.2016Розробка моделей і інформаційної технології управління розвитком корпоративної інформаційно-обчислювальної системи при нечіткій вихідній інформації. Критерії, що характеризують ефективність КІОС. Модель статичної задачі структурно-топологічного синтезу.
автореферат, добавлен 26.07.2014Модель верифікації баз знань інтелектуальних систем управління високошвидкісного рухомого об’єкта з використанням блукаючого діагностичного ядра, яка дозволяє визначати наявність збоїв та некоректностей у базі знань із заданим ступенем достовірності.
статья, добавлен 14.07.2016Огляд методів прискорення процесу сортування числової інформації при реалізації на сортувальній нейромережі для обробки інформації в системах реального часу. Оцінка обчислювальної ефективності сортувальної нейромережі для паралельного сортування.
автореферат, добавлен 27.08.2015Розробка нових методів організаційної та інформаційної підтримки процесів проектування техніки як теоретико-прикладного базису створення системи підтримки прийняття рішень інтегрованої АСУ проектною організацією, орієнтованої на підвищення ефективності.
автореферат, добавлен 29.01.2016Дослідження проблеми розпаралелювання послідовних програм, побудова алгебраїчної моделі і доведення її дедуктивної еквівалентності. Реалізація системи автоматизованого розпаралелювання delta, що транслює програму розширеною мовою C у MPI-програму мовою C.
автореферат, добавлен 11.10.2011Розвиток теорії паралельних обчислювальних систем реального часу шляхом розробки нових ефективних методів і засобів прискорення обчислювальних процесів з паралелізмом. Підвищення надійності і забезпечення простоти адаптації до різних умов застосування.
автореферат, добавлен 30.10.2015Сутність процесу управління змінами в онтологіях для інформаційних систем. Обчислювальні методи верифікації темпоральних обмежень цілісності на множині версій моделі онтології. Програмний комплекс, призначений для підтримки автоматизованої верифікації.
автореферат, добавлен 30.07.2015Роль програмно-апаратних засобів, обчислювальної техніки і пристроїв зв'язку в сучасному світі. Загальні принципи роботи обчислювальних пристроїв. Коротка історія розвитку обчислювальної техніки. Опис загальної схеми роботи обчислювальної машини.
реферат, добавлен 20.06.2017Побудова типового ряду обчислювальних систем реального часу на модулях, які містять розподілені апаратні засоби взаємодії, контролю і автоматичного оновлення. Методи організації обміну даними в паралельних системах з неоднорідним доступом до пам'яті.
автореферат, добавлен 26.08.2014Аналіз комп’ютерних інструментів програм динамічної математики, які використовуються під час розв’язування задач, а також інструментів, на які може спиратися вчитель у навчанні математики. Опис зауважень щодо застосування комп’ютерних інструментів.
статья, добавлен 28.08.2016Аналіз блок–схем програм сортування. Визначення недоліків використання моделей абстрактних алгоритмів в умовах бурхливого розвитку комп’ютерної техніки. Дослідження взаємозалежності характеристик складності варіантів побудови вузлів асоціативної пам’яті.
автореферат, добавлен 25.02.2015Розробка структури та моделі підсистеми, а також аналіз засобів контролю знань комп'ютеризованої системи навчання. Характеристика основних методів практичної реалізації розроблених моделей, алгоритмів і програм у комп'ютеризованих системах навчання.
автореферат, добавлен 27.07.2014