Universidad de Chile - PowerPoint PPT Presentation

1 / 12
About This Presentation
Title:

Universidad de Chile

Description:

Para especificar la funci n d, algunas veces queremos decir que da lo mismo el ... Arbitrariamente elegimos algunas variables de salida. ... – PowerPoint PPT presentation

Number of Views:43
Avg rating:3.0/5.0
Slides: 13
Provided by: rdig
Category:

less

Transcript and Presenter's Notes

Title: Universidad de Chile


1
Computación II CC20A II Semestre 2007
2
Modelamiento de Sistemas
  • Ejemplo 7 Montacargas Simplificado
  • (Modelo con entradas, no autónomo)

3
Modelamiento de Sistemas
Se trata de un montacargas que puede viajar entre
dos pisos. Tiene una puerta. En los pisos hay un
botón para llamar al montacargas, y un timbre que
suena cuando llega y abre su puerta. No hay botón
interior, por lo que oralmente se debe pedir a
alguien en el otro piso que presione el botón
para hacer mover el montacargas.
4
Modelamiento de Sistemas
  • COMPONENTES
  • MONTACARGAS, PISO-1, PISO-2
  • VARIABLES DESCRIPTIVAS
  • MONTACARGAS
  • PUERTA - con rango ABIERTA, CERRADA
  • LUGAR - con rango UNO,DOS,SUBIENDO,BAJANDO
    LUGAR x indica si el montacargas está en ese
    instante en un piso, subiendo o bajando.
  • RETARDO - con rango 0,1,2,3 RETARDO y
    significa que hace y unidades de tiempo se le
    pidió algo específico al montacargas.
  • Para PISO-i (i 1,2)
  • BOTON-i con rango APRETADO, NO-APRETADO
    BOTON-i z indica si el botón en el piso i ha
    sido apretado o no en ese instante.
  • TIMBRE-i, con rango SONIDO,SILENCIO

5
Modelamiento de Sistemas
  • INTERACCION ENTRE COMPONENTES
  • El MONTACARGAS permanece indefinidamente en el
    piso al que llegó con su puerta ABIERTA, a menos
    que alguien presione un BOTON.
  • Si se presiona un BOTON y éste es del mismo PISO
    en el que está el MONTACARGAS, éste permanece en
    ese piso con la puerta ABIERTA durante las
    próximas 3 unidades de tiempo.
  • Si se presiona un BOTON y el MONTACARGAS no está
    con la puerta ABIERTA (está SUBIENDO o BAJANDO)
    no pasa nada.
  • Si se presionan ambos botones al mismo tiempo,
    tiene prioridad el botón del mismo piso en el que
    está el MONTACARGAS.
  • Si se presiona un BOTON y el MONTACARGAS está en
    el otro piso y con la puerta ABIERTA, en la
    próxima unidad de tiempo ésta se cierra, y en la
    siguiente unidad de tiempo viaja (sube o baja con
    la puerta CERRADA), demorando 2 unidades de
    tiempo adicional. Después abre la puerta.
  • Al llegar a un piso, se hace sonar el TIMBRE del
    piso correspondiente durante una unidad de
    tiempo.

6
Modelamiento de Sistemas
ESPECIFICACION DE LA MAQUINA SECUENCIAL
(AUTOMATA) (ENTRADAS, ESTADOS, SALIDAS, d, l)
(a) ENTRADAS Las variables de entrada son
BOTON1 y BOTON2. Una entrada es entonces (b1,
b2), con b1, b2 Î APRETADO, NOAPRETADO.
Resumiremos APRETADO como A y NOAPRETADO como
N.Por ejemplo, si en el instante t el BOTON1
está apretado y el BOTON2 no lo está, el valor
de las variables de entrada es (A,N). De este
modo ENTRADAS (A,A), (A,N), (N,A),
(N,N) Para especificar la función d, algunas
veces queremos decir que da lo mismo el valor de
un cierto botón. En este caso usamos i
(indiferente).
7
Modelamiento de Sistemas
(b) ESTADOS Las variables de estado son PUERTA,
LUGAR, RETARDO. Entonces, un estado será un trío
(p,l,r), donde p Î ABIERTA, CERRADAl Î UNO,
DOS, SUBIENDO, BAJANDOr Î 0, 1, 2, 3 Por
tanto, ESTADOS Í ABIERTA, CERRADA x UNO,
DOS, SUBIENDO, BAJANDO x 0, 1, 2, 3En
realidad es un subconjunto propio porque hay
estados imposibles, tales como (ABIERTA,
SUBIENDO, i), ya que el montacargas sólo sube con
la puerta cerrada.
8
Modelamiento de Sistemas
(c) SALIDAS Arbitrariamente elegimos algunas
variables de salida. Digamos que son PUERTA,
LUGAR, TIMBRE1, TIMBRE2. Por tanto, SALIDAS
Í ABIERTA, CERRADA x UNO, DOS, SUBIENDO,
BAJANDO x SONIDO, SILENCIO x SONIDO,
SILENCIO
9
Modelamiento de Sistemas
(d) d (función de transición) Consideremos
primero un estado inicial factible y construyamos
las transiciones a partir de este. Un estado
inicial factible es, por ejemplo, (ABIERTA, UNO,
0). Hagamos un diagrama en que los nodos son los
estados, y los arcos son las entradas
10
Modelamiento de Sistemas
Con este diagrama es fácil construir una tabla
para d d ESTADOS x ENTRADAS ESTADOS
  • . . .
  • . . .
  • . . .

11
Modelamiento de Sistemas
(e) l (función de salida)
(p, l, r, SILENCIO, SONIDO) si p CERRADA, l
SUBIENDO y r 3(p, l, r, SONIDO, SILENCIO) si
p CERRADA, l BAJANDO y r 3(p, l, r,
SILENCIO, SILENCIO) en otros casos
l (p, l, r, b1, b2)
12
Modelamiento de Sistemas
  • FIN
Write a Comment
User Comments (0)
About PowerShow.com