Аппаратные и алгоритмические средства помехозащиты с использованием систематических кодов с коммутируемой структурой тема диссертации и автореферата по ВАК РФ 05.13.01, кандидат технических наук Лихолетова (Яицкая), Елена Сергеевна

• Лихолетова (Яицкая), Елена Сергеевна
• кандидат технических наук
• 2012

Оглавление диссертации кандидат технических наук Лихолетова (Яицкая), Елена Сергеевна

СОДЕРЖАНИЕ

Введение. Постановка задачи.

Принятые обозначения, сокращения и термины.

Глава 1. Сравнительный анализ методов систематического помехозащитного преобразования двоичных кодов.

1.1 Матричные методы кодирования и декодирования, не параметризованные временем. Методы формирования образующей и проверочной матриц двоичного кода.

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

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

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

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

Глава 2. Анализ возможности сопряжения систематических методов помехозащитного преобразования кодов.

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

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

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

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

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

Глава 3. Динамическое наблюдение состояния двоичных динамических систем.

3.1 Проблема наблюдения линейных двоичных динамических систем.

3.2 Концепция двоичного канала как автономной двоичной динамической системы.

3.3 Декодирующее устройство как динамический наблюдатель состояния регистра двоичного канала связи.

3.3.1 Базовая процедура синтеза на основе матричного уравнения Сильвестра.

3.3.2 Использование многовариантности решения матричного уравнения Сильвестра для формирования банка проверочных матриц систематических помехозащищенных кодов.

3.4 Проблема наблюдения нелинейных двоичных динамических систем.

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

Глава 4. Коммутация структуры пространства двоичных динамических систем.

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

4.1.1 Неподвижные состояния.

4.1.2 Замкнутые циклы.

4.1.3 Анализ структуры состояний ЛДДС, из которых под действием и(к) = 1 возможен переход В нулевое состояние

4.2 Управление структурой пространства линейных двоичных динамических систем средствами нелинейно формируемого сигнала коммутации.

4.3 Управление структурой пространства линейных двоичных динамических систем средствами нелинейно формируемого сигнала коммутации на основе наблюдения состояния системы

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

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

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

5.1 Проблема формирования сигнала коррекции искажений систематических кодов на основе синдрома.

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

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

5.4 Проблема канального и аппаратного времени.

5.5 Коммутация алгоритмических и аппаратных средств в решении задачи минимизации затрат канального времени при исправлении многократных искажений.

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

Введение диссертации (часть автореферата) на тему «Аппаратные и алгоритмические средства помехозащиты с использованием систематических кодов с коммутируемой структурой»

Диссертационные исследования на тему «Аппаратные и алгоритмические средства помехозащиты с использованием систематических кодов с коммутируемой структурой», выполненные в лаборатории технической информатики и телемеханики кафедры систем управления и информатики Санкт-Петербургского национального исследовательского университета информационных технологий, механики и оптики (НИУ ИТМО), мотивированы диалектикой научной мысли коллектива лаборатории.

В первое десятилетие нынешнего века кафедра систем управления и информатики НИУ ИТМО силами сотрудников лаборатории технической информатики и телемеханики (ЛТИТ) под научным руководством профессора А.В. Ушакова интенсифицировала исследования в области теории двоичных динамических систем (ДДС) дискретной автоматики и телемеханики. Интенсификация исследований в указанной области была продиктована теми обстоятельствами, что кафедра в это время в инициативном порядке подключилась к Региональной комплексной целевой программе (РКЦП) «ТЕЛЕМЕХАНИКА - 2000», возложенной на НИИ Точной механики (НИИ ТМ) г. Санкт-Петербург для модернизации управления стрелочным и инженерным хозяйством метрополитенов городов Казани и Санкт-Петербурга. В это же время лаборатория ЛТИТ кафедры систем управления и информатики (СУиИ) устанавливает творческие связи с Санкт-Петербургской фирмой ЗАО «Системы связи и телемеханики», которая появилась на рынке телемеханической продукции в 1994 году и заявила о себе целой гаммой систем телемеханики и диспетчерского управления на основе базового комплекта «Телеканал-М», удачно агрегирующего своими функциональными возможностями телемеханическую аппаратуру прежних поколений с сетевыми телекоммуникационными технологиями типа Ethernet различных скоростных модификаций. На это же время в деятельности лаборатории приходится ее участие в конкурсной работе по подготовке технических предложений по разработке системы дистанционного управления гидроагрегатом с поворотно-лопастной гидротурбиной ПЛ-661-ВБ-930 производства АО «JIM3» с целью регулирования частоты генерируемой электроэнергии, качество которой должно соответствовать требованиям ГОСТ 13109-97 «Электрическая энергия. Совместимость технических средств электромагнитная. Нормы качества энергии в системах электроснабжения общего назначения» [12]. Заказчиком работы является ОАО «Боткинская ГЭС» [96], условия разработки сформулированы в соответствии с: «Директивные документы/Приказы по УК ВоГЭК/ Приложение к приказу №1758 от 14.09.2004г».

