Методи та засоби проектування технічних і програмних компонентів безпечних ПЛІС-контролерів з паралельною архітектурою
Розробка методології синтезу абстрактних, структурних і HDL-моделей безпечних логічних автоматів для ПЛІС-контролерів з паралельною архітектурою. Експериментальні дослідження, промислові випробування і оцінка функціональної безпеки ПЛІС-контролерів.
Подобные документы
Розробка методів та засобів формування і застосування стилів програмування в дослідженні ПЗ. Комплекс інформаційно-програмних засобів, що автоматизують вирішення визначених задач. Застосування компонентів вторинного використання та успадкованого ПЗ.
автореферат, добавлен 30.07.2014Розробка методу синтезу формальних моделей комп’ютерних програм на основі семантичних анотацій їх елементів. Розробка методу навчання інтелектуальної системи синтезу семантичних моделей програм. Структура онтології для системи синтезу моделей програм.
автореферат, добавлен 26.08.2015Складання структурних блок-схем регулювання. Обґрунтування вибору технічних засобів. Опис функціональної схеми автоматизації процесу виготовлення карамелі. Система технічної підтримки функціональних підсистем системи автоматизованого проектування.
курсовая работа, добавлен 09.11.2020Аналіз моделей фасувальних автоматів шляхом розщеплення вершин та дуг графів. Аналіз діаграм станів кінцевих автоматів, проектування цифрових пристроїв Active-HDL. Зниження трудомісткості розробки алгоритмів управління механізмами фасувальних автоматів.
статья, добавлен 14.01.2017Аналіз тенденцій розвитку сучасних СППРЕБ, методи інтеграції прикладних програм і основні особливості типових програмних реалізацій математичних моделей СППРЕБ. Розробка спеціалізованої мови програмування для формалізації різних аспектів інтеграції.
автореферат, добавлен 21.11.2013Методи дослідження технічних систем і технологічних процесів. Розробка алгоритмічних основ і програмних засобів комп'ютерного моделювання широкого класу динамічних об'єктів. Формування непараметричних математичних моделей у вигляді інтегральних рівнянь.
автореферат, добавлен 29.09.2014Домен - єдина область, в межах якої забезпечується безпека інформації в корпоративній комп'ютерній мережі. Сайт – сукупність доменних контролерів, які розташовані в одній або декількох підмережах, пов'язаних швидким і надійним мережевим з'єднанням.
курсовая работа, добавлен 26.09.2017- 33. Методи та засоби експертної системи вибору раціональних проектних рішень просторових конструкцій
Дослідження і розробка основних компонентів експертних систем – користувальницького інтерфейсу, інформаційно-логічної моделі об'єкта, бази знань, що відповідають вимогам сучасних комп'ютерних технологій проектування. Аналіз просторових конструкцій.
автореферат, добавлен 28.06.2014 Розробка методів верифікації алгоритмів функціонування дискретних систем, що задовольняють заданим часовим обмеженням. Використання часових логік для опису властивостей алгоритмів і методів побудови моделей систем, описаних у сучасних мовах проектування.
автореферат, добавлен 29.08.2014Розгляд особливостей структури мікропроцесорів архітектури Nehalem: контролерів пам'яті, ієрархії кешу, TLB та організації доступу до пам’яті. Технічні характеристики процесорів Intel та технології апаратної віртуалізації. Організація віртуальної пам’яті.
статья, добавлен 28.10.2020Визначення факторів, які суттєво впливають на ефективність функціонування комп’ютерних систем і мереж. Розробка та дослідження методів їх проектування при наявності нечіткості у визначенні характеристик та на основі маршрутизації та логічних каналів.
автореферат, добавлен 26.08.2014Порівняльна характеристика програмних продуктів здійснення об’єкта проектування. Розробка функціональної схеми (алгоритму) роботи. Синтез і обґрунтування засобів захисту інформації від несанкціонованого доступу. Аналіз психологічних аспектів умов праці.
дипломная работа, добавлен 19.07.2017Розробка аксіоматичного підходу до проектування лінгвістичних трансляторів в системах логічного програмування, що базується на традиційних логічних численнях, реалізації фаз синтаксичного аналізу і перекладу мов проектування за допомогою методу резолюцій.
автореферат, добавлен 11.10.2011Практична реалізація сукупності моделей, методів і алгоритмів, що можуть бути застосовані при розв’язанні задачі побудови системи захисту інформації, оброблюваної в ІС з відкритою архітектурою, базуються на методах логіко-імовірнісної теорії безпеки ССС.
автореферат, добавлен 28.06.2014Огляд розробки теорій послідовних схем. Абстрактні автомати як математичні моделі цифрового пристрою та їх поширені типи - Мілі, Мура, комбінаційні схеми. Методи синтезу абстрактних автоматів і процесів побудови їх графів у стані переходів і виходів.
реферат, добавлен 25.10.2012Розробка моделей та архітектурних рішень для складноорганізованих інтелектуальних математичних програмних систем, що інтегрують різноманітні парадигми програмування на базі алгебраїчного та інсерційного програмування, теорії взаємодії агентів і середовищ.
автореферат, добавлен 12.08.2014Дослідження проектування автоматизованих систем управління. Обґрунтування використання діалогових алгебро-граматичних моделей представлення знань для їх синтезу. Розробка інструментарію проектування комп’ютерних систем – діалогова трансформаційна машина.
автореферат, добавлен 27.08.2014Розроблення концепції візуального підходу до проектування об'єктно-орієнтованих розподілених програмних систем. Представлення декларативної семантики контурних Р-схем на основі графової алгебри процесів. Визначення протоколів синхронізації класів.
автореферат, добавлен 15.11.2013Аналіз методів синтезу й оптимізації характеристик автоматів з "жорсткою" логікою, схеми яких реалізуються в гетерогенному елементному базисі. Розробка структур і методів синтезу автомата Мілі з кодуванням наборів мікрооперацій і фрагментацією змінних.
автореферат, добавлен 29.08.2014Використання квантових комірок у конструюванні фрагментів логічних, арифметичних наносхем. Роль синхронізації в керуванні роботою квантово-коміркової логіки. Моделювання квантових коміркових автоматів з використанням автоматизованої системи проектування.
статья, добавлен 30.10.2016Розгляд "ручного" методу проектування систем автоматики з застосуванням програмованих логічних матриць, який оснований на шести етапах проектування. використання теорії автоматів і комп’ютерної логіки. Застосування методу продемонстрованого на прикладі.
статья, добавлен 27.07.2016Комп’ютери із NUMA архітектурою. Класифікація паралельних комп’ютерів і систем. Способи паралельної обробки. Закони Амдала та методи декомпозиції. Принципи побудови паралельних алгоритмів. Рекурсивна, спекулятивна, дослідницька та гібридна декомпозиція.
реферат, добавлен 24.01.2012Тенденції розвитку сучасних СППРЕБ, інтеграція прикладних програм і основні особливості типових програмних реалізацій математичних моделей СППРЕБ. Розробка спеціалізованої мови програмування для формалізації різних аспектів інтеграції моделей у СППРЕБ.
автореферат, добавлен 07.11.2013Розробка методики обробки вхідних даних про важливість та потрібний рівень частинних показників якості технічних засобів ЦАОВПІ. Вибір загального раціонального складу технічних засобів центру та програмна реалізація інформаційної системи центру.
автореферат, добавлен 28.07.2014Характеристика роботи програмних продуктів і апаратних засобів інформаційно-аналітичних систем управління рухом суден. Розробка логістичних процедур, які складають наукову базу кластерно-ймовірнісної методології дослідження інформаційної безпеки судна.
статья, добавлен 14.08.2016