Моделирование и верификация аппаратно-программного комплекса для обеспечения целостности сигналов при проектировании вычислительных систем тема диссертации и автореферата по ВАК РФ 05.13.05, кандидат наук Полежаев, Максим Олегович

• Полежаев, Максим Олегович
• кандидат наук
• 2014

Оглавление диссертации кандидат наук Полежаев, Максим Олегович

ОГЛАВЛЕНИЕ

ВВЕДЕНИЕ

ГЛАВА 1. АНАЛИЗ ПРОБЛЕМЫ ЦЕЛОСТНОСТИ СИГНАЛОВ И МЕТОДЫ ИХ ИССЛЕДОВАНИЯ, КОНСТРУКТИВНО-ТЕХНОЛОГИЧЕСКИЕ ХАРАКТЕРИСТИКИ ПЕЧАТНОГО МОНТАЖА ПО КРИТЕРИЯМ КАЧЕСТВА ПЕРЕДАЧИ ИМПУЛЬСНЫХ СИГНАЛОВ

1.1. Анализ и основы структурно-параметрического синтеза САПР

1.2. Корреляция конструктивных и импульсных параметров сигнальных линий прецизионных М1111

1.3. Обоснование допустимого разброса волнового импеданса печатных линий

1.4. Влияние конструктивных неоднородностей МПП на волновое сопротивление линий связи

1.5. Технологическая модель полосковой линии передачи

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

1.7. Программа «Моделирование межсхемных соединений» с использованием АПКМ

1.8. Выводы

ГЛАВА 2. ВЕРИФИКАЦИЯ КОНЦЕПТУАЛЬНЫХ ПОЛОЖЕНИЙ

ТЕХНОЛОГИИ МОДЕЛИРОВАНИЯ С ИСПОЛЬЗОВАНИЕМ АПКМ

2.1. Назначение и область верификации АПКМ

2.2 Модель тест платы

2.3. Выводы

ГЛАВА 3. ВЕРИФИКАЦИЯ МЕТОДОВ МОДЕЛИРОВАНИЯ ФОРМЫ ИМПУЛЬСНЫХ СИГНАЛОВ В ЛИНИЯХ СВЯЗИ С ПОТЕРЯМИ

3.1. Модель переходного процесс в линии передачи с потерями

3.2. Модель динамических потерь помехозащищенности

3.3. Методика проектирования длинных линий

3.4. Применение частотного метода для разработки моделей длинных линий с потерями

3.5. Сравнение методов построения моделей длинных линий связи с потерями для проектирования высокопроизводительных вычислительных устройств

3.6. Выводы

ГЛАВА 4. ЭЛЕКТРОННОЕ ПРОЕКТИРОВАНИЕ ШИН РАЗВОДКИ ЭЛЕКТРОПИТАНИЯ УЗЛОВ И БЛОКОВ ВЫЧИСЛИТЕЛЬНЫХ СРЕДСТВ

4.1. Актуальность проектирования системы разводки электропитания по критериям целостности логических сигналов

4.2. Электрическая модель системы разводки электропитания

4.3. Технология элементной базы и форма импульсного тока в шинах электропитания

4.4. Математические модели шин питания

4.5. Рекомендации по проектированию шин питания устройств ячеечной конструкции

4.6. Разработка алгоритма программы анализа цепей питания

4.7. Выводы

ЗАКЛЮЧЕНИЕ

Список сокращений

ЛИТЕРАТУРА

ПРИЛОЖЕНИЕ А. Акты внедрения диссертационной работы

Введение диссертации (часть автореферата) на тему «Моделирование и верификация аппаратно-программного комплекса для обеспечения целостности сигналов при проектировании вычислительных систем»

ВВЕДЕНИЕ

Актуальность темы. Целостность сигналов (signal integrity) впервые введена компанией Mentor Graphics в 1995 году работающей в области автоматизации проектирования электроники (EDA - Electronic Design Automation) и вычислительной техники [1, 20, 23, 28, 35, 75, 80].

Указанной технологией (ноу-хау) фирма предпочитает не делиться, поэтому в России эта проблема требует самостоятельного развития.

Технология автоматизированного анализа целостности сигналов (ЦС) многослойных коммуникационных плат является определяющей для вычислительных устройств, работающих в субнаносекундном диапазоне. Указанной технологией (ноу-хау) фирма предпочитает не делиться, поэтому в России эта проблема требует самостоятельного развития. Проблема обеспечения целостности сигналов, предполагающая анализ причин их искажения и разработку методов устранения, играла существенную роль при проектировании вычислительной техники. За последние годы в связи с резким ростом производительности микропроцессоров и вычислительных комплексов, обусловившим переход на сигналы субнаносекундного диапазона, ЦС приобрела ключевое значение и стала предметом ряда основательных исследований и связанных с ними публикаций. В настоящее время технические и эксплуатационные характеристики высокопроизводительных вычислительных систем во многом определяются конструкцией межсхемных соединений и технологией их получения. Необходимость максимального использования скоростных свойств логических элементов субнаносекундного диапазона, вынуждает разработчиков постоянно совершенствовать методы автоматизированного проектирования и оптимизации построения вычислительных средств для обеспечения целостности и высоких характеристик передаваемых цифровых сигналов. Резервы в этом направлении заложены в развитии технологии виртуального математического моделирования переходных процессов при прохождении сигналов в межсхемных соединениях; учете паразитных характеристик реальных соединений на всех уровнях проектируемого устройства; адаптации системы автоматизированного проектирования с целью повышения точности характеристик проектируемых устройств; практическом подтверждении верности принимаемых решений и умения предсказания реальных характеристик соединений. Одним из направлений в этой области исследований является верификация аппаратно программного комплекса с использованием микромоделей для исследования целостности сигналов при проектировании вычислительных средств [1, 20 ,23, 28, 35, 75, 80, 85, 86, 93, 104, 105, 106].

