Национальный цифровой ресурс Руконт - межотраслевая электронная библиотека (ЭБС) на базе технологии Контекстум (всего произведений: 635213)
Контекстум
Руконтекст антиплагиат система
Прикладная дискретная математика

Прикладная дискретная математика №3 2009

0   0
Страниц132
ID285133
АннотацияВ журнале публикуются результаты фундаментальных и прикладных научных исследований отечественных и зарубежных ученых, включая студентов и аспирантов, в области дискретной математики и её приложений в криптографии, компьютерной безопасности, кибернетике, информатике, программировании, теории надежности, интеллектуальных системах. Включен в Перечень ВАК.
Прикладная дискретная математика : Научный журнал .— Томск : Национальный исследовательский Томский государственный университет .— 2009 .— №3 .— 132 с. : ил. — URL: https://rucont.ru/efd/285133 (дата обращения: 10.05.2024)

Предпросмотр (выдержки из произведения)

О сложности метода формального кодирования при анализе генератора с полноцикловой функцией переходов . <...> Анализ условий получения доступа владения в рамках базовой ролевой ДП-модели без информационных потоков по памяти . <...> Доказывается теорема о финитарности пространства, в котором конечно-порождаемые классы обладают конечными нижними окрестностями. <...> Обобщаются известные теоремы А. В. Кузнецова о полноте и С. В. Яблонского о верхних окрестностях. <...> Ключевые слова: проблемы полноты и выразимости, теоремы А. В. Кузнецова и С. В. Яблонского. <...> Множества элементов пространства, совпадающие со своими замыканиями, называются замкнутыми множествами или замкнутыми классами пространства. <...> Множество X называется порождающим для замкнутого класса X. <...> Пространство, замкнутыми классами которого являются всевозможные подалгебры некоторой универсальной алгебры, называется финитарным. <...> Множество X элементов пространства будем называть конечно-порождаемым, если существует конечное X-порождающее множество. <...> Иными словами, нижняя окрестность множества X — это всякая система замкнутых классов пространства, не включающих X, такая, что всякий, не включающий X замкнутый класс, можно расширить до класса из этой системы. <...> Нижнюю окрестность, состоящую из попарно не сравнимых по включению классов, будем называть безызбыточной. <...> Иными словами, безызбыточная нижняя окрестность перестаёт быть нижней окрестностью после удаления из неё любого класса. <...> В случае своего существования безызбыточная нижняя окрестность множества X совпадает с системой S(X) и является наименьшей по включению нижней окрестностью множества X. <...> Из конечной нижней окрестности множества X, опять в случае её существования, можно выделить безызбыточную нижнюю окрестность S(X). <...> Множество X, обладающее конечной нижней окрестностью, оказывается конечно-порождаемым, так как элементы X-порождающего множества можно выбрать из дополнений X \K для всевозможных классов <...>
Прикладная_дискретная_математика_№3_2009.pdf
ФЕДЕРАЛЬНОЕ АГЕНТСТВО ПО ОБРАЗОВАНИЮ Научный журнал 2009 Свидетельство о регистрации: ПИ №ФС 77-33762 от 16 октября 2008 г. №3(5) ТОМСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ
Стр.1
РЕДАКЦИОННАЯ КОЛЛЕГИЯ ЖУРНАЛА «ПРИКЛАДНАЯ ДИСКРЕТНАЯ МАТЕМАТИКА» Агибалов Г.П., д-р техн. наук, проф. (председатель); Девянин П. Н., д-р техн. наук, проф. (зам. председателя); Парватов Н.Г., канд. физ.-мат. наук, доц. (зам. председателя); Черемушкин А. В., д-р физ.-мат. наук, проф. (зам. председателя); Панкратова И. А., канд. физ.-мат. наук, доц. (отв. секретарь); Алексеев В. Б., д-р физ.-мат. наук, проф.; Бандман О. Л., д-р техн. наук, проф.; Евдокимов А. А., канд. физ.-мат. наук, проф.; Евтушенко Н. В., д-р техн. наук, проф.; Закревский А. Д., д-р техн. наук, проф., чл.-корр. НАН Беларуси; Костюк Ю.Л., д-р техн. наук, проф.; Логачев О. А., канд. физ.-мат. наук, доц.; Матросова А.Ю., д-р техн. наук, проф.; Микони С. В., д-р техн. наук, проф.; Салий В. Н., канд. физ.-мат. наук, проф.; Сафонов К. В., д-р физ.мат. наук, проф.; Фомичев В. М., д-р физ.-мат. наук, проф.; Чеботарев А. Н., д-р техн. наук, проф.; Шоломов Л. А., д-р физ.-мат. наук, проф. Адрес редакции: 634050, г.Томск, пр. Ленина, 36 E-mail: vestnik_pdm@mail.tsu.ru В журнале публикуются результаты фундаментальных и прикладных научных исследований отечественных и зарубежных ученых, включая студентов и аспирантов, в области дискретной математики и её приложений в криптографии, компьютерной безопасности, кибернетике, информатике, программировании, теории надежности, интеллектуальных системах. Периодичность выхода журнала: 4 номера в год. ООО «Издательство научно-технической литературы» 634050, Томск, пл. Ново-Соборная, 1, тел. (3822) 533-335 Редактор Н. И. Шидловская Верстка Д. А. Стефанцова Формат 60×841 Изд. лиц. ИД. №04000 от 12.02.2001. Подписано к печати 17.09.2009. 8. Бумага офсетная. Печать офсетная. Гарнитура «Таймс». Усл. п. л. 14,03. Уч.-изд. л. 15,71. Тираж 300 экз. Заказ №11. Отпечатано в типографии «М-Принт», г.Томск, ул.Пролетарская, 38/1
Стр.2
СОДЕРЖАНИЕ ТЕОРЕТИЧЕСКИЕ ОСНОВЫ ПРИКЛАДНОЙ ДИСКРЕТНОЙ МАТЕМАТИКИ Парватов Н.Г. Нижние и верхние окрестности в множестве с замыканием ............... 5 Тужилин М.Э. Почти совершенные нелинейные функции.................................... 14 Фомичёв В.М. О сложности метода формального кодирования при анализе генератора с полноцикловой функцией переходов ............................................. 21 Черемушкин А. В. Почти все латинские квадраты имеют тривиальную группу автострофий............................................................................................ 29 ВЫЧИСЛИТЕЛЬНЫЕ МЕТОДЫ В ДИСКРЕТНОЙ МАТЕМАТИКЕ Бандман О. Л. Дискретное моделирование физико-химических процессов ................ 33 Медведев Ю.Г. Клеточно-автоматная модель формирования порошковой струи........ 50 МАТЕМАТИЧЕСКИЕ МЕТОДЫ КРИПТОГРАФИИ Панкратов И. В. О поточных и автоматных шифрсистемах с симметричным ключом . 59 МАТЕМАТИЧЕСКИЕ ОСНОВЫ КОМПЬЮТЕРНОЙ БЕЗОПАСНОСТИ Девянин П. Н. Анализ условий получения доступа владения в рамках базовой ролевой ДП-модели без информационных потоков по памяти .............................. 69 Девянина Е. В. ДП-модель компьютерной стеганографической системы................... 85 Колегов Д. Н. Моделирование сетевых компьютерных систем с уязвимостями........... 91 Паутов П. А. Реализация метода защиты учётных данных для доступа к СУБД в веб-приложениях.................................................................................... 100 ПРИКЛАДНАЯ ТЕОРИЯ АВТОМАТОВ Акеньшина Е.А., Шабалдина Н.В. К построению проверяющих тестов относительно неразделимости для недетерминированных автоматов ........................ 106 МАТЕМАТИЧЕСКИЕ ОСНОВЫ ИНФОРМАТИКИ И ПРОГРАММИРОВАНИЯ Егорушкин О.И., Сафонов К. В. Аналитический подход в теории контекстносвободных языков в нормальной форме Грейбах .............................................. 112 Макаров А. Н. Метод автоматизированного поиска программных ошибок в алгоритмах обработки сложноструктурированных данных .................................... 117 СВЕДЕНИЯ ОБ АВТОРАХ ............................................................................ 128 АННОТАЦИИ СТАТЕЙ НА АНГЛИЙСКОМ ЯЗЫКЕ .......................................... 129
Стр.3