Мультипроцесорні моделі рішення булевих рівнянь великої розмірності
Методи підвищення швидкодії функціональної верифікації цифрових систем на кристалах. Програмне забезпечення логічного моделювання, виконуване на послідовному комп'ютері. Удосконалення моделі сферичного мультипроцесора, розв’язання булевих рівнянь.
Подобные документы
Уніфікована мова моделювання UML. Використання інформаційних технологій в індустрії розваг. Розробка моделі програмної системи засобами UML. Особливості створення покрокової рольової гри. Інтеграція проектування, розробки додатків в програмне середовище.
курсовая работа, добавлен 19.09.2017Покращення засобів комп’ютерного моделювання в’язких течій газу в міжлопаткових каналах. Синтез основних форм вінців турбомашин з використанням способів керуванням відривом потоку в них. Метод побудови розв’язків варіаційної задачі аеродинаміки решіток.
автореферат, добавлен 11.08.2014Популярні текстові редактори. Оголошення одновимірного масиву. Методи архівації даних. Програмне забезпечення комп'ютерів. Типи оперативної пам'яті. Базові структури алгоритмів. Цифрові носії інформації. Комп'ютерна графіка і анімація, програми.
шпаргалка, добавлен 10.11.2011Сутність проектування та моделювання об'єктів (математичне, комп'ютерне), реалізованих за допомогою програмно-апаратних засобів. Поняття інформаційної моделі (навчальна, дослідна, науково-технічна, ігрова, імітаційна), графічний спосіб її представлення.
презентация, добавлен 05.05.2015Розробка моделі організації високопродуктивних паралельно-ієрархічних обчислювальних процесів, їх алгоритмічне та програмне забезпечення на базі GPU-орієнтованої апаратної платформи. Основні показники швидкодії запропонованих комп'ютерних засобів.
статья, добавлен 30.10.2016- 56. Методи і моделі системологічного імітаційного моделювання розробки компонент інформаційних систем
Побудова імітаційних моделей з використанням системно-об’єктного підходу та методів моделювання складних інформаційних програмних систем та їхніх компонентів на базі УФО-технології. Удосконалення математичного апарату для моделювання бібліотек даних.
автореферат, добавлен 27.08.2014 Виявлення помилок передачі цифрових даних в лініях комп'ютерних мереж та шинах обчислювальних систем. Розробка підходів до збільшення надійності високопродуктивних методів контролю, програмно-апаратних засобів контролю помилок підвищеної швидкодії.
автореферат, добавлен 23.08.2014Комп’ютерні системи підтримки прийняття рішень, можливості інтерфейсів. Інформаційні процеси прийняття рішень, моделі діяльності людини, що приймає рішення. Архітектура інтелектуальної інтерактивної СППР. Програмна реалізація групової агентної СПР.
автореферат, добавлен 06.07.2014Сутність процесу управління змінами в онтологіях для інформаційних систем. Обчислювальні методи верифікації темпоральних обмежень цілісності на множині версій моделі онтології. Програмний комплекс, призначений для підтримки автоматизованої верифікації.
автореферат, добавлен 30.07.2015Поява перших персональних комп'ютерів, їх будова і методи класифікації. Базова конфігурація персональних комп'терів, програмне забезпечення. Носії, системне та прикладне забезпечення, розробка та стандарти, ліцензія. Класи програмного забезпечення.
реферат, добавлен 10.03.2019Розробка тестів для практичного застосування якості працездатності пропонуємих засобів символьних перетворень для аналітичного розв’язання нелінійних диференціальних рівнянь. Моделювання динамічних процесів об’єктів високошвидкісних транспортних засобів.
статья, добавлен 29.06.2016Розробка моделей і алгоритмів процесу контролю геометричних характеристик об’єктів зі складною просторовою поверхнею. Методи підвищення точності програмного переміщення чутливого елемента вимірювального пристрою, зменшення дестабілізуючих факторів.
автореферат, добавлен 29.08.2015Класи ітераційних методів рішення систем лінійних алгебраїчних рівнянь. Критерій оцінки швидкості збіжності різних ітераційних методів. Класифікація паралельних ітераційних алгоритмів та їх переваги асинхронних ітераційних методів, їхні види і критерій.
статья, добавлен 29.07.2016Вивчення методики підвищення швидкодії інтелектуальних систем обробки та розпізнавання зображень в умовах завад на основі ітеративних методів ієрархічної контурної сегментації зображень. Удосконалення моделі ієрархічного формування образів об’єктів.
автореферат, добавлен 22.07.2014Ефективність використання статистичного методу підвищення стійкості розв’язків і алгоритму забезпечення заданої точності визначення погано обумовлених систем лінійних алгебраїчних рівнянь. Розрахунок коефіцієнту лінійного температурного розширення.
статья, добавлен 27.07.2016Вибір методів для формалізації кожної зі складових підсистем і розробити відповідні математичні моделі, їх обґрунтування та значення. Особливості та етапи їх програмною реалізації. Проблема автоматизації процесу створення комп’ютерно-орієнтованих систем.
автореферат, добавлен 12.08.2014Розробка комплексу математичних моделей коливальних процесів роторних систем, які дозволяють удосконалити інструментарій комп’ютерного моделювання. Організація досліджень, випробовувань та вібродіагностики, підвищення надійності роботи цих систем.
автореферат, добавлен 26.08.2015Аналiз криптографiчних алгоритмiв захисту iнформацiї, протоколiв їх практичного використання. Розробка ефективного засобу оцiнки рiвня защищеностi криптографiчних алгоритмiв захисту iнформацiї на основi аналiзу еквiвалентної їм системи булевих рiвнянь.
автореферат, добавлен 15.11.2013Підходи до моделювання технологічних процесів, етапи створення математичних моделей і комп'ютерне моделювання технологічних процесів. Стрибок в розробці моделей, їх верифікації, в створенні і використанні модельно-обгрунтованих методів дослідження.
статья, добавлен 05.02.2019Бібліотечно-інформаційне забезпечення навчального процесу у вищих навчальних закладах. Аналіз комп'ютеризованих бібліотечних систем, засобів їх адаптації. Алгоритми процесів взаємодії користувача (читача) з комп'ютеризованою бібліотечною системою.
автореферат, добавлен 26.08.2015Різницевий метод розв'язання крайових задач для звичайних диференціальних рівнянь. Метод прогонки. Лістинг програми розв`язання нелінійної крайової задачі на алгоритмічній мові Turbo Pascal. Результати обчислень, графік розв`язку крайової задачі.
отчет по практике, добавлен 23.04.2011Сутність побудови ARIMA-моделі, яка адекватно описує часовий ряд; визначення структури моделі, оцінювання параметрів, побудова прогнозів на основі отриманої ARIMA-моделі. Доцільність використання методу Недлера і Міда для оцінки параметрів ARIMA-моделі.
автореферат, добавлен 04.03.2014Факторизація матриць як одна з найпопулярних технологій в комп'ютерній лінгвістиці. Побудова моделей паралелізації обчислення розріджених матриць надвеликої розмірності. Показники швидкодії роботи розподіленого алгоритму в порівнянні з локальним.
научная работа, добавлен 28.02.2016Основні блоки персонального комп'ютера: системний блок, клавіатура, монітор. Програмне забезпечення: операційна система, драйвери. Загальні вимоги до робочого місця оператора. Техніка безпеки, перевірка напруги. Використання монітора, клавіатури, дискет.
реферат, добавлен 03.05.2009- 75. Визначення проблематики теорії функціональної стійкості щодо застосування в комп'ютерних системах
Основні положення функціональної стійкості комп'ютерної системи в умовах впливу на них зовнішніх дестабілізуючих факторів. Показники і критерії функціональної стійкості комп'ютерної системи. Розробка загальної моделі дестабілізуючих впливів на систему.
статья, добавлен 27.07.2016