Машина логического моделировани

ЭВМ и ВС для выполнения отдельных проектных процедур (например, машина логического моделирования или ЭВМ для трассировки печатных плат) [c.71]

Машина логического моделирования 293 [c.330]

Одним из наиболее перспективных путей развития технического обеспечения САПР является разработка и применение специализированных процессоров или ЭВМ, ориентированных на выполнение однотипных трудоемких проектных процедур. Выше (стр. 254) говорилось о специализированных ЭВМ для логического моделирования, позволяющих ускорить решение задач моделирования на несколько порядков. Другими примерами специализированных процессоров или ЭВМ для САПР служат трассировочные машины, процессоры для быстрого преобразования Фурье, процессоры графических процедур. Известны и такие специализированные процессоры, как процессоры СУБД, процессоры для ускорения выполнения матричных операций и т. п. Актуальность построения специализированных процессоров для САПР обусловлена наличием трудоемких вычислительных процедур, увеличением размерности решаемых задач, а возможности построения таких процессоров расширяются в связи с появлением СБИС, средств их проектирования и изготовления, с дальнейшим ростом степени интеграции микросхем. [c.382]

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

Оперативное взаимодействие системы человек — машина, дающее возможность немедленно принимать решение в тех ситуациях, когда основание для такого решения столь неясно (интуитивно, субъективно или же сложно), что не поддается логическому моделированию. [c.219]

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

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

Исследование режимов работы вибрационной дробилки под нагрузкой, представленной реологической моделью, наиболее целесообразно проводить на ЭМУ и ЭЦ.М. При решении задачи на ЭМУ производят замену переменных в уравнениях движения щеки дробилки и движения модели, адекватной дробимой горной массе, т. е. приводят уравнения к машинному виду. По машинным уравнениям с учетом трансцендентных уравнений определяют параметры устройства для моделирования. Устройство для моделирования вибрационной дробилки под нагрузкой содержит следующие основные структурные элементы генератор внешних воздействий для получения возмущения ЛрО- os (ЙТ+ ф) устройство для моделирования уравнения движения щек и устройство для моделирования системы уравнений движения по оси х устройство для. -моделирования системы уравнений движения по оси у логические структурные схемы управления согласно трансцендентным уравнениям. [c.398]

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

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

Этап 3 — установление зависимостей между характеристиками проектируемых объектов, размерностями их моделей и затратами вычислительных ресурсов для каждой проектной процедуры. Затраты ресурсов могут оцениваться количеством условных операций и объемом требуемой памяти. При получении таких зависимостей трудно учесть ряд факторов, определяемых лишь при последующем проектировании, поэтому зависимости сугубо приближенные часто имеют статистический характер. Зависимости затрат вычислительных ресурсов от характеристик проектируемого объекта и производительности ЭВМ, как правило, привязываются к описаниям соответствующих программ или математических методов. Примером может служить зависимость затрат машинного времени Т при разработке тестов вероятностным методом 7 = = Кп 1Б, где /С—среднее количество операций, выполняемых при однократном обращении к модели логического элемента, п — число логических элементов в схеме, Б — быстродействие ЭВМ. При использовании ускоряющих приемов событийного или параллельного моделирования значение коэффициента К устанавливается по статистическим данным. [c.297]

Наиболее впечатляющие успехи автоматизации проектирования достигнуты в областях моделирования, анализа и машинной графики. Скромнее результаты в области синтеза, хотя и здесь нельзя не отметить достижений в таких направлениях, как параметрическая оптимизация объектов с непрерывными неделями, комбинаторная оптимизация при проектировании топологии печатных плат и БИС, синтез комбинационных логических схем. [c.327]

В настоящее время в институте Энергосетьпроект разработан и внедряется в типовое проектирование еще один вариант автоматического ограничителя перегрузок АОП, структурная схема которого представлена на рис. 24,6. Измеритель перегрузки ИП выявляет абсолютное значение и знак отклонения тока ротора (статора) относительно некоторой заданной уставки +А/ — перегрузка, — А/ — недогрузка. Сигнал, пропорциональный перегрузке, подается на вход модели температуры МТ, состоящей из нелинейного преобразователя НП и инерционного элемента ИЭ. Использование инерционного звена вместо интегрального приближает модель к реальному физическому объекту. Тем самым повышается точность моделирования, особенно ощутимая в зоне небольших кратностей перегрузок, которые встречаются наиболее часто. Наличие нелинейного преобразователя с регулируемой нелинейностью позволяет подобрать практически любую заданную характеристику МТ. Выход модели температуры фиксируется пороговым элементом ПЭ, который формирует воздействие на разгрузку через логический элемент типа И при условии наличия перегрузки, контролируемой выявлением знака перегрузки ВЗП. В случае недогрузки формируется сигнал на возврат системы возбуждения в исходный режим. Неуспешное действие канала разгрузки контролируется элементом независимой выдержки времени ЭВ, который формирует сигнал на входе в схему защиты генератора, через логический элемент типа НЕ, деблокируемый при наличии перегрузки. Применение АОП по структурной схеме рис. 24,6 позволяет полнее использовать перегрузочные возможности машины. [c.54]

