Вы находитесь на странице: 1из 74

1.

ОБЩИЕ СВЕДЕНИЯ О ОБЪЕКТАХ И ЗАДАЧАХ ПРОЕКТИРОВАНИЯ

1.1. Классификация параметров и задач проектирования

1.1.1.Классификация параметров

− Внутренними называются параметры элементов, из которых состоит проектируемое устройст-


во.
− Выходными ― параметры устройства, по которым оценивается его качество.
− Входными ― параметры действующих на устройство внешних информационных сигналов.
− Внешними ― параметры окружающей среды.

1.1.2. Основные задачи проектирования

Схематическое проектирование включает решение задач расчета, анализа, оптимизации и


синтеза. Эти задачи называются проектными процедурами и имеют следующее содержание.
Расчет ― определение выходных параметров и характеристик устройства при неизменных
значениях его внутренних параметров и постоянной структуре.
Анализ ― определение изменения выходных параметров и характеристик устройства в зави-
симости от изменения его внутренних и входных параметров.
В случае применения ЭВМ задача расчета часто называется одновариантным анализом, а
задача анализа ― многовариантным анализом.
Оптимизация ― определение наилучших в том или ином смысле значений выходных пара-
метров и характеристик путем целенаправленного изменения внутренних параметров устройства
(при параметрической оптимизации) или структуры устройства (при структурной оптимизации).
Внутренние параметры, за счет изменения которых выполняется параметрическая оптимиза-
ция, называются варьируемыми.
В качестве варьируемых следует выбирать управляемые внутренние параметры, значение
которых легко изменять и контролировать в процессе производства.
Наиболее сложными являются задачи параметрического и структурного синтеза.
Синтезом называется генерация исходного варианта устройства, включая его структуру
(структурный синтез) и значение внутренних параметров (параметрический синтез).
Генерация может выполняться различными способами ― выбором из уже известных уст-
ройств, построением на основе теоретических соотношений, путем изобретательства.
Если полученное устройство ― наилучшее в каком-нибудь смысле ,то такой синтез называ-
ется оптимальным.

1.1.3. Способы проектирования

При проектировании РЭА используют различные методы. Основными из них являются:


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

варианта РЭА, играющего роль начального приближения; в настоящее время ведутся работы
по автоматизации этого этапа проектирования;
− Доводки полученного варианта до кондиции, соответствующих техническому заданию (ТЗ), с
помощью программ автоматизированного проектирования.

1.2. Уровни сложности РЭА и уровни автоматизированного проектирования

На уровне системного проектирования изучается взаимодействие проектируемого объекта с


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

Иерархия функциональных
уровней автоматизированно- Математический аппарат
Иерархия уровней го проектирования
сложности РЭА Численные ме-
Теоретические ме-
Уровень Подуровень тоды реализа-
тоды
ции
Функциональные Автоматизи- Системный анализ, Численные ме-
комплексы (радио- рованное сис- исследование опе- тоды непрерыв-
измерительные и темное проек- раций, теория мас- ной и дискрет-
радио управляющие тирование сового обслужива- ной оптимиза-
системы, вычисли- (АСП) ния и др. ции, статистиче-
тельные системы и Автоматизир. Информаци- ское моделиро-
др.) структурное онный вание
Функциональные проектирова- Точностный Спектральный ана- Численные ме-
устройства (пере- ние (АСтП) лиз, ТАУ и рег-я, тоды моделиро-
датчики, приемники, Автоматизир. Функцио- теория цифровых вания преобра-
МП запоминающие функцио- нальный автоматов, алгебра зования сигна-
устройства и др.) нальное и ло- Регистровый логики и др. лов
гическое про-
ектирование Логический
(АФЛП)
Функц. узлы (тракты Авоматизиро- Макромо- Теория электриче- Численные ме-
ВЧ, тракты НЧ, ре- ванное схемо- дельный ских цепей с сосре- тоды решения
гистры, счетчики, техническое Элементный доточенными па- конечных и
дешифраторы, муль- проектирова- раметрами обыкновенных
типлексоры, сумма- ние (АСхП) диф. уравнений
торы и др.)
Функц. элементы Автоматизир. Модели со- Методы математи- Численные ме-
(генераторы, усили- проектирова- средоточен- ческой физики и тоды решения
тели, детекторы, ние компо- ными пара- физики твердого уравнений в ча-
фильтры, триггеры, нентов (АПК) метрами тела стных произ-
логические эл-ты и водных
др)
Компоненты (тран- Модели с
зисторы, диоды, ре- распреде-
зисторы, конденса- ленными па-
торы, полупровод- раметрами
никовые структуры
и др.)
3 Конспект лекций по САПР

На уровне функционального проектирования обеспечивается выполнение РЭА типа ФУС и


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

1.3. Типы объектов проектирования

Обычно все РЭУ, проектируемые на ЭВМ, разделяют на 3 типа: цифровые, аналоговые и


аналого-цифровые.
К цифровым относят устройства, рабочие сигнал которых закодированы в виде чисел, обыч-
но представляемых в двоичном коде цифрами 0 и 1 (триггеры, счетчики, регистры и т.д.).
К аналоговым относят устройства, информация о работе которых заключена в различных ха-
рактеристиках сигнала ― форме, спектре и т.д. (усилители, генераторы, преобразователи формы и
параметров сигнала и др.).
Широкий класс образуют аналого-цифровые устройства ― разного типа преобразователи
аналог-код, код-аналог, спец. вычислители и т.д.

1.4. Типы процессов проектирования

Теоретически можно различать 2 основных типа процессов проектирования: сверху вниз (от
ФУС к ФЭ) и снизу вверх (от ФЭ к ФУС). Практически процесс проектирования носит комбини-
рованный характер: с одной стороны, проектирование сложной РЭА типа систем и устройств ве-
дется сверху вниз, с другой, ― проектирование относительно простой РЭА типа элементов и уз-
лов ведется снизу вверх. На некотором промежуточном этапе эти два независимых процесса
встречается и производится процесс «покрытия» требований к ФУ и ФЭ, выдвигаемых процессом
сверху вниз номенклатурой тех ФУ и ФЭ, которые изготовлены по процессу снизу вверх. Граница,
где встречаются эти процессы, непостоянна и зависит от типа РЭА, уровня технологии, сложив-
шейся методики проектирования и др.
В процессе проектирования сверху вниз РЭА высшего уровня сложности разбивается (де-
композируется) на более простые устройства. При этом для каждого устройства формируется ча-
стное техническое задание (ЧТЗ), обеспечиваемое на более нижних уровнях проектирования. Да-
лее процесс декомпозиции и формирования ЧТЗ повторяется для более простых устройств.

1.5. Понятие о математических моделях

