WWW.DISUS.RU

БЕСПЛАТНАЯ НАУЧНАЯ ЭЛЕКТРОННАЯ БИБЛИОТЕКА - Авторефераты, диссертации, методички

 

Использование шаблонного транслятора в

системе двоичной трансляции

Н.В.Воронов, Р.А.Савченко

Введение

ЗАО «МЦСТ» осуществляет разработку микропроцессоров серии

«Эльбрус» [7], [8], [9], архитектурно несовместимых с платформой x86

фирмы Intel. Поэтому для поддержки большого количества

существующих приложений (распространяющихся в виде двоичного

кода) возникает задача программной совместимости с x86. На

сегодняшний день одним из наиболее эффективных решений данной проблемы является программное обеспечение, основанное на принципах двоичной трансляции [10]. Работа двоичного транслятора заключается в эквивалентном преобразовании двоичного кода исходной архитектуры в двоичный код целевой. Эквивалентность понимается в том смысле, что в памяти и на регистрах создаётся модель — контекст — эмулируемой архитектуры и эта модель (вместе с двоичнотранслированным кодом) ведёт себя в точности как программа на x процессоре. В контекст входят все x86 регистры (как общего назначения, так и системные), режим работы процессора, память. При трансляции двоичного когда можно проводить оптимизации, повышающие эффективность результирующего кода, но тогда сильно возрастает время трансляции. Решить эту проблему можно, применяя одновременно несколько уровней трансляции (от быстрого, но порождающего плохой код, до медленного, но с наиболее эффективным результирующим кодом) и использовать тяжёлые уровни только для наиболее часто исполняющегося кода [3], [11].

В двоичном оптимизирующем компиляторе, разрабатываемом в «МЦСТ» есть четыре уровня: интерпретатор (1), шаблонный транслятор (2), быстрый оптимизирующий транслятор (3), оптимизирующий транслятор (4). Первый, интерпретатор, в сущности, не является двоичным транслятором, так как, получив x86 команду, сразу сам изменяет контекст (а не генерирует код, который будет его модифицировать). Шаблонный транслятор, получая на вход блоки x кода, быстро выдаёт код следующим образом: для каждой x инструкции имеется готовый эльбрусовский код — шаблон, который с минимальными изменениями прибавляется к трансляции.

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

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

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

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

В вышеописанной схеме после исполнения двоичнотранслированного кода происходит поиск следующего двоичнотранслированного кода по таблице перекодирования адресов. Во многих случаях адрес перехода, которым заканчивается базовый блок, является статическим и не меняется в процессе исполнения программы. Для устранения избыточных поисков по таблице, в двоичнотранслированном коде сразу делается переход на следующий двоичнотранслированный код. Такая оптимизация называется связывание блоков [12].

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

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

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

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

Генерация кода базового блока происходит следующим образом:

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

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

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

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

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

На момент трансляции, даже для переходов на константный адрес в общем случае ещё неизвестно, по какому адресу будет двоичнотранслированный код, соответствующий данному переходу. Поэтому адреса в двоично-транслированным коде, где прописаны смещения переходов, и соответствующие им x86 адреса сохраняются в отдельной таблице, записи которой называют релокациями. Естественно, двоичнотранслированный код нельзя исполнять, пока релокации не будут связаны. Связыванием называется процесс, в котором по таблице релокаций в двоично-транслированный код прописываются работающие смещения. Для релокаций, цели которых оказались внутри трассы, связывание происходит сразу после завершения трансляции.

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

В шаблонном коде для косвенных переходов (с адресом цели, лежащем на регистре или в памяти) связывание не делается и, в текущей реализации, переход всегда осуществляется с использованием таблицы перекодирования адресов. Следует отметить, что в литературе встречаются вполне применимые к шаблонному транслятору приёмы оптимизации косвенных переходов [2], [4], [5], [6], однако в микропроцессоре «Эльбрус» для этого есть собственный механизм.

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

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

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

