
- •93 Міністерство освіти і науки України
- •Конспект лекцій навчальної дисципліни
- •1 Загальні відомості з автоматизації проектування
- •1.1 Основні визначення
- •Рівні та задачі проектування
- •1.3 Способи проектування
- •2 Математичні моделі
- •2.1 Загальні уявлення про математичні моделі
- •3 Автоматизація системного проектування
- •3.1 Постановка задачі
- •3.2 Способи структурного моделювання
- •3.3 Типові задачі структурного моделювання
- •3.4 Організація структурного моделювання
- •4 Автоматизація функціонально-логічного проектування
- •4.1 Постановка задачі
- •4.2 Функціональне моделювання аналогової реа
- •4.3 Функціональне моделювання цифрових пристроїв
- •4.3.1 Постановка задачі
- •Моделювання на рівні регістрових передач
- •4.3.3 Логічне моделювання
- •5 Автоматизація схемотехнічного проектування
- •5.1 Постановка задачі
- •5.2 Математичні моделі елементів електронних пристроїв
- •5.3 Макромоделі імс
- •5.4 Формування рівнянь електричної схеми
- •5.5 Математичні методи схемотехнічного моделювання
- •5.6 Програми схемотехнічного моделювання
- •5.6.1 Програма маес-п
- •5.6.2 Вхідні мови програм схемотехніческого моделювання
- •5.6.3 Функціональне моделювання за допомогою програми маес-п
- •6 Автоматизація конструкторського проектування
- •Постановка задачі
- •6.2 Конструкторське проектування систем на пліс
- •6.3 Алгоритми компоновки
- •6.4 Алгоритми розміщення
- •6.5 Алгоритми трасування
- •7 Принципи побудови сапр
- •7.1 Загальні положення
- •7.2 Класифікація сапр
- •7.3 Види забезпечення сапр
- •7.3.1 Математичне забезпечення
- •Лінгвістичне забезпечення
- •7.3.3 Інформаційне забезпечення
- •7.3.4 Програмне забезпечення
- •7.3.5 Технічне забезпечення
- •7.3.6 Організаційне і методичне забезпечення
- •7.4 Тенденції автоматизованого проектування електронних пристроїв
- •Список літератури
- •Додаток а Математичні моделі елементів електронних пристроїв а.1 Модель напівпровідникового діода
- •А.2 Моделі біполярного транзистора
- •А.3 Моделі польових транзисторів
- •3.2.4 Модель багатообмоточного трансформатора
- •Додаток б Формування ммс за допомогою методу вузлових потенціалів
- •Література
7.3 Види забезпечення сапр
Сучасна САПР — складний комплекс математичних, програмних, технічних і інших засобів. Прийнято виділяти в складі САПР наступні основні частини:
математичне забезпечення;
лінгвістичне забезпечення (мовні засоби);
програмне забезпечення;
інформаційне забезпечення;
технічне забезпечення;
організаційне забезпечення;
методичне забезпечення.
Нижче докладно аналізується кожна з цих частин.
7.3.1 Математичне забезпечення
Класифікація основних алгоритмів. Математичне забезпечення включає теорію, методи, способи й алгоритми для організації обчислень у САПР. У складі математичного забезпечення можна виділити наступні типи алгоритмів.
1.Алгоритми, рішення загальних задач обчислювальної математики: рішення нелінійних рівнянь f(x)=0, лінійних рівнянь Ах=В, звичайних диференціальних рівнянь dx/dt=f(x(t),t) і т.д. Звичайно ці алгоритми в зв'язку з їхнім частим вживанням у задачах різного типу оформляються у виді стандартних програм, однак у САПР ці програми використовуються рідко через різні форми представлення вхідної інформації, обумовлених, зокрема, алгоритмами нижченаведеної групи.
2.Алгоритми пошуку й упорядкування інформації:
- алгоритми пошуку потрібного елемента або групи елементів у масиві даних; пошук можна вести різними способами: перебором, розподілом на частини, по дереву ознак і т.п.;
- алгоритми редагування інформації (перекодування, перекомпонування, коректування); одним із прикладів редагування є упакування інформації, наприклад запис матриці у виді сукупності одномірних масивів, що зберігають інформацію тільки про ненульові елементи матриці;
- алгоритми сортування інформації, тобто поділу її на групи відповідно до яких-небудь ознак.
Дана група алгоритмів хоча і відіграє роль сервісних, але багато в чому визначає обчислювальні витрати на рішення задач у САПР. Ці алгоритми має сенс застосовувати тільки при створенні програм багаторазового користування.
3. Алгоритми проблемної орієнтації, рішення задач, зв'язаних загальною науковою тематикою, наприклад алгоритми рішення статистичних задач (побудова гістограм, апроксимація гістограми теоретичним законом, обчислення статистичних характеристик і т.д.).
4. Алгоритми предметної орієнтації, формування і розрахунок математичних моделей об'єктів визначеного типу, наприклад електронних перемикальних схем, схем СВЧ і т.д. Ця група алгоритмів — основна в САПР. Вони звичайно включають, як складові частини, алгоритми трьох попередніх груп.
5. Алгоритми рішення системних задач ПК: організація роботи операційних систем, диспетчеризації, керування програмами, даними і т.д.
Основні вимоги до алгоритмів. До алгоритмів, що використовуються у САПР, пред'являються наступні вимоги.
Висока алгоритмічна надійність, тобто гарантоване одержання правильного результату при будь-яких чисельних значеннях вхідних даних, значеннях параметрів у заданих діапазонах варіювання і для будь-яких видів функціональних залежностей у задачах даного класу.
Можливість формалізації, що обмежує застосування в САПР таких чисельних методів, принциповим моментом яких є мистецтво і досвід обчислювача.
Малі обчислювальні витрати при реалізації, причому в співвідношенні « пам'ять-час» у зв'язку зі швидким ростом обсягу оперативної пам'яті сучасних ПК основним стає зараз вимога зменшення часу рахунку.
Розумне співвідношення «точність-час» з урахуванням того, що незначне погіршення точності моделювання може істотно зменшити час моделювання.
Алгоритмічна сумісність, тобто погодженість і достатність вхідних і вихідних даних різних алгоритмів, що спільно працюють у складі однієї і тієї ж програми.