Математической моделью какого-либо объекта называется любое формализованное (запи-


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

Основными характеристиками модели являются тип рабочего сигнала, способ представле-


ния, характер зависимостей, уравнений и т.д.

Классификация математических моделей


По уровню про- По уровню про- По способу По характеру По типу решае-
работки ектирования представления зависимостей мых уровней
Исходное урав- Для структурно- Аналитические Линейные Формулы
нение го проектирова-
ния
Теоретический Для функцио- Алгоритмиче- Нелинейные Конечные урав-
алгоритм нального проек- ские нения
тирования
Машинный ал- Для логического Табличные Кусочные Обыкновенные
горитм проектирования диф. уравнения
Модульная Для схемотех- Графические Непрерывные Диф. уравнения
структура про- нического про- в частных про-
граммы ектирования изводных
Структурная Для проектиро- Схемы замеще- Дискретные Логические
схема програм- вания компо- ния уравнения
мы нентов
Текст програм- Для конструк- Имитационные
мы торского проек- уравнения
тирования
Описание об-
ращения к мо-
дели на входном
языке

1.6. Понятие об имитационном моделировании

В основу решения на ЭВМ различных задач проектирования можно положить 2 принципи-


ально различных подхода.
Первый подход состоит в теоретическом исследовании надежности, точности и др. характе-
ристик проектируемого объекта, выводе расчетных формул, уравнений или алгоритмов и реали-
зации их на ЭВМ.
Второй подход заключается в построении модели проектируемого устройства, реализации ее
на ЭВМ и расчете надежности, точности и т.д. на основе результатов моделирования.
Если временная последовательность событий в модели и в реальном устройстве одинаковая,
то такое моделирование называется имитационным.
Различают 4 типа времени:
1. Реальное время ― в нем протекают реальные процессы в реальном устройстве.
2. Системное (или модельное) время ― абстрактное время, в котором протекают про-
цессы или события при их моделировании на ЭВМ. Системное время ― это реаль-
ное время, учитываемое в программе в некотором масштабе (секунды, микросекунды
и т.д.).
3. Машинное время ― реальное время моделирования на ЭВМ. В нем выделяют время
трансляции программы и процессорное время (время решения задачи после трансля-
ции). Машинное время регистрируется специальным устройством ЭВМ ― таймером.
5 Конспект лекций по САПР

4. Автоматное время ― абстрактное время, обычно выраженное целыми числами 0, 1,


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

2. ОСНОВНЫЕ ПОНЯТИЯ САПР

2.1. Общие сведения о САПР

2.1.1. Принципы построения САПР

Современная САПР представляет собой сложную программно- информационно- аппаратур-


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

2.1.2. Классификация пользователей САПР

Специалистов. Работающих с САПР, называют пользователями САПР. Их можно разделить


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

2.1.3. САПР как человеко-машинная система

Проектирование без участия человека, т.е. автоматическое проектирование, в полном объеме


— от формулировки технического задания до получения проектной документации — как творче-
ский процесс невозможно и всегда будет иметь характер автоматизированного проектирования (с
участием человека), хотя отдельные этапы (расчет, анализ) уже полностью выполняются на ЭВМ.
Участие человека в процессе проектирования носит характер диалога между ЭВМ и проек-
тировщиком РЭУ. Этот диалог эффективен при выполнении трех условий:
Человек работает эффективнее ЭВМ. Это возможно в 2-х случаях:
6 Конспект лекций по САПР

При решении трудно формализуемых или неформализуемых задач, например задач синтеза
новых технических решений или выбора наилучшего из многих вариантов по нескольким крите-
риям одновременно;
При решении формализуемых задач, которые ЭВМ на основе строгих методов решает мед-
леннее, чем человек на основе своих эвристических возможностей.

Эвристика — это необоснованное теоретически строго правило, практически позволяющее


быстро получать удовлетворительный результат, с высокой вероятностью близкий к оптимально-
му.
Время ожидания tож ответа на запрос в режиме диалога (время реплики) должно быть не-
большим, чтобы у пользователя не появилось чувство психологического дискомфорта (неуверен-
ность в правильности запроса, в безошибочной работе программы и т.д.).
Объем изменяемой в процессе диалога информации не должно быть слишком большим, ина-
че диалог теряет оперативность, к тому же возрастает вероятность ввода ошибочной информации.
Цель диалогового проектирования должно быть получение исходного приближенно опти-
мального варианта РЭА, уточнение которого далее выполняется на основе более точных матема-
тических моделей без применения диалога.
В терминах оптимизации задача диалога — выход в окрестность оптимума, где дальнейшее
проектирование (поиск точного оптимума) может быть выполнен автоматически.

2.1.4. Режимы взаимодействия пользователя и САПР

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


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

2.1.5. Классификация САПР

В зависимости от сложности решаемых задач существующие САПР можно разделить на 4


типа:
1. Уникальные САПР, каждая из которых создается специально для решения какой-либо од-
ной крупной научно-технической проблемы.
2. Отраслевые САПР, решающие типовые задачи отрасли.
3. САПР отдельных предприятий, ориентированные на решение типовых задач предприятия.
4. Мини-САПР для решения отдельных задач проектирования, например электрического рас-
чета схем или трассировки печатных плат.
Первые три типа относятся к многофункциональным САПР коллективного пользования и
реализуются по 2-х ступенчатой иерархической схеме — на верхнем уровне находится мощная
ЭВМ, на нижнем — периферийные малые ЭВМ и АРМ. 4-й тип реализуется обычно на малых и
средних ЭВМ.
7 Конспект лекций по САПР

2.1.6. Виды обеспечения САПР

Современная САПР — сложный комплекс математических, программных, технических и др.


средств. Принято выделять в составе САПР следующие основные части:
− Математическое обеспечение;
− Лингвистическое обеспечение (языковые средства);
− Программное обеспечение;
− Информационное обеспечение;
− Техническое обеспечение;
− Организационное обеспечение;
− Методическое обеспечение.

2.2. Математическое обеспечение

2.2.1. Классификация математического обеспечения САПР


Математическое обеспечение САПР

Теория и методы Алгоритмы

Решения общих задач вы-


Подобия числительной математики

Поиска и упорядочивания
Графов информации

Проблемной ориентации
Множеств

Предметной ориентации

Численные методы
Решения системных задач
ЭВМ

Основные требования к алгоритмам

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


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

Малые вычислительные затраты при реализации, причем в соотношении «память-время» в


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

2.3. Лингвистическое обеспечение

2.3.1. Языки программирования

Лингвистическое обеспечение САПР

Языки программирования Языки проектирования

Языки Языки Диалоговые


Процедурно- описания моделирования языки
ориентированные
Объекта Расширенные С инициати-
языки вой у ЭВМ
Проблемно- Задачи программиро-
ориентированные вания
Директив С инициати-
проекти- вой у пользо-
рования Автономные вателя
Машинно-
ориентированные
Выход- Комбиниро-
ной язык ванные

2.3.2. Языки проектирования

Языки проектирования можно разделить на 3 группы — описательные, моделирующие и


диалоговые. Их называют также соответственно языками структурного, процедурного и директив-
ного типов.
Язык описания состоит из 3-х частей — описания объекта, описания задачи и описания ди-
ректив проектирования.
В описание объекта входят описания отдельных элементов, каждое из которых обычно имеет
следующую структуру: тип элемента, тип модели элемента, параметры модели элемента, тополо-
гические связи элемента.
Язык описания задачи включает следующую информацию:
Описание рассчитываемых выходных параметров (тип параметра, уровни отсчета, условия
расчета и т.д.);
Описание условий анализа параметров (тип варьируемых внутренних параметров, тип и диа-
пазон варьирования и т.д.);
Описание условий оптимизации параметров (сведения о варьируемых параметров, выходных
оптимизируемых параметрах, ограничениях, критериях оптимизации);
Описание алгоритмов расчета, анализа и оптимизации (типы алгоритмов и параметры, опре-
деляющие их скорость, точность и надежность);
9 Конспект лекций по САПР

Описание задания на вывод результатов проектирования (что выводить и в каком виде —


таблица, графики, чертежи; параметры выходного документа — шаг печати, масштаб, диапазон и
т.д.).
Язык описания директив на проектирование состоит из перечисленных режимов, в которых
должна последовательно работать САПР.
Языки моделирования (процедурные языки) описывают не только структуру и параметры
объекта проектирования, но и алгоритм, процедуру его функционирования, например процесс пе-
редачи и преобразования сигнала от блока к блоку.

Язык моделирования строится на базе какого-либо языка программирования, к которому до-


бавляются несколько новых конструкций, необходимых для моделирования в заданной предмет-
ной области.
Такой моделирующий язык называется расширением языка программирования.
Если язык моделирования основан на самостоятельных конструкциях, то он называется ав-
тономным.
Языки диалога предназначены для организации взаимодействия пользователя и САПР в про-
цессе проектирования.
Различают три типа диалоговых языков: с инициативой у пользователя, с инициативой у
ЭВМ и комбинированный.
Основными элементами языка диалога являются 4 — подсказка ЭВМ пользователю, дирек-
тива пользователя ЭВМ, меню, представляющее возможность выбора, и анкета (бланк).

2.4. Информационное обеспечение

2.4.1. Общие сведения

В информационное обеспечение САПР входят сведения о типовых элементах РЭА и их па-


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

Информационное обеспечение САПР

Типовые сведе- Способы хранения и обработки типовых сведений


ния

Банки данных
Параметры
моделей эле-
Базы данных Системы управления базами
ментов
данных

Способы
организа- Способы
Параметры ции разме- структуриро- Программы
Язык СУБД
материалов щения дан- вания данных СУБД
ных
Параметры и
Последо- Ассоциа- Язык Програм-
схемы типо-
ватель- тивная описания мы загруз-
вых фрагмен-
ная орга- структура данных ки данных
тов РЭУ
низация

Прямая Последо-
органи- вательная Програм-
Параметры и
зация структура Язык об- мы поис-
структуры ти-
работки ка, выбор-
повых процес-
Библио- данных ки и кор-
сов проекти-
течная рекции
рования Иерархи-
органи- данных
ческая
зация
структура
Конечные и Индексно- Язык ма- Програм-
промежуточ- последо- нипуля- мы вос-
ные результа- вательная Реляцион- ции дан- становле-
ты проектиро- организа- ная струк- ния дан-
ными
вания ция тура ных
11 Конспект лекций по САПР

2.4.2. Способы организации размещения данных

Запись — простейшая единица данных (одно или группа).


Различают логическую и физическую форму записи.
Логическая запись — форма записи, воспринимаемая пользователем (например, R11 — ин-
формация о резисторе с номиналом 11).
Физическая запись — материализованная форма логической записи.
Ключ записи — это вспомогательная информация, содержащаяся в записи и позволяющая
отличать записи друг от друга.
Различают 2 вида ключей — ключи порядка, с помощью которых определяется место записи
в БД среди других записей; и смысловые ключи (ключи типа данных), определяющие смысловое
содержание записи и позволяющие выделить данную запись среди других.
Работа с записями может выполняться в 3-х основных режимах: последовательная обработ-
ка, произвольная обработка (в произвольном порядке) и корректировка.
Рассмотрим основные 4 способа организации размещения записей: последовательный, пря-
мой, библиотечный и индексно-последовательный.
Последовательная организация записей состоит в последовательном размещении логических
записей друг за другом.
Физические записи могут либо следовать подряд друг за другом:

Запись 1 Запись 2 Запись 3 Запись 4 … Запись n

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

Запись 1 А2 Запись 3 А4 Запись 4 А5 Запись 2 А3 …

Прямая организация записей состоит в том, что ключ логической записи однозначно опреде-
ляет физический адрес ее начала.

Ключ Ключ Ключ Ключ Ключ


записи 1 записи 5 записи 2 записи 4 … записи n

Адрес Адрес Адрес Адрес Адрес


начала начала начала начала начала
данных данных данных данных … данных
записи 1 записи 5 записи 2 записи 4 записи n

Данные 1 Данные 5 Данные 2 Данные 4 … Данные n


12 Конспект лекций по САПР

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


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

Оглавление (каталог) библиотеки

Имя Адрес Адрес Имя Адрес Адрес


раздела 1 начала (14) конца (22) раздела 2 начала (5) конца (10)

5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23

Раздел 2 Раздел 1

Индексно-последовательная организация данных предназначена для ускорения поиска запи-


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

2.4.2. Способы структурирования данных

Под способом структурирования данных понимается способ формирования из частей каких-


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

1 1

2 3 4 2 3 4

5 6 7 5 6 7

2.4.3. СУБД — системы управления базами данных

СУБД играет роль интерфейса между пользователями и базой данных и представляет собой
автономную программную систему, не входящую в операционную систему и состоящую из 3-х
групп программ:
1. Обработки и организации вводимых данных;
2. Создания и корректировки файлов;
3. Поиска данных в файлах.
Язык СУБД состоит из 3-х частей:
− Языка описания данных, не зависящего от прикладных программ и описывающего способ
организации, размещения и связи данных;
− Языка манипулирования данными, позволяющего связать БД с прикладными программа-
ми или пользователем, т.е. сформировать нужную конфигурацию из отдельных частей;
− Языка обработки данных (ввода, вывода, стирания, корректировки данных и их восста-
новления, если они испорчены).

2.4.4. Прикладные и системные базы данных САПР

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


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

2.5. Программное обеспечение

В программное обеспечение входят тексты программ и документы для их эксплуатации (ин-


струкции для пользователя, текстовые программы и т.д.).
Основные требования к программному обеспечению:
14 Конспект лекций по САПР

− Гибкая организация (модульное построение, взаимозаменяемость модулей и т.д.), допус-


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

2.5.1. Системное программное обеспечение (СПО)

СПО включает общие и специализированные операционные системы (ОС). К общим отно-


сятся системы типа ОС ЕС, ДОС ЕС, ОС РВ СМ и др.
К специализированным — системы, создаваемые специально для управления уникальными
программными комплексами, например п/с САПР.
ОС называется совокупность программ, управляющих работой ЭВМ, обеспечивающих со-
гласование работы ЭВМ и поступающих в нее программ пользователя для максимальной загрузки
всех устройств ЭВМ и осуществляющих связь ЭВМ с пользователем с целью предоставления ему
максимальных удобств (услуг) при решении задач.
Язык управления заданиями состоит из управляющих операторов. Основными операторами
являются: JOB (оператор задания), EXEC (оператор пункта задания, т.е. задачи) и DD (оператор
описания данных).
Программа начальной загрузки подготавливает оперативную память ЭВМ, выделяя необхо-
димые разделы, вводит в нее ядро ОС — системные программы и запускает (инициирует) эти про-
граммы.
Управление заданиями выполняется программой-планировщиком (супервизором заданий). В
его функции входит:
Контроль правильности записи управляющих операторов на языке управления заданиями,
наличия разделителей между заданиями, правильности записи имен отдельных модулей программ;
Назначение устройств ввода-вывода разным программам, управление установкой носителей
информации;
Планирование прохождения заданий (последовательное, приоритетное).
Управление задачами (работами) выполняется супервизором работ, который контролирует
прохождение программы (задания) с момента ввода до получения результатов. В функции супер-
визора работ входит обработка всех видов прерываний, возникающих при выполнении задач.
Прерыванием называется сигнал, генерируемый в вычислительной системе при возникнове-
нии определенных ситуаций. Возможны 5 типов прерываний: прерывания от в/в, программные
прерывания, прерывания при обращении к супервизору, внешние прерывания, прерывания от
схем контроля ЭВМ.
Управление данными включает программы организации и перемещения данных между опе-
ративной памятью и внешними носителями, ввод и вывод данных с разным типом организации,
анализ ошибок при в/в и т.д.
15 Конспект лекций по САПР

Операционная система

Управляющие программы Про- Про- Про-


граммы граммы граммы
телеоб- машин- телеоб-
работки ной гра- работки
Про- Программы Программы данных фики данных
граммы управления управления
началь- работами (за- данными
ной за- дачами)
грузки и Трансля- Обеспече-
инициа- торы ние гра-
лизации фического
Суперви- Последо- доступа
зор пре- вательная
рываний организа-
ция дан- Редактор
ных Обеспече-
связей
ние дос-
тупа через
Прямая дисплей
Суперви-
Про- организа-
зор задач Загрузчик
граммы ция дан-
управле- ных Подпро-
ния за- граммы
даниями графиче-
Индексно- ского про-
Суперви- последо- Программы
граммиро-
зор ввода- вательная загрузки и
слияния
вания
вывода организа-
ция дан-
ных

Библиотеч- Вспомога-
Супервизор ная орга- тельные
времени низация программы
(таймер) данных (утилиты)

Программы сортировки и слияния (объединения) данных размещает их в заданном порядке,


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

2.5.2. Специализированные операционные системы (СОС)

Они предназначены для управления выполнением конкретных прикладных задач с учетом их


содержания.
Структура программы-монитора

Директива

Сигнал окончания
работы подпрограммы
Расшифровка директивы


Работа подпрограммы Работа подпрограммы Работа подпрограммы
ПП1 ПП2 ППN

Состав типовой СОС

Специализированная ОС

Управляющие Обрабатывающие программы Программы-утилиты


программы

Монитор управ- Транслятор описания РЭУ Программы ввода описа-


ления выполне- ний РЭУ, задания на
нием пунктов проектирование и дирек-
задания Транслятор описания задания тив управления програм-
на проектирование мой

Транслятор директив управ-


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

2.5.3. Предметные программы САПР

К предметным относятся программы, выполняющие непосредственно моделирование со-


стояний и процессов в объектах проектирования.
17 Конспект лекций по САПР

2.5.4. Функционирование САПР в среде ОС

Язык ОС
Среда ОС общего назначения

Входной Подсистема САПР


язык САПР
Специализированная ОС
Пакеты стан-
Приклад- дартных при-
ПП1 ПП2 … ППN ные прог-
раммы
кладных про-
САПР грамм

Специализированные библиотеки мо- Системный


делей архивный
Каталог 1 Каталог 2 Каталог N банк данных
Модель 1 Модель 1 Модель 1 (моделей, па-
Модель 1 раметров,
Модель 2 Модель 2
методик и
… т.д.)
… … …
Модель М Модель L Модель К СУБД

Специализированный оперативный База


банк данных данных

2.6. Техническое обеспечение

В состав ТО САПР выходят ЭВМ и периферийное вспомогательное оборудование, обеспе-


чивающее удобство взаимодействия проектировщика и САПР.
К периферийным средствам относят устройства графического ввода, чертежные автоматы,
координатографы, дисплеи и АРМ.
Устройства графического ввода выполняют преобразование графической информации (ГИ) в
цифровую форму, состоящее из операций считывания и кодирования.
Чертежные автоматы служат для вычерчивания чертежей по заданной цифровой информа-
ции. Эти устройства позволяют перевести результаты проектирования, полученные в виде цифро-
вых кодов, в графическую форму и облегчают изготовление технической документации.
18 Конспект лекций по САПР

Координатографы используют при разработке фотооригиналов подложек микросхем, печат-


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

3. СТРУКТУРНОЕ МОДЕЛИРОВАНИЕ

3.1. Постановка задачи

Одним из первых этапов проектирования РЭА является проектирование ее структуры. На


этом этапе объект проектирования представляется виде структурной схемы, т.е. совокупности
взаимно-связанных достаточно крупных завершенных блоков.
Задача проектирования структурной схемы заключается в том, чтобы, варьируя типами, па-
раметрами и связями блоков, найти такую структуру, которая обладала бы заданными выходными
параметрами и характеристиками. Ограничениями при проектировании структуры могут быть но-
менклатура блоков, их предельно допустимые характеристики, число связей.

3.2. Основные способы структурного моделирования

3.2.1. Аналитическое моделирование

Методика аналитического способа моделирования состоит в составлении математического


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

3.2.2. Имитационное моделирование

Для имитационного моделирования разрабатывается соответствующая модель имитируемой


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

ОБЩАЯ СХЕМА ПРОЦЕССА ПРОЕКТИРОВАНИЯ СТРУКТУРЫ

Синтез структуры Построение Моделирование


системы модели

Система не годна

Коррекция Анализ ре-


системы
зультатов

Система годна

3.3. Модели блоков и сигналов

3.3.1. Общие сведения о моделях

Модели блоков и сигналов для структурного проектирования разнообразны и зависят от типа


решаемых задач. Эти задачи можно разделить на 3 основные типа: моделирование точности рабо-
ты, моделирование надежности (работоспособности) и моделирование обслуживания (пропускная
способность, коэффициент загрузки или простоя и т.д.).
При моделировании точности работы модели блоков структуры представляют собой анали-
тические выражения или алгоритмы для вычисления ошибок на выходе блока как функций слу-
чайного соотношения его отдельных параметров и характеристик внешней среды.
При моделировании надежности системы модели блоков представляют собой случайные ве-
личины или случайные процессы в виде последовательности цифр. Каждая из которых соответст-
вует определенному состоянию моделируемого блока, например, 0 ― неисправен, 1 ― исправен, 2
― неопределенное состояние и т.д.
При моделировании процессов обслуживания системы модели блоков представляются набо-
ром временных параметров, характеризующих блок, ― времени подготовки обслуживания, «от-
дыха» после обслуживания и т.д. При этом каждое из времен могут быть случайной величиной.
Независимо от типа задач общим для моделей блоков и сигналов является отражение в них
статистических свойств моделируемых объектов. Поэтому их основу составляют генераторы слу-
чайных величин.

3.3.2. Основные характеристики случайных величин, моделируемых на ЭВМ

Случайные величины в системах имитационного моделирования могут формироваться тремя


способами:
− из таблиц случайных чисел;
− физическими датчиками случайных чисел;
− программами получения случайных чисел.
Для имитационного моделирования требуются случайные числа с различными законами
распределения ― нормальным, равномерным. Экспоненциальным и др.
Основой для их генерации является последовательность случайных чисел с равномерным за-
коном распределения на интервале (0…1).
20 Конспект лекций по САПР

3.3.3. Моделирование равномерного распределения

Применяется алгоритм вида:


ξn+1=k·ξnmod M (3.1)

где k ― специально подобранное большое целое число, а операция умножения k·ξn произво-
дится по модулю М, т.е. если результат k·ξn ≥ М, то в качестве ξn+1 берется остаток от деления k·ξn/
М. Числа ξi ― целые. В качестве М берется максимальное целое число, размещаемое в машин-
ном слове ЭВМ.
Функция вида (3.1) представляет собой множество прямых линий в квадрате с длиной сторо-
ны, равной М. Наклон и количество линий определяется величиной k.
Для получения хороших «случайных» чисел с помощью процедур вида (3.1) надо, чтобы
график этой функции представлялся большим числом линий и плотно заполнил квадрат, т.е. k д.б.
достаточно большим.
Дополнив процедуру (3.1) преобразованием
ξn+1✶ =ξn+1/ M, (3.2)
получим случайные числа, равномерно распределенные на интервале (0…1), являющиеся базовы-
ми для формирования случайных чисел с произвольным законом распределения.

3.3.4. Моделирование нормального распределения

Один из часто применяемых методов основан на центральной предельной теореме теории


вероятности, согласно которой сумма независимых случайных величин εi с произвольными зако-
нами распределения и мало различающимися дисперсиями образует последовательность случай-
ных величин с законом распределения, стремящимся к нормальному при n→∞.
n
γ = ∑ε
i =1
i

В качестве εi можно использовать равномерно распределенные случайные величины на ин-


тервале (0…1).
Нормальное распределение с М(γ)=0 и D(γ)=1 можно получить, воспользовавшись алгорит-
мом:
12  n
n
γ = ∑
n  i =1
ξi − ,
2 
где ξi — случайные числа, равномерно распределенные на интервале (0…1). При n=12.
12
γ = ∑ ξ i − 6.
i =1
Метод полярных координат

Согласно этому методу числа вычисляются по формулам:


γ 1 = − 2 ln(ξ1 ) ⋅ sin(2πξ 2 )
,
γ 2 = − 2 ln(ξ1 ) ⋅ cos(2πξ 2 )
где ξ1, ξ2 — 2 числа с равномерным распределением на (0…1).
Получающаяся последовательность чисел нормирована, т.е. М=0, D=1.

3.3.5. Моделирование дискретного распределения

Если необходимо получить ряд дискретных случайных величин ε1, ε2, … εn с вероятностями
появления Р1, Р2, … Рn, то, используя равномерно распределенную последовательность случай-
ных чисел εi, можно это сделать следующим образом.
21 Конспект лекций по САПР

Разделим интервал (0…1) на n отрезков δi, длина каждого из которых равна Рi (заметим, что
∑ δi=1).
Для каждого ξк определим интервал δi, в который оно попадает, т.е. определим εi в соответ-
ствии с условием:

ε1, если 0≤ ξк< δ1,


ε2, если δ1≤ ξк< δ2,
ε= ……………………
εn, если δn-1≤ ξк< δn,

3.3.6. Моделирование произвольного распределения

Метод обратной функции


Если случайная величина х имеет плотность распределения вероятности р(х), то случайная
величина
x
ξ = F ( x) = ∫ p( x) ⋅ dx
−∞
распределена равномерно в интервале (0…1) независимо от вида р(х).

1
ξ FP

ξi F(x)

P(x)
0 xi

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


распределения вероятности р(х).
1. Моделируется равномерно распределенная случайная величина ξi из интервала (0…1).
Решается интегральное уравнение относительно верхнего предела xi.
xi
ξi = ∫ p( x) ⋅ dx (3.3)
−∞

Значение xi будет случайным числом из совокупности чисел, имеющих плотность распреде-


ления вероятности р(х). Если р(х)=0 при x<x0, то нижний предел -∞ можно заменить на x0.
При моделировании структур систем с целью выяснения динамики их работы используются
понятия: процесс, активность, событие.
Под процессом понимают описание алгоритма работы некоторой части системы в терминах
работы ее блоков.
В свою очередь работа каждого блока задается активностью. Блок активен, если к нему был
запрос и он находится в состоянии обработки запроса.
Событие ― это изменение состояния какого-либо объекта системы либо запрос извне систе-
мы.
Окончание работы какого-либо блока ― окончание активности ― является событием, кото-
рое может возбудить другие активности.
Процессы, активности и события являются основными элементами, с помощью которых
можно описать динамическое поведение системы.
22 Конспект лекций по САПР

4. ФУНКЦИОНАЛЬНОЕ МОДЕЛИРОВАНИЕ

4.1. Постановка задачи

Суть функционального моделирования (ФМ) состоит в разбиении РЭУ на отдельные функ-


циональные блоки (элементы 1…5, см. рис.4.1.). Каждый из блоков выполняет то или иное функ-
циональное преобразование сигнала (усиление, ограни-
3 чение, интегрирование и т.д.) и расчете формы сигнала
и его основных параметров в каждой точке полученной
1 2 5 функциональной схемы.

4
Рис.4.1. Функциональная схема

Под формой сигнала понимается либо зависимость сигнала от времени x(t) при моделирова-
нии во временной области, либо эквивалентное представление сигнала в виде изображения по Ла-
пласу х(р) или зависимость от комплексной частоты jw при моделировании в частотной области.
Основным требованием при ФМ является высокая скорость моделирования, необходимая
для того, чтобы за короткое время можно было исследовать большое число различных вариантов
функциональных схем.
Первым основным допущением, характерным для ФМ, является развязка отдельных блоков
функциональной схемы, т.е. независимость характеристик отдельных блоков от режима работы
других блоков.
Условие развязки блоков эквивалентно выполнению условий Rвх=∞, Rвых=0 для каждого из
блоков.
Вследствие этого преобразование сигнала зависит только от характеристик вход-выход каж-
дого блока, а не от их взаимного влияния друг на друга.
Вторым основным допущением является допущение об однонаправленности элементов, т.е.
сигнал на выходе любого элемента не влияет на сигнал на его входе.
Это позволяет считать, что сигнал в функциональных схемах распространяется однонаправ-
ленно — от входа к выходу каждого элемента.

4.2. Базовые элементы функциональных схем

Функциональные элементы можно свести к 4-м основным типам, которые будем называть
базовыми: генераторы сигналов, безынерционные элементы, инерционные линейные элементы,
инерционные нелинейные элементы.
Основной характеристикой элемента при ФМ является его функция преобразования, связы-
вающая его входной и выходной сигналы.

4.2.1. Генератор сигналов

Этот тип элементов включает две разновидности — независимые генераторы, задающие сиг-
нал x(t) на входе функциональной схемы, и управляемые генераторы, формирующие ту или иную
форму сигнала x(t) в зависимости от управляющего воздействия u. Функция преобразования
управляемого генератора имеет вид:

x1(t) при u=u1


x(t)= ………………….. (4.1)
xn(t) при u=un
23 Конспект лекций по САПР

4.2.2. Безынерционный линейный или нелинейный элемент

Функция преобразования этого элемента представляет собой линейную или нелинейную


функцию f, связывающую входной сигнал х и выходной сигнал у.
y=f(x) (4.2)
Безынерционный нелинейный элемент позволяет на основе (4.2) преобразовать форму вход-
ного сигнала x(t) в любую форму выходного сигнала: u(t)=f[x(t)]

4.2.3. Инерционный линейный элемент

Его функция преобразования во временной области — это переходная характеристика h(t), а


в частотной области — коэффициент передачи k(p).
В первом случае:
t
y (t ) = ∫ x(τ ) ⋅ h(t − τ ) ⋅ dτ (4.3.а)
0
А во втором случае

y ( p) = k ( p) ⋅ x( p) (4.3.б)

4.2.4. Инерционный нелинейный элемент

Его ф-я преобразования есть некоторый нелинейный оператор А(х), например диф. ур-е, ста-
вящий в соответствие каждой реализации x(t) реализацию y(t).
В большинстве случаев реальный инерционный элемент можно описать системой диф. урав-
нений вида:
dy i (t ) dx (t )
+ g i ( y (t )) = i + f i ( x(t )) , i = 1, n (4.4)
dt dt

где x(t), y(t) — входные и выходные сигналы элемента;


n — порядок системы.
Запишем в более общем виде:
( ) (
Fi y (k ) (t ), y (k −1) (t ),... y (t ), t = Φ i x ( p ) (t ), x ( p −1) (t ),..., x(t ), t ) (4.5)

где k, p — максимальный порядок производных; i = 1, n .

4.3. Алгоритмы моделирования базовых безынерционных элементов

Под моделированием элемента понимается вычисление его выходной величины у по задан-


ному значению сигнала х.

4.3.1. Генератор сигналов

Моделирование генератора сигнала x(t) заключается в вычислении заданной функции x(t) в


известные моменты времени tn. В результате непрерывна функция x(t) заменяется дискретной ре-
шетчатой функцией xn=x(tn).

4.3.2. Безынерционные статические элементы

Моделирование элементов без памяти сводится к вычислению функции y=f(x) для любого
заданного значения х, а моделирование элемента с памятью — к вычислению одной из функций:
24 Конспект лекций по САПР

 f1 ( x)приS = S1
y=
 f 2 ( x)приS = S 2

4.3.3. Безынерционные динамически элементы

Выходная величина у в этих элементах зависит не только от х, но и от интервала времени ∆t.


Например, для элемента ложно-цифрового типа — схемы совпадения — на выходе формируется
последовательный цифровой код N=k ∆t при x=1, и код отсутствует, т.е. N=0 при x=0. Хотя эле-
мент безынерционный, но для получения выходного кода нужно время.

4.4. Алгоритмы моделирования базовых инерционных линейных элементов

Способы моделирования этих элементов зависят от способа их задания — переходной харак-


теристикой h(t), комплексным коэффициентом передачи К(р), а также от области, в которой вы-
полняется моделирование — временной или частотной, т.е. от вида входного сигнала x(t) или
x(jw).

4.4.1. Моделирование элементов, заданных переходной характеристикой h(t),


во временной области

Эти элементы моделируются на ЭВМ путем численного расчета интеграла свертки (4.3.а).
Это выполняется методом скользящего суммирования.
h(t)
x(t)

∆t τ=k∆t
t=n∆t

Рис. 4.2.

Суть метода состоит в следующем:


Разбивая заданный интервал интегрирования (0,t) и интервал текущего времени интегриро-
вания (0, τ) на отрезки ∆t, получаем
t =n∆t, τ=k∆t, t- τ=(n-k)∆t
Полагая на каждом из отрезков ∆t значения x(t) и h(t- τ) постоянными, что соответствует чис-
ленному интегрированию (4.3.а) методом прямоугольников, получаем при d τ≈∆t вместо интеграла
(4.3.а) его дискретную аппроксимацию в виде суммы:
n n
yn = ∑ x(k ⋅ ∆t ) ⋅ h((n − k ) ⋅ ∆t ) ⋅ ∆t = ∆t ⋅ ∑ x k ⋅ hn−k (4.6)
k =0 k =0
25 Конспект лекций по САПР

Таким образом, вычисление выходного сигнала yn-1, yn, yn+1, … в каждый момент времени tn-1,
tn, tn+1 сводится к вычислению сумм:
y n −1 = ∆t ( x 0 ⋅ hn −1 + x1 ⋅ hn − 2 + ... + x n −1 ⋅ h0 ),
y n = ∆t ( x 0 ⋅ hn + x1 ⋅ hn −1 + ... + x n ⋅ h0 ),
y n +1 = ∆t ( x 0 ⋅ hn +1 + x1 ⋅ hn + ... + x n +1 ⋅ h0 )
методом скользящего суммирования значений xk cо скользящим весом hn-k.
Выражение (4.6) называют дискретной сверткой интеграла (4.3а).

4.4.2. Моделирование элементов, заданных обыкновенным


дифференциальным уравнением (ОДУ)

Эти элементы моделируются во временной области на основе дискретизации и алгебраиза-


ции ОДУ вида (4.4).
Дискретизация состоит в замене производных их конечно-разностными аналогами, напри-
мер,
dy dy y − yn dy y − y n −1
= ≈ n +1 , ≈ n +1
dt t =tn +1 dt t =tn ∆t dt t =tn 2∆t

dy n +1
или в общем виде: ≈ ∑α i ⋅ yi ,
dt i = n − k
где αi — коэффициенты, соответствующие различным способам дискретизации производ-
ных.
В результате дискретизации производных уравнение (4.4) превращается в алгебраическое
уравнение относительно уn+1 :
n n +1
α n +1 ⋅ y n +1 + ∑α i yi + g ( y p ) =
i =n−k
∑β x
i =n−k
i i + f (x p )

Дискретизация производной dx/dt может выполняться либо в точке tn+1, либо в какой-нибудь
предыдущей точке. Функции g(yp), dx/dt, f(xp) должны вычисляться в той же точке.

4.4.3. Моделирование линейных инерционных элементов, заданных комплексным


коэффициентом передачи K(jω), в частотной области

Для этого нужно представить входной сигнал X(jw), коэффициент передачи K(jω) и выход-
ной сигнал Y(jω) в виде комплексных чисел в алгебраической или показательной форме.
Для алгебраической формы, полагая:
X ( jw) = X 1 ( w) + jX 2 ( w),
K ( jw) = K1 ( w) + jK 2 ( w),
Y ( jw) = Y1 ( w) + jY2 ( w) и учитывая, что
Y ( jw) = K ( jw) ⋅ X ( jw), получаем
Y1 ( w) = X 1 ( w) ⋅ K1 ( w) − X 2 ( w) ⋅ K 2 ( w),
Y2 ( w) = X 1 ( w) ⋅ K 2 ( w) + X 2 ( w) ⋅ K1 ( w)
Если используется показательная форма
X ( jw) = X ( w) ⋅ e jYx ( w) ,
то
K ( jw) = K ( w) ⋅ e jYk ( w) ,
Y ( jw) = X ( w) ⋅ K ( w) ⋅ e j (Yx ( w +Yk )( w))
При этом
26 Конспект лекций по САПР
1

K ( w) = ( K12 ( w) + K 22 ( w)) 2
Yk ( w) = arctg ( K 2 ( w) / K1 ( w))
аналогично рассчитывается X(w) и Yx(w).
Переход от показательной формы к алгебраической выполняется по формулам:
K1 ( w) = K ( w) ⋅ cos Yk ( w) ; K 2 ( w) = K ( w) ⋅ sin Yk ( w)

4.4.4. Моделирование элементов, заданных комплексным коэффициентом


передачи K(jω) или операторным коэффициентом передачи К(р),
во временной области

Пусть имеем входной непрерывный сигнал х(t). При моделировании на ЭВМ х(t)вычисляется
лишь в отдельные моменты времени tn. можно cчитать, что непрерывный сигнал х(tn) заменяется
дискретными значениями xn=x(tn). В промежутках между дискретами, т.е. при tn,< t< tn+1, значение
сигнала не определено, поэтому его можно доопределить различными способами. Например, по-
лагая его постоянным на интервале tn- tn+1 и равным хn. Тогда можно считать, что на вход инерци-
онного элемента поступает не непрерывный сигнал, а последовательность скачков, и «непрерыв-
ный» элемент с коэффициентом передачи К(р) и непрерывным входным сигналом
x(t)эквивалентен дискретному элементу с дискретным коэффициентом передачи КD(z)и дискрет-
ным сигналом хn.
Если известен способ перехода от К(р) к КD(х) и если К — дробно-рациональная функция,
т.е.:
a + a1 ⋅ z + a 2 ⋅ z 2 + ... + a k ⋅ z k
K ∗ ( x) = 0 (4.9)
1 + b1 ⋅ x + b2 ⋅ x 2 + ... + bm ⋅ x m

то можно показать, что выходной сигнал y(tn) связан с входным сигналом xn рекуррентной
формулой
k k
y n = ∑ a i ⋅ x n −i − ∑ bi ⋅ y n −i (4.10)
i =0 i =0

Эта формула позволяет найти первое значение уn по известной старой m-предыстории (m то-
чек) для y и k-предысторий для х.

Универсальный способ определения К*


Пусть
A0 + A1 p + ... + Aν pν
K ( p) = (4.11)
B0 + B1 p + ... + Bk p k

Разделив числитель и знаменатель на рк , получим представление К(р) совокупностью ин-


тегрирующих звеньев различного порядка:
A / p k + A1 / p k −1 + ... + Aν / p k −ν
K ( p) = 0 (4.12)
B0 / p k + B1 / p k −1 + ... + Bk

Поскольку все полюса звеньев равны нулю, то для каждого звена i-го порядка легко найти
соответствие Ki(p) и K*i(z).
i
1 1
Поскольку K i ( p) = i =   = (K 1 ( p) ) , то дискретный коэффициент передачи интегри-
i

p  p
рующего звена i-го порядка
27 Конспект лекций по САПР
i
 ∆t 1 + z 
( ) i
K i∗ ( z ) = K 1∗ ( z ) =  ⋅  (4.13)
 2 1− z 

Заменяя в (4.12) Ki(p) на K*i(z), приводя получившееся выражение к виду (4.9) и переходя к
(4.10), получаем рекуррентное выражение для вычисления сигналов уn на выходе линейного инер-
ционного элемента с коэффициентом передачи K(p) достаточно общего вида (4.11).

4.4.5. Моделирование узкополосных линейных инерционных элементов

К элементам этого типа относятся различные частотно-избирательные устройства — резо-


нансные усилители, фильтры и т.д.
Импульсная характеристика (реакция на δ-функцию) имеет вид:
h(t ) = H (t ) ⋅ cos(w p t + ϕ h (t ) ) = Re H (t ) ⋅ e p
jw t
(4.14)

где H (t ) = H (t ) ⋅ e jϕ h ( t ) — комплексная огибающая импульсной характеристики, частота из-


менения амплитуды H(t) и фазы ϕ h (t ) которой существенно меньше резонансной частоты wp.
Прямой способ моделирования частотно-избирательных элементов состоит в вычислении
мгновенных значений быстроосциллирующего (с частотой wс) выходного сигнала одним из спосо-
бов. Например, используя формулу обычной свертки для функции h(t) и x(t)=ReX(u,t). При этом
шаг дискретизации сигнала ∆t придется выбирать соизмеримым с периодом частоты wс, что обыч-
но приводит к огромному числу точек расчета, необходимому для воспроизведения медленного
информационного процесса u(t).
Поскольку вся информация об этом процессе заключена в комплексной огибающей, то целе-
сообразно рассчитывать мгновенные значения не всего сигнала, а его комплексной огибающей:
S x (u, t ) = S x (u, t ) ⋅ e j (ϕ c ( u ,t ) +ϕ 0 + Ωt ) (4.16)

Этот метод называется методом комплексных огибающих и состоит в следующем.


Если S x (t ) = S x (t ) ⋅ e j∆wt — комплексная огибающая расстроенного на ∆w входного модулиро-
ванного сигнала, а H (t ) = H (t ) ⋅ e jϕ h (t ) — комплексная импульсная характеристика элемента, то при
∆w<< wр комплексная огибающая сигнала на его выходе определяется приближенной формулой:

t
1
S y (t ) = ∫ H (τ ) ⋅ S x (t − τ ) ⋅ dτ (4.17),
20

являющейся комплексным аналогом формулы (4.3а).


Подставляя в (4.17)
H (τ ) = H 1 (τ ) + jH 2 (τ ) , S x (t − τ ) = S x1 (t − τ ) + jS x 2 (t − τ )
и перемножая слагаемые, после преобразования произведений по методу скользящего сум-
мирования можно получить формулы дискретной комплексной свертки для вычисления
S y (t n ) = S y1, n + jS y 2, n :
∆t  n n

S y1 , n = ⋅  ∑ H 1 (k ⋅ ∆t ) ⋅ S x1 ((n − k ) ⋅ ∆t ) −∑ H 2 (k ⋅ ∆t ) ⋅ S x2 ((n − k ) ⋅ ∆t )
2  k =0 k =0 
(4.18)
∆t  n n

S y2 , n = ⋅  ∑ H 1 (k ⋅ ∆t ) ⋅ S x2 ((n − k ) ⋅ ∆t ) + ∑ H 2 (k ⋅ ∆t ) ⋅ S x1 ((n − k ) ⋅ ∆t )
2  k =0 k =0 
28 Конспект лекций по САПР

4.5. Особенности моделирования нелинейных инерционных элементов

При моделировании нелинейных преобразований в радиочастотных устройствах ― модуля-


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

4.5.2. Моделирование нелинейных преобразований в переключательных устройствах

Переключательные схемы (ключи, релаксационные спусковые и сравнивающие схемы, триг-


геры), а также нелинейные аналоговые схемы (схемы операционных усилителей разных типов),
точная математическая модель которых представляет нелинейное дифференциальное уравнение,
можно моделировать на 2-х функциональных уровнях ― идеальном и реальном.
Идеальное функциональное моделирование сводится к точному (до вычисляемой погрешно-
сти) воспроизведению выполняемых элементом функций.
При этом моделируемая схема заменяется безынерционным статическим или динамическим
элементом, идеально (без учета задержки и нелинейных искажений, вносимых элементом) выпол-
няющим заданное преобразование ― усиление аналогового сигнала, формирование импульса за-
данной формы и т.д.
Реальное функциональное моделирование переключательных устройств должно проводиться
с учетом таких свойств этих устройств, как формирование фронтов конечной длительности, за-
держка выходного сигнала по отношению к входному, неидеальная форма рабочей части импуль-
са ― вершины в прямоугольных импульсах и т.д.
Построение функциональной схемы замещения для реального моделирования нелинейного
устройства может выполняться двумя способами.
Первый способ состоит в разбиении полного преобразования сигнала на отдельные элемен-
тарные преобразования и отображении каждого из них соответствующим функциональным эле-
ментом.
В этом случае переключательный или импульсный элемент можно представить последова-
тельностью 3-х простых элементов ― элемента для моделирования изменения уровня сигнала от
x(t) до x1(t)<x(t) за счет конечного значения входного сопротивления Rвх, безынерционного элемен-
та для моделирования функционального преобразования формы сигнала y=f{x1(t)} и элемента
чистой задержки τ для моделирования инерционных свойств.
Таким образом, цепь элементарных преобразований имеет вид: x(t) → x1(t) → f{x1(t)} →
f{x1(t-τ)}.
Второй способ реального функционального моделирования сложного переключательного
устройства состоит в разбиении его на более простые части, каждая из которых могут быть заме-
нена простым функциональным элементом.
Разбиение по этому способу состоит в разделении устройства на 3 последовательные части,
моделирующие соответственно инерционные входные цепи, функциональное преобразование в
активных цепях и инерционные выходные цепи.
29 Конспект лекций по САПР

Таким образом, при реальном ФМ нелинейных радиочастотных, переключательных и др.


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

4.6. Построение функциональных схем

Построение функциональных схем (ФС) сложных устройств проводится в общем случае в 2


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

4.7. Алгоритмы моделирования типовых структур функциональных схем (ФС)

4.7.1. Общие подходы к моделированию ФС

Можно выделить два общих подхода при построении алгоритмов моделирования ФС.
Формальный подход состоит в рассмотрении ФС как обычной ненаправленной структуры,
описываемой уравнениями связей элементов (топологическими уравнениями) и уравнениями са-
мих элементов (компонентными уравнениями). Далее к этим уравнениям можно применять любые
алгоритмы решений систем уравнений соответствующего класса.
Формальность изложенного подхода заключается в том, что при построении алгоритма мо-
делирования не учитываются особенности ФМ — развязка и однонаправленность элементов.
Причинно-следственный или имитационный подход к построению алгоритмов ФМ учитыва-
ет эти особенности и состоит в организации процесса моделирования так, чтобы он имитировал
последовательное прохождение сигналов от одного элемента к другому в соответствии с принци-
пом: сначала вычисляется причина — входной сигнал, а затем следствие — сигнал на выходе эле-
мента.
Обязательным условием реализации этого подхода является ранжирование ФС.
Ранжировать схему — значит расположить ее элементы так, чтобы входами элементов i-го
ранга (i=0, 1, 2…) были выходы элементов только меньшего ранга.

4.7.2. Расчет статических временных диаграмм

Пусть на вход ФС подан сигнал x(t), изменяющийся настолько медленно, что инерционно-
стью элементов ФС можно пренебречь и считать схему безынерционной.
Получающиеся при этом зависимости y(t) на входе и во внутренних точках ФС назовем ста-
тическими временными диаграммами (СВД).
Пусть сигнал x(t) вычисляется в моменты времени t1, t2, t3 … Вычисление СВД может быть
выполнено двумя способами:
Способ мгновенного сигнала состоит в расчете в каждый момент времени ti значений y1(ti),
y2(ti),… yn(ti) во всех точках ФС на основе одного из алгоритмов, после чего расчет повторяется для
момента времени ti+1 и т.д.
30 Конспект лекций по САПР

Способ последовательного полного сигнала (ППС) состоит в вычислении всех значений сиг-
нала y1(t1), y!(t2),… сначала на выходе элементов первого рангов, затем на их основе всех значений
сигнала y2(t1), y2(t2),… на выходе элементов второго ранга и т.д.
Множество всех значений сигнала на входе или выходе элемента назовем полным сигналом.

4.7.3. Алгоритмы расчета переходных процессов

Пусть в составе ФС имеются инерционные элементы, скорость реакции которых соизмерима


со скоростью изменения входного сигнала, что вызывает дополнительные переходные процессы:
Инерционные элементы представлены диф. уравнениями. Алгоритм расчета ФС зависит от
выбранного способа решения уравнения.
Инерционные элементы линейны и представлены переходными характеристиками hi(t).
Расчет переходных процессов в этом случае возможен только на основе причинно-
следственного подхода, не требующего вычисления производных.
Алгоритм расчета ФС без обратных связей сводится к последовательному вычислению
мгновенного или полного сигнала на выходе каждого инерционного элемента на основе формул
типа (4.6).
Если же ФС имеет обратные связи, то это приводит к итеративному алгоритму либо типа
(4.18), если итерируется полный сигнал, либо обычного типа с итерациями до сходимости для ка-
ждого мгновенного значения сигнала.
Инерционные элементы линейны и представлены комплексными коэффициентами передачи
Ki(jw) или Ki(p).
Для ФС с последовательной структурой без обратных связей результирующий коэффициент
передачи
n
K общ ( p) = ∏ K i ( p )
i =1
n — число последовательно включенных элементов.
Если ФС имеет цепь обратной связи с элементом Кос(р), охватывающую n последовательных
элементов, то
n

∏ K ( p)
i =1
i
K общ ( p ) = n
1 + K oc ( p ) ⋅ ∏ K i ( p )
i =1

Для ФС с n-параллельно включенными элементами Ki(p) общий коэффициент передачи для


суммарного сигнала на выходе:
n
K общ ( p) = ∑ K i ( p)
i =1

6. ЛОГИЧЕСКОЕ МОДЕЛИРОВАНИЕ

6.1. Постановка задачи

Следующим после этапа проектирования ФС ЭВА является этап логического проектирова-


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

6.2. Автоматизированный синтез логических схем

Задача синтеза логических схем устройств требует для своего решения:


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

6.3. Модели сигналов и элементов

6.3.1. Модели сигналов

Наиболее просто представлены сигналы в виде логических 0 и 1. При этом один из элемен-
тарных уровней принимается за 0, другой за 1.
Переход сигнала из одного состояния в другое считается мгновенным и не отражается в мо-
дели сигнала.

6.3.2. Модели элементов

Под элементом будем понимать простейшую функционально законченную часть логической


схемы устройства, например отдельные комбинационные схемы типа И, ИЛИ, И-НЕ, ИЛИ- НЕ и
т.п. или их более сложные комбинации.
При логическом моделировании используются функциональные модели элементов. Функ-
циональная модель представляется в виде «черного ящика», для которого связь между входными и
выходными сигналами задается в виде булевых уравнений, таблиц истинности или другими спо-
собами.

6.4. Методы логического моделирования

Классификация методов логического моделирования

По учету По виду По способу По очередности


задержек кодирования сиг- Реализации
налов программы

Синхронное Двоичное Интерпретация Сквозное

Многозначное Компиляция Событийное


Асинхронное

6.4.1. Асинхронное моделирование

Анализ переходных процессов в логических схемах ведется асинхронным методом модели-


рования, в котором учитывается время распространения сигналов в элементах и соединительных
цепях схемы.
32 Конспект лекций по САПР

Срабатывание логического элемента происходит с некоторым запаздыванием по отношению


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

6.4.2. Асинхронное событийное моделирование

Событие в системах событийного моделирования — это изменение состояния какого-либо


элемента и связанных с ним цепей.
В программах асинхронного событийного моделирования важную роль играют 2 массива —
массив состояния цепей моделируемой схемы и очередь будущих событий.
Массив состояния цепей хранит текущие состояния всех цепей моделируемой схемы в виде
логических 0 и 1.
В очередь будущих событий (ОБС) в процессе моделирования записываются события, кото-
рые должны произойти в моделируемой схеме.
В ОБС события записаны в порядке возрастания времени, и в вершине очереди находится
событие, которое произойдет раньше всех.
Асинхронное событийное моделирование выполняется следующим образом. Перед началом
моделирования устанавливается исходное состояние схемы путем записи значений в массив со-
стояния цепей. Тестовые входные воздействия, подаваемые в схему, заносятся в ОБС в соответст-
вии с временем их появления. Далее начинается собственно моделирование, которое состоит из
следующих действий:
Через ОБС выбирается верхний элемент. Время, указанное в нем, заносится в счетчик мо-
дельного времени, а в массив состояния цепей по номеру, указанному в элементе, вместо старого
производится запись нового состояния цепи, указанного в ОБС.
Находятся логические элементы, для которых данная цепь является входной, и вычисляются
значения сигналов на выходах этих элементов (т.е. определяются новые состояния цепей) и их за-
держки.
Для каждой из цепей значение сигнала сравнивается со значением, хранящимся в массиве
состояния цепей, и, если они не совпадают, то, следовательно, происходит изменение состояния
цепи, и событие заносится в ОБС. Если значения совпадают, то запись в ОБС не производится.
Далее операции повторяются, начиная с п. 1.
Процесс моделирования заканчивается при исчерпании всех элементов ОБС либо заданного
времени моделирования.

6.5. Синтез тестов с применением систем моделирования

В процессе производства и эксплуатации ЭВА возникают задачи проверки правильности


функционирования аппаратуры, отыскания неисправностей и их устранения.
Обнаружение и локализация неисправностей в ЭВА производится путем подачи на входы
проверяемого устройства некоторой последовательности наборов (векторов) входных сигналов и
33 Конспект лекций по САПР

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

6.6. Реализация программ логического моделирования

6.6.1. Компилирующие и интерпретирующие системы

В зависимости от способа реализации программы в ЭВМ системы моделирования делятся на


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

7. СХЕМОТЕХНИЧЕСКОЕ МОДЕЛИРОВАНИЕ

7.1. Постановка задачи

Схемотехническое моделирование (СхМ) понимается в узком смысле, как моделирование


элементарных процессов в электронных устройствах, традиционно изображаемых в виде принци-
пиальных электрических схем.
СхМ электрических процессов учитывает реальные физические ограничения в элементарных
процессах — т.н. законы сохранения. Такими ограничениями являются первый и второй законы
Кирхгофа. Они вытекают из законов сохранения заряда и работы и называются законами электри-
ческого равновесия.
В математическую модель электронного устройства в СхМ входят не только модели отдель-
ных элементов и уравнения их связи, но и уравнения электрического равновесия, составляемые на
основе законов Кирхгофа и называемые топологическими уравнениями.
Уравнения отдельных элементов схемы называются компонентными.
Таким образом, математическая модель для СхМ в общем случае состоит из двух подсистем
уравнений — компонентной и топологической.
Цель СхМ состоит в определении формы и параметров сигналов тока и напряжения, возни-
кающих в разных точках схемы.
34 Конспект лекций по САПР

7.2. Моделирование статических режимов

7.2.1. Прямой метод

Для расчета статического режима используют несколько форм исходных математических


моделей. Наиболее распространена модель в виде системы конечных (не дифференциальных) ли-
нейных или нелинейных уравнений
F(x)=0 (7.1)
Составление модели схемы в виде (7.1) и ее последующее решение каким-либо численным
методом получило название прямого метода расчета статического режима.
Для решения системы (7.1) можно использовать метод простых итераций:
( )
x (k +1) = x (k ) − λ ⋅ F x (k ) (7.2)

где k — номер итерации; λ — множитель, регулирующий сходимость.


Главный недостаток этого алгоритма — медленная сходимость, поэтому вместо (7.2) для
решения (7.1) обычно используют различные модификации метода Ньютона:
( ) ( )
F ′ x ( k ) ⋅ ∆x ( k ) = − F x ( k ) (7.3)
( k +1)
где ∆x = x
(k )
− x — вектор поправки;
(k )

F x( )
(k )
— вектор невязок;
F′ x( )(k )
— матрица Якоби.
Решая (7.3) при заданном начальном приближении х(0) относительно ∆х(0), находим затем
х = ∆х(0)+ х(0), далее, вновь решая (7.3) относительно ∆х(1), определим х(2) и т.д. до сходимости.
(1)

7.2.2. Метод движущейся области сходимости

Для повышения надежности сходимости методов решения системы (7.1) часто применяется
специальный прием — метод движущейся области сходимости.
В этом методе система F(x)=0 заменяется эквивалентной системой F(x,ν)=0, где ν ∈( νмин
,νмакс) выбирается так, что решение х(0) системы F(x,νмин)=0 известно, а F(x, νмакс)≡F(х). Однократ-
ное решение системы (7.1) заменяется серией решений с изменяющимся от решения к решению
параметром ν.
Для удобства описания этого метода введем оператор A lg F ( x) , обозначающий решение сис-
x
темы F(x)=0 любым численным методом, и оператор a lg F (x) , обозначающий результат одной
x
итерации.
Тогда метод ДОС можно записать в виде:
x p +1 = A lg F ( x p ,ν p +1 ) , р=0, 1, …, n-1;
(7.5а)
x

ν p +1 = f (ν p ) , ν 0 = ν мин , ν n = ν макс (7.5б)

р — номер промежуточного решения (продолжения или шага).


В этом методе, если xp∈δ xp, где δ xp — область сходимости около точки xp, то возмущение
параметра ∆νp= νp+1-νp передвигает область сходимости и выполняется условие xp+1∈δ xp+1.

7.2.3. Метод установления

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

Этот метод называется расчетом статики через динамику.


Математическая реализация этого метода требует составления и решения не системы (7.1), а
системы диф. уравнений, описывающих переходные процессы в схеме при включении напряжения
питания.
Преимущества: Алгоритм составления математической модели и расчета статического ре-
жима мало отличается от алгоритма составления модели и расчета переходного процесса. Благо-
даря этому сокращается объем и время разработки программы расчета статики и динамики.
Метод установления допускает достаточно произвольный выбор начальных условий х(0).
Расчет статического режима выполняется не только для расчета статистических параметров
схемы, но часто с целью определения начальных условий для расчета переходных процессов.
Метод установления позволяет без дополнительных преобразований схемы определить на-
чальные значения ее потенциалов с учетом всех реактивных элементов.

7.2.4. Метод оптимизации

Этот метод основан на эквивалентности результатов решения схемы (7.1) прямыми методами
и минимизации какого-либо из функционалов:
Φ1( x) = ∑ Fi2 ( x) , Φ 2 ( x) = ∑ Fi ( x) , Φ 3 ( x) = max Fi ( x) (7.7)
i i i

хорошо отработанными методами оптимизации.


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

7.4. Моделирование переходных процессов

7.4.1. Явная форма модели

Наиболее распространены две формы представления исходной модели схемы для расчета
переходных процессов — явная и неявная.
Явная форма в общем случае состоит из двух подсистем:

dx i
= F1i ( x, v, w, ), i=1, … , n; (7.21 a)
dt
F2 j ( x, v, w, ) = 0, j=1, … , n; (7.21 б)

здесь x — вектор переменных uc, iL реактивных элементов, называемых переменными со-


стояниями; v — вектор постоянных и времязависимых источников E, I; w — вектор переменных
u, i линейных и нелинейных резистивных элементов.
Подсистема (7.21 а) — это система обыкновенных дифференциальных уравнений (ОДУ)
первого порядка, разрешенных относительно производных. Такая система называется нормальной
системой ОДУ.
Подсистема (7.21 б) — это система конечных, в общем случае нелинейных уравнений.
Методика получения нормальной формы ОДУ состоит из двух этапов.
Пусть имеется система топологических и компонентных уравнений, причем компонентными
уравнениями реактивных элементов служат дифференциальные зависимости:
du (t ) d (t )
ic = c c , u L (t ) = L iL (7.23)
dt dt
36 Конспект лекций по САПР

Тогда первый этап методики заключается в том, что на основе законов Кирхгоффа перемен-
ные ic, uL выражаются через токи и напряжения остальных ветвей.
ic = f1 (остальные _ переменные)
i , i , i ,.... (7.24 а)
R E L
u L = f 2 (остальные _ переменные)
u , u , u ,.... (7.24 б)
R I c

На втором этапе ic и uL заменяются производными в соответствии с (7.23), а остальные пере-


менные с помощью комбинирования законов Кирхгоффа и компонентных уравнений выражаются
через uc и iL.
В результате получим нормальную систему:

На первом єтапе выполняются следующие действия:


Составляется топологический граф схемы, каждой ветви которого задается произвольное на-
правление;
Строится т.н. нормальное дерево графа;
Для этого в состав дерева последовательно включаются все независимые и зависимые источ-
ники напряжения E, u(i), затем емкости C, сопротивления R и, если необходимо, индуктивности L;
Для построения нормального дерева составляется топологическая система всех контурных
уравнений и уравнений сечений;
Из полученной системы выделяется подсистема вида (7.24), включающая контурные уравне-
ния, образованные индуктивными хордами, и уравнения сечений, образованные емкостными вет-
вями.
Ветвями называются ребра графа, вошедшие в его дерево, а хордами — ребра, не вошедшие
в дерево.
На втором этапе с помощью оставшихся топологических уравнений и компонентных урав-
нений из системы вида (7.24) окончательно формируется нормальная система ОДУ.

7.4.2. Организация расчета модели схемы в явной форме

Расчет переходных процессов с помощью модели схемы в явной форме (7.21) требует реше-
ния двух принципиально различных по характеру систем уравнений: системы конечных уравне-
ний (7.21б) для расчета квазистатического режима и системы дифференциальных уравнений
(7.21а) для расчета переменных состояния uc, iL.
Организация вычислений для системы (7.21) заключается в поочередном решении систем
(7.21а) и (7.21б). Пусть из расчета статического режима известны начальные значения uc0, iL0 пе-
ременных состояния и w0 резистивных переменных. Тогда:
Подставляя uc0, iL0, w0 в систему ОДУ (7.21а) и решая ее любым численным методом, опре-
деляем значения uc1, iL1;
Считая uc1, iL1 постоянными источниками напряжения и тока, рассчитываем квазистатиче-
ский режим схемы, т.е. решаем систему конечных уравнений (7.21б) и определяем вектор w1=w(t1)
токов и напряжений нелинейных и резистивных элементов.
После этого опять выполняем пункт 1.

7.4.3. Неявная форма математической модели

Вторая форма представления динамической модели схемы — неявная. В общем случае она
имеет вид:
 dx(t ) 
Fi  , ∫ x(t )dt , x(t ) = 0 i=1, …, p (7.33)
 dt 
37 Конспект лекций по САПР

Далее вместо производных и интегралов подставляются их конечно-разностные аппрокси-


мации, соответствующие тем или иным формулам численного дифференцирования и интегриро-
вания:
dx
≈ f д ( x n +1 , x n ,...x n − k ) (7.34 а)
dt
b

∫ x(t )dt ≈ f (x
a
и n +1 , x n ,...x n − k ) (7.34 б)

Таким образом, от исходной системы (7.33) переходим к системе конечно-разностных алгеб-


раических уравнений:
Fi ( x n +1 , x n ,...x n − k ) = 0 , i=1, …, p (7.35)

Замена производных и интегралов по (7.34) аппроксимирующими конечно-разностными


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

( ) (
F ′ x (k ) , x n ,...x n − k ∆x (k ) = − F x (k ) , x n ,...x n − k
n +1 n +1 n +1
) (7.36)

где ∆x (k ) = x (k +1) − x (k ) — вектор поправок; F’(·) — матрица Якоби;


n +1 n +1 n +1
k — индекс ньютоновских итераций.
После вычисления с заданной точностью значений xn+1 полагаем xn=xn+1, xn-1= xn, и т.д., т.е.
сдвигаем рассчитываемые точки на один шаг по оси автоматного времени и снова решаем (7.36)
относительно нового значения xn+1. Этот процесс повторяется до тех пор, пока не будет пройден
заданный интервал времени t.

7.5. Моделирование частотных характеристик

Амплитудно-частотная характеристика (АЧХ) определяется как отношение:


u ( jw)
F ( jw) = вых ,
u вх ( jw)
где j(w) — комплексная частота.
Существуют различные способы расчета АЧХ.
Аналитические способы основаны н вычислении АЧХ как отношения полиномов:
M ( jw) a m ( jw) + a m −1 ( jw) + ... + a 0
m m −1

F ( jw) = =
N ( jw) bn ( jw) + bn −1 ( jw) + ... + b0
n n −1

Моделирование АЧХ на ЭВМ основано на трех подходах: символьном, численно-


символьном и численном.
При символьном подходе программы составляются так, чтобы вычислить коэффициенты ai,
bi в виде формул. Наибольшее распространение получил численный подход, когда АЧХ вычисля-
ется как численное значение F(jw) при разных значениях w, т.е. поточечно.
Рассмотрим этот подход применительно к базису узловых потенциалов.
В качестве входного сигнала используется источник напряжения Евх(jw)=1·е jw с единичной
комплексной амплитудой, нулевой начальной фазой и малым внутренним сопротивлением. В ба-
38 Конспект лекций по САПР

зисе узловых потенциалов этот источник напряжения преобразуется в единичный источник тока
Iвх(jw)=1·е jw с большой параллельно включенной проводимостью.
Таким образом при указанном входном сигнале будет верно соотношение
u ( jw)
F ( jw) = вых = u вых ( jw)
E вх ( jw)
F(jw) — комплексная АЧХ.
Следовательно, рассчитывая uвых(jw) в любой ветви схемы, мы тем самым рассчитываем
АЧХ схемы для этой ветви. Если один из полюсов ветви с входным сигналом — земляной, то
Евх=ϕвх; тогда вместо uвых(jw) можно рассчитать ϕвых(jw).
Метод узловых потенциалов позволяет легко формировать узловые уравнения не только для
временной, но и для частотной области. В этом случае изменяются лишь компонентные уравнения
реактивных ветвей, принимающее вид:
j
ic = jwC (ϕ нач − ϕ кон ) , iL = − (ϕ нач − ϕ кон ) (7.48)
wL

Где ϕнач, ϕкон — потенциалы на концах реактивных ветвей; j — мнимая единица; w — частота.
Проводимости реактивных ветвей равны:

yc=jwC, yL=-j/(wL) (7.49)

Уравнения (7.48) используются при формировании вектора узловых токов, а (7.49) — матри-
цы узловых проводимостей. При этом в схеме замещения постоянные источники напряжения Е
закорачиваются, а постоянные источники тока I размыкаются. В результате получим узловое
уравнение линейной схемы в частотной области:
Y(jw)·ϕ(jw)=-I(jw) (7.50)

Если интерес представляет частотная характеристика в каком-нибудь одном узле схемы k, то


на каждой частоте wi нужно выбирать из вектора ϕ(jwi) комплексное значение потенциалов
ϕk(jwi)=Ak(wi)+jBk(wi) и вычислять точку амплитудно-частотной и фазо-частотной характеристики
в узле k:
 B (w ) 
ϕ kААЧ ( wi ) = Ak2 ( wi ) + Bk2 ( wi ) , ϕ kФФЧ ( wi ) = arctg  k i  .
 Ak ( wi ) 

10. МОДЕЛИРОВАНИЕ ПОЛУПРОВОДНИКОВЫХ ПРИБОРОВ

10.1. Основная задача моделирования компонентов и классификация моделей

Модели компонентов радиоэлектронных схем классифицируются по ряду разнохарактерных


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

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


буемых машинных ресурсов.

10.2. Электрические модели

10.2.1. Модели пассивных элементов

При моделировании схем на дискретных компонентах в качестве модели пассивных компо-


нентов используются константы, соответствующие их номиналам.
Резисторы ИС — это либо определенная область одного из диффузионных слоев в монолит-
ных биполярных схемах, либо пленочные резисторы в гибридных схемах, либо резисторы на ос-
нове МДП-структур (в МДП ИС).
При моделировании интегральных резисторов следует учитывать. Что они представляют со-
бой распределенные RC-структуры. Паразитная емкость RC-структуры определяется зарядной ем-
костью изолирующего p-n-перехода в монолитных схемах, а при диэлектрической изоляции и для
пленочных резисторов — емкостью резистивного слоя относительно подложки. Влияние паразит-
ной распределенной емкости обычно описывается введением в модель шунтирующего конденса-
тора с постоянным значением емкости, равным среднему значению емкости распределенной RC-
структуры. Иногда параллельно резистору в модели, кроме конденсатора, подключают паразит-
ный транзистор. Параметры такой модели рассчитываются из технологических данных.

10.2.2. Модели полупроводниковых диодов

Полупроводниковые диоды применяются как в дискретных так в интегральных цифровых и


аналоговых схемах.
В ИС применяют в качестве диодов транзисторы в одном из пяти возможных диодных вклю-
чений, имеющие различные характеристики.
Наиболее распространенной является нелинейная модель диода, которая базируется на урав-
нениях Эберса-Молла для управляемого источника тока и учитывает зависимости емкостей от ре-
жима:
  u  
I = I 0 exp  − 1 (10.1)
  mϕ Т  
С д = С бар + С диф (10.2)
1
C бар = С 0 (ϕ − u ) 2 (10.3)
−1
  u   τ 
C диф =  I 0 exp  ⋅   (10.4)
  mϕ Т   mϕ Т 

где I0 — тепловой ток;


U — напряжение на p-n-переходе;
m — поправочный коэффициент, учитывающий отклонение реальной характеристики от
идеальной теоретической характеристики p-n-перехода;
φТ — температурный потенциал;
φ — контактная разность потенциалов, определяемая технологией изготовления;
Сд, Сбар, Сдиф — суммарная, барьерная и диффузионная емкости соответственно;
τ — временной коэффициент, учитывающий предельную частоту работы диода.
Параметры полупроводниковой структуры, входящие в модель, определяются из физических
соображений: для нормальной температуры φТ=0,026 В, для кремниевых p-n-переходов
φ=0,7…0,75 В, а для германиевых φ=0,4…0,6 В.
40 Конспект лекций по САПР

Параметры I0, m, Rд вычисляются из условия аппроксимации статической характеристики


диода выражением
 U j − I j Rд 
I j = I 0  exp 
 j=1, 2, …, N (10.5)
 m ϕ T 

где (Ij, Uj) — соответствующие j-й экспериментальной точке характеристики диода значения
тока и напряжения на диоде;
N — число известных экспериментальных точек.
Параметры I0, m, Rд вычисляются, например, методом наименьших квадратов.
Барьерная емкость Сбар моделирует приращение пространственного заряда при изменении
напряжения на p-n-переходе.
Диффузионная емкость Сдиф отражает влияние перераспределения подвижных носителей.
Диффузионная емкость является доминирующей при прямом смещении, а барьерная — при
обратном.

10.2.3. Модели биполярных транзисторов

В качестве простейших моделей биполярных транзисторов используют схемы замещения


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

i1 i1 i2

y11 y22·u1 y22 u2 u1


u1 h22 u2
↓ ↓ ~ ↓
y12·u2 h12u2 h21i1

i1 = y11u1 + y12 u 2 u1 = h11i1 + h12 u 2


 ,  (10.7)
i 2 = y 22 u1 + y 22 u 2 i 2 = h21i1 + h22 u 2

Такие модели с большой точностью описывают характеристики транзистора в линейном ма-


лосигнальном режиме, однако трудности их практического применения связаны с необходимо-
стью в каждом конкретном случае определять численные значения параметров с учетом опреде-
ленных рабочих точек.
В качестве нелинейных моделей биполярных транзисторов наибольшее распространение по-
лучили различные модификации модели Эберса-Молла, которая была предложена для дискретно-
го транзистора в 1954 г.
Рассмотрим модель, в основе которой лежит представление транзистора как системы двух
взаимодействующих диодов.
В ней используются обозначения:
IЭ, Ik — источники внутренних токов, управляемые напряжениями на p-n-переходах;
νэ, νб, νк — сопротивления объемных областей эмиттера, базы и коллектора соответственно, а
также их внешних выводов;
νуэ, νук — сопротивления утечки;
Сэ, Ск — емкости эмиттерного и коллекторного переходов.
41 Конспект лекций по САПР

Uэ Uk
Rэ Rk
Э К
>> <<
Iэ Ik

iэ ik
Сэ Сk

б´
Ryэ Ryk

Uэб iб Ukб

Для расчета токов Iэ(Uэ, Uk) и Iк(Uэ, Uk) используются модифицированные уравнения Эберса-
Молла:

 u  BI  u 
I Э = I Э 0  exp Э − 1 − I K 0  exp K − 1
 mЭϕ T  BI + 1  mϕ T  (10.9)

 uK  BN  u 
I K = I K 0  exp − 1 − I Э 0  exp Э − 1 (10.10)
 mK ϕT  BN + 1  mЭϕ T 

Uэ, Uk — напряжения на эмиттерном и коллекторном переходах (входные параметры модели);


BN и BI — статические коэффициенты передачи по току в схеме с общим эмиттером;
mэ, mk — поправочные коэффициенты;
Ik0 и Iэ0 — обратные токи, определяемые при замкнутых накоротко цепях эмиттер — база и кол-
лектор — база.
Для расчета емкостей модели, которые зависят от напряжения и тока, используются соотно-
шения:
 u 
I Э 0τ Э exp  Э 
C Э0  mЭϕ T  (10.12)
CЭ ∑ = +
(ϕ Э − u Э ) 0, 5 2πf N m Э ϕ T

 u 
I K 0τ K exp  K 
CK0  mK ϕT  (10.13)
CK ∑ = +
(ϕ K − u K ) 0 ,3 2πf I m K ϕ T

В этих выражениях представлены суммарные барьерные и диффузионные емкости соответ-


ствующих p-n-переходов. Данная нелинейная модель транзистора, которая называется также ин-
жекционной моделью, имеет 24 параметра.
42 Конспект лекций по САПР

10.2.4. Модели МДП-транзисторов

МДП-транзисторы (металл – диєлектрик - полупроводник) относятся к униполярным прибо-


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

10.3. Физико-топологические модели

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


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

(
Fψ ψ m , Φ m m m
n ,Φ p ,t =0 )
F (ψ
n
m
,Φm m m
n ,Φ p ,t )= 0 (10.22)
F (ψ
p
m
,Φm m m
n ,Φ p ,t )= 0
tm — момент времени, соответствующий m-му шагу.
При анализе статических режимов система аналогичного вида получается для каждого набо-
ра внешних смещений на выводах прибора.
Каждая из трех систем (10.22) чаще всего нелинейная, поэтому для их решения применяются
итерационные методы. Обычно выбирается метод Ньютона, обладающий квадратичной сходимо-
стью.
Для решения задач моделирования полупроводниковых приборов разработаны методы одно-
временного решения указанных систем уравнений, где применяется LU-разложение, упорядочение
строк и столбцов матрицы Якоби, специальные методы работы с ленточными матрицами, а также
ряд других приемов с целью преодоления проблем сходимости и повышения эффективности мо-
делирования.

11. МАКРОМОДЕЛИ ИНТЕГРАЛЬНЫХ МИКРОСХЕМ

11.1. Постановка задачи

11.1.1. Понятие макромодели в АсхП

Макромодели, используемые в программах АсхП, ― это упрощенные представления функ-


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

11.1.2. Принципы построения макромоделей

Применение схемотехнических макромоделей можно рассматривать как компромисс между


требованиями повышения точности функционально-логического уровня проектирования и сниже-
ния вычислительных затрат на схемотехническом уровне проектирования.
Макромодели как цифровых, так и аналоговых элементов разделяются на 2 типа: физические
макромодели в виде упрощенных элементарных схем замещения, для которых расчет проводится
на основе законов Кирхгоффа, и информационные макромодели, уравнения которых имеют вид
функционального описания y=f(x), где у и х ― векторы выходных и входных переменных соответ-
ственно.
Наиболее целесообразным оказывается представление в виде макромоделей подсистем, то-
пология и свойства которых многократно повторяются.

11.1.3. Иерархия и типовая структура макромоделей

Существует иерархическое деление макромоделей по уровню сложности описываемых уз-


лов.
Создание и использование макромоделей элементарных подсхем оказывается достаточно
простым, а сами макромодели являются универсальными.
А) I II III

