автореферат диссертации по информатике, вычислительной технике и управлению, 05.13.05, диссертация на тему:Генераторы случайных и псевдослучайных последовательностей на цифровых элементах задержки (основы теории и методы построения)

доктора технических наук
Кузнецов, Валерий Михайлович
город
Казань
год
2012
специальность ВАК РФ
05.13.05
цена
450 рублей
Диссертация по информатике, вычислительной технике и управлению на тему «Генераторы случайных и псевдослучайных последовательностей на цифровых элементах задержки (основы теории и методы построения)»

Автореферат диссертации по теме "Генераторы случайных и псевдослучайных последовательностей на цифровых элементах задержки (основы теории и методы построения)"

КУЗНЕЦОВ ВАЛЕРИЙ МИХАЙЛОВИЧ

ГЕНЕРАТОРЫ СЛУЧАЙНЫХ И ПСЕВДОСЛУЧАЙНЫХ ПОСЛЕДОВАТЕЛЬНОСТЕЙ НА ЦИФРОВЫХ ЭЛЕМЕНТАХ ЗАДЕРЖКИ (ОСНОВЫ ТЕОРИИ И МЕТОДЫ ПОСТРОЕНИЯ)

Специальность 05.13.05 - Элементы и устройства вычислительной техники и систем управления

2. ФЕВ 1Ш

АВТОРЕФЕРАТ

диссертации на соискание ученой степени доктора технических наук

Казань 2011

005010630

Диссертация выполнена в Федеральном государственном бюджетном образовательном учреждении высшего профессионального образования (ФГБОУ ВПО) «Казанский национальный исследовательский технический университет им. А.Н. Туполева-КАИ» (КНИТУ-КАИ).

Научный консультант - доктор технических наук, профессор

Песошин Валерий Андреевич.

Официальные оппоненты: доктор технических наук, профессор

Иванов Михаил Александрович, зав. кафедрой компьютерных систем и технологий ФГБОУ ВПО «Национальный исследовательский ядерный университет «МИФИ»», Москва;

доктор технических наук, профессор

Ильин Герман Иванович,

зав. кафедрой радиоэлектронных и квантовых

устройств ФГБОУ ВПО «Казанский

национальный исследовательский

технический университет

им. А.Н. Туполева-КАИ», Казань;

доктор технических наук, профессор Латыпов Рустам Хафизович, директор института вычислительной математики и информационных технологий, зав. кафедрой системного анализа и информационных технологий Казанского (Приволжского) федерального университета, Казань.

Ведущая организация - Новгородский государственный университет

им. Ярослава Мудрого, Великий Новгород.

Защита состоится 16 марта 2012 г. в 14 часов на заседании диссертационного совета Д 212.079.04 в ФГБОУ ВПО «Казанский национальный исследовательский технический университет им. А.Н. Туполева-КАИ» в 504 ауд. 5 уч. здания по адресу:

420111, Казань, ул. К. Маркса, д. 31.

Ваши отзывы в. двух экземплярах, заверенные печатью, просим высылать по адресу: 420111, Казань, ул. К. Маркса, д. 10 на имя ученого секретаря.

С диссертацией можно ознакомиться в библиотеке ФГБОУ ВПО «Казанский национальный исследовательский технический университет им. А.Н. Туполева-КАИ », с авторефератом - на сайте ВАК РФ: http://vak.ed.gov.ru/ru/dissertationy.

Автореферат разослан « » Р>__________2012 г.

Ученый секретарь диссертационного совета

¥

С.С.Седов

ОБЩАЯ ХАРАКТЕРИСТИКА РАБОТЫ

Актуальность темы диссертации. При построении электронных устройств широкого и специального назначения часто требуется включение в состав основного оборудования генераторов случайных или псевдослучайных сигналов. Это аппаратура для статистического и имитационного моделирования, системы испытаний на надежность и помехоустойчивость, специальные средства измерения и тестирования, системы радио- и гидролокации. В настоящее время особенно актуальным является использование источников случайных сигналов для систем защиты информации в ЭВМ, телекоммуникационных и сетевых средствах, в частности, аппаратуре опознавания. Нетипичность подходов к синтезу таких источников и специфические технологии их производства в целом существенно усложняют выполнение проектов.

Традиционно сложилось разделение тематик по формированию случайных и псевдослучайных последовательностей.

Известны многочисленные публикации, посвященные вопросам анализа и построения устройств формирования дискретных случайных сигналов, в частности генераторов случайных последовательностей (ГСП), основанных на использовании сложных физических явлений. Среди отечественных авторов следует отметить М.П. Бобнева, который впервые обобщил опыт применения генераторов случайных сигналов. Заметный вклад в становление теории и практики применения физических ГСП внес А.М. Морозов. За последние 50 лет интерес к этой теме не снижается как у нас в стране, так и за рубежом. При этом основной технической проблемой является схемотехническая уникальность каждого аппаратного решения, требующая применения специфических компонентов, заметно усложняющих конструкцию и технологию изготовления изделий при недостаточно высоких качественных показателях и быстродействии.

В части исследования и аппаратного построения генераторов псевдослучайных последовательностей (ГПСП) следует отметить фундаментальные работы отечественных ученых - А.И. Алексеева, J1.E. Варакина, В.Е. Гантмахера, Б.И. Глазова, В.И. Доценко, Н.Г. Дядюнова, М.А. Иванова, Р.Х. Латыпова, С.А. Осмоловского, А.И. Сенина, Г.И. Тузова, Р.Г. Фа-раджева, А.Г. Шереметьева, а также зарубежных - А. Гилла, С.В. Голомба, Г. Нидеррайтера, Р. Таусворта, Д.А. Хаффмена, Н. Цирлера, Б. Шнайера, Б. Элспаса и др.

Заслуживают особого внимания методы совместного использования ГСП и ГПСП в так называемых комбинированных генераторах (КГСП). Существенный вклад в разработку таких устройств внесли Я. Гавел, В.И. Глова, Г.В. Добрис, В.М. Захаров, Б.Ф. Кирьянов, P.M. Мансуров, В.А. Песошин, Е.Л.‘Столов, Р.Ф. Федоров, Г.П; Хамитов, В.В. Яковлев, В.Н. Ярмолик. Методы комбинирования сложных физических явлений и математических алгоритмов в процессах формирования случайных чисел

были использованы в данной работе, что позволило, во-первых, тематически объединить вопросы построения и анализа ГСП и ГПСП. Во-вторых, идея описания комбинированных структур посредством автоматных моделей синхронных и асинхронных цифровых генераторов привела к техническим решениям, вполне адаптированных к технологиям цифровых интегральных схем, включая БИС.

Одним из результатов совместного использования физических флуктуаций и математических алгоритмов формирования псевдослучайных и де-терминированно-хаотических сигналов явилось построение генератора асинхронного случайного процесса (ГАСП), допускающего полную цифровую реализацию. Это техническое решение автором работы защищено изобретениями (приоритет от 1979 г.), использование которых привело к ряду инженерных разработок, внедренных в реальные проекты. Аналогичная схемотехническая идея, спустя 25 лет, описана в статье Й.Ж. Голича. Однако достаточно полных теоретических исследований такого рода устройств предложено не было. Несмотря на простое схемотехническое построение ГАСП, возникает ряд вопросов практического использования в реальных разработках, решение которых требует обобщенного описания. Для такого описания предлагаются модельные представления автономных цифровых осциллирующих структур синхронного и асинхронного типов, основанных на задержках цифровых элементов.

Несмотря на наличие большого количества работ по техническим средствам формирования физически случайных процессов, значимых теоретических результатов, ориентированных на цифровую практическую реализацию, получено не было. Таким образом, элементы теории цифровых генераторов и методы их инженерных приложений в задачах построения физических устройств формирования случайных и псевдослучайных процессов на цифровой элементной базе является вкладом в решение научнотехнической проблемы, актуальной для областей статистического моделирования и защиты информации.

Объект исследования - элементы и устройства формирования цифровых случайных и псевдослучайных сигналов.

Предметом исследования являются генераторы случайных и псевдослучайных последовательностей на цифровых элементах задержки.

Цель диссертационной работы - развитие научных основ и методов построения цифровых генераторов случайных и псевдослучайных последовательностей с повышенным быстродействием и точностью.

Научная проблема заключается в разработке основ теории, принципов построения, методов анализа и синтеза генераторов случайных и псевдослучайных сигналов на цифровой элементной базе.

Дня достижения поставленной цели и решения научной проблемы сформулированы следующие основные задачи диссертационного исследования:

з

- анализ современного состояния основ схемотехнического построения цифровых генераторов случайных и псевдослучайных сигналов; определение базовых моделей элементарных цифровых генераторов, частотный и временной анализ их поведения;

- выявление типичных закономерностей формирования корреляционных зависимостей для периодических процессов;

-анализ циклических свойств синхронных моделей генераторов, формирующих линейные рекуррентные последовательности однородного и неоднородного вида;

- исследование свойств элементов задержки двоичных сигналов в непрерывном времени как основных компонентов цифровых генераторов асинхронного типа;

-теоретическое и экспериментальное исследование генераторов асинхронных случайных процессов, их структурных, вероятностных и корреляционных свойств; определение условий автогенерации цифровых сигналов в непрерывном времени;

- описание свойств датчиков случайных символов и особенностей их применения в технических средствах защиты информации; автоматные представления датчиков и разработка методов их синтеза;

-практические разработки генераторов случайных и псевдослучайных последовательностей.

Методы исследования. При выполнении работы использовались методы математического анализа и математической логики, алгебраическая теория, теория чисел, теория автоматов, теория вероятностей, основы цифровой схемотехники, методы математического, физического и имитационного моделирования.

Научная новизна диссертационной работы состоит в разработке основ теории и методов построения генераторов случайных и псевдослучайных последовательностей на цифровых элементах задержки, аппаратные реализации которых отличаются высокотехнологичными схемотехническими решениями, быстродействием и точностью формирования основных параметров случайных и псевдослучайных сигналов.

Новыми научными результатами, выносимыми на защиту, являются:

- закономерности формирования реперных точек периодических корреляционных функций; минимизация длины выборки и оценочных процедур для сложно-периодических сигналов;

-структурные, вероятностные и автокорреляционные свойства (М-1)- и (М-3 ^последовательностей и условия их получения;

- аналитические оценки нелинейности и свойств фильтрации асинхронных элементов задержки в цепочечном и циклическом использовании в цифровых генераторах;

- фрактальные свойства моделей асинхронных генераторов в случае формирования детерминированно-хаотического процесса при несоизмери-

мых и нефлуктуирующих задержках; вероятностный автомат асинхронного типа; метод вероятностного анализа марковской модели асинхронного генератора с учетом флуктуаций задержек; метод анализа и формализованные условия устойчивости генерации асинхронного процесса; -метод условных вероятностей и дисперсий для оценки степени непредсказуемости формируемых генераторами случайных процессов;

— синхронно-асинхронные автоматные описания датчика случайных сим. волов и методы их синтеза.

Практическая ценность работы заключается в создании схемотехнических основ построения генераторов дискретных случайных сигналов на цифровой элементной базе, допускающих применение технологий интегральных микросхем, включая БИС. Это основано на разработках

— принципов построения генератора асинхронного случайного процесса и инженерных методик настройки его структуры на максимально плотный базовый многочлен (М-1 ^последовательности; программных и физических моделей генераторов для экспериментальных исследований статистических и структурных свойств формируемых процессов;

— основных функциональных схем датчиков случайных символов; формального метода построения датчика посредством структурного синтеза асинхронного автомата;

— характерных построений реальных датчиков, генераторов случайных и псевдослучайных последовательностей на цифровых микросхемах малой и большой степени интеграции.

Реализация и внедрение результатов работы. Материал диссертации представляет собой теоретическое обобщение ряда НИР и ОКР, выполненных на кафедре ЭВМ (Компьютерных систем) КГТУ им. А.Н. Туполева более чем за 30-летний период работы автора в данном направлении.

Основными объектами внедрения являются полузаказные БИС ГСП Н1582ВЖ2-0105, 1537ХМ2У-135 и 1537ХМ2АУ-215, выпускаемые мелкосерийными партиями с 1992 г. по настоящее время (г. Зеленоград, ОАО «Ангстрем»), Датчики случайных символов на микросхемах малой степени интеграции внедрены в блок статистического моделирования (г. Казань, каф. ЭВМ КАИ, 1978 г.), устройство ввода случайных чисел ЕС 6903 (установочная серия, г. Казань, Казанский завод ЭВМ (КЗ ЭВМ), 1981 г.), терминальную ЭВМ ЕС 1007 (г. Казань, КЗ ЭВМ, 1986 г.). Одноплатные ГСП внедрены в специализированное техническое средство защиты информации (г. Ленинград, НИИ «Нептун», 1987 г.) и специализированную вычислительную систему (г. Минск, НИИ ЭВМ, 1990 г.). Для экспериментальных целей были изготовлены ГСП в виде БИС: по гибридной технологии (г. Казань, каф. МиК КАИ, 1986 г.), на микропроцессорных секциях К1804ВС2 (г. Казань, каф. ЭВМ КАИ, 1990 г.), на ПЛИС фирмы Хіііпх (г. Казань, каф. КСИБ КГТУ-КАИ, 2001 г.), микросхема Н1537ХМ1-192 на базовых матричных кристаллах (экспериментальная партия, г. Зеленоград, ОАО «Ангстрем», 2005 г.).

Результаты диссертации использованы при выполнении НИР:

— «Нетрадиционные принципы формирования случайных сигналов для цифровой техники», «Цифровые методы и средства формирования случайных сигналов для систем защиты информации» по единому заказ-наряду Министерства образования и науки Российской Федерации (19892004 гг.);

— «Система авторской защиты информации в ПЭВМ на основе полисин-хронных генераторов рекуррентных последовательностей» (договор подряда № 04-22), а также темы по договорам подряда №№ 06-26, 06-16.3.2, 06-6.8.2 согласно плану приоритетных фундаментальных и прикладных исследований Академии наук Республики Татарстан (1997-2006 гг.); «Цифровые технологии построения и исследования стохастических устройств с выраженными свойствами непредсказуемости» (договора подряда №№ 06-6.8-199 в период 2001-2005 гг.) по программе развития приоритетных направлений науки в Республике Татарстан (фонд НИОКР АНРТ);

— «Исследование процессов формирования случайных чисел и методов контроля их стохастических свойств» (1996 г.), «Исследование и разработка методов построения генераторов случайных чисел на программируемых логических интегральных схемах» (1999 г.) по хоздоговорам с Казанским научно-исследовательским институтом радиоэлектроники;

— «Исследование и разработка перспективных вычислительных структур для ЕС ЭВМ. Разработка блока статистического моделирования (1977 г.), «Исследование и разработка специализированных процессоров ЕС ЭВМ (Ряд 2 и 3) для сети ЭВМ» (1981-1984 гг.), «Устройства вычислительной техники для статистического моделирования» (1987 г.) по хоздоговорам с Казанским заводом ЭВМ.

Научные и практические результаты диссертации используются в учебном процессе КНИГУ-КАИ при изучении студентами и магистрантами схемотехнических дисциплин. Разработан лабораторный практикум «Генераторы случайных чисел».

Апробация работы. Основные положения и результаты диссертационной работы докладывались и обсуждались на международных конференциях: «Проблемы теоретической кибернетики» (г. Москва, 2002 г.). «Инфокомму-никационные технологии глобального информационного общества» (г. Казань, 2003, 2004 и 2005 гг.), «Информационные и телекоммуникационные системы и технологии» (г. Санкт-Петербург, 2007 г.), «Физика и технические приложения волновых процессов» (г. Казань, 2007 г.), «Проблемы техники и технологий телекоммуникаций» (г. Казань, 2008 г.); всесоюзных, всероссийских конференциях и симпозиумах: «Вероятностные вычислительные методы и средства» (г. Москва, 1978 г.), «Проблемы создания преобразователей формы информации» (г. Киев, 1980 г.), «Вероятностные автоматы и их приложения» (г. Казань, 1983 г., г. Тбилиси, 1986 г.), «Методы и средства измерения физических величин» (Н. Новгород, 1998, 2000 гг.);

республиканской конференции «Вероятностные методы и средства» (г. Новгород, 1983 г.); всесоюзных и российских школах-семинарах: «Вероятностные автоматы и их приложения» (п. Славск, 1978 г., г. Иркутск, 1981 г., г. Киев, 1984 г.), «Флуктуации и шумы в сложных системах» (г. Казань, 2004 г.); городских семинарах «Методы моделирования» (г. Казань, 2004,2006,2009 гг.) и регулярных научно-технических конференциях КГТУ-КАИ.

Публикации. По теме диссертации опубликовано 80 научных работ, в том числе: 1 монография, 19 статей в научных журналах и сборниках, из них 11 в журналах, рекомендованных ВАК для опубликования результатов докторских диссертаций, 29 авторских свидетельств и патентов.

Структура и объем диссертационной работы. Диссертация состоит из введения, шести глав, заключения и списка литературы, включающего 247 наименований. Материал работы изложен на 347 страницах текста компьютерной верстки, в том числе основная часть - на 313 страницах. Работа содержит 105 рисунков и 22 таблицы.

КРАТКОЕ СОДЕРЖАНИЕ РАБОТЫ

Во введении обоснована актуальность проводимых в диссертации исследований. Дана краткая характеристика работы, сделан обзор и сформулированы цель и основные задачи исследования, показаны пути решения сформулированной проблемы. Приведены основные научные результаты, отражающие новизну и практическую ценность работы. Очерчен круг вопросов, рассматриваемых в диссертации.

В первой главе рассмотрены известные схемотехнические построения автономных устройств формирования цифровых сигналов в непрерывном времени, основанные на асинхронном взаимодействии цифровых элементов с параметрическими задержками. Определены характерные титл формируемых сигналов. Элементарными представителями таких устройств являются кольцевые генераторы (КГ) на логических повторителях и инверторах, схемы которых представлены на рис. 1.

Цифровые элементы (ЦЭ) потенциального типа содержат в себе усилитель с коэффициентом усиления по напряжению Ку, обладают параметрической задержкой х3 и обрабатывают двоичные сигналы а в реальном времени / и частотном диапазоне 0 < ^ < Рт. Задержка ЦЭ воспринимается как некоторая память динамического типа, способная вмещать в себя любой двоичный процесс с непрерывным временем, длительностью гэ . Равенства а(() = а(*~т3) и а(/)= а(/-т3), где Г,т3 €/г*(ю множества неотрицательных действительных величин) и а е {0,1}, определяют модельное представление КГ соответственно в форме генератора-повторителя (ГП) и

Рис. 1. Кольцевой генератор на повторителе (а) и инверторе (о)

генератора-инвертора (ГИ). Декомпозиции этих схем предусматривают выделение усилителя-ограничителя и цепи обратной связи с памятью в виде элемента задержки.

Проведен анализ ГП и ГИ, идеализированно описывающих поведение реальных генераторов в частотной области. Так условия возбуждения автоколебаний в виде балансов фаз и амплитуд выполняются в ГП для первой гармоники с частотой Т7, = 1/т3 и всех старших гармоник с кратными

частотами = пР1, где п е (из множества целых неотрицательных чисел). Существенной особенностью для ГП является наличие постоянной составляющей (нулевой гармоники) в частотном спектре а(?). В ГИ аналогичные условия выполнены для первой гармоники с частотой Т7, = 1/2тэ и

нечетных старших гармоник с частотами = (2л-1)/'5, где пеи+ (из мно-

жества натуральных чисел). Нулевая гармоника в спектре отсутствует.

Рассмотрены случаи «длинных» задержек (т3 »7Г"1), предполагающие образование многочастотных контуров генераторов из асинхронных цепей многоуровневых комбинационных схем. На основе частотного анализа установлено, что ГП является более универсальным формирователем мод колебаний, чем ГИ. Однако для ГП в случае «коротких» задержек, когда т3 < Р~', из-за наличия нулевой гармоники характерен триггерный режим, приводящий в реальных условиях к срыву колебательного процесса. В том же случае ГИ может входить в линейный режим, что ведет к потере цифровых свойств формируемого процесса, также означающему срыв колебаний. Проведенный анализ дает ряд полезных результатов по распределению частот возбуждения и определению условий формирования гармоник. Что же касается временных форм генерируемых сигналов, то частотный подход оказался не достаточно эффективным.

Проведен временной анализ КГ, учитывающий начальное состояние элемента памяти. Это состояние можно рассматривать как результат инициального воздействия извне, обеспечивающий формирование конкретной моды колебаний а(г). В качестве начального состояния памяти используется мгновенный вид заполнения элемента задержки идеальными прямоугольными импульсами 0 и 1 конкретной длительности по всей временной длине г,. Дальнейшее поведение КГ будет полностью определяться процессом рециркуляции фрагмента двоичной последовательности Ь(т), являющегося этим начальным заполнением. Найдены функциональные выражения для последовательности длительностей т,.+1 - т,- формируемых генераторами процессов д(/). Определены характерные для КГ сложнопериодические процессы (СП-процессы), простые последовательности импульсов, частным случаем которых является меандр, и инверсно-сегментные процессы (ИС-процессы), состоящие из двух взаимно инверсных половин на периоде. Описаны условия их формирования для ГП и ГИ.

Вторая глава посвящена статистическому анализу процессов во временной области. Для периодических сигналов при условии случайной начальной фазы показана целесообразность оценивания вероятностных моментов на минимальном периоде. Анализ свойств периодических корреляционных функций (ПАКФ и ПВКФ) выявил ряд примечательных закономерностей их формирования внутри периода.

Одной из закономерностей является условие баланса значений периодических корреляционных функций, впервые замеченное Б.Ф. Кирьяновым. Выражения баланса для ПАКФ и ПВКФ Кх(т), Кх(пт) и АГ^Дт), К^п.)

процессов X(г), У(() с непрерывным временем / и последовательностей Х{{), У(г) с дискретным временем г (в тактах) имеют вид:

)кx{x)dx = 0, }^(т)Л = 0 и 2>>т)= О, Е*.»О,

О 0 ^«=0 ^=0

где хил,- аргументы функций; Тц и пц - периоды X или общие периоды

Хи ¥ соответственно в непрерывном и дискретном измерениях времени.

