Методи та засоби проектування технічних і програмних компонентів безпечних ПЛІС-контролерів з паралельною архітектурою
Розробка методології синтезу абстрактних, структурних і HDL-моделей безпечних логічних автоматів для ПЛІС-контролерів з паралельною архітектурою. Експериментальні дослідження, промислові випробування і оцінка функціональної безпеки ПЛІС-контролерів.
Подобные документы
Оптимізації характеристик композиційних мікропрограмних пристроїв керування (КМПК), схеми яких реалізуються в базисі програмування у вигляді конкатенації кодування логічних умов та перетворенням автомата адресації. Оцінка складності апаратурних витрат.
автореферат, добавлен 27.07.2014Електронні засоби навчального призначення. Життєвий цикл програмної системи. Засоби швидкого конструювання. Axure як інструмент візуального проектування. Розробка інтерфейсу та дизайну інтегрованого дослідницького середовища Відеоінтерпритатор 3.0.
дипломная работа, добавлен 02.10.2018Розробка інформаційного, програмного та методичного забезпечення для побудови середовища колективного розподіленого проектування. Основні вимоги до систем автоматизованого проектування і GRID-технологій. Вивчення специфіки проектування гетерогенних САПР.
автореферат, добавлен 20.07.2015Інформаційна технологія й методи побудови функціональних тестів. Відновлення працездатності апаратно-програмних засобів у складі автоматизованих систем управління. Скорочення обчислювальної складності й довжини тестів шляхом розробки методів синтезу.
автореферат, добавлен 29.01.2016Розроблення математичних моделей квантових логічних елементів для різних технологій побудови квантового процесора. Вплив основних конструкційних параметрів, збурюючого сигналу на протікання перехідного процесу між станами, час виконання логічних операцій.
автореферат, добавлен 28.09.2014Огляд основ структурного синтезу при проектуванні складних систем. Використання методу гілок та границь, знаходження максимуму функції на допустимій множині. Основи застосування процесорної технології CUDA для розв’язання складних задач проектування.
контрольная работа, добавлен 28.11.2013Розробка методів підвищення оперативності передачі даних на основі пропорційного розподілу смуги пропускання каналу, зменшення часу передачі та втрат пакетів. Створення програмних засобів, що реалізують методи підвищення оперативності передачі даних.
автореферат, добавлен 29.08.2015Розробка алгоритмів та програмного забезпечення для автоматизованого формулювання умов працездатності складних технічних систем. Програмне забезпечення візуалізації структурних схем надійності та автоматизованого формулювання умов працездатності систем.
статья, добавлен 23.03.2020Дослідження ключових компонентів кольорових зображень гістологічних зрізів. Розробка проблемно-орієнтованих операторів кросинговеру і мутації для еволюційного методу на базі генетичного програмування з мережевою структурою представлення хромосом.
автореферат, добавлен 28.09.2014Вивчення і аналіз теоретичних, методологічних та програмних засад створення Web-систем підтримки навчальної діяльності у закладах освіти, розробка механізму динамічної модифікації їх вмісту. Вивчення існуючого інструментарію та його можливостей.
автореферат, добавлен 11.08.2014Дослідження та аналіз моделей керування цифровими обчислювальними системами і системами автоматики. Визначення можливості мінімізації апаратної реалізації цифрових керуючих пристроїв за рахунок використання оптимального кодування внутрішніх станів.
автореферат, добавлен 28.09.2015Оцінка ступеня безпеки інформації офісу, моделювання можливих каналів її витоку та розголошення. Розробка заходів щодо захисту інформації, вибір та схема розміщення технічних засобів на об'єкті. Ефективність комплексної системи захисту інформації.
курсовая работа, добавлен 18.10.2017- 113. Методи і моделі системологічного імітаційного моделювання розробки компонент інформаційних систем
Побудова імітаційних моделей з використанням системно-об’єктного підходу та методів моделювання складних інформаційних програмних систем та їхніх компонентів на базі УФО-технології. Удосконалення математичного апарату для моделювання бібліотек даних.
автореферат, добавлен 27.08.2014 Оцінка непараметричних моделей прогнозування показників надійності програмного забезпечення на етапах його тестування та експлуатації на основі нейронних мереж. Розробка методу подання марковського процесу вищого порядку у еквівалентному вигляді.
автореферат, добавлен 27.03.2016Дослідження основних особливостей елементного базису програмувальних логічних інтегральних схем. Створення модифікованих структур і методів синтезу автомата Мура. Характеристика алгоритму вибору моделі автомата Мура з найменшими витратами апаратури.
автореферат, добавлен 18.07.2015Аналіз існуючих підходів до проектування, моделювання оптимального керування логістичними інформаційними системами (ЛІС), розробка методів математичного програмування та багатофакторного оцінювання критеріїв. Сутність біллінгової інформаційної системи.
автореферат, добавлен 13.07.2014- 117. Методи і засоби підвищення ефективності систем моніторингу безпеки в комп'ютерних системах і мережах
Оцінки рівня загроз вторгнень із врахуванням цілей дій порушників та аналізу ризиків реалізації загроз безпеки інформаційних ресурсів. Засоби адаптивного управління безпекою комп'ютерних систем і мереж. Середовище для моделювання програм безпеки.
автореферат, добавлен 26.07.2014 Аналіз методів та засобів розробки інформаційно-управляючих систем. Розробка метрики диверсності для оцінки ступеня різноманітності версій автоматів з програмованою логікою. Створення та дослідження інформаційної технології підтримки прийняття рішень.
автореферат, добавлен 14.09.2014Характеристика шляхів інноваційного розвитку проектування, місця медіадизайну в системі сучасних інтернет-технологій. Дослідження методів і програмно-технічних засобів, способів розширення меж використання медіадизайну в інформаційному просторі.
статья, добавлен 06.02.2019Особливості функціонування та обмеження сокетів за архітектурою віртуального інтерфейсу, які використовують компонентну основу, створену для підтримки додатків з інтенсивною обробкою даних в момент їх виконання. Архітектура віртуального інтерфейсу.
статья, добавлен 03.11.2020Розробка функціональної схеми автоматизованого проектування лопаткових компресорів, основою якої є програмне забезпечення на мови програмування Delphi для моделювання профілів лопаток. Енергетичні перетворення в компресорах газотурбінних двигунів.
статья, добавлен 28.10.2016Реалізація методу синтезу композиційних мікропрограмних пристроїв керування з традиційними й елементарними операторними лінійними ланцюгами на основі адреси мікрокоманди у вигляді конкатенації коду операторного лінійного ланцюга та її компонентів.
автореферат, добавлен 27.02.2014Методи та засоби, що підвищують рівень автоматизації процедур схемотехнічного аналізу та синтезу мікроелектромеханічних систем на напівпровідниковому кристалі. Вплив технологічних параметрів виготовлення на вихідні параметри інтегрального пристрою.
автореферат, добавлен 20.07.2015Результати аналізу якості і ефективності управління ресурсами міського господарства. Розробка геоінформаційної аналітичної системи управління міським господарством. Оцінка ефективності моделей і методів оптимізації роботи системи газопостачання міста.
автореферат, добавлен 14.09.2015Формування і комп'ютерна реалізація динамічних моделей широкого класу механічних об'єктів з розподіленими і зосередженими параметрами у системах проектування й випробовування елементів механічних конструкцій та модельної підтримки прийняття рішень.
автореферат, добавлен 06.07.2014