Блок передаточных
Блок входных характеристик (ста- Блок выход- … Y
X … характеристик тических и динами- ных характе-
ческих)
ристик
Б) I II III
Управляемые ис-
Входные цепи точники и инер- Входные цепи … Y
X …
ционные элемен-
ты
В) I II III

Обработка Формирование
входных сиг- Преобразование выходных … Y
X …
налов и задержка сиг- сигналов
нала
Типовая структура макромоделей для программ АсхП: А) — общий вид; Б) — для физиче-
ской макромодели; В) — для информационной макромодели.
Типовые блоки I и III макромодели осуществляют требуемое сопряжение внешних перемен-
ных программы и внутренних переменных макромодели.
Они могут отражать инерционные свойства входных и выходных цепей, а также влияние
объединения по входу и разветвления по выходу эквивалентными схемами или уравнениями раз-
ного уровня точности и сложности.
Основной преобразовательный блок II макромоделей связан с блоками I и III только по
управлению (управляется переменными из блока I и выдает управляющие переменные для блока
III) и не связан явно с внешними цепями. В блоке II в ряде макромоделей учитывается суммарная
инерционность внутренних цепей функционального узла.
44 Конспект лекций по САПР

Уровень сложности представления каждого из блоков и соответственно точности определяе-


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

11.2. Методы построения макромоделей