Нормированная ПАКФ равна 1 в точках временного аргумента, кратных циклу пц. Такие опорные отсчеты функции отнесены к категории реперных точек. На основе свойств четности и периодичности ПАКФ уточнено свойство симметрии графика не только относительно оси ординат, но и осей пт = 0,5кпц, где к ей (целые числа). Выявлено еще одно достаточно важное свойство: в графике автокорреляционной функции в пределах цикла должно наблюдаться четное количество (не менее двух) смен знаков отсчетов корреляционного фона, что требует наличия отрицательных значений функции, по крайней мере, на одном интервале непрерывного аргумента или в одной точке дискретного аргумента.

Свойство симметрии графика ПАКФ относительно 0,5пц допускает сокращение количества вычисляемых значений по выборке, длиной пц, в 2

раза. С учетом реперной точки одно из значений функции на половине цикла может быть вычислено аналитически через выборочные. Например, в случае четного цикла последовательности по выборке можно вычислить Л0(ит) только для ит = 1, 0,5п¥-1. Тогда оставшаяся серединная точка цикла вычисляется по формуле

В случае нечетной длины цикла допустимы вычисления ПАКФ по выборке только для пт = 1, 0,5пц -1,5. Оставшиеся две серединные точки выражаются как

0,5л„-1

0,5л„-1,5

Аналогичные исследования ПАКФ ИС-последовательностей выявили дополнительные особенности формы функций и оценивания их значений. Нечетность Д;г[о,25(2£ + 1)и1( +ит] как функции аргумента пх определяет симметрию отсчетов графика относительно точек = 0,25(2£ +1 )пц на оси абсцисс. Добавляются реперные точки Ях [о,5(2Аг + ])пц ] =-1 и для четного значения 0,5^ - вторая группа реперных точек И:![о,25(2к + 1)п11] =0. На графике ПАКФ в пределах половины цикла должно наблюдаться нечетное количество (не менее одного при п: = 0,25^) смен знаков отсчетов корреляционного фона.

Учет избыточности описания ИС-последовательностей в форме взаимноинверсных связей в цикле привел к выявлению свойств симметрии графика ПАКФ не только относительно оси 0,5пц, но и точки 0,25, что допускает сокращение количества оцениваемых значений функции в 4 раза.

Исследование взаимокорреляционых свойств последовательностей Х{}) и Г(() с циклами пщ и требует получения соответствующего количества оценок для пх = 0, пц -1, где пц = к^, пцу) - наименьшее общее кратное. Однако анализ показал, что существует минимальный общий цикл ПВКФ, который выражается через наибольший общий делитель пчть =&{пцх>Щу)- Тогда при пщ * пчу минимально достаточное количество

оценок заметно сокращается.

Полученные данные о свойствах симметрии, реперных точках и допустимости сокращения вычислительных процедур для ПАКФ позволяют на теоретическом уровне упростить получение регулярных математических форм функций, а в прикладном отношении - повысить производительность и надежность программных или аппаратных анализаторов.

В третьей главе рассмотрены генераторы псевдослучайных последовательностей (ГПСП), представленные конечным автономным автоматом на элементах единичной задержки. Приведены типичные структуры ГПСП и их алгебраическое описание. Дан анализ их циклических свойств посредством производящей функции, порождающего и характеристического многочленов для случаев однородных и неоднородных линейных рекуррентных последовательностей (ЛРП). Рассмотрены генераторы Фибоначчи и Галуа, исследованы структурные и автокорреляционные свойства формируемых псевдослучайных (М-1)- и (М-3 ^последовательностей, предложена методика идентификации формируемых ЛРП.

Используется автоматное представление ГПСП в виде композиции регистра на Б-триггерах и блока линейной обратной связи на сумматорах по модулю два (СМ2). Работа модели происходит в дискретном времени I. ■

Представляет интерес два типичных построения этих схем - «генератор Фибоначчи» (рис. 2) и «генератор Галуа» (рис. 3). ...........

c„=i

D Ui D D

1 2 3

С. С. С,

4)

Рис. 2. Функциональное представление ГПСП схемой генератора Фибоначчи

= const

С. = 1

____ .____,6, ____ ____& ___ .______.0»-!,__ ___,е.

М2 Грі— мі Грі--------------лс Грі—\щ d —і

_Ц~Ш гііГШ гЫ~Ш а(і)

Г '* і Г ~1 Г f і Г = 1

О. Р, Jpr '-'О *

* с2 с, а

2 m-l т

I

I

Рис. 3. Функциональное представление ГПСП схемой генератора Галуа

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

станты а0 е {0,1} с обязательным присутствием элемента Сг

=1.

Структура любой ЛРП выражается производящей функцией

00

G(2))= |>,a(i)S)‘, где 5) - оператор единичной задержки. Подставляя в /*о

. т-1

сумму рекуррентное выражение a(i)= ]ЁГCja(i - j)®a(i-m)®a0, включающее а0 е {0, 1}, получаем обобщенный вид производящей функции для любой ЛРП

Ф)=

m-J

у{2>У)®2>)®а0 a(2>)(l©5>) :

где v(3))~ S)J С,+|- а(-і) - многочлен степени ту<т, задающий

исходное состояние регистра (а(- г)[ і = 1, т\; а(э)= 10 Ф Ът -

' ' >1 образующий многочлен ЛРП степени т, коэффициенты которого задаются

набором (с} |/ = 1, тп}.

Структуры выходных последовательностей {а(і)) в общем случае полностью определяются многочленами а(2)), у(®), константой а0 и перебором необходимого минимума начальных состояний

<3(о) є {<2,. (о)| ?• = 0,2й -1] для выявления всех циклов. Анализ двух выше-

описанных схем моделей ГПСП показал, что циклические структуры последовательности вектора состояний (0(0) и бинарной последовательности (а(г)) совпадают. Однако циклические структуры бинарных последовательностей для отдельных разрядов допускают существенные отличия.

Несмотря на полноту исследований циклических свойств однородных и неоднородных ЛРП в работах Элспаса Б. и Гилла А., в явном виде алгоритмы определения элементов последовательностей, циклов и их взаимосвязи получены не были. Для решения этих задач в работе было использовано полученное выражение производящей функции однородных и неоднородных ЛРП, в которое входит константа а0 е {0,1}. В результате показано, что множество циклов [т + 1)-го порядка при а*0 = 0 состоит из объединения множеств циклов т-то порядка при <з0 = 0 и а0 = 1. На рис. 4 представлена диаграмма связи элементов множеств для гп = 1,5. В остальных случаях (на рис. 4 они пронумерованы сверху вниз и слева направо) при а0 е {0,1} генераторы формируют ЛРП с новыми циклами, присущие порядку, не меньшему т. В свою очередь эти циклы сами входят в множество (т + 1)-го порядка.

9

ю

В кружках записаны восьмеричные 11 изображения наборов (с^ |у = 0, 12

причем, если есть черта сверху, то предполагается аь = 1, в противном случае а0 = 0.

Стрелками показаны вхождения элементов циклических; структур младших порядков в старшие .

Рис. 4. Диаграмма вхождения циклов ЛРП младших порядков в старшие

На основе анализа ЛРП, порождаемых приводимыми многочленами у(х) /и-ой степени, разлагающимися на неприводимые сомножители,

один из которых (1 ® х)к, выделен класс неоднородных последовательностей, характеризуемый равновероятностью и длиной цикла порядка 2”.

Этому классу соответствует характеристический многочлен вида \у(х) = (1 флг)*\|/'(х) при а0 = 1,где к-1, 2, а у'(х) -примитивен.

Случай к = 1 соответствует многочлену у(х) степени т> 3 вида

^(х) = о©*М*), (1)

где многочлен у Xх) степени т' = т-1 примитивен. Периодическая структура генератора и формируемых им последовательностей представляется множеством (і(2), і(2я -2)} . Учитывая, что известная М-последовательность характеризуется циклом Мт- 2м -1, то ЛРП с длиной цикла Ьм_] -2т -2 = Мт -1 определена как (М-І)-последовательность т-го порядка. Так, генератору по схеме рис. 5 а соответствует характеристический многочлен \|/(х) = 1 © х2 ф Xі Ф х5 = (і Ф х)(і ф х Ф х4), причем сомножитель \|/(х) = 1 ® х Ф х4 - примитивен.

і ЕЛ ша В і Щ6, ЕН

{М21 а)

Рис. 5. ГПСП, формирующий (М-1)-последователькость (а), и граф переходов его состояний (б)

Циклическая структура соответствует множеству {1(2), 1(30)} . В этом случае при О(0)=01010 формируются последовательности (а(<)) ...,10,...с периодом 2 (бицикл) и ...,101101110011111010010001100000,... (собственно (М-1 ^последовательность) с периодом 2т -2 = 30. Циклические фрагменты выделены запятыми. Граф переходов приведен на рис. 5 б.

(М-1 ^последовательность является ИС-процессом с равновероятными двоичными символами и знакопеременной нормированной ПАКФ. Кроме реперного значения 1 возникает дополнительная реперная точка -1 для значений аргумента, равных половинным величинам цикла. Автокорреляционные свойства допускают следующую регулярную форму выражения:

1

2//'лм

-1

При

п= 0

(тосі Ь,

при нечетном пх Ф 0,5LV)4 (mod при четном пх ї 0 (mod LMX

при пх =0,51^ (mod LM_U

По фоновым значениям корреляции (М-1 ^последовательность т-го порядка соизмерима с М-последовательностью (т -1) -го порядка. Аналогично рассмотрен многочлен степени т> 4 для к = 2 вида

у(х) = (1Фх)2\(/(х), (2)

содержащий сомножитель \|/'(д:) в виде примитивного многочлена степе* ни т' = т - 2. Периодическая структура последовательностей, порождаемых такими многочленами, имеет вид {1(4), 1(2” - 4)) . ЛРП с длиной цикла Ьм_у =2" -4 = Мт -3 определена как (М-З)-последовательность т-го порядка. Примеру генератора по схеме рис. 6 а соответствует многочлен \у(х) — 1 ф хъ Ф х4 © х5 = (1 ® х)2 (1Ф х2 ® х3), где сомножитель

у'(х) = 1Фх2 ® х3 - примитивен. Циклическая структура выражается множеством (1(4), 1(28)} , что соответствует при С>(о) = 00110 формированию последовательностей {«(*)) — >1100,... с периодом 4 (тетрацикл) и ...,1001010001111101101011100000,... (собственно (М-3^последовательность) с периодом 2м - 4 = 28. Диаграмма последовательности состояний регистра (<2(0) приведена на рис. 6 б.

о(/)

№ рё|*-

<0 6)

Рис. 6. П1СП, формирующий (М-3 ^последовательность (а), и граф переходов его состояний (б)

(М-З)-последовательность также является ИС-процессом с равновероятными двоичными символами и знакопеременной нормированной ПАКФ, имеющей два реперных значения 1 и -1. Кроме этого возникают дополнительные нулевые отсчеты не только для четвертичных значений цикла, но и для всех нечетных величин пг. Свойства НАКФ также представимы в регулярной форме

^м-з(ит)~

' 1 при пх =0 (тойЬи_3),

4ДЛ/_3 при пх =2 (тоё4), кроме пх = 0,5£м_3 (тойЬм^), О при нечетном пх,

-4/Ьм_3 при ит =0 (тос!4), кроме пх =0 (то6Ьи__3),

. -1 при пх =0,51^3 (то<Им_3).

Фоновые значения АКФ (М-З)-последовательности т-го порядка сравнимы с (М-1 ^последовательностью (т-1)-го порядка и М-после-довательностью (т- 2) -го порядка.

Случаи к > 2 характеризуются сокращением длины цикла в два и более раза и негарантированным свойством равновероятности.

Технически для. формирования (М-1)- и (М-3 ^последовательностей в схемах генераторов Фибоначчи и Галуа вместо СМ2 с константой 1 на входе можно использовать инверсные выходы разрядов регистра.

Показано, что на разных разрядных выходах генератора Галуа могут формироваться различные ЛРП. Предложена методика идентификации формируемых ЛРП из анализа нерабочих циклов, запрещенных для псевдослучайного режима.

Если характеристический многочлен Ц)(х) неприводим и примитивен, то при а0 = 1 на выходах регистра ГПСП формируются или М-, или инверсные М-последовательности (случай к = 0). По запрещенному моноциклу однозначно идентифицируются формируемые прямые или инверсные ЛРП.

В случае многочлена степени т>3 вида (1) на разных выходах регистра ГПСП могут формироваться (М-1)-последовательности, порождаемые многочленом ц/(х), М - и М-последовательности, порождаемые многочленом у'М- П° запрещенному бициклу, решив систему линейных уравнений, идентифицируются все формируемые ЛРП. .

При характеристическом многочлене степени т> 4 вида (2) на разных выходах регистра могут формироваться (М-З)-последовательности, порождаемые многочленом \у(х), (М-1 ^последовательности, порождаемые многочленом (1®х)у'(;с), М- и М-последовательности, порождаемые многочленом \)/'(х). Идентификация всех ЛРП производится по запрещенному тетрациклу путем решения системы линейных уравнений.

Проведенные исследования показали, что наряду с М-последовательностями выделяется дополнительный класс ЛРП, которые можно эффективно использовать в качестве псевдослучайных последовательностей и как модельную основу формирования случайных процессов. Результаты идентификации для схемы Галуа могут быть использованы при синтезе ГСП для выбора точки подключения асинхронной части, моделью которой является ГПСП, к устройству фиксации.

Предметом исследования четвертой главы являются свойства элементов задержки, которые являются основными и, в ряде случаев, единственными компонентами генераторов. Наибольшей сложностью в описании характеризуются непрерывные задержки как параметры аппаратно реализуемых асинхронных элементов задержки (АЭЗ), определяющих поведение генераторов в целом. Функции АЭЗ в цифровых устройствах целесообразно возложить на стандартные ЦЭ, выполняющие функции логических элементов. Используя декомпозицию ЦЭ в виде идеального логического элемента и одновходового АЭЗ, основное внимание в работе уделено логическим повторителям и инверторам.

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

Задержки т? для одного и того же ЦЭ отличаются при формировании на

выходе 0 и 1. Обозначим их т® и т’. Для цепочек из п повторителей или п инверторов суммарные задержки определятся соответственно как

а( \ а а( \ {(«+0 Ь ср ~ ^ > еСЛИ П=2к-1,

хЛп)=т, или = 1 р о,

з\ ! з з \ / I ит ег.пет и=2аг.

\пхзср, если п = 2к,

где х3 ср = 0,5(т° + т') - Средняя задержка инвертора, Лелг+.

В процессе задержки входного импульса ае{0,1}, происходит изменение его длительности Т°х согласно следующей зависимости соответственно для и-го повторителя или л-го инвертора:

Т„а =Г“- Дх°°п или Т: =(5" Ах“ ’ еС™ И = 2^_1, л “ 5 , если п = 2к,

где Дт““ = - т“ - степень нелинейности. Если Дт“° > 0, то речь идет о

сужении длительности импульса вплоть до его полного исчезновения, если <0-о неограниченном расширении. Изменение (деградация) входной длительности в цепочке инверторов происходит только при нечетных значениях п, и выражена она значительно слабее, чем для повторителей.

Влияние паразитных параметров реактивного характера в ЦЭ и линиях связи выражаются в свойствах инерциальной задержки, которая не только задерживает фронты изменения входного сигнала, но и отфильтровывает импульсы малой длительности. Введена идеализированная схемотехническая модель элемента инерциальной задержки, содержащая интегратор с ограничением напряжения по уровням ин, IIе и компаратор с пороговым уровнем II'. На основе геометрических представлений работы модели в нормированной форме получены аналитические соотношения для задержек логических уровней, значений временных порогов фильтрации коротких импульсов и изменений длительностей выходных импульсов. Эти соотношения выражают сложный механизм преобразования импульсов, сопровождающийся появлением нелинейности задержек и процессами деградации длительностей в форме' сужения, расширения, прогрессивного сужения, прогрессивного расширения и исчезновения. Сформулированы также и условия сохранения длительностей. В целом инерциальная задержка содержит в себе элементы чистой задержки с эффектами нелинейности и фильтрации. Для исследования свойств и-кратных инерциальных задержек введены передаточно-временные характеристики (ПВХ) воспринимаемые как точечные отображения тм=№, где г' = 0, и-1 -номеритерации(лелг+), а Г0 =Гет.

Суммарные инерциальные задержки л-звенной цепочки повторителей для случая 0* < 0,5 выразятся следующими зависимостями от входного импульса соответственно 1 и 0 с длительностями Тд и Г0°:

„1 / ч ». .0 С \ \п^-й*\ для /”,

хАп)-пи , Т„,1и) = </Х \(1, -Лр

[(2”-1)(:Г01-2гУ*)+пС/* для т»-и(1-[/), ^(«) = {(2П_1^0_2с(1_^)]+и(1_^) для ^

где все временные величины нормированы относительно постоянной времени интегратора; и’ = (г/* -£/")/(£Г-гУи); //, /е" и /псп - «-крат-

ные итерации ПВХ на участках соответственно расширения, прогрессивного изменения, сужения и прогрессивного сужения задерживаемых импульсов.

Определены минимально возможные длительности входных импульсов уровня 1 и 0 (как фильтрующие способности АЭЗ) при п-кратном действии инерциальных задержек повторителей на грани исчезновения в виде

г' Ы-2'-*0- „ Р »<

10т\п)-~ги И ГопЛ«Ы -о !, ~Т-ГА( , Ч ,

2 [том+^-2и Ап-ппс)ПЛЯ п'т<п<со,

где п’т = [1од2(1 -0*)/(о,5-и*)\ и Г0°м = (2^ -1)(1 - (/’)/2<ч .

Важно отметить, что ИшГ0'т=217* и НтГ00т=со> следовательно,

«-> со л-ко

фильтрующая способность импульса 1 ограничена, а относительно 0 - нет.

Для случая и > 0,5 справедливы те же соотношения, если ввести замены Т01 на Т0°, V’ на 1 - (У* и наоборот.

Аналогичные итерированные соотношения получены и для инерциальных свойств АЭЗ-инвертора. При этом кратный характер действия инерциальных задержек инверторов сопровождается ограниченным эффектом фильтрации для обоих импульсов, так как

1щ1Г0’т=1, Нт Г0° = 2(1 - £/*) для 0* < 0,5

Л-КО п-¥СО 4 '

и Ит Т0\ = 1, Нт Г0]т = 2(1 - 17*) для £/* > 0,5.

я-»» п-> оо 4 '

Это обстоятельство при синтезе АЭЗ определяет предпочтительность использования в качестве ЦЭ инверторов, способствующих обеспечению стационарности работы генераторов.

Существенным фактором, влияющим на характер функционирования асинхронного генератора, является стохастичность задержек ЦЭ, образующих АЭЗ. Этот фактор рассмотрен с двух позиций. Во-первых, случайность временных параметров любых реальных элементов проявляется в их нерегулярном разбросе от экземпляра к экземпляру (по ансамблю) в силу технологических причин. Во-вторых, внутренние шумы стандартных ЦЭ, линий и трактов связи приводят к временному непостоянству самих временных параметров, что обозначается понятием «флуктуации».

Предложен метод оценки разбросов средних задержек в относительной форме на основе применения условных вероятностных моментов к описанию группы однотипных ЦЭ. Примеры практической реализации этого метода к микросхемам различной схемотехнической технологии показали, что 10%-интервал разброса накрывает статистические оценки задержек ЦЭ относительно их средней величины для микросхем одной партии выпуска с вероятностью Р = 0,7. Подобные оценки относительно одного корпуса микросхемы составляют 3-5%, а относительно входов однотипных элементов - доли и единицы процентов. Следовательно, в ряде инженерных приложений применительно к однотипным ЦЭ в пределах одного кристалла микросхемы можно принять гипотезу о равенстве средних задержек.

Экспериментально исследованы зависимости средних задержек от напряжения питания и температуры корпуса микросхемы. Результаты экспериментальных измерений хорошо согласуются с известными данными.

Особую значимость для поведения асинхронных генераторов имеют временные флуктуации задержек, известных сведений о которых в литературе чрезвычайно мало. Эти флуктуации определяют стохастичность асинхронных генераторов. В главе кратко отмечены основные физические явления, определяющие случайность временной задержки х3, которую удобно представлять относительной величиной в форме безразмерного коэффициента вариации от3 = ах3/Мх3, где ох3 и Мх3 - соответственно среднеквадратическое отклонение и математическое ожидание задержки как случайной функции х3{{).

Разработаны методы экспериментальных измерений оценок а х3 для ЦЭ на кристаллах малой и большой степени интеграции. Практическая реализация методов применительно к разным микросхемам, как по технологии, так и по степени интеграции, выявила разброс оценок в следующих пределах: сх3 = 10"4 • • • 3 • 10-3. Существенная зависимость от напряжения питания и температуры не обнаружена.

Пятая глава посвящена генераторам асинхронных случайных процессов (ГАСП). Дано описание и приведены типичные схемотехнические представления генераторов. Рассмотрены случаи соизмеримых и несоизмеримых временных задержек АЭЗ как при отсутствии флуктуаций, так и в предположении наличия их. Определены условия генерации процесса, исследованы его вероятностные и корреляционные свойства.

ГАСП представим автономньм асинхронным автоматом, функции памяти которого выполняют АЭЗ с задержками хзЬ, заданными множеством

Х={т?а|^~1> л}. Его функционирование происходит в непрерывном времени /.

Аппаратные реализации ГАСП представляют собой в общем случае асинхронные устройства с многоконтурной обратной связью. Структурное подобие линейных схем с ГПСП позволяет оставить их обозначения как «генератор Фибоначчи» и «генератор Галуа». Наибольший практический

интерес представляет вторая схема (рис. 7), содержащая ЦЭ в виде сумматоров по модулю два (СМ2) с задержками.

Элементы схемы с обозначениями констант и коэффициентов а10, Сп_м

(1 = 2, п) осуществляют функцию мультиплексирования на нижний вход

сумматоров по типу: либо подача кон-

Рис. 7. Схемотехническое представление _______ с -

ГАСП В форме генератора Галуа станты, либо подключение к обратной

связи. При построении физической модели эта функция реализуется монтажным путем, без применения дополнительных элементов. Тогда построение схемы производится исключительно на двухвходовых СМ2.

Рассмотрен ряд идеализированных случаев работы ГАСП.

Случай отсутствия флуктуаций задержек, соизмеримости их соотношений и временных элементов начального заполнения АЭЗ сводится к эквивалентной замене асинхронной модели генератора на синхронную модель, что позволяет применить результаты исследований ГПСП третьей главы.

Режим «-мерного ГАСП при отсутствии флуктуаций несоизмеримых задержек приводит к формированию цифрового детерминированно-хаотического режима, если и > 2 . Многоконтурная система обратных связей порождает сложный апериодический процесс рециркуляции начального заполнения АЭЗ, состоящий из двух подпроцессов: регенерации и аннигиляции.

Подробно рассмотрен двумерный ГАСП (и = 2). Исследования такого генератора в непрерывном времени проведены на основе геометрической интерпретации его работы при условии запуска в АЭЗ хотя бы одного 6-образного импульса 1 на фоне сплошного уровня 0. Результатом такой работы модели является точечный процесс с непрерывным временем.

Все временные моменты рециркуляции при заданных элементах множества Т3 ={тз1,тз2} выражаются виде ^(к1,к2) = к1хз1+к2хз2, где наборы

(ку,к2) определяются всевозможными комбинациями кх,к2 . Если в эти моменты времени приходит 5-импульс по одному входу сумматора, то в результате регенерируется новый импульс. При одновременном действии импульсов по обоим входам сумматора происходит аннигиляция импульсов. Последовательный ход такого процесса отображается-одной траекторией блуждания математической точки по узлам двумерной решетки кх -0-кг в порядке монотонного возрастания С - 1*{кик2). Вид этой траектории полностью определяется конкретными значениями элементов множества Т,. Отмечено, что, в общем, алгоритм блуждания имеет фрактальный характер, сопоставимый с треугольником Серпинского и оцениваемый размерностью <1М = 1о§2 3.

Количество формируемых траекторий выражается функцией = (Аг! + Аг2)!/^:і! ^2!• Числовые значения этой функции образуют таблицу Тартальи. Нечетные числа таблицы соответствуют регенерации, а четные -аннигиляции. В результате анализа заполнения таблицы нечетными числами в количестве и1 получена мгновенная плотность потока регенерируемых 5-импульсов \{к)-Ък •21'*/т3, которая предполагает предельную форму текущей плотности А,(?)= Ди'/А/ при сведении At к минимальному кванту экспоненциального времени 2кг3 <і< 2*+1т3, где к € А/+ - двоичный порядок временного аргумента. Зависимость плотности потока от реального времени выражается функцией Х(/)»2(ґ/т3)10823//-

