Дедуктивно-паралельне моделювання несправностей на моделях цифрових систем, що реконфігуруються
Створення дедуктивної моделі реконфігурування структур даних опису цифрових систем на тест-векторі з метою виконання швидкодіючої процедури паралельної обробки дефектів. Тестування пристроїв великої розмірності, реалізованих у програмованій логіці.
Подобные документы
Класифікація геоінформаційних систем за територіальним поділом та за предметною областю інформаційного моделювання. Вивчення наукових, технічних, технологічних та прикладних аспектів проектування, створення та використання геоінформаційних систем.
курсовая работа, добавлен 23.10.2016Розробка автоматизованої інформаційної системи тестування запитів до бази даних що базується на інструментах розробки веб-застосувань на платформі .NET, протоколу передачі даних HTTP, фреймворку ASP.NET MVC для створення веб-застосунків декількох СУБД.
курсовая работа, добавлен 20.12.2016Моделювання як спосіб дослідження об'єктів пізнання. Побудова зразків реально існуючих предметів. Види дослідження явища в керованих умовах. Відмінність від спостереження, методи обробки, перевірки даних. Мета математичної обробки висновків досліду.
контрольная работа, добавлен 03.01.2014Генерація зображень у реальному часі як одне із завдань машинної графіки. Візуалізація тренажерів транспортних засобів. Моделювання динамічних сцен віртуального простору. Обробка зображень і розпізнавання образів. Системи автоматизованого проектування.
автореферат, добавлен 19.04.2014Дослідження методів підвищення відмовостійкості інформаційно-управляючих систем без зниження продуктивності обробки інформації. Розробка математичної моделі відмовостійкості. Оцінка позиційних і непозиційних операцій у модулярній системі числення.
автореферат, добавлен 29.07.2015Застосування мови VHDL для проектування комп’ютерних систем. Проектування комбінаційних схем, цифрових автоматів. Варіанти побудови процесу проектування цифрового пристрою на базі ПЛІС. Перехід синтезної моделі до логічної структури та бітового потоку.
контрольная работа, добавлен 08.09.2011Розробка методу оптимального балансування навантаження між комп'ютерами в мережевій системі керування процесами з радіальною топологією. Опис створення умовної векторної обробки масивів даних з метою більш повного завантаження конвеєра процесора.
автореферат, добавлен 22.07.2014У статті аналізується природа виникнення необхідності впровадження використання комп’ютерів, впровадження цифрових технологій та проведення цифрових трансформацій. Пропонується розглядати цифрову трансформацію відповіддю на цивілізаційні виклики.
статья, добавлен 16.02.2024Аналіз доцільності онтологічного моделювання як етапу розробки метамоделей програмних систем. Способи створення онтології топології обчислювальних вузлів розподілених ПС. Особливості визначення правил граматики метамоделей як функціональної властивості.
статья, добавлен 22.12.2016Метод синтезу та побудови послідовних біноміальних лічильників. Розробка методики оцінки завадостійкості пристроїв на основі біноміальних чисел з дублюванням та ухваленням рішення по провідному каналу або по каналам рівнозначними по значущості.
автореферат, добавлен 25.07.2015Методи реалізації процесів групового підсумовування і сортування елементів векторного масиву. Особливості паралельної обробки числової інформації методом різницевих зрізів для задач сегментації зображень, результати моделювання та ефективність процесів.
автореферат, добавлен 12.07.2014Розробка моделей надійності резервованих інформаційно-управляючих систем з додатковими компонентами для організації мережного мажоритування. Особливість методу конфігураційного синтезу цифрових програм при використанні раніше розроблених складників.
автореферат, добавлен 30.10.2015Програма автоматичної генерації синтезованого HDL-коду на основі системної моделі керуючого автомата. Принципи кодування та декодування зображень в реальному масштабі часу на основі стандарту JPEG 2000, головні моделі й маршрути тестування програми.
автореферат, добавлен 29.08.2015Характеристика сучасних тенденцій в галузі систем управління базами даних, зокрема інтеграції SQL та NoSQL підходів. Аналіз кожної інтегрованої системи з описом переваг та недоліків. Розгляд аспектів виконання запитів та визначення продуктивності.
статья, добавлен 01.03.2024дослідження ролі та місця систем захисту кінцевих пристроїв (EDR та XDR) в інформаційно-комунікаційних системах Збройних Сил. Технології, призначені для моніторингу, зображення, зберігання даних, які відстежують всі дії, що відбуваються в кінцевих точках.
статья, добавлен 21.06.2024Інформаційні технології - автоматизований процес збору, обробки і передачі даних з метою виробництва довідкового продукту. База даних як інтегрований накопичувач інформації, зібраної з інших систем, на основі якого будуються процеси прийняття рішень.
реферат, добавлен 28.06.2014Вирішення проблеми створення інформаційно-вимірювальних систем біомедичного призначення. Розробка нових математичних методів обробки даних та методичного забезпечення, орієнтованих на впровадження біомедичних інформаційних технологій у практику.
автореферат, добавлен 26.09.2015Розробка математичних моделей процесів та апаратів первинної переробки сирих вуглеводнів, їх узагальнення з метою типізації та уніфікації математичного опису класу процесів. Формалізація та уніфікація методів та засобів математичного моделювання.
статья, добавлен 28.08.2016Підвищення продуктивності роботи розподілених баз даних комп’ютерних інформаційних систем за рахунок оптимізації розподілу даних по вузлах комп’ютерної мережі. Обчислювальні експерименти, визначення параметрів алгоритму, субоптимальний розподіл даних.
автореферат, добавлен 11.08.2014Розробка програмного інструментарію для моделювання й тестування адаптивних систем керування розрядноімпульсними технологіями. Забезпечення надійності підтримки необхідних технологічних режимів в умовах стохастичності та невизначеності збурюючих впливів.
статья, добавлен 14.07.2016Розгляд процесів уніфікації та стандартизації. Створення єдиної інформаційної бази в Україні. Процедури кодування й моделювання елементів даних. Основні національні статистичні класифікації України. Розробка класифікаторів під час проектування баз даних.
реферат, добавлен 22.07.2017Комплексний розгляд переваг використання цифрових інструментів Google в освіті. Можливості створення, редагування та спільної роботи над текстовими документами, електронними таблицями та презентаціями. Вплив на освіту цифрових інструментів Google.
статья, добавлен 28.03.2024Характеристика основних стратегій, стадій та етапів методу тестування "Білий ящик". Аналіз забезпечення надійності системи в умовах шкідливих атак і програмних дефектів і збоїв. Розгляд логіки роботи програмного забезпечення для отримання тестових даних.
статья, добавлен 11.03.2018Засоби автоматизації тестування рівня знань користувачів гібридних інтелектуальних систем. Агентні та об’єктні методи програмної інженерії. Передавання знань від агента-експерта до респондента. Моделі діалогу інформаційних процедур як доступ до баз знань.
автореферат, добавлен 29.08.2015Дослідження особливостей побудови і функціонування територіально-розподілених систем дистанційного навчання, їх недоліків та проблем, пов'язаних з їх функціонуванням. Розробка моделі тестування знань, у якій студент розглядається як "чорна скринька".
автореферат, добавлен 26.08.2015