Учебная САПР электронных средств. Асланянц В.Р. - 54 стр.

                       КОНТРОЛЬНЫЕ ВОПРОСЫ

      1. Исчисление высказываний. Предикаты. Математическая логика.
      2. Алгебра логики. Законы алгебры логики. Функциональная полно-
та. Нормальные формы.
      3. Методы минимизации булевых функций.
      4. Числа графов. Метод Магу.
      5. Четыре основных подзадачи трассировки соединений и последова-
тельность их решения. Возможность объединения некоторых подзадач.
      6. Построение кратчайших соединений: содержательная формули-
ровка задачи, входные и выходные данные, математические модели объек-
тов проектирования, формализованная формулировка и алгоритмы реше-
ния.
      7. Типы деревьев. Алгоритм построения дерева Штейнера в ортого-
нальной метрике.
      8. Расслоение монтажа. Четыре типа объектов расслоения (элементов
монтажа). Содержательная формулировка задачи, входные и выходные
данные, математические модели объектов проектирования, формализован-
ная формулировка и алгоритмы решения.
      9. Упорядочение соединений: содержательная формулировка задачи,
входные и выходные данные, математические модели объектов проектиро-
вания, формализованная формулировка и алгоритмы решения.
      10. Поясните работу каждого блока в программе TLO-3 и в подпро-
грамме LAY.




                                                                     54