WWW.DISS.SELUK.RU

БЕСПЛАТНАЯ ЭЛЕКТРОННАЯ БИБЛИОТЕКА
(Авторефераты, диссертации, методички, учебные программы, монографии)

 

Московский государственный университет

имени М.В. Ломоносова

Механико-математический факультет

На правах рукописи

УДК 519.1, 519.7

Лобанов Михаил Сергеевич

О соотношениях между

алгебраической иммунностью и

нелинейностью

булевых функций

01.01.09 дискретная математика и математическая кибернетика

АВТОРЕФЕРАТ

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

Москва 2009

Работа выполнена на кафедре дискретной математики Механико-математического факультета Московского государственного университета имени М.В. Ломоносова.

Научный руководитель: кандидат физико-математических наук, доцент Таранников Юрий Валерьевич

Официальные оппоненты: доктор физико-математических наук, профессор Шевченко Валерий Николаевич кандидат физико-математических наук Логачев Олег Алексеевич

Ведущая организация: Институт математики имени С.Л. Соболева СО РАН,

Защита диссертации состоится 20 ноября 2009 г. в 16 ч. 45 м. на заседании диссертационного совета Д.501.001.84 при Московском государственном университете имени М.В. Ломоносова по адресу: Российская Федерация, 119991,Москва, ГСП-1, Ленинские горы, дом 1, МГУ им М.В.Ломоносова, Механико-математический факультет, аудитория 14-08.

С диссертацией можно ознакомиться в библиотеке Механико-математического факультета МГУ (Главное здание, 14 этаж)

Автореферат разослан 20 октября 2009 г.

Ученый секретарь диссертационного совета Д501.001.84 при МГУ доктор физико-математических наук, профессор А.О. Иванов

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

Актуальность темы.

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

Многие потоковые шифры состоят из линейной части, порождающей последовательность с большим периодом, обычно состоящей из одного или нескольких регистров сдвига с линейной обратной связью (linear feedback shift registers, LFSR), и нелинейной комбинирующей функции f, которая порождает выходную последовательность по данным линейным входам. Исследования криптографической устойчивости таких шифров большей частью сводятся к исследованию нелинейной функции f, в частности, к исследованию этой функции с точки зрения того, удовлетворяет или не удовлетворяет она некоторым критериям, необходимым для того, чтоб успешно противостоять различным криптографическим атакам. Часто эти критерии конфликтуют между собой.

n Пусть f является булевой функцией над F2. Известно, что f единственным образом представляется полиномом. Степенью булевой функции называется длина самого длинного слагаемого в ее полиноме (количество переменных в этом слагаемом), обозначение deg(f ). Булева n n функция g над F2 называется аннигилятором булевой функции f над F2, если f g = 0.

n Алгебраической иммунностью AI(f ) булевой функции f над F n называется степень булевой функции g над F2, где g не равная тождественно нулю функция с минимальной степенью, такая что f g = 0 или (f + 1)g = 0.

Известно, что для любой f над F2 выполнено AI(f ) n.

n Алгебраическая иммунность – это способность противостоять разного рода алгебраическим атакам на регистры сдвига с линейной обратной связью (LFSR). Эти атаки впервые были предложены Н.Куртуа и В.Майером1. Они раскрывают секретный ключ путем решения системы уравнений, зависящих от многих переменных. Данные системы уравнений описывают соотношения между битами ключа/состояния и выходными битами f (комбинирующей функции для LFSR). Н.Куртуа2 показал, что, если найдено такое соотношение низкой степени, алгебраические атаки очень эффективны.

N.Courtois and W.Meier. Algebraic attacks on stream ciphers with linear feedback // Anvances in cryptology, EUROCRYPT 2003. Berlin/Heidelberg: Springer Verl., 2003, P. 345-359. (Lecture Notes in Computer Science; Vol. 2656).

N.Courtois and W.Meier. Algebraic attacks on stream ciphers with linear feedback // Anvances in cryptology, EUROCRYPT 2003. Berlin/Heidelberg: Springer Verl., 2003. P. 345-359. (Lecture Notes in Computer Science; Vol. 2656).

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

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



Н.Куртуа и В.Майером было предложено три разновидности такого рода атак. Позже В.Майер, Е.Пасалич и К.Карле4 свели эти три вида к двум и ввели новый термин – алгебраическая иммунность. Те же авторы доказали, что если алгебраическая иммунность достаточно высока, то алгебраическим атакам можно успешно противостоять.

Ранее важными критериями для комбинирующих функций в LFSR признавались высокая алгебраическая степень, высокий порядок корреляционной иммунности (устойчивости) и большое расстояние до множества аффинных функций (высокая нелинейность), чтобы успешно противостоять атакам Берлекэмпа–Мэсси и различным типам корреляционных и линейных атак5, 6.