Базовая технология обеспечение целостности сигналов в системе автоматизированного проектирования (САПР) электронных и вычислительных комплексов с использованием аппаратно программных средств может быть создана с использованием средств моделирования и анализа переходных процессов в линии передачи информации на уровне многослойных печатных плат (ML111). Задача электронного конструирования межсхемных соединений с прогнозированием надежности информационного обмена между логическими

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

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

2) основная идея верификации аппаратно-программного комплекса моделирования (АПКМ) заключается в объединении программного ядра, содержащего алгоритмы моделирования переходных процессов в межсхемных соединениях с измерительным трактом, позволяющим исследовать реальные осциллограммы переходных процессов в линиях передачи с известными геометрическими и электрическими характеристиками, расположенными на ТЕСТ-ПЛАТЕ. Такая технология моделирования позволяет оценить точность расчета переходных процессов в межсхемных соединениях, настроить параметры моделей, а, следовательно, повысить надежность прогнозирования информационного обмена.

3) Комплекс моделирования должен обладать высокой производительностью для оперативного принятия решений о корректности моделей. Связка: USB-генератор - ТЕСТ-ПЛАТА - USB-осциллограф - Notebook, а также система мультиплицирования сигналов, позволяет исследовать переходные процессы в тест-линиях, как в автоматическом, так и в автоматизированном режимах с выбором сканируемой линии из графического интерфейса. Таким образом, базовая технология моделирования межсхемных соединений обеспечения ЦС позволяет обеспечить решение вышеуказанных задач исследований, что становится особенно актуальным при проектировании современных вычислительных систем, имеющих оптимальные коммуникационные соединения с высокими техническими характеристиками.

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

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

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

3. Частотное моделирование формы импульсных сигналов в линиях связи с потерями с использованием преобразований Фурье.

4. Верификация ЦС с учетом эффектов взаимного влияния сигналов цепей и пульсации в системе электропитания вычислительных комплексов.

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

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

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

Научная новизна работы заключается в следующем:

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

2. Разработана методика и программно-аппаратные решения, обеспечивающие повышение точности совпадения осциллограмм до 3% по сравнению с существующим уровнем в 5-10% сопоставления по заданному критерию модельных и реальных значений параметров сигнала.

3. Предложены методы обеспечения ЦС субнаносекундного диапазона в многослойных печатных платах с учетом эффектов взаимного влияния сигнальных цепей и пульсаций в системе электропитания с увеличением количества контролируемых контуров до 3 видов (существующие методы функционируют с одним контуром).

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

Результаты исследований, выполненных по теме диссертации, применялись в практических разработках научно-производственных организаций и компаний ООО «АСС-инжиниринг», «НИИ Супер ЭВМ», ООО «РК-телеком».

Область исследования соответствует специальностям: 05.13.05 - элементы устройства вычислительной техники и систем управления, паспорт специальности п.1, 3,4.

Результаты, выносимые на защиту

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

2. Верификация АГЖМ как средство системного проектирования, выбора и обоснования рациональных технических решений для большого количества функционально сложных вычислительных устройств.

3. Результаты моделирования формы импульсных сигналов в линиях связи с потерями.

4. Верификация модели обеспечения целостности сигналов в МПП, с учетом эффектов взаимного влияния сигналов цепей и пульсации в системе электропитания.

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

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

Публикации. По теме диссертации опубликованы 10 печатных работ, из них 5 публикации в изданиях, входящих в перечень ВАК РФ, патенты.

Структура и объем диссертации. Диссертация состоит из введения, четырех глав, заключения и приложения (Акты внедрения). Список литературы (106 наименований).

ГЛАВА 1. АНАЛИЗ ПРОБЛЕМЫ ЦЕЛОСТНОСТИ СИГНАЛОВ И МЕТОДЫ ИХ ИССЛЕДОВАНИЯ, КОНСТРУКТИВНО-ТЕХНОЛОГИЧЕСКИЕ ХАРАКТЕРИСТИКИ ПЕЧАТНОГО МОНТАЖА ПО КРИТЕРИЯМ КАЧЕСТВА ПЕРЕДАЧИ ИМПУЛЬСНЫХ СИГНАЛОВ

1.1. Анализ и основы структурно-параметрического синтеза САПР

В современных системах автоматизированного проектирования (САПР) системных объектов, к которым можно отнести сложные технические вычислительные системы и устройства, используется компьютерное моделирование, что поднимает процесс проектирования на качественно новый уровень. Большинство таких САПР содержат модуль параметрической оптимизации, который позволяет при заданной структуре проектируемого устройства подобрать значения параметров составляющих ее элементов, при которых характеристики будут находиться в заданных разработчиком пределах. Но для этого необходимо задать структуру устройства, при которой возможно достижение требуемых характеристик, а выбор такой структуры далеко не всегда очевиден и обычно требует существенных временных затрат. Кроме того, такая структура может оказаться неоптимальной, т.к., даже используя современные САПР, разработчик может опробовать лишь незначительное число структурных решений, по причине того, что на задание и модификацию исследуемых структур требуются существенные затраты времени. Поэтому логичным требованием к САПР следующего поколения является поддержка автоматической генерации различных структур проектируемых устройств и их вариаций, а также осуществление оптимизации как структуры всего устройства, так и отдельных, указанных разработчиком , подструктур. Таким образом, САПР должны поддерживать процедуру автоматизированного структурно-параметрического синтеза проектируемой технической системы или устройства. Однако практическая реализация алгоритмов структурно-параметрического синтеза наталкивается на ряд трудностей использования методов логического, теоретического, технического, а также и психологического характера [1, 2, 8, 24, 26, 27, 28, 35, 39, 48, 50, 63, 65, 72, 73, 80, 85].

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

