WWW.DISS.SELUK.RU

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

 

МОСКОВСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ

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

Факультет вычислительной математики и кибернетики

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

ЗОРИН Даниил Александрович

СИНТЕЗ АРХИТЕКТУР ВЫЧИСЛИТЕЛЬНЫХ СИСТЕМ

РЕАЛЬНОГО ВРЕМЕНИ С УЧЕТОМ ОГРАНИЧЕНИЙ НА ВРЕМЯ

ВЫПОЛНЕНИЯ И ТРЕБОВАНИЙ К НАДЕЖНОСТИ

05.13.11 – математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей

АВТОРЕФЕРАТ

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

МОСКВА – 2014

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

Научный руководитель: кандидат технических наук, ведущий научный сотрудник Костенко Валерий Алексеевич.

Официальные оппоненты: доктор технических наук, профессор Топорков Виктор Васильевич;

кандидат технических наук, Гончар Дмитрий Русланович.

Ведущая организация: Научно-исследовательский институт вычислительных комплексов им. М.А. Карцева (НИИВК)

Защита диссертации состоится 10 октября 2014 г. в 11 часов на заседании диссертационного совета Д 501.001.44 при Московском государственном университете имени М. В. Ломоносова по адресу: 119991, ГСП-1, Москва, Ленинские горы, МГУ, 2-й учебный корпус, факультет вычислительной математики и кибернетики, аудитория 685.

С диссертацией можно ознакомиться в библиотеке факультета ВМК МГУ имени М. В. Ломоносова, с текстом автореферата можно ознакомиться на официальном сайте факультета ВМК МГУ http://www.cmc.msu.ru в разделе «Наука»

– «Работа диссертационных советов» – «Д 501.001.44».

Автореферат разослан “”_20 г.

Ученый секретарь диссертационного совета Д 501.001. в.н.с. В.А. Костенко

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

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

Таким образом, результаты работы могут быть применимыми для широкого класса вычислительных систем.

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

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

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

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

Наличие одновременно двух ограничений (время выполнения программы и надежность вычислительной системы);

Необходимость обеспечить применимость алгоритма для построения вычислительных систем с различной архитектурой;

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

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



Для достижения поставленной цели необходимо решить следующие задачи:

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

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

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

Основные результаты работы Основные результаты диссертационной работы следующие:

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

2. Разработан алгоритм решения задачи на основе схемы имитации отжига.

Теоретически обоснованы его корректность, доказана асимптотическая сходимость, и проведено исследование его точности и вычислительной сложности с использованием метода проверки статистических гипотез;

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

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

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

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

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

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

Апробация работы Результаты работы докладывались на научно-исследовательском семинаре кафедры автоматизации систем вычислительных комплексов (АСВК) факультета ВМК МГУ, на научном семинаре лаборатории вычислительных комплексов кафедры АСВК, а также на следующих конференциях:

