3.2.3. Описание логики функционирования элементов

Алгоритм поведения Посетителя задан таблицей истинности (табл. 3.1), а блок моделирующий поведение Посетителя, является блоком Combinatorial Logic. Блок Combinatorial Logic имеет один вход, на который может подаваться как скалярный, так и векторный сигнал. Скаляр рассматривается как одна булева величина, а вектор как их совокупность. Блок имеет единственный параметр настройки – Truth table (таблица истинности), который представляет собой список значений выходного сигнала автомата.

Разрядность выходного сигнала, а также значения его разрядов устанавливаются разработчиком S-модели.

В модели поведения Посетителя Интернета в соответствии с табл. 3.1, список значений выходного сигнала будет следующий

001; 011; 101; 101.

Чтобы установить заданную таблицу истинности для блока Посетитель, необходимо дважды щелкнуть ЛКМ на пиктограмме блока в окне блок-диаграммы. В поле Truth table окна настроек параметров блока необходимо ввести значения выходного сигнала 001; 011; 101; 101 (рис. 3.2).

Рис. 3.2. Установка нового значения параметра Truth table

Для отображения результатов работы модели используем блок Display из раздела Sinks. Отыщите указанный блок и поместите в поле блок-диаграммы, правее блока Посетитель. Соедините вход блока Display с выходом блока Посетитель (рис. 3.3).

Рис. 3.3. Включение в блок-диаграмму блока Display

Создание модели завершено. Конечно, ее внешний вид и форму представления результатов можно улучшить, но этим мы займемся немного позже. Сейчас давайте убедимся в том, что полученная модель действительно работоспособна.

3.2.4. Проверка работоспособности модели

Значения констант Сайт 1 и Сайт 2 оставим равными 0 (то есть будем считать, что ни тот, ни другой узел требуемую информацию не содержит). Используя команду Start из раздела Simulation или соответствующую кнопку панели инструментов, запустите модель на исполнение. Поскольку модель весьма проста, сеанс моделирования заканчивается очень быстро, о чем свидетельствует характерный звуковой «щелчок» компьютера. Кроме того, в правом нижнем углу блока Display должен появиться небольшой черный треугольник. Напомним, он служит признаком того, что выходной сигнал является векторной величиной. В рассматриваемом примере выходной вектор состоит из трех элементов (в соответствии с заданной таблицей истинности). Чтобы увидеть значения всех элементов вектора, необходимо «раздвинуть» блок Display по вертикали. Для этого блок следует выбрать, подвести указатель к одному из его нижних углов и, нажав ЛКМ, переместить указатель вниз. Когда значения всех трех элементов станут видимы, отпустите кнопку мыши. Как и следовало ожидать, элементы вектора равны соответственно 0, 0, 1 (рис. 3.4).

Рис. 3.4. Представление результатов работы модели с помощью блока Display

Сохраните созданную модель (она нам еще понадобится), записав файл с блок-диаграммой на жесткий диск или на дискету.

Воспользуйтесь для этого командой Save as ... Выберите каталог (папку), куда будет записываться файл, и какое-нибудь имя для него, более содержательное, чем untitled (например, Choice — «Выбор»).