Отладочные технологии Для отладки и анализа двоично-транслированного кода эффективно использовать технологию статической двоичной трансляции. При этом можно ограничиться лишь пользовательским x86 кодом и обеспечивать трансляцию отдельных приложений. Статический транслятор, в отличие от динамического, работает до запуска приложения. Это накладывает существенные ограничения: не поддерживаются приложения с самомодифицирующимся кодом, приложения, генерирующие код и запускающие его, если происходит переход на не предсказанный адрес, оттранслированным приложением невозможно пользоваться. В рабочих системах статической трансляции для решения всех этих проблем в двоично-транслированную программу встраивается интерпретатор или динамический транслятор [14], [15]. Но, если ограничиться не слишком сложными приложениями, этого можно и не делать.

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

Производительность Проведены сравнения производительности различных уровней трансляции. Измерения производились на нескольких задачах из пакетов spec95 и spec2000 [13] с уменьшенными входными данными.

Задачи статически транслировались каждым уровнем в отдельности.

Таким образом, каждый запуск отражает работу результирующего кода только для одного уровня трансляции, что позволяет произвести их сравнение. Измерения проводились на потактовом симуляторе микропроцессора «Эльбрус 3S». В таблице 1 приведено сравнение производительности двоично-транслированных кодов для каждого уровня, нормированное относительно четвёртого уровня. Что касается интерпретатора, то измерения при динамической трансляции показывают, что он работает примерно в 30 раз медленнее шаблонного кода.

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

Таблица 1. Сравнение производительности двоичнотранслированных кодов (относительно 4-го уровня) Таблица 2. Среднее время, затрачиваемое на трансляцию одной x инструкции различными уровнями трансляции Список литературы 1. Erik R. Altman, Kemal Ebcioglu, Michael Gschwind, Sumedh Sathaye. Advances and Future Challenges in Binary - Translation And Optimization. // Proceedings of the IEEE. Volume 91, Issue 11. 2001. November. – Pages 1710-1722.

2. Cristina Cifuentes, Brian Lewis, David Ung. Walkabout: a retargetable dynamic binary translation framework. // Sun Microsystems, Inc. Technical Reports; Vol.

SERIES13103. 2002.

3. James C. Dehnert, Brian K. Grant, John P. Banning, Richard Johnson, Thomas Kistler, Er Klaiber, Jim Mattson. The Transmeta Code Morphing Software: using speculation, recovery, and adaptive retranslation to address real-life challenges. // ACM International Conference Proceeding Series; Vol. 37. 2003. – Pages 15-24.

4. Derek Bruening, Timothy Garnett, Saman Amarasinghe. An infrastructure for adaptive dynamic optimization. // ACM International Conference Proceeding Series; Vol. 37. 2003. – Pages 265-275.

5. K. Scott, N. Kumar, B. R. Childers, J. W. Davidson, M. L. Soffa. Overhead reduction techniques for software dynamic translation. // Parallel and Distributed Processing Symposium, 2004. Proceedings. 18th International. 07 June 2004. – Pages 200.

6. Jim Smith, Ravi Nair. Virtual Machines: Versatile Platforms for Systems and Processes.: Morgan Kaufmann, 2005. – 656 pages.

7. А.К.Ким, В.Ю.Волконский, Ф.А.Груздов, М.С.Михайлов, Ю.Н.Парахин Ю.Х.Сахин, С.В.Семенихин, М.В.Слесарев, В.М.Фельдман. Архитектура, программное обеспечение и применения компьютеров серии «Эльбрус». // IV Международная научно-практическая конференция «Современные информационные технологии и ИТ-образование», сборник избранных трудов. 2009. – Стр 53-72.

8. K. Dieffendorf. The Russians Are Coming. Supercomputer Maker Elbrus Seeks to Join x86/IA-64 Melee. // Microprocessor Report, V.13, №.2. February 15, 1999. – Pages 1-7.

9. Boris Babayan. E2K Technology and Implementation. // Parallel Processing: 6th International. Volume 1900 January 2000. – Pages 18-21.

10. Ермолович А.В. Методы повышения производительности двоичнотранслирующих систем с аппаратной поддержкой. – Диссертация на соискание ученой степени кандидата технических наук, М., ИМВС РАН, 11. Волконский В.Ю., Гимпельсон В.Д. Методы определения порогов Информационные технологии, № 4, 2007 г.

