Синтез безопасных автоматов с функциональной деградацией
Разработаны абстрактные модели и выделены классы безопасных автоматов. Предложены табличные и графические методы задания таких автоматов и методы синтеза безопасных автоматов с функциональной деградацией, основанные на формировании множеств ответственных операций и построении, анализе и преобразован...
Saved in:
| Published in: | Управляющие системы и машины |
|---|---|
| Date: | 2010 |
| Main Author: | Малиновский, М.Л. |
| Format: | Article |
| Language: | Russian |
| Published: |
Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України
2010
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/82798 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Синтез безопасных автоматов с функциональной деградацией / М.Л. Малиновский // Управляющие системы и машины. — 2010. — № 1. — С. 84-91. — Бібліогр.: 3 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of UkraineSimilar Items
Повышение эффективности сверточных помехоустойчивых кодов с помощью конечных автоматов
by: Завадский, И.А.
Published: (2015)
by: Завадский, И.А.
Published: (2015)
Определение инварианта к сжатию с потерями для аудиосигналов
by: Кошкина, Н.В.
Published: (2010)
by: Кошкина, Н.В.
Published: (2010)
Подсистема криптографического обеспечения конфиденциальности данных в защищенной ОС на базе OC GNU/Linux с расширением RSBAC
by: Анисимов, А.В., et al.
Published: (2010)
by: Анисимов, А.В., et al.
Published: (2010)
Комплексная информационная безопасность корпоративных информационных систем
by: Лисецкий, Ю.М.
Published: (2019)
by: Лисецкий, Ю.М.
Published: (2019)
Метод анализа эффективности реконфигурации топологии построения беспроводных мультисервисных сетей повышенной помехозащищенности
by: Ластовченко, М.М., et al.
Published: (2009)
by: Ластовченко, М.М., et al.
Published: (2009)
Разработка и реализация политики безопасности в распределенных компьютерных системах
by: Мухин, В.Е., et al.
Published: (2010)
by: Мухин, В.Е., et al.
Published: (2010)
Разработка и реализация политики безопасности в распределенных компьютерных системах
by: Мухин, В.Е., et al.
Published: (2010)
by: Мухин, В.Е., et al.
Published: (2010)
Резервное копирование как инструмент защиты информации
by: Лисецкий, Ю.М., et al.
Published: (2019)
by: Лисецкий, Ю.М., et al.
Published: (2019)
О технологии криптографической защиты информации на специальных цифровых носителях
by: Задирака, В.К., et al.
Published: (2010)
by: Задирака, В.К., et al.
Published: (2010)
Разработка методов повышения помехоустойчивости охранных систем
by: Белявин, В.Ф.
Published: (2013)
by: Белявин, В.Ф.
Published: (2013)
Стохастическая модель оценки параметров структурной живучести mesh-сетей в условиях воздействия разрушающих факторов
by: Кулаков, Ю.О., et al.
Published: (2013)
by: Кулаков, Ю.О., et al.
Published: (2013)
Анализ влияния организационных факторов на безопасность
by: Гречанинов, В.Ф., et al.
Published: (2014)
by: Гречанинов, В.Ф., et al.
Published: (2014)
Стеганография по методу наименее значимого бита на базе персонализированных флеш-накопителей
by: Королев, В.Ю., et al.
Published: (2011)
by: Королев, В.Ю., et al.
Published: (2011)
Оценка рисков защищенности распределенных компьютерных систем в процессе анализа ситуаций и принятия решений
by: Мухин, В.Е.
Published: (2011)
by: Мухин, В.Е.
Published: (2011)
Додаткова експертиза з технічного захисту інформації в Україні
by: Алексєєв, В.А., et al.
Published: (2010)
by: Алексєєв, В.А., et al.
Published: (2010)
On Method Concept for Safety Culture Assessment with Application of Inductive Learning Algorithms
by: Begun, V.V., et al.
Published: (2014)
by: Begun, V.V., et al.
Published: (2014)
Адаптивне кодування даних, формування та передавання завадостійких пакетів інформації в мережах промислового моніторингу
by: Шевчук, Б.М., et al.
Published: (2015)
by: Шевчук, Б.М., et al.
Published: (2015)
Мониторинг и анализ медиапространства – информационно-аналитическая система NEWSPASE
by: Малышко, С.А.
Published: (2015)
by: Малышко, С.А.
Published: (2015)
Построение компактных тестов для функциональной верификации VHDL-описаний конечных автоматов
by: Бибило, П.Н., et al.
Published: (2017)
by: Бибило, П.Н., et al.
Published: (2017)
Методика расчета сейсмически безопасных параметров промышленных взрывов
by: Михельсон, Р.В., et al.
Published: (2013)
by: Михельсон, Р.В., et al.
Published: (2013)
Определение безопасных уровней статических нагрузок для полимерных композитов, ослабленных трещинами
by: Каминский, А.А., et al.
Published: (2018)
by: Каминский, А.А., et al.
Published: (2018)
Языковая ситуация в Германии с точки зрения функциональной и социальной дифференциации
by: Петренко, Д.А.
Published: (2006)
by: Петренко, Д.А.
Published: (2006)
Согласование взаимодействующих автоматов
by: Чеботарев, А.Н.
Published: (2015)
by: Чеботарев, А.Н.
Published: (2015)
Синтез ∑-автоматов, специфицированных в логических языках LP и LF первого порядка
by: Чеботарев, А.Н.
Published: (2018)
by: Чеботарев, А.Н.
Published: (2018)
Проверка эквивалентности программ с помощью двухленточных автоматов
by: Захаров, В.А.
Published: (2010)
by: Захаров, В.А.
Published: (2010)
Прогнозирование уровня грунтовых вод с применением клеточных автоматов
by: Логинов, О.А., et al.
Published: (2009)
by: Логинов, О.А., et al.
Published: (2009)
Эквивалентность двумерных многоленточных автоматов
by: Григорян, А.А., et al.
Published: (2008)
by: Григорян, А.А., et al.
Published: (2008)
Представление автоматов группами. II
by: Скобелев, В.Г.
Published: (2000)
by: Скобелев, В.Г.
Published: (2000)
Определение безопасных расстояний при аварийных взрывах шахтной атмосферы с учетом отражения ударных воздушных волн в тупиковых выработках
by: Налисько, Н.Н.
Published: (2016)
by: Налисько, Н.Н.
Published: (2016)
Об одной функциональной алгебре
by: Чернов, В.Г.
Published: (1990)
by: Чернов, В.Г.
Published: (1990)
О минимизации автоматов алгоритмом Хопкрофта
by: Чеботарев, А.Н.
Published: (2016)
by: Чеботарев, А.Н.
Published: (2016)
Теория конечных квантовых автоматов (обзор)
by: Скобелев, В.Г.
Published: (2012)
by: Скобелев, В.Г.
Published: (2012)
Представления автоматов в локально определенных классах
by: Козловский, В.А., et al.
Published: (2008)
by: Козловский, В.А., et al.
Published: (2008)
Моделирование автоматов над конечным кольцом автоматами с конечной памятью
by: Скобелев, В.В.
Published: (2012)
by: Скобелев, В.В.
Published: (2012)
Семантика междометий в аспекте функциональной омонимии
by: Валеева, Л.В.
Published: (2004)
by: Валеева, Л.В.
Published: (2004)
Структурное представление процесса синтеза управляющих автоматов с операционным автоматом переходов
by: Баркалов, А.А., et al.
Published: (2011)
by: Баркалов, А.А., et al.
Published: (2011)
Эффективный алгоритм синтеза многовыходных комбинационных автоматов
by: Голов, А.В., et al.
Published: (1999)
by: Голов, А.В., et al.
Published: (1999)
О некоторых задачах анализа гибридных автоматов
by: Скобелев, В.В., et al.
Published: (2018)
by: Скобелев, В.В., et al.
Published: (2018)
Алгоритм, устанавливающий эквивалентность детерминированных многоленточных автоматов
by: Борисенко, В.И.
Published: (2015)
by: Борисенко, В.И.
Published: (2015)
Характеристики линейных одномерных автоматов с лагом l над конечным кольцом
by: Скобелев, В.В.
Published: (2008)
by: Скобелев, В.В.
Published: (2008)
Similar Items
-
Повышение эффективности сверточных помехоустойчивых кодов с помощью конечных автоматов
by: Завадский, И.А.
Published: (2015) -
Определение инварианта к сжатию с потерями для аудиосигналов
by: Кошкина, Н.В.
Published: (2010) -
Подсистема криптографического обеспечения конфиденциальности данных в защищенной ОС на базе OC GNU/Linux с расширением RSBAC
by: Анисимов, А.В., et al.
Published: (2010) -
Комплексная информационная безопасность корпоративных информационных систем
by: Лисецкий, Ю.М.
Published: (2019) -
Метод анализа эффективности реконфигурации топологии построения беспроводных мультисервисных сетей повышенной помехозащищенности
by: Ластовченко, М.М., et al.
Published: (2009)