Головна сторінка бібліотеки Спрощенний режим пошуку Інструкція з пошуку
Авторизація
Прізвище
Пароль
 

Бази даних


Книжкові видання- результати пошуку

Вид пошуку

Зона пошуку
у знайденому
Формат представлення знайдених документів:
повнийінформаційнийкороткий
Відсортувати знайдені документи за:
авторомназвоюроком виданнятипом документа
Пошуковий запит: (<.>U=004.43(04)<.>)
Загальна кількість знайдених документів : 3
Показані документи с 1 по 3
1.
   004.43
   М 19


    Малиновский, Михаил Леонидович.
    Методы и средства проектирования технических и программных компонентов безопасных плис-контроллеров с параллельной архитектурой [Рукопис] : дис. ... д-ра техн. наук : 05.13.05 / М. Л. Малиновский ; науч. конс. И. А. Фурман ; ХНТУСХ. - Харьков, 2009. - 379 с. : рис. - Библиогр.: с. 362-379 (159 назв.)
    Зміст:
Введение . - С .9-18
Анализ состояния проблемы и определение цели исследования . - С .19-51
1. Безопасность технических и программных компонентов систем критического применения (ТПК СКП) : основные понятия, терминология . - С .19-23
2. Анализ известных методов обеспечения безопасности ТПК СКП . - С .23-33
3. Анализ известных автоматных моделей ТПК СКП . - С .33-36
4. Анализ перспективных методов алгоритмизации и программирования систем и компонентов на основе ПЛИС . - С .36-39
5. Проблемы, цели и задачи исследования . - С .39-45
6. Разработка концепции проведения исследований . - С .45-51
Разработка методологии абстрактного синтеза безопасных логических автоматов параллельного действия (БЛП-автоматов) . - С .52-122
1. Этапы разработки методологии абстрактного синтеза БЛП-автоматов . - С .52-55
2. Понятие о безопасном автомате и опасных искажениях сигналов и функций . - С .55-58
3. Разработка абстрактных моделей БЛП-автоматов . - С .58-66
4. Разработка методов задания БЛП-автоматов . - С .66-79
5. Разработка табличного и графического методов описания компонентов БЛП-автоматов . - С .79-87
6. Разработка метода синтеза БЛП-автоматов по формальному описанию требований к безопасности, основанному на формировании множеств ответственных операций . - С .87-88
7. Разработка процедуры синтеза БЛП-автоматов с функциональной деградацией . - С .88-95
8. Абстрактный синтез БЛП-автоматов циклического действия . - С .95-122
Разработка методологии структурного синтеза БДП-автоматов . - С .123-162
1. Этапы разработки методологии структурного синтеза БЛП-автоматов . - С .123-126
2. Структурный синтез БЛП-автоматов Мили и Мура . - С .126-134
3. Структурный синтез БДП-автоматов циклического действия . - С .134-150
4. Разработка и исследование логических структур функциональных блоков БЛП-автоматов . - С .150-153
5. Разработка и исследование логической структуры выходных функциональных преобразователей . - С .153-160
5. Разработка HDL-моделей БЛП-автоматов . - С .160-162
Разработка языка, технологии и инструментальных средств программирования безопасных плис-контроллеров с параллельной архитектурой . - С .163-210
1. Концепции разработки и обоснование исходных требований к языку и технологии программирования безопасных ПЛИС-контроллеров с параллельной архитектурой . - С .163-167
2. Разработка конструкций языка программирования безопасных ПЛИС- контроллеров с параллельной архитектурой THDL . - С .167-170
3. Формальное описание языка THDL . - С .170-195
4. Модели и стили программирования ПЛИС-контроллеров на языке THDL . - С .195-206
6. Разработка процедуры и инструментальных средств программного обеспечения для безопасных ПЛИС- контроллеров с параллельной архитектурой . - С .206-210
Разработка и исследование методов проектирования и моделей устройств безопасного формирования выходных управляющих воздействий . - С .211-253
1. Разработка и исследование математической модели однофазных устройств безопасного формирования гармонического выходного сигнала (УБФ ГС) . - С .211-236
2. Разработка и исследование математической модели н-фазных УФБ ГС . - С .236-241
4. Разработка HDL-модели n-фазных УБФ ГС . - С .243-253
Практическая реализация результатов теоретических исследований . - С .254-271
1. Разработка программы практического использования на объектах критического применения полученных результатов теоретических исследований . - С .254-258
2. Абстрактный и структурный синтез автоматных моделей для выбранных устройств . - С .258-263
3. Разработка и лабораторные исследования экспериментального образца безопасного ПЛИС-контроллера с параллельной архитектурой . - С .263-265
4. Создание и промышленные испытания микроэлектронной системы централизации на основе безопасных ПЛИС-контроллеров с параллельной архитектурой . - С .265-271
Оценка эффективности проведенных исследований . - С .272-305
2. Сравнительная оценка функциональной безопасности ПО, реализованного на разработанном языке и на стандартных языках описания аппаратуры . - С .282-296
3. Сравнительная оценка функциональной безопасности устройств формирования управляющих воздействий (разработанных и известных ) . - С .296-304
ДРНТІ
УДК

Кл.слова (ненормовані):
КОМПЬЮТЕРНЫЕ СИСТЕМЫ -- ЦИКЛОГРАММЫ -- ВЫХОДНЫЕ ПРЕОБРАЗОВАТЕЛИ
Дод.точки доступу:
Фурман, Илья Александрович \науч. конс.\
Харьковский национальный технический университет сельского хозяйства

Примірників усього: 1
чз.1 (1)
Вільні: чз.1 (1)

Знайти схожі

2.
   004.43
   М 19


    Малиновський, М. Л.
    Методи та засоби проектування технічних і програмних компонентів безпечних пліс-контролерів з паралельною архітектурою [Текст] : автореф. дис. ... д-ра техн. наук : 05.13.05 / М. Л. Малиновський ; НТУ “ХПІ”. - Харків : НТУ “ХПІ”, 2010. - 36 с.
ДРНТІ
УДК

Кл.слова (ненормовані):
комп’ютерні системи -- комп’ютерні компоненти -- мовно-програмні засоби -- системи критичного застосування
Дод.точки доступу:
Національний технічний університет “Харківський політехнічний інститут”

Примірників усього: 2
чз.1 (2)
Вільні: чз.1 (2)

Знайти схожі

3.
   004.4
   К 64


    Коніщева, Анна Павлівна.
    Моделі та методи проектування цифрових компонентів комп’ютерних систем на основі табличних мов опису апаратури [Текст] : автореф. дис. ... канд. техн. наук : 05.13.05 / А. П. Коніщева ; НТУ “ХПІ”. - Харків, 2015. - 20 с. : рис., табл.
ДРНТІ
УДК

Кл.слова (ненормовані):
комп’ютерні системи -- табличні мови опису -- мова TabHDL -- проектування цифрових компонентів
Дод.точки доступу:
Національний технічний університет “Харківський політехнічний інститут”

Примірників усього: 2
чз.1 (2)
Вільні: чз.1 (2)

Знайти схожі

 

Наша адреса: 61000, Харків, вул. Кирпичова, 2
Науково-технічна бібліотека НТУ "ХПІ"
Контактний телефон: (057) 707-63-07
E-mail: library@khpi.edu.ua