Алгебраїчні методи верифікації асинхронних паралельних систем
Створення програмного комплексу для статичної перевірки властивостей формальних моделей та визначення досяжності станів, в яких знайдено недоліки. Основні формальні моделі асинхронних паралельних систем та статичні методи перевірки властивостей.
Подобные документы
Розробка моделі просторового графа синхронних потоків даних. Алгоритмізація їх обробки у паралельних обчислювальних системах. Застосування програмованих логічних інтегральних схем. Вирішення задач лінійної алгебри з мінімізацією простоїв процесорів.
автореферат, добавлен 11.08.2015Розв’язання різного роду обчислювальних задач, алгоритм яких описується в загальноприйнятих математичних термінах і позначеннях як основне завдання програмного комплексу MathCAD. Чисельні методи, що використовуються для розрахунку матричних рівнянь.
учебное пособие, добавлен 19.07.2017Розробка структурно-логічної моделі процесів тестування несправностей технічних засобів паралельних програмно-технічних комплексів. Організація й проведення діагностичного обслуговування із застосуванням умовних й безумовних алгоритмів пошуку дефектів.
автореферат, добавлен 24.07.2014Порівняльний аналіз і класифікація методів формальних специфікацій щодо паралелізму за критеріями: класи задач, складність методів, ступінь автоматизації, зв’язок моделі з реальними програмами. Композиційно-номінативна мова, модель серверного середовища.
автореферат, добавлен 28.08.2014Побудова математичної моделі розвитку онтологій. Інтеграція моделей. Розробка методів аналізу адекватності, усунення властивостей динамічної суперечливості інформації. Обґрунтування алгоритмічних та інструментальних засобів аналізу у прикладних задачах.
автореферат, добавлен 25.07.2014Аналіз доцільності онтологічного моделювання як етапу розробки метамоделей програмних систем. Способи створення онтології топології обчислювальних вузлів розподілених ПС. Особливості визначення правил граматики метамоделей як функціональної властивості.
статья, добавлен 22.12.2016Обчислення коефіцієнтів математичних моделей. Розробка програмного коду автоматизованого аналізу (у діалоговому режимі) динамічних характеристик математичної моделі заданої системи. Команди визначення передатних функцій послідовних, паралельних з'єднань.
лабораторная работа, добавлен 25.06.2015Розгляд загальновизнаних структур паралельного програмування. Аналіз характеристики і продуктивність парадигм при правильному виборі інструменту. Використання багатопроцесорної прикладної програми API для розробки паралельних програм з спільною пам'яттю.
статья, добавлен 29.07.2024Опис і оцінка сучасних мобільних платформ: iOS, Android, Windows Phone, їх порівняльна характеристика та відмінні особливості, переваги та недоліки. Технологія розробки додатків Android. Створення програмного комплексу та головні вимоги до нього.
контрольная работа, добавлен 03.06.2014Основні проблеми, що супроводжують процес планування перевірки програмного забезпечення. Вигляд діалогового вікна навчальної інформаційно-розрахункової задачі. Ключові класи еквівалентності для швидкості польоту, сформовані в узагальненому вигляді.
статья, добавлен 30.05.2021Архітектурні принципи побудови обчислювального середовища. Аналіз програмного забезпечення ASCI White. Характеристика конкретизації типів комп’ютерних систем Флінна. Дослідження мультипроцесорів та мультикомп'ютерів. Топології мережі передачі даних.
лекция, добавлен 30.08.2017Розробка інформаційних технологій для моделювання розвитку туристичної інфраструктури території з використанням асинхронних автоматів. Обґрунтування доцільності поєднання інтелектуальних технологій аналізу з можливостями геоінформаційних систем.
статья, добавлен 26.12.2016Розробка методів верифікації алгоритмів функціонування дискретних систем, що задовольняють заданим часовим обмеженням. Використання часових логік для опису властивостей алгоритмів і методів побудови моделей систем, описаних у сучасних мовах проектування.
автореферат, добавлен 29.08.2014Розробка методів та алгоритмів моделювання інформаційних систем, що реалізовані на основі Web-технологій. Створення процедур оптимізації структури Web-систем. Побудова формальної моделі Web системи, аналіз її поведінки. Створення прикладної Web системи.
автореферат, добавлен 20.04.2014- 40. Оператори в Java
Особливості роботи з операторами на Java. Необхідно в Java створити: 9 методів (один оператор - один метод); 5 методів для перевірки пріоритетів (методи, в яких використовується одночасно два різних оператора; 5 методів для перевірки асоціативності.
лабораторная работа, добавлен 31.03.2022 Розвиток інтелектуальних геоінформаційних технологій. Засоби обробки просторових даних. Розробка фаззі-моделей, заснованих на положеннях нечіткої логіки. Дослідження взаємодії асинхронних процесів. Використання програмного середовища ModelBuilder.
статья, добавлен 14.07.2016Розробка методів оперативного та інтелектуального аналізу даних, що є складовими систем підтримки прийняття управлінських рішень на основі реєстру сільськогосподарських тварин та реєстру зернових культур. Основні моделі та методи вирішення завдань.
автореферат, добавлен 27.08.2015Розробка теоретичних та методологічних засобів опису лінгвістичних зв’язків української мови у вигляді рівнянь алгебри предикатів. Побудова математичних моделей акцентних характеристик і букво-фонемних відношень для голосних та приголосних звуків.
автореферат, добавлен 29.07.2014Побудова моделі якості програмних систем оброблення даних на базі метрик надійності. Роль програмного забезпечення у виконанні функцій системи. Математичні моделі прогнозування дефектів та графічний комплекс з використанням апарату байєсівських мереж.
автореферат, добавлен 30.07.2014Аналіз і класифікація моделей, метрик і інструментальних засобів оцінки надійності програмного забезпечення інформаційних і управляючих систем критичного застосування. Пошук шляхів удосконалення методів оцінки надійності програмного забезпечення.
автореферат, добавлен 28.07.2014Розробка концептуальної принципової схеми конфігуратора програмного комплексу та підходу до створення конфігуратора з врахуванням можливості оновлення компонентів з використанням методу аналізу ієрархій як інструменту для переліку їх властивостей.
статья, добавлен 22.03.2016Критерії та методи тестування програмного забезпечення. Роль надійності ПЗ як характеристики якості, її дослідження на етапах життєвого циклу. Розробка моделей прийняття рішень при виборі стратегії створення ПЗ, забезпечення необхідного рівня надійності.
автореферат, добавлен 29.10.2015- 48. Розробка методів та програмного інструментарію створення прикладних програм для мобільних систем
Прикладні програми для мобільних систем, які враховують особливості апаратно-програмних платформ і спеціалізованих систем на їх основі. Побудова моделі прикладних програм. Перевірка її несуперечності на області програмного каркаса операційної системи.
автореферат, добавлен 29.08.2014 Існуючі моделі впливів на працездатність елементів розподілених інформаційно-управляючих та інформаційних систем, методи і засоби оцінювання й забезпечення їхньої живучості. Нові моделі впливів екстремальних факторів різної природи на елементи РІС.
автореферат, добавлен 14.09.2014Розроблення методу проектування вимог якості до програмних систем, на всіх стадіях життєвого циклу. Формування та оцінка програмного комплексу підтримки методу проектування вимог та автоматизації процесу оцінювання якості заданих програмних систем.
автореферат, добавлен 14.08.2015