Мультипроцесорні моделі рішення булевих рівнянь великої розмірності
Методи підвищення швидкодії функціональної верифікації цифрових систем на кристалах. Програмне забезпечення логічного моделювання, виконуване на послідовному комп'ютері. Удосконалення моделі сферичного мультипроцесора, розв’язання булевих рівнянь.
Подобные документы
Аналіз питань, що стосуються комп’ютеризованого аналізу функцій і рівнянь з параметрами. Особливості застосування інформаційно-комунікаційних технологій в процесі навчання математики. Розгляд прикладів комп'ютеризованого аналізу трансцендентного рівняння.
статья, добавлен 07.04.2018Поліноміальна інтерполяція функції методом Ньютона з розділеними різницями та середньоквадратичне наближення функції: постановка та математичне формулювання завдання, існуючі чисельні методи рішення, схема алгоритму, текст програми на мові Turbo Pascal.
курсовая работа, добавлен 04.06.2009Технології збору, аналізу результатів розподіленого моделювання для оцінки протоколів синхронізації логічних процесів з метою їхньої оптимізації. Розробка алгоритму оптимального відображення цифрових систем на граф мережних моделюючих процесорів.
автореферат, добавлен 29.09.2014Існуючі моделі впливів на працездатність елементів розподілених інформаційно-управляючих та інформаційних систем, методи і засоби оцінювання й забезпечення їхньої живучості. Нові моделі впливів екстремальних факторів різної природи на елементи РІС.
автореферат, добавлен 14.09.2014Сучасні високопродуктивні обчислювальні системи і паралельні методи розв’язання динамічних задач із зосередженими параметрами. Паралельні неявні однокрокові методи чисельного розв’язання жорстких задач та їх реалізація в багатопроцесорних структурах.
автореферат, добавлен 29.08.2015Конструювання інформаційних технологій функціональної безпеки інформаційно-управляючих систем та еволюційно-компонентної моделі. Розробка моделі надійності систем з мережевим мажоритуванням. Застосування систем на енергоблоках атомних електростанцій.
автореферат, добавлен 26.08.2014Категорії програм, що працюють на комп'ютері. Написання навчальної програми "Horoskop", яка носить інтерактивно-навчальний характер. Проектування алгоритмічного та програмного забезпечення для формування гороскопу, розробка математичної моделі розрахунку.
курсовая работа, добавлен 01.12.2014Аналіз застосування цифрових засобів генерування, фільтрації, виявлення тональних сигналів для підвищення достовірності ідентифікації об’єктів комп’ютеризованих систем контролю параметрів енергоспоживання. Апробація нових уніфікованих цифрових пристроїв.
автореферат, добавлен 28.08.2015Аналіз та діагностування тестопридатності цифрових систем на кристалах з регістром граничного сканування. Вибір критичних контрольних точок та мови опису апаратури. Синтез кубічних покрить цифрових проектів. Пошук дефектів на перевіряльному тесті.
автореферат, добавлен 24.07.2014Розгляд інноваційних методик навчання у вищій школі. Можливості використання комп’ютерних технологій при вивчені диференціальних рівнянь. Особливості використання Matlab, формулювання і вирішення задач. Основні математичні функції в системі Matlab.
статья, добавлен 26.02.2017Розгляд інноваційних методик навчання у вищій школі. Можливості використання комп’ютерних технологій при вивчені диференціальних рівнянь. Особливості використання Matlab, формулювання і вирішення задач. Основні математичні функції в системі Matlab.
статья, добавлен 05.03.2019Планування та проведення багатофакторної спроби на прикладі задач теорії масового обслуговування з використанням системи імітаційного моделювання GPSS World. Суть комп’ютерної моделі складної концепції. Аналіз графічного інтерфейсу в програмі Arena.
статья, добавлен 28.10.2016Розробка теоретичних та методологічних засобів опису лінгвістичних зв’язків української мови у вигляді рівнянь алгебри предикатів. Побудова математичних моделей акцентних характеристик і букво-фонемних відношень для голосних та приголосних звуків.
автореферат, добавлен 29.07.2014Розробка багатокрокових багатоточкових блокових методів рішення задачі Коши для звичайних диференціальних рівнянь. Теоретичне обґрунтування збіжності і стійкості розроблених методів та їх відображення на паралельних обчислювальних системах SIMD і MIMD.
автореферат, добавлен 04.03.2014Розроблення математичних моделей та моделей циркуляції даних (інформаційних моделей), методів і відповідних засобів моделювання зображень хімічних виразів для комп’ютерно-видавничих систем. Принцип конвертування інформаційних моделей хімічного редактора.
автореферат, добавлен 05.08.2014Побудова функціональної моделі IDEF0. Моделювання широкого кола систем і визначення функцій. Створення нової моделі, контекстної діаграми з єдиною роботою, яку виконує система в цілому. Типи граничних стрілок, їх призначення. Використання кодів ICOM.
лабораторная работа, добавлен 21.11.2021Розробка методів оперативного та інтелектуального аналізу даних, що є складовими систем підтримки прийняття управлінських рішень на основі реєстру сільськогосподарських тварин та реєстру зернових культур. Основні моделі та методи вирішення завдань.
автореферат, добавлен 27.08.2015Застосування інформаційних і комп’ютерних технологій у сферах автоматизації та проектування. Дослідження властивостей і закономірностей поведінки об’єкта управління. Принципи, методи та програми моделювання промислових роботів і маніпуляційних систем.
статья, добавлен 18.11.2020Методи підвищення надійності інформаційних систем, раціональний вибір параметрів для оновлення програмних засобів. Оцінювання надійності ІС в умовах прояву власних дефектів і зовнішніх впливів. Впровадження моделі в ІС критичної і бізнес-критичної галузі.
автореферат, добавлен 28.08.2014Комп'ютерне моделювання деформаційно-релаксійних і тепломасообмінних процесів у гігроскопічних капілярно-пористих матеріалах як анізотропних трифазних середовищах, їх використання для розробки енергоощадних технологій гідротермічного оброблення деревини.
статья, добавлен 13.10.2016- 96. Проектування тестів для послiдовносних функціональних схем, що реалізованi у програмованiй логіці
Розробка та загальний опис структурно-функціональних моделей послiдовних схем і удосконалення методів генерації тестів для зменшення часу верифікації цифрових систем на стадіях їхнього автоматизованого проектування й імплементації в кристалах ПЛIС.
автореферат, добавлен 25.06.2014 Адаптація методів обчислювальної математики для розв’язання задачі оптимізації параметрів джерел шкідливих викидів в атмосферу з урахуванням геокліматичних факторів. Проектування та розробка нових засобів комп’ютерного моделювання задач цього класу.
автореферат, добавлен 22.04.2014Класифікація та характеристики основних елементів моделі систем масового обслуговування: одноканальних та багатоканальних. Процес та методи моделювання. Системний підхід до побудови моделей. Імітаційне моделювання роботи каси та потоку Пуассона.
дипломная работа, добавлен 08.04.2014Розв’язання математичних задач за допомогою звичайних математичних формул та знаків, шляхом звернення до спеціальних функцій в системі Mathcad. Розгляд можливостей Mathcad на прикладі розв’язання транспортної задачі як моделі математичного програмування.
статья, добавлен 19.09.2017Розвиток елементів конструктивної теорії і проблемно-орієнтованого інструментарію моделювання гнучких виробничих систем (ГВС) зборки. Існуючі моделі, методи та алгоритми автоматизованого управління ГВС зборки. Моделі підготовки та прийняття рішень.
автореферат, добавлен 28.07.2014