Проблемы, с которыми пришлось столкнуться и решать лаборатории ЛТИТ кафедры СУиИ в результате сотрудничества с перечисленными организациями, легли в основу диссертационных исследований аспирантов кафедры A.A. Мельникова и О.С. Осипцевой, которые успешно защитили диссертации на соискание ученой степени кандидата технических наук, выполненных соответственно на темы «Устройства дискретной автоматики с гибким использованием ресурса помехозащиты» (по специальности 05.13.05 - «Элементы и устройства вычислительной техники и систем управления») и «Цифровое дистанционное управление техническим объектом с учетом фактора канальной среды» (по специальности 05.13.01 - «Системный анализ, управление и обработка информации (в технических системах)»), а также диссертационных исследований магистра кафедры П.С. Быстрова, который успешно защитил диссертацию на соискание ученой степени магистра техники и технологии на тему «Проблема согласования пропускной способности Ethernet с отечественными и зарубежными телемеханическими протоколами». Удачным обобщением результатов полученных исследований стала монография «Двоичные динамические системы устройств дискретной автоматики», подготовленная авторским коллективом в составе A.A. Мельникова и A.B. Ушакова, изданная в 2005 году.

Научные исследования в области теории двоичных динамических систем, проводимые в лаборатории ЛТИТ кафедры СУиИ, обнаружили потенциал расширения функциональных возможностей ДДС путем включения в их состав дополнительных устройств коммутации, что позволило, по существу, создать новый тип двоичных устройств дискретной автоматики (УДА), занимающих промежуточное положение между линейными ДДС и нелинейными ДДС (микропрограммными автоматами). Данное направление легло в основу диссертационных исследований соискателя, ориентированных на задачу разработки аппаратных и алгоритмических средств помехозащиты, применительно к системам дистанционного управления.

Известно [46], что системы дистанционного управления в зависимости от интенсивности заявок на обслуживание функционируют в следующих режимах:

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

- автоматическое дистанционное управление без участия человека или его пассивное участие в виде наблюдателя за ходом управляемого процесса (цифровое автоматическое дистанционное управление в реальном времени или «оп Нпе»-управление).

Анализ статистики заявок на телемеханическое обслуживание [46], формируемых технологическими ресурсами в электроэнергетике, показывает, что интенсивность этих заявок принадлежит диапазону (300 -5000) заявок в год. При такой интенсивности заявок дистанционное управление электроэнергетическим оборудованием может осуществляться средствами телемеханических протоколов практически любых поколений и с использованием коммутируемого доступа к канальной среде. Этой ситуации соответствует режим автоматизированного дистанционного управления.

