Мультипроцесорні моделі рішення булевих рівнянь великої розмірності
Методи підвищення швидкодії функціональної верифікації цифрових систем на кристалах. Програмне забезпечення логічного моделювання, виконуване на послідовному комп'ютері. Удосконалення моделі сферичного мультипроцесора, розв’язання булевих рівнянь.
Подобные документы
Сукупність програм, призначених для розв’язання завдань на комп’ютері. Системне, прикладне та інструментальне програмне забезпечення. Управління обчислювальною системою. Прикладні програми загального і спеціального призначення. Функції специфічних систем.
реферат, добавлен 23.03.2012Аналіз існуючих засобів формалізації у вигляді булевих формул. Ознайомлення з процесом розробки програмної системи моделювання, включаючи структурну, алгоритмічну організацію та інформаційну технологію. Розгляд верифікації отриманих результатів.
автореферат, добавлен 22.06.2014Визначення достовірності функціонування логічної мережі в цілому на базі аналізу окремих багаторазрядних булевих функцій. Процес зменшення обсягу обчислень, використання радіоелектронних та комп’ютерних систем. Обчислення для кортежу булевих функцій.
статья, добавлен 28.02.2016Дослідження методів розв’язування диференційних рівнянь у частинних похідних. Методика розв’язування диференційних рівнянь у частинних похідних. Аналіз сутності та принципів різницевого методу. Особливості розв’язання еліптичних та гіперболічних рівнянь.
лабораторная работа, добавлен 18.01.2013- 5. Розробка засобів паралельного розв`язку систем лінійних рівнянь в САПР схемотехнічного моделювання
Блочно-діагональний LU метод з обрамленням, який задовольняє вимогам архітектури комп’ютерів. Кластерний алгоритм рівномірного завантаження процесорів Санжованні-Вінсентеллі. Структура паралельного модуля рішення систем лінійних розріджених рівнянь.
автореферат, добавлен 12.02.2014 Системи лінійних алгебраїчних рівнянь. Ітераційні методи розв'язання СЛАР. Методи Зейделя, Крамера, оберненої матриці та Жордана-Гаусса. LU розклад матриці. Код програми реалізації розв'язку cистем лінійних алгебраїчних рівнянь за допомогою методу Краута.
курсовая работа, добавлен 18.08.2010Теплове проектування електронних пристроїв, яке зводиться до розв’язування систем лінійних алгебраїчних рівнянь великої розмірності. Оптимізація використання наявної обчислювальної інфраструктури за допомогою математичного та програмного забезпечення.
автореферат, добавлен 20.07.2015Створення дедуктивної моделі реконфігурування структур даних опису цифрових систем на тест-векторі з метою виконання швидкодіючої процедури паралельної обробки дефектів. Тестування пристроїв великої розмірності, реалізованих у програмованій логіці.
автореферат, добавлен 25.06.2014Побудова комп’ютерної моделі. Проведення експериментів, орієнтованих на розв’язання задач моделювання. Валідація апріорних вхідних даних. Розширення можливостей імітаційного інструментарію на основі сучасних мов та технологій розподілених обчислень.
автореферат, добавлен 14.09.2015Огляд сучасної комп'ютерної стеганографії та її проблематики. Моделі та методи комп'ютерної стеганографії для цифрових контейнерів у вигляді зображення. Методи приховування інформації в графічних зображеннях. Розробка алгоритму розв'язання задачі.
научная работа, добавлен 14.01.2021Характеристика модифікованого методу та алгоритмів розв’язування систем нелінійних рівнянь (СНР) для комп’ютерів MIMD-архітектури. Часи розв’язування СНР різних порядків, коефіцієнти прискорення та ефективності використання досліджуваного методу.
статья, добавлен 25.12.2016Моделювання цифрової системи на кристалі вентильного та регістрового рівнів для аналізу перехідних процесів. Тестування і верифікація цифрових проектів. Трійковий метод аналізу справної поведінки. Використання багатозначних апаратних моделей компонентів.
автореферат, добавлен 25.02.2015Відомі атрибути, метрики, методи та інструментальні засоби автоматизованої верифікації та сертифікації програмного забезпечення. Використання семантичних атрибутів для верифікації та експертизи програмного забезпечення інформаційно-управляючих систем.
автореферат, добавлен 29.01.2016Склад мікропроцесорної системи. Структурна схема комп’ютера. Програмні засоби обчислювальної системи. Центральний процесор як головний пристрій комп’ютера. Програмне забезпечення як сукупність програм, призначених для розв’язання завдань на комп’ютері.
реферат, добавлен 26.08.2013Структурно-функціональний метод аналізу тестопридатності цифрових систем на кристалах. Розробка неітеративної моделі діагностування цифрових систем на кристалах з регістром граничного сканування в якості мультизонду. Процес вибору контрольних точок.
автореферат, добавлен 29.08.2015Аналіз методів розв’язання динамічних задач із зосередженими параметрами для систем звичайних диференційних рівнянь. Пошук шляхів підвищення ефективності паралельного розв’язання лінійних задач Коші з контролем похибки на кожному кроці інтегрування.
автореферат, добавлен 25.07.2014Суть методів визначення коренів рівнянь. Обчислення коренів поліномів та власних чисел матриць. Побудова графіків розв'язку системи диференціальних рівнянь. Методика наближення функцій методом поліноміальної регресії та сплайнів за допомогою Mathcad.
лабораторная работа, добавлен 23.10.2020Розв’язання різного роду обчислювальних задач, алгоритм яких описується в загальноприйнятих математичних термінах і позначеннях як основне завдання програмного комплексу MathCAD. Чисельні методи, що використовуються для розрахунку матричних рівнянь.
учебное пособие, добавлен 19.07.2017Класифікація ущільнювачів ґрунту, покриттів та майданчиків. Аналіз системи "робочий орган-середовище". Особливості проектування та конструкції. Методика розв’язання диференціальних рівнянь. Вибір програмного середовища. Побудова імітаційної моделі.
дипломная работа, добавлен 22.04.2015Розгляд життєвого циклу моделювання космічних об’єктів та побудування ймовірнісних моделей переходів. Запропонування системи рівнянь Колмогорова, що визначає потоки ймовірностей станів моделі життєвого циклу. Чисельні розв’язки математичної моделі.
статья, добавлен 26.07.2016Розроблення методів розв’язання задач великої розмірності. Розробка комп’ютерної технології текстурної сегментації зображень в прикладних задачах. Побудування моделі текстурного зображення, задання текстур за допомогою марковських випадкових полів.
автореферат, добавлен 30.07.2014Методи обробки цифрових зображень. Сутність процесу підсилення відеосигналу. Визначення інтенсивності пікселів у вікні. Вибір оптимальної розмірності маски за допомогою вагових коефіцієнтів. Головні стадії математичної моделі процесу підвищення різкості.
статья, добавлен 28.09.2016Етапи розв’язування задач використання комп’ютера. Поняття абстрактного моделювання та особливості комп’ютерного моделювання. Вибір методу розв’язання задачі за допомогою комп’ютера. Алгоритмічні мови, які призначені для створення описів алгоритмів.
презентация, добавлен 06.12.2015Методи лінійного програмування. Розв'язання засобами комп'ютерних технологій економічних та інженерних задач, що моделюються сумісними системами лінійних алгебраїчних рівнянь та задач, що зводяться до транспортних моделей. Графічні можливості Mathcad.
контрольная работа, добавлен 02.11.2019Підвищення ефективності тестування цифрових систем. Попереднє складання словників несправностей. Процедури тестування цифрових систем за рахунок врахування ступеня підозрюваності її компонентів. Програмне забезпечення, що дозволяє здійснювати перевірку.
автореферат, добавлен 27.09.2014