Для полученных функций плотности характерно Ііт /.(&) = 1ітХ(ґ)= ээ.

к-*со /—мо

Это свидетельствует о нестационарное™ формируемого импульсного хаотического процесса в случае несоизмеримости элементов множества Т3 при отсутствии фильтрующих свойств АЭЗ.

Алгоритм работы ГАСП рассмотрен в многомерном случае (п> 2) при несоизмеримых задержках. Определяя количество траекторий рециркуляции и вычисляя соответствующие временные моменты по формулам

Ь/ПМ и і*(кик2>->ка)='ї,кіЬі>

.1-1 ) М М

нетрудно сформировать введенный в работе «-мерный куб Тартальи. Производя «раскраску» куба на четные и нечетные элементы, получаем удобный в вычислительном отношении алгоритм для машинного моделирования многомерных ГАСП.

Наличие фильтрующих свойств реальных АЭЗ (параметр Г0я) упрощает

структуру формируемого генератором процесса. В синхронной модели это проявляется в сокращении циклических элементов. В непрерывном времени работы ГАСП фильтрующая способность ЦЭ в АЭЗ наряду с укрупнением временных фрагментов процесса вносит эффект стабилизации плотности потока регенерируемых 8-импульсов ^(г1) на уровне Т^хт.

Временные флуктуации вызывают бифуркационные эффекты в поведении асинхронных генераторов. Это значит, что при относительно малых изменениях временны х параметров происходят значительные перестройки в конкретной реализации алгоритма формирования сигнала. Наличие сколь угодно малых временных флуктуаций непрерывных задержек ведет к процессам перемешивания последовательностей с разными структурами, длительностями и временными масштабами. Асинхронные и синхронные модели теряют свойство хаотичной или псевдослучайной детерминированности и становятся стохастическими генераторами, т.е. ГАСП и ГСП.

Несоизмеримый характер мгновенных значений задержек двух и более АЭЗ приводит к возникновению динамического хаоса, а естественные физические флуктуации этих же задержек способствуют образованию стохастического режима. Поэтому наиболее полно описание работы ГАСП приведено с учетом временных флуктуаций и несоизмеримости задержек. Непрерывные во времени параметры АЭЗ за счет флуктуаций порождают эффект состязания задержек, что характерно для асинхронных автоматов.

На рис. 8 а изображена схема трехмерного генератора Галуа с простейшей формой соизмеримости мгновенных задержек в виде единичных. Анализ эквивалентной синхронной модели с характеристическим многочленом \|/(х) = 1©х®х2®!3 и а0 = 1 определяет граф переходов состояний (? = {й 02 Q3), представленный нарис. 8 6. Модель формирует ЛРП и характеризуются циклической структурой О = (2(4)}.

— М2

а

М2

М2

а

Г 1 Г 2 а(()

а)

в)

Рис. 8. Схема асинхронного генератора Галуа (а), графы переходов при о10 = 1 в случае единичных задержек (б) и состязаний задержек (в)

Если допустить сколь угодно малые случайные отклонения времен задержек, то их единичные представления в модели нарушатся. Результатом состязания задержек по причине временных возмущений станет повышение степени связности вершин графа переходов, нарушение строгой цикличности и появление более одной выходящей дуги из некоторых вершин (рис. 8 в). В силу случайности возмущений задержек каждая такая дуга должна соотноситься с вероятностью, отличной от 0 и 1. Наличие альтернативы в переходах состояний по существу выражает проявление бифуркаций в терминах асинхронно-автоматных описаний.

Определение. Назовем автономным вероятностным автоматом асинхронного типа с детерминированным выходом набор вида: ■Л* = (У, Б, Р83, ф3у , где У и 8 - соответственно выходной и внут-

ренний алфавиты; Р33 =||д^5.|еБ -матрица вероятностей перехода;

ф5у ~ функция выхода, отображающая Б-)-У; 1Г8 =|/(т|^,)|евЦ - вектор плотностей вероятностей, заданных для случайных времен пребывания автомата тек* в своих состояниях; время функционирования автомата непрерывно, т.е. /еЛ (где Я и &+ - множества действительных и действительных неотрицательных величин).

Описание ГАСП моделью позволяет определить ряд вероятностных свойств, в существенной степени определяемых компонентами Р55 и Г8. Рассмотрено поведение генератора в случае распределения случайных задержек ЦЭ по закону с одинаковыми плотностями /(х| л,() вида

/(т) = Я,е ,л с параметром X. На основе марковских свойств введенной модели получена система линейных дифференциальных уравнений, аналогичных уравнениям Эрланга для систем массового обслуживания

dP.it) V,1 /ч

-£- = *1 ЬпРк)-пХР^),

С** /5=0

где Р^) и Р^) - текущие значения вероятностей состояний 5,.,$,. еБ; Ь{ ^ — элементы матрицы условий переходов В. Решение системы уравнений при условии Ит<й^(*)/Л = 0 дает распределение финальных вероятностей состояний ГАСП в виде вектора Р5 =|/> |/=0, 2я — 11- Установившиеся вероятности появления 1 на выходе каждого /-ого сумматора опре-

2"-1

деляются по выражению р, = Р], где 0^. - значения разрядов двоМ

ичного кода, соответствующего состоянию Sj. Время установления этих

вероятностей определяется процессом формирования Р5 (/) с конечной погрешностью.

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

о,0 е {0,1}.

В статическом состоянии схема характеризуется уравнением в матричной форме А = \УА © А0, Рис. 9. Общая схемотехническая ____т

модель автономного ГАСП в где А = Ы г = 1, я - вектор-столбец состояний

форме однородной среды и ,

среды; \У = ||'И',-у|/,/ = 1, и - матрица смежности

конфигурации среды, задающая связи всех сумматоров между собой по

А„ А

О О о

II I I I II I I I II I I I

>)(0

°г(>)

а.Ь)

О 1

нечетному числу объединенных входов; А0 — |ai0| i — 1, njj вектор-

столбец постоянных коэффициентов. ^

Отсутствие решений уравнения, следовательно, и статически устойчивых состояний среды, обеспечивается равенством

A =0,

м|_ И J

являющимся необходимым условием генерации процесса a(t).

Аналогичным образом решен также вопрос частичной неустойчивости в форме отсутствия отдельных статически устойчивых компонент двоичного

! Y

й(ф' = 1,л при неустойчивых абстрактных состояний

автоматной модели ГАСП как элементов алфавита S.

Исследовано взаимодействие двух генераторов, формирующих простейшие моды колебаний логических уровней. Один генератор формирует процесс a(t) с параметрами Тх, Т0 и Т = ТХ+Т0, соответствующими длительностям единичного импульса, нулевой паузы и периода следования. Второй — генерирует импульсы отсчета с периодом т для фиксации уровней сигнала a(t). Предполагается, что все временные флуктуации перечисленных параметров сосредоточены в случайной величине т. Начальная фаза сигнала первого генератора при каждом факте фиксации постоянна (когерентный отсчет). Для гипотезы распределения периода отсчета по нормальному закону с плотностью вероятности fit) и параметрами тт и ст получены следующие выражения для функций вероятности и автокорреляции последовательности отсчетов z(t) процесса a(t):

N tT+7i Т “I+7i , ч Т

j/(^ и Да(тт) = —г jp>TM«T--f,

i=C кТ z0 1 0

где С и N — соответственно минимально и максимально учитываемые номера периодов сигнала a{t) с момента запуска.

Когерентный режим работы данной схемы исследования в общем случае предполагает формирование нестационарного процесса z(t) как по вероятности, так и по автокорреляции, что иллюстрирует рис. 10.

Для аргумента тет, соизмеримого со средним значением периода Т, характер изменения графиков вероятности и автокорреляции синуснокосинусный. Асимптотика экстремальных значений вероятности и НАКФ при Г, /Г = 0,5 выражается сходимостями по вероятности

lim|P„-0,5|4,5, Кт|*.„|=1 и Ит)д»-М=«.

Пределы при тг -* оо характеризуют тенденцию установления стационарности.

Разработаны программные реализации имитационных моделей ГАСП. Основой для имитации происходящих в генераторах случайных асинхронных процессов выбрано представление АЭЗ в виде регистра сдвига со случайно изменяющимися номерами разрядов для подключения обратной связи. На этих моделях исследованы вопросы влияния временных флуктуаций и параметров фильтрации на вероятностные и корреляционные свойства формируемых ГАСП процессов. Например, для конкретных числовых примеров выявлены эффекты снижения выбросов НАКФ. По мере увеличения временных флуктуаций (от3 > 10'3) для 4-мерного ГАСП ненулевые реперные точки автокорреляции, характерные для базовой ЛРП, на общем корреляционном фоне становятся статистически неразличимы, начиная с первого периода. Задавая минимально возможные значения сгт3, программным моделированием находится достаточная размерность модели, необходимая для решения практических задач синтеза стохастических генераторов.

Для исследований свойств ГАСП с учетом реальных временных флуктуаций разработаны физические модели. Они представляют собой натурные макеты устройств на основе реальных ЦЭ, допускающие достаточно оперативное изменение схемы соединений, снабженные аппаратными средствами оценки структурных и статистических характеристик формируемых сигналов. На рис. 11 представлены примеры оценивания вероятностных и автокорреляционных свойств процесса а(1).

Рис. 11. Графики максимальной величины модуля относительного отклонения от равновероятности и максимальной величины модуля фона НАКФ в зависимости от количества ЦЭ в АЭЗ при максимальном числе контуров обратных связей (а), базовом четырехчлене (М-І)-последовательности (б) и максимально плотном базовом многочлене (М-1 ^последовательности (в)

І— УІУ>

0(0 ' ггіплллллллтггліігитл.

Рис. 10. Графики плотностей вероятностей случайного периода отсчета, временная диаграмма процесса a(t), графики функций вероятности и автокорреляции

Эксперименты показали, что в практических целях для формирования равновероятностных и некоррелированных сигналов необходимо использовать не менее 12 ЦЭ при базовом многочлене (М-1 ^последовательности, имеющем максимальное число членов.

В шестой главе описаны особенности практического использования цифровых генераторов. Основной акцент в материале главы сделан на рассмотрение вопросов синтеза и инженерного построения датчиков случайных символов, генераторов случайных и псевдослучайных последовательностей, ориентированных на цифровую элементную базу.

На абстрактном уровне ДСС представлен автономным вероятностным автоматом ££ =(л,У,Ру,Фу), где А и V - соответственно выходной и внутренний алфавиты; Ру - матрица условных вероятностей перехода; фу

- функция выходов, отображающая У-»Л; время функционирования г'елг предполагает классическую синхронную структурную реализацию. Элементарность данного представления обеспечивается минимальными значениями мощности алфавитов для автомата, т.е. |Л| = |У| = 2. Абстрактные элементы множества А в структурной форме кодируются двоичной переменной г. Особый интерес представляет равновероятный случай. Такой датчик является универсальным элементом для построения сложных цифровых стохастических объектов, аналогично триггеру при классическом синтезе детерминированных устройств. Структурная схема ДСС предусматривает композицию из ГАСП и устройства фиксации (УФ).

Отмечено, что работа реальных датчиков сопряжена с возникновением погрешностей как по равновероятности, так и по автокорреляции. Эти погрешности могут быть производными от работы неидеального ГАСП, а также вноситься УФ. Для минимизации погрешностей по равновероятности необходимо применять схему УФ с симметричным построением его триггерной части и использованием ЦЭ с высокой степенью линейности задержек. Существенное снижение фона АКФ последовательности г{г) достигается при фиксации символов через интервалы времени, Тти > хк (где хк - интервал корреляции д(?) с выхода ГАСП). Предложено использовать следующую формулу для определения нижней границы периода тактовой последовательности: ТТИт{п «иМх3/отэ, где и - эмпирический

коэффициент, зависящий от схемы построения ГАСП и ДСС в целом, а также от требуемых качественных характеристик. По существу, приведенная эмпирическая зависимость определяет максимальное быстродействие датчика, т.к. ЕТИт1а =Г7^ШП. Экспериментально установлено, что датчики на основе ГАСП многоконтурного типа по быстродействию вполне сравнимы с детерминированными устройствами, реализованными на той же элементной базе.

Выделен особый случай использования ДСС и ГСП для формирования случайных последовательностей в системах защиты информации. Наряду с вероятностными и корреляционными свойствами выступает требование случайности в форме непредсказуемости формируемых последовательностей. Для количественной оценки предсказуемости предложено применить метод функции степени детерминированности, разработанный Ю.А. Кравцовым для исследования классических динамических систем хаотического типа. Адаптация этого метода к задачам оценки степени физической случайности ДСС через дискретный интервал предсказуемости пйа (как обратной оценки непредсказуемости) требует измерения нормированной ВКФ я(«т) для анализируемой последовательности г (г) и прогнозной

гп(г). При этом прогнозная последовательность определяется на основе знаний детерминированных составляющих, например, в форме динамического хаоса, при условии запуска источника (датчика) с определенного начального состояния из некоторого множества Ан. Тогда искомый интервал

піа находится из равенства («ли)) = 0>5.

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

В целом статистические характеристики ДСС в значительной степени определяются соответствующими характеристиками ГАСП. Предложено выбор структуры цепи обратной связи и-мерного ГАСП проводить по схеме генератора Галуа. Чем больше контуров обратной связи организовано в схеме ГАСП, тем в среднем сильнее проявляются стохастические свойства задержек. При этом целесообразно, чтобы образующий многочлен модели соответствовал структуре обратных связей для (М-І)-последовательности. Одновременно должно быть выполнено следующее условие для оператора

Я . '

инверсии: ]£аі0 =1, формально считая для схемы генератора Галуа аі0 = О,

м

если есть соединение линии обратной связи с входом г-го сумматора. Эта процедура названа настройкой структуры ГАСП на базовый многочлен (М-І)-последовательности. Количество контуров обратной связи в генераторе соответствует числу функциональных членов (плотности) базового многочлена.

На основе исследований свойств многочленов (М—^-последовательностей, заданных коэффициентами в виде восьмеричных наборов, определены характерные элементы схемотехнической организации контуров обратной связи. Решены задачи максимизации плотности такого базового многочлена, в результате чего разработаны методики настройки структуры ГАСП на образующий многочлен, наиболее приближенный к максимально

плотному при заданной размерности п. Одна из методик рассчитана на применение восьмеричных коэффициентов многочленов (М-1)-последовательности, максимально близкими к вариантам <C>ge{l77...7, 377.,.7, 777...7}. Эти многочлены для п = Ъ, 35 приведены в монографии соискателя и его консультанта В. А. Песошина.

Сформулированы основные принципы построения многоконтурного п-мерного ГАСП цепочечного типа.

1. Выбрать в качестве источника физической случайности временную задержку цифрового элемента как единственного непрерывно-значного параметра цифрового устройства с асинхронной организацией.

2. Образовать основу АЭЗ ГАСП в виде цепи последовательного соединения п двухвходовых СМ2, обладающих случайными задержками за счет естественных внутренних шумов.

3. Исходя из предположения равенства средних задержек всех СМ2 совокупности, образовать контуры обратной связи в цепи так, чтобы в составленной эквивалентной синхронной модели ГПСП обеспечить описание полученного генератора Галуа максимально плотным характеристическим многочленом (М-1 ^последовательности и-го порядка.

4. Обеспечить равенство суммарного оператора инверсии единице.

Для решения задач синтеза ДСС предложено его рассмотрение в виде автоматов т^г и S*. Алфавит внутренних состояний S автомата т^г разбивается на и непересекающихся подмножеств трех типов.

1. Подмножества (по крайней мере, два непустых S0 и S,), элементы которых являются устойчивыми состояниями т/рг при хт = 1. Эти состояния формируют символы у, соответствующие г е {О, 1} для S*.

2. Подмножества неустойчивых состояний S,, формирующихся только при хТИ = 0 и соответствующих неопределенным состояниям выхода

' ^рг ■

3. Подмножества частично неустойчивых состояний S,0 и Б.,, которые при хТИ -1 обладают свойствами первой, а при хТИ = 0 - второй группы рассмотренных выше подмножеств.

В качестве примера на рис. 12 изображен укрупненный граф функционирования датчика в виде г^г, для которого и-5. Из графа видно, что определенные сочетания подмножеств при xm(t)=const образуют замкнутые по переходам группы. Эти группы правомерно относить к автономным вероятностным автоматам асинхронного типа, композиционно входящим в . Функция выхода <pxs выбирается таким образом, чтобы каждой группе соответствовал _у(/) = const.

В период действия дггя =0 структура ДСС функционирует как ГАСП. Формируется неопределенный абстрактный символ у = * из алфавита У на основе неустойчивых состояний из Б,. Представление выхода г в этот период алфавитом Л не предусматривается. Генерируемый асинхронный процесс в момент хт = 0 1 способствует установлению случайного вы-

ходного сигнала датчика 2 е {0, 1}.

________§__________ Описанные автоматные представления

ДСС реализуются по трем основным схемам организации работы УФ и ГАСП.

а) «Схема подключения». Синхронный триггер УФ подключается информационным входом к выходу ГАСП. Быстродействие триггера должно быть не ниже быстродействия элементов ГАСП.

б) «Схема включения с разрывом». Элементы трилгерного устройства УФ как АЭЗ

^включаются в разрыв цепи ГАСП. При хти = 0 они пропускают через себя асин-Рис. 12. Укрупненный граф ДСС х ный сигнал. В хечение хти = 1 УФ, раз-в автоматном представлении 1 1 п ‘

рывая обратную связь ГАСП и блокируя

асинхронный процесс, фиксирует случайный сигнал и выдает его на выход. По сравнению со схемой подключения равновероятностные свойства такого ДСС заметно выше, но быстродействие из-за когерентной работы ГАСП ниже.

в) «Схема включения без разрыва». С помощью мультиплексных элементов организуется такая работа ДСС, при которой автогенераторный режим ГАСП обеспечивается без перерыва. При этом в течение хт =0 УФ согласованно работает с контуром ГАСП, аналогично варианту ДСС по схеме включения с разрывом. В момент хТИ = 1 элементы триггерной части УФ, выключаясь из асинхронной цепи ГАСП, фиксируют случайный выходной символ. При описанной схемной организации построение ДСС усложняется. Однако качество статистических характеристик выходной синхронной последовательности и быстродействие достигаются высокими. Примеры соответствующих схем датчиков представлены на рис. 13.

-------С

Лги! ■ «■ ■ I

а)

б)

0 мих р

л а1

Г 1 1

2

мих

о

ГАСП

3

а*

в)

Рис. 13. Схемы ДСС: {а) - подключения, (б) - включения с разрывом, (в) - включения без разрыва

Схема рис.13 а основана на ГАСП в форме кольцевого генератора (КГ), а в качестве УФ использован О-триггер. В схеме рис. 13 б функции УФ и КГ выполняет единственный СМ2. В датчике по схеме рис. 13 в УФ образуется из мультиплексора 1. При этом оба мультиплексора попеременно включаясь и выключаясь из процесса асинхронного возбуждения ГАСП, постоянно обеспечивают его автоколебательный режим.

Варианты многомерной блочной организации ГАСП позволяют решить задачу построения прецизионных ДСС, но при этом потребуется размещение элементов датчика на кристалле микросхемы повышенной степени интеграции. Диапазон технической сложности построения ДСС в зависимости от требуемого качества и быстродействия простирается от 0,25 корпуса микросхемы малой степени интеграции до БИС.

Автоматные представления датчиков допускают замену описанных эвристических подходов к построению схем на формальный метод синтеза. Сущность его заключается в следующем.

После вышеописанного разбиения множества Б в автомате на соответствующие подмножества производится переход к детерминированному асинхронному автомату' ЛАа . Для этого, не учитывая временные флуктуации и связанный с ними стохастизм, доопределяем все переходные вероятности для г/рг до 0 и 1, тем самым упрощая граф его функционирования до вида г^й, когда последовательности неустойчивых состояний образуют циклы базовых последовательностей. Элементы алфавитов X, У и Б в двоично-структурированной форме представимы соответственно че-

II I 1|Т