Режим автоматического дистанционного управления в реальном времени возникает при управлении быстродействующим технологическим оборудованием, например в задаче [46] поддержания скорости вращения поворотно-лопастной гидротурбиной ПЛ-661-ВБ-930 производства ОАО «ЛМЗ» с целью регулирования частоты генерируемой электроэнергии, которая обеспечивает высокостабильное поддержания в энергосети частоты / = 50 Гц при набросе и сбросе нагрузки в сети или уменьшении уровня воды в верхнем бьефе гидроэлектростанции. Этот режим обеспечивается возможностями РРР - протокола (англ. Point-to-Point Protocol [86]), который характеризуется некоммутируемостью доступа к канальной среде, проще говоря, канальная среда монополизируется на весь цикл «технической жизни» обслуживаемого технического объекта. Такие системы синтезируются с помощью алгоритмов синтеза цифровых регуляторов непрерывными техническими объектами с учетом всех факторов канальной среды, которая структурно входит в состав управляемого технического объекта. В этом режиме управление осуществляется автоматически без непосредственного участия лиц, принимающих решение (JiliP) типа оператор или диспетчер. Функции ЛПР сводятся исключительно к наблюдению (мониторингу) за ходом управляемого процесса.

Автор полагает, что результаты диссертационного исследования применимы как для случая автоматизированного дистанционного управления с активным участием человека-оператора, то есть, по существу, диспетчерского управления, так и для случая автоматического дистанционного управления без участия человека или его пассивного участия в виде наблюдателя за ходом управляемого процесса (цифрового автоматического дистанционного управления в реальном времени или «оп Нпе»-управления) с доминированием последнего.

Дополнительно автор считает целесообразным обратиться к держателям стандарта IEEE 802.3 сетевой технологии Ethernet, использующих процедуру CRC (англ. Cyclic Redundancy Check) [94] для обеспечения помехозащиты передаваемых кадров, с целью ее модификации для придания на основе результатов диссертационных разработок процедуре помехозащиты свойства коррекции искажения передаваемого кадра.

Предпринятые исследования были поддержаны премиями Правительства Санкт-Петербурга за победу в конкурсах грантов: «Конкурс грантов 2010 года для студентов и аспирантов вузов и академических институтов, расположенных на территории Санкт-Петербурга» и «Конкурс грантов 2011 года для студентов и аспирантов вузов и академических институтов, расположенных на территории Санкт-Петербурга».

Основной математический аппарат, примененный при проведении диссертационных исследований составляют метод пространства состояний [18, 20], применительно к теории ДДС; возможности матричного уравнения Сильвестра, алгоритмически реализующего концепцию векторного и матричного подобия над двоичным полем Галуа; теория конечных (микропрограммных) автоматов; шенноновский подход к оценке пропускной способности канальной среды в условиях помех; методы систематического помехозащитного кодирования и декодирования в задаче обеспечения информационной надежности в трех версиях его модельного представления, а также оценки временных затрат и поиск путей их минимизации путем структурной коммутации. Математический аппарат поддерживается современными программными продуктами последних версий.

Соискатель отдает себе отчет в том, что предлагаемая вниманию научной общественности диссертация является скромным вкладом в теорию двоичных динамических систем УДА, методов помехозащитного преобразования кодов, основы которых заложены фундаментальными работами М. Арбиба (М. Arbib) [2]; Дж. Буля (G. Boole) [70, 71]; Д. Бохманна (D. Bochmann) [6]; А. Гилла (А. Gill) [8]; Э. Мура (Е. Moore) [83, 84] К. Шеннона (С. Shannon) [64, 92]; У. Питерсона (W. Peterson) [33] И. Розенталя (J. Rosenthal) [77, 87-90,93]; Ф. Селлерса (F. Sellers) [37, 91] X. Постхофа (С. Posthoff) [6]; Р. Хэмминга (R. Hamming) [60, 74] В.М. Глушкова [9]; В.А. Горбатова [11]; В.В. Дубаренко [17]

Р.Г. Фараджева [59]; Ю.Л. Сагаловича [23, 35]; В.В. Сапожникова [36] Вл.В. Сапожникова [36]; Б.Я. Советов [39, 40], A.A. Шалыто [61-63] Н.С. Щербакова [65] и многих других зарубежных и отечественных ученых [16, 19, 21, 22, 24, 25, 29, 30, 32, 46, 72, 73, 75, 76, 78, 80-82, 85].

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

Заключение диссертации по теме «Системный анализ, управление и обработка информации (по отраслям)», Лихолетова (Яицкая), Елена Сергеевна

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

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

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

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

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

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