целенаправленном поиске рационально структуры на морфологическом множестве, представленном в виде и/или - деревьев, при помощи эвристических и эволюционных алгоритмов, а также технологии инженерии знаний [2].

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

Другим доказательством наличия возможности автоматизации структурно-параметрического синтеза может выступать для успешно решенных задач. Кроме того, логично ожидать, что после решения проблемы параметрического синтеза сложных технических систем будет решена и более общая задача - задача к структурно-параметрического синтеза. Теоретический базис, который может быть использован при создании САПР, поддерживающих структурно-параметрический синтез, был заложен достаточно давно. Но реализацию полноценных коммерческих САПР с такой возможностью до сих пор наталкивается на ряд трудностей. Это связано как с объективными, так и с субъективными причинами. К первым относятся:

• недостаточная вычислительная мощность средств проектирования еще в совсем недавнем прошлом;

• отсутствие адекватных языков программирования, в частности, языков, поддерживающих парадигму объектно-ориентированного программирования;

• затруднения в многократном использовании программного кода;

•трудность реализации межплатформенных систем;

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

• отсутствие лингвистического обеспечения, поддерживающего процедуру структурно-параметрического синтеза. Ко вторым можно отнести:

•частое нахождение исследователей «в плену» базовой отрасли знаний, например, для разработчиков радиоэлектронной аппаратуры - теории электрических цепей, попытки решить задачу синтеза, оставаясь в ее рамках;

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

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

Только теперь, с широким внедрением персональных компьютеров, с

обретением ими вычислительной мощности, сравнимой с мощностью суперкомпьютеров недавнего прошлого, создания методологии объектно-ориентированного программирования и мультигентных технологий открываются возможности создания практических методик структурно-параметрического синтеза различных устройств [8, 11, 30, 33, 38, 75].

Сравнительный анализ задач параметрического и структурно-параметрического синтеза

Как известно процесс синтеза, проводимого поисковыми методами, распадается на три этапа: задание целевой функции, создание математической модели и выбор алгоритма синтеза. Рассмотрим каждый из перечисленных этапов и сравним требования, предъявляемые к параметрическому и структурно-параметрическому синтезу на этих этапах.

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

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

Модель. Модели, используемые в параметрическом и структурно-

параметрическом синтезе, являются принципиально различными (табл. 1).

Таблица 1

Сравнение моделей для структурного и структурно-параметрического синтеза

СИНТЕЗ

Параметрический Структурно-параметрический

Структура модели фиксирована и не изменяется в процессе синтеза Структура модели заранее неизвестна и модель формируется автоматически

Изменяются только параметры (номиналы элементов). Поиск осуществляется в пространстве параметров Изменяются как структура, так и параметры. Поиск осуществляется в пространстве структур и параметров

Размерность вектора параметров фиксирована Размерность вектора параметров заранее неизвестна и может быть определена только после того как будет определена структура

При параметрической оптимизации проектируемого устройства поиск осуществляется в пространстве параметров номиналов его элементов, следовательно, в модели изменяются лишь параметры этих элементов, составляющих структуру проектируемого устройства, а сама структура в процессе оптимизации остается неизменной. При структурно-параметрическом синтезе поиск производится в пространстве, как структур, так и номиналов элементов этих структур. Следовательно, необходимо моделировать не отдельно взятое устройство, а весь класс проектируемых устройств. Назовем такую модель универсальной моделью. Более того, универсальная модель обеспечивает ограничения на множество структур, на котором организуется поиск технического решения. Если методики создания N тематических и компьютерных моделей, конкретно взятых устройства подробно разработаны и реализованы в широко применяемых пакетах (MicroCAP, MicrowaveOffice, ANSYS), то с методиками моделирования классов устройств дела обстоят иначе. Можно предложить два подхода к созданию универсальных моделей: автономные модели, решением которых будут характеристики проектируемого устройства , и модели морфологического множества, решением которых будут спецификации проектируемых устройств.

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

эффективность, т.к. при их создании могут быть использованы специальные методы моделирования узкого класса устройств (например, в теории цепей, как известно, существуют алгоритмы для анализа лестничных цепей каскадного соединения, и некоторых других, более эффективные, чем общий метод узловых потенциалов). Более того, САПР на основе таких моделей получаются автономными и для их работы не требуются другие дорогостоящие программные пакеты (типа АИБУЗ). Недостатком является высокая трудоемкость их создания.

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

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

Алгоритм синтеза

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

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

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

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

Список литературы диссертационного исследования кандидат наук Полежаев, Максим Олегович, 2014 год

ЛИТЕРАТУРА

1. Gourary М.М., Rusakov S.G., Stempkovsky A.L., Ulyanov S.L., Zharov M.M. The Elimination Techniques to Solve Computational Problems of Model Order Reduction for Large Multi-terminal Circuits. Международная конференция «Математические и информационные технологии, MIT-2013». 2013. Р. 93.

2. Koza J.R., Bennett F.H. е.а. Automated Synthesis of Analog Ele cal Circuits by Means of Genetic Programming. - "IEEE trans, on Ev tionary Computation", 1997, Vol. l,№2,p. 109-128.