Требование высокой алгебраической иммунности может конфликтовать с требованиями удовлетворения остальным критериям. В.Майер, Е.Пасалич и К.Карле7 показали, что, например, функции класса Майораны–Макфарланда, имеющие высокую устойчивость, высокую нелинейность (асимптотически N.Courtois and W.Meier. Algebraic attacks on stream ciphers with linear feedback // Anvances in cryptology, EUROCRYPT 2003. Berlin/Heidelberg: Springer Verl., 2003. P. 345-359. (Lecture Notes in Computer Science; Vol. 2656).

W.Meier, E.Pasalic and C.Carlet. Algebraic attacks and decomposition of Boolean functions // Advances in Cryptology EUROCRYPT 2004. Berlin/Heidelberg: Springer Verl., 2004. P. 474-491. (Lecture Notes in Computer Science; Vol. 3027).

T.Johansson, F.Jnsson. Fast correlation attacks through reconstruction of linear polynomials // Advanced in Cryptology: Crypto 2000 (Santa Barbara, California, USA, August 20-24, 2000). Springer-Verlag, 2000.

P. 300–315. (Lecture Notes in Computer Science; Vol. 1880) A.Canteaut, M.Trabbia. Improved fast correlation attacks using Parity-check equations of weight 4 and // Eurocrypt 2000 (Bruges, Belgium, May 14–18, 2000). Springer-Verlag, 2000. P. 573–588. (Lecture Notes in Computer Science; Vol. 1807).

W.Meier, E.Pasalic and C.Carlet. Algebraic attacks and decomposition of Boolean functions // Advances in Cryptology EUROCRYPT 2004. Berlin/Heidelberg: Springer Verl., 2004. P. 474-491. (Lecture Notes in Computer Science; Vol. 3027).

порядка 2n1 ) и оптимальную алгебраическую степень8, 9, 10, 11, имеют при этом достаточно низкую алгебраическую иммунность и не могут противостоять алгебраическим атакам.

Расстояние между булевыми функциями f1 и f2 определяется как d(f1, f2 ) =| {x F2 | f1 (x) = f2 (x)} |.

Нелинейностью r-го порядка nlr (f ) булевой функции f над F называется min d(f, l). Нелинейностью nl(f ) функции f называется расстояние между f и множеством аффинных функций, т. е. нелинейность первого порядка.

Отметим, что на языке теории кодирования нелинейность r-го порядка функции это расстояние функции до RM (r, n) кода Рида-Маллера r-го порядка.

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

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

С точки зрения криптоанализа от булевой функции, используемой в качестве фильтра в потоковом шифре, надо требовать не только достаточно высокой нелинейности первого порядка, но и высокой нелинейности других порядков. В этом можно убедиться по работам Н.Куртуа12, Ж.Голича13, Т.Иваты и К.Куросавы14, Л.Кнудсена и М.Робшау15, У.Маурера16, В.Миллана17.

Настоящая работа посвящена проблеме оценки снизу нелинейности r-го порядка функции через значение ее алгебраической иммунности.

J.F.Dillon. Elementary Hadamard Dierence Sets // Ph. D. thesis, University of Maryland, USA, 1974.

P.Camion, C.Carlet, P.Charpin, N.Sendrier. On correlation-immune functions // Eurocrypt’91 (Brighton, UK, April 8–11, 1991). Springer-Verlag, 1991. P. 86–100.

C.Carlet. A larger class of cryptographic Boolean functions via a study of the Maiorana-McFarland Construction // Crypto 2002 (Santa Barbara, California, USA, August 18–22, 2002). Springer-Verlag, 2002.

P. 549–564. (Lecture Notes in Computer Science; Vol. 2442).

E.Pasalic. Degree optimized resilient Boolean functions from Maiorana–McFarland class // in 9-th IMA Conference on Cryptography and Coding, 2003.

N.Courtois. Higher order corralation attacks, XL algorithm and cryptanalysis of Toyocrypt // Proceedings of ICISC 2002. LNCS 2587. P. 182-199.

J.Golic. Fast low order approximation of cryptographic funtions // Proceedings of EUROCRYPT’96.

LNCS 1070, 1996. P.268-282.

T.Iwata, K.Kurosawa. Probabilistic higher order dierential attack and higher order bent function // Proceedings of ASIACRYPT’99. LNCS 1716, 1999. P.62-74.

L.R.Knudsen, M.J.B.Robshaw. Non-linear approximations in linear cryptanalysis // Proceedings of EUROCRYPT’96. LNCS 1070, 1996. P. 224-236.