ЗАКЛЮЧЕНИЕ

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

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

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

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

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

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

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

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

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

Если поставить задачу формулирования главного результата проведенных диссертационных исследований одной фразой, то автор считает, что главный результат, не смотря на его универсальность, в основном сориентирован на использование в составе аппаратуры современных телемеханических протоколов (ТМП) при использовании РРР-технологии в задаче «on-line» дистанционного цифрового управления уникальными техническими объектами с целью максимальной минимизации интервала дискретности цифрового модельного представления непрерывных технических объектов и, как следствие, повышение пропускной способности канальной среды.

Список литературы диссертационного исследования кандидат технических наук Лихолетова (Яицкая), Елена Сергеевна, 2012 год

1. Андреев Ю.Н. Управление конечномерными линейными объектами. М.: Наука, 1976.-424 с.

2. Арбиб М. Теория автоматов // Калман Р., Фалб П., Арбиб М. Очерки по математической теории систем. М.: Мир, 1971. - 400 с.

3. Баранов С.И. Синтез микропрограммных автоматов. Л.: Энергия, 1979. -232 с.

4. Баричев С.Г., Гончаров В.В., Серов P.E. Основы современной криптографии. М.: Горячая линия Телеком, 2001. - 120 с.

5. БлейхутР. Теория и практика кодов, контролирующих ошибки: Пер. с англ. М.: Мир, 1986. - 576 с.

6. Бохман Д., Постхофф X. Двоичные динамические системы. М.: Энергоатомиздат, 1986. - 400 с.

7. Гантмахер Ф.Р. Теория матриц. 5-е изд. - М.: ФИЗМАТ ЛИТ, 2004. -560 с.

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

9. Глушков В.М. Введение в кибернетику. Киев: изд-во АН УССР, 1964. -324 с.

10. Гольдштейн Б.С. Системы коммутации. СПб.: БХВ-Санкт-Петербург, 2003.-318 с.

11. Горбатов В.А. Фундаментальные основы дискретной автоматики. Информационная математика. М.: Наука, Физматлит, 2000 - 544 с.

12. ГОСТ 13109-97. Электрическая энергия. Совместимость технических средств электромагнитная. Нормы качества энергии в системах электроснабжения общего назначения. Введ. 01.01.1999. - М.: Госстандарт России. - 33 с.

13. ГОСТ 26.205-88Е. Комплексы и устройства телемеханики. Введ. 01.01.1990. - М.: ГК СССР по стандартам. - 29 с.

14. ГОСТ Р 34.10-2001. Информационная технология. Криптографическая защита информации. Процессы формирования и проверки электронной цифровой подписи. Введ. 12.09.2001. - М.: Госстандарт России. - 12 с.

15. ГОСТ Р 34.10-94. Информационная технология. Криптографическая защита информации. Процедуры выработки и проверки электронной цифровой подписи на базе ассиметричного криптографического алгоритма. Введ. 01.01.1995. - М.: Госстандарт России. - 21 с.

16. Гудвин Г.К. Проектирование систем управления / Г.К. Гудвин, С.Ф. Гребе, М.Э. Сальгадо М.: БИНОМ. Лаборатория знаний, 2004. -911 с.

17. Дубаренко В.В., Коновалов A.C., Кучмин А.Ю. Оптимизация динамики систем при управлении в нестационарных условиях. Учебное пособие. -СПб:. СПбГУАП, 2008. 77 с.

18. Дударенко H.A., Слита О.В., Ушаков A.B. Математические основы современной теории управления: аппарат метода пространства состояний: учебное пособие / Под ред. Ушакова A.B. СПб: СПбГУ ИТМО, 2008. - 323 с.

19. Емельянов Г. А., Шварцман В. О. Теория передачи дискретной информации. М.: Связь, 1979. - 424 с.

20. Заде Л., Дезоер Ч. Теория линейных систем. Метод пространства состояний. М.: Наука, 1970. - 704 с.

21. Золотарев В.В. Коды и кодирование. М.: Знание, 1990. - 64 с.