11.2.1. Основные процедуры

Общая методика формирования макромоделей, предназначенных для АсхП, включает сле-


дующие процедуры:
1. Изучение свойств моделируемого объекта с целью получения информации о тех свойствах,
которые д.б. отражены в его макромодели.
2. Синтез структуры физической или информационной макромодели, который осуществляет-
ся путем либо разработки оригинальной структуры, либо выбора готовой структуры из
числа рекомендуемых для данного типа функционального узла.
3. Определение числовых значений параметров макромоделей, исходя из условий минимиза-
ции расхождений между характеристиками объекта или точной модели и аналогичными
характеристиками, рассчитанными с использованием макромодели.
4. Оценка точности полученной макромодели.
5. Представление макромодели в форме, соответствующей требованиям программы модели-
рования, для которой предназначена макромодель.

11.2.2. Методы упрощения

Методы упрощения развернутого компонентного представления цифровой или аналоговой


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

11.2.3. Методы функционального подобия

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

Макромодели, построенные методом подобия, мало связаны с техническими особенностями


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

11.2.4. Аналитические преобразования

Этот подход к построению макромоделей основан на аналитических преобразованиях урав-


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

11.2.5. Методы факторизации

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

11.3. Формы представления макромоделей

Каждая макромодель в программах АсхП рассматривается как неделимое целое и ей соот-


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

