Методи та засоби проектування технічних і програмних компонентів безпечних ПЛІС-контролерів з паралельною архітектурою
Розробка методології синтезу абстрактних, структурних і HDL-моделей безпечних логічних автоматів для ПЛІС-контролерів з паралельною архітектурою. Експериментальні дослідження, промислові випробування і оцінка функціональної безпеки ПЛІС-контролерів.
Подобные документы
Дослідження властивостей булевих функцій. Аналіз факторів, що впливають на ефективність їх застосування в засобах захисту інформації. Розробка організації обчислень та програмних засобів для синтезу і реалізації перетворень, що базуються на функціях.
автореферат, добавлен 26.07.2014Розробка архітектури рівня машинних інструкцій. Синтез структури SPIM RISC комп’ютера. Реалізація VHDL моделі одноциклового RISC комп’ютера з архітектурою SPIM. Дослідження середовища розробки САПР Xilinx webpack та основні принципи його роботи.
курсовая работа, добавлен 31.10.2019Вивчення методології проектування інформаційних систем. Методи проектування і їх класифікація. Характеристика ієрархічної багатоаспектної системи класифікації економічної інформації. Проектування процесів завантаження і ведення інформаційної бази.
контрольная работа, добавлен 10.09.2009- 54. Методи та засоби синтезу й відображення динамічних об'єктів (для центрів оперативного управління)
Алгоритмічні методи побудови засобів синтезу зображень, що забезпечують відтворення динаміки рухомого об'єкта в системах оперативного управління в режимі реального часу. Ізотермічне конформне відображення образу об'єкта. Обробка компонентів руху об'єктів.
автореферат, добавлен 22.04.2014 Розробка моделі просторового графа синхронних потоків даних. Алгоритмізація їх обробки у паралельних обчислювальних системах. Застосування програмованих логічних інтегральних схем. Вирішення задач лінійної алгебри з мінімізацією простоїв процесорів.
автореферат, добавлен 11.08.2015Проведення повного синтезу багатофункціонального регістру з покроковим описом всіх вироблюваних дій. Визначення булевої функції, опис її мінімізації методом карт Карно. Характеристика таблиці синтезу автоматів Мілі та Мура. Скорочені формули для них.
курсовая работа, добавлен 25.03.2014Рішення актуальної задачі підвищення якості формалізації природної мови на прикладі створення алгебрологічних моделей морфології та їх застосування у логічних мережах. Проектування засобів штучного інтелекту. Алгебрологічний метод роботи логічних мереж.
автореферат, добавлен 28.08.2014Конструювання інформаційних технологій функціональної безпеки інформаційно-управляючих систем та еволюційно-компонентної моделі. Розробка моделі надійності систем з мережевим мажоритуванням. Застосування систем на енергоблоках атомних електростанцій.
автореферат, добавлен 26.08.2014Характеристика основних стадій проектування. Структурні перегляди і зовнішні інспекції. Основні правила структурних переглядів. Структурне подання даних. Правила мінімізації складності програмного виробу. Організація проведення структурних переглядів.
лекция, добавлен 26.03.2013Проектування, створення високоякісного програмного забезпечення - одна з надзвичайно важливих проблем в сучасному інформаційному світі. Архітектура - сукупність певних взаємопов’язаних структурних компонентів, які визначають поведінку всієї системи.
статья, добавлен 23.04.2021Побудова паралельних обчислювальних систем з архітектурою розподіленої загальної пам’яті. Підтримка протоколу IPv6. Розрахунок реєстрації поточної прив'язки в проміжному маршрутизаторі. Розширення функціональних можливостей мобільних комп'ютерних мереж.
автореферат, добавлен 29.07.2014Оцінка технології оперативної обробки даних із трьох ланковою архітектурою клієнт-сервер. Характеристика програми аудиторської перевірки "КІТ.Аудит". Аналіз основних функцій: розгляду апробації та якості, опису цін та додаткових послуг від виробника.
презентация, добавлен 11.04.2017Дослідження методів проектування мікросмужкових фільтрів НВЧ. Розробка алгоритмів проектування допусків в залежності від технології виготовлення підсистеми мікросмужкових фільтрів з можливістю аналізу та синтезу допусків на основних етапах технології.
автореферат, добавлен 26.08.2014Методологія об'єктно-орієнтованого аналізу і проектування великих програмних систем. UML як уніфікована мова моделювання. Характеристика робіт проектної групи на стадіях проектування, реалізації, кодування і впровадження програмного забезпечення.
реферат, добавлен 19.07.2017Огляд теоретико-категорних моделей абстрактних обчислювальних структур, співвідношення між різними структурами, умови їх еквівалентності. Аналіз умови ізоморфності об'єкта натуральних чисел і області нескінченного підоб'єкта об'єкта натуральних чисел.
автореферат, добавлен 30.08.2014Характеристика існуючих моделей надійності програмних систем. Розроблення алгоритмів та програм їх реалізації. Впровадження запропонованих підходів, моделей та методик інженерії тестування в проекти з розроблення програмних систем оброблення даних.
автореферат, добавлен 30.07.2014Розробка мультиагентних методів синтезу нейро-нечітких мереж для підвищення їхніх апроксимаційних та узагальнюючих здатностей. Динаміка роботи методів відбору інформативних ознак. Огляд програмних засобів для мультиагентного синтезу нейро-нечітких мереж.
автореферат, добавлен 20.07.2015Концепція побудови дата-центрів з сучасною архітектурою. Служби пристроїв зберігання даних, управління даними, архівування та відновлення як компоненти сервісу управління даними. Принципи програмно-апаратної реалізації служби архівування та відновлення.
статья, добавлен 27.07.2016Дослідження існуючих математичних моделей щодо переміщення рідкого середовища з рухомими границями. Визначення основних найбільш перспективних напрямків розвитку паралельних асинхронних і мультисіткових методів і програмних засобів для їх реалізації.
автореферат, добавлен 20.07.2015Розробка методів та апаратних засобів нанесення текстур з усуненням ефекту аліасинга для синтезу зображень методом зворотного трасування в системах візуалізації реального часу. Огляд методу анізотропної фільтрації в площині текстури для синтезу зображень.
автореферат, добавлен 30.07.2015Підвищення ефективності функціонування територіально розподілених технічних систем. Вдосконалення керування інформаційним обміном між об’єктами. Автоматизоване управління у розподілених технічних системах на основі специфікованих протокольних автоматів.
автореферат, добавлен 27.07.2014Зв’язування компонентів – нововведення у Flash MX 2004. Створення компонентів із стандартним інтерфейсом: налагодження параметрів, додавання, вилучення та зміна порядку. Розробка інтерфейсного файла .swf. Засоби для створення професійних компонентів.
реферат, добавлен 15.08.2011Суть технічної проблеми, що виникла на сучасному етапі розвитку науки, техніки і технологій. Аналіз етапів проектування додатків. Варіантний аналіз та обґрунтування вибору засобів реалізації. Розробка функціональної частини додатка і тестування програми.
дипломная работа, добавлен 28.01.2017Методологія автоматизації проектування і моделювання цифрових систем, що базується на логічному програмуванні. Аналіз методів розпізнавання часових діаграм і автоматизації символічного синтезу систем, які описуються за допомогою логічних секвентів.
автореферат, добавлен 22.04.2014Дослідження інформаційних технологій, призначених для керування залізничною автоматизацією. Оцінка недоліків при реалізації логічних функцій. Рекомендації, щодо концепції вдосконаленої мови програмування керування та трансляції програм контролера.
автореферат, добавлен 29.10.2013