1. XVII Международная молодежная конференция студентов, аспирантов и молодых ученых (Москва, 2010 г.) 2. XVIII Международная молодежная конференция студентов, аспирантов и молодых ученых (Москва, 2011 г.) 3. 11th IFAC/IEEE International Conference on Programmable Devices and Embedded Systems (Брно, Чехия, 2012 г.) 4. Международная конференция «Параллельные вычисления и задачи управления» (Москва, 2012 г.) 5. XX Международная молодежная конференция студентов, аспирантов и молодых ученых (Москва, 2013 г.) 6. 7th Spring/Summer Young Researchers’ Colloquium on Software Engineering (Казань, 2013 г.) 7. VII Moscow International Conference on Operations Research (Москва, 8. 3rd International Conference on Operations Research and Enterprise Systems (Анже, Франция, 2014 г.) Работа выполнена при поддержке стипендии Президента Российской Федерации.

Публикации По теме диссертации опубликовано 16 печатных работ, в том числе работы в журналах «Известия РАН. Теория и системы управления», «Вестник МГУ. Вычислительная математика и кибернетика», «Прикладная информатика» входящих в перечень ведущих рецензируемых научных журналов ВАК РФ, а также работы, индексируемых системой Scopus. Список работ приведен в конце автореферата.

Структура и объем диссертации Диссертация состоит из введения, пяти глав, заключения, списка литературы и четырех приложений. Объем работы – 103 страницы, с приложениями – страницы. Список литературы содержит 109 наименований.

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

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

В первой главе вводится математическая модель функционирования вычислительной системы реального времени (ВСРВ), формулируется задача определения минимального необходимого числа процессоров с учетом ограничений на время выполнения программы и требований к надежности ВСРВ. В разделе 1.1 приводится содержательное описание задачи. В разделе 1.2 дается определение входных данных задачи: однородной многопроцессорной системы и графа потока данных, задающего программу. Граф потока данных состоит из вершин, соответствующих заданиям (подпрограммам) и ребер, соответствующих зависимостям между заданиями по данным. На графе введена разметка, используемая для оценки времени выполнения программы.

В разделе 1.3 вводятся используемые механизмы обеспечения отказоустойчивости, позволяющие повышать надежность системы. Резервирование процессоров заключается в том, что к некоторому процессору в системе добавляется дублирующий процессор, на котором выполняются те же задания. В этом случае система отказывает, только если отказывают оба процессора. Дублирующий процессор работает в режиме горячего резерва, то есть принимает все те же данные и выполняет те же вычисления, что и основной, но передает данные только в случае отказа основного. Обосновывается необходимость выполнять на дублирующем процессоре все задания в том же порядке, что и на основном. При Nверсионном программировании создается N версий реализации какого-либо задания. Число версий всегда нечетно (обычно 3 либо 5), и результаты подвергаются простому сравнению, итоговым результатом объявляется тот, который выдали больше половины версий. Таким образом, при отказе не более чем версий отказа не происходит. Разные версии обычно разрабатываются разными группами программистов для того, чтобы по возможности неисправности были различны в разных версиях. Предполагается, что если неисправности различны, то версии отказывают на разных входных данных.

В разделе 1.4 вводится понятие расписания.

Определение 1. Расписание (для системы с резервированием и многоверсионным программированием) определяется как пара, где – множество – мультимножество, состоящее из элементов множества процессоров.

Общее число процессоров в системе – кратность процессора в мультимножестве.

Содержательно и определяют задание и номер его версии, и задают соответственно привязку к процессору и порядок выполнения для каждой версии каждого задания. Ограничения, записанные выше логическими условиями, означают, что 1) у каждого задания хотя бы одна версия должна присутствовать в расписании, 2) каждая версия каждого задания может присутствовать в расписании только один раз, 3) у всех заданий, назначенных на один процессор, разные номера. Мультимножество задает резервируемые процессоры.

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

Определение 2. Расписание S является корректным, если его граф является ациклическим.

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

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

Определение 4. Время выполнения – это максимальное значение времени завершения задания во временной диаграмме.

В данной работе реализованы несколько функций интерпретации, соответствующих таким физическим средам передачи данных, как шина и коммутатор Fibre Channel. Их подробное описание приведено в приложениях Б и В.

В разделе 1.6 вводятся функции для вычисления надежности системы.

Определение 5. Функция оценки надежности задания – функция, определяющая надежность задания с учетом всех его версий:

Определение 6. Надежность системы – это следующая величина:

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

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

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

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

В работе доказана NP-трудность поставленной задачи и сформулированы требования к алгоритму решения данной задачи.

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