3. Sripramong Т., Toumazou C. The Invention of CMOS Amplifier ing Genetic Programming and Current-Flow Analysis. - M IEEE trans computer-aided design of integrated circuits and systems", 2002, Vol. 21 11, p. 12371252.

4. Norenkov I.P., Rusakov S.G., Stempkovsky A.L. The development of simulation methods in CAE systems in Russia. In Proceedings of VII International Congress on Communication, Informatics and Economic Development. New Delhi, November 23-25, 1993.

5. Chen D., Aoki T. e.a. Graph-Based Evolutional Design of Arithi tic Circuits. - "IEEE trans, on Evolutionary Computation", 2002, Vol. 6. l,p. 86100.

6. Ztvicky F. Discovery. Invention, Research through the Morpholc cal Approach. New York: McMillan, 1969.276 c.

7. Автоматизация поискового конструирования. Под ред. А.И. Половинкина. М., Радио и связь, 1981.344 с.

8. Акимов С.В. Объектно-ориентированное проектирование САПР транзисторных усилителей СВЧ. - В сб.: Труды учебных заведений связи / СПб., 2002, №> 167, с. 172-187.

9. Акимов С.В. Опыт использования универсальной модели лестничной цепи. - В сб.: Тезисы докл. 56-й НТК. СПб., СПбГУТ, 2004,

10. Акимов С.В. STRUCTURALIST - язык моделирования мо фологического множества. - В сб.: Тезисы докл. 56-й НТК. 2004, с. 74.

11. Акимов С.В. Общая методология синтеза различных классов транзисторных усилителей СВЧ. - В сб.: Труды учебных заведений связи. СПб., 2001, № 166, с. 79-83.

12. Акимов С.В. Морфологический анализ множества линейных транзисторных усилителей СВЧ. - В сб.: Труды учебных заведений связи. Спб., 2001, № 166, с. 84-89.

13. Бабак Л.И. Синтез согласующих цепей и цепей связи транзисторных широкополосных усилителей по областям иммитанса. - «Радиотехника и

электроника», 1995, Т. 40, № ю, с. 1550-1560.

14. Бердичовский Б.Е. Вопросы обеспечения надежности радиоэлектронной аппаратуры при разработке. - М.: Сов.радио, 1977.-3 84с.

15. Бердичевский Б.Е. Оценка надежности аппаратуры автоматики. -М. Машиностроение, 1966.- 276с.

16. В.А. Волков. Метод оценки надежности кластерных вычислительных структур и отказоустойчивости приложений с недетерминированным поведением /Чудинов. С.М// «Научные ведомости БелГУ» № 19/1, Москва 2011г. С.121-126.

17. Волков В.А. Оценочные модели надежности кластерных вычислительных систем // Динамика сложных систем. - 2011. - № 3. - С.65-72.

18. Волков В.А., Травкин Д.Н. Допусковый анализ прецизионных печатных плат // Динамика сложных систем. - 2011. - № 4. - С.66-75.

19. Воробушков В. В., Николаев И. А., Шмаев В. Б. «Проектирование вычислительных систем на основе микропроцессоров «Эльбрус»», Сборник научных трудов 49-й научная конференция МФТИ, Москва-Долгопрудный, ноябрь 2006

20. Воробушков В. В. «Моделирование целостности земли и питания в быстродействующих цифровых системах» Сборник научных трудов 50-й научная конференция МФТИ, Москва-Долгопрудный, ноябрь 2007.

21. Воробушков В. В., Шмаев В. Б. «Проблемы проектирования вычислительных комплексов на базе микропроцессора «Эльбрус». Приложение к журналу «Информационные технологии» №11, Москва 2008

22. Воробушков В. В., Рябцев Ю. С. «Опыт проектирования системных панелей вычислительного комплекса «Эльбрус-ЗМ1». Научная сессия МИФИ-2009. Аннотации докладов, Москва, январь 2009.

23. Воробушков В. В. Рябцев Ю. С. Использование развязывающих конденсаторов на подложке микропроцессора «Эльбрус-С», Сборник научных трудов 51-й научной конференции МФТИ, Москва-Долгопрудный, ноябрь 2009

24. Воробушков В. В., Рябцев Ю. С., Тимофеев В. К. «Особенности разработки топологии системы питания в многослойных печатных платах современных вычислительных устройств». Вопросы радиоэлектроники, серия «Электронная вычислительная техника», Выпуск 3, Москва 2009

25. Воробушков В. В., Рябцев Ю. С. «Методы конструирования помехозащищенной системы питания для подложки современных микропроцессоров», Вопросы радиоэлектроники, серия «Электронная вычислительная техника», Выпуск 3, Москва 2010

26. Воробушков B.B. Обеспечение целостности сигналов при разработке современных вычислительных устройств: диссертация кандидата технических наук: 05.13.05 / Воробушков Василий Владимирович; [Место защиты: Ин-т электрон, упр. машин им. И.С. Брука].- Москва, 2011.- 163 е.: ил. РГБ ОД, 61 11-5/2659

27. Вермишев Ю.Х. Основы автоматизации проектирования. - М.: Радио и связь, 1988. - 278с.

28. Гридин В.Н. Теоретические основы построения базовых адаптируемых компонентов САПР МЭА/ Под ред. Г.Г.Рябова. - М.: Наука, 1989.-256с.

29. Дорофеев С.Ю, Бабак Л.И, Барышников А.С, Добуш И.М, Кошевой С.Е, Песков М.А, Шеерман Ф.И. Интеллектуальная система автоматизированного проектирования СВЧ-устройств INDES YS. "Информационные технологии", 2010, № 2, с. 42-48.