U.M.Maurer. New approaches to the design of self-synchronizing stream ciphers // Proceedings of EUROCRYPT’91. LNCS 547, 1991. P. 458-471.

W.Millan. Low order approximation of cipher functions // Cryptographic Policy and Algorithms. LNCS 1029, 1996. P. 144-155.

Получение таких оценок дает не только информацию о взаимосвязи этих двух свойств, но важно еще и по следующей причине. Если вопросы связанные с нелинейностью nl(f ) = nl1 (f ) достаточно хорошо изучены, и существует аппарат коэффициентов Уолша, который позволяет ее вычислять, то с нелинейностью более высоких порядков все обстоит заметно хуже. Про nlr (f ) при r 2 мало что известно. Стоит упомянуть наилучшую, как нам известно, на этот момент верхнюю асимптотическую оценку из работы К.Карле и С.Менаже18.

В работе Ж.Коэна, И.Хонкалы, С.Лицына и А.Лобстейна19 доказана также достаточно сильная нижняя оценка, которая, правда, тоже носит асимптотический характер и поэтому ничего не дает для оценки нелинейности r-го порядка при r > 1 для конкретных функций.

Эффективных алгоритмов подсчета нелинейности порядков выше первого тоже, насколько нам известно, пока не предложено. Алгоритм Г.Кабатянского и К.Тавернье20 и его модификации21, 22 работают только при r = 2 и n 13.

В свете выше изложенного, получение как можно более сильных нижних оценок нелинейности r-го порядка через значение алгебраической иммунности приобретает особую важность. Отметим, что в работах Ф.Дидье, Ж.Тиллича23 и В.Баева24, 25 был предложен ряд алгоритмов подсчета алгебраической иммунности, а в работах Ф.Армкнехта, М.Краузе26, А.Брэкена, Б.Пренеля27, К.Карле28, Д.Далаи и Ш.Майтры29 построено несколько семейств функций, имеющих максимально возможную алгебраическую иммунность 2.

C.Carlet, S.Mesnager. Improving the upper bounds on the covering radii of binary Reed-Muller codes // IEEE Transactions on Information Theory, 2006.

G.Cohen, I.Honkala, S.Litsyn, A.Lobstein. Covering codes. North-Holland, 1997.

G.Kabatiansky, C.Tavernier. List decoding of second order Reed-Muller codes // In Proc. 8th Intern. Simp.

Comm. Theory and Applications (Ambelside, UK, july 2005).

I.Dumer, G.Kabatiansky, C.Tavernier. List decoding of Reed-Muller codes up to the Johnson bound with almost linear complexity // Proceedings of ISIT 2006. Seattle, USA.

R.Fourquet. Une FFT adaptee au decodage par liste dans les codes de Reed-Muller d’ordres 1 et 2 // Master-thesis of the University of Paris VIII, Thales communication, Bois Colombes, 2006.

F.Didier, J.P.Tillich. Computing the algebraic immunity eciently // Fast softwware encryption 2006, LNCS 4047, 2006. P. 359-374.

В.В Баев. Некоторые нижние оценки на алгебраическую иммунность функций, заданных своими следформами // Пробл. передачи информ. 2008. Т. 44, вып. 3. С. 81–104.

В.В Баев. Усовершенствованный алгоритм поиска аннигиляторов низкой степени для многочлена Жегалкина // Дискретная математика. 2007. Т. 19, вып. 4. С. 132-138.

F.Armknecht, M.Krause. Constructing single- and multi-output boolean functions with maximal algebraic immunity // International conference on automata, language and programing 2006. LNCS 4052, Springer, 2006. Part II. P. 180-191.

A.Braeken, B.Preneel. On the algebraic immunity of symmetric boolean functions // Indocrypt 2005.

LNCS 3797, Springer, 2005. P. 35-48.

C.Carle. A method of construction of balanced functions with optimum algebraic immunity // Cryptology ePrint archive, http://eprint.iacr.org/2006/149.

D.K.Dalai, S.Maitra. Balanced Boolean functions with (more than) maximum algebraic immunity // Cryptology ePrint archive, http://eprint.iacr.org/2006/434.

Цель работы.

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

Научная новизна.

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

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

2. Доказана точная нижняя оценка нелинейности (r = 1) через значение алгебраической иммунности. Для всех допустимых значений параметров построены функции, на которых эта оценка достигается.

3. Получена точная нижняя оценка нелинейности второго порядка (r = 2) через значение алгебраической иммунности.

4. Получена новая нижняя оценка нелинейности r-го порядка через значение алгебраической иммунности при всех r.

