Зображення обкладинки

Анализ автоматно-алгебраических моделей

Рассмотрены методы анализа автоматно-алгебраических моделей над конечным ассоциативно-коммутативным кольцом с единицей с позиции их возможного применения при решении задач защиты информации. Охарактеризована сложность решения задач идентификации (параметрической и начального состояния) и анализа мно...

Повний опис

Збережено в:

Бібліографічні деталі
Опубліковано в:	Труды Института прикладной математики и механики
Дата:	2012
ISSN:	1683-4720
Автор:	Скобелев, В.Г.
Формат:	Стаття
Мова:	Російська
Опубліковано:	Інститут прикладної математики і механіки НАН України 2012
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/124089
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Анализ автоматно-алгебраических моделей / В.Г. Скобелев // Труды Института прикладной математики и механики НАН Украины. — Донецьк: ІПММ НАН України, 2012. — Т. 24. — С. 202-208. — Бібліогр.: 33 назв. — рос.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Схожі ресурси

Автоматно-графовая формальная модель композитного документооборота
за авторством: Круковский, М.Ю.
Опубліковано: (2006)

Анализ моделей безопасности компьютерных систем
за авторством: Скобелев, В.В.
Опубліковано: (2010)

Теоремы единственности для алгебраических функций, учитывающие число алгебраических элементов
за авторством: Гольдберг, А.А.
Опубліковано: (1995)

Преобразование спецификации автомата в языке в автоматно эквивалентную спецификацию в языке L
за авторством: Чеботарев, А.Н.
Опубліковано: (2010)

Анализ автоматных моделей, определенных на многообразиях над конечным кольцом
за авторством: Скобелев, В.В.
Опубліковано: (2013)

Комплексный подход к автоматизации процесса прогнозирования развития антропогенных аномалий с использованием логико-алгебраических моделей
за авторством: Бутенко, О.С., та інші
Опубліковано: (2011)

Решение алгебраических уравнений непрерывными дробями
за авторством: Шмойлов, В.И., та інші
Опубліковано: (2011)

Финитные представления в алгебраических системах
за авторством: Грунский, И.С., та інші
Опубліковано: (2011)

Автоматно-імовірнісна модель підтримки прийняття рішень при використанні ресурсної бази комерційного банку за умов економічної кризи
за авторством: Кайдан, Л.І., та інші
Опубліковано: (2009)

О некоторых неравенствах для алгебраических полиномов
за авторством: Чевский, В.М.
Опубліковано: (1986)

Анализ достоверности компьютерных решений систем линейных алгебраических уравнений с приближенно заданными исходными данными
за авторством: Химич, А.Н., та інші
Опубліковано: (2008)

Анализ автомата Спротта над конечным кольцом
за авторством: Скобелев, В.Г.
Опубліковано: (2010)

О порядке роста решений алгебраических дифференциальных уравнений
за авторством: Мохонько, А.З., та інші
Опубліковано: (1999)

Анализ задачи параметрической идентификации нелинейных автоматов над конечным кольцом
за авторством: Скобелев, В.Г.
Опубліковано: (2010)

Об одном подходе к верификации алгебраических вычислений
за авторством: Львов, М.С.
Опубліковано: (2011)

Анализ моделей ипотечного кредитования
за авторством: Кондрашова, Г.П.
Опубліковано: (2012)

Гарантированные оценки параметров линейных алгебраических уравнений при нестационарных наблюдениях
за авторством: Наконечный, А.Г., та інші
Опубліковано: (2014)

Нелинейные краевые задачи для невырожденных дифференциально-алгебраических систем
за авторством: Несмелова, О.В.
Опубліковано: (2018)

Об одном подходе к проектированию алгебраических типов данных
за авторством: Песчаненко, В.С.
Опубліковано: (2006)

Анализ характеристик конструктивного псевдофрактала
за авторством: Скобелев, В.Г., та інші
Опубліковано: (2010)

Методы получения достоверных решений систем линейных алгебраических уравнений
за авторством: Сергиенко, И.В., та інші
Опубліковано: (2011)

О базисе B-сплайнов в пространстве алгебраических полиномов
за авторством: Цесельский, З.
Опубліковано: (1986)

Исследование вероятостных сценариев алгебраических атак на потоковые шифры
за авторством: Пометун, С.А.
Опубліковано: (2009)

Анализ моделей инновационных систем
за авторством: Кузнецова, И.С.
Опубліковано: (2006)

Применение алгоритма клонального отбора для решения систем алгебраических уравнений
за авторством: Литвиненко, В.И.
Опубліковано: (2006)

Асимптотически нормальные оценки решений систем линейных алгебраических уравнений. I
за авторством: Гирко, В.Л.
Опубліковано: (1990)

О полноте алгебраических полиномов в пространствах Lp(R,dμ)
за авторством: Бакан, А.Г.
Опубліковано: (2009)

Некоторые теоремы единственности для рациональных, алгебраических и алгеброидных функций
за авторством: Гольдберг, А.А., та інші
Опубліковано: (1994)

Асимптотика решений бесконечной системы линейных алгебраических уравнений теории потенциала
за авторством: Гомилко, А.М., та інші
Опубліковано: (2001)

Анализ класса семейств легко вычислимых перестановок
за авторством: Скобелев, В.Г., та інші
Опубліковано: (2008)

Сравнительный анализ использования алгебраических и гиперболических полиномов при исследовании переходных процессов в выходных цепях разрядно-импульсных систем
за авторством: Шидловская, Н.А., та інші
Опубліковано: (2012)

Сравнительный анализ моделей конвективной теплоотдачи
за авторством: Байда, Е.И.
Опубліковано: (2011)

Рекуррентные формулы для решений одной бесконечной системы линейных алгебраических уравнений
за авторством: Гомилко, А.М.
Опубліковано: (1995)

Метод наименьших квадратов в теории нетеровых дифференциально-алгебраических краевых задач
за авторством: Чуйко, С.М.
Опубліковано: (2018)

Техника следов в разрешении проблемы эквивалентности в алгебраических моделях программ
за авторством: Подловченко, Р.И.
Опубліковано: (2009)

О пространствах модулей, равнораспределенности, оценках и рациональных точках алгебраических кривых
за авторством: Глазунов, Н.М.
Опубліковано: (2001)

Вычисление индекса и особых точек линейных дифференциально-алгебраических уравнений высокого порядка
за авторством: Чистяков, В.Ф., та інші
Опубліковано: (2017)

Анализ моделей систем с гетерогенными серверами
за авторством: Меликов, А.З., та інші
Опубліковано: (2020)

Анализ задачи распознавания автомата над кольцом
за авторством: Скобелев, В.В.
Опубліковано: (2012)

К вопросу о полиномиальной сложности проблемы эквивалентности в алгебраических моделях программ
за авторством: Подловченко, Р.И.
Опубліковано: (2012)