Системное автоматизированное проектирование. ЛекцииРефераты >> Программирование и компьютеры >> Системное автоматизированное проектирование. Лекции
Быстродействие ЭВМ 1000000 операций в секунду.
Таблица 2.
Быстродействие ЭВМ | ||
106 |
108 |
109 |
N1 |
100*N1 |
1000*N1 |
N2 |
10*N2 |
31,6*N2 |
N3 |
4,64*N3 |
10*N3 |
N4 |
2,5*N4 |
3,9*N4 |
N5 |
N5+6,64 |
N5+9,97 |
N6 |
N6+4,19 |
N6+6,29 |
полиномиальных и экспоненциальных функций. Различие между типичных полиномиальными и экспоненциальными алгоритмами проявляется более убедительно, если проанализировать влияние увеличения быстродействия ЭВМ на время работы алгоритма. Таблица 2 показывает, насколько увеличится размер задач, решаемой за 1 час, если быстродействие возрастет в 100 и 1000 раз. Видно, что для функции 2n увеличение скорости вычислений в 1000 раз приводит лишь к тому, что размер задачи, решаемой на ней за 1 час возрастет на 10. Функция временной |
сложности |
n2 |
n2 |
n2 |
n2 |
2n |
3n |
NP-задачи
Выделено 2 класса трудно решаемости:
1. Для отыскания решения требуется экспоненциальное время.
2. Искомое решение настолько велико, что не может быть представлено в виде выражение, длина которого ограничена некоторым полиномом. Эти задачи в курсе рассматриваться не будут.
Первые результаты о трудно решаемых задачах были получены Тьюрингом. Он доказал, что некоторые задачи “неразрешимы” в том смысле, что вообще не существует алгоритма их решения. Некоторые задачи по теории автоматов, теории формальных языков и математической логики являются трудно решаемыми.
NP-полная задача - это задача, к которой сводится за полиномиальной время любая задача из класса NP-задач. Фундаментальные исследования и теорию NP-задач разработал С.Кук в 1971 году. Им определено понятие сводимости за полиномиальное время. Если одна задача сводится за полиномиальное время к другой, то любой полиномиальный алгоритм - решение другой задачи может быть превращен в полиномиальный алгоритм первой задачи.
Выделен класс задач распознавания свойств, которые могут быть решены за полиномиальное время на недетерминированном вычислительном устройстве. Доказано, что любая задача из класса NP-задач может быть сведена к задаче выполнимой за полиномиальное время.
Существуют 6 основных классов NP-полных задач:
1. Задачи выполнимости.
2. Трехмерное сочетание.
3. Вершинное покрытие.
4. Поиск клики.
5. Гамильтонов цикл.
6. Разбиение.
- внутренние параметры - характеризуют свойства элементов ;
- выходные параметры - характеризуют свойства систем;
- ограничения выходных параметров.
ПРИМЕР 3.
Применительно к операционному усилителю:
а) переменные
- фазовые переменные - напряжение и токи всех ветвей (рассматриваются как функции времени или частоты);
б) параметры
- внешние параметры - напряжения источников питания, параметры входных сигналов и нагрузки, температура окружающей среды;
- внутренние параметры - номиналы резисторов, барьерные емкости и тепловые токи переходов в транзисторах, емкости конденсаторов;
- выходные параметры - коэффициент усиления на средних частотах, полоса пропускания, потребляемая мощность, динамический диапазон;
- ограничения - верхние границы допустимых значений коэффициентов усиления, полосы пропускания, динамического диапазона.
Применительно к вычислительной системе:
а) переменные
- фазовые переменные - состояния отдельных устройств;
б) параметры
- внешние параметры - параметры входных источников заявок;
- внутренние параметры - емкости запоминающих устройств, быстродействие процессоров, число каналов;
- выходные параметры - производительность системы, коэффициент загрузки оборудования, вероятность решения поступающих задач, средние длины очередей заявок на обслуживание;
- ограничения - нижние границы допустимых диапазонов значений производительности, коэффициентов загрузки оборудования, вероятности обслуживания заявок.
При блочно-иерархическом подходе внутренние параметры k -го уровня являются выходными параметры (k+1) -го уровня. При многоаспектном рассмотрении систем, включающих физически разнородные подсистемы, роль внешних переменных для данной подсистемы играют фазовые переменные других подсистем. Они влияют на рассматриваемую подсистему.
Внутренние параметры являются случайными величинами из-за разброса параметров комплектующих изделий, материалов и нестабильности условий изговления. Выходные параметры также имеют случайный характер следствие случайных значений внутренних параметров.
4. Классификация проектных процедур.
Классификация проектных процедур приведена в табл.1.
ТАБЛИЦА 1. ПРОЕКТНЫЕ ПРОЦЕДУРЫ
АНАЛИЗ |
СИНТЕЗ |
Одновариантный Многовариантный |
Параметрический Структурный |
Статики Чувствительности Динамики Статистический В частной области Расчет зависимостей выходных параметров Стационарных режимов от внутренних и внешних параметров Устойчивости |
Расчет внутренних параметров Оптимизация параметров Оптимизация допусков Оптимизация технических требований |