30. Дербин A.C., Завгородний, М.А., Иванов П.Н., Лыпарь Ю.1 Модели структурного синтеза систем управления. - В сб.: Материал] XXX Юбилейной межвуз. НТК. Неделя науки. СПб., 2002, ч. 7, с. 58.

31. Деньдобренко Б.Н., Малика A.C. Автоматизация конструирования РЭА. - М.: Высшая школа, 1980. - 384с.

32. Дружинин Г.В. Методы оценки и прогнозирования качества. - М.: радио и связь, 1982. - 160с.

33. Иванников А.Д., Кулагин В.П., Тихонов А.Н., Цветков В.Я. Геоинформатика / Иванников А.Д., Кулагин В.П., Тихонов А.Н., Цветков В .Я. — М.: МАКС Пресс, 2001. — 349 с.

34. Компьютерные технологии обработки информации: Учеб. пособие/ С.В.Назаров, В.И.Першиков, В.А.Тафинцев и др.; Под ред. С.В.Назарова. - М.: Финансы и статистика, 1995. - 248с.

35. Кофанов Ю.Н., Шрамков И.Г. Проектирование РЭА с помощью автоматизированной системы обеспечения надежности и качества аппаратуры. - М.: МИЭМ, 1985. - 28с.

36. Кофанов Ю.Н. Теоретические основы конструирования, технологии и надежности радиоэлектронных средств: Учебник для вузов. - М.: Радио и связь, 1991. -360с

37. Кофанов Ю.Н., Шалумов A.C., Журавский В.Г., Гольдин В.В. Математическое моделирование тепловых радиоэлектронных средств при механических воздействиях. - М.: Радио и связь, 2000. - 226с.

38. Кофанов Ю.Н., Шалумов A.C. Обеспечение надежности аппаратуры при механических воздействиях с применением САПР: Учебное пособие. -Ковров: Изд-во КТИ, 1995. - 48с.

39. Колесников М.А., Полежаев М.О. Актуальные проблемы моделирования межсхемных соединений при разработке САПР высокопроизводительных ЭВМ. Вопросы радиоэлектроники. Серия ЭВТ Выпуск 1. 2014 г. 61-70 с.

40. Колесников М.А., Гахария Л.Г., Гахария В.К. Применение частотного метода для разработки моделей длинных линий с потерями. Вопросы радиоэлектроники. Серия ЭВТ Выпуск 1. 2014 г.70-80 с.

41. Кузьмин Ф.Л. Задачи и методы оптимизации показателей надежности. - М.: Сов.радио,1972. - 224с.

42. Лыпарь Ю.И., Станкевич JI.A. Когнитивные структуры в системе управления гуманоидного робота. - "Мехатроника, автоматизация, управление", 2002, №7, с. 7-10.

43. Лыпарь Ю.И. Автоматизация проектирования избирательных усилителей и генераторов. Б.м. и г., 144 с.

44. Лыпарь Ю.И. База знаний для систем проектирования и обучения. - В сб.: Региональная информатика - 96.. Материалы СПб междунар. конф. СПб, СПОИСУ, 1996,4.2, с. 251-252.

45. Ланнэ А.А, Михайлова БД, Саркисян Б.С, Матвийчук Я.Н Оптимальная реализация линейных электронных схем. Киев, Наукова думка. 1982.208 с.

46. Маслов А .Я., Татарский В.Ю. Повышение надежности радиоэлектронной аппаратуры. - М.: Сов.радио, 1972. - 264с.

47. Моисеев H.H. Неформальные процедуры и автоматизация проектирования. - М.: Знание, 1979. - 64с.

48. Норенков И.П. Разработка систем автоматизированного проектирования: Учебник для вузов. -М.: Изд-во МГТУ им.Н.Э.Баумана, 1994.-207с.

49. Норенков И.П., Маничев В.Б. Системы автоматизированного проектирования электронной и вычислительной аппаратуры: Учебное пособие. - М.: Высшая школа, 1983. - 272с.

50. Оптимизация радиоэлектронной аппаратуры / Под ред.А.Я.Маслова, А.А.Чернышева. - М,: Радио и связь, 1982. - 200 с.

