Модель логическая

Математические модели логических схем цифровой РЭА. [c.189]

Проведите сравнительный анализ синхронных и асинхронных моделей логических схем. [c.221]

Рис. 5.2. Структура модели логического элемента

Преимущества таких ПМК по сравнению с обычными электронными схемами с жесткой (неизменной) структурой заключаются в высокой гибкости, универсальности и надежности. В развитых капиталистических странах более 80 фирм выпускают около 150 моделей логических и регулирующих ПМК. Эти ПМК уже применяются в 35 % автоматизированных систем управления технологическими процессами [95]. [c.96]

Разработка системной модели (логическая постановка задача) [c.143]

Асинхронные модели отражают не только логические функции, но и временные задержки в распространении сигналов. Асинхронная модель логического элемента имеет вид [c.121]

На наш взгляд, предложенный нами алгоритм имеет два основных преимущества. Во-первых, за счет использования понятия показатель достигается технологичность проектных решений фазы анализа, создания информационной модели предметной области и генерации по модели логической структуры. Во-вторых, производится учет частотных характеристик /. [c.124]

Асинхронные модели можно использовать для верификации асинхронных и синхронных схем. Эти модели состоят из моделей логических элементов, в которых учитываются задержки сигналов, и выражаются системами уравнений (2.4). [c.117]

В основу этих методов положены операции обработки списков в моделях логических элементов. Рассмотрим элемент Э, реализующий операцию С=А В и имеющий список неисправностей СНс. Пусть при данном входном наборе в исправной схеме имеем Л = 0, 5=1, [c.125]

Дайте сравнение асинхронных и синхронных моделей логических схем. [c.127]

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

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

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

Структурно-логические модели. При технологическом проектировании находят применение как структурно-логические, так и функциональные ММ. [c.71]

Структурно-логические модели при технологическом проектировании согласно ГОСТ 14.416—83 подразделяют на табличные, сетевые и перестановочные, определяемые строками булевой матрицы [11] [c.71]

