Сведения о ведущей организации (1090530)
Текст из файла
ФАНО РОССИИ Федеральное государственное бюджетное образовательное учреждение высшего образования «Московский технологический университет» (МИР ЭА) ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ УЧРЕЖДЕНИЕ еФЕДЕРАЛЬНЫЙ НАУЧНЫЙ ЦЕНТР НАУЧНО-ИССЛЕДОВАТЕЛЬСКИЙ ИНСТИТУТ СИСТЕМНЫХ ИССЛЕДОВАНИЙ РОССИЙСКОЙ АКАДЕМИИ НАУКа (ФГУ ФНЦ НИИСИ РАН) Гыит. алрос: Нахимовский ороси. 36-1.
Москва, 117218 тслсфо!к 1499) 124-97-44, Факс 1495) 7! 9-76-81 )Ь!па)1: о))арооо!!аьща)с.со Щ~й!»мами.о!!а).го ОКПО 05825395. ОГРН 1027700384909 И11НГК)01 7727086772'77270100! Ре" ~у~'.кк. Ю ~о» 4~"~Фк' Председателю диссертационного совета Д 212.131.05 академику РАН. д.ф-м,н. А,С,Сигову проспект Вернадского, д, 7)5, Москва. !19454 от О согласии быть велушей организацией Уважаемый Александр Сергеевич! диракеоар ': С.ГоБобков А.С Моисееа !495)718-21-10 аоб.164! Насгоящим уведомляем Вас, что Ф1'У ФНЦ НИИСИ РАН не возражает против назначения в качестве ведущей организации по диссертации Быкова Сергея Анатольевича на тему «Исследование и разработка методов автоматического вывода геометрических ограничений с использованием декларативного программирования и формальных методов», представленной на соискание ученой степени кандидата технических наук по специальности 05.13.11 — «Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей».
СВЕДЕНИЯ О ВЕДУЩЕЙ ОРГАНИЗАЦИИ по диссертации Быкова Сергея Анатольевича на тему «Исследование и разработка методов автоматического вывода геометрических ограничений с использованием декларативного программирования и формальных методов», представленной к защите на соискание ученой степени кандидата технических наук по специальности 05.13.11 — «Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей» Тип организации Автономное учреждение ~ Федеральное государственное учреждение «Федеральный научный центр научно- исследовательский институт системных исследований Российской Академии наук» ованне ~ организации Сокращенное наименование; ФГУ ФНЦ НИИСИ РАН организации 117218, Россия, Москва, Нахимовский пр-т, Зб, Место нахождения ~ корп.
1 ) 718-21-10, +7 ~499) 124-97-44 Телефон/факс ъ.пйз1л'ц Адрес официального сайта , сети Интернет Адрес электронн а11: одитель ведущей ! Бобков Сергей Геннадьевич, изации (ФИО, ость) 1, АгуаьЬе~ 8.1. ег а1. 1тр1е ' Соп1Ьца6оп РгоЫегп Ма1п Рц Брес1а1ыед 'Чесгог Соргосеззо //Проблемы разработки персп ~ и наноэлектронных систем ( ~ №. 4. — С. б-б. 2, Агуайеч 8.1., ВоЫсо~ Б.О МегЬодо1о8у о1 тле Орйппуа1 ~ Еча1иат1оп 1ог тпе Кесопйагу С разработки перспективн ~ наноэлектронных систем (МЭ ~4, — С.
5-5. ~ 3. ВоЬКо~ Б.б. ет а! Бе11 Типе Роч~ег апс1 Н18 //Проблемы разр к осно публикации работников ведущей организации по теме диссертации в рецензируемых научных изданиях за последние 5 лет (не более 15 публикаций) ~ ОПроблемы разработки перспективных микро- ~ ( и наноэлектронных систем (МЭС). — 2015.— №. 1. — С. 12-13. 4. Бобков С.Г. Импортозамещение элементной базы вычислительных систем ОВестник ~ Российской академии наук. — 2014. — Т.
84,— ~ №. 11. - С. 1010. ~ 5. Бобков С.Г., Сердин О.В. Проблемы ~ унификации микросхем космического ~ применения на примере международного ' проекта космического телескопа" ГАММА- 400" //Информационные технологии. — 2015.— , Т. 21. — №. 10. — С. 728-735. 6. Барских М.Е., Бобков С.Г. Исследование влияния динамического предсказания ветвлений на производительность перспективных микропроцессоров НИИСИ РАН //Информационные технологии. — 2015.— Т. 21. — №.
10. — С. 736-742. 7, Аряшев С,И, и др, Реализация блока компенсированного суммирования для ~ повышения точности аппаратных вычислений ОИнформационные технологии. — 2015. — Т. 21. - №. 8. - С. 570-575. ~ 8. Бобков С.Г. Проблемы создания высокотемпературных вычислительных систем ОПрограммные продукты и системы. — 2015.— №. 4 (112). 9. Козлов Н.А., Бобков С.Г. Высокопроизводительный блок интерфейса , гарЫю для создания многоядерных микропроцессоров с виртуальными каналами гарЫю //Программные продукты и системы.— 2015. — №. 4 (112).
10. Бобков С.Г. и др. Высокопроизводительные расширения архитектуры универсальных ~ микропроцессоров для ускорения инженерных расчетов //Информационные технологии. , 2014. — №. 6. — С. 27-37. 2017 г. .
Характеристики
Тип файла PDF
PDF-формат наиболее широко используется для просмотра любого типа файлов на любом устройстве. В него можно сохранить документ, таблицы, презентацию, текст, чертежи, вычисления, графики и всё остальное, что можно показать на экране любого устройства. Именно его лучше всего использовать для печати.
Например, если Вам нужно распечатать чертёж из автокада, Вы сохраните чертёж на флешку, но будет ли автокад в пункте печати? А если будет, то нужная версия с нужными библиотеками? Именно для этого и нужен формат PDF - в нём точно будет показано верно вне зависимости от того, в какой программе создали PDF-файл и есть ли нужная программа для его просмотра.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