11.4. Макромодели аналоговых схем

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


изменяющихся по закону непрерывной функции, в частном случае линейной. В РЭА наиболее
широко распространены операционные усилители, которые имеют большой коэффициент усиле-
ния, порядка 103…106, и применяются в качестве активного элемента в схемах с обратными связя-
ми. Операционные усилители используются для выполнения математических операций: суммиро-
46 Конспект лекций по САПР

вания, вычитания, интегрирования и дифференцирования, а также при построении всевозможных


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

12. МЕТОДЫ РАСЧЕТА И АНАЛИЗА ВЫХОДНЫХ ПАРАМЕТРОВ СХЕМ

12.1. Расчет выходных параметров схем

12.1.1. Одновариантный расчет или анализ схем

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


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

Выходной параметр Способ определения


Коэффициент усиления по напря- Определяется как максимальный коэффициент усиления в
жению, току или мощности k0 пределах полосы пропускания или на центральной часто-
те полосы пропускания f0
Полоса пропускания ∆f Соответствует области частот, где коэффициент усиления
не опускается ниже kгр, где kгр=0,7k0 по напряжению или
току и kгр=0,5k0 по мощности
Верхняя fВ и нижняя fН граничные Обычно задаются на уровне 0,7k0
частоты полосы пропускания
47 Конспект лекций по САПР

Избирательность δИ δИ=(f-f0)/(∆f0,7/2), где f — частота, соответствующая фик-


сированному уровню подавления сигнала k0 (обычно
k0=0,1 или 0,01)
Наклон фазочастотной характери- Рассчитывается по фиксированной частоте f0 :
стики ψ dy ( f )
ψ= , где у(f) — уравнение фазовой характери-
df f = f0

стики
Линейность фазочастотной харак- ψ ( fi − f0 )
γ = , где fi — частота определения γ
теристики в диапазоне частот γ y( f i ) − 1
Коэффициент нелинейных искаже- ∞
p
ний kг kг = ∑ p1i , где pi — мощность i-ой гармоники; p1 —
i =2

мощность первой гармоники

12.1.2. Многовариантный расчет схем

Простейшим видом анализа, необходимым для любого комплекса программ СхП, является
многовариантный расчет, т.е. многократное вычисление выходных параметров у для заданных на-
боров (вариантов) внутренних параметров х.
Многовариантный расчет позволяет провести всестороннее изучение схемы, определить за-
висимость выходных параметров у от внутренних параметров х, от разброса этих параметров ∆x в
широком диапазоне внешних воздействий G (температурных, радиационных и т.д.) и получить
семейство характеристик y=f(x,G).
Только при наличии таких семейств можно судить о поведении схемы во всей области рабо-
тоспособности, о возможностях реализации схемы на данных элементах и о соответствии схемы
техническому заданию (ТЗ).

12.2. Анализ чувствительности

12.2.1. Постановка задачи

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


метров х.
Количественная оценка такого изменения выходного параметра схемы у при заданном изме-
нении внутреннего параметра х называется коэффициентом чувствительности.
Цель анализа чувствительности заключается в нахождении тех элементов схемы и парамет-
ров х этих элементов, отклонение которых от номинальных значений приводит к наибольшему от-
клонению выходных параметров схемы у.
При анализе чувствительности находится матрица чувствительности A[m × n] , элементами
которой являются коэффициенты чувствительности выходного параметра yi к изменениям внут-
реннего параметра xi:

Aij = ∂y j ∂xi
 ∂y1 ∂y1 ∂y1
 ∂x ... 
∂x 2 ∂x n
 1 
 ∂y 2 ∂y 2
... ∂y 2
A =  ∂x1 ∂x 2 ∂x n (12.1)
 ... ... ... 
 
 ∂y m ∂y m
...
∂y m 
 ∂x1 ∂x 2 ∂x n 
48 Конспект лекций по САПР

Каждая j-я строка матрицы А является вектором — градиентом j-го выходного параметра yj в
пространстве внутренних параметров X, а каждый і-й столбец характеризует влияние i-го внут-
реннего параметра xi на все выходные параметры Y.
По значениям коэффициентов чувствительности можно определить направление изменений
внутренних параметров для улучшения выходных параметров, оценить влияние каждого внутрен-
него параметра на выходные параметры и определить сильно влияющие для того, чтобы отделить
их от слабо влияющих.

12.2.2. Метод приращений

Наиболее простым и распространенным при проектировании методом расчета чувствитель-


ности является метод приращений, основанный на численном дифференцировании.
В этом методе коэффициент чувствительности j-го выходного параметра к изменению i-го
внутреннего параметра определяется как
∂y j ∆y j y j ( x1 , x 2 ,..., x i + ∆xi ,..., x n ) − y j ( x1 , x 2 ,..., x n )
= = (12.2)
∂x i ∆x i ∆x i

Алгоритм расчета методом приращений по (12.2) включает:


1. Расчет выходных параметров в номинальном режиме, т.е. вычисление вектора y(x1, x2,
…, xn).
2. Выполнение n вариантов расчета, в каждом из которых дается отклонение ∆xi от но-
минального значения xi только одному из внутренних параметров xi. При этом каждый
раз получается вектор выходных параметров Y ( x1 , x 2 ,..., xi + ∆xi ,..., x n ) , каждая j-я
компонента которого определяет коэффициент чувствительности данного j-го выход-
ного параметра к изменению очередного i-го внутреннего параметра.
Анализ методом приращений требует выполнения (n+1) варианта расчета схемы, где n —
число внутренних параметров, по которым исследуется чувствительность схемы.

12.2.3. Метод присоединенной схемы

Метод присоединенной схемы наиболее эффективен при расчете статических выходных па-
раметров схемы.
В основе этого метода лежит теорема Теллегена, доказывающая, что алгебраическая сумма
произведений токов и напряжений всех ветвей схемы равна 0:
n
U t I = I tU = 0 или ∑U
k =1
k Ik = 0 (12.4)

Uk, Ik — напряжение и ток k-й ветви схемы; n — число ветвей.


Метод присоединенной схемы основан на справедливости соотношения (12.4) и для случая,
когда вектор напряжений U и вектор токов I принадлежат различным схемам, имеющим одинако-
вую топологию:
n ) n )

∑ k k
U I
k =1
∑U k I k = 0 k =1
(12.5)

Здесь Ik и Uk — ток и напряжение k-й ветви исходной схемы N;


) ) )
I k и U k — ток и напряжение соответствующей ветви схемы N , т.е. ветви, включенной
)
в схеме N между теми же узлами, что и k-я ветвь в исходной схеме.
Если в исходной схеме напряжения и токи ветвей изменились на dUk и dIk соответственно, то
из (12.5) получаем, что
49 Конспект лекций по САПР
n ) n )
∑ (U
k =1
k + dU k )I = 0 , ∑ (I k + dI k )U k = 0
k k =1

или
n ) n )
∑ dU k I k = 0 ,
k =1
∑U
k =1
k dI k = 0

Отсюда следует, что

∑ (dU )
n ) )
k I k − dI k U k = 0 (12.6)
k =1