12. F. Bellard. QEMU, a fast and portable dynamic translator. // USENIX Annual Technical Conference, FREENIX Track. 2005. – Pages 41-46.

13. Standard Performance Evaluation Corporation [Электронный ресурс]. – Режим доступа: http://www.spec.org 14. Cristina Cifuentes, Mike Van Emmerik, Norman Ramsey, Brian Lewis. The University of Queensland Binary Translator (UQBT) Framework. Sun Microsystems Laboratories. 2001.

15. Jiunn-Yeu Chen, Wuu Yang, Tzu-Han Hung, Hong-Men Su, Wei-Chung Hsu. A Static Binary Translator for Efficient Migration of ARM-based Applications // the 6th Workshop on Optimizations for DSP and Embedded Systems (ODES), April



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

«Публичный доклад о состоянии, результатах и проблемах развития Д Д(Ю)Т 2012-2013 учебный год Публичный доклад автономного образовательного учреждения дополнительного образования детей Дворец детского (юношеского) творчества г. Южно-Сахалинска (далее – ДД(Ю)Т) содержит информацию об основных результатах работы и перспективах развития образовательного учреждения. Содержание доклада мы адресуем, прежде всего, родителям, выбирающим для своего ребенка учреждение дополнительного образования, детям,...»

«ФГБОУ ВПО Казанская государственная академия ветеринарной медицины имени Н.Э. Баумана Сервис виртуальных конференций Pax Grid Современные проблемы анатомии, гистологии и эмбриологии животных III Международная Интернет-Конференция Казань, 3 - 6 апреля 2012 года Сборник трудов Казань Казанский университет 2012 УДК 619(082) ББК 48 С56 СОВРЕМЕННЫЕ ПРОБЛЕМЫ АНАТОМИИ, ГИСТОЛОГИИ И ЭМБРИОЛОГИИ ЖИВОТНЫХ: cборник трудов Всероссийской Интернет-конференции. Казань, 3 - 6 Апреля 2012 г. /Отв. редактор...»

«Рабочая программа УМК Планета знаний учебного курса Литературное чтение 4 класс ЛИТЕРАТУРНОЕ ЧТЕНИЕ ПОЯСНИТЕЛЬНАЯ ЗАПИСКА Современное общество ставит перед школой задачу создания условий для формирования личности нравственной, эмоциональной, эстетически развитой, творческой, активной и самостоятельной. При этом необходимо сохранить индивидуальность ребенка, развить его интерес к окружающему миру и готовность сотрудничать с людьми, Известно, что комплексное воздействие на все стороны личности...»

«Стоимость обучения для иностранных граждан, обучающихся на 1 курсе в 2014/2015 учебном году на условиях договора о компенсации затрат по программам бакалавриата ОЧНАЯ ФОРМА ОБУЧЕНИЯ Страны ближнего Страны Код зарубежья и дальнего Наименования направлений подготовки. Балтии, тыс. руб. зарубежья, в год тыс. руб. в год 01.00.00 МАТЕМАТИКА И МЕХАНИКА Прикладная математика и информатика - Математическое моделирование 01.03.02 - Системное программирование 127,0 138, - Математическое и информационное...»

«БЕЛОРУССКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ УТВЕРЖДАЮ Декан химического факультета _ Д.В. Свиридов _ 2011 г. Регистрационный № УД-_/р РАСТВОРЫ ПОЛИМЕРОВ Учебная программа по специальности 1-31 05 01 Химия (по направлениям) направление специальности: 1-31 05 01-01 Химия (научно-производственная деятельность); специализация 1-31 05 01-01 05 Высокомолекулярные соединения Факультет химический Кафедра высокомолекулярных соединений Курс Семестр Лекции 30 (часов) Экзамен – 8 семестр Практические...»

«ФГБОУ ВПО Тверской государственный университет Филологический факультет Кафедра русского языка (наименование кафедры, факультета) Утверждаю: Деканф-та _ 2013г. Рабочая программа дисциплины Основы стилистики и культуры речи ( 2 курс) (наименование дисциплины, курс) 031900 Международные отношения Направление подготовки Общий Профиль подготовки Квалификация (степень выпускника) Бакалавр Форма обучения очная Обсуждено на заседании кафедры Составитель: 2013г. к.ф.н. доцент М.Е. Щербакова Протокол №...»