рез хти{{), а(/) и А(г) = |ау(/)|/ = 1,и|| , где хти,а, а] е {О, 1}. Затем составляем таблицу переходов и выходов. Элементарным автоматом, на основе которого ведется построение т^м в структурной форме, является АЭЗ, реализующий оператор 5) с параметром т' (подтакт работы асинхронного автомата). Приведенная таблица позволяет записать следующую систему переключательных функций:

а, (? + т') = 5] [а, (/), а2 ([), • • •, а„ (/), хти (/)],

аЛ< + }') = (Д аМ • • •, а (А хти(і)},

а{4= Я а Iа: «2 (0. хти и)] ■

Полученная система после процедур минимизации с учетом конкретного функционального базиса служит основой для построения логической схемы ДСС. Затем с помощью эквивалентных преобразований подфункций системы посредством логических операторов выбранного элементного базиса оформляется принципиальная схема синтезированного датчика.

Отмечена целесообразность использования комбинации формального и эвристического методов синтеза. Приведена методика такого построения.

Описан ряд практических разработок, внедренных в реальные проекты специализированных вычислительных систем, блока статистического моделирования, устройства ввода случайных чисел ЕС 6903, терминальной ЭВМ ЕС 1007, специальных технических средств защиты информации, систем опознавания.

Представлены следующие варианты построения ГСП и ГПСП с использованием технологий БИС: гибридная БИС (микросборка), на микропроцессорных секциях, на программируемых логических интегральных схемах, на базовых матричных кристаллах (полузаказные БИС).

Основными объектами внедрения являются ГСП Н1582ВЖ2-0105, 1537ХМ2У-135 и 1537ХМ2АУ-215, выпускаемые мелкосерийными партиями с 1992 г. (ОАО «Ангстрем», г. Зеленоград) для систем опознавания «свой-чужой». На рис. 14 приведены фотографии микросхем.

Рис. 14. Микросхемы БИС ГСП на БМК «Фтор-3» (а), серии 1537ХМ2 (б), в составе модуля аппаратуры опознавания (в)

Для выходных двоичных последовательностей БИС генераторов серии 1537ХМ модуль абсолютной погрешности по равновероятности, оцененный на выборках объемом 107, не превышает величины 5 • 10-4 с доверительной вероятностью 0,95. При этих условиях значения НАКФ лежат в интервале ±6-Ш'4. Максимальная частота тактовой синхронизации 8 МГц.

Данные микросхемы заменили в аппаратуре опознавания датчик на аналоговой неинтегральной основе с применением генератора шума 2Г401Б, характеризуемый погрешностями по равновероятности и некоррелированности 5 • 10~2 при тактовой частоте 0,5 МГц.

Сделаны краткие замечания по применению моделей генераторов для построения цифровых устройств формирования случайных сигналов с управляемыми и регулируемыми законами распределения и корреляционными свойствами, генераторов случайных потоков простейшего типа и с последействием, генераторов случайного напряжения, генераторов случайных процессов различной физической природы.

ЗАКЛЮЧЕНИЕ

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

При проведении исследований по тематике диссертации получены следующие научные и практические результаты:

1. Проведен анализ современного состояния основ построения цифровых генераторов случайных и псевдослучайных сигналов; определены две базовые модели элементарных кольцевых генераторов (КГ) на цифровых элементах - генератор-повторитель (ГП) и генератор-инвертор (ГИ); проведен частотно-временной анализ их поведения. Показано, что КГ формирует в автономном режиме двоичные процессы телеграфного типа с непрерывным временем в форме простых, сложно-периодических и инверсно-сегментных импульсных последовательностей. Временной анализ ГП и ГИ определил основные свойства и характеристики формируемых ими процессов.

2. Выявлены типичные закономерности формирования корреляционных зависимостей для периодических процессов. Показана целесообразность оценивания математического ожидания, дисперсии, АКФ и ВКФ на минимальном периоде процессов, формируемых цифровыми генераторами в псевдослучайном режиме. Обоснованы характерные реперные значения ПАКФ и закономерности формирования остальных отсчетов* что допускает сокращение количества вычислений на выборке длиной в цикл в 2 раза, а для инверсно-сегментных импульсных последовательностей - в 4 раза.

3. Проведен анализ циклических свойств синхронных моделей генераторов, формирующих линейные рекуррентные последовательности однородного и неоднородного вида. Исследованы ГПСП с линейной обратной связью как генераторы Фибоначчи и Галуа. Для однородных и неоднородных ЛРП получено обобщенное выражение производящей функции, в которое входит константа а0 е {0,1}. Доказано, что множество циклов (т + 1)-го порядка при а0 = 0 состоит из объединения множеств циклов т-го порядка при а0= 0 и а0 = 1. Выделен класс ЛРП, который можно использовать для генерирования псевдослучайных последовательностей и как модельную основу случайных процессов. Определены структуры и исследованы свойства (М-1)- и (М-З)-последовательностей, особенностями которых являются равновероятное распределение двоичных символов и знакопеременные АКФ. В развитие теории ГПСП в форме генератора Галуа доказано, что на разных выходах регистра генератора могут формироваться различные ЛРП. Разработана методика идентификации формируемых последовательностей из анализа циклов, запрещенных для псевдослучайного режима.

4. Исследованы свойства элементов задержки двоичных сигналов в непрерывном времени в форме логических повторителей и инверторов как основных компонентов цифровых асинхронных генераторов. Определены величины нелинейных задержек для одного ЦЭ и для и-звенных цепочек. Получены аналитические соотношения для задержек логических уровней, значений временных порогов фильтрации коротких импульсов и сформулированы условия сохранения длительностей. Обоснована предпочтитель-

ность использования в АЭЗ инверторов. Разработан метод оценки разбросов средних задержек на основе применения условных вероятностных моментов к описанию группы однотипных элементов АЭЗ. Экспериментально оценены коэффициенты вариации задержки ЦЭ. Для нормальных условий эксплуатации они находятся в пределах: 5т3 = 10"4 - 3 • 10~3.

5. Теоретически и экспериментально исследованы структурные, вероятностные и корреляциионые свойства случайных процессов, формируемых асинхронными генераторами; определены условия автогенерации цифровых сигналов в непрерывном времени. Представлен ГАСП как подкласс автономных асинхронных автоматов. В случае несоизмеримых нефлуктуирующих задержек обосновано возникновение детерминированно-хаотического режима, структурные свойства и фрактальные размерности которого сопоставимы с треугольником Серпинского. Исследовано влияние флуктуирующих задержек в АЭЗ на возникновение стохастического режима ГАСП. Введено понятие вероятностного автомата асинхронного типа, на основе чего исследованы структурные и вероятностные свойства процессов на выходе марковской модели ГАСП. Для двух связанных элементарных КГ получены аналитические выражения вероятностных и корреляционных свойств формируемых случайных процессов. Найдены формализованные условия автогенерации цифровых сигналов в непрерывном времени. Разработаны программные и физические модели ГАСП для экспериментального исследования статистических и структурных характеристик процессов.

6. Описаны свойства датчиков случайных символов и особенности их применения в технических средствах защиты информации; датчики представлены автоматными моделями, на основе которых разработаны методы их синтеза. Исследованы вероятностные и автокорреляционные свойства аппаратно реализованных цифровых генераторов в форме ДСС, композиционно состоящие из ГАСП и УФ. Отмечены универсальные свойства идеального ДСС как элементарного вероятностного автомата. Адаптирован известный метод оценки степени непредсказуемости формируемых последовательностей применительно к ДСС и ГСП. Даны автоматные описания функционирования ДСС и предложены основные функциональные схемы датчиков. Разработаны методики настройки структуры ГАСП на максимально плотные базовые образующие многочлены (М-1)-последовательностей. Предложены принципы построения ГАСП и методы синтеза ДСС.

7. Практически разработан и внедрен ряд генераторов случайных и псев-

дослучайных последовательностей. Основным объектом внедрения являются полузаказные БИС ГСП Н1582ВЖ2-0105, 1537ХМ2У-135 и

1537ХМ2АУ-215, выпускаемые мелкосерийными партиями с 1992 г. (ОАО «Ангстрем», г. Зеленоград) для систем опознавания «свой-чужой». Погрешность работы БИС генераторов серии 1537ХМ по равновероятности и

некоррелированности не превышает величины 6 • 10"4 при быстродействии до 8 МГц. Представленные разработки характеризуются высокой технологичностью устройств как изделий за счет применения цифровой БИС и полного исключения аналоговых элементов. По сравнению с ранее используемым генератором в аппаратуре опознавания новые устройства имеют повышенные более чем на порядок точность и быстродействие.

ОСНОВНЫЕ ПУБЛИКАЦИИ ПО ТЕМЕ ДИССЕРТАЦИИ

Статьи, опубликованные в журналах, рекомендованных ВАК:

1. Дапин, О.И. Измеритель статистических характеристик бинарных случайных последовательностей / О.И. Дапин, Г.Л. Косов, В.М. Кузнецов, Р.М. Мансуров, Н.Н. Сергеев // Приборы и техника экспериментов. - 1982, №1.- С. 248-249.

2. Песошин, В.А. Генераторы случайных чисел на микропрограмми-руемых БИС / В.А. Песошин, М.И. Бурнашев, В.М. Кузнецов // Вопросы радиоэлектроники. Сер. ЭВТ, вып. 6,1991- С. 77-88.

3. Песошин, В.А. Цифровые генераторы случайных сигналов для защиты информационных средств телекоммуникаций / В.А. Песошин, В.М. Кузнецов, Н.Н. Сергеев // Вопросы радиоэлектроники. Сер. ЭВТ, вып. 4,1993.- С. 95-113.

4. Кузнецов, В.М. Теоретико-числовая модель цифрового генератора хаоса / В.М. Кузнецов // Вестник КГТУ им. А.Н. Туполева. Казань, 2001 №3.-С. 24-26.

5. Гришкин, А.С. Синхронная интерпретация работы генератора асинхронного случайного сигнала / А.С. Гришкин, В.М. Кузнецов, В.А. Песошин // Вестник КГТУ им. А.Н. Туполева. Казань, 2006, №3,- С. 19-21.

6. Кузнецов, В.М. Анализ нестационарности цифрового хаотического осциллятора / В.М. Кузнецов // Вестник КГТУ им. А.Н. Туполева. Казань, 2006, №3,- С. 47-50.

7. Кузнецов, В.М. Формирование случайных последовательностей на основе цифровых технологий / В.М. Кузнецов // Системы управления и информационные технологии. М.-Воронеж, 2007, №1.3. - С. 352-358.

8. Кузнецов, В.М. Оценка временных флуктуаций цифровых элеменг тов методом нестационарного возмущения / В.М. Кузнецов // Измерительная техника. - 2007, №12,- С. 39-43.

9. Кузнецов, В.М. Аналитические условия устойчивости процесса генерации телеграфного сигнала замкнутой линейной комбинационной схе-м°й / В.М. Кузнецов, В.А. Песошин // Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление. - 2008, ЖЗСбО"). -С. 48-52.

10. Кузнецов, В.М. Марковская модель цифрового стохастического генератора / В.М. Кузнецов, В.А. Песошин, Е.Л. Столов // Автоматика и телемеханика. - 2008, №9. - С. 62-68.

11. Кузнецов, В.М. Стабильные состояния асинхронного генератора / В.М. Кузнецов, В.А. Песошин, E.JI. Столов // Ученые записки. Серия физико-математические науки.— 2010, т. 152, кн.1. -174-180.

Монография:

12. Песошин, В.А. Генераторы псевдослучайных и случайных чисел на регистрах сдвига / В.А. Песошин, В.М. Кузнецов // Монография. Казань: Изд-во Казан, гос. техн. ун-та, 2007. - 296с.

Авторские свидетельства и патенты:

13. А.с. 688905 СССР. Генератор случайной последовательности / В.М. Кузнецов, В.А. Песошин И Опубл. 1979. Бюл. №36.

14. А.с. 752306 СССР. Датчик равновероятных двоичных символов / В.М. Кузнецов, В.А. Песошин // Опубл. 1980. Бюл. №28.

15. А.с. 752308 СССР. Генератор случайных двоичных символов / В.М. Кузнецов, В.А. Песошин // Опубл. 1980. Бюл. №28.

16. А.с. 796856 СССР. Устройство для статистического анализа датчика случайных символов / В.М. Кузнецов, P.M. Мансуров, О.И. Дапин, Г.Л. Косов, Н.Н. Сергеев, Н.П. Косова // Опубл. 1981. Бюл. №2.

17. А.с. 807332 СССР. Стохастический коррелометр / В.А. Песошин, В.М. Кузнецов, Н.Н. Сергеев, Г.Л. Косов // Опубл. 1981. Бюл. №7.

18. А.с. 842809 СССР. Датчик случайных чисел / Т.М. Живетина, В.М. Кузнецов, Н.Н. Сергеев // Опубл. 1981. Бюл. №24.

19. А.с. 951302 СССР. Датчик случайных чисел / Т.М. Живетина, В.М. Кузнецов, Н.Н. Сергеев // Опубл. 1982. Бюл. №30.

20. А.с. 962933 СССР. Генератор случайной последовательности / В.А. Песошин, В.Ф. Гусев, И.К. Галеев, О.И. Дапин, Г.Н. Иванов, В.М. Кузнецов, Г.И. Кренгель // Опубл. 1982. Бюл. №36.

21. А.с. 999144 СССР. Генератор случайных чисел / В.А. Песошин, О.И. Дапин, В.М. Кузнецов, В.Б. Матвеев, И.Х. Нуриев // Опубл. 1983. Бюл. №7.

22. А.с. 1010622 СССР. Генератор псевдослучайных чисел / В.А. Песошин, В.Ф. Гусев, И.К. Галеев, О.И. Дапин, В.М. Кузнецов, Г.И. Кренгель // Опубл. 1983. Бюл. №13.

23. А.с. 1012252 СССР. Устройство для формирования случайных и псевдослучайных чисел / В.А. Песошин, В.Ф. Гусев, И.К. Галеев, О.И. Дапин, Г.Н. Иванов, В.М. Кузнецов, Г.И. Кренгель // Опубл. 1983. Бюл. №14.

24. А.с. 1023637 СССР. Генератор импульсного напряжения / В.А. Песошин, В.М. Кузнецов, О.И. Дапин // Опубл. 1983. Бюл. №22.

25. А.с. 1040486 СССР. Генератор случайной последовательности / В.А. Песошин, В.М. Кузнецов, О.И. Дапин // Опубл. 1983. Бюл. №33.

26. А.с. 1157671 СССР. Устройство задержки импульсов / В.М. Кузнецов, Ф.И. Серазетдинова, Н.Н. Носкова // Опубл. 1985. Бюл. №19.

27. А.с. 1185582 СССР. Генератор псевдослучайных чисел / В.А. Песошин, В.М. Кузнецов, О.И. Дапин, Н.Н. Сергеев, С.Г. Гришкин // Опубл. 1985. Бюл. №38.

28. А.с. 1249512 СССР. Генератор случайной последовательности / В.А. Песошин, В.Ф. Гусев, И.К. Галеев, О.И. Дапин, Г.Н Иванов, В.М. Кузнецов, Г.И Кренгель // Опубл. 1986. Бюл. №29.

29. А.с. 1275434 СССР. Генератор случайной последовательности / В-А. Песошин, В.М. Кузнецов, Н.Н. Сергеев, О.И. Дапин, И.К. Галеев, Г.Н. Иванов, В.Л. Сафонов // Опубл. 1986. Бюл. №45.

30. A.c. 1280618 СССР. Генератор случайных чисел / В.А. Песошин, В.Ф. Гусев, И.К. Галеев, О.И Дапин, Г.И Кренгель, В.М. Кузнецов // Опубл. 1986. Бюл. №48,

31. PATENTSCHRIFT 230371 DDR. Zufallsfolgengenerator / V.A. Peso-shin, V.M. Kuznecov, O.I. Dapin (SU) // ISM, 1986, HI, I, №7.

32. PATENTSCHRIFT 230658 DDR. Zufallsfolgengenerator / V.A. Pe-soshin, V.F. Gusev, I.K. Galeev, O.I. Dapin, G.N. Ivanov, V.M. Kuznecov, G.I. Krengel (SU) //ISM, 1986, III, I, №7.

33. AUTORSKE OSVEDCENI 245047 CSR. Generator nahodne posloup-nosti / V.A. Pesosin, V.M. Kuznecov, O.I. Dapin (SU) // ISM, 1987, №10.

34. AUTORSKE OSVEDCENI 245279 CSR. Generator nahodne posloup-

nosti / V.A. Pesosin, V.F. Gusev, I.K. Galeev, O.I. Dapin, G.N. Ivanov,

V.M. Kuznecov, G.I. Krengel (SU) // ISM, 1987, №10.

35. A.c. 1302274 СССР. Устройство для контроля генератора случайных чисел / Н.Н. Сергеев, О.И. Дапин, В.И. Глова, В.М. Кузнецов, В.В. Моисеев, В.А. Песошин, Е.К. Шаронова // Опубл. 1987. Бюл. №13.

36. А.с. 1328841 СССР. Генератор звукового сигнала / В.М. Кузнецов, В.А. Песошин, С.Н. Осипов // Опубл. 1987. Бюл. №29.

37. А.с. 42810 НРБ. Генератор на случайна последователност /

В-A. Песошин, В.М. Кузнецов, О.И. Дапин (SU)// Опубл. 1988. Бюл. №2.

38. А.с. 1413706 СССР. Генератор случайной последовательности / В.И. Глова, О.И. Дапин, В.М. Кузнецов, В.А. Песошин, Л.С. Ермолаева,

A.У. Ярмухаметов // Опубл. 1988. Бюл. №28.

39. PATENTSCHRIFT 261727 DDR. Zufallszahlengenerator / V.A. Pe-

soshin, V.F. Gusev, I.K. Galeev, O.I. Dapin, G.I. Krengel, V.M. Kuznecov (SU) //ISM, 1988, III, I, №7. ^

40. AUTORSKE OSVEDCENI 263471 CSR. Generator nahodych ci'sel / V.A. Pesosin, V.F. Gusev, I.K. Galeev, O.I. Dapin, V.M. Kuznecov, G.I. Krengel (SU) // ISM, 1989, №10.

41. A.c. 1817094 СССР. Генератор случайных чисел / М.И Бурнашев,

B.М. Кузнецов, В.А. Песошин // Опубл. 1993. Бюл. №19. ’

Статьи:

42. Песошин, В.А. Генераторы псевдослучайных двоичных последовательностей / В.А. Песошин, В.М. Кузнецов // Вычислительные и управ-ляклцие системы летательных аппаратов: Межвуз. сб. - Казань: КАИ,

43. Живетина, Т.М. Повышение быстродействия генераторов случайных чисел на основе стохастического стробирования / Т.М. Живетина,

В.М. Кузнецов, Н.Н. Сергеев // Вычислительные и управляющие системы летательных аппаратов: Межвуз. сб. - Казань: КАИ, 1983,- С. 47-50.

44. Песошин, В.А. Комбинированный генератор случайных чисел / В.А. Песошин, P.M. Мансуров, В.М. Кузнецов // Сб. «Вероятностные методы и кибернетика». - Казань: КГУ, 1983, вып. 19.- С. 88-99.

45. Кузнецов, В.М. Аппаратная реализация вероятностных автоматов, работающих в непрерывном времени / В.М. Кузнецов // Сб. «Вероятностные автоматы и их приложения». - Казань: КГУ, 1986.- С. 172-175.

46. Кузнецов, В.М. Условие возбуждения генератора асинхронного процесса / В.М. Кузнецов, Н.Н. Сергеев // Межвуз. сб. «Методы и средства статистического моделирования». - Казань: КАИ, 1987,-С. 17-19.

47. Глова, В.И. Имитационная модель генератора случайного процесса / В.И. Глова, В.М. Кузнецов, З.Т. Яхина // Межвуз. сб. «Методы и средства статистического моделирования». - Казань: КАИ, 1987.- С. 71-75.

48. Кузнецов, В.М. Цифровые стохастические осцилляторы и их применение / В.М. Кузнецов // Эволюционное моделирование. Труды Казанского городского семинара «Методы моделирования». Под ред. В.А. Рай-хлина. Вып.2 - Казань: Изд-во «Фэн» («Наука»), 2004.- С. 228-247.

49. Гришкин, А.С. Экспериментальные исследования декоррелирующих и выравнивающих свойств комбинированного генератора случайных чисел / А.С. Гришкин, В.М. Кузнецов // Социально-экономические и технические системы: онлайновый электронный научно-технический журнал.

