Троичное моделирование

Троичное моделирование Троичное моделирование широко используется для выявления состязаний сигналов которые могут иметь место в схеме. Моделирование входного набора происходит в 2 этапа. Пример: провести троичное логическое моделирование методом Э. Троичное моделирование с нарастающей неопределенностью В данном алгоритме для каждого лта указывается максимальное и минимальное значение задержки т.

2015-01-27

18.3 KB

13 чел.


Поделитесь работой в социальных сетях

Если эта работа Вам не подошла внизу страницы есть список похожих работ. Так же Вы можете воспользоваться кнопкой поиск


В РП2 получилась временная диаграмма работы схемы, только в ней время откладывается по оси ординат – сверху вниз. Нарисуем по этой таблице временную диаграмму, отражающуюся на экране монитора.

Троичное моделирование

Троичное моделирование широко используется для выявления состязаний сигналов, которые могут иметь место в схеме. Состязания сигналов недопустимы, как на временной диаграмме работы схемы, так и на тестовых последовательностях, которые разрабатываются для контроля и диагностики ЭВА. При моделировании используется троичный алфавит {0, x, 1}. В соответствии с определением X составляются троичные таблицы истинности работы эл-в на основании следующих логических выражений:

1 ˅ x = x ˄ x=x ˅ 0=x ˅ x=1+x=x+x=0+x=x

X ˄ 0 = 0

X ˅ 1=1

xx – это равенство определяется следующим образом: нам не известно что такое х – 0 или 1 и нам неизвестно что такое ¬х – 0 или 1.

˄

0

x

1

0

0

0

0

x

0

x

x

1

0

x

1

˅

0

x

1

0

0

x

1

x

x

x

1

1

1

1

1

+

0

х

 1

0

0

x

1

x

x

x

1

1

1

x

0

¬

 

 

 

 

0

x

1

 

0

x

0

Метод Эйхельбергера

Этот метод основан на том, что соотношение задержек в эл-х и линиях связи является произвольным, т.е. соотношение может быть каким угодно, но в реальности это не совсем так.

Моделирование входного набора происходит в 2 этапа.

На первом этапе моделируются промежуточный набор Vn’.

Символ х в этом наборе ставится на тех входах схемы, на которых произошло изменение значения сигналов по сравнению с предыдущим набором Vn-1

 

1

2

3

4

Vn-1

0

1

1

0

 Vn

1

1

0

0

Vn'

x

1

x

1

Гипотетический процесс имеющий место в схеме.

На втором жтапе моделируется основной набор Vn. Если в результате моделирования этого набора на каких либо узлах схемы остается значение х, то это означает что на этом узле имеет место состязание сигналов.

Пример: провести троичное логическое моделирование методом Э. на след. Схеме:

1234

V1 1100

V2 0101

V3 1101

V4 1111

 

 

Входы

 

 

ВХ. Вых

 

 

 

Набор

1

2

3

4

5

6

7

8

9

/-

x

x

x

x

x

x

x

x

x

V1

1

1

0

0

1

0

1

1

0

V2'

x

1

0

x

1

x

x

x

x

V2

0

1

0

1

1

1

0

0

1

V3'

x

1

0

1

1

x

0

x

1

V3

1

1

0

1

1

0

0

1

1

V4'

1

1

x

1

x

x

x

x

x

V4

1

1

1

1

0

1

1

x

x

Как видно из таблицы состязания сигналов имеют место только на наборе V4 т.к. на 8м и 9м выходе остались Х.

К достоинствам данного алгоритма относятся гарантированная сходимость, простота реализации и высокое быстродействие.

Недостаток . Основной недостаток заключается в том, что выявляются лишние, реально не существующие, состязания сигналов. Это происходит из-за взятого предположении о произвольном соотношении задержек в эл-х и линиях связи. Как правило для любого элемента можно указать минимальную и максимальную задержку. Для устраннения необходимо вводить разброс задержек элементов.

Троичное моделирование с нарастающей неопределенностью

В данном алгоритме для каждого л-та указывается максимальное и минимальное значение задержки, т.е. модельная задержка ri каждого эл-та лежит в пределах 0<rmin<=ri<=rrmax

Моделирование рассмотрим только с точки зрения поведения элемента задержки.

Поведение эл-та задержки определим следующим образом:

Значение сигнала на выходе равно 1 или 0 в момент времени m в том и только в том случае, когда значение сигнала на входе равно 1 или 0 в интервале времени от r- rrmax до r- rmin , в остальных случаях значение сигнала равно х.

Рассмотрим пример:

[Перерисовать у Себя]

Область неопределенности на выходе эл-та задержки сдвинута относительно области неопределенности на его входе на rmin и расширина на rrmaxrmin.

[Перерисовать у Себя]



 