Сетевая модель включает матрицу свойств детали, описание логических отношений между свойствами и граф 0(7", С) взаимосвязи операторов (7 = ть Тг,. ... Тп —операторы С = [c.75]

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

Рассмотрим проектирование ЛМ БД. Первоначально определяется модель данных, подходящих для отображения КМ. Отображение может выполняться РМД, НМД, СМД. Пусть задана КМ (рпс. 3.11, а), которую необходимо отобразить в логическую модель. Основные объекты — ПОЛЬЗОВАТЕЛЬ, ЭВМ, САПР. Первичные ключи объектов содержат один атрибут. Например, ключом объекта ПОЛЬЗОВАТЕЛЬ будет НОМ — ПОЛЬЗОВАТЕЛЯ (номер пользователя). Рассмотрим отображение КМ (рис. 3.11) на РМД. Для отображения КМ на ЛМ требуется определить отношения и их атрибуты. Построим, например, таблицу ПОЛЬЗОВАТЕЛЬ (табл. 3.3). [c.111]

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

Проектирование физической БД — это процесс создания реализуемой структуры БД на основе логической структуры и требований пользователя. Опишем этапы создания физической модели БД для выбранной СУБД и оценки ее эксплуатационных характеристик. [c.121]

Приведите определение логической, внешней, внутренней (физической) моделей. [c.141]

Опишите последовательность проектирования логической модели. Постройте пример. [c.142]

Универсальность. При определении ОА необходимо выбрать совокупность внешних параметров и совокупность выходных параметров у/, отражающих учитываемые в модели свойства. Типичными внешними параметрами при этом являются параметры нагрузки и внешних воздействии (электрических механических, тепловых, радиационных и т.п.). Увеличение числа учитываемых внешних факторов расширяет применимость модели, но существенно удорожает работу по определению ОА. Выбор совокупности выходных параметров также неоднозначен, однако для большинства объектов число и перечень учитываемых свойств и соответствующих им выходных параметров сравнительно невелики, достаточно стабильны и составляют типовой набор выходных параметров. Например, для макромоделей логических элементов БИС такими выходными параметрами являются уровни выходного напряжения в состояниях логических О и 1 , запасы помехоустойчивости, задержка распространения сигнала, рассеиваемая мощность. [c.150]

Пример 4.5. На рис. 4.14 представлен фрагмент схемы цифрового устройства. Соответствующая ему модель есть следующая система логических уравнений [c.190]

Синхронные и асинхронные модели. Синхронные модели применяют для анализа установившихся состояний логических схем. Они представляют собой системы логических уравнений вида [c.191]

Особенностью цифровой РЭА является использование на функционально-логическом уровне проектирования в качестве моделей систем логических уравнений, а в качестве методов анализа — методов решения этих систем. [c.222]

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

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

Схема организации процесса имитационного моделирования при автоматизированном проектировании приведена на рис. 7.1. На первом этапе формируется цель проектирования. Анализируя требования ТЗ на проектирование, оценивают сложность проектируемого объекта и определяют наиболее рациональный путь нахождения математической модели объекта проектирования и ее реализации для целей проектирования — путем имитационного моделирования, путем решения задач математического программирования и т.д. На этапе формирования имитационной модели осуществляется переход от представлений о реальной системе к абстрагированию, к некоторой логической схеме. Подготовка данных состоит в выборе данных, необходимых [c.353]

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

Прием формального усреднения и по-луэмпирическнй расчет по формулам (3.81) и (3.82) деформационных констант пространственно-армированного волокнистого композиционного материала являются недостаточно обоснованными для рассматриваемой в работах [40, 42, 43] модели. Логический довод в пользу обоснования принятой в (3.81) и (3.82) эмпирической смеси упругих характеристик заключается в следующем. В силу операции усреднения в общем случае тензоры эффективной жесткости и податливости не взаимообратимы, т. е. [c.83]

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

Результаты исследования с помощью ПШП нелинейных моделей логических модулей, построенных на двухмембранных пневмореле, хорошо согласуются с экспериментальными данными, полученными в отделе пневмоавтоматики НИИТРАКТОРСЕЛЬ-ХОЗМАШа. [c.89]

ERwin имеет два уровня представления модели - логический и физический. Логический уровень - это абстрактный взгляд на данные, на нем данные представляются так, как выглядят в реальном мире, и могут называться так, как они называются в реальном мире, например "Постоянный клиент", "Отдел" или "Фамилия сотрудника". Объекты модели, представляемые на логическом уровне, называются сущностями и атрибутами (подробнее о сущностях и атрибутах будет рассказано ниже). Логический уровень модели данных может быть построен на основе другой модели, например на основе модели процессов (см. гл. 1). Логический уровень модели данных является универсальным и никак не связан с конкретной реализацией СУБД. [c.102]

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

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

Алгебрологические геометрические модели обеспечивают задание плоских фигур и трехмерных тел, в которых геометрический объект описывается логической функцией условий, выражающих принадлежность точки тем или иным пространственным областям. Пусть области D —D4 на плоскости хОу определены с помощью неравенств следующим образом [c.38]

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

На функционально-логическом уровне необходим ряд положений, упрощающих модели устройств и тем самым позволяющих анализировать более сложные объекты по сравнению с объектами, анализируемыми на схемотехническом уровне. Часть используемых положений аналогична положениям, принимаемым для моделирования аналоговой РЭА. Во-первых, это положение о представлении состояний объектов с помощью однотипных фазовых переменных (обычно напряжений), называемых сигналами. Во-вторых, не учитывается влияние нагрузки на функционирование элементов-источников. В-третьих, принимается допущение об однонаправленности, т. е. о возможности передачи сигналов через элемент только в одном направлении — от входов к выходам. Дополнительно к этим положениям при моделировании цифровой РЭА принимается положение о дискретизации переменных, их значения могут принадлежать только заданному конечному множеству—алфавиту, например двоичному алфавиту 0,1 . [c.189]

Рассмотрим математические модели элементов на логическом подуровне. Для одновыходных комбинационных элементов ММ представляет собой выражение (в общем случае алгоритм), позволяющее по значениям входных переменных (значениям входов) в заданный момент времени t вычислить значение выходной переменной (значение выхода) в момент времени t + t , где ta — задержка сигнала в элементе. Такую модель элемента называют асинхронной. При (з = 0 модель элемента называют синхронной. Модель многовыходного элемента должна включать в себя алгоритм вычисления задержек и значений всех выходных сигналов. [c.189]

В отдельных случаях модель функционального узла может быть представлена в виде алгоритма, в котором действия выполняются над переменными U и Y вещественного типа. В таком виде удобно представлять сложные устройства, например арифметико-логические, выполняющие действия над числами с плавающей запятой. [c.196]

Методы решения логических уравнений. Анализ переходных процессов в логических схемах выполняют с помо-щь 0 асинхронных моделей (4.56), т. е. на основе асинхронного моделирования. К началу очередного такта ti известны значения векторов внутренних V/= U]<, V2i, Vni) и входных Ui переменных. Подставляя V и U,- в правую часть выражений (4.57), получаем новые значения которые примут внутренние переменные в моменты времени где ТА — внутренняя задержка распространения сигнала Vk в соответствующем элементе схемы. Далее переходим к следующему такту, в котором вычисления по (4.57) повторяются со значениями векторов V и U, соответствующими новому моменту времени (напомним, что время измеряется в количестве тактов). Асинхронное моделирование называют потактовым. [c.250]

Если длительность такта превышает задержку в некоторых элементах, т. е. для некоторых k имеем Xh O, то в модели (4.57) последовательностной схемы появляются отдельные неявные относительно Vh выражения, а это приводит к необходимости решать подсистемы логических уравнений в пределах каждого такта. Если задержки не учитывать во всех элементах, то имеем синхронную модель (4.56), с помощью которой анализируются установившиеся состояния в схеме и могут определяться статические и динамические риски сбоя. Синхронная модель — это система логических уравнений [c.250]

Ранжирование логических схем и уравнений. Алгоритмы ранжирования комбинационных схем аналогичны алгоритмам ранжирования электронных схем в методе однонаправленных моделей. Ранг О присваивается входным цепям, по которым поступают сигналы на схему извне. Ранг г присваивается элементам, все входы которых ранжированы и старший из рангов равен г—1. Ранг г присваивается также выходам элементов ранга г. После этого логические уравнения упорядочиваются по значениям рангов соответствующих элементов схемы. [c.252]

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

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

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