- 2006, №3. (http // kampi.ru/sets).

Материалы конференций и тезисы докладов:

50. Кузнецов, В.М. Простейшие микроэлектронные преобразователи «напряжение-вероятность (ПНВ)» / В.М. Кузнецов, В.А. Песошин // Тез. докладов IV Всесоюзн. симпозиума «Проблемы создания преобразователей формы информации», Киев: Наукова Думка, 1980.- С. 158-160.

51. Песошин, В.А. Псевдослучайные последовательности, порождаемые регистром сдвига с внутренними сумматорами по модулю два /

B.А. Песошин, В.М. Кузнецов, А.В. Сафонов // Сб. трудов Междунар. науч.-практ. конф. «Инфокоммуникационные технологии глобального информационного общества», Казань, 2003г.- М.: Новые технологии, 2004. -

C. 313-316.

52. Бахарев, А.Н. Оценка предсказуемости поведения генератора случайных последовательностей / А.Н. Бахарев, В.М. Кузнецов, В.А. Песошин // Тез. докладов 2-ой Междунар. науч.-практ. конф. «Инфокоммуникационные технологии глобального информационного общества», Казань: КГТУ, 2004.-С. 35-39.

53. Песошин, В.А. Генераторы псевдослучайных последовательностей на регистрах сдвига с использованием инверсных выходов./ В.А. Песошин, В.М. Кузнецов, А.С. Гришкин // Сб. докладов 2-ой Междунар. науч.-практ. конф. «Инфокоммуникационные технологии глобального информационного общества». - М.: Новые технологии, 2004. - С. 480-491.

54. Гришкин, А.С.. Рекуррентные последовательности не максимальной длины на основе регистров сдвига / А.С. Гришкин, В.А. Песошин, В.М. Кузнецов // Сб. докладов 2-ой Междунар. науч.-практ. конф. «Инфо-коммуникационные технологии глобального информационного общества».

- М.: Новые технологии, 2004. - С. 475-476.

55. Бахарев, А.Н. Генератор случайных чисел на базовом матричном кристалле / А.Н. Бахарев, А.С. Гришкин, Д.В. Каштанов, В.М. Кузнецов, В.А. Песошин // Тез. докладов 3-ей Междунар. науч.-практ. конф. «Инфо-коммуникационные технологии глобального информационного общества», Казань: Изд-во КГУ, 2005. - С. 33-35.

56. Бахарев, А.Н. Цифровые генераторы случайных чисел на программируемых микросхемах и базовых матричных кристаллах / А.Н. Бахарев,

A.С. Гришкин, Д.В. Каштанов, В.М. Кузнецов, В.А. Песошин // Сб. трудов 3-ей Междунар. науч.-практ. конф. «Инфокоммуникационные технологии глобального информационного общества», Казань, 2005г.- Казань: КГУ им. В.И. Ульянова-Ленина, 2006. -С. 343-349.

57. Кузнецов, В.М. Предсказуемость шифроключа. Две позиции аналитика / В.М. Кузнецов, М.И. Шамсетдинов // Науч. -практ. конф. по актуальным вопросам информатики, вычислительной техники и информационной безопасности: материалы конф.- Казань: Изд-во Казан.гос.техн.ун-та, 2006. - С. 56-58.

58. Кузнецов, В.М. Двоичная псевдослучайная последовательность с длиной цикла 2” — 2 / В.М. Кузнецов, В.А. Песошин, М.И. Шамсетдинов // Сб. трудов Междунар. науч.-техн.конф. «Информационные и телекоммуникационные системы и технологии», Санкт-Петербург: Изд-во Политех, ун-та, 2007.-С. 319-331.

59. Кузнецов, В.М. Метод условных вероятностей в экспериментальной оценке хаотичности генераторов дискретных случайных сигналов /

B.М. Кузнецов, В.А. Песошин, М.И. Шамсетдинов // Сб. трудов Междунар. конф. «Физика и технические приложения волновых процессов», Казань: Изд-во Казан.гос.техн.ун-та, 2007. - С. 367-368.

60. Кузнецов, В.М. Фрактальное описание цифрового стохастического осциллятора на временных задержках / В.М. Кузнецов // Сб. трудов Междунар. конф. «Физика и технические приложения волновых процессов», Казань: Изд-во Казан.гос.техн.ун-та, 2007. - С. 363-365.

61. Кузнецов, В.М. Выбор структуры цифрового генератора случайного сигнала хаотического типа / В.М. Кузнецов // Тез. докладов 9-ой Междунар. конф. «Проблемы техники и технологий телекоммуникаций», Казань: Изд-во Казан.гос.техн.ун-та, 2008. - С. 437-438.

Формат 60x84 1/16. Бумага офсетная. Печать офсетная.

Печ. л. 2,25. Уел. печ. л. 2,09. Уч. изд. л. 1,71.

_________________________ Тираж 100. Заказ 0175. _______________

Типография Казанского государственного технического университета. 420111, Казань, К. Маркса, 10

Оглавление автор диссертации — доктора технических наук Кузнецов, Валерий Михайлович

СПИСОК СОКРАЩЕНИЙ.

СПИСОК ОСНОВНЫХ УСЛОВНЫХ ОБОЗНАЧЕНИЙ.

ВВЕДЕНИЕ.

1. КОЛЬЦЕВЫЕ ГЕНЕРАТОРЫ.

1.1. Частотный подход к анализу кольцевых генераторов.

1.2. Временной анализ моделей кольцевых генераторов.

1.2.1. Анализ генератора-повторителя.

1.2.2. Анализ генератора-инвертора.

1.2.3. Сравнительный анализ кольцевых генераторов.

Выводы по главе

2. ОЦЕНКА СТАТИСТИЧЕСКИХ ХАРАКТЕРИСТИК СИГНАЛОВ ВО ВРЕМЕННОЙ ОБЛАСТИ.

2.1. Общие замечания о статистическом анализе случайных и периодических процессов.

2.2. Условия баланса значений периодических корреляционных функций.

2.3. Особые значения периодических корреляционных функций

2.3.1. Особенности АКФ периодических последовательностей.

2.3.2. Особенности АКФ инверсно-сегментных последовательностей.

2.3.3. Особенности ВКФ периодических последовательностей.

Выводы по главе 2.

3. ГЕНЕРАТОРЫ ПСЕВДОСЛУЧАЙНЫХ ПОСЛЕДОВАТЕЛЬНОСТЕЙ.

3.1. Типичные построения ГПСП и их алгебраическое описание.

3.2. Циклические свойства ЛПМ с учетом действия констант.

3.2.1. Анализ циклических свойств посредством производящей функции.

3.2.2. Анализ циклических свойств посредством характеристического многочлена для случая однородных ЛРП.

3.2.3. Анализ циклических свойств для случая неоднородных ЛРП.

3.3. Генератор Фибоначчи.

Свойства псевдослучайных последовательностей.

3.3.1. М-последовательность.

3.3.2. (М-^-последовательность.

3.3.3. (М-3^последовательность.

3.4. Генератор Галуа.

Последовательности состояний ГПСП.

3.4.1. Характеристический многочлен неприводим и примитивен

3.4.2. Характеристический многочлен \|/(jc) = (l © х)ц/'(л;)

3.4.3. Характеристический многочлен \|/(дс) = (l ® х)2 \}/"(х)

3.4.4. Особенности решения системы линейных уравнений в классе переключательных функций.

Выводы по главе 3.

4. АСИНХРОННЫЕ ЭЛЕМЕНТЫ ЗАДЕРЖКИ

ЦИФРОВЫХ ГЕНЕРАТОРОВ.

4.1. Задержки элементов асинхронных цифровых устройств.

4.1.1. Чистая задержка.

4.1.2. Модель элемента инерциальной задержки.

4.1.3. Передаточно-временные характеристики моделей инерциальной задержки.

4.2. Стохастические свойства временных задержек.

4.2.1. Вероятностные характеристики задержек групп элементов.

4.2.2. Экспериментальные оценки средних задержек.

4.2.3. Методы фазового сканирования для оценки величин временных флуктуаций.

4.2.4. Оценка величин временных флуктуаций элементов БИС методом тепловой нестационарности.

Выводы по главе 4.

5. ГЕНЕРАТОРЫ АСИНХРОННЫХ

СЛУЧАЙНЫХ ПРОЦЕССОВ.

5.1. Типичные структуры автоматных моделей ГАСП.

5.2. Значения задержек соизмеримы, временных флуктуаций нет.

5.3. Значения задержек несоизмеримы, временных флуктуаций нет.

5.3.1. Двумерная модель.

5.3.2. Фрактальная размерность алгоритма двумерной модели.

5.3.3. Многомерные модели.

5.4. Влияние фильтрующих свойств АЭЗ.

5.5. Значения задержек соизмеримы, временные флуктуации присутствуют.

5.6. Значения задержек несоизмеримы, временные флуктуации присутствуют.

5.6.1. Вероятностный автомат асинхронного типа.

5.6.2. Марковская модель ГАСП.

5.7. Условия генерации процесса.

5.7.1. Отсутствие устойчивых состояний как условие генерации.

5.7.2. Полностью и частично неустойчивые состояния.

5.7.3. Блочная организация ГАСП.

5.8. Анализ стохастических свойств элементарного цифрового генератора. Когерентный случай.

5.8.1. Вероятностные свойства.

5.8.2. Автокорреляционные свойства.

5.8.3. Вероятностные свойства генераторов-инверторов.

5.9. Краткие замечания о некогерентной фиксации сигнала элементарного цифрового генератора.

5.10. Программное моделирование ГАСП.

5.10.1. Влияние уровня временных флуктуаций на периодические свойства ГАСП.

5.10.2. Влияние фильтрующих свойств элементов на автокорреляционную функцию.

5.10.3. Исследование вероятностных свойств.

5.11. Физическое моделирование ГАСП.

5.11.1. Исследование временного представления процессов, формируемых ГАСП.

5.11.2. Эффекты синхронизации и самосинхронизации.

5.11.3. Влияние базовых настроек структуры моделей 247 на устойчивость формирования асинхронного процесса.

5.11.4. Исследование статистических характеристик ГАСП.

Выводы по главе 5.

6. ОСНОВЫ ПОСТРОЕНИЯ ГЕНЕРАТОРОВ СЛУЧАЙНЫХ ПОСЛЕДОВАТЕЛЬНОСТЕЙ

НА ЦИФРОВЫХ ЭЛЕМЕНТАХ ЗАДЕРЖКИ.

6.1. Композиционное построение и свойства датчика случайных символов.

6.1.1. ДСС как элементарный вероятностный автомат.

6.1.2. Структурная схема.

6.1.3. Вероятностные и корреляционные свойства.

6.1.4. Свойство непредсказуемости.

6.2. Синтез цепи обратной связи ГАСП.

6.2.1. Схемотехническое представление ГАСП.

6.2.2. Формирование контуров обратной связи на основе свойств базовых образующих многочленов.

6.2.3. Максимизация плотности базовых образующих многочленов

6.2.4. Методики настройки структуры ГАСП на максимально плотные базовые многочлены.

6.3. Синтез ДСС.

6.3.1. Цепи фиксации и съема символов.

6.3.2. Эвристический синтез.

6.3.3. Основы формального синтеза.

6.3.4. Методика синтеза.

6.4. Практические разработки генераторов.

6.4.1. Датчики случайных символов на микросхемах малой степени интеграции.

6.4.2. Генераторы случайных и псевдослучайных чисел на микросхемах большой степени интеграции.

6.5. Нетипичные примеры реализации генераторов.

Выводы по главе 6.

Введение 2012 год, диссертация по информатике, вычислительной технике и управлению, Кузнецов, Валерий Михайлович

Во всех отраслях науки и техники исследователи сталкиваются с процессами и объектами сложной структуры. Нередко понятие «сложность» предполагает невозможность эффективно применять классические аналитические методы [1]. Ряд традиционных экспериментальных приемов решения также может не дать удовлетворительных результатов. Тогда постановка исследовательского эксперимента на основе имитационных моделей становится единственно реальной, ведущей к получению достаточно точных решений. Однако «имитация - всегда некий выборочный эксперимент, как только модель содержит одну или несколько случайных величин .» [2]. Для организации такого рода исследований необходимо формирование случайных величин, например, в форме временных последовательностей.

Аналогичные особенности присущи и для выполнения вычислений методом Монте-Карло (методом статистических испытаний), оптимизационных процедур методом случайного поиска, проведения реальных и модельных испытаний изделий объектов техники на надежность, реализации вероятностного тестирования и сигнатурного контроля, проведения специфичных измерений физических величин и т.п. [3-22]. В последние три десятилетия особую актуальность приобрело использование случайных парольно-ключевых последовательностей в задачах защиты информации в ЭВМ, телекоммуникационных и сетевых средствах, в частности, аппаратуре опознавания [23-34] .

Задача получения случайных чисел для ЭВМ может быть решена различными способами. Традиционно закрепились два подхода. Первый состоит в том, что в качестве основы случайных последовательностей используют некий реальный физический процесс, обладающий определенными свойствами и преобразованный в форму, пригодную для согласования с аппаратно-программными частями модели, в конечном итоге - с ЭВМ. Второй подход ориентирован на специальные математические преобразования, чаще всего в рекуррентной форме, позволяющие получить детерминированные числовые последовательности с характеристиками, близкими к действительно случайным процессам. Эти последовательности принято называть псевдослучайными. Отметим, что наибольшее значение для практики имеют числовые последовательности с равномерным (равновероятным) законом распределения, чему и уделено основное внимание в работе.

Известны многочисленные публикации, посвященные вопросам построения и анализа устройств формирования дискретных случайных сигналов, в частности генераторов случайных последовательностей (ГСП), основанных на использовании сложных физических явлений. Среди отечественных авторов следует отметить М.П. Бобнева, который впервые обобщил опыт применения генераторов случайных сигналов (1966 и 1971 г.г.). Заметный вклад в становление теории и практики применения физических ГСП внес A.M. Морозов. За последние 50 лет интерес к этой теме не снижается как у нас в стране, так и за рубежом.

Традиционные методы построения ГСП [3, 35-37] основаны на использовании таких источников шума, как резистор (тепловой шум), вакуумный диод (дробовой шум), полупроводниковый диод в режиме обратного смещения (шум электрического пробоя), газоразрядные (стабилитроны, тиратроны), радиоактивные, фотоэлектронные и др. При этом схемы генераторов должны содержать линейные усилители, фильтры, компараторы и прочие нецифровые компоненты и блоки.

В современной литературе, в том числе и в Интернет-ресурсах, также появляются сообщения о новых перспективных принципах построения ГСП. Например, авторы А. Стефанов (A. Stefanov) и др. (Швейцария, 1999 г.) утверждают об эффективности применения квантово-оптических процессов. Корпорация Toshiba объявила о генераторе, использующем специальные транзисторы на основе нитрида кремния с выраженными стохастическими свойствами. В работе [38, 39] описывается формирование двоичных случайных сигналов на основе параметрических генераторов.

Очевидно, что основным практическим недостатком является схемотехническая уникальность известных аппаратных решений, вынуждающая применение специфических компонентов схем и нетипичных приемов синтеза и построения устройств. Все это обуславливает низкую технологичность процессов разработки и изготовления ГСП как изделий, затрудняющую применение стандартных технологий цифровых микросхем.

В части анализа генераторов псевдослучайных последовательностей (ГПСП) известны фундаментальные работы отечественных ученых -А.И. Алексеева, JI.E. Варакина, В.Е. Гантмахера, Б.И. Глазова, В.И. Доценко, Н.Г. Дядюнова, Р.Х. Латыпова, А.И. Сенина, Г.И. Тузова, Р.Г. Фараджева, А.Г. Шереметьева, а также зарубежных - А. Гилла (А. Gill), C.B. Голомба (S.W. Golomb), Г. Нидеррайтера (H. Niderreiter), Р. Таусворта (R.C. Taus-worthe), А. Хаффмена (D.A Huffman), H. Цирлера (N. Zierler) и Б. Элспаса (В. Eispas). Теоретические и прикладные аспекты формирования и использования псевдослучайных последовательностей в современной области крипто-защиты представлены в ряде современных изданий, например, авторов М.А. Иванова, С.А Осмоловского, Б. Шнайера (В. Schneier) и др.

В табл. В1 кратко перечислены основные достоинства и недостатки использования случайных и псевдослучайных последовательностей. Предполагается, что эти сигналы тактированы по времени и дискретизированы по величине (процессы типа «дискретная ордината-дискретное время»), что является наиболее удобной формой представления случайности в ЭВМ.

В зависимости от конкретной области использования или формулировки исследовательской задачи достоинства одного вида последовательностей по значимости могут преобладать над ее недостатками, что можно интерпретировать как обоснование выбора именно этого вида. Следовательно, предполагая широкий спектр конкретного применения в различных областях науки и техники, реальную ценность имеют и случайные, и псевдослучайные числовые последовательности. Тем не менее, исторически сложилось так, что ГПСП получили значительно большее распространение.

Необходимо различать два вида физической реализации ГПСП. Это либо специальный электронный блок (устройство), сопряженный с ЭВМ, либо программный датчик псевдослучайных чисел в форме алгоритмической реализации в какой-либо языковой среде.

Таблица В1

Особенности применения случайных и псевдослучайных последовательностей

Случайные Псевдослучайные

А. Непредсказуемость: невозмож- А. Гарантированная и сколь угодно выность экстраполяции, интерполяции и вос- сокая точность формирования основных статистановление предыстории. стических характеристик.

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

О ляемого вероятностными моментами и мо- для подтверждения полученного результата. и ментными функциями сколь угодно высо- Г. Возможность традиционного схемон кого порядка. технического построения устройств формирос Г. Отсутствие взаимоподобия (изо- вания последовательностей и их сопряжение с т морфизма) структур последовательностей и ЭВМ. в структур моделируемых объектов. Д. Возможность полной функциональа ной замены специальных устройств формирования последовательностей программными реализациями на ЭВМ.

А. Ограниченная точность форми- А. Полная предсказуемость: возможрования основных статистических характе- ность экстраполяции, интерполяции и восстаристик. новление предыстории.

Б. Подверженность влиянию деста- Б. Периодичность: наличие основного билизирующих факторов на точность и ста- периода цикла при статистически ненаблю

Н ционарность работы. даемых периодах малых циклов. е В. Невозможность повторного (мно- В. Детерминизм, потенциально выявд гократного) формирования последователь- ляемый вероятностными моментами и моо ности для подтверждения полученного ре- ментными функциями высокого конечного с зультата. порядка. т Г. Специальные, иногда уникальные Г. Возможность наличия неконтролиа методы схемотехнического построения уст- руемых свойств взаимоподобия (изоморфизма) т ройств формирования последовательностей структур последовательностей и структур мок и их сопряжения с ЭВМ. делируемых объектов. и Д. Невозможность полной функцио- нальной замены специальных устройств формирования последовательностей про- граммными реализациями на ЭВМ.

Несколько особое положение занимает табличный генератор в форме одностороннего запоминающего устройства (ПЗУ, мобильного блока флэш-памяти, компакт-диска) или специального файла в области стандартных ресурсов ЭВМ.

Алгоритмически ГПСП - это чаще всего рекуррентная процедура вида: д(г)= р\а{} -1), а(г - 2),., а{г - т)], где а(г), а(г -1), а (г - 2),., а(г - га) - последний фрагмент формируемой последовательности; / - тактовое время; Г - функция или совокупность операций над предысторией <з(/-1), а(г-2),., <я(/ - т), чтобы получить новое значение а(г); т - натуральное число, выражающее длину предыстории.

Большинство известных алгоритмов подразумевают достаточно сложную в вычислительном отношении функцию К Поэтому предполагается только программная форма. Однако имеется ряд рекуррентных алгоритмов, которые эффективно реализуются аппаратно в форме специального электронного цифрового блока или внутреннего функционального узла микропроцессора [40, 41]. Причем быстродействие таких аппаратных ГПСП обычно значительно выше, чем программных датчиков (с тем же алгоритмом), что выделяет его как предпочтительное решение для сопряжения с высокопроизводительными информационно-вычислительными системами.

Эффективным для аппаратной реализации алгоритмом формирования последовательности псевдослучайных двоичных символов а(г) является следующее рекуррентное выражение: т-1 а(0 = (В.1) 1 где т - максимальное значение временного сдвига (в тактах); коэффициенты С(е{0,1} задаются специальным образом; суммирование производится по модулю два. Аппаратное построение такого генератора предполагает использование регистра сдвига (как блока цифровых элементов задержки) и сумматоров по модулю два [42-65]. Простота практической реализации и предельное для синхронных устройств быстродействие сочетается с высоким качеством статистических характеристик. Несмотря на то, что сумма по модулю два является нелинейной функцией действительных переменных, в случае представления в классе переключательных функций она относится к линейной. Поэтому в литературе закрепилось название таких ГПСП как «регистр сдвига с линейной обратной связью». В зарубежных публикациях они обозначены аббревиатурой «LFSR» (Linear Feedback Shift Register). Наиболее предпочтительный режим работы регистра организуется за счет специального подключения к его разрядам цепи линейной обратной связи (ДОС), обеспечиваемого коэффициентами С, в формуле (В.1). В этом случае формируется так называемая последовательность максимальной длины или М-последовательность.

Характерной особенностью любого ГПСП является периодичность его работы. В случае автоматного представления устройства значение временного цикла Т имеет порядок 2т, где т - число элементов однотактной задержки (триггеров, ячеек памяти). Чтобы значительно снизить влияние недостатков ГПСП, а некоторые полностью убрать (см. табл. В.1: недостатки псевдослучайных последовательностей соответственно Б и В) для реального времени работы Т, целесообразно обеспечить выполнение соотношения Т «Тц .

Так, например, при га = 56 (что требует на сегодня относительно малых затрат ресурсов современных аппаратных средств БИС, включая микропроцессоров) и частоте тактовых импульсов Fm = 3 ГГц (как внутренней частоте современных микропроцессоров) получаем: Тц «250 суток непрерывной (!) работы. Такая величина цикла обеспечивает, наряду с высокими точностными показателями, практически любое реальное время имитационного моделирования или сеанса информационной связи в защищенном режиме.

Одним из первых исследователей свойств регистра сдвига с ДОС является Д.А. Хаффмен [60]. На протяжении более 50 лет этот объект тщательно анализируется в многочисленных статьях и монографиях как у нас в стране, так и за рубежом. Тем не менее, остается ряд нерешенных вопросов фундаментального плана и, что особенно важно, актуальных для практического использования. Поэтому часть материала диссертации посвящено обобщению ранее выявленных свойств ГПСП и описанию новых результатов, придающим этому объекту дополнительные полезные свойства.

Замена га-разрядного регистра сдвига ГПСП на п цифровых элементов асинхронной (не тактируемой) задержки позволяет ввести интерпретацию алгоритма (В.1) в форме где, в отличие от первоначального вида, ? и т . непрерывные значения соответственно реального времени формирования и временного сдвига у'-ым элементом асинхронной задержки.

Устранение единой меры соизмерения временных задержек приводит к преобразованию алгоритма (В.1) в форму (В.2), обладающей существенной чувствительностью к временным флуктуациям непрерывных задержек т.

Эти флуктуации порождаются сложными физическими явлениями стохастического характера и являются неотъемлемыми свойствами любого электронного компонента, в том числе и цифрового элемента. При указанных условиях выражение (В.2), как математическая модель, описывает процедуру формирования случайного двоичного процесса асинхронного типа. Таким образом, известный алгоритм псевдослучайности (В.1) превращается в аналитическую основу (В.2) аппаратного принципа формирования действительно случайных процессов, причем с использованием цифровой элементной базы. Этот принцип в схемотехническом виде как новое техническое решение был защищен автором диссертации в ряде изобретений с наиболее ранним приоритетом от 1979 г. [66]. Использование некоторых изобретений привело к инженерным разработкам ГСП, внедренных в реальные проекты.

Аналогичная техническая идея, спустя 25 лет, была описана в статье И.Ж. Голича (ГЦ). воПс, Италия) [67]. Однако достаточно полных теоретических исследований такого рода устройств предложено не было. Несмотря на простое схемотехническое решение генераторов такого типа и лаконичность математического представления, возникает ряд трудностей практического

В.2) характера, разрешение которых требует обобщенного описания. Для такого описания в диссертации предлагаются модельные представления цифровых осциллирующих структур синхронного и асинхронного типов, основанных на задержках цифровых элементов как в дискретной, так и непрерывной временной области. Выделим ряд известных наработок по теме, развитие которых наиболее плодотворно в разрешении обозначенных трудностей.