«Quantum GIS Руководство пользователя Версия 1.6.0 ’Copiap’ o Преамбула Данный документ представляет собой перевод оригинального руководства пользователя Quantum GIS на русский язык. Программное обеспечение и аппаратные средства, описанные в этом документе, в большинстве случаев являются зарегистрированными торговыми марками, и, следовательно, являются субъектами правового регулирования. Исходный код Quantum GIS подлежит лицензированию в соответствии с GNU General Public License. Подробную...»

«Министерство образования Российской Федерации ДАЛЬНЕВОСТОЧНЫЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ ТИХООКЕАНСКИЙ ИНСТИТУТ ДИСТАНЦИОННОГО ОБРАЗОВАНИЯ И ТЕХНОЛОГИЙ О.В. Заяц ОРГАНИЗАЦИЯ, АДМИНИСТРИРОВАНИЕ И УПРАВЛЕНИЕ В СОЦИАЛЬНОЙ РАБОТЕ ВЛАДИВОСТОК Издательство Дальневосточного университета 2004 ОГ Л А В Л ЕН И Е РАБОЧАЯ УЧЕБНАЯ ПРОГРАММА АННОТАЦИЯ ВВЕДЕНИЕ МОДУЛЬ 1. СТАНОВЛЕНИЕ И РАЗВИТИЕ НАУЧНОГО МЕНЕДЖМЕНТА ГЛАВА 1.1. ПОДХОДЫ НА ОСНОВЕ ВЫДЕЛЕНИЯ РАЗЛИЧНЫХ ШКОЛ 1.1.1. Школа научного управления 1.1.2....»

«МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ РФ ГОСУДАРСТВЕННОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ВЫСШЕГО ПРОФЕССИОНАЛЬНОГО ОБРАЗОВАНИЯ ЛИПЕЦКИЙ ГОСУДАРСТВЕННЫЙ ТЕХНИЧЕСКИЙ УНИВЕРСИТЕТ Кафедра Бухгалтерского учета и финансов УТВЕРЖДАЮ Декан экономического факультета В.В.Московцев 2011 г. РАБОЧАЯ ПРОГРАММА ДИСЦИПЛИНЫ Бухгалтерский учет и анализ в условиях банкротства организаций (продвинутый курс) Направление подготовки: 0800100.68 Экономика Профиль подготовки: Бухгалтерский учет, анализ и аудит в коммерческих...»

«Draft for Discussion Only Туркменистан Национальная Рамочная Программа подготовлена Рабочей группой КБО ООН Туркменистана 30 декабря 2005 Сокращения и аббревиатуры ССК Совет сельскохозяйственного комплекса АБР Азиатский Банк Развития ЦАС Центрально-азиатские страны CEP Каспийская экологическая программа КДВ коллекторно-дренажные воды CIDA Канадское Агентство Международного Развития СНГ Содружество Независимых Государств КРОЗ комплексная реконструкция орошаемых земель ФАО Организация ООН по...»

«88–Я ВСЕРОССИЙСКАЯ НАУЧНО-ПРАКТИЧЕСКАЯ КОНФЕРЕНЦИЯ СТУДЕНТОВ И МОЛОДЫХ УЧЕНЫХ 26 – 27 марта 2014 ПРОГРАММА КОНФЕРЕНЦИИ 26 марта 2014 г. Пленарное заседание: Место проведения: г. Казань, ул. Бутлерова, д.49, Актовый зал, Главный учебный корпус КГМУ, 3 этаж 12.00 – Регистрация участников, гостей, секретарей секций 13.00 – Торжественное открытие конференции 13.10 – Приветственная речь ректора КГМУ А.С. Созинова 13.20 – 14.00 – пленарный доклад Роль гериатрии в медицине, Dr. Elena Mucci MBBS, MRCP,...»