Другие похожие работы, которые могут вас заинтересовать.
2156. Моделирование освещения 125.57 KB
  Для наблюдателя находящегося в любой точке яркость точки которую он видит будет выражаться следующим образом. где V яркость для ч б; E – альбедо коэффициент отражения поверхности. По сравнению с методом Ламберта эта модель уменьшает яркость точек на которые мы смотрим под углом 90 и увеличивает яркость тех точек на которые мы смотрим вскользь Применение законов освещения при синтезе объекта изображения. 7 Рассчитывается яркость в одной точке например в центре тяжести для выпуклых многоугольников грани по Ламберту и...
6675. Имитационное моделирование 56.71 KB
  Этот процесс состоит из двух больших этапов: разработки модели и анализа разработанной модели. Моделирование позволяет исследовать суть сложных процессов и явлений с помощью экспериментов не с реальной системой а с ее моделью. В области создания новых систем моделирование является средством исследования важных характеристик будущей системы на самых ранних стадиях ее разработки.
1974. МОДЕЛИРОВАНИЕ ПОВЕРХНОСТЕЙ 233.46 KB
  Поверхность и цифровая модель Основой для представления данных о земной поверхности являются цифровые модели рельефа. Поверхности – это объекты которые чаще всего представляются значениями высоты Z распределенными по области определенной координатами X и Y. ЦМР – средство цифрового представления рельефа земной поверхности. сбор по стереопарам снимков отличается трудоемкостью и требует специфического программного обеспечения но в то же время позволяет обеспечить желаемую степень детальности представления земной поверхности.
1927. Моделирование систем 21.47 KB
  В студенческом машинном зале расположены две мини ЭВМ и одно устройство подготовки данных (УПД). Студенты приходят с интервалом в 8±2 мин и треть из них хочет использовать УПД и ЭВМ, а остальные только ЭВМ. Допустимая очередь в машинном зале составляет четыре человека, включая работающего на УПД.
361. Моделирование и отладки HDL кода 10.29 KB
  Моделирование позволяет HDL описание конструкции так называемую модель пройти проверку дизайн важная веха которая проверяет дизайна предназначена функция спецификация с кодом реализации в HDL описание. Таким образом моделирование имеет важное значение для успешного HDL дизайн. Для имитации одна модель HDL инженер пишет верхнего уровня моделирования окружающей среды так называемую testbench.
6206. Моделирование в научных исследованиях 15.78 KB
  Большие успехи и признание практически во всех отраслях современной науки принес методу моделирования ХХ в. Однако методология моделирования долгое время развивалась независимо отдельными науками. Лишь постепенно стала осознаваться роль моделирования как универсального метода научного познания.
16646. Моделирование аддиктивного поведения 164 KB
  Моделирование аддиктивного поведения. В результате анализа современной литературы по данной проблематике была создана модель рационального аддиктивного поведения индивидов с учетом гиперболического дисконтирования будущих мгновенных полезностей наиболее адекватно отражающего психологические аспекты поведения индивидов. Характерные свойства функции полезности Основными свойствами аддиктивного поведение принято считать: постепенную адаптацию толерантность невозможность отмены уход положительный эффект привычки усиление – которые...
4640. МОДЕЛИРОВАНИЕ ЦИФРОВЫХ УЗЛОВ 568.49 KB
  На кристаллах современных БИС можно поместить множество функциональных блоков старых ЭВМ вместе с цепями межблочных соединений. Разработка и тестирование таких кристаллов возможно только методами математического моделирования с использованием мощных компьютеров.
3708. Моделирование с использованием сплайнов 465.08 KB
  Они же и определяют степень кривизны сегментов сплайна прилегающих к этим вершинам. Сегмент – это часть линии сплайна между двумя соседними вершинами. В 3ds Mx используются четыре типа вершин: Corner Угловая – вершина примыкающие сегменты к которой не имеют кривизны; Smooth Сглаженная вершина через которую кривая сплайна проводится с изгибом и имеет одинаковую кривизну сегментов с обеих сторон от нее; Bezier Безье вершина подобная сглаженной но позволяющая управлять кривизной сегментов сплайна с обеих сторон от вершины....
14550. Экономико-математическое моделирование 160.16 KB
  Причем задачи из разных областей экономики могут иметь похожие модели и решаться одинаковыми методами. Под моделированием понимается конструирование модели и работа с ней состоящие из ряда последовательных и взаимосвязанных стадий: постановка задачи построение модели ее исследование проверка и оценка полученного на основе модели решения реализация результатов решения. Предварительная оценка целесообразности построения модели; 2 переход от описания предметной области в содержательных терминах к формализованным описаниям: введение...
© "REFLEADER" http://refleader.ru/
Все права на сайт и размещенные работы
защищены законом об авторском праве.