В маршрутах проектирования БИС и СБИС к числу основных проектных процедур относятся верификация логических и функциональных схем, синтез и анализ тестов. В этих процедурах требуется многократное выполнение моделирования логических схем. Однако высокая размерность задач логического моделирования (СБИС насчитывают.десятки—сотни тысяч вентилей) существенно ограничивает возможности многовариантного анализа. Так, современные программы анализа логических схем на универсальных ЭВМ могут обеспечить скорость моделирования приблизительно 10 вентилей в секунду (т. е. на анализ реакции схемы из 10 вентилей на один набор входных воздействий затрачивается 1 с машинного времени), что значительно ниже требуемого уровня. Преодоление затруднений, обусловливаемых чрезмерной трудоемкостью вычислений, происходит в двух направлениях. Первое из них основано на использовании общих положений блочно-иерархического подхода и выражается в переходе к представлениям подуровня регистровых передач, рассмотренным в 4.7. Второе направление основано на применении специализированных вычислительных средств логического моделирования, называемых спецпроцессорами или машинами логического моделирования (МЛМ), Важно отметить, что появление СБИС не только порождает потребности в таких спецпроцессорах, но и обусловливает возможности их создания с приемлемыми затратами. Разработанные к настоящему времени МЛМ функционируют совместно с универсальными ЭВМ и обеспечивают скорость моделирования 10 —10 вентилей в секунду. [c.254]

Машина логического моделирования (МЛМ) характеризуется использованием всех трех причин ускорения вычислений. Актуальность ускорения логического моделирования обусловлена высокой размерностью задач при проектировании БИС и СБИС, большим числом вариантов моделирования при разработке тестов. Примером МЛМ может служить специализированная ЭВМ фирмы 2УСА0, названная машиной ЬЕ. В ЬЕ применяется стратегия событийного моделирования. События из списка текущих событий могут обрабатываться параллельно. Для этого в ЬЕ имеется 16 процессоров обработки событий. Их работу координирует управляющий процессор, осуществляющий моделирование времени, связь с внешними устройствами, буферизацию данных. В МЛМ достигается увеличение скорости моделирования по срав- [c.293]

Дальнейшее ветвление вариантов происходит за счет возможностей многовариантного построения вычислительных алгоритмов для реализации одних и тех же моделей и методов. Совокупность вычислительных алгоритмов с учетом логических связей между ними и разделения процедур между человеком и машиной можно рассматривать как конечную функциональную (имитационную) модель автоматизированного ПП, готовую к реализации в САПР. Нарастание числа вариантов по мере перехода от семантических моделей к математическим и информационным, а затем к алгоритмическим требует сравнительного анализа этих вариантов и выбора наилучшего. Однако разработка формального аппарата многовариантного синтеза логико-вычислительных алгоритмов ПП для САПР находится в начальной стадии. Отдельные результаты теоретического плана еш,е не привели к созданию и внедрению в инженерную практику формальной методологии синтеза ПП в САПР. Поэтому этап моделирования ПП, очень важный для разработки САПР и их подсистем, все еще выполняется неформально на основе H Ky Vea и опыта проектировщиков ЭМП и разработчиков САПР. [c.118]

В последние два-три десятилетия внимание исследователей в различных областях науки и техники обращено на использование методологии имитационного моделирования на ЭВМ [1]. В связи с этим интенсивное развитие получают методы планирования математических (машинных) экспериментов на ЭВМ [2]. Это обусловлено мнон еством причин, среди которых, по-видимому, главными являются следующие планирование эксперимента вносит определенную логическую упорядоченность в сам процесс исследования, что в свою очередь позволяет уже на предварительной стадии проектирования (исследовательской) получать наряду с высокими абсолютными результатами представления [c.12]

Развитие кибернетики и ее методов машинного-моделирования открывает новые возможности в исследовании принципиально сложных процессов, позволяет ставить вопрос о создании алгоритмизированных теорий, в которых аксиоматические и логические построения сочетаются с алгоритмизацией и имитацией отдельных актов общего процесса. Имитационное моделирование на ЭВМ соединяет основные черты двух фундаментальных методов познания экспериментально-наблюдательного и абстрактно-логического, делает возможным проведение экспериментов над абстрактными моделями [224,225]. [c.18]

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

Системы с перестраиваемой архитектурой. Можно использовать аппаратное ускорение профаммных алгоритмов, основываясь на таких свойствах программируемых логических интегральных схем (ПЛИС), как параллелизм и перенастраивае-мость. В настоящее время различные компании заняты созданием офомных перенастраиваемых вычислительных машин на основе ПЛИС. Такие системы могут использоваться для выполнения широкого спектра задач — от моделирования аппаратуры до криптографического анализа или создания новых лекарств., [c.21]

Энциклопедия по машиностроению XXL

Оборудование, материаловедение, механика и ...