![]() |
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Основной задачей диссертации было изучение сложности реализации автоматов посредством кодирований состояний. При кодировании состояний возникает булев оператор, который можно рассматривать как набор булевых функций. При этом важно выбрать кодирование, при котором достигается возможно меньшая сложность оператора. Отдельно были изучены случаи неизбыточных кодирований и всевозможных однородных кодирований. Также были изучены максимально реализуемые автоматы, т.е. такие автоматы, что два различных кодирования порождают два различных оператора. Было установлено как связаны классы линейно реализуемых и максимально реализуемых автоматов.
№ | Имя | Описание | Имя файла | Размер | Добавлен |
---|---|---|---|---|---|
1. | Отзыв официального оппонента | Отзыв Глухов М.М. | Otzyiv_GluhovMM.pdf | 2,2 МБ | 8 июня 2017 |
2. | Отзыв ведущей организации | Отзыв МЭИ | Otzyiv_VeduschayaOrganizatsiya.pdf | 3,0 МБ | 8 июня 2017 |
3. | Заключение диссертационного совета по диссертации | Заключение совета | Zaklyuchenie_soveta.pdf | 2,3 МБ | 30 июня 2017 |
4. | Отзыв официального оппонента | Отзыв Титовой Е.Е. | Otzyiv_TitovaEE.pdf | 2,1 МБ | 9 июня 2017 |
5. | Полный текст диссертации | Текст диссертации | RazmeschenieSostoyanij_RodinSB.pdf | 829,2 КБ | 21 апреля 2017 |
6. | Автореферат | Автореферат | RodinSB_avtoreferat.pdf | 317,9 КБ | 28 апреля 2017 |
7. | Решение дисс.совета о приеме/отказе к защите | Решение дисс. совета о приеме к защите | Reshenie_Diss_Soveta.pdf | 4,7 МБ | 28 апреля 2017 |
8. | Отзыв научного руководителя/консультанта | Отзыв Алешина С.В. | Otzyiv_n._r..pdf | 1,9 МБ | 21 апреля 2017 |
9. | Заключение организации, где была выполнена работа | Заключение кафедры | Zaklyuchenie_kafedryi.pdf | 3,6 МБ | 21 апреля 2017 |