Синтез безопасных автоматов с функциональной деградацией
Разработаны абстрактные модели и выделены классы безопасных автоматов. Предложены табличные и графические методы задания таких автоматов и методы синтеза безопасных автоматов с функциональной деградацией, основанные на формировании множеств ответственных операций и построении, анализе и преобразован...
Gespeichert in:
| Veröffentlicht in: | Управляющие системы и машины |
|---|---|
| Datum: | 2010 |
| 1. Verfasser: | Малиновский, М.Л. |
| Format: | Artikel |
| Sprache: | Russisch |
| Veröffentlicht: |
Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України
2010
|
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/82798 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Zitieren: | Синтез безопасных автоматов с функциональной деградацией / М.Л. Малиновский // Управляющие системы и машины. — 2010. — № 1. — С. 84-91. — Бібліогр.: 3 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of UkraineÄhnliche Einträge
Повышение эффективности сверточных помехоустойчивых кодов с помощью конечных автоматов
von: Завадский, И.А.
Veröffentlicht: (2015)
von: Завадский, И.А.
Veröffentlicht: (2015)
Определение инварианта к сжатию с потерями для аудиосигналов
von: Кошкина, Н.В.
Veröffentlicht: (2010)
von: Кошкина, Н.В.
Veröffentlicht: (2010)
Подсистема криптографического обеспечения конфиденциальности данных в защищенной ОС на базе OC GNU/Linux с расширением RSBAC
von: Анисимов, А.В., et al.
Veröffentlicht: (2010)
von: Анисимов, А.В., et al.
Veröffentlicht: (2010)
Комплексная информационная безопасность корпоративных информационных систем
von: Лисецкий, Ю.М.
Veröffentlicht: (2019)
von: Лисецкий, Ю.М.
Veröffentlicht: (2019)
Метод анализа эффективности реконфигурации топологии построения беспроводных мультисервисных сетей повышенной помехозащищенности
von: Ластовченко, М.М., et al.
Veröffentlicht: (2009)
von: Ластовченко, М.М., et al.
Veröffentlicht: (2009)
Разработка и реализация политики безопасности в распределенных компьютерных системах
von: Мухин, В.Е., et al.
Veröffentlicht: (2010)
von: Мухин, В.Е., et al.
Veröffentlicht: (2010)
Разработка и реализация политики безопасности в распределенных компьютерных системах
von: Мухин, В.Е., et al.
Veröffentlicht: (2010)
von: Мухин, В.Е., et al.
Veröffentlicht: (2010)
Резервное копирование как инструмент защиты информации
von: Лисецкий, Ю.М., et al.
Veröffentlicht: (2019)
von: Лисецкий, Ю.М., et al.
Veröffentlicht: (2019)
О технологии криптографической защиты информации на специальных цифровых носителях
von: Задирака, В.К., et al.
Veröffentlicht: (2010)
von: Задирака, В.К., et al.
Veröffentlicht: (2010)
Разработка методов повышения помехоустойчивости охранных систем
von: Белявин, В.Ф.
Veröffentlicht: (2013)
von: Белявин, В.Ф.
Veröffentlicht: (2013)
Стохастическая модель оценки параметров структурной живучести mesh-сетей в условиях воздействия разрушающих факторов
von: Кулаков, Ю.О., et al.
Veröffentlicht: (2013)
von: Кулаков, Ю.О., et al.
Veröffentlicht: (2013)
Анализ влияния организационных факторов на безопасность
von: Гречанинов, В.Ф., et al.
Veröffentlicht: (2014)
von: Гречанинов, В.Ф., et al.
Veröffentlicht: (2014)
Стеганография по методу наименее значимого бита на базе персонализированных флеш-накопителей
von: Королев, В.Ю., et al.
Veröffentlicht: (2011)
von: Королев, В.Ю., et al.
Veröffentlicht: (2011)
Оценка рисков защищенности распределенных компьютерных систем в процессе анализа ситуаций и принятия решений
von: Мухин, В.Е.
Veröffentlicht: (2011)
von: Мухин, В.Е.
Veröffentlicht: (2011)
Додаткова експертиза з технічного захисту інформації в Україні
von: Алексєєв, В.А., et al.
Veröffentlicht: (2010)
von: Алексєєв, В.А., et al.
Veröffentlicht: (2010)
On Method Concept for Safety Culture Assessment with Application of Inductive Learning Algorithms
von: Begun, V.V., et al.
Veröffentlicht: (2014)
von: Begun, V.V., et al.
Veröffentlicht: (2014)
Адаптивне кодування даних, формування та передавання завадостійких пакетів інформації в мережах промислового моніторингу
von: Шевчук, Б.М., et al.
Veröffentlicht: (2015)
von: Шевчук, Б.М., et al.
Veröffentlicht: (2015)
Мониторинг и анализ медиапространства – информационно-аналитическая система NEWSPASE
von: Малышко, С.А.
Veröffentlicht: (2015)
von: Малышко, С.А.
Veröffentlicht: (2015)
Построение компактных тестов для функциональной верификации VHDL-описаний конечных автоматов
von: Бибило, П.Н., et al.
Veröffentlicht: (2017)
von: Бибило, П.Н., et al.
Veröffentlicht: (2017)
Методика расчета сейсмически безопасных параметров промышленных взрывов
von: Михельсон, Р.В., et al.
Veröffentlicht: (2013)
von: Михельсон, Р.В., et al.
Veröffentlicht: (2013)
Определение безопасных уровней статических нагрузок для полимерных композитов, ослабленных трещинами
von: Каминский, А.А., et al.
Veröffentlicht: (2018)
von: Каминский, А.А., et al.
Veröffentlicht: (2018)
Языковая ситуация в Германии с точки зрения функциональной и социальной дифференциации
von: Петренко, Д.А.
Veröffentlicht: (2006)
von: Петренко, Д.А.
Veröffentlicht: (2006)
Согласование взаимодействующих автоматов
von: Чеботарев, А.Н.
Veröffentlicht: (2015)
von: Чеботарев, А.Н.
Veröffentlicht: (2015)
Синтез ∑-автоматов, специфицированных в логических языках LP и LF первого порядка
von: Чеботарев, А.Н.
Veröffentlicht: (2018)
von: Чеботарев, А.Н.
Veröffentlicht: (2018)
Проверка эквивалентности программ с помощью двухленточных автоматов
von: Захаров, В.А.
Veröffentlicht: (2010)
von: Захаров, В.А.
Veröffentlicht: (2010)
Прогнозирование уровня грунтовых вод с применением клеточных автоматов
von: Логинов, О.А., et al.
Veröffentlicht: (2009)
von: Логинов, О.А., et al.
Veröffentlicht: (2009)
Эквивалентность двумерных многоленточных автоматов
von: Григорян, А.А., et al.
Veröffentlicht: (2008)
von: Григорян, А.А., et al.
Veröffentlicht: (2008)
Представление автоматов группами. II
von: Скобелев, В.Г.
Veröffentlicht: (2000)
von: Скобелев, В.Г.
Veröffentlicht: (2000)
Определение безопасных расстояний при аварийных взрывах шахтной атмосферы с учетом отражения ударных воздушных волн в тупиковых выработках
von: Налисько, Н.Н.
Veröffentlicht: (2016)
von: Налисько, Н.Н.
Veröffentlicht: (2016)
Об одной функциональной алгебре
von: Чернов, В.Г.
Veröffentlicht: (1990)
von: Чернов, В.Г.
Veröffentlicht: (1990)
О минимизации автоматов алгоритмом Хопкрофта
von: Чеботарев, А.Н.
Veröffentlicht: (2016)
von: Чеботарев, А.Н.
Veröffentlicht: (2016)
Теория конечных квантовых автоматов (обзор)
von: Скобелев, В.Г.
Veröffentlicht: (2012)
von: Скобелев, В.Г.
Veröffentlicht: (2012)
Представления автоматов в локально определенных классах
von: Козловский, В.А., et al.
Veröffentlicht: (2008)
von: Козловский, В.А., et al.
Veröffentlicht: (2008)
Моделирование автоматов над конечным кольцом автоматами с конечной памятью
von: Скобелев, В.В.
Veröffentlicht: (2012)
von: Скобелев, В.В.
Veröffentlicht: (2012)
Семантика междометий в аспекте функциональной омонимии
von: Валеева, Л.В.
Veröffentlicht: (2004)
von: Валеева, Л.В.
Veröffentlicht: (2004)
Структурное представление процесса синтеза управляющих автоматов с операционным автоматом переходов
von: Баркалов, А.А., et al.
Veröffentlicht: (2011)
von: Баркалов, А.А., et al.
Veröffentlicht: (2011)
Эффективный алгоритм синтеза многовыходных комбинационных автоматов
von: Голов, А.В., et al.
Veröffentlicht: (1999)
von: Голов, А.В., et al.
Veröffentlicht: (1999)
О некоторых задачах анализа гибридных автоматов
von: Скобелев, В.В., et al.
Veröffentlicht: (2018)
von: Скобелев, В.В., et al.
Veröffentlicht: (2018)
Алгоритм, устанавливающий эквивалентность детерминированных многоленточных автоматов
von: Борисенко, В.И.
Veröffentlicht: (2015)
von: Борисенко, В.И.
Veröffentlicht: (2015)
Характеристики линейных одномерных автоматов с лагом l над конечным кольцом
von: Скобелев, В.В.
Veröffentlicht: (2008)
von: Скобелев, В.В.
Veröffentlicht: (2008)
Ähnliche Einträge
-
Повышение эффективности сверточных помехоустойчивых кодов с помощью конечных автоматов
von: Завадский, И.А.
Veröffentlicht: (2015) -
Определение инварианта к сжатию с потерями для аудиосигналов
von: Кошкина, Н.В.
Veröffentlicht: (2010) -
Подсистема криптографического обеспечения конфиденциальности данных в защищенной ОС на базе OC GNU/Linux с расширением RSBAC
von: Анисимов, А.В., et al.
Veröffentlicht: (2010) -
Комплексная информационная безопасность корпоративных информационных систем
von: Лисецкий, Ю.М.
Veröffentlicht: (2019) -
Метод анализа эффективности реконфигурации топологии построения беспроводных мультисервисных сетей повышенной помехозащищенности
von: Ластовченко, М.М., et al.
Veröffentlicht: (2009)