22. Золотарев В.В., Овечкин Г.В. Помехоустойчивое кодирование. Методы и алгоритмы. Справочник / Под ред. чл.-кор. РАН Ю.Б. Зубарова. М.: Горячая линия-Телеком, 2004 - 126 с.

23. Калинчук С.А., Сагалович Ю.Л. Упорядоченная система образующих симметрической группы для решения задач коммутации // Автоматика и телемеханика, 2009, № 2. С. 142-152.

24. Кирюшин A.A., Рассветалова Л.А., Ушаков A.B. Модальное управление в задаче синтеза двоичных динамических систем в логике линейных триггеров // Автоматика и телемеханика, 1993, №8. С. 149-156.

25. Компьютерные сети. Принципы, технологии, протоколы: Учебник для вузов. 4-е изд. / В.Г. Олифер, H.A. Олифер. СПб.: Питер, 2010.

26. Мельников А. А., РукуйжаЕ. В., Ушаков А. В. Использование свойств матриц для обнаружения неустойчивых циклов и неподвижных состояний двоичных динамических систем // Научно технический вестник СПбГИТМО(ТУ). 2002. Выпуск 6, С. 243-249.

27. Мельников A.A., Ушаков A.B. Двоичные динамические системы дискретной автоматики / Под ред. А.В.Ушакова. СПб.: СПбГУ ИТМО, 2005. - 214 с.

28. Молдовян H.A., Молдовян A.A. Введение в криптосистемы с открытым ключом. СПб.: БХВ-Петербург, 2005,- 288 с.

29. Морелос-Сарагоса Р. Искусство помехоустойчивого кодирования. Методы, алгоритмы, применение. М.: Техносфера, 2005. - 320 с.

30. Муттер В.М. Основы помехоустойчивой телепередачи информации. -Л.: Энергоатомиздат, 1990. 228 с.

31. Нечаев В.И. Элементы криптографии (Основы теории защиты информации): Учеб. пособие для ун-тов и пед. вузов / Под ред. В.А. Садовничего М.: Высшая школа, 1999 - 109 с.

32. Передача дискретных сообщений: Учебник для вузов / Н.В. Захарченко, В.О. Шварцман, В.П. Шувалов и др. Под ред. В.П. Шувалова. М.: Радио и связь, 1990. - 464 с.

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

34. Рассветалова JI.A., Ушаков A.B. Двоичное динамическое наблюдение в задаче помехоустойчивого кодирования // Автоматика и телемеханика, 1993, №6. -С. 179-190.

35. Сагалович Ю.Л. Помехоустойчивое кодирование состояний асинхронного конечного автомата // Проблемы передачи информации, 1965, №2.-С. 54-59.

36. Сапожников В. В., Сапожников Вл. В., Гессель М. Самодвойственные дискретные устройства. СПб.: Энергоатомиздат. Санкт-Петербургское отд-ние, 2001.

37. Селлерс Ф. Методы обнаружения ошибок в работе ЭЦВМ. М.: Мир, 1972.-310 с.

38. Синтез дискретных регуляторов при помощи ЭВМ / В.В. Григорьев, В.Н. Дроздов, В.В. Лаврентьев, A.B. Ушаков Л.: Машиностроение, Ленингр. отд-ние, 1983. - 245 с.

39. Советов Б.Я. Теория информации. Л.: Изд-во Ленингр. ун-та, 1977. -184 с.

40. Советов Б.Я., Цехановский В.В. Информационные технологии. Учеб. для вузов. М.: Высшая школа, 2009. - 263 с.

41. Согомонян Е.С. Слабаков Е.В. Самопроверяемые устройства и отказоустойчивые системы. М.: Радио и связь, 1989. - 208 с.

42. Ту Ю. Современная теория управления / Пер. с англ. Я.Н Гибадулина, под ред. В.В. Солодовникова. М.: Машиностроение, 1971. - 472 с.

43. Тутевивич В. Н. Телемеханика: Учебное пособие для студентов вузов спец. «Автоматика и телемеханика». 2-е изд., перераб. и доп. - М.: Высшая школа, 1985. - 423 с.