В разделах 2.2-2.6 рассматриваются такие методы решения оптимизационных задач, как полный перебор, метод ветвей и границ, жадные алгоритмы, алгоритмы имитации отжига и генетические алгоритмы. Поскольку ни один из существующих алгоритмов не подходит к рассматриваемой задаче в исходном виде, необходимо выбрать подход для построения такого алгоритма. Методы полного перебора и ветвей и границ неприменимы из-за чрезмерно высокой вычислительной сложности, поэтому остается выбор из трех методов: жадные алгоритмы, алгоритмы имитации отжига и генетические алгоритмы. Жадные алгоритмы работают быстро, но неприемлемы по точности, в общем случае их результат может быть очень далек от оптимального. Генетические алгоритмы потенциально позволяют получать более точные результаты, но в условиях необходимости вычислять время выполнения расписания многократно на каждой итерации требуют очень много времени на работу. Метод имитации отжига лишен этих недостатков, поэтому было решено использовать в качестве основы его.

В третьей главе приводится описание алгоритма имитации отжига, решающего задачу, поставленную в разделе 1.

В разделе 3.1 описана общая схема алгоритма имитации отжига.

Ш а г 2. Установить начальную температуру, приняв ее текущей ( ).

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

решения считать текущим ( Ш а г 5. Повторить заданное число раз шаги 3 и 4 без изменения текущей температуры.

Ш а г 6. Если критерий останова выполнен, то завершение работы алгоритма.

Ш а г 7. Понизить текущую температуру в соответствии с выбранным законом и перейти к шагу 3.

В разделе 3.2 вводится система операций преобразования текущего решения на шаге 3. Определены пять операций и условия их корректности: добавление резервного процессора, удаление резервного процессора, добавление версий, удаление версий, перенос заданий. Для системы из пяти операций доказаны следующие утверждения.

Утверждение 1. Замкнутость системы операций. Если – корректное расписание, то после применения любой из операций также получается корректное расписание.

Утверждение 2. Для каждой операции, переводящей расписание в расписание, существует обратная операция, переводящая расписание в расписание.

Утверждение 3. Полнота системы операций. Если – корректные расписания, то существует последовательность операций, приводящая к, такая, что все промежуточные расписания корректны.

В разделе 3.3 описаны стратегии применения операций на шаге 3 алгоритма.

Стратегия определяет, какая из операций применяется на текущем шаге и с какими параметрами. Для операции переноса задания предложены три основных стратегии: стратегия уменьшения задержек, стратегия заполнения простоев и смешанная стратегия. Также описана случайная стратегия, с которой сравниваются остальные. Стратегия уменьшения задержек (стратегия S1) основана на следующем утверждении. Если время начала выполнения каждого задания равно длине критического пути в графе от истоков до задания, то расписание будет оптимальным. Длина критического пути является минимально возможным временем начала выполнения задания и равна сумме значений времени выполнения заданий, соответствующих вершинам критического пути. Стратегия заполнения простоев (стратегия S2) основана на эмпирической гипотезе: чем меньше времени в сумме простаивают процессоры, тем лучше расписание. Смешанная стратегия (стратегия S3) объединяет две предыдущих. На каждой итерации случайным образом применяется либо одна стратегия, либо другая.

В разделе 3.4 определяются условия перехода и останова. Приводятся различные законы понижения температуры на шаге 7 алгоритма.

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

В четвертой главе описывается теоретическое и экспериментальное исследование алгоритма.

В разделе 4.1 дается доказательство асимптотической сходимости алгоритма.

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

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

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

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

будем называть это перестановкой для.

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

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

Определение 11.

Утверждение 5., – метрическое пространство.

Значение метрики может быть вычислено алгоритмом с полиномиальной сложностью.

Связь между двумя метрики задается следующими соотношениями.

В разделе 4.3 описано экспериментальное исследование алгоритма. В подразделе 4.3.1 алгоритм исследуется на случайно созданных модельных данных.

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

Локальная оптимальность: если – расписание, построенное алгоритмом, то, то есть результат, найденный алгоритмом, не может быть улучшен применением одной операции.

Следующие гипотезы имеют место:

Локальная оптимальность алгоритма (имеет место в 100% случаев на рассмотренных выборках).

В подразделе 4.3.2 приведены результаты исследования алгоритма на совместимых исходных данных. Описан алгоритм создания графа программы, для которого известно оптимальное расписание, и результаты, полученные алгоритмом, сравниваются с оптимальным расписанием по метрике из раздела 4.2. Различия в работе стратегий проявляются с ростом значения. При малых различия в работе стратегий не проявляются, тогда как с ростом стратегия S3 показывает лучшие результаты. Кроме того на рассматриваемых в этом подразделе примерах стратегия S2 работает лучше, чем на случайно созданных исходных данных.

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

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

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

Наличие графического интерфейса пользователя;

Возможность ввода исходных данных как из заранее созданного файла, так и с использованием графического интерфейса;

Возможность запускать алгоритм, менять его настройки, визуализировать на экране результаты;

Возможность править результаты алгоритма в ручном режиме. При изменении решения автоматически должна проверяться его корректность;

Возможность задавать различные модели вычислительной системы для оценки времени и различные методики расчета надежности;

Возможность создавать специализированные подсистемы для построения вычислительных систем для конкретных практических задач;

Возможность генерации кода процедур обмена.

В разделе 5.2 приведено подробное описание инструментальной системы.

ИС написана на языке Python, для графического пользовательского интерфейса используется библиотека Qt. Описана структура программного кода, в том числе приведены UML-диаграммы классов основных пакетов. Описан пользовательский интерфейс, приведены иллюстрации работы системы.

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

В заключении сформулированы основные результаты диссертационной работы.

В Приложении А описаны различные схемы оценки надежности вычислительных систем.

В Приложении Б приведено детальное описание моделей среды передачи данных, которые могут быть использованы в сочетании с предложенными алгоритмами: полносвязной модели, модели с общей шиной, модели коммутатора Fibre Channel.

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

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

ПУБЛИКАЦИИ ПО ТЕМЕ ДИССЕРТАЦИИ

Полученные автором результаты изложены в следующих работах:

1. Zorin D. A., Kostenko V. A. Job Shop Scheduling and Co-design of Real-Time Systems with Simulated Annealing // Proceedings of the 3rd International Conference on Operations Research and Enterprise Systems. Angers, France:

Зорин Д. А. Оценка сходимости алгоритма имитации отжига для задачи построения многопроцессорных расписаний // Вестник МГУ. Вычислительная математика и кибернетика. – 2014. – № 2. – С. 53–59.

3. Zorin D. A., Kostenko V. A. Co-design of Real-time Embedded Systems under Reliability Constraints // IFAC Proceedings Volumes (IFAC-PapersOnline) Зорин Д. А., Костенко В. А. Алгоритм синтеза архитектуры вычислительной системы реального времени с учетом требований к надежности // Известия РАН. Теория и системы управления. – 2012. – № 2. – С. 76–83.

Зорин Д. А. Инструментальная система структурного синтеза вычислительных систем реального времени и построения расписаний // Программные системы и инструменты. Тематический сборник № 13. М.: Издво факультета ВМиК МГУ. – 2012. – С. 117-124.

Волканов Д.Ю., Зорин Д. А. Исследование применимости моделей оценки надежности для разработки программного обеспечения с открытым исходным кодом // Прикладная информатика. – 2011. – №2. – С. 26-32.

Зорин Д. А. Способ представления и преобразования расписаний в итерационных алгоритмах структурного синтеза вычислительных систем реального времени // Программные системы и инструменты. Тематический сборник № 12. М.: Изд-во факультета ВМиК МГУ. – 2011. – С. 163-171.

Волканов Д. Ю., Зорин Д. А. Исследование применимости моделей оценки надежности для разработки программного обеспечения с открытым исходным кодом // Программные системы и инструменты. Тематический сборник № 10. М.: Изд-во факультета ВМиК МГУ. – 2009. – С. 125-134.

9. Zorin D. A. Convergence and Accuracy Measurement of Scheduling on Multiprocessors with Simulated Annealing // VII Moscow International Conference on Operations Research (ORM2013): Proceedings, Vol. 1. Moscow: MAKS Press. – 2013. – P. 94-97.

10. Zorin D. A. Scheduling Signal Processing Tasks for Antenna Arrays with Simulated Annealing // Proceedings of the 7th Spring/Summer Young Researchers’ Colloquium on Software Engineering (SYRCoSE). Kazan, Russia:

Kazan National Research Technical University. – 2013. – P. 122-127.

Зорин Д. А. Преобразование расписаний в итерационных алгоритмах 11.

структурного синтеза вычислительных систем // XX Международная молодежная конференция студентов, аспирантов и молодых ученых; секция «Вычислительная математика и кибернетика»: Сб. тезисов. М.: Издательский отдел факультета ВМиК МГУ; МАКС Пресс. – 2013. – С. 24-25.

Зорин Д. А. Сравнение различных стратегий применения операций в алгоритме имитации отжига для задачи построения расписаний для многопроцессорных систем // Параллельные вычисления и задачи управления PACO'2012. Шестая международная конференция, Москва, 24-26 окт.

2012 г., Труды: в 3 т. М.: ИПУ РАН. – 2012. – Том 1. – С. 278-291.

13. Zorin D. A., Kostenko V. A. Co-design of Real-time Embedded Systems under Reliability Constraints // Proceedings of 11th IFAC/IEEE International Conference on Programmable Devices and Embedded Systems (PDeS). Brno, Czech Republic: Brno University of Technology. – 2012. – P. 392-396.

Зорин Д. А. Метод синтеза архитектуры вычислительной системы реального времени при ограничениях на надежность // Сборник тезисов лучших дипломных работ 2011 года. М.: Издательский отдел факультета ВМиК МГУ; МАКС Пресс. – 2011. – С. 99-100.

Зорин Д. А. Метод синтеза архитектуры вычислительной системы реального времени при ограничениях на надежность // XVIII Международная молодежная конференция студентов, аспирантов и молодых ученых; секция «Вычислительная математика и кибернетика»: Сб. тезисов. М.: Издательский отдел факультета ВМиК МГУ; МАКС Пресс. – 2011. – С. 141Зорин Д. А. Исследование применимости моделей оценки надежности для 16.

разработки программного обеспечения с открытым исходным кодом // XVII Международная молодежная конференция студентов, аспирантов и молодых ученых; секция «Вычислительная математика и кибернетика»:

Сб. тезисов. М.: Издательский отдел факультета ВМиК МГУ; МАКС Пресс. – 2010. – С. 121-122.





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

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

«Коптева Галина Геннадьевна Эпические интенции в творчестве Николая Заболоцкого АВТОРЕФЕРАТ диссертации на соискание ученой степени кандидата филологических наук Специальность 10.01.01 – русская литература Красноярск 2011 Работа выполнена на кафедре русской и зарубежной литературы ГОУ ВПО Алтайская государственная педагогическая академия Научный руководитель : кандидат филологических наук, доцент Мансков Сергей Анатольевич Официальные оппоненты : доктор филологических наук,...»

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

«УДК 537.622 ПЕЛЕНОВИЧ Василий Олегович МАГНИТНЫЕ, ОПТИЧЕСКИЕ И МАГНИТООПТИЧЕСКИЕ СВОЙСТВА ZnO, ЛЕГИРОВАННОГО Mn 01.04.11 – Физика магнитных явлений Автореферат диссертации на соискание ученой степени кандидата физико-математических наук Ташкент – 2011 2 Работа выполнена в Отделе теплофизики АН РУз Научный руководитель : доктор физико-математических наук Юлдашев Шавкат Узгенович Отдел теплофизики АН РУз (г. Ташкент)...»

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

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

«Петров Станислав Игоревич ПРИНЦИПЫ ПОСТРОЕНИЯ И СВОЙСТВА ГЕТЕРОСТРУКТУР НА ОСНОВЕ СОЕДИНЕНИЙ III-N, ПОЛУЧЕННЫХ МЕТОДОМ МОЛЕКУЛЯРНО-ЛУЧЕВОЙ ЭПИТАКСИИ Специальность: 01.04.10 – Физика полупроводников АВТОРЕФЕРАТ диссертации на соискание ученой степени кандидата физико-математических наук Санкт-Петербург - 2007 Работа выполнена в Государственном образовательном учреждении высшего профессионального образования “Санкт-Петербургский государственный политехнический университет”....»

«ШТОЙК СЕРГЕЙ ГАРРИЕВИЧ Исследование окислительно-восстановительных процессов при автогенной плавке свинцового сульфидного сырья и разработка аппаратурно-технологической схемы, обеспечивающей наибольшую эффективность его переработки Специальность: 05.16.02 – Металлургия черных, цветных и редких металлов АВТОРЕФЕРАТ диссертации на соискание ученой степени кандидата технических наук Москва – 2011 2 Работа выполнена в ФГУП Государственный научно-исследовательский институт...»

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

«Акайкин Даниил Алексеевич ОПЕРАТИВНОЕ ОБСЛЕДОВАНИЕ ПОВРЕЖДЕННЫХ НАСАЖДЕНИЙ С ПРИМЕНЕНИЕМ БЕСПИЛОТНЫХ ЛЕТАТЕЛЬНЫХ АППАРАТОВ И ГИС (на примере Сосновского участкового лесничества, Приозерского лесничества, Ленинградской области) Специальность 06.03.02 – “Лесоведение, лесоводство, лесоустройство и лесная таксация” Автореферат диссертации на соискание ученой степени кандидата сельскохозяйственных наук Санкт- Петербург – 2012 1 Работа выполнена на кафедре лесной таксации,...»

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

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

«Максимовский Михаил Юрьевич ПОЛИГОНЫ И МУЛЬТИПОЛИГОНЫ НАД ПОЛУГРУППАМИ Специальность 01.01.06 – математическая логика, алгебра и теория чисел Автореферат диссертации на соискание ученой степени кандидата физико-математических наук Казань – 2010 г. Работа выполнена на кафедре высшей математики № 1 Московского государственного института электронной техники (национального исследовательского университета) Научный руководитель : доктор физико-математических наук, профессор Кожухов...»

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

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

«Аветисян Паранцем Арутоновна Дополнительные наказания и их назначение Специальность: 12.00.08-у головное право и криминология; уголовно-исполнительное право АВТОРЕФ ЕРАТ диссертации на соискание ученой степени кандидата юридических наук Казань-2003 Диссертация выполнена на кафедре уголовного права Казанского государственного университета Научный руководитель ; доктор юридических наук, профессор Сундуров Ф.Р. Официальные оппоненты ; доктор юридических наук, профессор...»

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

«Ольга Константиновна КРОКИНСКАЯ Человеческий потенциал гражданского общества в современной России Антропоцентрический критерий социальных изменений Специальность 22.00.04 – социальная структура, социальные институты и процессы АВТОРЕФЕРАТ диссертации на соискание ученой степени доктора социологических наук Санкт-Петербург 2002 г. Диссертация выполнена на кафедре социологии и политологии...»

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

«САДЫКАНОВА САЛТАНАТ ЭЛЕМЕСОВНА Выявление причин формирования межфазных образований в экстракционной технологии извлечения рения из промывной серной кислоты медного производства и методы их переработки Специальность 05.16.02 – металлургия черных, цветных и редких металлов Автореферат диссертации на соискание ученой степени кандидата технических наук Республика Казахстан Алматы, 2010 Работа выполнена в АО Центр наук о Земле, металлургии и обогащения АО...»








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

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