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

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

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

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

Минимизация булевых функций многих переменных в классе ДНФ — итеративный метод и программная реализация. <...> Подходы к построению ДП-модели файловых систем . <...> 127 ПРИКЛАДНАЯ ДИСКРЕТНАЯ МАТЕМАТИКА 2009 Теоретические основы прикладной дискретной математики ТЕОРЕТИЧЕСКИЕ ОСНОВЫ ПРИКЛАДНОЙ ДИСКРЕТНОЙ МАТЕМАТИКИ УДК 519.7 МИНИМИЗАЦИЯ БУЛЕВЫХ ФУНКЦИЙ МНОГИХ ПЕРЕМЕННЫХ В КЛАССЕ ДНФ — ИТЕРАТИВНЫЙ МЕТОД И ПРОГРАММНАЯ РЕАЛИЗАЦИЯ А. Д. <...> Он включает операцию быстрого нахождения элементов характеристического множества с малым числом соседей и формирования определяемых ими импликант, итеративную процедуру применения этой операции к последовательно сокращаемому характеристическому множеству и операцию приведения множества полученных конъюнктов к корректной ДНФ. <...> Выделение элементов с малым числом соседей Построение реализующей функцию f ДНФ целесообразно начать с поиска элементов ядра решения—обязательных простых импликант высокого ранга. <...> Эти векторы, образующие соответствующую булеву матрицу M, легко получить эффективными покомпонентными операциями над строками матрицыN, что существенно ускоряет поиск подходящих импликант. <...> Нахождение простых импликант Обозначим через tk троичный вектор, получаемый из вектора bk (кода элемента fi) присвоением значения − компонентам, отмеченным единицами в столбце nk матрицы N. <...> Такие булевы функции называются максимально нелинейными или бент-функциями. <...> Термин «максимально нелинейная функция» принят в русскоязычной литературе, тогда как в англоязычной широкое распространение получил термин «бент-функция» (от англ. bent — изогнутый, наклоненный). <...> Другими словами, f — бент-функция, если максимум модуля Wf (v) достигает своего минимального возможного значения. <...> Диллон [62] и Р. Л. МакФарланд [91] рассматривали бент-функции в связи с разностными множествами. <...> Булевы функции f и g от n переменных аффинно эквивалентны, если существуют невырожденная nЧn матрица A, векторы b, c длины <...>
Прикладная_дискретная_математика_№1_2009.pdf
ФЕДЕРАЛЬНОЕ АГЕНТСТВО ПО ОБРАЗОВАНИЮ Научный журнал 2009 Свидетельство о регистрации: ПИ №ФС 77-33762 от 16 октября 2008 г. №1(3) ТОМСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ
Стр.1
НАУЧНО-РЕДАКЦИОННЫЙ СОВЕТ Майер Г. В., д-р физ.-мат. наук, проф. (председатель); Дунаевский Г. Е., д-р техн. наук, проф. (зам. председателя); Ревушкин А. С., д-р биол. наук, проф. (зам. председателя); Катунин Д. А., канд. филол. наук, доц. (отв. секретарь); Аванесов С. С., д-р филос. наук, проф; Берцун В. Н., канд. физ.-мат. наук, доц.; Гага В. А., д-р экон. наук, проф.; Галажинский Э. В., д-р психол. наук, проф.; Глазунов А. А., д-р физ.-мат. наук, проф.; Голиков В. И., канд. ист. наук, доц.; Горцев А. М., д-р техн. наук, проф.; Гураль С. К., канд. филол. наук., проф.; Демешкина Т. А., д-р филол. наук, проф.; Демин В. В., канд. физ.-мат. наук, доц.; Ершов Ю.М., канд. филол. наук, доц.; Зиновьев В. П., д-р ист. наук, проф.; Канов В. И., д-р экон. наук, проф.; Кривова Н. А., д-р биол. наук, проф.; Кузнецова В.М. канд. физ.-мат. наук, доц.; Кулижский С. П., д-р биол. наук, проф.; Парначев В. П., д-р геол.-минерал. наук, проф.; Петров Ю.В., д-р филос. наук, проф.; Портнова Т. С., канд. физ.-мат. наук, директор Издательства НТЛ; Потекаев А. И., д-р физ.-мат. наук, проф.; Прозументов Л. М., д-р юрид. наук, проф.; Прозументова Г. Н., д-р пед. наук, проф.; Савицкий В. К., зав. редакционно-издательским отделом; Сахарова З. Е., канд. экон. наук, доц.; Слижов Ю.Г., канд. хим. наук., доц.; Сумарокова В. С., директор Издательства ТГУ; Сущенко С. П., д-р техн. наук, проф.; Тарасенко Ф.П., д-р техн. наук, проф.; Татьянин Г. М., канд. геол.-минерал. наук, доц.; Унгер Ф.Г., д-р хим. наук, проф.; Уткин В. А., д-р юрид. наук, проф.; Шилько В.Г., д-р пед. наук, проф.; Шрагер Э.Р., д-р техн. наук, проф. ТОМСКОГО ГОСУДАРСТВЕННОГО УНИВЕРСИТЕТА Агибалов Г. П., д-р техн. наук, проф. (председатель); Девянин П. Н., д-р техн. наук, проф. (зам. председателя); Парватов Н.Г., канд. физ.-мат. наук, доц. (зам. председателя); Черемушкин А. В., д-р физ.-мат. наук, проф. (зам. председателя); Панкратова И. А., канд. физ.-мат. наук, доц. (отв. секретарь); Алексеев В. Б., д-р физ.-мат. наук, проф.; Бандман О. Л., д-р техн. наук, проф.; Евдокимов А. А., канд. физ.-мат. наук, проф.; Евтушенко Н. В., д-р техн. наук, проф.; Закревский А. Д., д-р техн. наук, проф., чл.-корр. НАН Беларуси; Костюк Ю.Л., д-р техн. наук, проф.; Логачев О.А., канд. физ.-мат. наук, доц.; Матросова А.Ю., д-р техн. наук, проф.; Микони С. В., д-р техн. наук, проф.; Салий В. Н., канд. физ.-мат. наук, проф.; Сафонов К. В., д-р физ.-мат. наук, проф.; Фомичев В. М., д-р физ.-мат. наук, проф.; Шоломов Л. А., д-р физ.-мат. наук, проф. РЕДАКЦИОННАЯ КОЛЛЕГИЯ ЖУРНАЛА «ПРИКЛАДНАЯ ДИСКРЕТНАЯ МАТЕМАТИКА» Адрес редакции: 634050, г.Томск, пр. Ленина, 36 E-mail: vestnik_pdm@mail.tsu.ru В журнале публикуются результаты фундаментальных и прикладных научных исследований отечественных и зарубежных ученых, включая студентов и аспирантов, в области дискретной математики и её приложений в криптографии, компьютерной безопасности, кибернетике, информатике, программировании, теории надежности, интеллектуальных системах. Периодичность выхода журнала: 4 номера в год. ООО «Издательство научно-технической литературы» 634050, Томск, пл. Ново-Соборная, 1, тел. (3822) 533-335 Редактор Н. И. Шидловская Верстка Д. А. Стефанцов Формат 60×841 Изд. лиц. ИД. №04000 от 12.02.2001. Подписано к печати 16.03.2009 8 . Бумага офсетная. Печать офсетная. Гарнитура «Таймс». Усл. п. л. 14, 88. Уч.-изд. л. 16, 66. Тираж 300 экз. Заказ №8. Отпечатано в типографии «М-Принт», г.Томск, ул. Пролетарская, 38/1
Стр.2
СОДЕРЖАНИЕ ТЕОРЕТИЧЕСКИЕ ОСНОВЫ ПРИКЛАДНОЙ ДИСКРЕТНОЙ МАТЕМАТИКИ Закревский А. Д., Торопов Н.Р. Минимизация булевых функций многих переменных в классе ДНФ — итеративный метод и программная реализация.......... 5 Токарева Н. Н. Бент-функции: результаты и приложения. Обзор работ.................... 15 Шоломов Л. А. Логические методы построения и анализа моделей выбора............... 38 ВЫЧИСЛИТЕЛЬНЫЕ МЕТОДЫ В ДИСКРЕТНОЙ МАТЕМАТИКЕ Дулькейт В. И., Файзуллин Р.Т. Приближённое решение задачи коммивояжера методом рекурсивного построения вспомогательной кривой ......................... 72 МАТЕМАТИЧЕСКИЕ ОСНОВЫ КРИПТОГРАФИИ Прокопьев С. Е. Поиск упрощенной модели протоколов инфраструктуры цифровой подписи с использованием верификаторов моделей.............................. 79 МАТЕМАТИЧЕСКИЕ ОСНОВЫ КОМПЬЮТЕРНОЙ БЕЗОПАСНОСТИ Буренин П. В. Подходы к построению ДП-модели файловых систем ....................... 93 Колегов Д. Н. Об использовании формальных моделей для анализа уязвимостей ....... 113 Колегов Д. Н. Анализ безопасности информационных потоков по памяти в компьютерных системах с функционально и параметрически ассоциированными сущностями............................................................................................. 117 СВЕДЕНИЯ ОБ АВТОРАХ ........................................................................ 126 АННОТАЦИИ СТАТЕЙ НА АНГЛИЙСКОМ ЯЗЫКЕ .................................... 127
Стр.3