Мультипроцесорні моделі рішення булевих рівнянь великої розмірності
Методи підвищення швидкодії функціональної верифікації цифрових систем на кристалах. Програмне забезпечення логічного моделювання, виконуване на послідовному комп'ютері. Удосконалення моделі сферичного мультипроцесора, розв’язання булевих рівнянь.
Подобные документы
Апаратні засоби та програмне забезпечення систем. Методика діагностування компонентів цифрових пристроїв. Корекція програм тестового контролю компонентів. Блок контролю цифрових інтегральних схем. Локальні мережі гнучкого автоматизованого розпізнавання.
автореферат, добавлен 05.01.2014Аналіз методів верифікації Web-контенту і можливості застосування онтологічної моделі подання знань. Доведення достовірності автоматичного гібридного виведення знань. Розробка методів семантичної верифікації знань і інтерпретації верифікаційних елементів.
автореферат, добавлен 29.07.2015Методологія автоматизації проектування і моделювання цифрових систем, що базується на логічному програмуванні. Аналіз методів розпізнавання часових діаграм і автоматизації символічного синтезу систем, які описуються за допомогою логічних секвентів.
автореферат, добавлен 22.04.2014Розробка аналітичних і структурно-функціональних моделей основних компонентів комп'ютеризованих систем навчання, алгоритмів її функціонування. Сутність методу формального логічного подання знань за допомогою однорідних ієрархічних функціональних мереж.
автореферат, добавлен 27.09.2014Характеристика можливостей серійних універсальних середовищ інженерних та науково-технічних обчислень для реалізації інтегральних моделей х динамічних систем. Методика розробки алгоритмів розв’язання системи інтегро-диференціальних рівнянь Вольтерри.
автореферат, добавлен 28.08.2015Підвищення ефективності взаємодії користувачів комп'ютеризованих систем, шляхом створення інтелектуальної системи підтримки інтерфейсу, що використовує модель користувача і модель взаємодії, засновані на знаннях. Алгоритми визначення цілей користувача.
автореферат, добавлен 07.01.2014Комп’ютеризовані діагностичні системи в медицині. Аналітичний огляд методів розпізнавання зображень. Інформаційне та програмне забезпечення інтелектуальної комп’ютеризованої системи діагностування онкопатологій, оцінка її функціональної ефективності.
дипломная работа, добавлен 05.10.2013Аналіз відомих методів і апаратно-програмних засобів підвищення продуктивності обчислювальних систем. Розробка нових методів паралельних обчислень спеціальних функцій, рішення систем рівнянь для навігаційних задач. Обробка навігаційної інформації.
автореферат, добавлен 29.09.2015Побудова моделі якості програмних систем оброблення даних на базі метрик надійності. Роль програмного забезпечення у виконанні функцій системи. Математичні моделі прогнозування дефектів та графічний комплекс з використанням апарату байєсівських мереж.
автореферат, добавлен 30.07.2014Розробка немарківської математичної моделі рішення задач управління ресурсам комп’ютерних мереж. Розщеплення композиційного неоднорідного вхідного потоку на складові. Використання розподілу Ерланга. Декомпозиція марківського ланцюга високої розмірності.
автореферат, добавлен 24.07.2014Розробка та характеристика інформаційної моделі процесу комп’ютерного дослідження системи управління, як об’єкта автоматизації. Дослідження моделі багатоклітьового дротового прокатного стану і його системи управління та системи зв'язаних між собою клітей.
автореферат, добавлен 07.08.2014Програма автоматичної генерації синтезованого HDL-коду на основі системної моделі керуючого автомата. Принципи кодування та декодування зображень в реальному масштабі часу на основі стандарту JPEG 2000, головні моделі й маршрути тестування програми.
автореферат, добавлен 29.08.2015Особливості розробки генеративної моделі користувачів комп’ютерних систем, її структурна і параметрична ідентифікація, властивості та зміни поведінки. Поняття нейромережевої моделі із застосуванням об’єктно-орієнтованого підходу й агентної технології.
автореферат, добавлен 10.08.2014Засоби підвищення продуктивності обчислювальних систем. Методи паралельних обчислень спеціальних функцій та систем рівнянь для навігаційних задач. Розробка високопродуктивних обчислювальних систем для обробки навігаційної інформації з високою точністю.
автореферат, добавлен 25.02.2015Сутність псевдовипадкових двійкових послідовностей для захисту інформації в комп’ютерних системах. Опис властивостей нелінійних булевих функцій зворотного зв’язку зсувного регістру, захист інформації з використанням псевдовипадкових послідовностей.
автореферат, добавлен 28.09.2015Розробка алгоритмів розв’язування задач оптимального керування системами з розподіленими параметрами. Зведення задач за допомогою функцій Гріна і спряжених рівнянь до неперервних задач оптимального розбиття множин. Розв’язання практичних задач керування.
автореферат, добавлен 12.02.2014Застосування мови VHDL для проектування комп’ютерних систем. Проектування комбінаційних схем, цифрових автоматів. Варіанти побудови процесу проектування цифрового пристрою на базі ПЛІС. Перехід синтезної моделі до логічної структури та бітового потоку.
контрольная работа, добавлен 08.09.2011Адаптація математичної моделі динаміки коливальних процесів одноступінчастої зубчастої передачі до вигляду, зручного для застосування аналогового моделювання. Математичну модель подано у вигляді системи лінійних диференціальних рівнянь другого порядку.
статья, добавлен 28.08.2016- 119. Математичні моделі та методи аналізу й синтезу топологій комп’ютерних видавничо-поліграфічних систем
Аналіз графічних, матричних та аналітичних моделей топологій комп'ютерних видавничо-поліграфічних систем. Створення методів виявлення та перетворення топологічних структур, заданих матричним способом. Синтез комп’ютерних видавничо-поліграфічних систем.
автореферат, добавлен 29.09.2013 Створення моделі організації комп’ютеризованого навчання. Побудова профілю користувача з урахуванням індивідуальних психофізіологічних характеристик. Розробка інструментальних засобів. Реалізація та оцінка ефективності автоматизованих навчаючих систем.
автореферат, добавлен 26.08.2015Створення програмного комплексу для статичної перевірки властивостей формальних моделей та визначення досяжності станів, в яких знайдено недоліки. Основні формальні моделі асинхронних паралельних систем та статичні методи перевірки властивостей.
автореферат, добавлен 14.08.2015Розробка математичної моделі вирішення задачі визначення непродуктивного часу в різних виробничих ситуаціях. Програмне забезпечення для реалізації моделей функціональних задач оперативно-диспетчерського управління бізнес-процесами виробничої дільниці.
автореферат, добавлен 26.08.2015Застосовування оберненої матриці для вирішення рівнянь та знаходження вигляду вектора у новому базисі. Використання метода Гауса-Йордана для розв'язання систем лінійних алгебраїчних задач. Особливість користування зручністю та простотою програми.
курсовая работа, добавлен 10.06.2014Алгоритми та моделі аналізу часових характеристик комунікаційних мереж. Знаходження максимального потоку в комунікаційних мережах та аналіз живучості. Адаптивна маршрутизація в комп'ютерних мережах. Оцінка показників живучості при додаткових обмеженнях.
автореферат, добавлен 15.11.2013Використання псевдовипадкових двійкових послідовностей для захисту інформації в комп’ютерних системах, критерії ефективності програмно-апаратних засобів їх формування. Властивості булевих функцій зворотного зв’язку та максимальні періоди повторення коду.
автореферат, добавлен 26.02.2015