44. Ушаков A.B., Яицкая Е.С. Разделы 5,6.7. Прикладная теория информации: элементы теории и практикум: Учебное пособие для вузов. СПб.: НИУ ИТМО, 2012.-326 с.

45. Ушаков A.B. Синтез циклических кодирующих и декодирующих устройств в логике произвольных триггеров // Автоматика и телемеханика, 1997, №11.-С. 178-184.

46. Ушаков A.B., Быстров П.С., Нуйя О.С. Сетевые технологии в процессах управления: Учебное пособие для вузов / Под ред. A.B. Ушакова. -СПБ.: НИУ ИТМО, 2012. 350 с.

47. Ушаков A.B., Яицкая Е.С. Анализ структуры пространства состояний линейных двоичных динамических систем на основе их рекуррентного модельного представления // Научно технический вестник СПбГУ ИТМО. 2011. №4(74). С. 43-49.

48. Ушаков A.B., Яицкая E.С. Динамическое наблюдение нелинейных двоичных динамических систем // Научно технический вестник СПбГУ ИТМО. 2010. №4(68). С. 38-43.

49. Ушаков A.B., Яицкая Е.С. Коммутация структуры пространства линейных устройств рекуррентного преобразования кодов // Изв. Вузов. Приборостроение. 2012. Т. 55. №5. С. 9-17.

50. Ушаков A.B., Яицкая Е.С. Линейная коммутация структуры пространства нелинейных устройств рекуррентного преобразования двоичных кодов // Научно-технический вестник информационных технологий, механики и оптики. 2012. Т. 80. № 4. С. 50-55.

51. Ушаков A.B., Яицкая Е.С. Модификация матриц систематических помехозащищенных кодов в задаче обеспечения скрытности передачи информации // Изв. Вузов. Приборостроение. 2012. Т. 55. №3. С.80-82.

52. Ушаков A.B., Яицкая Е.С. Помехозащитное декодирование систематических кодов // Изв. Вузов. Приборостроение. 2009. Т.52, №11. С. 77-83.

53. Ушаков A.B., Яицкая Е.С. Рекуррентное систематическое помехозащитное преобразование кодов: возможности аппарата линейных двоичных динамических систем // Изв. Вузов. Приборостроение. 2011. Т.54, №3. С. 17-25.

54. Ушаков A.B., Яицкая Е.С. Формирование банка проверочных матриц систематических помехозащищенных кодов с помощью матричного мультипликативного компонента // Научно технический вестник СПбГУ ИТМО. 2011. №4(74). С. 162-163.

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

56. ХэммингР.В. Теория кодирования и теория информации/Пер. с англ. С.И. Гельфанд, под ред. Б.С. Цибакова. М.: Радио и связь, 1983. -176 с.

57. Шалыто A.A. SWITCH-технология. Алгоритмизация и программирование задач логического управления. СПб.: Наука, 1998. - 628 с.

58. Шалыто A.A. Использование граф-схем и графов переходов при программной реализации алгоритмов логического управления. II // Автоматика и телемеханика. 1996. № 7. С. 144-169.

59. Шалыто A.A. Логическое управление. Методы аппаратной и программной реализации. СПб.: Наука, 2000. - 780 с.

60. Шеннон К. Работы по теории информации и кибернетике М.: Изд-во иностранной литературы, 1963. - 830 с.

61. Щербаков Н.С. Достоверность работы цифровых устройств. М.: Машиностроение, 1989. - 224 с.

62. Яицкая Е.С. Динамическое наблюдение нелинейных двоичных динамических систем. Сборник тезисов VII Всероссийской межвузовской конференции молодых ученых, 20 - 23 апреля 2010. -Выпуск 5, С. 32-33.

63. Яицкая Е.С. Структура пространств матриц состояния устройств рекуррентного помехозащитного преобразования систематических кодов. Сборник тезисов VIII Всероссийской межвузовской конференции молодых ученых, 12 - 15 апреля 2011. - Выпуск 1, С. 214-215.

64. Boole G. An investigation of the laws of thought on which are founded the mathematical theories of logic and probabilities. Macmillan: London, 1854.