51. Оптимальные задачи надежности (Под ред.И.А.Ушакова. - М.:Изд-во Комитета стандартов, мер и измерительных приборов, 1968. - 292 с.

52. Одрин В.М., Картавов С.С. Морфологический анализ систем Построение морфологических таблиц. Киев, Наукова думка, 1977.148

53. Питтс. Н. XML за рекордное время: Пер. с англ. М, Мир, 2000. 208 с.

54. Пугачев B.C. Теория случайных функций и ее применение к задачам

автоматического управления, - М.: Физматгиз, I960. - 883с.

55. Полежаев М.О. Модели диффузии при прогнозировании динамики распространения инновационных технологий [текст] / Марченков А.Е.// Динамика сложных систем. - 2012. - № 1. - С. 68-72

56. Полежаев М.О. Системный подход по выбору экономических показателей для оценки инновационного потенциала телекоммуникационной компании, [текст] /Дытыненко П.Н // Научный журнал Динамика сложных систем.. № 3, 2012 Стр.66-70

57. Полежаев М.О. Аппаратно-программный комплекс моделирования межсхемных соединений высокопроизводительных систем, [текст] / Колесников М.А., Чудинов С.М. // Вопросы радиоэлектроники. Серия ЭВТ - 2014. - Выпуск 2. с.56-67

58. Полежаев М.О. Актуальные проблемы моделирования межсхемных соединений при разработке САПР высокопроизводительных ЭВМ. [текст] / Колесников М.А.// Вопросы радиоэлектроники. Серия ЭВТ — 2014. -Выпуск 2. с.68-76

59. Полежаев М.О. Сравнение методов построения моделей длинных линий связи с потерями для проектирования высокопроизводительных вычислительных устройств. Научный журнал «Динамика сложных систем», г. Москва. - 2014. - № 2. - С.62-64.

60. Полежаев М.О. Защищенный ведомственный центр управления информационной системы, [текст] статья / Марченков А.Е. //«Вестник МАРТИТ» № 1 2009 стр. 89-92

61. Полежаев М.О. Метод использования моделей информационной безопасности, [текст] доклад / Раков С.Б. //Сборник трудов Второй Международной конференции «НИУ БелГУ» стр. 508-513

62. Роткоп Л.Л., Гидалевич В.Б. Оптимальное размещение РЭА с принудительным охлаждением. - Вопросы радиоэлектроники, сер.ТРТО, 1970, вып. 1, с.69-82.

63. Раков С.Б. Системотехнические решения при оптимизации сети и реализации инфокоммуникационных услуг с использованием доверенного оборудования. Автореферат. М.: Компания РК-телеком, 2012;

64. Сольницев Р.И. Автоматизация проектирования систем автоматического управления: Учеб.для вузов. - М.:Высш.шк.Д991. - 335с.

65. Системы автоматизированного проектирования: В 9 кн. Кн.1. И.П.Норенков. Принципы построения и структура: Учеб. пособие для втузов. - М.: Высшая школа, 1986. - 127с.

66. Сушков Ю.А. Об одном способе организации случайного поиска. -«Автоматика и вычислительная техника», 1974, № 6, с. 41-48.

67. Сотникова С.Ю. Комплексирование моделей при автоматизированном проектировании бортовых источников вторичного электропитания. Автореферат, М.: ФГБОУ ВПО МГИЭИ, 2012.

68. Стемпковский А.Л., Шепелев В.А. Представление топологических данных в интегрированной базе данных CADS. Системы и средства телекоммуникаций. - М., 1993. - Вып. 5-6. - С. 24-29.

69. Стемпковский А.Л., Шепелев В.А., Власов A.B., Лапинский B.C. Системная среда CADS: framework для глубоко интегрированных САПР. Системы и средства телекоммуникаций. - М., 1993. - Вып. 5-6. - С. 18-23.

70. Стемпковский А.Л., Шепелев В.А., Власов A.B. CADS: системная среда, базирующаяся на концепции гибкой интеграции. Юбилейный сборник трудов институтов Отделения информатики, вычислительной техники и автоматизации Российской академии наук, - М., 1993. - Т. 3. - С. 91-111.

71. Стемпковский А.Л., Шепелев В.А., Власов A.B. Системная среда САПР СБИС. - М.: Наука, 1994. - 251 с.

72. Стемпковский А.Л., Шепелев В.А. Управление проектными задачами в САПР. Информационные технологии. - М., 1996. - Вып. 1. - С. 25-30.

73. Стемпковский А.Л., Осипов Л.Б., Селезнев С.З. Исследование вопросов реализации нейросети по СИП технологии для построения отказоустойчивых архитектур. Вычислительные системы. - М., 1996. -Вып. 1.

74. Стемпковский А.Л., Соловьев А.Н., Методология концептуального проектирования сложных вычислительных систем. Автоматизация проектирования. -1996. - Вып. 1. - С. 13-21.

75. Стемпковский А.Л., Егоров Ю.Б., Лялинский A.A. Система разработки макромоделей аналоговых и цифроаналоговых узлов для САПР БИС. Информационные технологии. - 2000. - Вып. 2.

76. Стемпковский А.Л.,Глебов А.Л., Гурарий М.М., Жаров М.М., Егоров Ю.Б., Русаков С.Г., Ульянов С.Л. Актуальные проблемы моделирования в системах автоматизации схемотехнического проектирования, под редакцией чл.-корр. РАН А.Л.Стемпковского. Академиздатцентр "Наука" РАН, 2003 г., 430 с.

77. Стемпковский А.Л., Шилин В.А. Анализ перспектив применения КМОП-фотодиодных БИС в аэрокосмических системах, сборник трудов научно-технической конференции "Системы наблюдения, мониторинга и дистанционного зондирования земли", Адлер, 2004

78. Стемпковский А.Л., Семенов М.Ю. Основы логического синтеза средствами САПР Synopsys с использованием Verilog HDL. Учебное

пособие. - М.:МИЭТ, 2005. - 140 с

79. Стемпковский A.JI. Развитие отечественных САПР - задача национальной технологической безопасности. Электроника: Наука, Технология, Бизнес. 2008. № 8. с.14-19.

80. Стемпковский A.JI. Устройство для вычисления по модулю (№103010). №103010, приоритет от 29.11.2010, зарегистрирован 20.03.2011

81. Стемпковский A.JI. Левченко H.H., Окунев A.C. Параллельная потоковая вычислительная система (№124002). №124002, приоритет от 28.06.2012, зарегистрирован 10.01.2013

82. Стемпковский А.Л. Адамов Д.Ю., Горшкова Н.М., Высокочастотный усилитель с устройством стабилизации тока коллектора (№2509407). №2509407, приоритет от 28.06.2012, зарегистрирован 10.03.2014

83. Талицкий E.H., Шалумов A.C. Математическое и информационное обеспечение пакета прикладных программ анализа динамических характеристик РЭС /Владим.политехн.ин-т. - Владимир, 1988. - 39с. - Деп. в ЦНТИ «Информсвязь» 31.10.88, № 1441 - с.88.

84. Чудинов С.М. Унифицированные электронные модули универсальный инструмент интеграции высокоуровневых ресурсов для решения научных и инженерных задач. С. Н. Маликов. Программные системы: теория и приложения № 1 (19), 2014, с. 75-90

85. Чудинов С.М. Аппаратно-программный комплекс моделирования межсхемных соединений высокопроизводительных систем. М.А. Колесников, М.О. Полежаев. Вопросы радиоэлектроники. Серия ЭВТ Выпуск 1.2014 г. 53-61 с.

86. Чудинов С.М. Региональные информационные системы, методы их структурной и функциональной оценки. / Демин В.К., Тютин H.H., Храмешин Т.К.// Белгородский Государственный университет 2008

87. Чудинов С.М. Системотехнические подходы и экономические методы развития инновационной деятельности телекоммуникационной компании. / Кривошеев О.Н., Игнатьев А.П.//Белгородский Государственный университет 2009

88. Чудинов С.М. Мультисервисные системы, методы их структурной и функциональной оценки/ Трубицин СМ.// Московская Академия Рынка Труда и Информационных Технологий (МАРТИТ), Москва, 2012

89. Чудинов С.М. Новое решение для бизнеса: «система удаленного производства, контроля и учета электронных финансовых транзакций» (статья)/ Банчук Ю.А. Богородская Н.Е. Демин В.К.// Белгород журнал Научные ведомости, серия Информатика, прикладная математика, управления № 2 (31), выпуск 3

90. Чудинов С.М. Вариационный метод дифференцирования и интерполяции дискретных сигналов (статья)/ Жиляков Е.Г. Сазонова Т.Н.// М. журнал Вопросы радиоэлектроники, серия PJIT выпуск №1, 2006

91. Чудинов С.М. Системно-экономические подходы к реализации базовых информационных услуг (статья)/ Амарян A.JI. Межуев H.B.// М. журнал Вопросы радиоэлектроники, Серия ЭВТ выпуск 3, 2007

92. Чудинов С.М. Подходы к оценке стоимости промышленных предприятий при организации производства конкурентоспособной продукции (статья)/ Абрамов П.С.// М. журнал Радиопромышленность, выпуск 2, 2007

93. Чудинов С.М. Стратегическое планирование развития территориально распределенной отрасли (статья)/ Банчук Ю.А. Демин В.К. // Белгород БелГУ: Научные Ведомости, № 7 (38), выпуск 4 серия информатика и прикладная математика, 2007 г.

94. Чудинов С.М. «Использование информационных технологий формирования модели производственной программы предприятия (статья)/ Абрамов П.С., Клочков В.П.// Белгород БелГУ: Научные Ведомости, № 10 (50), выпуск 8 /1 серия системный анализ и управление, 2008 г. 29-39 с

95. Чудинов С.М. Методы исследования и оценки функциональной надежности сложных мультисервисных систем (статья)/ С.Н. Маликов, H.H. Тютин, О.Н. Чванин, О.Н. Кривошеев // Белгород БелГУ: Научные Ведомости, № 1 (56), выпуск 9/1 серия информационно-телекоммуникационные технологии, 2009 г. 62-71 с.

96. Чудинов С.М. Формализация задач электронного проектирования межсхемных соединений при разработке САПР высокопроизводительных ЭВМ/ М.А.Колесников A.A. Черепнев // Белгород БелГУ: Научные Ведомости, № 1 (72), выпуск 13/1 серия системный анализ и управление

2010 г. 101-107 с.

97. Чудинов С.М. Методика проектирования шин электропитания высокопроизводительных ЭВМ/ М.А.Колесников A.A. Черепнев // Белгород БелГУ: Научные Ведомости, № 7 (78), выпуск 14/1 серия системный анализ и управление 2010 г. 142-153 с.

98. Чудинов С.М. Совершенствование технологического прогнозирования при реализации инновационных целей развития телекоммуникационной компании (статья)./ Дудников A.C. Трубицин С.Н.// Научный журнал «Динамика сложных систем» раздел радиотехника №4 Москва ,

2011 г. стр. стр.69-73.

99. Чудинов С.М. Методы и технологии адаптивной обработки информации центров управления регионального уровня связи (статья)/ Марченков А.Е. Трубицин С.Н.// «Научные ведомости БелГУ» № 21/1,

Белгород, 2012 г. 174-182 С.

100. Чудинов С.М. Применение устройств FPGA-технологии в автоматизированных системах для сегментации сложноструктурируемых изображений/ Томакова P.A., Зуев И.В.// Научные ведомости БелГУ. 2013 № 22 (165) выпуск 28/1 стр. 129-134 с

101. Чудинов С.М. Выявление цикличности изменения экономических параметров / Ройко Г.А., Маликов С.Н.// Вопросы радиоэлектроники Серия ЭВТ Выпуск 1 2014 г. 162-172с.

102. Чудинов С.М., Колесников М.А. Научно-техноческий отчет ВИМА. 466948.004 ПЗ. г. Москва ОАО НИИ супер ЭВМ 2013 г. 82 с.

103. Шалумов A.C., Орлов A.B. Математические модели и методы анализа тепловых процессов. Учебное пособие - Ковров: КГТА, 2002. - 103 с.

104. Шалумов М.А. Разработка автоматизированной подсистемы моделирования тепловых процессов в радиоэлектронных средствах произвольной конструкции. Автореферат диссертации. 2014 г. 18 с.

105. Шалумов A.C., Орлов A.B. Математические модели и методы анализа тепловых процессов. Учебное пособие. Ковровская государственная технологическая академия.2002 г. 110с.

106. Шалумов A.C. Моделирование механических процессов в конструкциях РЭС на основе МКР и аналитических методов. Учебное пособие. Ковров 2000 г. 233 с.

ПРИЛОЖЕНИЕ А. Акты внедрения диссертационной работы

АКТ №1

внедрения диссертационной работы

ООО «АСС-ИНЖИНИРИНГ»

Юридический адрес; 129110, г. Москва, ул, Гиляровского, д.57, стр. 1 Почтовый адрес: 117403, г. Москва, ул. Никопольская д.6 тел.:[phone] факс,[phone]

ИНЖИНИРИНГ?

Исх. №

ОТ *03* Ю 2014г.

АКТ ВНЕДРЕНИЯ РЕЗУЛЬТАТОВ Д ИССЕРТАЦИОННОЙ РАБОТЫ ПОЛЕЖАЕВ Максим Олегович

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

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

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

В настоящее время руководством ООО «АСС-инжиниринг» решается вопрос об использовании отдельных узлов и технических решений АПКМ в ряде подвижных объектах. В целом считаем диссертационную работу ПОЛЕЖАЕВ М. О. заслуживающей самой высокой оценки, а самого ПОЛЕЖАЕВА Максима Олеговича - достойным присуждения ученой степени кандидата технических наук.

Генер:

Кривошеев О.Н.

АКТ №2

внедрения диссертационной работы

Открытое аганснервов общество НАУЧНО-ИССЛЕДОВАТЕЛЬСКИЙ ь^ЕМ ИНСТИТУТ СУПЕР ЭВМ (ОАО "ШШ СУПЕР ЭВМ")

г, Москва

№ С % с'У/и

/

На _от_

117437, Москва, уя Ах Волгина, 33 факс [phone]

-| Г "1

I J

АКТ

О ВОЗМОЖНОСТИ ВНЕДРЕНИЯ НАУЧНО-1ЕХ1ШЧЕСК01 О ПРОДУКТА ПО ДИССЕР ГАЦИОВПЫМ МАТЕРИАЛАМ аспиранта Полежаева М.О.

г. Москва

« » 2014 г.

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

2. «НИИ супер ЭВМ» намеревается содействовать аспиранту в реализации научно-технического продукта в организациях, занятых

проектированием и производством радиоэлектронного оборудования современными средствами САПР,

3. В этих целях «НИИ супер ЭВМ» совместно с аспирантом будет собирать необходимую информацию, разработать технические проекты и оргашпационные меры и т.п.. направленные на обеспечение реализации

материалов диссертации «МОДЕЛИРОВАНИЕ И ВЕРИФИКАЦИЯ AI II1ДРА11Ю-ПРОГРАММ1101 О КОМПЛЕКСА ДЛЯ ИССЛЕДОВАНИЯ

ВЫЧИСЛИТЕЛЬНЫХ УСТРОЙСТВ» в рамках создания в ОАО «ИИЦЭВТ» Центра компьютерного моделирования концерна «Вега», основной задачей которого будет являться проведение инженерных расчетов в процессе проектирования предприятиями концерна перспективных образцов РЭА.

4. Программы моделирования процесса помехообразования в цепях электропитания и моделирование искажений фронта в длинных линия с учетом скин-эффекта, изложенные в диссертации, реализуются в ОАО «НИИ еуиер IBM» при разработке и изготовлений унифицированных электронных модулей — универсальный инсгру мент интеграции высокоуровневых ресурсов для решения научных и инженерных задач.

ЦЕЛОСТНОСТИ

СИГНАЛОВ

ПРИ

ПРОЕКТИРОВАНИИ

Заместитель генерального директор по научной работе ОАО «НИИ с\ гк Д.т.н. профессор

АКТ №3

внедрения диссертационной работы

Обидаство с ограниченное ответственностью «РХ-тегвяю*

/ Юрнчичвжий:г. Махав, ул. Гиляровского, «га»

сгр. 1

■ • . • • . , ■ .■,'■■ , __ • • "■'■"■■■ '■......' ....::•■. . .......... .....:,•:...... . ...... .. ......

; ........У

шш^ 'щят '"шт: ■■■■ т : : : бтанво^штр'вЯ^ва-Тауф» ....... ■■■■:.::;'.;.■.

' ва# «»в«^^1': - 8643338;/■ ^

; « ея^ЩвИ;.:;^- .. . . ;:. .. ; : ::: : факк *7{49Э} 3725022л;;::-:....::::: г.:;.;;V.

ОТ «гЯ» Ю 2014г.

ВНЕДРЕНИЯ РЕЗУЛЬТАТОВ

ДИССЕРТАЦИОННОЙ РАБОТЫ ПОЛЕЖАЕВА Максима Олеговича

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

Методы и программы моделирования процесса помехообразования в цепях электропитания и моделирование искажений фронта в длинных линиях с учетом скин-эффекта разработанные ПОЛЕЖАЕВЫМ М.О., реализуются

ООО «РК-телеком» при разработке и изготовлений унифицированных специализированных вычислительных устройств для телекоммуникационных мобильных систем.

В целом считаю диссертационную работу ПОЛЕЖАЕВ М.О. заслуживающей самой высокой оценки, а самого ПОЛЕЖАЕВА Максима Олеговича - достойным присуждения ученой степени кандидата технических наук.

Первый заместитель Кардашев Е.Н.

генерального директора