Алгебраїчні методи верифікації асинхронних паралельних систем
Створення програмного комплексу для статичної перевірки властивостей формальних моделей та визначення досяжності станів, в яких знайдено недоліки. Основні формальні моделі асинхронних паралельних систем та статичні методи перевірки властивостей.
Подобные документы
Характеристика існуючих моделей надійності програмних систем. Розроблення алгоритмів та програм їх реалізації. Впровадження запропонованих підходів, моделей та методик інженерії тестування в проекти з розроблення програмних систем оброблення даних.
автореферат, добавлен 30.07.2014Методи реалізації процесів групового підсумовування і сортування елементів векторного масиву. Особливості паралельної обробки числової інформації методом різницевих зрізів для задач сегментації зображень, результати моделювання та ефективність процесів.
автореферат, добавлен 12.07.2014Методи розрахунку ізоповерхонь тривимірних об’єктів за проекційними даними, їх часові та просторові характеристики. Практичні задачі реконструкції ізоповерхневих моделей органів людини на основі проекційних даних (2D і 3D сканування) у медичній практиці.
автореферат, добавлен 25.08.2015- 54. Математичні моделі та методи аналізу й синтезу топологій комп’ютерних видавничо-поліграфічних систем
Аналіз графічних, матричних та аналітичних моделей топологій комп'ютерних видавничо-поліграфічних систем. Створення методів виявлення та перетворення топологічних структур, заданих матричним способом. Синтез комп’ютерних видавничо-поліграфічних систем.
автореферат, добавлен 29.09.2013 Обґрунтування методологічних засад створення автоматизованої системи проектування територіально-розподілених систем обслуговування, до яких увійшли метод прецедентного проектування та метод отримання проектних рішень в умовах багатокритеріальності.
автореферат, добавлен 19.06.2018Застосування інформаційних і комп’ютерних технологій у сферах автоматизації та проектування. Дослідження властивостей і закономірностей поведінки об’єкта управління. Принципи, методи та програми моделювання промислових роботів і маніпуляційних систем.
статья, добавлен 18.11.2020Побудова методу послідовної маршрутизації на паралельних обчислювальних структурах. Розробка системоаналогового методу маршрутизації на графах. Створення системоаналогового алгоритму багатошляхової маршрутизації на паралельних обчислювальних структурах.
автореферат, добавлен 28.07.2014Призначення, опис, характеристики властивостей ПЗ, метрик. Первинний статистичний, кореляційний та регресійний аналіз. Методи емпіричної інженерії програмного забезпечення та алгоритми збору даних. Побудова залежності між метриками та експертною оцінкою.
курсовая работа, добавлен 06.02.2013Методи подання нечітких моделей засобами реляційних систем в завданнях аналізу даних інтегрованих систем. Технології оцінки реляційної моделі даних для побудови функціональних асоціативних правил в задачах інтелектуального аналізу реляційних баз даних.
автореферат, добавлен 19.07.2015Визначення алгебраїчної моделі відкритого розподілу секретних ключів, а також алгебраїчних моделей асиметричного шифрування, автентифікації сторін взаємодії, цифрового підписування розподілу секретних ключів з використанням рекурентних послідовностей.
статья, добавлен 25.03.2016Аналіз засобів розробки для реалізації програмного комплексу для автоматизації діяльності. Методи, моделі та інформаційні технології з використання нейронних мереж при реалізації машинного навчання автоматичних систем управління листоправильних машин.
статья, добавлен 21.03.2024Аналіз сучасних моделей і методів побудови та інтеграції автоматизованих систем життєвого циклу виробів промислових підприємств машинобудівної галузі. Програмні засоби аналітичного дослідження технологічних процесів підприємств та методи їх вдосконалення.
автореферат, добавлен 28.09.2015Методи підвищення швидкодії функціональної верифікації цифрових систем на кристалах. Програмне забезпечення логічного моделювання, виконуване на послідовному комп'ютері. Удосконалення моделі сферичного мультипроцесора, розв’язання булевих рівнянь.
автореферат, добавлен 26.08.2015Розробка програми призначеної для пошуку книги в типізованому файлі даних. Вимоги до функціональних характеристик. Створення формальних моделей та визначення специфікації програмного забезпечення, що розробляється. Організація вхідних і вихідних даних.
лабораторная работа, добавлен 25.03.2021Створення моделі організації комп’ютеризованого навчання. Побудова профілю користувача з урахуванням індивідуальних психофізіологічних характеристик. Розробка інструментальних засобів. Реалізація та оцінка ефективності автоматизованих навчаючих систем.
автореферат, добавлен 26.08.2015Мета, задачі та принципи створення інформаційних систем. Структура проектної документації. Методи і засоби організації збирання та обробки матеріалів обстеження об’єкта. Основні поняття автоматизованого робочого місця. Види інформаційних масивів.
учебное пособие, добавлен 18.11.2014Уточнення поведінкових моделей програмного забезпечення окремою операцією Model-Driven Architecture та Model-Driven Development і складовою у вирішенні завдань трансформації та верифікації моделей. Створення діаграм кооперацій відповідно до шаблонів.
статья, добавлен 28.02.2016Аналіз методів верифікації Web-контенту і можливості застосування онтологічної моделі подання знань. Доведення достовірності автоматичного гібридного виведення знань. Розробка методів семантичної верифікації знань і інтерпретації верифікаційних елементів.
автореферат, добавлен 29.07.2015Розробка комплексу математичних моделей коливальних процесів роторних систем, які дозволяють удосконалити інструментарій комп’ютерного моделювання. Організація досліджень, випробовувань та вібродіагностики, підвищення надійності роботи цих систем.
автореферат, добавлен 26.08.2015- 70. Методи і моделі обробки дискретних зображень знаків в автоматизованих системах переробки інформації
Основні методи автоматизованої обробки зображень та проблеми їх сучасного стану. Аналіз результатів функціонування сучасних систем розпізнавання зображень. Розробка математичної моделі знаків планіметричних фігур, заданих у дискретних представленнях.
автореферат, добавлен 22.07.2014 Розробка моделей і алгоритмів процесу контролю геометричних характеристик об’єктів зі складною просторовою поверхнею. Методи підвищення точності програмного переміщення чутливого елемента вимірювального пристрою, зменшення дестабілізуючих факторів.
автореферат, добавлен 29.08.2015Аналіз стану досліджень у галузі прискореної обробки двовимірних зображень з використанням нейронних мереж та методів паралельних обчислень. Огляд глобальних алгоритмів бінарізації. Характеристика методу прискореної скелетонізації на основі бітових масок.
автореферат, добавлен 29.07.2015Визначення основних найдоцільніших напрямків підвищення ефективності функціонування систем діагностування технологічного обладнання. Проведення дослідження властивостей і можливостей існуючих критеріїв оцінювання ефективності технологічного обладнання.
автореферат, добавлен 12.11.2013Моделі відмовостійких цифрових систем керування з програмованою логікою на основі частково працездатних автоматів. Процедури отримання версій за допомогою генетичних алгоритмів. Ранговий відбір індивідуумів. Створення відмовостійких цифрових систем.
автореферат, добавлен 26.07.2014Розроблення моделей і методів підвищення якості обслуговування, надійності функціонування захищених комп'ютерних мереж. Методи моніторингу параметрів трафіку комп'ютерних мереж. Аналіз існуючих моделей систем їх захисту та інформаційної взаємодії.
автореферат, добавлен 26.08.2015