(926)274-88-54
Бесплатная доставка.
Бесплатная сборка.
График работы:
Ежедневно. С 8-00 до 20-00.
Почта: soft_hous@mail.ru
|
|
Звоните! (926)274-88-54 Бесплатная доставка. Бесплатная сборка. |
Ассортимент тканей График работы: Ежедневно. С 8-00 до 20-00. Почта: soft_hous@mail.ru |
  
|
Читальный зал --> Программные средства foundation Х= .х,- Табл. 9.8. Запись состояний автомата для игры на угадывание в форме выходного кода с использова*11ивм безразличных значений QSTATE = [L1,L2,L3.L4,ERR] 51 = [ 1, X, X. X. X] 52 = Г X, 1, X, X, X] 53 = [ X, X, 1, X. X] 54 = [ X, X, X, 1, X] SOK = [ 0, 0, 0, 0, 0] SERR = [ X, X, X, X, 1] В новом варианте мы предполагаем, что состояния никогда не бывают такими, чтобы в комбинации битов, которой представлено состояние, были другие единицы, кроме указанных первоначально в табл. 9.7. Если, например, мы видим, что бит состояния L1 равен 1, то автомат должен находиться в состоянии S1 независимо от значений каких-либо других битов в коде состояния. Поэтому все другие биты, кроме Ll, в определении состояния S1 можно положить безразличными, как это сделано в табл. 9.8. В языке ABEL каждый бит, помеченныр символом X, принимается равным О при кодировании следующего состояния, не считается безразличным при декодировании текущего состояния. Следовательно, необходимо обратить особое внимание на то, чтобы декодируемые состояния были действительно взаимно исключающими; другими словами, нужно, чтобы никакое правильное следующее состояние не соответствовало двум ш\ большему числу состояний, определенных по-разному. В противном случае скомпилированное устройство не будет вести себя ожидаемым образом. как действует механизм безразличных значений? Чтобы разобраться в том, какую роль ифают безразличные значения при кодировании состояний, необходимо понять, как компилятор языка ABEL создает равенства на основании диаграмм состояний. Применительно к данному состоянию S каждый оператор перехода (IF-THEN-ELSE или GOTO) пополняет множества включений соответствующих переменных состояния согласно условию перехода. Условие перехода - это выражение, которое должно быть верно, чтобы переход состоялся, включая пребывание в состоянии S. Например, все условия, указанные для состояния S1 в табл. 9.5, неявно участвуют в логической операции И со значением выражения QSTATE==Sl . Поскольку состояние S1 определено с использованием безразличных значений, эта проверка равенства породит только один литерал L1, а не терм-произведение, что в дальнейшем приведет к еще ббльшим упрощениям. Для каждого следующего состояния, упоминаемого в операторе перехода, происходит пополнение множеств включений только тех переменных состояния, которые равны 1 в этом состоянии. Когда, например, в операторе перехода в табл. 9.8 код состояния S1 встречается в качестве следующего состояния, пополняется только множество включений для L1. Этим объясняется, почему действительный код состояния S1 в качестве следующего состояния считается имеюпцшвид: 100000. ЧЕГО СЛЕДУЕТ ОЖИДАТЬ ПРИ СБРОСЕ? Из текста программы в табл. 9.5 следует, что появление сигнала на входе RESET заставит автомат перейти в состояние БОК. Однако в случае, когда у вас имеются не определенные кодовые имена состояний или имена состояний заданы частично, нельзя принимать на веру, что подача сигнала RESET будет приводить к тому же самому. Имея в виду то, что говорится в предыдущем замечании, заключенном в рамку, следует помнить, что в прОфамме на языке ABEL для конечного автомата операторы перехода пополняют множества включений, относящиеся к переменным состояния. Если какая-то конкретная комбинация битов для неиспользуемого состояния не согласуется ни с каким из состояний, для которых в профамме имеются операторы перехода, то никакие множества включений не будут пополнены. Следовательно, единственным переходом из такого состояния будет переход в состояние с кодовым именем, состоящим из одних нулей. Поэтому полезно кодировать начальное или безопасное состояние всеми нулями. Если это невозможно, но имя, состоящее из одних нулей, все же не используется, то можно явно задать переход из состояния, обозначаемого одними нулями, в желаемое безопасное состояние. 9.1.5. Построим заново контроллер светофора! Наш последний пример - из мира автомобилей и дорожного движения. Контроллеры светофоров в Калифорнии тщательно сконструированы таким образом, чтобы максимизировать время простоя автомобилей на перекрестках; особенно это относится к замечательному городу Саннивейл. Здесь на незафуженном перекрестке имеются датчики движения и светофоры, показанные на рис. 9.5. (Если бы это было в Чикаго, то самое большее, чем был бы отмечен такой перекресток, - это При записи состояний в форме выходного кода согласно табл. 9.8 приведенные равенства содержат три терма-произведения для L1, по одному терму-произведению на каждый из выходных сигналов L2. . L4 и всего лишь семь термов-произведений для сигнала ERR. Таким образом, это бьшо стоящее изменение. Необходимо помнить, однако, что новый автомат отличается от устройства, описываемого табл. 9.7. Посмотрим, что произойдет, если автомат попадет в одно из состояний, которые не определены. В исходном устройстве с полностью заданным описанием состояний в форме выходного кода, не указаны следующие состояния для 2- 6 = 26 состояний из числа не определенных, поэтому конечный автомат из любого такого состояния всегда будет переходить в состояние с именем 00000 (SOK). В новом автомате не определенные состояния, в действительности, не являются таковыми; например, состояние с именем 11111 фактически согласуется с пятью состояниями: S1-S 4 и SERR. Поэтому следующим будет состояние, имя которого является результатом выполнения логической операции ИЛИ над именами следующих состояний, соответствующих согласующимся состояниям. (Чтобы понять, почему это происходит, см. вынесенное за пределы основного текста рассуждение о механизме действия безразличных значений.) Еще раз: нужно быть осторожным. знак уступи дорогу .) Светофорами управляет автомат с частотой тактового сигнала 1 Гц; у него имеются таймер и четыре входа: NSCAR Сигнал принимает активное значение, если хотя бы один автомобиль находится в поле действия одного из датчиков в направлении движения север-юг по любую сторону перекрестка. EWCAR Сигнал принимает активное значение, если хотя бы один автомобиль находится в поле действия одного из датчиков в направлении движения восток-запад по любую сторону перекрестка. TMLONG Сигнал принимает активное значение, если с момента начала работы таймера прошло более пяти минут; он остается на активном уровне до тех пор, пока таймер не будет сброшен. TMSHORT Сигнал принимает активное значение, если с момента начала работы таймера прошло более пяти секунд; он остается на активном уровне до тех пор, пока таймер не будет сброшен. У этого конечного автомата семь выходных сигналов: NSRED, NSYELLOW, NSGREEN Сигналы, зажигающие красный, желтый и зеленый свет в направлении север-юг соответственно. Сигналы, зажигающие красный, желтый и зеленый свет в направлении восток-запад соответственно. Когда этот сигнал принимает активное значение, таймер сбрасывается, а сигналы TMSHORT и TMLONG переходят на неактивный уровень. Таймер начинает отсчет времени, когда на неактивный уровень переходит сигнал ТМ RESET. EWRED, EVWELLOW, EWGREEN TMRESET NSRED NSYEaoW NSGREEN EWRED EWYELLOW EWGREEN NSRED NSYELLOW NSGREEN EWRED EWYELLOW EWGREEN  Рис. 9.5. Датчики дорожного движения и сигналы светофоров на перекрес-Л.К91.г..Саннивейл, шт. Калифорния ООО «Мягкий Дом» - это Отечественный производитель мебели. Наша профильная продукция - это диваны еврокнижка. Каждый диван можем изготовить в соответствии с Вашими пожеланияи (размер, ткань и материал). Осуществляем бесплатную доставку и сборку. Звоните! Ежедневно! (926)274-88-54 Продажа и изготовление мебели. Копирование контента сайта запрещено. Авторские права защищаются адвокатской коллегией г. Москвы. |