Для формирования процесса, временные параметры которого в существенной степени определяются асинхронными задержками цифровых элементов, целесообразно по-новому оценить известные методы построения ГСП на основе совпадения импульсов двух и более последовательностей с нестабильными частотами [68-76]. Перспективна также идея использования де-терминированно-хаотического поведения моделей ГСП и ГПСП [77-80], выделяя при этом варианты, в которых основной аргумент - это непрерывно-временная задержка дискретных сигналов.

В плане использования схемотехники и технологии БИС целесообразно выделить два направления, активно развиваемых в публикациях последних лет по ГСП. Первое направление использует естественные флуктуационные свойства процессов, формируемых блоками синхронизации на основе автоподстройки задержки (системы DLL - Delay Lock Loop) или фазы (системы PLL - Phase Lock Loop) [81, 82]. Однако аналоговый характер построения этих специфичных блоков в цифровых БИС существенно ограничивает перспективность этого направления. Особенность второго подхода выражается в применении цифровых линий задержки, формирующих так называемые «физически неповторимые функции» (Physical Unclonable Functions) [83]. При этом стохастичность результирующего сигнала обеспечивается свойством метастабильности триггерного устройства фиксации, что характеризуется заметной нестационарностью и существенной зависимостью от внешних возмущающих факторов. Поэтому, несмотря на полную цифровую реализацию устройства, целесообразность дальнейшего его развития в целом сомнительна, но факт использования цифровых элементов задержки заслуживает внимания.

На рис. В.1 изображена классификация моделей генераторов на основе задержек в виде абстрактных (математических) объектов и в форме структурных (схемотехнических) реализаций как электронных устройств (выделенных серым фоном). Показаны также типичные направления теоретического исследования и практического построения цифровых генераторов.

Синхронные объекты включают в себя алгоритмические и схемотехнические представления счетчиковых структур, формирующих как простые периодические импульсные процессы, так и сложно-периодические, в частности псевдослучайные в тактовом времени. Примерами таких технических объектов являются классические двоичные счетчики, кольцевые регистры и полиномиальные счетчики (типа Ы^Я).

Асинхронные описания в технической форме представлены цифровыми автоколебательными структурами, формирующими либо простые периодические импульсные процессы, либо детерминированно-хаотические и почти периодические с непрерывным временным аргументом. Причем в качестве первых объектов могут быть так называемые «кольцевые генераторы», допускающие достаточно широкое техническое представление [84, 85]. В отношении второй группы асинхронных автоколебательных систем существует только модельное представление в форме абстрактных математических описаний. Практическая реализация генераторов детерминированно-хаотических и почти периодических сигналов принципиально невозможна.

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

Ч С

И < к я ы о о У я 2 н я о. о и я ы о <и сг я

И я я 2 V > л»' Я' ,о, я 'к .3 я

Я - к » §

Л 1-й

М.4*

Модели цифровых генераторов на элементах задержки

Асинхронные цифровые

Асинхронные цифровые периодические Цифровые хаотические

Синхронные цифровые

Цифровые сложно-периодические Синхронные цифровые периодические

Цифровые стохастические

Генераторы- ? ^^ импульсов/ 'Г

Г' г », ^

I хаотических I и почти-| периодических I процессов

1 енсраторыл - .случайных? , процессов';"

Генераторы -1 псевдо-случайных процессов,;

Счетчиковыс';' устройства Дагч и к и с л у ч а йн ы хс и ми ол о в, генераторы случайных чисел К 3

X А

4 и ч о 2 к

X ь И га & о ю < ро ы н И Й и к> о

Рис.

В.1. Классификация цифровых генераторов на элементах задержки, характерные направления их анализа и синтеза мента переводит алгоритм формирования апериодического детерминированного хаоса в процедуру генерации периодической последовательности, в частности псевдослучайного процесса. И наоборот, бесконечное дробление временного интервала дискретизации в алгоритме формирования сложно-периодических процессов ведет к возникновению хаотического сценария, что означает переход от генерации, например, периодической псевдослучайной последовательности к апериодическому детерминированному хаосу.

Наличие физических флуктуаций задержек элементов генераторов приводит к необходимости введения стохастических моделей. В этих случаях асинхронный хаотический режим, сохраняя апериодический характер, частично или полностью теряет детерминированную основу. Псевдослучайный (сложно-периодический) режим синхронной модели за счет случайных временных соотношений своих параметров лишается не только периодичности, но и детерминированности. В обоих случаях уместно представление стохастических объектов физическими моделями и устройствами формирования случайных процессов, в частности ГСП. Приведенная система абстрактных представлений и технических реализаций генераторов позволяет систематизировать как вопросы анализа поведения стохастических объектов, так и задачи синтеза устройств формирования случайных сигналов.

Заслуживает особого внимания методы совместного использования ГСП и ГПСП в так называемых комбинированных ГСП (КГСП). Существенный вклад в разработку таких генераторов внесли Я. Гавел (J. Havel), В.И. Глова, Г.В. Добрис, В.М. Захаров, Б.Ф. Кирьянов, P.M. Мансуров, В.А. Песошин, E.JI. Столов, Р.Ф. Федоров, Г.П. Хамитов, В.В. Яковлев, В.Н. Ярмолик. Методы комбинирования сложных физических явлений и математических алгоритмов в процессах формирования случайных чисел являются наиболее плодотворными в деле создания высокотехнологичных изделий. Это направление было использовано в данной работе, что, во-первых, способствовало тематическому объединению вопросов построения и анализа ГСП и ГПСП. Во-вторых, идея описания комбинированных структур автоматными представлениями синхронных и асинхронных генераторов привела к техническим решениям, вполне адаптированных к технологиям цифровых интегральных схем, включая БИС.

Несмотря на наличие многочисленных работ по техническим средствам формирования физически случайных процессов, значимых теоретических результатов, ориентированных на цифровую реализацию, получено не было. Не освещены, в частности, с единых методологических позиций общие свойства генераторов на цифровых элементах задержки, работающих в дискретном и непрерывном времени, формирующих структурно-сложные периодические и случайные сигналы. Все это затрудняет получение эффективных инженерных решений, допускающих применение современных технологий цифровых микросхем, включая БИС, в проектах создания стохастических систем. Таким образом, элементы теории цифровых генераторов и методы их инженерных приложений в задачах построения физических устройств формирования случайных и псевдослучайных процессов на цифровой элементной базе является вкладом в решение научно-технической проблемы, актуальной для областей статистического моделирования и защиты информации.

Объектом исследования в данной работе являются элементы и устройства формирования цифровых случайных и псевдослучайных сигналов. Предмет исследования - генераторы случайных и псевдослучайных последовательностей на цифровых элементах задержки. Цель диссертационной работы - развитие научных основ и методов построения цифровых генераторов случайных и псевдослучайных последовательностей с повышенным быстродействием и точностью. Эта цель достигается решением научной проблемы, заключающейся в разработке основ теории, принципов построения, методов анализа и синтеза генераторов случайных и псевдослучайных сигналов на цифровой элементной базе, для чего сформулированы основные задачи диссертационного исследования:

- анализ современного состояния основ схемотехнического построения цифровых генераторов случайных и псевдослучайных сигналов; определение базовых моделей элементарных цифровых генераторов, частотный и временной анализ их поведения;

- выявление типичных закономерностей формирования корреляционных зависимостей для периодических процессов;

-анализ циклических свойств синхронных моделей генераторов, формирующих линейные рекуррентные последовательности однородного и неоднородного вида;

-исследование свойств элементов задержки двоичных сигналов в непрерывном времени как основных компонентов цифровых генераторов асинхронного типа;

-теоретическое и экспериментальное исследование генераторов асинхронных случайных процессов, их структурных, вероятностных и корреляционных свойств; определение условий автогенерации цифровых сигналов в непрерывном времени;

- описание свойств датчиков случайных символов и особенностей их применения в технических средствах защиты информации; автоматные представления датчиков и разработка методов их синтеза;

- практические разработки генераторов случайных и псевдослучайных последовательностей.

Для решения перечисленных задач использовались следующие методы исследования: аппарат математического анализа, математическая логика, алгебра, теория чисел, теория автоматов, теория вероятностей, основы цифровой схемотехники, методы математического, физического и имитационного моделирования.

Научная новизна диссертационной работы состоит в разработке основ теории и методов построения генераторов случайных и псевдослучайных последовательностей на цифровых элементах задержки, аппаратные реализации которых отличаются высокотехнологичными схемотехническими решениями, быстродействием и точностью формирования основных параметров случайных и псевдослучайных сигналов. Новыми научными результатами, выносимыми на защиту, являются:

- закономерности формирования реперных точек периодических корреляционных функций; минимизация длины выборки и оценочных процедур для сложно-периодических сигналов;

-структурные, вероятностные и автокорреляционные свойства (М-1)- и

М-3^последовательностей и условия их получения; -аналитические оценки нелинейности и свойств фильтрации асинхронных элементов задержки в цепочечном и циклическом использовании в цифровых генераторах;

- фрактальные свойства моделей асинхронных генераторов в случае формирования детерминированно-хаотического процесса при несоизмеримых и нефлуктуирующих задержках; вероятностный автомат асинхронного типа; метод вероятностного анализа марковской модели асинхронного генератора с учетом флуктуаций задержек; метод анализа и формализованные условия устойчивости генерации асинхронного процесса;

- метод условных вероятностей и дисперсий для оценки степени непредсказуемости формируемых генераторами случайных процессов;

-синхронно-асинхронные автоматные описания датчика случайных символов и методы их синтеза.

Практическая ценность работы заключается в создании схемотехнических основ построения генераторов дискретных случайных сигналов на цифровой элементной базе, допускающих применение технологий интегральных микросхем, включая БИС. Это основано на разработках