«Издаётся с 1 марта 1918 года №61 (15442) СУББОТА 5 июня 2010г. НОВАЯ ЗЕЛЁНАЯ ЗОНА ГОРОДА ЧИТАЙТЕ В НОМЕРЕ: ЧАСТНЫЕ ОБЪЯВЛЕНИЯ АСТРОПРОГНОЗ НА НЕДЕЛЮ ПОЛНАЯ ТЕЛЕПРОГРАММА Как получить госакт на землю? – стр. В марте Победа опубликовала материал Шесть соток для солдата Победы, в котором рассказала о затянувшейся процедуре бесплатного оформления госакта на землю в садовом товариществе Тюльпан блокаднику Валентину Николаевичу Зайцеву. Госакта у него до сих пор нет. Фото А.Трофимовой Сегодня этот...»

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

«ГОСУДАРСТВЕННОЕ БЮДЖЕТНОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ Г. МОСКВЫ ГИМНАЗИЯ №1532 Рассмотрено на заседании Согласовано Утверждаю МО Заместитель директора по Директор ГБОУ гимназии Руководитель МО УВР Бобылева О.И. №1532. Бутырская М.А. _ 2013г. Протокол № _ от 2013 г. Приказ № от 2013 г. РАБОЧАЯ ПРОГРАММА ПО БИОЛОГИИ 7 класс (базовый уровень) Учебный год: 2013- Составитель: учитель биологии Комкова Юлия Николаевна г. Москва Пояснительная записка Рабочая программа по биологии для 7 класса...»

«Министерство образования и науки Российской Федерации Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования РОССИЙСКИЙ ГОСУДАРСТВЕННЫЙ ГИДРОМЕТЕОРОЛОГИЧЕСКИЙ УНИВЕРСИТЕТ (РГГМУ) УДК [551.588.9] Кузьминых Екатерина Владимировна МАГИСТЕРСКАЯ ДИССЕРТАЦИЯ Фрактальный анализ климатических временных рядов Направление 510900 – Гидрометеорология Программа 5109014 – Информационно-измерительные системы в гидрометеорологии Научный руководитель канд....»

«Государственное образовательное учреждение дополнительного образования детей Дом детского творчества Курортного района Санкт - Петербурга На реке Сестре УТВЕРЖДАЮ Директор ДДТ На реке Сестре _ Т.А. Мурова _2010г. Протокол педагогического совета № от _ _2010 г. Образовательная программа Компьютерная грамотность Компьютер с нуля Программа рассчитана на обучающихся 18 лет и старше Срок реализации программы – 3 месяца. Автор: педагог дополнительного образования ДДТ На реке Сестре Луговая Ирина...»

«МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ РОССИЙСКОЙ ФЕДЕРАЦИИ Г ОУ ВП О Р ОС С И ЙС КО-А Р МЯ НС КИ Й (С Л А ВЯ НС К ИЙ) У Н ИВ Е РСИТ Е Т Составлена в соответствии с федеральными государственными требованиями к структуре основной профессиональной образовательной программы послевузовского УТВЕРЖДАЮ: профессионального образования (аспирантура) Проректор по научной работе _ П.С. Аветисян 2011г. Факультет : общественно-политических наук Кафедра: политической теории Учебная программа подготовки аспиранта...»

«НОУ ВПО Вологодский институт бизнеса КАФЕДРА ТОВАРОВЕДЕНИЯ И КОММЕРЦИИ 25 01 2010 г. ТОВАРОВЕДЕНИЕ И ЭКСПЕРТИЗА ОДНОРОДНЫХ ГРУПП НЕПРОДОВОЛЬСТВЕННЫХ ТОВАРОВ программа для абитуриентов, поступающих по специальности 080401(351100) Товароведение и экспертиза товаров Вологда 2010 Товароведение и экспертиза однородных групп непродовольственных товаров: программа по дисциплине для абитуриентов, поступающих по специальности 080401 (351100) Товароведение и экспертиза товаров. – Вологда: Вологодский...»

«Министерство образования и науки РФ Новокузнецкий институт (филиал) федерального государственного бюджетного образовательного учреждения высшего профессионального образования Кемеровский государственный университет Факультет информационных технологий Кафедра математики и математического моделирования УТВЕРЖДАЮ Декан факультета информационных технологий Каледин В.О. _ _20_ г. Рабочая программа дисциплины Б3.Б.2, Дифференциальные уравнения Направление подготовки 010400.62 Прикладная математика и...»

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










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

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