Основные методы исследования.

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

Теоретическая и практическая ценность работы.

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

Апробация работы.

Результаты диссертации докладывались на следующих научноисследовательских семинарах и конференциях:

• Семинар "Булевы функции в криптологии"под руководством к.ф.-м.н.

О.А.Логачева и к.ф.-м.н., доцента Ю.В.Таранникова (2005-2009).

• Семинар "Математические вопросы кибернетики"под руководством д.ф.-м.н., профессора О.М.Касим-Заде (21 марта 2008).

• Вторая международная конференция по проблемам безопасности и противодействия терроризму (МГУ, 25-26 октября 2006).

• VI молодежная научная школа по дискретной математике и ее приложениям (Москва, 16-21 апреля, 2007).

• IX международный семинар "Дискретная математика и ее приложения" (Москва, 18-23 июня, 2007).

• Ежегодная научная конференция "Ломоносовские чтения"(МГУ, апрель • Международная конференция "NATO Advanced Study Institute on Boolean Functions in Cryptology and Information Security"(Звенигород, сентябрь 2007).

• XVII международная школа-семинар "Синтез и сложность управляющих систем"(Новосибирск, 27 октября - 1 ноября, 2008).

• Международная конференция "Современные проблемы математики, механики и их приложений"(Москва, 30 марта - 02 апреля, 2009).

Публикации.

Основное содержание диссертации было опубликовано в 8 работах, список которых приведен в конце автореферата [1] [8].

Структура и объем диссертации.

Диссертация состоит из введения, 6 глав и списка литературы. Объем диссертации 64 страницы, библиография включает 47 наименований.

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

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

В первой главе мы обсуждаем предварительные сведения и формулируем основные определения.

Определение 1. Алгебраической иммунностью AI(f ) булевой функции f над F2 называется степень булевой функции g над F2, где g не равная тождественно нулю функция с минимальной степенью, такая что f g = 0 или (f + 1)g = 0.

Определение 2. Нелинейностью r-го порядка nlr (f ) булевой функции f над F2 называется min d(f, l). Нелинейностью nl(f ) функции f называется расстояние между f и множеством аффинных функций, т. е. нелинейность первого порядка.

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

Во второй главе проблема получения как можно более сильных нижних оценок нелинейности r-го порядка через значение алгебраической иммунности функции полностью сводится к задаче определения размерности некоторых подпространств Bk (h) = {g(x1,..., xn )| deg(g) k, deg(gh) k}.

Теорема 1 Пусть f (x1,..., xn ) имеет AI(f ) = k, тогда Кроме того, при k существует функция f0, AI(f0 ) = k, для которой Теорема 1 позволяет получить в качестве простых следствий некоторые оценки других авторов. Например, оценку из работы группы индийских исследователей30, а также оценку из работы К.Карле31 и оценку, полученную независимо автором [3] и С.Менаже32 :

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

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

D.K.Dalai, K.C.Gupta and S.Maitra. Results on Algebraic Immunity for Cryptographically Signicant Boolean Functions // Indocrypt 2004 (Chennai, India, December 20-22, 2004) Berlin/Heidelberg: Springer Verl., 2004. P. 92-106.

C.Carlet. On the higher order nonlinearities of algebraic immune functions // CRYPTO 2006.

Berlin/Heidelberg: Springer, 2006. P. 584-601. (Lecture Notes in Computer Science; Vol.4117).

S.Mesnager. Improving the lower bound on the higher order nonlinearity of Boolean functions with prescribed algebraic immunity. Cryptology ePrint archive(http://eprint.iacr.org/), Report 2007/117.

Следствие 8. Пусть f (x1,..., xn ) булева функция над F2 и AI(f ) = k, k n, тогда равенство в неравенстве (2) может достигаться не более чем на одной линейной функции l.

Там же показываем, что для функции f2k+1, k+1 равенство в неравенстве (2) достигается сразу на нескольких линейных функциях l.

Четвертая глава посвящена получению оценки на нелинейность второго порядка.

В начале вводятся определения множества Sa1,..., aq (k) и (a1,..., aq )бесповторного полинома:

Определение 6. Пусть есть набор целых чисел a1 a2...

длины n можно сопоставить набор из целых чисел: (s1 (),..., sq ()) = ( i=1 xi, i=a1 +1 xi,..., i=a1 +...+aq1 +1 xi ). Обозначим через Sa1,..., aq (k) множество двоичных наборов x длины n, таких что st () = 0 при некотором tx q, 0 < si () < ai при i < tx и также k atx < wt() k.

Определение 7. Полином, в котором каждая переменная входит не более чем в один моном, будем называть бесповторным. Если полином имеет вид где a1 a2... aq, то будем его называть (a1,..., aq )-бесповторным.

Для бесповторного полинома доказана теорема, которая для довольно широкого класса функций сводит проблему вычисления размерности пространства Bk (f ) к несложному комбинаторному подсчету:

Тогда Известно33, 34, что любую квадратичную булеву функцию можно аффинным преобразованием перевести в функцию с бесповторным полиномом. Благодаря этому факту и теоремам 1 и 2, доказывается точная нижняя оценка на нелинейность второго порядка:

О.А.Логачев, А.А.Сальников, В.В.Ященко. Булевы функции в теории кодирования и криптологии // М: МЦНМО, 2004.

F.J.McWilliams, N.J.A.Sloane. The Theory of Error Correcring Codes. New York: North-Holland, 1977.

760 p.

Теорема 3 Пусть f (x1,..., xn ) имеет AI(f ) = k, тогда которой В пятой главе доказана оценка, которая является на настоящий момент рекордной для нелинейностей третьего и выше порядков:

Теорема 4 Пусть AI(g) = k, тогда Доказательство этой теоремы опирается на доказанное нами утверждение:

Утверждение 17. Пусть f (x1,..., xn ) булева функция, deg(f ) = k > 1. Тогда аффинными преобразованиями ее можно привести к многочлену, который будет содержать моном x1 x2... xk и любой другой моном которого будет содержать не более чем k 2 из переменных x1, x2,..., xk.

В шестой главе для конкретных значений n, AI(f ) и r = 2 сравниваются оценки (1), (4) и (3). Из преведенных сравнений видно, что в случае нелинейности второго порядка оценка (3) заметно сильнее.

Также для конкретных значений n, AI(f ) и r 3 сравниваются оценки (1) и (4). Оказывается, что вторая оценка существенно лучше.

Благодарности.

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

Список публикаций по теме диссертации.

[1] М.С.Лобанов. Точное соотношение между нелинейностью и алгебраической иммунностью // Дискретная математика. 2006.

Т. 18, вып. 3. С. 152-159.

[2] М.С.Лобанов. Точные соотношения между нелинейностью и алгебраической иммунностью // Дискретный анализ и исследование операций. 2008. Т. 15, вып. 5. С. 47-60.

[3] М.С.Лобанов. Оценка нелинейности высоких порядков булевой функции через значение ее алгебраической иммунности // Материалы VI молодежной научной школы по дискретной математике и ее приложениям (Москва, 16-21 апреля, 2007). Часть 2. M.: Институт прикладной математики РАН, 2007. С. 11–16.

[4] М.С.Лобанов. Новый подход к оценке нелинейности высоких порядков булевой функции через значение ее алгебраической иммунности // Материалы IX международного семинара "Дискретная математика и ее приложения"(Москва, 18-23 июня, 2007). M.: Издательство механикоматематического факультета МГУ, 2007. С. 434-437.

[5] М.С.Лобанов. Новая нижняя оценка нелинейности высокого порядка через алгебраическую иммунность // Материалы XVII международной школы-семинара "Синтез и сложность управляющих систем"(Новосибирск, 27 октября - 1 ноября, 2008).

Новосибирск: Издательство института математики, 2008. С. 95-98.

[6] М.С.Лобанов. Об оценках нелинейности высоких порядков через алгебраическую иммунность // Материалы международной конференции "Современные проблемы математики, механики и их приложений"(Москва, 30 марта - 02 апреля, 2009). М: Издательство "Университетская книга", 2009. С. 395.

[7] М.С.Лобанов. Неулучшаемая оценка нелинейности функции через значение алгебраической иммунности // Материалы II международной конференции по проблемам безопасности и противодействия терроризму (МГУ, 25-26 октября 2006). М.: МЦНМО, 2007. С. 210-217.

[8] M.Lobanov. Tight bounds between nonlinearity and algebraic immunity of high orders // Boolean functions in cryptology and information security.

2008. IOS Press. P. 296-305. (NATO Science for Peace and Security Series D: Information and Communication Security - Vol. 18)



Похожие работы:

«Кучина Елена Викторовна СУДЕБНО-МЕДИЦИНСКАЯ ДИАГНОСТИКА ОТРАВЛЕНИЙ НЕКОТОРЫМИ СУРРОГАТАМИ АЛКОГОЛЯ 14.00.24. – судебная медицина Автореферат диссертации на соискание ученой степени кандидата медицинских наук Москва 2008 2 Работа выполнена в танатологическом отделе Федерального государственного учреждения Российский центр судебно-медицинской экспертизы Федерального агентства по здравоохранению и социальному развитию. Научный руководитель : доктор медицинских наук, профессор...»

«Бурлакова Наталья Георгиевна ПРОЦЕССУАЛЬНЫЕ ОСОБЕННОСТИ РАССМОТРЕНИЯ ГРАЖДАНСКИХ ДЕЛ О ПРИНУДИТЕЛЬНОЙ ГОСПИТАЛИЗАЦИИ ГРАЖДАН В МЕДИЦИНСКИЙ СТАЦИОНАР Специальность: 12.00.15 – гражданский процесс; арбитражный процесс Автореферат диссертации на соискание ученой степени кандидата юридических наук Томск – 2006 2 Работа выполнена на кафедре гражданского процесса Юридического института ГОУ ВПО Томский государственный университет Научный руководитель : доктор юридических наук,...»

«НИКОЛАЕВ АРТЁМ ВАЛЕРЬЕВИЧ РАЗРАБОТКА И ИССЛЕДОВАНИЕ ЛОГИЧЕСКИХ СХЕМ НА ОСНОВЕ ЭЛЕМЕНТОВ КОНДЕНСАТОРНОТРАНЗИСТОРНОГО ТИПА Специальность 05.27.01 твердотельная электроника, радиоэлектронные компоненты, микро- и наноэлектроника, приборы на квантовых эффектах АВТОРЕФЕРАТ диссертации на соискание ученой степени кандидата технических наук Москва 2011 Работа выполнена на кафедре Интегральной электроники и микросистем Московского государственного института электронной техники...»

«Джиган Виктор Иванович АЛГОРИТМЫ АДАПТИВНОЙ ФИЛЬТРАЦИИ НЕСТАЦИОНАРНЫХ СИГНАЛОВ 05.12.04 – Радиотехника, в том числе системы и устройства телевидения АВТОРЕФЕРАТ диссертации на соискание учёной степени доктора технических наук Москва – 2006 Работа выполнена в Государственном унитарном предприятии г. Москвы Научно-производственном центре Электронные вычислительноинформационные системы (ГУП НПЦ ЭЛВИС) Официальные оппоненты : доктор технических наук, профессор Витязев Владимир...»

«ББК Ш 12 = 4112 *008.51+Ш12 = 635.1 * 008.51 ТУКМАКОВА НАДЕЖДА ПЕТРОВНА ОПЫТ СОПОСТАВИТЕЛЬНОГО ЛИНГВОСТАТИСТИЧЕСКОГО АНАЛИЗА РУССКОГО И ЧУВАШСКОГО ЯЗЫКОВ (НА МАТЕРИАЛЕ ГАЗЕТНОЙ ПУБЛИЦИСТИКИ) 10.02.20 - Сравнительио-историческое, типологическое и сопоставительное языкознание АВТОРЕФЕРАТ диссертации на соискание ученой степени кандидата филологических наук Чебоксары 2003 Работа выполнена на кафедре литературного редактирования и стилистики Чувашского государственного...»

«СЕРГЕЕВ АЛЕКСАНДР ЕВГЕНЬЕВИЧ МОДЕЛИРОВАНИЕ ТЕХНОЛОГИЧЕСКОГО ПРОЦЕССА МАГНЕТРОННОГО РАСПЫЛЕНИЯ, ОБЕСПЕЧИВАЮЩЕГО ЗАДАННЫЕ ФИЗИКО-МЕХАНИЧЕСКИЕ СВОЙСТВА НАНОКОМПОЗИТНЫХ ПОКРЫТИЙ МЕТАЛЛОРЕЖУЩЕГО ИНСТРУМЕНТА Специальность 05.02.07 – Технология и оборудование механической и физико-технической обработки АВТОРЕФЕРАТ диссертации на соискание ученой степени кандидата технических наук Рыбинск – Работа выполнена в федеральном государственном бюджетном образовательном учреждении высшего...»

«Хорошева Анна Евгеньевна ПРОБЛЕМЫ ТЕОРИИ И ПРАКТИКИ КРИМИНАЛИСТИЧЕСКОЙ МЕТОДИКИ СУДЕБНОГО РАЗБИРАТЕЛЬСТВА С УЧАСТИЕМ ПРИСЯЖНЫХ ЗАСЕДАТЕЛЕЙ ПО УГОЛОВНЫМ ДЕЛАМ ОБ УБИЙСТВАХ Специальность 12.00.09 – уголовный процесс, криминалистика; оперативно-розыскная деятельность АВТОРЕФЕРАТ диссертации на соискание ученой степени кандидата юридических наук Томск – 2011 Работа выполнена в ГОУ ВПО Алтайский государственный университет на кафедре уголовного процесса и криминалистики...»

«ЛИСОВЦОВ Александр Александрович ГИГИЕНИЧЕСКИЕ АСПЕКТЫ ПРЕЖДЕВРЕМЕННОЙ СМЕРТНОСТИ НАСЕЛЕНИЯ ИРКУТСКОЙ ОБЛАСТИ 14.02.01 – гигиена АВТОРЕфЕРАТ диссертации на соискание ученой степени кандидата медицинских наук Иркутск – 2012 Работа выполнена в Ангарском филиале ФГБУ Восточно-Сибирский научный центр экологии человека Сибирского отделения Российской академии медицинских наук – Научно исследовательский институт медицины труда и экологии человека Научный руководитель : Лещенко...»

«Романов Михаил Юрьевич Построение обобщённых полиномов минимальной степени над алгоритмами вычисления оценок Специальность 05.13.17 теоретические основы информатики Автореферат диссертации на соискание учёной степени кандидата физико-математических наук Москва 2008 Работа выполнена в Вычислительном центре им. А. А. Дородницына Российской Академии наук. Научный руководитель : доктор физико-математических наук, профессор, академик РАН Журавлёв Юрий Иванович. Официальные...»

«Горин Антон Анатольевич РАЗВИТИЕ ЛИЧНОЙ И РОДОВОЙ ИДЕНТИФИКАЦИИ СЛУЖИЛОГО СОСЛОВИЯ МОСКОВСКОГО ГОСУДАРСТВА XIV–XVII ВЕКОВ: ГЕРАЛЬДИЧЕСКИЙ АСПЕКТ Специальность 07.00.02 – Отечественная история АВТОРЕФЕРАТ диссертации на соискание ученой степени кандидата исторических наук Казань – 2012 Работа выполнена на кафедре отечественной истории Казанского (Приволжского) федерального университета. Научный руководитель : доктор исторических наук, доцент Ибнеева Гузель Вазыховна...»

«ГРУНСКАЯ ЛЮБОВЬ ВАЛЕНТИНОВНА ОЦЕНКА ПАРАМЕТРОВ ЭЛЕКТРИЧЕСКОГО ПОЛЯ ПРИЗЕМНОГО СЛОЯ АТМОСФЕРЫ НА ОСНОВЕ МЕТОДА КОРРЕЛЯЦИОННОГО ПРИЕМА Специальность 05.12.04 – Радиотехника, в том числе системы и устройства телевидения 01.04.03 – Радиофизика АВТОРЕФЕРАТ диссертации на соискание ученой степени доктора технических наук Владимир 2006 2 Работа выполнена во Владимирском государственном университете Научный консультант доктор технических наук, профессор Никитин Олег Рафаилович...»

«Шубочкин Андрей Евгеньевич РАЗВИТИЕ МЕТОДОВ И СРЕДСТВ ВИХРЕТОКОВОГО И МАГНИТНОГО КОНТРОЛЯ МЕТАЛЛОПРОКАТА ДЛЯ ОЦЕНКИ ЕГО ОСТАТОЧНОГО РЕСУРСА Специальность 05.11.13 - Приборы и методы контроля природной среды, веществ, материалов и изделий АВТОРЕФЕРАТ диссертации на соискание ученой степени доктора технических наук Москва – 2014 Работа выполнена в ЗАО НИИИН МНПО Спектр, г. Москва Официальные оппоненты : Шкатов Петр Николаевич доктор технических наук, профессор...»

«Афанасьева Екатерина Нодариевна РЕКВИЗИЦИЯ: ГРАЖДАНСКО-ПРАВОВОЙ АСПЕКТ Специальность 12.00.03 – гражданское право; предпринимательское право; семейное право; международное частное право АВТОРЕФЕРАТ диссертации на соискание ученой степени кандидата юридических наук Томск 2009 Работа выполнена на кафедре гражданского права Юридического института ГОУ ВПО Томский государственный университет Научный руководитель : доктор юридических наук, профессор Мананкова Раиса Петровна...»

«Атабаева Татьяна Шукурулловна НЕОБХОДИМАЯ ОБОРОНА: ТЕОРИЯ, ЗАКОНОДАТЕЛЬСТВО, ПРАКТИКА ПРИМЕНЕНИЯ Специальность 12.00.08 – уголовное право и криминология; уголовно-исполнительное право Автореферат диссертации на соискание ученой степени кандидата юридических наук Томск 2004 2 Диссертация выполнена в Алтайском государственном университете на кафедре уголовного права и криминологии Научный руководитель : доктор юридических наук, профессор Землюков Сергей Валентинович Официальные...»

«УДК 581.14: 633.5.511: 577.34: 58.035 МАВЛАНОВА САДБАРХОН АБДУКАРИМОВНА ФИЗИОЛОГО-БИОХИМИЧЕСКИЕ ОСОБЕННОСТИ ИНДУЦИРОВАННОЙ УСТОЙЧИВОСТИ ХЛОПЧАТНИКА К СОСУЩИМ НАСЕКОМЫМ-ВРЕДИТЕЛЯМ И ВОЗБУДИТЕЛЮ ВЕРТИЦИЛЛЕЗНОГО ВИЛТА 03.00.12 – Физиология и биохимия растений АВТОРЕФЕРАТ диссертации на соискание ученой степени кандидата биологических наук Ташкент - Работа выполнена в Институте физиологии...»

«Акентьева Ольга Витальевна РАСПРОСТРАНЕНИЕ И ОСЛОЖНЕНИЕ ПРЕДЛОЖЕНИЙ С ПРЕДИКАТАМИ РЕЧИ В СОВРЕМЕННОМ РУССКОМ ЯЗЫКЕ Специальность 10.02.01 – русский язык АВТОРЕФЕРАТ диссертации на соискание ученой степени кандидата филологических наук Ростов-на-Дону – 2006 2 Диссертация выполнена на кафедре русского языка и теории языка ГОУ ВПО Ростовский государственный педагогический университет Научный руководитель : доктор филологических наук, профессор Малащенко Валентин Прокофьевич...»

«Климова Ольга Геннадьевна СТРУКТУРА И СВОЙСТВА СПЕЧЕННЫХ СПЛАВОВ НА ОСНОВЕ ВОЛЬФРАМА, ПОЛУЧЕННЫХ С ИСПОЛЬЗОВАНИЕМ НАНОРАЗМЕРНЫХ ПОРОШКОВ Специальность 05.16.01 – Металловедение и термическая обработка металлов и сплавов АВТОРЕФЕРАТ диссертации на соискание ученой степени кандидата технических наук Санкт-Петербург – 2011 1   Работа выполнена в ФГБОУ ВПО Санкт-Петербургский государственный политехнический университет Научный руководитель : доктор технических наук, Толочко Олег...»

«Equation Chapter 1 Section 1 Усков Антон Евгеньевич АВТОНОМНЫЙ ИНВЕРТОР, ПОВЫШАЮЩИЙ ЭКСПЛУАТАЦИОННЫЕ ХАРАКТЕРИСТИКИ СОЛНЕЧНЫХ ЭЛЕКТРОСТАНЦИЙ АПК Специальность 05.20.02 – Электротехнологии и электрооборудование в сельском хозяйстве АВТОРЕФЕРАТ диссертации на соискание учной степени кандидата технических наук Краснодар – 2014 Работа выполнена в Федеральном государственном бюджетном образовательном учреждении высшего профессионального образования Кубанский государственный...»

«ТУТАРКОВА НАТАЛЬЯ ВАЛЕРЬЕВНА ПОЛОЖЕНИЕ ХАКАССКОЙ ЖЕНЩИНЫ В ТРАДИЦИОННОМ И СОВРЕМЕННОМ ОБЩЕСТВЕ (XIX – XXI вв.) Специальность 07.00.07 – Этнография, этнология и антропология АВТОРЕФЕРАТ диссертации на соискание ученой степени кандидата исторических наук Томск - 2007 1 Работа выполнена на кафедре археологии, этнографии и исторического краеведения ГОУ ВПО Хакасский государственный университет им. Н.Ф.Катанова доктор исторических наук, профессор Научные руководители: Гемуев...»

«МАСЛОВ Дмитрий Евгеньевич ЮРИДИЧЕСКАЯ РЕКОМЕНДАЦИЯ (ТЕОРИЯ, ПРАКТИКА, ТЕХНИКА) Специальность: 12.00.01 – теория и история права и государства; история учений о праве и государстве АВТОРЕФЕРАТ диссертации на соискание ученой степени кандидата юридических наук Нижний Новгород – 2013 2 Работа выполнена в Нижегородском институте управления Российской академии народного хозяйства и государственной службы при Президенте Российской Федерации. заслуженный деятель науки РФ, Научный...»








 
2014 www.av.disus.ru - «Бесплатная электронная библиотека - Авторефераты, Диссертации, Монографии, Программы»

Материалы этого сайта размещены для ознакомления, все права принадлежат их авторам.
Если Вы не согласны с тем, что Ваш материал размещён на этом сайте, пожалуйста, напишите нам, мы в течении 1-2 рабочих дней удалим его.