Соотношение (12.6) лежит в основе метода присоединенной схемы. Для получения присое-
диненной схемы на основе (12.6) необходимо при расчете статического режима схемы закоротить
все источники напряжения; на выходе схемы подключить единичный источник тока; заменить все
нелинейные компоненты специальными линейными моделями.
Так как присоединенная схема линейна, то объем вычислений определяется только одно-
кратным расчетом статического режима исходной нелинейной схемы. Таким образом, метод при-
соединенной схемы позволяет вычислять чувствительность только одного выхода.
При наличии нескольких выходов необходимо производить расчет соответствующее число
раз.
При наличии динамического режима на основании формулы (12.6) можно найти формулы
для коэффициентов чувствительности выходного напряжения в любой момент времени tk:
∂U (t k ) / ∂xi .
Тогда начальные условия для присоединенной схемы необходимо задавать в момент времени
)
tk: U c (t r ) = 0 и интегрирование системы дифференциальных уравнений надо производить в обрат-
ном направлении с изменением времени, т.е. начиная с момента времени t=tk и кончая при t=0.
Таким образом, присоединенную схему для анализа в динамическом режиме получают в ре-
зультате изменений: замены «+» емкости на «-» и подключения к выходу схемы источника
I = δ (t − t r ) вместо единичного источника в статическом режиме.

12.3. Метод расчета на наихудший случай

12.3.1. Постановка задачи

Цель расчета на наихудший случай состоит в определении вектора выходных параметров


Yнс = ( y1нс , y 2 нс ,..., y mнс ) ,
компоненты которого y iнс наименее благоприятны с т.з. выполнения требований ТЗ или наихуд-
шие среди всех возможных значений выходных параметров.
Метод применяется, если известны предельно возможные отклонения ∆x j внутренних пара-
метров от своих номинальных значений xjном

12.3.2. Алгоритм расчета на наихудший случай

Пусть задано условие работоспособности i-го выходного параметра в виде yi<yiдоп. С т.з. не-
выполнения данного неравенства или условия работоспособности интерес представляют наи-
большие значения yi или верхняя граница диапазона рассеяния. Выходной параметр yi достигает
верхней границы своего диапазона рассеяния, когда все аргументы функциональной зависимости
yi=f(x) принимают самые неблагоприятные значения.
50 Конспект лекций по САПР

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


ние
x jмакс = x jном + ∆x j ,
∂y i
если > 0 , и минимальное возможное значение x j| мин = x jном − ∆x j ,
∂x j
∂y i
если < 0.
∂x j
В том случае, если условие работоспособности задано в виде y i > y iдоп , самым неблагопри-
ятным значениям аргумента xj будет
∂y ∂y
x j| мин = x jном − ∆x j , если i > 0 ; x jмакс = x jном + ∆x j , если i < 0 .
∂x j ∂x j
Здесь ∆xj — допуск на внутренний параметр xj.
Алгоритм строится, исходя из предположения, что знаки производных остаются неизменны-
ми во всей рассматриваемой области, и включает в себя следующие процедуры:
1. Анализ чувствительности, в результате которого определяются знаки коэффициентов чувст-
 ∂y 
вительности sign i  для всех выходных параметров.
 ∂x 
 j
2. Присвоение внутренним параметрам xj самых неблагоприятных значений:
 ∂y 
x jнс = x jном − sign i ∆x j для условия работоспособности yi>yiдоп;
 ∂x 
 j
 ∂y 
x jнс = x jном + sign i ∆x j для условия работоспособности yi<yiдоп.
 ∂x 
 j
3. Выполнение анализа схемы, т.е. расчета выходного параметра yi для наихудшего случая.
Для схемы, характеризуемой m выходными параметрами, процедуры 2 и 3 выполняются m
раз (каждый раз для i-го выходного параметра).
Если число внутренних параметров равно при этом n, то проведение анализа чувствительно-
сти (т.е. процедуры 1) методом приращений требует n+1 обращения к модели схемы.
Всего для проведения анализа на наихудший случай потребуется m+n+1 обращение к моде-
ли схемы.

12.4. Статистический анализ

12.4.1. Постановка задачи

Целью анализа является определение процента выхода годных схем, соответствующих ТЗ


при данном конкретном разбросе параметров ∆X.
Статистический анализ схемы сводится к расчету вероятности Р(х) того, что вектор внутрен-
них параметров Х, определяющий состояние схемы в момент ее изготовления, находится в облас-
ти работоспособности G(x).
Исходной информацией для статистического анализа являются характеристики законов рас-
пределения внутренних параметров Х, а результатом расчета — характеристики законов распреде-
ления выходных параметров У.
51 Конспект лекций по САПР

12.4.2. Метод статистических испытаний (метод Монте-Карло)

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


внутренние параметры схемы Х моделируются по заданному случайному закону.
Алгоритм статистического анализа схем методом Монте-Карло представлен на рис. 12.1.

Моделирование входных парамет-


ров по случайному закону

Расчет схемы

Обработка результатов очередного


испытания

да
k≤N

нет

Построение гистограмм

Рис.12.1

Здесь N — запланированное число статистических расчетов; k — номер очередного расчета


схемы или испытания.

13. КРИТЕРИИ ОПТИМАЛЬНОСТИ

13.1. Особенности задач технической оптимизации

13.1.1. Область применения задач оптимизации

Оптимизация состоит в определении такой совокупности внутренних параметров схемы


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

13.2. Общие сведения о критериях оптимальности

13.2.1 Частные критерии оптимальности

В простейшем случае в качестве критерия оптимальности F(x), где х — вектор внутренних


параметров схемы, выбирается один из выходных параметров схемы fj(x) и подвергается оптими-
зации (максимизации или минимизации) при наложении ограничений на остальные выходные па-
раметры fi(x), i≠j. В этом случае он называется частным критерием оптимальности.

13.2.2. Детерминированные критерии оптимальности

Частные критерии являются детерминированными, т.е. критериями, при формировании ко-


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

13.2.3. Статистические критерии оптимальности

Статистические критерии оптимальности основаны на использовании статистических ха-


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

13.2.4. Критерии последовательного принятия решений

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


принимаемое решение всегда представляет собой компромисс, в котором предпочтение отдается
тому варианту схемы, которые, не являясь наверняка оптимальным ни по одному из выходных па-
раметров, оказывается приемлемым по всей совокупности выходных параметров. Решение о кри-
терии оптимальности можно принимать последовательно по ходу оптимизации, используя полу-
чаемую информацию и формируя последовательно изменяемый или уточняемый критерий.
Метод последовательных уступок заключается в следующем. Выходные параметры ран-
жируются в порядке убывающей важности. Для определенности будем полагать, что каждый из
них нужно обратить в максимум. Если критерий требует не максимизации, а минимизации, доста-
точно изменить его знак на противоположный. Сначала одним из методов оптимизации максими-
зируется первый по важности выходной параметр f1(x), затем назначается, более или менее произ-
вольно, "уступка" ∆f1(x) в этом выходном параметре, которую мы согласны допустить, чтобы мак-
симизировать следующий выходной параметр. Налагаем на первый выходной параметр f1(x) огра-
ничение, чтобы он был не меньше fмакс(x)-∆f1(x) и при этом граничном условии максимизируем
f2(x). Снова назначаем "уступку" ∆f2(x) теперь уже для выходного параметра f2(x), за счет чего об-
ращаем в максимум следующий выходной параметр f3(x) и т.д.
53 Конспект лекций по САПР

13.2.5. Обобщенные критерии оптимальности

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

13.2.6. Классификация критериев оптимальности

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


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

13.3. Формальные обобщенные критерии оптимальности


13.3.1. Нормирование выходных параметров

При формировании формальных обобщенных критериев возникает задача преобразования


Классификация критериев оптимальности

По форме По способу По способу По участию По способу


критерия оп- учета вых. па- свертки в проектиров- принятия ком-
тмальности раметров и ог- скалярный щика промиссного
раничений критерий решения

Человеко- Априор-
Детермини- Частные с Формаль-
машинные ная одно-
рованные в учетом ог- ные обоб-
или диа- временная
форме ча- раничений щенные:
логовые свертка в
стных кри- аддитивные
скаляр
териев и мультип-
ликативные
Детермини-
Апостери-
рованные в Обобщен-
орные по-
форме ха- ные: вклю-
следова-
рактери- чающие в Максимин- Автома- тельные
стик себя огра- ные и ми- тические методы
ничения на нимаксные принятия
Статиче- выходные
решения
ские параметры

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

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

13.3.2. Учет ограничений

Ограничения, накладываемые на внутренний параметры схемы (параметры транзисторов,


сопротивлений, емкостей и т.п.), называются параметрическими и образуют допустимую область
изменения внутренних параметров {}, которой должен принадлежать вектор внутренних парамет-
ров х. Они носят характер либо численных равенств
xi=c (13.2)
либо численных неравенств
a≤xi≤b (13.3)

Учет ограничений производится методами условной оптимизации. К ним относятся мето-


ды возможных направлений, методы проекции градиентов и др. Ограничения на выходные па-
раметры G(x) определяют область допустимых решений или область работоспособности и подраз-
деляются следующим образом.
Ограничения на выходные параметры gi(x), не входящие в критерии оптимальности, на-
зываются функциональными.
Ограничения на выходные параметры fi(x), вошедшие в критерий оптимальности F(x),
обычно называются критериальными и учитываются уже при формировании самого критерия оп-
тимальности F(x) одним из способов. Эти ограничения на управляемые выходные параметры мо-
гут иметь вид неравенства
fi+(x)≥TTi (13.5)

где fi+(x) — i-й выходной параметр, для которого желательно максимальное увеличение.
TTi — значение технического требования, предъявляемое к i-му выходному параметру;
или не равенства:
fi-(x)≤TTi (13.6)

Если выходной параметр fi-(x) требуется минимизировать.

Обобщенные критерии аддитивного типа

В аддитивных критериях целевая функция формируется в результате сложения нормирован-


ных выходных параметров с учетом или без учета ограничений на них.
Например, критерий максимальной суммы нормированных выходных параметров имеет вид:
m
F ( x) = ∑ a i f i ( x) (13.7)
i =1

m — число учитываемых критериев выходных параметров, а весовые коэффициенты аі


имеют «+» знак, если выходной параметр fi+(x) необходимо максимизировать, и «-» знак, если fi-
(x) должен подвергаться минимизации.
Если в (13.7) должны учитываться ограничения типа (13.5) или (13.6), то данный критерий
преобразуется в критерий:
m
F ( x) = ∑ ai ( f i ( x) − TTi ) (13.8)
i =1
55 Конспект лекций по САПР

Более удобным и чаще употребляемым является аддитивный критерий, представляющий со-


бой сумму квадратов нормированных отклонений выходных параметров fi(x) от технических тре-
бований на них TTi:
m 2
F ( x ) = ∑ a i ( f i ( x) − TTi ) (13.9)
i =1

13.3.4. Обобщенные критерии мультипликативного типа

Мультипликативные критерии представляются в виде отношения произведений нормиро-


ванных выходных параметров:
m
∏ a i f i + ( x)
i =1
F ( x) = l (13.10)
∏ a j f j − ( x)
j =1

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


имеющие ограничения вида (13.5), а в знаменателе — все выходные параметры, требующие ми-
нимизации и имеющие ограничения вида (13.6).

13.3.5. Выбор весовых коэффициентов

Весовые коэффициенты аі характеризуют во всех данных критериях важность соответст-


вующих выходных параметров fi(x) для конкретного проектировщика схемы. Чтобы уменьшить
субъективный характер выбора аі, удобно определять их в зависимости от разницы между кон-
кретным значением выходного параметра и его предельно допустимым значением (13.7).

13.4. Максиминные (минимаксные) критерии оптимальности

13.4.1. Общий вид критериев

Критерии данного вида возникли в результате желания проектировщиков на каждом шаге


оптимизации контролировать все выходные параметры, выбирать из них наихудший и именно его
улучшать до тех пор, пока какой-либо следующий выходной параметр не займет его место и не
станет наихудшим. Для этой цели используется критерий вида:
F ( x) = min[a i f i ( x)]
i∈[1, m ]
(13.12)

требующий дальнейшей максимизации и называющийся максиминным, и критерий вида:


F ( x) = max[a i f i ( x)]
i∈[1, m ]
(13.13)

требующий дальнейшей минимизации и называющийся минимаксным. Здесь m — число вы-


ходных параметров, подвергающихся оптимизации.

13.4.2. Учет ограничений

При представлении условий работоспособности в виде неравенств (13.15) или (13.16) макси-
минный критерий приводится к виду:
F ( x) = min[a i ( f i ( x) − TTi )]
i∈[1, m ]
(13.14)
56 Конспект лекций по САПР

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


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

13.4.3. Учет статистических распределений выходных параметров

При использовании максиминных (минимаксных) критериев легко производить учет стати-


стических распределений выходных параметров.
Широко используется максиминный критерий, называемый запасом работоспособности,
и имеющий вид:
  f ( x) − TTi 
F ( x) = min ai  i  (13.15)
i∈[1, m ]
  δi 
где δi — величина, характеризующая рассеяние i-го выходного параметра. в этом случае задача
расчета вектора внутренних параметров Х ставится как экстремальная задача, при решении кото-
рой на каждом шаге максимизируется минимальный запас работоспособности по i-му выходному
параметру.

13.4.4. Выбор весовых коэффициентов

При формировании максиминных (минимаксных) критериев любого вида большое значение


приобретает выбор численных значений весовых коэффициентов {}. Так как в ряде случаев требу-
ется максимизация степени выполнения заданных условий работоспособности не для всех выход-
ных параметров, то выходные параметры можно подразделять на две группы:
− параметры, для которых желательна максимальная степень выполнения условий ра-
ботоспособности;
− параметры, для которых достаточно получения любых значений запасов
работоспособности, в т.ч. близких к 0.
Для параметров первой группы принимается аі=1, а для параметров второй группы аі>>1
(практически достаточно аі=10…20).

13.5. Статистические критерии

13.5.1. Критерий процента выхода годных схем

Использование статистических критериев при оптимизации ставит своей целью получение


максимальной вероятности безотказной работы схемы.
Наиболее простым и распространенным статистическим критерием оптимальности является
процент выхода годных схем Р(х) или отношение числа годных схем к общему числу изготовлен-
ных схем.
Тогда процесс оптимизации сводится к максимизации целевой функции Р(х):
max P( x) (13.16)
x∈Dx

где Dx — область допустимого изменения внутренних параметров.

13.5.2. Критерий надежности схемы

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

Критерий надежности работы схемы характеризует вероятность того, что в течение опреде-
ленного времени выходные параметры схемы не выйдут за границы области работоспособности, и
может формулироваться следующим образом:
F ( x) = min t i
i∈[1, m ] (13.17)
где ti — технический ресурс i-го параметра, т.е. время, в течение которого выходной параметр fi(x)
находится в области работоспособности:
( f i (x ) − TTi )
ti = (13.18)
∆f i

где ∆fi — изменение i-го выходного параметра fi(х) за единицу времени.

14. МЕТОДЫ НЕПРЕРЫВНОЙ ПАРАМЕТРИЧЕСКОЙ ОПТИМИЗАЦИИ

14.1. Постановка задачи

14.1.1. Классификация задач оптимизации параметров РЭА

Параметрическая оптимизация РЭА — это процесс определения значений параметров вхо-


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

14.1.2. Общая задача нелинейного программирования (НЛП)

Под общей задачей НЛП понимается задача нахождения максимального F(X) или минималь-
ного F(X), т.е. максимизации или минимизации скалярной функции F(X) при условиях:
X = ( x1 , x 2 ,..., x n ) ∈ D x (14.1)
и
g1 = ( x1 , x 2 ,..., x n ) ≤ 0,
g 2 = ( x1 , x 2 ,..., x n ) ≤ 0, (14.2)
g m = ( x1 , x 2 ,..., x n ) ≤ 0

где gi(X) — функциональные и критериальные ограничения;


Dx — некоторая область n-мерного евклидова пространства Rn, в пределах которой до-
пустимо варьирование векторов внутренних параметров X.
Область, определяемая совместно условиями (14.1) и (14.2) обозначается G(X) и называется
областью допустимых решений или областью работоспособности.
F(X) — целевая функция.
58 Конспект лекций по САПР

14.1.3. Основные определения

[ ] T
Вектор X ∗ = x1∗ , x 2∗ ,..., x n∗ , удовлетворяющий соотношениям (14.1), (14.2) и максимизирую-
щий (минимизирующий) целевую функцию F(X), называется оптимальной или экстремальной
точкой, а соответствующее ему значение F(X*) — оптимальным значением (максимумом или ми-
нимумом) целевой функции.
Множество точек, для которых целевая функция двух переменных имеет постоянное значе-
ние, называется линией уровня функции F(X).
Если целевая функция непрерывна и дифференцируема, то существует градиент функции
F(X), определяемый как вектор-столбец из первых частных производных F(X) по Х в данной точке
Х(к):

∇F X ( (k )
) =
( ...
)
 ∂F X ( k ) ∂F X (k )  ( ) T

(14.3)

 ∂x1 ∂x n 

Известно, что градиент функции направлен в сторону наискорейшего увеличения функции,


т.е. наискорейшего подъема, и что он ортогонален линии уровня F(x), проходящей через данную
точку X(k).
Вектор, противоположный градиенту, направлен в сторону наискорейшего спуска.
Методы НЛП основаны на аппроксимации функции F(X) с помощью ряда Тейлора в окрест-
ности точки X(k):
( ) ( )( ) (
F ( x) ≈ F X (k ) + ∇ T F X (k ) ⋅ X − X (k ) + 0,5 X − X (k ) ∇ 2 F X ( k ) ⋅ X − X (k )
T
)
(14.4) ( )( )
( ) ( )
Где ∇ 2 F X (k ) = H X (k ) представляет собой квадратичную матрицу вторых частных произ-
водных целевой функции F(X), взятых в точке X(k) (матрица Гессе):

( )
 ∂ 2 F X (k ) ∂ 2 F X (k )
K
(
∂ 2 F X (k )  ) ( )
 
 ∂x1
2
∂x1 ⋅ ∂x 2 ∂x1 ⋅ ∂x n 
(
H X (k ) ) = LLLLLLLLLLLLLLLLL (14.5)
 2 
∂ F X (
(k )
)
∂ 2 F X (k )
L
(
∂ 2 F X (k )  ) ( )
 ∂x ⋅ ∂x ∂x n ⋅ ∂x 2 ∂x n2 
 n 1 

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


