Мультипроцесорні моделі рішення булевих рівнянь великої розмірності
Методи підвищення швидкодії функціональної верифікації цифрових систем на кристалах. Програмне забезпечення логічного моделювання, виконуване на послідовному комп'ютері. Удосконалення моделі сферичного мультипроцесора, розв’язання булевих рівнянь.
Подобные документы
Основні вимоги техніки безпеки під час роботи за комп’ютером. Програмне забезпечення, за допомогою якого можна навчитися вирішувати системи лінійних рівнянь методами Гауса, Крамера та матричним методом, знаходити визначник матриці та зворотну матрицю.
отчет по практике, добавлен 24.11.2014Метод Эйлера як найбільш простий чисельний метод рішення систем звичайних диференціальних рівнянь. Метод Ейлера з півкроком. Чисельне відшукання розв’язку задачі Коші методом Рунге-Кутта. Складання програм обчислень диференціальних рівнянь мовою С++.
курсовая работа, добавлен 23.09.2017Дослідження властивостей булевих функцій. Аналіз факторів, що впливають на ефективність їх застосування в засобах захисту інформації. Розробка організації обчислень та програмних засобів для синтезу і реалізації перетворень, що базуються на функціях.
автореферат, добавлен 26.07.2014Обґрунтування чисельно-аналітичних способів дослідження систем звичайних диференціальних рівнянь. Алгоритм програмної реалізації методу. Вивчення стійкості за Ляпуновим. Нульовий розв'язок систем звичайних диференціальних рівнянь другого порядку.
автореферат, добавлен 25.07.2015Розробка підходу до генерування сполучених правил якщо-то на основі генетико-нейронного алгоритму розв'язання рівнянь нечітких відношень, що дозволяє уникнути селекції правил і виключити перекриття між класами. Розв'язання рівнянь нечітких відношень.
статья, добавлен 19.02.2016Аналіз методу синтезу алгебраїчних нормальних форм булевих SAC-функцiй нульового та вищого порядкiв. Особливості розробки підходу i застосування апарату булевих функцій для аналізу i синтезу ефективних криптографічних алгоритмів захисту інформації.
автореферат, добавлен 29.08.2013Застосування методу знаходження лінійного логічного перетворення для розв’язання задачі знаходження гіпотетично зв’язаних об’єктів, що дозволяє підвищити швидкість пошуку розв’язку системи предикатних рівнянь. Аналіз ефективності застосування методу.
статья, добавлен 19.06.2018Підвищення надійності програмного забезпечення систем управління шляхом розробки семантичних атрибутів, метрик, моделей, методів, заснованих на аналізі семантичних інваріантів. Впровадження їх у методиках та засобах підтримки верифікації та експертизи.
автореферат, добавлен 28.09.2014Багатозначна модель компонентів цифрової системи на кристалі вентильного та регістрового рівнів для аналізу перехідних процесів. Програмно-апаратний комплекс MV-HES (Multi-Valued Hardware Embedded Simulator), що дозволяє верифікувати складні цифрові SoC.
автореферат, добавлен 28.09.2015Дослідження правил розв’язання системи лінійних алгебраїчних рівнянь методом Гауса, який полягає в зведенні квадратної системи до трикутного вигляду з використанням алгоритму послідовного виключення невідомих. Триангуляція матриці. Обчислення розв’язку.
лабораторная работа, добавлен 18.01.2013Аналіз і класифікація атрибутів, метрик, методів та інструментальних засобів верифікації й сертифікації програмного забезпечення. Розробка методу верифікації програмного забезпечення в умовах ресурсних обмежень і неповноти проектної документації.
автореферат, добавлен 27.08.2015Вивчення проблеми розробки структурних методів синтезу багатозначних оборотних засобів розв'язання систем логічних рівнянь для синтезу багатозначних логічних елементів прямої та зворотної дії, які використовують у системах та засобах штучного інтелекту.
автореферат, добавлен 20.07.2015Поняття про об’єкт моделювання та його параметри, методи та рівні. Види опису математичних моделей, їх класифікація та типи, етапи та алгоритм. Положення теорій подібності та розмірності. Поняття про класичні та узагальнені розв’язки крайових задач.
курс лекций, добавлен 22.11.2015Характеристика розв’язку системи рівнянь. Аналіз специфікації процедур та функцій. Особливість створення заставок. Лістинг проектного файлу програм та головної форми. Новий підхід для розв’язування концепції лінійних задач з невідомими за методом Гауса.
курсовая работа, добавлен 07.04.2015Підвищення ефективності ідентифікації віддалених абонентів багатокористувацьких систем за рахунок розвитку концепції "нульових знань" та вдосконалення технології її застосування для ідентифікації шляхом розробки способів використання булевих перетворень.
автореферат, добавлен 29.08.2015Мова програмування як набір лексичних, синтаксичних і семантичних правил, що задають зовнішній вигляд програми і дії, які виконує комп’ютер під її управлінням. Методика розрахунку системи лінійних алгебраїчних рівнянь за допомогою метода Крамера.
курсовая работа, добавлен 04.02.2016Етапи підготовки до розв'язання задачі на комп'ютері: вибір числового методу, розробка ефективного алгоритму рішення і побудова блок-схеми, складання та перевірка правильності програми, підрахунок і обробка результатів. Поняття алгоритмічної мови.
курсовая работа, добавлен 08.12.2010Аналіз методів і систем побудови комп’ютерних мереж. Організація паралельного моделювання об’єднаного трафіку. Покращення характеристик продуктивності й масштабованості. Підвищення адекватності імітаційних моделей, побудованих на основі маршрутних дерев.
автореферат, добавлен 19.07.2015Вивчення проблемно-орієнтованого інструментарію моделювання взаємодії користувача і комп'ютеризованої системи. Метод оперативного навчання користувача з метою підвищення швидкості засвоєння інформації. Аналіз засобів підтримки адаптивного інтерфейсу.
автореферат, добавлен 05.01.2014- 45. Метод та засоби організації динамічної структури мобільної комп'ютерної мережі великої розмірності
Підвищення ефективності процесу маршрутизації за рахунок оптимізації динамічної структури мобільної комп'ютерної мережі великої розмірності. Метод підтримки оптимальної інфраструктури мобільної мережі з точки зору часу маршрутизації службового трафіка.
автореферат, добавлен 28.08.2015 Проблема становлення ефективного і економного в часі візуального представлення на комп’ютері алгоритмів розв'язання задач. Прийом фрагментарної типізації задач на метод кіл. Педагогічні програмні засоби (GeoGebra та ін.) для побудови в планіметрії.
статья, добавлен 30.01.2016Розроблення моделей і методів підвищення якості обслуговування, надійності функціонування захищених комп'ютерних мереж. Методи моніторингу параметрів трафіку комп'ютерних мереж. Аналіз існуючих моделей систем їх захисту та інформаційної взаємодії.
автореферат, добавлен 26.08.2015Аналіз методів забезпечення відмовостійкості цифрових систем керування з програмованою логікою. Удосконалення методу вибору відмовостійких систем керування з урахуванням вимог до надійності та обмежень на габаритно-масові й енергетичні характеристики.
автореферат, добавлен 11.08.2014Методи дослідження технічних систем і технологічних процесів. Розробка алгоритмічних основ і програмних засобів комп'ютерного моделювання широкого класу динамічних об'єктів. Формування непараметричних математичних моделей у вигляді інтегральних рівнянь.
автореферат, добавлен 29.09.2014Апаратне і програмне забезпечення виведення інформації. Характеристики електронно-променевих, рідкокристалічних та плазмових моніторів. Структура та інтерфейс діалогових вікон. Основні види комп’ютерних вірусів та їх джерела. Захист файлів на комп'ютері.
отчет по практике, добавлен 28.08.2014