36360

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

Доклад

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

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

Русский

2014-10-01

13.31 KB

16 чел.

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

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

САПР. Элементы математического обеспечения чрезвычайно разнообразны, среди них имеются различные инвариантные элементы. Основные элементы математического обеспечен:

  1. принципы построения функциональных моделей(инвариантные элементы);
  2. методы численного решения алгебраических и дифференциальных моделей;
  3. методы постановки экстремальных задач;                        
  4. методы поиска экстремума.;

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

  1. математические методы и построенные на их основе математические модели, описывающие объекты проектирования
  2. формализованное описание технологии автоматизированного проектирования.

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


 

А также другие работы, которые могут Вас заинтересовать

42418. Функции. Принцип Дирихле 46 KB
  Докажите что либо одно из них делится на 5 либо сумма нескольких рядом стоящих чисел делится на 5. Докажите что какието три из них можно накрыть квадратиком со стороной 02 м. Докажите что найдутся как минимум 2 ученика отмечающих дни рождения в один месяц. Докажите что расстояние между некоторыми двумя из них меньше 05 см.
42419. Комбинаторика. Основные комбинаторные принципы и соединения 198.5 KB
  Введем некоторые важные обозначения: множества будем обозначать заглавными буквами; множества состоят из элементов которые будем обозначать малыми буквами. Такие множества будем изображать перечислением элементов заключая их в фигурные скобки. 3 Количество элементов в множестве называется мощностью и записывается как . Комбинаторные соединения Некоторая совокупность элементов данного nмножества называется выборкой.
42420. Булева алгебра. Законы логики высказываний. Эквивалентные преобразования 83 KB
  Законы логики высказываний. Теоретическая часть Всё множество формул логики высказываний с точки зрения их значения истинности разбивается на три класса: 1 тождественно истинные тавтология; 2 тождественно ложные противоречие; 3 нейтральные. Особое место в логике высказываний занимают законы логики тождественно истинные формулы тавтологии. Законы логики высказываний Закон тождества: А эквивалентно А.
42421. Равносильность формул. Закон двойственности. Логические функции 120.5 KB
  Каждая формула представляет собой функцию входящих в нее букв А В Определение1: Формулы F1 и F2 называются равносильными если при любых значениях входящих в них переменных x1x2xn эти формулы принимают одинаковые значения. Между понятиями равносильности и эквивалентности существует связь: если формулы F1 и F2 равносильны то формула F1F2 эквивалентность принимает одни и те же значения при всех значениях переменных и обратно: если формула F1F2 принимает одни и те же значения при всех значениях переменных то формулы F1 и F2...
42422. Нормальные формы формул. Проблема разрешения 89 KB
  Теорема 1 о приведении к ДНФ: Для любой формулы А можно найти такую формулу В находящуюся в ДНФ что АВ. Формула В называется ДНФ формулы А. Конечно например все ДНФ данной формулы равносильны. Выделим среди ДНФ так называемую совершенную дизъюнктивную нормальную форму формулы.
42423. Полные системы булевых функций. Многочлен Жегалкина. Теорема Поста 60 KB
  Цель работы: овладение навыками представления булевых функций в виде полинома Жегалкина. Теоретическая часть Таблицы истинности булевых функций сростом числа аргументов становятся громоздкими и неудобными. Более удобный аналитический способ задания булевых функций основан на рассмотрении двузначной алгебры Поста с операцией суперпозиции над множеством булевых функций.
42424. Минимизация булевых функций методом Квайна 686 KB
  Теоретическая часть Рассмотренные выше совершенная дизъюнктивная и конъюнктивная нормальные формы СДНФ и СКНФ используются для первоначального представления заданной переключательной функции через функции основной системы. Но эти формы не удобны для построения логических схем ЭВМ так как часто содержат элементы которые можно исключить при синтезе схем исходя из других форм представления функции. Существует ряд эффективных способов нахождения минимальной ДНФ булевой функции. Применяемая в методе Квайна операция неполного склеивания...
42425. Функциональные схемы 435 KB
  Такие схемы встречаются в электронных устройствах используемых в компьютерах калькуляторах телефонных системах и ряде других устройств. Постановка задачи синтеза логических схем По аналогии с тем как из трех элементарных частиц  протонов нейтронов и электронов порождаются различные химические элементы которые соединяясь в молекулы образуют вещества всей живой и неживой природы из трех простейших логических схем  дизъюнктора конъюнктора и инвертора можно образовать сколь угодно сложные функциональные схемы соответствующие...
42426. Нечёткие множества 218 KB
  Стандартное четкое множество строится на основе математической конструкции отсеивающей из универсального множества некоторую часть его элементов. То есть фактически любое множество определяется этим самым свойством или набором свойств S и объединяет некоторое количество не обязательно конечное счетное элементов обладающих свойством S. А теперь давайте попробуем из всей бесконечности всего в нашей Вселенной в которой очевидно есть место и для таких объектов как вода и стаканы сформировать множество на основе вполне понятного...