- принципов построения генератора асинхронного случайного процесса и инженерных методик настройки его структуры на максимально плотный базовый многочлен (М-1 ^последовательности; программных и физических моделей генераторов для экспериментальных исследований статистических и структурных свойств формируемых процессов;

- основных функциональных схем датчиков случайных символов; формального метода построения датчика посредством структурного синтеза асинхронного автомата;

- характерных построений реальных датчиков, генераторов случайных и псевдослучайных последовательностей на цифровых микросхемах малой и большой степени интеграции.

Реализация и внедрение результатов работы. Материал диссертации представляет собой теоретическое обобщение ряда НИР и ОКР, выполненных на кафедре ЭВМ (Компьютерных систем) КГТУ им. А.Н. Туполева более чем за 30-летний период работы автора в данном направлении.

Основными объектами внедрения являются полузаказные БИС ГСЧ Н1582ВЖ2-0105, 1537ХМ2У-135 и 1537ХМ2АУ-215, выпускаемые мелкосерийными партиями с 1992 г. по настоящее время (г. Зеленоград, ОАО «Ангстрем»). ДСС на микросхемах малой степени интеграции внедрены в блок статистического моделирования (г. Казань, каф. ЭВМ КАИ, 1978 г.), устройство ввода случайных чисел ЕС 6903 (установочная серия, г. Казань, Казанский завод (КЗ) ЭВМ, 1981 г.), терминальную ЭВМ ЕС 1007 (г. Казань, КЗ ЭВМ, 1986 г.). Одноплатные ГСЧ внедрены в специализированное техническое средство защиты информации (г. Ленинград, НИИ «Нептун», 1987 г.) и специализированную вычислительную систему (г. Минск, НИИ ЭВМ, 1990 г.). Для экспериментальных целей были изготовлены ГСЧ на основе технологий БИС: по гибридной технологии (г. Казань, каф. МиК КАИ, 1986 г.), на микропроцессорных секциях К1804ВС2 (г. Казань, каф. ЭВМ КАИ, 1990 г.), на ПЛИС фирмы ХШпх (г. Казань, каф. КСИБ КГТУ-КАИ, 2001 г.), микросхема Н1537ХМ1-192 на базовых матричных кристаллах (экспериментальная партия, г. Зеленоград, ОАО «Ангстрем», 2005 г.).

Результаты диссертации использованы при выполнении НИР:

- «Нетрадиционные принципы формирования случайных сигналов для цифровой техники», «Информационные технологии, системы и средства компьютерного моделирования структурно-сложных объектов», «Микроэлектронные методы формирования кодовых последовательностей для информационного обмена и защиты в вычислительных и телекоммуникационных системах», «Цифровые методы и средства формирования случайных сигналов для систем защиты информации» по единому заказ-наряду Министерства образования и науки Российской Федерации (1989-2004 гг.);

- «Системы криптозащиты информации на основе генераторов нелинейных последовательностей в ПЭВМ и сетях», «Система авторской защиты информации в ПЭВМ на основе полисинхронных генераторов рекуррентных последовательностей», «Перспективные технологии создания радиочастотных и цифровых устройств радиоэлектроники и энергетики для наукоемких отраслей производств» по плану приоритетных фундаментальных и прикладных исследований Академии наук Республики Татарстан (1997-2006 гг.);

- «Интегрированные аппаратно-программные средства для проектирования и моделирования цифровых микроэлектронных устройств», «Цифровые технологии построения и исследования стохастических устройств с выраженными свойствами непредсказуемости», «Аппаратно-программные средства моделирования цифровых устройств формирования труднопредсказуемых случайных последовательностей» по программе развития приоритетных направлений науки в РТ на 2001-2005 годы (фонд НИОКР Академии наук Республики Татарстан);

- «Исследование процессов формирования случайных чисел и методов контроля их стохастических свойств» (1996 г.), «Исследование и разработка методов построения генераторов случайных чисел на программируемых логических интегральных схемах» (1999 г.) по хоздоговорам с Казанским научно-исследовательским институтом радиоэлектроники;

- «Исследование и разработка перспективных вычислительных структур для ЕС ЭВМ. Разработка блока статистического моделирования» (1977 г.), «Исследование и разработка специализированных процессоров ЕС ЭВМ (Ряд 2 и 3) для сети ЭВМ» (1981-1984 гг.), «Устройства вычислительной техники для статистического моделирования» (1987 г.), по хоздоговорам с Казанским заводом ЭВМ.

Научные и практические результаты диссертации используются в учебном процессе КНИТУ-КАИ им.А.Н.Туполева при изучении студентами дисциплин «Схемотехника» по специальности «Информационная безопасность телекоммуникационных систем», «Электроника» по специальности «Комплексная защита объектов информатизации», а также для магистрантов по специальности «Элементы и устройства вычислительной техники и информационных систем» в дисциплинах «Элементы и устройства комбинированных вычислительных машин» и «Приложения теории линейных последовательно-стных машин». Разработан лабораторный практикум «Генераторы случайных чисел».

Апробация работы. Основные положения и результаты диссертационной работы докладывались и обсуждались на международных конференциях: «Проблемы теоретической кибернетики» (г. Москва, 2002 г.). «Инфокоммуни-кационные технологии глобального информационного общества» (г. Казань, 2003, 2004 и 2005 гг.), «Информационные и телекоммуникационные системы и технологии» (г. Санкт-Петербург, 2007 г.), «Физика и технические приложения волновых процессов» (г. Казань, 2007 г.), «Проблемы техники и технологий телекоммуникаций» (г. Казань, 2008 г.); всесоюзных, всероссийских конференциях и симпозиумах: «Вероятностные вычислительные методы и средства» (г. Москва, 1978 г.), «Проблемы создания преобразователей формы информации» (г. Киев, 1980 г.), «Вероятностные автоматы и их приложения» (г. Казань, 1983 г., г. Тбилиси, 1986 г.), «Методы и средства измерения физических величин» (Н. Новгород, 1998, 2000 гг.); республиканской конференции «Вероятностные методы и средства» (г. Новгород, 1983 г.); всесоюзных и российских школах-семинарах: «Вероятностные автоматы и их приложения» (п. Славск, 1978 г., г. Иркутск, 1981 г., г. Киев, 1984 г.), «Флуктуации и шумы в сложных системах» (г. Казань, 2004 г.); городских семинарах «Методы моделирования» (г. Казань, 2004, 2006, 2009 гг.) и регулярных научно-технических конференциях КГТУ-КАИ.

Публикации. По теме диссертации опубликовано 80 научных работ, в том числе: 1 монография, 19 статей в научных журналах и сборниках, из них 11 в журналах, рекомендованных ВАК для опубликования результатов докторских диссертаций, 29 авторских свидетельств и патентов.

Структура и объем диссертационной работы. Диссертация состоит из введения, шести глав, заключения и списка литературы, включающего 247 наименований. Материал работы изложен на 347 страницах текста компьютерной верстки, в том числе основная часть - на 313 страницах. Работа содержит 105 рисунков и 22 таблицы.

Заключение диссертация на тему "Генераторы случайных и псевдослучайных последовательностей на цифровых элементах задержки (основы теории и методы построения)"

Выводы по главе 6

1. Выделена основная область практического применения результатов диссертации - построение устройств формирования случайных и псевдослучайных последовательностей с использованием цифровой элементной базы. Подробно вопросы синтеза рассмотрены в отношении ДСС.

2. Дано формальное описание ДСС моделью элементарного автономного вероятностного автомата. Выделен случай равновероятностных и некоррелированных свойств датчика, благодаря которым он становится универсальным элементом для построения сложных цифровых стохастических объектов, аналогично триггеру при классическом синтезе детерминированных устройств последовательностного типа.

3. Представлена структура ДСС в виде композиции ГАСП, как источника физической случайности, и устройства фиксации, обеспечивающего стандартное сопряжение с остальными частями цифровой системы.

4. Исследованы источники возникновения характерных погрешностей работы датчика и связь их с быстродействием. Получена эмпирическая формула оценки максимальной частоты синхронизации. Отмечено, что в случае применения ГАСП многоконтурного типа, скорость работы ДСС становится сравнимой с быстродействием детерминированных цифровых устройств, построенных на той же элементной базе.

5. Описана особенность применения ДСС и ГСЧ для формирования па-рольно-ключевых последовательностей, используемых в технических средствах защиты информации. Обоснована применимость метода функции степени детерминированности поведения динамической системы для исследования свойств предсказуемости цифровых источников случайных сигналов. Предложены методы условных вероятностей и дисперсий для оценки степени непредсказуемости формируемых генераторами случайных процессов

6. Статистические характеристики ДСС в значительной степени определяются соответствующими характеристиками ГАСП. Экспериментально установлено, чем больше контуров обратной связи организовано в схеме генератора, тем в среднем сильнее проявляются стохастические свойства. Также способствует организации более выраженного стохастического режима настройка структуры обратной связи на базовый многочлен (М-1)-последовательности.

7. Исследована связь структуры многочленов (М-1)-последовательностей, заданных коэффициентами в виде восьмеричных наборов, с характерными элементами схемотехнической организации контуров обратной связи ГАСП. Решены задачи максимизации плотности такого базового многочлена, в результате чего разработаны две методики настройки структуры генератора на образующий многочлен, наиболее приближенный к максимально плотному при заданной размерности генератора.

8. Для решения задач синтеза ДСС предложено его рассмотрение в виде связанных между собой вероятностных автоматов синхронного и асинхронного типа. Сформулированы требования к выбору элементов внутреннего алфавита асинхронной модели.

9. Описаны следующие три основные функциональные схемы ДСС по способам организации работы его внутренних компонентов: подключения УФ к ГАСП, включения УФ с разрывом обратной связи ГАСП и включения УФ без разрыва обратной связи ГАСП. Приведены примеры соответствующих логических схем датчиков. Отмечено, что качество статистических характеристик выходной синхронной последовательности и быстродействие датчиков по третьей схеме достигаются наиболее высокими. В общем, диапазон технической сложности построения ДСС в зависимости от требуемого качества и быстродействия простирается от 0,25 корпуса микросхемы малой степени интеграции до БИС.

10. Разработан формальный метод синтеза ДСС. Он основан на доопределении вероятностного автомата асинхронного типа до детерминированного асинхронного автомата, структурный синтез которого дает возможность получить логическую схему датчика. Отмечена целесообразность использования комбинации формального и эвристического методов синтеза. Приведена методика такого построения.

11. Разработан ряд ДСС и ГСЧ, ориентированных на применение цифровой элементной базы, как малой степени интеграции, так и БИС. Основными объектами внедрения являются БИС ГСЧ Н1582ВЖ2-0105, 1537ХМ2У-135 и 1537ХМ2АУ-215, выпускаемые мелкосерийными партиями с 1992 г. по настоящее время (ОАО «Ангстрем», г. Зеленоград) для систем опознавания «свой-чужой».

12. Кратко описаны возможности применения моделей ГАСП для построения цифровых устройств формирования случайных сигналов с управляемыми и регулируемыми законами распределения и корреляционными свойствами, генераторов случайных потоков простейшего типа и с последействием, генераторов случайного напряжения, генераторов случайных процессов различной физической природы.

ЗАКЛЮЧЕНИЕ

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

При проведении исследований по тематике диссертации получены следующие научные и практические результаты:

1. Проведен анализ современного состояния основ построения цифровых генераторов случайных и псевдослучайных сигналов; определены две базовые модели элементарных кольцевых генераторов (КГ) на цифровых элементах -генератор-повторитель (ГП) и генератор-инвертор (ГИ); проведен частотно-временной анализ их поведения. Показано, что КГ формирует в автономном режиме двоичные процессы телеграфного типа с непрерывным временем в форме простых, сложно-периодических и инверсно-сегментных импульсных последовательностей. Временной анализ ГП и ГИ определил основные свойства и характеристики формируемых ими процессов.

2. Выявлены типичные закономерности формирования корреляционных зависимостей для периодических процессов. Показана целесообразность оценивания математического ожидания, дисперсии, АКФ и ВКФ на минимальном периоде процессов, формируемых цифровыми генераторами в псевдослучайном режиме. Обоснованы характерные реперные значения ПАКФ и закономерности формирования остальных отсчетов, что допускает сокращение количества вычислений на выборке длиной в цикл в 2 раза, а для инверсно-сегментных импульсных последовательностей - в 4 раза.

3. Проведен анализ циклических свойств синхронных моделей генераторов, формирующих линейные рекуррентные последовательности однородного и неоднородного вида. Исследованы ГПСП с линейной обратной связью как генераторы Фибоначчи и Галуа. Для однородных и неоднородных ЛРП получено обобщенное выражение производящей функции, в которое входит константа а0 е {0,1}. Доказано, что множество циклов (ш + 1)-го порядка при а0 = О состоит из объединения множеств циклов га-го порядка при а0=0 и а0= 1. Выделен класс ЛРП, который можно использовать для генерирования псевдослучайных последовательностей и как модельную основу случайных процессов. Определены структуры и исследованы свойства (М-1)- и (М-3)-последовательностей, особенностями которых являются равновероятное распределение двоичных символов и знакопеременные АКФ. В развитие теории ГПСП в форме генератора Галуа доказано, что на разных выходах регистра генератора могут формироваться различные ЛРП. Разработана методика идентификации формируемых последовательностей из анализа циклов, запрещенных для псевдослучайного режима.

4. Исследованы свойства элементов задержки двоичных сигналов в непрерывном времени в форме логических повторителей и инверторов как основных компонентов цифровых асинхронных генераторов. Определены величины нелинейных задержек для одного ЦЭ и для гс-звенных цепочек. Получены аналитические соотношения для задержек логических уровней, значений временных порогов фильтрации коротких импульсов и сформулированы условия сохранения длительностей. Обоснована предпочтительность использования в АЭЗ инверторов. Разработан метод оценки разбросов средних задержек на основе применения условных вероятностных моментов к описанию группы однотипных элементов АЭЗ. Экспериментально оценены коэффициенты вариации задержки ЦЭ. Для нормальных условий эксплуатации они находятся в пределах: стт3 = 10~4 - 3 • Ю-3.

5. Теоретически и экспериментально исследованы структурные, вероятностные и корреляциионые свойства случайных процессов, формируемых асинхронными генераторами; определены условия автогенерации цифровых сигналов в непрерывном времени. Представлен ГАСП как подкласс автономных асинхронных автоматов. В случае несоизмеримых нефлуктуирующих задержек обосновано возникновение детерминированно-хаотического режима, структурные свойства и фрактальные размерности которого сопоставимы с треугольником Серпинского. Исследовано влияние флуктуирующих задержек в АЭЗ на возникновение стохастического режима ГАСП. Введено понятие вероятностного автомата асинхронного типа, на основе чего исследованы структурные и вероятностные свойства процессов на выходе марковской модели ГАСП. Для двух связанных элементарных КГ получены аналитические выражения вероятностных и корреляционных свойств формируемых случайных процессов. Найдены формализованные условия автогенерации цифровых сигналов в непрерывном времени. Разработаны программные и физические модели ГАСП для экспериментального исследования статистических и структурных характеристик процессов.

6. Описаны свойства датчиков случайных символов и особенности их применения в технических средствах защиты информации; датчики представлены автоматными моделями, на основе которых разработаны методы их синтеза. Исследованы вероятностные и автокорреляционные свойства аппаратно реализованных цифровых генераторов в форме ДСС, композиционно состоящие из ГАСП и УФ. Отмечены универсальные свойства идеального ДСС как элементарного вероятностного автомата. Адаптирован известный метод оценки степени непредсказуемости формируемых последовательностей применительно к ДСС и ГСП. Даны автоматные описания функционирования ДСС и предложены основные функциональные схемы датчиков. Разработаны методики настройки структуры ГАСП на максимально плотные базовые образующие многочлены (М-1 ^последовательностей. Предложены принципы построения ГАСП и методы синтеза ДСС.

7. Практически разработан и внедрен ряд генераторов случайных и псевдослучайных числовых последовательностей. Основным объектом внедрения являются полузаказные БИС ГСЧ Н1582ВЖ2-0105, 1537ХМ2У-135 и 1537ХМ2АУ-215, выпускаемые мелкосерийными партиями с 1992 г. (ОАО «Ангстрем», г. Зеленоград) для систем опознавания «свой-чужой». Погрешность работы БИС генераторов серии 1537ХМ по равновероятности и некоррелированности не превышает величины 6 • 10-4 при быстродействии до 8 МГц. Представленные разработки характеризуются высокой технологичностью устройств как изделий за счет применения цифровой БИС и полного исключения аналоговых элементов. По сравнению с ранее используемым генератором в аппаратуре опознавания новые устройства имеют повышенные более чем на порядок точность и быстродействие.

Библиография Кузнецов, Валерий Михайлович, диссертация по теме Элементы и устройства вычислительной техники и систем управления

1. Математический энциклопедический словарь / Гл. ред. Ю.В.Прохоров. -М.: Советская энциклопедия, 1988.-С.269.

2. Клейнен, Д. Статистические методы в имитационном моделировании / Д. Клейнен. М.: Статистика, 1978.-221с.

3. Бобнев, М.П. Генерирование случайных сигналов /М.П. Бобнев.- М.: Энергия, 1971.-240с.

4. Бусленко, Н.П. Метод статистических испытаний (Монте-Карло) и его реализация в цифровых машинах /Н.П. Бусленко, Ю.А. Шрейдер.-М.: Физматгиз, 1961.-226с.

5. Гладкий, B.C. Вероятностные вычислительные модели /B.C. Гладкий.-М.: Наука, 1973 .-300с.

6. Ермаков, С.М. Курс статистического моделирования /С.М. Ермаков, Г.А. Михайлов.- М.: Наука, 1976.-330с.

7. Ермаков, С.М. Метод Монте-Карло и смежные вопросы /С.М. Ермаков.-М.: Наука, 1975.-472с.

8. Кудряшов, В.И. Сигнатурные анализаторы как средство формализации наладки и эксплуатации дискретной техники /В.И. Кудряшов, Г.Х.Новик //Приборы и системы управления.- 1984.-№3.-С.25-26.

9. Лившиц, А.Л. Статистическое моделирование систем массового обслуживания /А.Л. Лившиц, Э.А. Мальц.- М.: Советское радио, 1979.-248с.

10. Метод Монте-Карло в атмосферной оптике /Под ред. Г.И. Марчука.- Новосибирск: Наука, 1974.-142с.

11. Метод Монте-Карло в проблеме переноса излучений /Под ред. Г.И. Марчука.- Новосибирск: Атомиздат, 1967.-256с.

12. Метод статистических испытаний (метод Монте-Карло) /Под ред. Ю.А. Шрейдера,- М.: Физматгиз, 1962.-331с.

13. Михайлов, Г.А. Некоторые вопросы теории методов Монте-Карло.- Новосибирск: Наука, 1974.-142с.

14. Растригин, Л.А. Многоканальные статистические оптимизаторы / Л.А. Растригин, Л.В. Сытенко.- М: Энергия, 1973.-144с.

15. Решение краевых задач методом Монте-Карло /Б.С. Елепов, A.A. Крон-берг, Г.А. Михайлов, К.К. Сабельфельд.- Новосибирск: Наука, 1980.-175с.

16. Сикарев, A.A. Микроэлектронные устройства формирования и обработки сложных сигналов /A.A. Сикарев, О.Н. Лебедев.- М.: Радио и связь, 1983.-216с.

17. Соболь, И.М. Численные методы Монте-Карло /И.М. Соболь.- М.: Наука, 1973.-312с.

18. Хан, С. Статистические модели в инженерных задачах /С. Хан, С. Ша-пиро.-М: Мир, 1969.-400с.

19. Четвериков, В.М. Вычислительная техника для статистического моделирования /В.М. Четвериков, Э.А. Баканович, A.B. Меньков.- М.: Советское радио, 1978.-312с.

20. Ярмолик, В.Н. Генерирование и применение псевдослучайных сигналов в системах испытаний и контроля /В.Н. Ярмолик, С.Н.Демиденко.-Минск: Наука и техника, 1986.-200с.

21. Иванова, В.М. Случайные числа и их применение /В.М. Иванова.-М.: Финансы и статистика, 1984.-111с.

22. Методы генерации псевдослучайных чисел: Дзехо серес /Fushimi Masa-nori //ВЦП.-1980.-№Г-32668, Vol.21,№9.-P.968-974.

23. Диффи У. Защищенность и имитостойкость: Введение в криптографию / У. Диффи, М.Е. Хелман. // ТИИЭР.- 1979.- Т. 67.-№3.- С.71-109.

24. Хоффман, Л.Дж. Современные методы защиты информации / Л.Дж. Хоффман.-М.: Советское радио, 1980.-264 с.

25. Сяо, Д. Защита ЭВМ / Д. Сяо, Д. Керр, С. Мэдник.- М.: Мир, 1982.-264 с.

26. Месси, Дж.Л. Защита информации. Введение в современную криптоло-гию / Дж.Л. Месси//ТИИЭР.- 1988.-Т.76.-№5.- С.24-41.

27. Мафтик, С. Механизмы защиты в сетях ЭВМ / С. Мафтик.- М.: Мир, 1993.-216 с.

28. Петров, В.А. Информационная безопасность. Защита информации от несанкционированного доступа в автоматизированных системах / В.А. Петров, А.С.Пискарев, A.B. Шеин.- М.: МИФИ, 1995.- 84 с.

29. Варфоломеев, A.A. Управление ключами в системах криптографической защиты банковской информации / A.A. Варфоломеев, О.С. Домина, М.Б. Пеленицын.- М.: МИФИ, 1996.- 128 с.

30. Иванов, М.А. Криптографические методы защиты информации / М.А. Иванов.- М.: КУДИЦ-ОБРАЗ, 2001.-368с.

31. Завгородний, В.И. Комплексная защита информации в компьютерных системах / В.И. Завгородний.- М.: Логос; ПБОЮЛ H.A. Егоров, 2001.264 с.

32. Шнайер, Б. Прикладная криптография /Б. Шнайер.- М.: Триумф, 2002.-816с.

33. Осмоловский, С.А. Стохастические методы защиты информации / С.А. Осмоловский.- М.: Радио и связь, 2003.- 320 с.

34. Николаев, А. «Свой-чужой» на службе России / А. Николаев // «Республика Татарстан» -24.07.2003.- С.6.

35. Тетерич, В.В. Генераторы шума и измерение шумовых характеристик / В.В. Тетерич.- М.: Энергия. 1968.- 215 с.

36. Ван дер Зил, А. Шум. Источники, описание, измерение. / А. Ван дер Зил.-М.: Советское радио, 1973.-228 с.

37. Жалуд, В. Шумы в полупроводниковых устройствах / В. Жалуд, В.Н. Кулешов. Шумы в полупроводниковых устройствах.- М.: Советское радио, 1977.-416 с.

38. Евдокимов, Н.В. Интерференция динамического хаоса гамильтоновых систем: эксперимент и возможности радиофизических приложений / Н.В. Евдокимов, В.П. Комолов, П.В. Комолов // Успехи физических наук. 2001.- Т.171.- №7,- С. 775-795.

39. Пат. 2122232 РФ. Генератор случайных чисел / Н.В. Евдокимов, В.П. Комолов, П.В. Комолов // Заявл. 28.10.1997. Опубл. 20.11.1998.

40. Кирьянов, Б.Ф. Микропроцессорные средства в задачах имитации и обработки случайных сигналов: Учеб. пособие, 4.1 /Б.Ф. Кирьянов.- Новгород: Новг. политехи, ин-т, 1988.-52с.

41. Неделько, С.А. Датчики псевдослучайных чисел как терминалы в вычислительных системах /С.А. Неделько, А.Я. Шпильберг //Электроника и моделирование.- Киев: Наукова думка, 1974, вып. 1.-С.52.

42. Варакин, Л.Е. Теория сложных сигналов /Л.Е. Варакин.- М.: Советское радио, 1970.-376с.

43. Винокуров, В.И. Дискретно кодированные последовательности / В.И. Винокуров, В.Е. Гантмахер.- Ростов-на-Дону: РГУ, 1990.-288с.

44. Гилл, А. Линейные последовательные машины /А. Гилл.- М.: Наука, 1974.-288с.

45. Доценко, В.И. Анализ и свойства последовательностей максимальной длины /В.И. Доценко, Р.Г. Фараджев //Автоматика и телемеханика.-1969.-№11.-С.119-127.

46. Доценко, В.И. Получение ПСДС и его использование для идентификации объектов / В.И. Доценко, Г.С. Чхартишвили //Докл. конф.- М.: МЭИ, 1967.-С.180-192.

47. Дядюнов, Н.Г. Ортогональные и квазиортогональные сигналы / Н.Г. Дя-дюнов, А.И. Сенин.- М.: Связь, 1977.-224с.

48. Иванов, М.А. Теория, применение и оценка качества генераторов псевдослучайных последовательностей /М.А. Иванов, И.В. Чугунков.- М.: КУДИЦ-ОБРАЗ, 2003.-240с.

49. Кирьянов, Б.Ф. Основы теории стохастических вычислительных машин / Б.Ф. Кирьянов; Каз. авиац. ин-т.- Казань, 1975.-186с.- Деп. в ЦНИИТЭИ приборостроения 21.05.76, №524.

50. Кнут, Д. Искусство программирования для ЭВМ /Д. Кнут.- М.: Мир, Т. 2, 1977.-724с.

51. Корн, Г. Моделирование случайных процессов на аналоговых и аналого-цифровых машинах /Г. Корн.- М.: Мир, 1968.-315с.

52. Петрович, Н.Т. Системы связи с шумоподобными сигналами /Н.Т. Петрович, М.К. Размахнин.- М.: Советское радио, 1969.-232с.

53. Питерсон, У. Коды, исправляющие ошибки /У. Питерсон.- М.: Мир, 1964.-338с.

54. Питерсон, У. Коды, исправляющие ошибки /У. Питерсон, Э. Уэлдон.-М.: Мир, 1976.-594с.

55. Самойленко, С.И. Помехоустойчивое кодирование /С.И. Самойленко.-М.: Наука, 1966.-240с.

56. Таусворт, Р. Случайные числа, порождаемые линейными рекуррентными соотношениями по модулю 2 /Р. Таусворт // Кибернетический сборник." М.: Мир, 1979, вып. 16.- С.62-73.

57. Теория и применение псевдослучайных сигналов /А.И. Алексеев,

58. A.Г. Шереметьев, Г.И. Тузов, Б.И. Глазов.- М.: Наука, 1969.-367с.

59. Фараджев, Р.Г. Линейные последовательностные машины /Р.Г. Фарад-жев.- М.: Советское радио, 1975.-248с.

60. Федоров, Р.Ф., Стохастические преобразователи информации /Р.Ф. Федоров, В.В. Яковлев, Г.В. Добрис.- Л.: Машиностроение, 1978.-304с.

61. Хаффмен, Д.А. Синтез линейных многотактных кодирующих схем / Д.А. Хаффмен // Теория передачи сообщений.- М.: ИЛ, 1957.-С.52-81.

62. Цирлер, Н. Линейные возвратные последовательности /Н. Цирлер // Кибернетический сборник.- М.: ИЛ, 1963, № 6.- С.55-79.

63. Цифровые методы в космической связи /Под ред. С.Голомба.- М.: Связь, 1969.-272с.

64. Шумоподобные сигналы в системах передачи информации / В.Б. Пестряков, В.П. Афанасьев, В.Л. Гурвиц и др.- М.: Советское радио, 1973.-424с.

65. Элспас, Б. Теория автономных линейных последовательных сетей / Б. Элспас //Кибернетический сборник.- М.: ИЛ, 1963, № 7. -С.90-128.

66. Яковлев, В.В., Стохастические вычислительные машины /В.В. Яковлев, Р.Ф. Федоров.- Л.: Машиностроение, 1974.-344с.

67. A.c. 1023637 СССР. Генератор импульсного напряжения /В.А. Песошин,

68. B.М. Кузнецов, О.И. Дапин // Бюл.- 1983.- №22.

69. Golic, J.Dj. New Paradigms for Digital Generation and Post-Proctssing of Random Data / J.Dj. Golic // Lecture Notes in Computer Science,-2004, vol. 2012.-P. 233-247.

70. Сытенко, Jl.В. Управляемые генераторы случайной последовательности импульсов / JI.B. Сытенко // Автоматика и вычислительная техника.-.Рига. 1965,- Вып. 10.-С. 189-209.

71. Растригин, J1.A. Многоканальные статистические оптимизаторы / Л.А. Растригин, Л.В. Сытенко // М.: Энергия, 1973.- 144 с.

72. А.с. 1050090 СССР. Генератор шума / Э.В. Кальянов, В.Я. Кислов, М.Н. Лебедев, В.П. Иванов // Бюл.-1983.-№39.

73. А.с. 335684 СССР. Устройство формирования потоков случайных событий / В.Н. Четвериков, Э.А. Баканович, А.В. Меньков, Л.А. Соломонов // Бюл.-1972.-№13.

74. Хамитов, Г.П. Имитация случайных процессов / Г.П. Хамитов.- Иркутск: Изд-во Иркутского университета, 1983.- 184 с.

75. Pat. 6240432 B1 US. Enhanced random number generator / W.-T.Chuang, S.C. Hsu/May, 2001.

76. Pat. 4641102 B1 US. Random number generator / K.B. Coulthart, R.C. Faier-field, R.L. Morterson / Feb, 1987.

77. Pat. 0156819 A1 US. Digital true random number generator circuit / R.V.M. Oerlemans / Oct, 2002.

78. Пат. 2281603 РФ. Генератор случайной двоичной последовательности / А.Е. Нуждин // Заявл. 27.12.2004. Опубл. 10.08.2006.

79. Губанов, Д.А. Генераторы хаоса в интегральном исполнении / Д. Губанов, А. Дмитриев, А. Панас, С. Старков, В. Стешенко // Chip News. Новости о микросхемах. 1999.- №8.- С.9-14.

80. Пат. 2335842 РФ. Способ формирования хаотической последовательности псевдослучайных сигналов / В.В. Афанасьев, С.С. Логинов, Ю.Е. Польский//Заявл. 13.11.2006. Опубл. 10.10.2008.

81. Афанасьев, В.В. Нелинейные системы с динамическим хаосом и порождаемые ими сигналы / В.В. Афанасьев, С.С. Логинов, Ю.Е. Польский.- Казань: Изд-во Казан, гос. техн. ун-та, 2005.- 120 с.

82. Fischer, V. True random number generator embedded in reconfigurable hardware / V. Fischer, M. Drutarovsky // Criptographic Hardware and Embedded Systems CHES 2002, Lecture Notes in Computer Science.- 2002.- vol. 2523.-pp.415-430.

83. Fischer, V. True random number generator in field programmable logic devices / V. Fischer, M. Drutarovsky // Submitted to Electronic Letters, Paper Number ELL 32365.- Apr., 2002.

84. ODonnell, C.W. PUF-Based Random Number Generation / C.W. GDonnell, G.E. Suh, S. Devadas // Computer Science and Artificial Intelligence Laboratory (CSAIL) Massachusetts Institute of Technology Cambridge, MA 02139.- 2005.

85. Измерение динамических параметров интегральных схем / B.C. Сапрыкин, Н.И. Кузнецов, Н.И. Докучаев, Б.В. Острецов.- М.: Советское радио, 1979.- 104 с.

86. Чулков, В.А. Интерполирующие устройства синхронизации и преобразователи информации / В.А. Чулков,- М.:ФИЗМАТЛИТ, 2010.-324 с.

87. Кузнецов, В.М. Простейшие генераторы случайных последовательностей / В.М. Кузнецов //Тез. докл. V Респ. науч.-техн. конф. «Современные ЭВМ. Разработка, производство и технологические процессы изготовления ЭВМ».- Казань: Изд-во КЗ ЭВМ, 1980.-С.6-7.

88. А.с. 752306 СССР. Датчик равновероятных двоичных символов / В.М. Кузнецов, В.А. Песошин // Бюл.- 1980. №28.

89. Кузнецов, В.М. Датчики случайных символов на основе самовозбуждающихся логических схем / В.М. Кузнецов // Тез. докл. Респ. науч.-техн. конф. «Вероятностные методы и средства».- Новгород: Изд-во Новг. политехи, ин-та, 1983 .-С.52.

90. Кузнецов, В.М. Генераторы случайных чисел. Лабораторный практикум / В.М. Кузнецов, В.А. Песошин.- Казань: Изд-во Казан, гос. техн. ун-та, 1995.-39 с.

91. Гоноровский, И.С. Радиотехнические цепи и сигналы / И.С. Гоноров-ский.- М.: Советское радио, 1977.- 608 с.

92. Основы теории колебаний / Под ред. В.В. Мигулина.- М.: Наука,1988.-392 с.

93. Баскаков, С.И. Радиотехнические цепи и сигналы / С.И. Баскаков.- М.: Высшая школа, 2000.- 462 с.

94. Денисенко, А.Н. Сигналы. Теоретическая радиотехника / А.Н. Денисенко.- М.: Горячая линия-Телеком, 2005.- 704 с.

95. A.c. 796856 СССР. Устройство для статистического анализа датчика случайных символов / В.М. Кузнецов, P.M. Мансуров, О.И. Дапин, Г.Л. Косов, H.H. Сергеев, Н.П. Косова//Бюл.- 1981. №2.

96. A.c. 807332 СССР. Стохастический коррелометр / В.А. Песошин, В.М. Кузнецов, H.H. Сергеев // Бюл.- 1981.-№7.

97. Дапин, О.И. Измеритель статистических характеристик бинарных случайных последовательностей / О.И. Дапин, Г.Л. Косов, В.М. Кузнецов, P.M. Мансуров, H.H. Сергеев // Приборы и техника экспериментов. 1982, №1. - С. 248-249.

98. Кузнецов, В.М. Минимизация статистической погрешности измерения автокорреляционной функции последовательностей случайных символов /

99. B.М. Кузнецов, H.H. Сергеев // Тез. докл. III Всесоюзн. симп. «Вероятностные автоматы и их приложения».- Казань: Изд-во Казан, гос. ун-та, 1983.1. C.31.

100. Песошин, В.А. Генераторы псевдослучайных и случайных чисел на регистрах сдвига / В.А. Песошин, В.М. Кузнецов // Монография. Казань: Изд-во Казан, гос. техн. ун-та, 2007. 296 с.

101. Гантмахер, В.Е. Шумоподобные сигналы. Анализ, синтез, обработка / В.Е. Гантмахер, Н.Е. Быстров, Д.В. Чеботарев СПб.: Наука и Техника, 2005.-400 с.

102. Ляпин, Е.С. Алгебра и теория чисел, ч.1. Числа / Е.С. Ляпин, А.Е. Евсеев.-М.: Просвещение, 1974.-383 с.

103. A.c. 1010622 СССР. Генератор псевдослучайных чисел / В.А. Песошин, В.Ф. Гусев, И.К. Галеев, О.И. Дапин, В.М. Кузнецов, Г.И. Кренгель // Бюл.-1983.-№13.

104. A.c. 1012252 СССР. Устройство для формирования случайных и псевдослучайных чисел / В.А. Песошин, В.Ф. Гусев, И.К. Галеев, О.И. Дапин, Г.Н. Иванов, В.М. Кузнецов, Г.И. Кренгель // Бюл.- 1983. №14.

105. Песошин, В.А. Генераторы псевдослучайных двоичных последовательностей / В.А. Песошин, В.М. Кузнецов // Вычислительные и управляющие системы летательных аппаратов: Межвуз. сб. Казань: КАИ, 1983 - С. 5156.

106. Песошин, В.А. Комбинированный генератор случайных чисел / В.А. Песошин, P.M. Мансуров, В.М. Кузнецов // Сб. «Вероятностные методы и кибернетика». Казань: КГУ, 1983, вып. 19.- С. 88-99.

107. A.c. 1185582 СССР. Генератор псевдослучайных чисел / В.А. Песошин,

108. B.М. Кузнецов, О.И. Дапин, H.H. Сергеев, С.Г. Гришкин // Бюл.- 1985.-№38.

109. Гришкин, A.C. Синхронная интерпретация работы генератора асинхронного случайного сигнала / A.C. Гришкин, В.М. Кузнецов, В.А. Песошин // Вестник КГТУ им. А.Н. Туполева. Казань, 2006, №3.- С. 19-21.

110. Вавилов, E.H. Синтез схем электронных цифровых машин / E.H. Вавилов, Г.П. Портной.- М.: Советское радио, 1964.- 440 с.

111. Схиртладзе, P.A. Об оптимальном выравнивании распределений булевых случайных величин / P.A. Схиртладзе // Сообщ. АН Груз. ССР. Вып. 40, 1965.-№3.

112. Глова, В.И. О синтезе устройств, многоустойчивых по вероятности появления бинарных знаков / В.И. Глова // Вероятностные автоматы и их применение.- Рига: Зинатне, 1971.- С.77-96.

113. Andrew, A.M. Counting to 1099508482050 without carries /А. Andrew //Electron. Eng.- I960.- Vol.38,№ 457.- P.172-175,203,210.

114. Golomb, S.W. Shift register sequences / S.W. Golomb // Holden-Day., Jnc.-1967.-P.224.

115. Лидл, P. Конечные поля /Р. Лидл, Г. Нидеррайтер.- М.: Мир, Т. 2, 1988.-822с.

116. A.c. 1157671 СССР. Устройство задержки импульсов / В.М. Кузнецов, Ф.М. Серазетдинова, H.H. Носкова//Бюл.-1985.-№19.

117. Кузнецов, В.М. Оценка временных флуктуаций цифровых элементов методом нестационарного возмущения / В.М. Кузнецов // Измерительная техника. 2007, №12.- С. 39-43.

118. Миллер, Р. Теория переключательных схем. Т.2 Последовательностью схемы и машины / Р. Миллер.- М.: Наука, 1971.-304 с.

119. Апериодические автоматы / Под ред. В.И. Варшавского.- М.: Наука, 1976.424 с.

120. Ангер, С. Асинхронные последовательностные схемы / С. Ангер.-М.: Наука, 1977.- 400 с.

121. Фридман, А. Теория и проектирование переключательных схем / А. Фридман, П. Менон.- М.: Мир, 1978.-582 с.

122. Якубайтис, Э.А. Логические автоматы и микромодули / Э.А. Якубайтис.-Рига: Зинатне, 1975.- 259 с.

123. Левин, В.И. Введение в динамическую теорию конечных автоматов / В.И. Левин.- Рига: Зинатне, 1975.- 376 с.

124. Ершова, Э.Б. Основы релейной автоматики / Э.Б. Ершова, В.Н. Рогин-ский, Н.Б. Суторихин.- М.: Связь, 1969.- 176 с.

125. Рогинский, В.Н. Основы дискретной автоматики (статика и динамика дискретных автоматов) / В.Н. Рогинский.- М.: Связь, 1975.- 432 с.

126. Анисимов, Б.В. Машинный расчет элементов ЭВМ / Б.В. Анисимов, Б.И. Белов, И.П. Норенков.- М.: Высшая школа, 1976.- 336 с.

127. Проектирование радиоэлектронных устройств на интегральных микросхемах / Под ред. С.Я. Шаца.-М.: Советское радио, 1976.- 312 с.

128. Косякин, A.A. Колебания в цифровых автоматических системах / A.A. Косякин, Б.М. Шамриков.-М.: Наука, 1983.- 336 с.

129. Бутенин, Н.В. Введение в теорию нелинейных колебаний / Н.В. Бутенин, Ю.И. Неймарк, H.A. Фуфаев.- М.: Наука, 1987.- 384 с.

130. Карлов, Н.В. Колебания, волны, структуры / Н.В.Карлов, H.A. Кириченко.- М.: ФИЗМАТЛИТ, 2003.- 496 с.

131. Данилов, Ю.А. Лекции по нелинейной динамике. Элементарное введение /Ю.А. Данилов.-М.: Постмаркет, 2001.- 184 с.

132. Автоматное управление асинхронными процессами в ЭВМ и дискретных системах / Под ред. В.И. Варшавского.- М.: Наука, 1986.- 400 с.

133. Скарлетт, Дж. Транзисторно-транзисторгые логические интегральные схемы и их применение / Дж. Скарлетт.-М.: Мир, 1974.- 288 с.

134. Бакланов, И.Г. Несколько серьезных слов о джиттере / И.Г. Бакланов, А.Г. Лебедев, С.Ю. Сондак // Метрология и измерительная техника в отрасли связь.- 2005.-№2.-С. 7.

135. Малахов, А.Н. Флуктуации в автоколебательных системах / А.Н. Малахов.- М.: Наука, 1968. 660 с.

136. Растригин, Л.А. Многоканальные статистические оптимизаторы / Л.А. Растригин, Л.В. Сытенко.- М.: Энергия, 1973.- 144 с.

137. Ширяев, А.Н. Вероятность \ А.Н. Ширяев.- М.: Наука, 1980.-576 с.

138. Феллер, В. Введение в теорию вероятностей и ее приложения. Т.1 / В. Феллер.- М.: Мир, 1984. 738 с.

139. Зельдин, Е.А. Цифровые интегральные микросхемы в информационно-измерительной аппаратуре / Е.А. Зельдин.- JL: Энергоатомиздат, 1986.280 с.

140. Пухальский, Г.И. Проектирование дискретных устройств на интегральных микросхемах: Справочник / Г.И. Пухальский, Т.Я. Новосельцева.-М.: Радио и связь, 1990.- 304 с.

141. Кузнецов, В.М. Цифровые устройства формирования случайных сигналов с неавтономным источником шума: Приложение к дис. . канд. техн. наук. Казань. 1986.- 258 с.

142. Поспелов, Д.А. Логические методы анализа и синтеза схем / Д.А.Поспелов.-М.: Энергия 1974.- 368 с.

143. Райхлин, В.А. Асинхронные цифровые схемы и модульные структуры / В.А. Райхлин.- Казань: Изд-во Казан, авиац. ин-та, 1980.- 103 с.

144. Кузнецов, В.М. Аппаратная реализация вероятностных автоматов, работающих в непрерывном времени / В.М. Кузнецов // Сб. «Вероятностные автоматы и их приложения». Казань: КГУ, 1986 - С. 172-175.

145. Кузнецов, В.М. Условие возбуждения генератора асинхронного процесса / В.М. Кузнецов, H.H. Сергеев // Межвуз. сб. «Методы и средства статистического моделирования». Казань: КАИ, 1987 - С. 17-19.

146. Глова, В.И. Имитационная модель генератора случайного процесса / В.И. Глова, В.М. Кузнецов, З.Т. Яхина // Межвуз. сб. «Методы и средства статистического моделирования». Казань: КАИ, 1987 - С. 71-75.

147. Песошин, В.А. Нетрадиционные принципы формирования случайных сигналов для защиты информации / В.А. Песошин, В.М. Кузнецов // Тез. докл. научн. техн. конф. КГУ.- Казань, 1994.- С. 178.

148. Кузнецов, В.М. Теоретико-числовая модель цифрового генератора хаоса /

149. B.М. Кузнецов // Вестник КГТУ им. А.Н. Туполева. Казань, 2001, №31. C. 24-26.

150. Кузнецов, В.М. Оценка нестационарности цифрового генератора хаоса / В.М. Кузнецов, В.Л. Васильев, В.А. Песошин // Тез. докл. XIII Междунар. конф. «Проблемы теоретической кибернетики», М.: Изд-во Моск.гос.ун-та, 2002. С. 32.

151. Кузнецов, В.М. Анализ нестационарности цифрового хаотического осциллятора / В.М. Кузнецов // Вестник КГТУ им. А.Н. Туполева. Казань, 2006, №3.-С. 47-50.

152. Кузнецов, В.М. Марковская модель цифрового стохастического генератора / В.М. Кузнецов, В.А. Песошин, E.JI. Столов // Автоматика и телемеханика. -2008,№9.-С. 62-68.

153. Кузнецов, В.М. Стабильные состояния асинхронного генератора / В.М. Кузнецов, В.А. Песошин, E.JL Столов // Ученые записки. Серия физико-математические науки 2010, т. 152, кн. 1. -174-180.

154. A.c. 962933 СССР. Генератор случайной последовательности / В.А. Песошин, В.Ф. Гусев, И.К. Галеев, О.И. Дапин, Г.Н. Иванов, В.М. Кузнецов, Г.И. Кренгель // Бюл.- 1982.- №36.

155. A.c. 1275434 СССР. Генератор случайной последовательности / В.А. Песошин, В.М. Кузнецов, H.H. Сергеев, О.И. Дапин, И.К. Галлеев, Г.Н. Иванов, В.Л. Сафонов // Бюл.- 1986. №45.

156. PATENTSCHRIFT 230658 DDR. Zufallsfolgengenerator / V.A. Pesoshin, V.F. Gusev, I.K. Galeev, O.I. Dapin, G.N. Ivanov, V.M. Kuznecov, G.I. Krengel (SU)//ISM, 1986, III, I, №7.

157. AUTORSKÉ OSVËDCENI 245279 CSR. Generator náhodné posloupnosti / V.A. Pesosin, V.F. Gusev, I.K. Galeev, O.I. Dapin, G.N. Ivanov, V.M. Kuznëcov, G.I. Krengel (SU) // ISM, 1987, №10.

158. A.c. 1413706 СССР. Генератор случайной последовательности / В.И. Глова, О.И. Дапин, В.М. Кузнецов, В.А. Песошин, JI.C. Ермолаева, А.У. Ярмуха-метов // Бюл.- 1988.- №28.

159. A.c. 1040486 СССР. Генератор случайной последовательности / В.А. Песошин, В.М. Кузнецов, О.И. Дапин // Бюл.- 1983.- №33.

160. PATENTSCHRIFT 230371 DDR. Zufallsfolgengenerator / V.A. Pesoshin, V.M. Kuznecov, O.I. Dapin (SU) // ISM, 1986, III, I, №7.

161. AUTORSKÉ OSVËDCENI 245047 CSR. Generator nâhodné posloupnosti / V.A. Pesosin, V.M. Kuznëcov, O.I. Dapin (SU) // ISM, 1987, №10.

162. A.c. 42810 НРБ. Генератор на случайна последователност / В.А. Песошин,

163. B.М. Кузнецов, О.И. Дапин (SU)// Бюл.- 1988,- №2.

164. Кузнецов, О.П. Временной анализ автономных асинхронных логических сетей / О.П. Кузнецов // Автоматика и телемеханика. 1965, №26.1. C. 861-865.

165. Левин, В.И. Динамика логических устройств и систем / В.И. Левин.-М.: Энергия, 1980.- 224 с.

166. Успенский, В.А. Треугольник Паскаля / В.А. Успенский.- М.: Наука, 1979.- 48 с.

167. Кроновер, P.M. Фракталы и хаос в динамических системах. Основы теории / P.M. Кроновер.-М.: Постмаркет, 2000.- 352 с.

168. Сапожников, В.В. Дискретные автоматы с обнаружением отказов / В.В. Сапожников, Вл.В. Сапожников,- Л.: Энергоатомиздат, 1984.- 112 с.

169. Starke, P. On asynchronous stochastic automata / P. Starke, H. Thiele // Inf. and Control, 17, №3, 1970.-P. 265-293.

170. Чирков, M.K. Основы общей теории конечных автоматов / М.К. Чирков.-Л.: Изд-во Ленингр.ун-та, 1975.- 280 с.

171. Бухараев, Р.Г. Вероятностные автоматы / Р.Г. Бухараев.- Казань: Изд-во Казан, гос. ун-т, 1977.- 248 с.

172. Хинчин, А.Я. Работы по математической теории массового обслуживания / А.Я. Хинчин.- М.: Физматгиз, 1963.- 236 с.

173. Гантмахер, Ф.Р. Теория матриц /Ф.Р. Гантмахер.-М.: Наука, 1988.- 552 с.

174. Тараканов, В.Е. Комбинаторные задачи и (0, 1)-матрицы / В.Е. Тараканов.- М.: Наука, 1985.- 192 с.

175. Закревский, А.Д. Алгоритмы синтеза дискретных автоматов / А.Д. За-кревский.- М.: Наука, 1971.- 512 с.

176. Воеводин, В.В. Линейная алгебра/В.В. Воеводин.-М.: Наука, 1974.-336 с.

177. Морозов, A.M. Вопросы проектирования и анализа генераторов случайных величин / Дис. . докт. техн. наук. Тбилиси: Выч. центр АН ГССР, 1973.- 325 с.

178. Вентцель, Е.С. Теория вероятностей / Е.С. Вентцель.- М.: Физматгиз, 1962.- 564 с.

179. Блехман, И.И. Синхронизация в природе и технике / И.И. Блехман.- М.: Наука, 1981.-352 с.

180. Анищенко, B.C. Сложные колебания в простых системах / B.C. Анищен-ко.-М.: Наука, 1990.- 312 с.

181. Афанасьев, В.В. Методы анализа, диагностики и управления поведением нелинейных устройств и систем с фрактальными процессами и хаотической динамикой / В.В. Афанасьев, Ю.Е. Польский.- Казань: Изд-во Казан, гос. техн. ун-та, 2004.- 219 с.

182. Гласс, Л. От часов к хаосу: Ритмы жизни / Л. Гласс, М. Мэки.- М.: Мир, 1991.- 248 с.

183. Николис, Г. Познание сложного. Введение / Г. Николис, И. Пригожин.-М.: Едиториал УРСС, 2003.- 344 с.

184. Ланда, П.С. Взаимодействие периодических и стохастических автоколебаний / П.С. Ланда, С.М. Перминов // Изв. вузов: Радиофизика.-1985.-T.XXVIII, №4.- С. 424-428.

185. Кузнецов, В.М. Простейшие микроэлектронные преобразователи «напряжение-вероятность» / В.М. Кузнецов, В.А. Песошин // Тез. докл. IV Всесоюзн. симпоз. «Проблемы создания преобразователей формы информации».- Киев, 1980.- С. 158-160.

186. Кузнецов, В.М. К вопросу о допустимых погрешностях первичных источников случайных процессов / В.М. Кузнецов, Казан, авиац. ин-т.- Казань, 1980.- 6 с. // Деп. в ЦНИИТЭИприборостроения. 1980.- №1270-Б.

187. Кирьянов, Б.Ф. Малая стохастическая модель / Б.Ф. Кирьянов,

188. B.М. Кузнецов, О.И. Дапин, Казан, авиац. ин-т.- Казань, 1980.- 28 с. // Деп. в ЦНИИТЭИприборостроения. 1980.- №1268-Б.

189. Кузнецов, В.М. Устройство ввода случайных чисел ЕС 6903: техническое описание ПРЗ.054.000 / В.М. Кузнецов // Отраслевая документация." Казань, КЗ ЭВМ, 1986.- С. 73-75, 151-156.

190. Бурнашев, М.И. Генераторы псевдослучайных и случайных чисел на микропрограммируемых БИС / М.И. Бурнашев, В.М. Кузнецов, В.А. Пе-сошин, Казан, авиац. ин-т.- Казань, 1990.- Юс.// Деп. в ВИНИТИ. 1990.-№5650-В90.

191. Песошин, В.А. Генераторы случайных чисел на микропрограммируемых БИС / В.А. Песошин, Бурнашев М.И., В.М. Кузнецов // Вопросы радиоэлектроники. Сер. ЭВТ, вып. 6, 1991,-С. 77-88.

192. Песошин, В.А. Цифровые генераторы случайных сигналов для защиты информационных средств телекоммуникаций / В.А. Песошин, В.М. Кузнецов, H.H. Сергеев // Вопросы радиоэлектроники. Сер. ЭВТ, вып. 4, 19931. C. 95-113.

193. Бахарев, А.Н. Цифровые генераторы случайных чисел на программируемых микросхемах и базовых матричных кристаллах / А.Н. Бахарев,

194. A.C. Гришкин, Д.В. Каштанов, В.М. Кузнецов, В.А. Песошин // Сб. трудов 3-ей Междунар. науч.-практ. конф. «Инфокоммуникационные технологии глобального информационного общества», Казань, 2005г.-Казань: КГУ им. В.И. Ульянова-Ленина, 2006. -С. 343-349.

195. Кузнецов, В.М. Предсказуемость шифроключа. Две позиции аналитика /

196. B.М. Кузнецов, М.И. Шамсетдинов // Науч. -практ. конф. по актуальным вопросам информатики, вычислительной техники и информационной безопасности: материалы конф , Казань: Изд-во Казан.гос.техн.ун-та, 2006.-С. 56-58.

197. Кузнецов, В.М. Формирование случайных последовательностей на основе цифровых технологий / В.М. Кузнецов // Системы управления и информационные технологии. М.-Воронеж, 2007, №1.3. С. 352-358.

198. Кузнецов, В.М. Выбор структуры цифрового генератора случайного сигнала хаотического типа / В.М. Кузнецов // Тез. докл. 9-ой Междунар. конф. «Проблемы техники и технологий телекоммуникаций», Казань: Изд-во Казан.гос.техн.ун-та, 2008. С. 437-438.

199. A.c. 688905 СССР. Генератор случайной последовательности / В.М. Кузнецов, В.А. Песошин // Бюл.- 1979.- №36.

200. A.c. 752308 СССР. Генератор случайных двоичных символов / В.М. Кузнецов, В.А. Песошин // Бюл,- 1980.- №28.

201. A.c. 842809 СССР. Датчик случайных чисел / Т.М. Живетина, В.М. Кузнецов, H.H. Сергеев // Бюл.- 1981.- №24.

202. A.c. 951302 СССР. Датчик случайных чисел / Т.М. Живетина, В.М. Кузнецов, H.H. Сергеев // Бюл.- 1982.- №30.

203. A.c. 999144 СССР. Генератор случайных чисел / В.А. Песошин, О.И. Дапин, В.М. Кузнецов, В.Б. Матвеев, И.Х. Нуриев // Бюл,- 1983. №7.

204. A.c. 1249512 СССР. Генератор случайной последовательности / В.А. Песошин, В.Ф. Гусев, И.К. Галеев, О.И. Дапин, Г.Н. Иванов, В.М. Кузнецов, Г.И Кренгель // Бюл,- 1986.- №29.

205. A.c. 1280618 СССР. Генератор случайных чисел / В.А. Песошин, В.Ф. Гусев, И.К. Галлеев, О.И. Дапин, Г.И Кренгель, В.М. Кузнецов // Бюл.- 1986.-№48.

206. A.c. 1302274 СССР. Устройство для контроля генератора случайных чисел / H.H. Сергеев, О.И. Дапин, В.И. Глова, В.М. Кузнецов, В.В, Моисеев, В.А. Песошин, Е.К. Шаронова // Бюл.- 1987.- №13.

207. A.c. 1328841 СССР. Генератор звукового сигнала / В.М. Кузнецов, В.А. Песошин, С.Н. Осипов //Бюл.- 1987.- №29.

208. PATENTSCHRIFT 261727 DDR. Zufallzahlengenerator / V.A. Pesoshin, V.F. Gusev, I.K. Galeev, O.I. Dapin, G.I. Krengel, V.M. Kuznecov, (SU) // ISM, 1988, III, I, №7.347 ' uï

209. A.c. 1817094 СССР. Генерадюр случайных чисел / М.И Бурнашев, В.М. Кузнецов, В.А. Песошин // Бюл.- 1993.- №19.

210. AUTORSKÉ OSVËDCENI 263471 CSR. Generâtor nâhodych cisel / V.A. Pesosin, V.F. Gusev, I.K. Galeev, O.I. Dapin, V.M. Kuznëcov, G.I. Krengel (SU)//ISM, 1989, №10.

211. Пугачев, B.C. Теория случайных функций и ее применение к задачам автоматического управления / B.C. Пугачев.- М.: Физматгиз, 1962.-884 С.

212. Кравцов, Ю.А. Случайность, детерминированность, предсказуемость / Ю.А. Кравцов // Успехи физических наук, 1989.-Т.158.- С. 92.

213. Кравцов, Ю.А. Случайность и предсказуемость динамического хаоса/ Ю.А. Кравцов // Нелинейные волны. Динамика и эволюция.- М.: Наука, 1989.- С. 276-288.

214. A.c. 1005044 СССР. Генератор равновероятной двоичной цифры / В.Н. Ярмолик, И.П. Кобяк, А.И Шемаров // Бюл.-1983.-№10.

215. Гавел, Я. Генератор случайного процесса ГЕНАП-3 / Я. Гавел // Автоматика и телемеханика.- 1975.- №3.- С. 171-175

216. Мансуров P.M. Разработка и исследование комбинированных генераторов случайных чисел с равномерным законом распределения / Дис. . канд. техн. наук.- Казань: Казань: Казан, авиац. ин-т, 1979.- 169 с.

217. Морозов, A.M. Генератор случайных чисел для ЕС ЭВМ / A.M. Морозов, Д.М. Судаков // Тез. докл. II Всесоюзн. симп. по вероятностным автоматам,-Тбилиси, 1976.- С. 123-124.

218. Сергеев, H.H. Цифровые полисинхронные генераторы случайных чисел / Дис. . канд. техн. наук,- Казань: Казан, авиац. ин-т, 1990.- 257 с.