65. Boole G. The Calculus of Logic // The Cambridge and Dublin Mathematical Journal, 1848. no.3. P. 183-198.

66. Garrett P. The Mathematics of Coding Theory. Prentice Hall, 2003. 398 p.

67. Hadjicostis C.N. Nonconcurrent Error Detection and Correction in Fault-Tolerant Linear Finite-State Machines // IEEE Trans. Automat. Contr., Dec. 2003. Vol.48, no.12. P.2133-2140.

68. Hamming R. Coding and Information Theory. Prentice-Hall, 1986. 272 p.

69. Justesen J., HoholdtT. A Course in Error-Correcting Codes. European M.S., 2004. 192 p.

70. Kabatiansky G., Krouk E., Semenov S. Error Correcting Coding and Security for Data Networks. Analysis of the Superchannel Concept. John Wiley, 2005. -290 p.

71. Kelley C.A., Rosenthal J., Srikhara D. Systems theoretic questions in coding theory//Proceedings in Applied Mathematics and Mechanics, 2008. №7(1). P. 1030601-1030602.

72. Ling S., Xing C. Coding Theory: A First Course. Cambridge University Press, 2004. 236 p.

73. LuenbergerD. Information Science. Princeton, NJ; Oxford: Princeton University Press., 2006. 423 p.

74. Massey J.L., Sain M.K. Codes, automata and continuous systems: Explicit interconnections//IEEE Trans. Automat. Contr., Dec. 1967. Vol. AC-18. P. 644-650.

75. Massey J.L., Sain M.K. Inverses of linear sequential circuits//IEEE Trans. Comp., Apr. 1968. Vol.C-17. P.330-337.

76. Micheloni R., Marelli A., Ravasio R. Error Correction Codes for NonVolatile Memories. Springer, 2008. 337 p.

77. Moore E.F. Gedanken-experiments on Sequential Machines//Automata Studies, Annals of Mathematical Studies, Princeton University Press, Princeton, N.J. 1956. no.34. P. 129-153.

78. Moore E.F. Machine models of self-reproduction // Proceedings of Symposia in Applied Mathematics, The American Mathematical Society, 1962. Vol.14. P. 17-33.

79. Purser M. Introduction to Error Correcting Codes. Artech House, 1995. -133 p.

80. RFC 1661. Point-to-Point Protocol. July 1994.

81. Rosenthal J. Some Interesting Problems in Systems Theory which are of Fundamental Importance in Coding Theory // Proc. 36 Conf. Decision Control. San Diego, CA, 1997. Vol. 5. P. 4574-4579.

82. Rosenthal J., Smarandache R. Maximum distance separable convolutional codes // Appl. Alg. Eng., Commun. Comput. 1999. Vol.10, no. 1. P. 15-32.

83. Rosenthal J., York F.V. and Schumacher J.M. On the relationship between algebraic systems theory and coding theory: Representations of codes // Proc. 34 Conf. Decision Control. New Orleans, LA, 1995. Vol.3. P. 3271-3276.

84. Rosenthal J., York F.V. BCH convolutional codes // IEEE Trans. Inform. Theory, Sept. 1999. Vol.45. P. 1833-1844.

85. Sellers F., Hsio M.Y., Bearson L.W. Analyzing errors with Boolean difference // IEEE Trans. Comp., 1968. Vol.C-17. P. 676-683.

86. Shannon C. Coding Theorems for a Discrete Source With a Fidelity Criterion//Institute of Radio Engineers, International Convention Record, 1959. Vol. 7 (Part 4). P. 142-163.

87. Trautmann A.L., Rosenthal J. A complete characterization of irreducible cyclic orbit codes.//WCC 2011 Seventh Workshop on Coding and Cryptography. Paris, FR, 11 April 2011 - 14 April 2011. P. 219-228.

88. Koopman P., Chakravarty T. Cyclic Redundancy Code (CRC) Polynomial Selection For Embedded Networks

89. URL: http://www.ece.cmu.edu/~koopman/roses/dsn04/ koopman04crcpolyembedded.pdf

90. URL: http://www.mathworks.com/products/matlab/

91. URL: http://www.votges.rushydro.ru/