нулевого, первого и второго порядка.

14.1.4. Необходимые и достаточные условия существования экстремума


для задачи без ограничений

Необходимыми и достаточными условиями того, что точка Х* является точкой минимума


функции F(X) для задачи без ограничений является:
Функция F(X) дифференцируема в точке Х*;
( )
∇F X ∗ = 0 , т.е. точка Х* является стационарной точкой;
( )
H X ∗ = ∇2F X ∗ > 0 .( )
Неравенство следует понимать как положительность всех собственных значений матрицы
Гессе, т.е. матрица Гессе положительно определенная.
Для существования максимума в точке Х* матрица Гессе для F(X*) должна быть отрицатель-
но определенной.
59 Конспект лекций по САПР

14.1.5. Одноэкстремальные и многоэкстремальные функции

Целевая функция F(X) называется одноэкстремальной, если она имеет одну точку, удовле-
творяющую условиям 1)-3) и многоэкстремальной, если она имеет несколько таких точек.
Глобальным экстремумом называется точка, в которой минимизируемая (максимизируемая)
целевая функция имеет наименьшее (наибольшее) значение среди всех остальных экстремумов,
носящих название локальных экстремумов.
Методы оптимизации, основанные на предположении одноэкстремальности целевой функ-
ции F(X),называются методами локального поиска, а методы, основанные на предположении мно-
гоэкстремальности F(X) и ставящие своей целью нахождение глобального экстремума, — метода-
ми глобального поиска.
Предсказать одноэкстремальность функции F(X) можно только в том случае, если заранее
известно, что F(X) — выпукла (при минимизации) или вогнута (при максимизации) во всей облас-
ти допустимых значений X.

14.1.6. Безусловные и условные экстремумы

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

14.1.7. Классификация непрерывных методов оптимизации

Классификация непрерывных методов оптимизации

По виду По наличию По типу


целевой ограничений определяемого По методам решения
функции экстремума

Линейные Безуслов- Локальные


ные
Глобальные
Условные

Выпуклые Методы По порядку По методу По виду По ис-


штраф- использова- определе- итераций польз. ве-
ных ния произ- ния про- роятнос.
функций водных изводных з-нов
Квадратич-
Нулев.пор. Одновр. по Детер-
Методы Аналит. всем пере- мини-
барьер- менным рован.
Перв. пор.
ных
функций Покооор- Слу-
Нелинейные Втор. пор. Числен. динатные чайные
60 Конспект лекций по САПР

14.2. Методы поиска локального экстремума

14.2.1. Методы оптимизации, не использующие производных


(методы нулевого порядка)

Методы нулевого порядка простейшего типа заключаются в поочередном изменении одной


переменной, тогда как другие переменные остаются постоянными до тех пор, пока не будет дос-
тигнут минимум. Такие методы поиска называются покоординатными.
Алгоритм покоординатного спуска можно записать в виде:
xi( n +1) = xi( n ) − aQ( xi( n ) , xi( n −1) ,...), (14.6)

где n — номер итерации;


i — номер переменной;
aQ( xi( n ) , xi( n −1) ,...) — рабочий шаг
Q( xi( n ) , xi( n −1) ,...) — обычно вычисляется по формуле
Q = sign( F ( xi( n ) + ∆xi ) − F ( xi( n ) )) .

Если в этом алгоритме последовательный поиск минимума по каждой переменной обладает


глобальными свойствами, то в целом отыскивает глобальный экстремум функции F(X).
Метод конфигураций включает два основных этапа: пробные шаги вокруг базисной точки и
рабочие шаги в направлении, выбранном для минимизации.
Алгоритм метода конфигураций состоит из следующих операций. Прежде всего задается на-
чальная точка X0, а также начальное приращение ∆X. Чтобы начать пробные шаги, следует вычис-
лить значение функции F(X) в начальной точке. Затем в циклическом порядке изменяется каждая
переменная (каждый раз только одна) на выбранные значения приращений, пока все параметры не
будут таким образом изменены. В частности x1(0) увеличивается на ∆x1(0) так, что x1(1)= x1(0)+ ∆x1(0).
Если приращение не улучшает целевую функцию, x1(0) уменьшается на ∆x1(0) и значение F(x)
проверяется, как и ранее.
Если значение F(x) не улучшают ни x1(0)+ ∆x1(0), ни x1(0)- ∆x1(0), то x1(0) оставляют без измене-
ний.
Затем x2(0) изменяют на величину ∆x2(0) и т.д., пока не будут изменены все независимые пе-
ременные. Этим завершается пробный поиск.
После пробного поиска применяется стратегия рабочего поиска. Удачные изменения пере-
менных в пробном поиске (т.е. те изменения переменных, которые уменьшили F(x)) определяют
вектор, указывающий локальное направление минимизации, которое могут быть удачным. Серия
увеличивающихся шагов, или рабочий поиск, проводится этого вектора, до тех пор, пока F(x)
уменьшается при каждом таком шаге. Длина рабочего шага обычно выбирается пропорциональ-
ной числу удачных шагов, имевших место ранее в этом координатном направлении.
Если пробный поиск не дает удачного направления, то последовательно уменьшают шаги
∆Х, пока либо будет найдено новое удачное направление, либо ∆Хn не станет меньше некоторой
заранее заданной допустимой величины ε. Невозможность уменьшить целевую функцию F(x), ко-
гда шаг ∆Х достаточно мал, указывает на то, что достигнут локальный оптимум.
Описанный метод конфигураций весьма просто реализуется на практике и обладает преиму-
ществами: хорошо отслеживает овраги как прямолинейные, так и криволинейные, и, не требуя
вычисления производных, обладает высокой скоростью сходимости.

14.2.2. Методы оптимизации, использующие первые производные


(методы первого порядка)

В основе методов этого класса лежит итерационный процесс типа


X (k +1) = X (k ) + α ( k ) ⋅ P (k ) (14.8)
61 Конспект лекций по САПР

где Х — вектор внутренних параметров;


Р — вектор направления поиска;
α — скаляр, определяющий длину шага в направлении Р;
k — номер итерации.
В зависимости от выбора значений α(к) и вектора Р(к) можно получить различные алгоритмы
оптимизации. При этом для обеспечения минимизации оптимизируемой целевой функции F(X)
необходимо выполнить условие:
( ( ) )
F ′ X (k ) , P (k ) < 0 , (14.9)

вытекающее из разложения функции F(X) в окрестности точки


X = X (k ) + α (k ) ⋅ P (k ) в ряд Тейлора.
Наиболее популярным в классе методов, определяемых выражением (14.8), являются гради-
ентные методы, характеризуемые алгоритмом:
X (k +1) = X (k ) − α (k ) ⋅ ∇F ( X (k ) ) , α (k ) > 0 , k = 0,1,2,... (14.10)

Градиент целевой функции ∇F(X) в любой точке Х(к) есть вектор в направлении наибольшего
локального увеличения F(X). Следовательно, при поиске минимума нужно двигаться в направле-
нии, противоположном градиенту F(X), поскольку антиградиент F(X) в точке Х(к) направлен в сто-
рону наибольшего уменьшения F(X) по всем переменным Х и ортогонален линии уровня F(X) в
точке Х(к).
Антиградиент дает только направление минимизации, но не длину шага. Известно очень
большое число различных модификаций градиентного метода в зависимости от выбора значения
α(к).
Одной из самых распространенных является та, в которой α(к) выбирается из условия мини-
мума F(X) в направлении вектора Р(к) , т.е. из условия
( ( )) ( ( ) (
F X − α ( k ) ⋅ ∇F X (k ) = min F X (k ) − α ⋅ ∇F X ( k ))) (14.11)
α ≥0

Этот вариант градиентного метода называется методом наискорейшего спуска.


Поскольку один шаг в направлении наискорейшего спуска в общем случае не приводит в
точку минимума F(X), формула (14.11) должна применяться несколько раз, до тех пор, пока мини-
мум не будет достигнут.
Последовательность значений Х(к) в градиентных методах сходится к точке минимума со
скоростью геометрической прогрессии. Знаменатель этой прогрессии зависит от способа выбора
значения α(к). Обычно применяются два общих метода. В первом методе при переходе из точки Х(к)
в точку Х(к+1) целевая функция минимизируется по α (14.11), в другом методе значение α выбира-
ется фиксированным или меняется от шага к шагу.
(k )
В первом методе α опт , минимизирующее значение F(X) в направлении ∇F(X), вычисляется в
простейшем случае методом последовательных приращений ∆ α(к) с вычислением F(X) в каждой
точке Х(к) и проверкой условия
( ) ( )
F X (k +1) − F X ( k ) > 0 .
При выполнении этого условия производится вычисление нового направления спуска и по-
(k )
иск нового значения α опт . Так как здесь ищется Fмин по α в направлении ∇F(X(к)), то поиск можно
ускорить, используя процедуру одномерной оптимизации по а, в частности, процедуру «золотого
сечения», основанную на свойствах ряда чисел Фибоначчи.
62 Конспект лекций по САПР

14.2.3. Методы оптимизации, использующие вторые производные


(методы второго порядка)

Если в градиентных методах используется только линейный член разложения F(X) в ряд
Тейлора (линейная аппроксимация целевой функции), то в методах второго порядка, среди кото-
рых наиболее известен метод Ньютона, используется также и квадратный член этого разложения
(квадратичная аппроксимация целевой функции) (14.4).
Минимум функции (14.4.) в направлении ∆Х(к) определяется дифференцированием F(X) по
каждой из переменных ∆Х и приравниванием нулю полученных выражений. Это приводит к вы-
ражению:
−1
(
∆X (k ) = − ∇ 2 F X (k ) ∇F X (k ) ,( )) (14.12)( )
( (
где ∇ 2 F X (k )))
−1
— матрица, обратная матрице Гессе Н(Х(к)).
Подстановка (14.12) в (14.4) определяет переход из точки Х(к) в точку Х(к+1) по обобщенному
методу Ньютона:
(−1
X (k +1) = X ( k ) − ∇ 2 F X (k ) ∇F X (k ) ( )) ( )
(14.13)
X ( k +1)
=X (k )
−α ∗( k )
H −1
(X (k )
)∇F (X ( ) )
k
(14.14)

Можно считать, что в этом алгоритме реализуется градиентный метод с автоматической ре-
( )
гулировкой обобщенного шага α ∗(k ) H −1 X (k ) . Выбор значений α ∗(k ) производится так же, как и в
градиентном методе.
Одной из модификаций метода Ньютона является метод сопряженных градиентов, в котором
поиск организуется вдоль векторов, являющихся сопряженными.
Понятия Q-сопряженности векторов C и B при заданной матрице Q основано на соблюдении
условия равенства нулю скалярного произведения:
<C, QB>=0,
где Q – квадратная матрица того же порядка, что и размерность векторов C и B.
Алгоритм метода сопряженных градиентов строится следующим образом:
1. В точке X(0) вычисляется градиент целевой функции и определяется первое направление
поиска: S ( 0 ) = −∇F ( X ( 0 ) ) .
2. На любом k-м шаге с помощью одномерного поиска в направлении S(k) находится минимум
целевой функции F(X). Это определяет новую точку поиска X(k+1)
3. В новой точке поиска определяется целевая функция F(X(k+1)) и градиент целевой функции
∇F ( X ( k +1) ) .
4. Новое направление поиска определяется из соотношения: S ( k +1) = −∇F ( X ( k +1) ) + S ( k )ϖ R , где
ϖ R = (∇ Τ F ( X ( k +1) )∇F ( X ( k +1) )) /(∇ Τ F ( X ( k ) )∇F ( X ( k ) )) .
a. Определяется из условия сопряженности направлений поиска S(k+1) и S(k).
b. После (n+1)-й итерации (k=n) процедура поиска циклически повторяется с заменой
X(0) на X(n+1).
5. Поиск заканчивается, когда S ( k ) < ε , где ε – заданная заранее константа.

14.3. Методы поиска глобального экстремума

14.3.1. Постановка задачи

Для многоэкстремальной функции F(X) зоной притяжения Si любого экстремума X i* называ-


ется та часть пространства параметров X, где выполняются следующие условия:
− экстремум X i* принадлежит этой зоне, т.е. X i* ∈ S i ;
63 Конспект лекций по САПР

− все антирадиентные линии этой зоны сходятся в точку экстремума X i* .


Зоной глобальности S** является такая часть зоны притяжения S* глобального экстремума
**
X , в которой значения целевой функции меньше, чем в остальных локальных экстремумах.
Чем меньше S**, тем больше затраты на поиск.
Рассмотренные зоны характеризуются объемами:
Vi=V(Si), V*=V(S*), V**=V(S**), где
Vi – объем зоны притяжения i–го экстремума X i* ;
V* - объем зоны притяжения глобального экстремума;
V** - объем зоны глобальности.
Величины V1,V2,…,VN,V*,V** определяют степень сложности отыскания глобального решения
в данной задаче.
В одноэкстремальной задаче выполняется условие V1=V*=V** (N=1).
Многоэкстремальная характеризуется соотношениями объемов: V*>V**<<V0, где V0 – объем
зоны поиска.
Задачу поиска глобального экстремума можно сформулировать различным образом:
1) при
) **
заданном объеме испытаний K найти оценку положения глобального экстремума
X , такую, чтобы она в наименьшей степени отличалась от действительного поло-
)
жения глобального экстремума X**, т.е. X ** − X ** → min ;
)
2) при заданном объеме испытаний K найти оценку X ** , такую чтобы значение целевой
функции в этой точке в наименьшей степени отличалось от глобального, т.е.
)
F ( X ** ) − F ( X ** ) → min ;
)
3) определить оценку положения глобального экстремума X ** с точностью не меньше
)
заданной ε > X ** − X ** , затратив на это минимальное число испытаний; K → min ;
)
4) определить оценку X ** , целевая функция в которой отклоняется от глобального зна-
)
чения на значение не более заданного ε > F ( X ** ) − F ( X ** ) при минимальном числе
испытаний; K → min .

14.3.2. «Независимый» глобальный поиск

Методы этого типа имитируют независимую случайную выборку в соответствии с заданным


законом распределения.
Простейшим «независимым» алгоритмом «слепого» глобального поиска является совершен-
но случайный перебор, который сводится к следующему.
На каждом шаге в соответствии с заданной плотностью распределения Р(Х) независимо и
случайно определяется вектор Xi, вычисляется целевая функция, соответствующая этому вектору
F(Xi), и полученное значение сравнивается с хранимым в памяти значением F0.
Если F(Xi)≥ F0, то производится очередной случайный эксперимент, если F(Xi)< F0, то новое
значение целевой функции F(Xi) запоминается в качестве F0, также, как и вектор Xi, который соот-
ветствует этому улучшению целевой функции. После этого делается очередной случайный экспе-
римент.

14.3.3. Случайный поиск с управлением плотностью испытаний

Недостаток предыдущего метода заставил обратиться к изменению плотности распределе-


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

14.3.2. «Блуждающий» глобальный поиск

«Блуждающий» глобальный поиск является статистическим расширением детерминирован-


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

14.4. Методы учета ограничений

14.4.1. Метод внешней штрафной функции

Если задача оптимизации ставится в постановке (14.1), (14.2), то идея внешних штрафных
функций сводится к замене исходной целевой функции F(X) функцией Ф(X), которая макси-
мально совпадает с функцией F(X) в области работоспособности G(X) при выполнении всех огра-
ничений и существенно превосходит ее вне этой области. Таким образом, нарушение ограничений
карается наложением штрафа на целевую функцию, приводящего к ее ухудшению:
Φ( X ) = F ( X ) + Θ k ( X ) ,
в качестве штрафа выбирается функция:
m
Θ k ( X ) = γ k ∑ [max{0, g i ( X )}] ,
2

i =1

где коэффициент γ k > 0 определяет размер штрафа.


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

14.4.2. Метод внутренней штрафной функции

В другом варианте метода штрафные функции носят характер барьерных функций, не позво-
ляющих траектории поиска покидать область работоспособности.
Этот метод носит также название метода барьерных функций или метода внутренней точки.
Здесь новая целевая функция формируется следующим образом:
Φ( X ) = F ( X ) − Θ k ( X ) ,
m
где Θ k ( X ) = −γ k ∑ (1 / g i ( X )) , γk >0
i =1
Начальная точка X0 должна быть выбрана в области работоспособности. Если траектория
поиска приближается к границе области, начинает стремиться к 0 какое-либо из ограничений gi(X),
в результате чего неограниченно возрастает по абсолютному значению барьерная функция
Θ k ( X ) , что не позволяет траектории поиска приближаться к границам области
Рекомендуется решать последовательность задач безусловной минимизации Φ ( X ) с моно-
тонно уменьшающимися коэффициентами γ k . Эта последовательность минимумов Φ ( X ) сходит-
ся к минимуму целевой функции F(X).
65 Конспект лекций по САПР

15. ОСНОВЫ ДИСКРЕТНОЙ ОПТИМИЗАЦИИ

15.1. Постановка задачи

Постановка задачи дискретной оптимизации вытекает из общей задачи математиче-


ского программирования (14.1.), (14.2.) для случая, когда
X = ( x1 , x 2 ,..., x n ) ∈ D x (15.1)

где множество Dx не является связным, например, может быть конечным либо счетным
множеством.
Наиболее распространенными задачами дискретной оптимизации являются целочис-
ленные задачи линейного программирования, т.е. задачи, в которых критерий оптимальности
F(x) - линейная функция переменных х1, х2, ..., хn, а на сами переменные х1, х2, ..., хn либо на часть
их наложено дополнительное требование целочисленности. Тогда (15.1.) называется условием
дискретности либо частичной дискретности.
В задачах дискретной оптимизации область допустимых значений (или об-
ласть работоспособности) Dx является невыпуклой и несвязной. При проектировании
технических объектов условия дискретности подразделяются по отдельным переменным
Таким образом, что
x j ∈ D j , j = 1,2,..., k (15.2)

где k≤n, а все Dj - конечные (либо счетные) множества, содержащие не менее


двух элементов.
Если k=n, это соответствует полностью дискретной задаче, а если k<n - частично дис-
кретной задаче.
Простейшим случаем определения условного экстремума на конечном множестве является
случай, кода k=n, а все Dj - конечные множества.

15.2. Классификация основных задач дискретной оптимизации

15.2.1. Транспортные задачи

