Vervolg C Hogeschool van Utrecht / Institute for Computer, Communication and Media Technology 1...

Hogeschool van Utrecht / Institute for Computer, Communication and Media Technology

1vervolg C

Onderwerpen voor vandaag

• Gelinkte lijsten• Finite State Machine (Eindige Toestands Machine)


2vervolg C

Lijst operaties

1. Voeg toe achteraan (enqueue)

2. Haal weg vooraan (dequeue, pop)

3. Voeg toe vooraan (push)

4. Haal weg achteraan (?)

5. Voeg toe in ‘t midden

6. Haal weg in ‘t midden


3vervolg C

Singly linked, double linked


4vervolg C

Ending, circular


5vervolg C

Insert, delete (singly linked)


6vervolg C

Insert, delete (double linked)


7vervolg C

Sentinels

Sentinel ( ~ wachter ): dummy queue element dat er altijd is. 1 bij circulaire lijsten, 2 bij ‘eindigende’ lijsten.

Voordeel: geen apart geval meer in de code voor begin of einde van de lijst.

Nadeel: extra geheugen nodig voor de sentinel. Sentinel == zelfde type als lijst elementen, dus als een lijstelement ‘groot’ is kan dit kostbaar zijn.


8vervolg C

lijstenLink Vorm Sentinels

Enkel Eindig Nee Eenvoudig concept

Enkel Eindig Ja Code voor lege lijst en laatste element eenvoudiger

Enkel Circulair Nee Geen aparte ‘first’ en ‘last’ pointers nodig

Enkel Circulair ja

Dubbel Eindig Nee Delete kan met alleen pointer naar het element

Dubbel Eindig Ja

Dubbel Circulair Nee

Dubbel Circulair ja Ingewikkeld concept, maar de eenvoudigste code, zonder if’s


9vervolg C

Finite State Machine (= Eindige Toestands Machine)

• states (toestanden)

• events (gebeurtenissen, boodschappen, triggers)

• actions (wat je programma doet)

Diverse notaties in gebruik, schrik niet als je een iets andere notatie tegenkomt.


10vervolg C

FSM voorbeeld : knipper LED op 1/2 Hz

States : – LED is aan– LED is uit

Events : – 1 seconde timer tick

Actions :– LED aanzetten– LED uitzetten


11vervolg C

knipper LED op 1/2 Hz : FSM diagram

LED is uit LED is aan

initLED uitzetten 1s timer tick

LED aanzetten

1s timer tickLED uitzetten


12vervolg C

knipper LED op 1/2 Hz : State-Transistion diagram

Event

State

1s timer tick

LED is uit LED aanzetten

LED is aan

LED is aan LED uitzetten

LED is uit


13vervolg C

FSM voorbeeld : knipper LED op 1/2 Hz

// states

#define knipper_state_init 0

#define knipper_state_uit 1

#define knipper_state_aan 2

// events

#define knipper_event_tick 100

// current state

int knipper_state = knipper_state_init;

// acties

void Zet_LED( int led, int x ){

...

}

void fsm_knipper( int & state, int led, int event ){ if( *state == knipper_state_init ){ Zet_LED( led, 0 ); *state = knipper_state_uit; }

if( *state == knipper_state_uit ){ if( event == knipper_event_tick ){ Zet_LED( led, 1 ); *state = knipper_state_aan; return; } }

if( *state == knipper_state_aan ){ if( event == knipper_event_tick ){ Zet_LED( led, 0 ); *state = knipper_state_uit; return; } }}


14vervolg C

FSM voorbeeld : Toegangspoort 1


15vervolg C



16vervolg C



17vervolg C


Event

State

Coin Pass Reset Ready

Locked Unlock()

Unlocked

Alarm()

Violation Locked Locked

Unlocked Thankyou()

Unlocked

Lock()

Locked Unlocked Unlocked

Violation

Violation Violation

ResetAlarm()

Violation

Lock()

ResetAlarm()

Locked


18vervolg C

// states#define poort_state_init 0#define poort_state_locked 1#define poort_state_unlocked 2#define poort_state_violation 3

// events#define poort_event_coin 100#define poort_event_pass 100#define poort_event_reset 100

// current stateint poort_state = poort_state_init;

// actionsvoid poort_thankyou( void );void poort_lock( void );void poort_unlock( void ); void poort_start_alarm( void );void poort_stop_alarm( void );

void fms_poort( int event ){ if( state == poort_state_init ){ poort_lock(); state = poort_state_locked;}

if( state == poort_state_locked ){ if( event == poort_event_coin ){ poort_unlock(); state = poort_state_unlocked(); } if( event == poort_event_pass ){ poort_alarm(); state = poort_state_violation(); } return; }

...}


19vervolg C

knipper LED op X Hz : State-Transistion diagram

Event

State1ms timer tick

LED is uit n++;

if( n == 500/x ){

LED aanzetten

n = 0;

state = LED is aan

}

LED is aan n++;

if( n == 500/x ){

LED uitzetten

n = 0;

state = LED is uit

}


20vervolg C

FSM voorbeeld : knipper LED op X Hzvoid fsm_knipper( int & state, int led, int X, int *n, int event ){ if( *state == knipper_state_init ){ Zet_LED( led, 0 ); *state = knipper_state_uit; *n == 0; return; }

if( *state == knipper_state_uit ){ if( event == knipper_event_tick ){ *n++; if( *n == 500/x ){ Zet_LED( led, 1 ); *n = 0; *state = knipper_state_aan; } return; } }

if( *state == knipper_state_aan ){ if( event == knipper_event_tick ){ *n++; if( *n == 500/x ){ Zet_LED( led, 0 ); *n = 0; *state = knipper_state_uit; } return; } }}


21vervolg C

FSM voorbeeld : knipper diverse LEDs

while( 1 ){ wait_1ms(); fsm_knipper( &state1, l, 10, &n1, knipper_event_tick ); fsm_knipper( &state2, 2, 12, &n2, knipper_event_tick ); fsm_knipper( &state3, 3, 300, &n3, knipper_event_tick ); fsm_knipper( &state4, 4, 5, &n4, knipper_event_tick ); ...

}


22vervolg C

Rotary encoder (quadrature encoder)

Sensor voor het bijhouden van de draaiing van een as.

Toegepassingen:

– user interface (afstemknop)

– computermuis

– motorsturing


23vervolg C


24vervolg C

Opdracht ”rotary encoder”

Een rotary encoder FSM moet in de stand van een rotary encoder bijhouden. Bij een click naar rechts +1, bij een klick naar links -1. Er moet rekening gehouden worden met denderen en ‘halve bewegingen’ (= effect is hetzelfde als denderen).


25vervolg C

Opdracht ”rotary encoder”

Stel de lijst van states (4), events (4) en acties (2), op voor een rotary encoder FSM

- Maak het State Transition Diagram (er zijn ‘fysiek-logisch onmogelijke’ events, die hoef je niet te laten zien)

- Vertaal je STD naar C code

Vervolg C Hogeschool van Utrecht / Institute for Computer, Communication and Media Technology 1...

Documents

Transcript of Vervolg C Hogeschool van Utrecht / Institute for Computer, Communication and Media Technology 1...