К этому классу задач относятся задачи, на которых формально требование целочислен-


ности не накладывается, однако на практике они всегда имеют целочисленное решение при
любых целочисленных исходных данных.
Постановка транспортной задачи заключается в следующем.
Имеется i=1, 2,..., m поставщиков некоторого определенного продукта и j=1, 2, ..., n пунк-
тов его потребления. Для каждого i-го пункта производства задано ai - объем производства, а для
каждого j-го пункта потребления задано bj - объем потребления. Также задано cij - затраты на пе-
ревозку единицы продукта от i-го пункта производства до j-го пункта потребления.
Обычно производство и потребление сбалансированы, т.е. соблюдается условие
m n

∑ ai = ∑ b j
i =1 j =1
(15.3)

Требуется составить план перевозок Таким образом, чтобы он:


а) не превышал предел производительности поставщиков;
б) полностью обеспечивал всех потребителей;
в) давал минимум суммарных затрат на перевозку.
Если обозначить через xij объем перевозок от i-го поставщика к j-му
потребителю, где
xij≥0 (15.4)
66 Конспект лекций по САПР

то условия а)-в) запишутся соответственно как


n

∑x
j =1
ij = ai i = 1,2,..., m (15.5)
m

∑x
i =1
ij = bj j = 1,2,..., n (15.6)
m n

∑∑ c
i =1 j =1
ij xij → min (15.7)

и решение задачи сводится к минимизации (15.7.) при учете ограничений (15.4.)-(15.6.),


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

15.2.2. Задачи с неделимыми

Одной из наиболее распространенных задач является задача целочисленного линейного


программирования, т.е. такая задача ЛП, в которой на все переменные (или часть их) наложено
дополнительное требование целочисленности. Наиболее характерной задачей данного типа яв-
ляется широко известная задача о ранце. Задача ставится следующим образом: имеется n пред-
метов (j=1, 2, ..., n) и заданы величины aj - веса каждого j-го предмета, cj - ценности каждо-
го j-го предмета. Необходимо ранец грузоподъемности А загрузить набором предметов, имею-
щих максимальную суммарную ценность.
Задача математически сводится к задаче максимизации
n

∑c j =1
j x j → max (15.8)

Если переменные xj введены следующим образом:

xj = 1, если j-й предмет подлежит загрузке,


0, в обратном случае, j=1, 2, ..., n (15.9)

При этом должно выполняться условие


n

∑a
j =1
j xj ≤ A (15.10)

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

15.2.3. Задачи комбинаторного типа

В задачах этого типа ищется экстремум некоторой целочисленной функции, заданной


на конечном множестве, или сами переменные, принадлежащие этому конечному множеству и
приводящие к экстремуму данной целевой функции.
Наиболее общей и распространенной задачей комбинаторного типа является задача ком-
мивояжера, которая заключается в следующем. Имеется n+1 город, причем номером 0 обозначен
исходный город, выехав из которого, коммивояжер должен побывать по одному разу в каждом
67 Конспект лекций по САПР

из n городов и вернуться в исходный город с номером 0. Расстояние между i-м и j-м городом обо-
значается cij. Тогда c=[cij] представляет собой матрицу расстояний между городами. Задача за-
ключается в том, чтобы установить порядок объезда городов, при котором суммарный путь,
пройденный коммивояжером, будет минимальным.
Наиболее употребимая формулировка данной задачи сводится к следующему виду:
Вводятся переменные
хij = 1, если коммивояжер из i-го города переезжает в j-й город; (15.11)
0 в противном случае;
здесь i,j=0, 1, 2, ..., n.
Рассматривается задача минимизации
n n

∑∑ c
i =0 j =0
ij xij → min (15.12)

при условиях
n

∑x
i =1
ij = 1, j=1, 2, ..., n (15.13)
n

∑x
j =1
ij = 1, i=0, 1, 2, ..., n (15.14)

u i − u j + nxij ≤ n − 1 , i,j=1, 2, ..., n, i≠j (15.15)

Условия (15.13) свидетельствуют о том, что коммивояжер выезжает из каждого города


(кроме конечного) ровно один раз; аналогично (15.14) показывают, что коммивояжер
въезжает в каждый город (кроме начального) ровно один раз.
Переменные ui, uj - целые неотрицательные переменные, ui=p, если i-й город посещает-
ся коммивояжером на р-м шаге объезда, p=1, 2, ...,n. Тогда для всех xij=0 следует, что ui-uj<=n-1 и
условия (15.15) выполняются. При xij=1 условия (15.15) превращаются в равенства
ui-uj+nxij=p-(p+1)+ n=n-1.
Условие (15.15) вводится для устранения возможности распадения пути коммивояжера на
несколько не связанных между собой подциклов.
К комбинаторным задачам относится и задача о покрытиях, общая постановка которой
сводится к следующему.
Имеется конечное множество S = {σ 1 , σ 2 ,...σ m } и некоторое конечное семейство
его подмножеств Sj, j=1, 2, ..., n
Требуется найти минимальное покрытие множества S, т.е. минимальный набор подмно-
жеств Sj такой, что любой элемент множества S принадлежит хотя |бы одному из выделяемых
подмножеств.
Задача формализуется следующим образом.
Вводится матрица инциденций A=[aij], где
Ai j= 1, если σi∈Sj
0 в противном случае (15.16)
Вводятся булевы переменные xj, j=1, 2, ..., n, имеющие смысл
xj = 1, если Sj войдет в покрытие
0 в противном случае (15.17)
Нахождение минимального покрытия в данном случае сводится к задаче миними-
зации
n n
∑ x j → min либо ∑ c j x j → min (15.18)
j =1 j =1

(второе выражение справедливо для взвешенной задачи о покрытии, где cj - заданные дей-
ствительные числа) при условии
68 Конспект лекций по САПР

∑a
j =1
ij x j ≥ 1 , i=1, 2, …, m (15.19)

15.2.4. Задачи на невыпуклых и несвязных областях

Эти задачи включают в себя модели, в которых к обычным условиям задачи ЛП присое-
динены некоторые дополнительные условия, превращающие область допустимых решений Dx в
невыпуклую или несвязную.
В теории дискретной оптимизации разработаны специальные приемы, позволяющие све-
сти эти задачи к частично целочисленным задачам ЛП.
Простейшим примером такого рода является введение дополнительных ограничений
на переменные x1 и x2, например x1x2=0, x1+x2≥1, которые, будучи присоединены к условиям не-
отрицательности этих переменных в задаче ЛП, дают несвязную область, изображенную на рис.
15.1.

0 Х1
1

Рис.15.1.

15.2.5. Задачи с разрывной целевой функцией

Из задач этого типа наиболее важной и изученной является т.н. транспортная задача с
фиксированными доплатами. Она отличается от обычной транспортной задачи тем, что мини-
мизируемая функция (15.7.) имеет вид:

∑∑ c (x ) → min
m n

ij ij (15.23)
i =1 j =1

cij (xij ) = 0, если xij=0


cij xij + d ij , если xij>0 (15.24)
Здесь cij также интерпретируется как затраты на перевозку груз из пункта i в пункт j, а
dij, например, как плата за аренду транспортных средств, не зависящая от их загрузки. Из-за вве-
дения этих дополнительных слагаемых в (15. 24) имеем разрывность каждого слагаемого в нуле.

15.3. Методы дискретной оптимизации

15.3.1. Методы отсечения

Эта группа методов основана на "регуляризации" задачи, достигаемой за счет временного


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

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


результате первого шага (получение оптимума без учета требований целочисленности) по-
лучено нецелочисленное решение, то к ограничениям исходной задачи добавляется новое линей-
ное ограничение, обладающее двумя свойствами:
1) полученное нецелочисленное решение ему не удовлетворяет;
2) любое целочисленное решение ему заведомо удовлетворяет.
Затем решается полученная расширенная задача (второй шаг), в случае получения
опять нецелочисленного решения добавляется еще одно ограничение и т. д. Процесс повторяется
до получения решения, обладающего нужными свойствами целочисленности.
Таким образом, решение целочисленной задачи ЛП сводится к решению некоторой
последовательности обычных задач ЛП.
Геометрически добавление каждого такого линейного ограничения соответствует
проведению гиперплоскости, отсекающей от многогранника решений "регуляризованной" задачи
старую оптимальную точку с дробными координатами, но и не затрагивающей ни одного из цело-
численных точек этого многогранника.

15.3.2. Методы ветвей и границ

Методы ветвей и границ относятся к группе комбинаторных методов, основную идею ко-
торых составляет замена полного перебора всех решений их частичным перебором, что осуще-
ствляется отбрасыванием некоторых подмножеств вариантов, т.е. допустимых решений, заведомо
не дающих оптимума; перебор при этом ведется лишь среди остающихся вариантов, яв-
ляющихся в определенном смысле "перспективными".
Таким образом, основная идея всех методов ветвей и границ базируется на исполь-
зовании конечности множества вариантов и переходе от полного перебора к сокращенному (на-
правленному) перебору.
В основе методов ветвей и границ лежат следующие основные алгоритмы, позволяю-
щие уменьшить объем перебора.
1. Вычисление нижней границы (оценки) значений целевой функции f(x) на исходном мно-
жестве G (или на некотором его подмножестве). т.е. такого ϕ (G ) , что для X∈G имеет место
f(х)≥φ(G).
2. Последовательное разбиение (или ветвление) множества решений G на постепенно
уменьшающиеся подмножества, т.е. образование дерева решений.
3. Пересчет оценок. Разбивая в процессе решения исходное множества G на подмножества
G1, G2, ..., Gs всегда будем считать, что оценка (граница) для любого подмножества
Gi не меньше оценки для множества G: ϕ (Gi ) ≥ ϕ (G ) , i=1, 2, ...,s.

15.3.3. Аддитивные методы

Аддитивные методы базируются на алгоритмах Балама и их модификациях для решения


задач целочисленного ЛП с булевыми переменными.
Задача в канонической матричной форме записывается в виде: минимизировать
f=cx (15.27)
при условиях
AX+Y=B (15.28)
x j= 0,
1, j∈Ν (15.29)
Y≥0 (15.30)
где У - m-мерный вектор свободных переменных.
В данном алгоритме подобным планом называется любой (n+m)-мерный вектор U(X,Y),
удовлетворяющий (15.28), (15.29). Пробный план называется планом, если он удовлетворяет
70 Конспект лекций по САПР

также и (15.30) и план называется оптимальным, если он удовлетворяет (15.27). Сформулиро-


ванная выше задача имеет 2n пробных планов.
Основная идея адаптивного алгоритма заключается в получении оптимального плана в
результате рассмотрения не всех 2n пробных планов, а лишь некоторого их подмножества.
Для пояснения сущности метода вводятся понятия.
Частичным q-планом называется набор, состоящий из q фиксированных допустимых
переменных (0 или 1).
Под дополнением частичного q-плана понимается набор допустимых значений для ос-
тальных n-q переменных.
Если оказывается, что некоторый конкретный частичный q-план не имеет допол-
нения, приводящего к меньшему значению целевой функции f, то из рассмотрения
можно исключить 2n-q допустимых планов, продолжив поиск среди остальных.
Таким образом, аддитивный алгоритм заключается в построении последовательности
частичных планов (q=0, q=1, q=2 и т.д.) и в исключении некоторых подмножеств их дополнений.

15.3.4. Метод динамического программирования

Идея метода динамического программирования имеет приложение для задач теории


расписаний.
Рассмотрим один из частных случаев теории расписаний и применение к нему алгоритма
Джонсона, основанного на методах динамического программирования.
Допустим, имеются 2 сборщика и n схем, каждая из которых должна собираться сначала
первым, а потом вторым сборщиком. Время работы над i-й схемой (i=1, 2, ..., n) для первого
сборщика составляет ai, а для второго - bi. Требуется найти такое расписание, т.е. так составить
последовательность сборки схем, чтобы минимизировать общее время сборки всех схем. При
этом полагается, что последовательности сборки схем первым и вторым сборщиком совпадают.
Искомое расписание тогда представляет собой перестановку (i1, i2, ..., in) чисел 1, 2, ...,n, миними-
зирующую время от начала сборки последней схемы in вторым сборщиком.
Идея получения оптимального расписания согласно алгоритму Джонсона состоит в
стремлении максимально сократить простой второго сборщика. На первом шаге алгоритма сре-
ди чисел (а1, а2, ...,аn, b1, b2, ..., bn) находится наименьшее tмин1 (1 - номер первого шага). Если
таких чисел несколько, берется произвольное из них. Если tмин1=ai, то полагаем i=i1, т.е. поме-
щаем i-ю схему на первое место в расписание, если же tмин1=bi, то полагаем i=in, т.е. поме-
шаем i-ю схему на последнее место в расписании. Затем вычеркиваем i-ю схему (т.е. числа ai и
bi) из списка.
Таким образом, перебираем все числа в списке (а1, а2, ...,аn, b1, b2, ..., bn) и каждый раз
ставим соответствующую i-ю схему на первое из мест, еще не занятых на предыдущих k-1 ша-
гах, если на k-м шаге tминk=ai или на последнее из незанятых мест в расписании, если tминk=bi.
последнюю оставшуюся схему помещаем на единственное оставшееся в расписании место.

15.4. Задачи и методы синтеза в САПР

15.4.1. Классификация задач синтеза

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

Параметрический синтез имеет своей целью определение области работоспособности


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

15.4.2. Методы параметрического синтеза

Параметрический синтез объектов с непрерывно изменяющимися параметрами базиру-


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

15.4.3. Задачи структурного дискретного синтеза, их классификация


по уровню сложности

Для решения задач структурного синтеза необходимо:


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

15.4.4. Методы структурного дискретного синтеза

Для строго решения задачи структурного дискретного синтеза необходим полный


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

нальная схема и конструкции блоков, на четвертом уровне - наиболее мелкие функциональные и


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

16. КОНСТРУКТОРСКОЕ ПРОЕКТИРОВАНИЕ

16.1. Постановка задачи

На этом этапе конструкторского проектирования радиоэлектронной аппаратуры (РЭА)


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

16.2. Модели конструкций и схем

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


соответствуют габаритным размерам схемы k-го уровня иерархии.
Поскольку задачи конструкторского проектирования связаны с оценкой длины соединений,
то в монтажном пространстве задаются различные метрики. Например, расстояние dij между i-м и
j-м компонентами схемы определяют следующими способами:
d (1) = (x − x )2 = ( y − y )2
 IJ j i j i
 (2 )
d IJ = x j − xi + y j − yi (16.1)
 s s
d IJ(3 ) = x j − xi + y j − yi

73 Конспект лекций по САПР

16.3. Алгоритмы компоновки

Задача компоновки элементов устройства в блоки обычно ставится как задача оптимального
разбиения (разрезания) устройства, для которого задана функциональная, логическая или принци-
пиальная схема. Это значит, что известен набор элементов и их соединения в проектируемой ап-
паратуре. Необходимо разбить заданное множество элементов А на множество R групп элементов
Аi, таких, что:
N
R = {Ai ∈ A, i = 1,2,...N }, U Ai = A , Ai I Aj = ∅ (i≠j) (16.3)
i =1

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

16.4. Алгоритмы размещения

После компоновки элементов радиоэлектронных устройств (РЭУ) требуется осуществить для


каждого стандартного или уникального блока оптимальное размещение элементов в регулярном
или нерегулярном монтажном пространстве.
В общем случае нужно найти на множестве позиций монтажного пространства блока такое
размещение компонентов {T1 , T2 ,...Tn }i , принадлежащих этому блоку, при котором достигается
минимум заданного критерия качества размещения L, выраженного с использованием соотно-
шений (16.1).
В задачах размещения используются следующие критерии качества:
1. Минимальная суммарная длина соединительных проводников.
2. Минимальная длина проводников, соединяющих две наиболее удаленные точки
каждой цепи.
3. Минимальная длина проводников, соединяющих источник сигнала с наиболее уда-
ленной нагрузкой.
4. Минимальная суммарная площадь зон реализации всех цепей.
5. Минимальное число проводников, длина которых превышает заданную величи-
ну.
6. Минимальная наибольшая длина соединительных проводников.
7. Максимально близкое размещение компонентов, имеющих наибольшее число об-
щих цепей, с учетом допустимого расстояния между элементами.
В регулярном монтажном пространстве с числом позиций m при наличии в схеме n
компонентов (n<=m), каждый из которых занимает одну позицию, число возможных размещений
m!
N p (m, n ) = n!Cmn = (16.6)
(m − n)!

Конструктивные алгоритмы формируют размещения, начиная от некоторого заданного


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

16.5. Алгоритмы трассировки

Задача трассировки состоит в построении соединений между выводами размещенных в


заданном монтажном пространстве элементов в соответствии с принципиальной схемой уст-
74 Конспект лекций по САПР

ройства при учете конструктивных ограничений. Обычно трасса формируется в виде множества
связанных отрезков, соединяющих элементарной цепи.
При решении задачи трассировки используются следующие критерии и условия:
1. Минимальная суммарная длина соединений.
2. Минимальное число соединений, длина которых превышает заданное значение.
3. Минимальное число переходов между слоями.
4. Минимальное число слоев.
5. Минимальные паразитные помехи.
6. Максимальная удаленность трасс соединений.
7. Число слоев не превышает заданного значения.
8. Длина соединения не превышает заданного значения.
9. Уровень помех, наводимых в каждой трассе, не превышает допустимого значения.
10. Число соединений (паек) к одному выводу не превышает заданного значения.
11. Задается преимущественное направление трасс в каждом слое.
При проектировании многослойных структур отдельно решается задача оптимально-
го расслоения, в которой минимизируется показатель
z M −1 M

∏= ∑ ∑ ∑π
ϑ =1 k =1 S = k +1
ks δ ksϑ (16.9)

где υ — номер слоя;


z — число слоев;
М — число цепей в схеме;
Πks — характеристика степени пересечения k-й и s-й трасс;

δksυ = 0, если трассы k и s не принадлежат слою υ;


1, если трассы k и s принадлежат слою υ;

В последовательных конструктивных алгоритмах трассы цепей проводятся в опреде-


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

Литература

1. Автоматизация схемотехнического проектирования: Учеб. пособие для вузов / В.Н.


Ильин, В.Т. Фролнин, А.И. Бутко и др.; Под ред. В.Н. Ильина. — М.: Радио и связь,
1987. — 368 с.: ил.