prof. joão bosco da mota alvesine/ctc/ufsc - teoria geral de sistemas1 estado de um sistema...

32
Prof. João Bosco da Mota Alv es INE/CTC/UFSC - Teoria Geral de Siste mas 1 Estado de um Sistema Bacharelado em Sistemas de Informação (1 a fase - 4 créditos) Parte 4 de 8 Prof. João Bosco da Mota Alves INE/CTC/UFSC Fevereiro de 2002

Upload: internet

Post on 17-Apr-2015

102 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Prof. João Bosco da Mota AlvesINE/CTC/UFSC - Teoria Geral de Sistemas1 Estado de um Sistema Bacharelado em Sistemas de Informação (1 a fase - 4 créditos)

Prof. João Bosco da Mota Alves INE/CTC/UFSC - Teoria Geral de Sistemas 1

Estado de um Sistema Bacharelado em Sistemas de Informação

(1a fase - 4 créditos) Parte 4 de 8

Prof. João Bosco da Mota AlvesINE/CTC/UFSC

Fevereiro de 2002

Page 2: Prof. João Bosco da Mota AlvesINE/CTC/UFSC - Teoria Geral de Sistemas1 Estado de um Sistema Bacharelado em Sistemas de Informação (1 a fase - 4 créditos)

Prof. João Bosco da Mota Alves INE/CTC/UFSC - Teoria Geral de Sistemas 2

Conceitos de Estado

• Aurélio (do latim, statu)– Modo de ser ou estar– Situação ou disposição em que se

acham as pessoas ou as coisas– Outras

Page 3: Prof. João Bosco da Mota AlvesINE/CTC/UFSC - Teoria Geral de Sistemas1 Estado de um Sistema Bacharelado em Sistemas de Informação (1 a fase - 4 créditos)

Prof. João Bosco da Mota Alves INE/CTC/UFSC - Teoria Geral de Sistemas 3

Exemplos Gerais: Estado ...

• Civil• da Matéria• de Saúde• De Interruptor de Luz

Page 4: Prof. João Bosco da Mota AlvesINE/CTC/UFSC - Teoria Geral de Sistemas1 Estado de um Sistema Bacharelado em Sistemas de Informação (1 a fase - 4 créditos)

Prof. João Bosco da Mota Alves INE/CTC/UFSC - Teoria Geral de Sistemas 4

Estado

• Situação ou disposição de um sistema• Situação determinada completamente

– Variáveis de Estado (VE)

• VE pode assumir valores– Numéricos (inteiros, reais, complexos, ...)– Simbólicos (strings, grafismos, ...)

Page 5: Prof. João Bosco da Mota AlvesINE/CTC/UFSC - Teoria Geral de Sistemas1 Estado de um Sistema Bacharelado em Sistemas de Informação (1 a fase - 4 créditos)

Prof. João Bosco da Mota Alves INE/CTC/UFSC - Teoria Geral de Sistemas 5

Estado: exemplo

• Uma pessoa nasce, cresce e morre• Seu estado civil pode ser uma VE• E assumir valores

– Solteiro, casado, viúvo, separado, divorciado, tico-tico-no-fubá, etc.

• São valores de uma variável de estado

• VE assume apenas um valor por vez

Page 6: Prof. João Bosco da Mota AlvesINE/CTC/UFSC - Teoria Geral de Sistemas1 Estado de um Sistema Bacharelado em Sistemas de Informação (1 a fase - 4 créditos)

Prof. João Bosco da Mota Alves INE/CTC/UFSC - Teoria Geral de Sistemas 6

E 1T 2 E 3E 2

T 1

Estado: onde é definido?

• Em geral em sistemas dinâmicos– Que mudam sua condição ou estado

• Tal mudança é chamada Transição de Estado

• Representação: Diagrama de Estado

Page 7: Prof. João Bosco da Mota AlvesINE/CTC/UFSC - Teoria Geral de Sistemas1 Estado de um Sistema Bacharelado em Sistemas de Informação (1 a fase - 4 créditos)

Prof. João Bosco da Mota Alves INE/CTC/UFSC - Teoria Geral de Sistemas 7

Estado Civil

• Situação jurídica de uma pessoa em relação à família ou à sociedade

• Apenas uma variável de estado, que pode assumir um dos valores– Solteiro– Casado– etc.

Page 8: Prof. João Bosco da Mota AlvesINE/CTC/UFSC - Teoria Geral de Sistemas1 Estado de um Sistema Bacharelado em Sistemas de Informação (1 a fase - 4 créditos)

Prof. João Bosco da Mota Alves INE/CTC/UFSC - Teoria Geral de Sistemas 8

Um Diagrama de estado

Solteiro

Casado

Divorciado

Separado

Viúvo

C

MC

NC

S

NC

Page 9: Prof. João Bosco da Mota AlvesINE/CTC/UFSC - Teoria Geral de Sistemas1 Estado de um Sistema Bacharelado em Sistemas de Informação (1 a fase - 4 créditos)

Prof. João Bosco da Mota Alves INE/CTC/UFSC - Teoria Geral de Sistemas 9

Estado da Matéria

• Uma variável de estado, podendo ser– Sólido– Líquido– Gasoso– Plasma (quarto?)

Page 10: Prof. João Bosco da Mota AlvesINE/CTC/UFSC - Teoria Geral de Sistemas1 Estado de um Sistema Bacharelado em Sistemas de Informação (1 a fase - 4 créditos)

Prof. João Bosco da Mota Alves INE/CTC/UFSC - Teoria Geral de Sistemas 10

Interruptor de Luz

• Em geral, apenas uma variável de estado, com apenas dois valores– Ligado– Desligado

Page 11: Prof. João Bosco da Mota AlvesINE/CTC/UFSC - Teoria Geral de Sistemas1 Estado de um Sistema Bacharelado em Sistemas de Informação (1 a fase - 4 créditos)

Prof. João Bosco da Mota Alves INE/CTC/UFSC - Teoria Geral de Sistemas 11

Sistemas com mais de 1 VE

• Uma partícula– Vetores posição e velocidade

• Aproveitamento escolar– Notas– Freqüência

• Saúde de uma empresa– Capital de giro, dívida, crédito, etc.

Page 12: Prof. João Bosco da Mota AlvesINE/CTC/UFSC - Teoria Geral de Sistemas1 Estado de um Sistema Bacharelado em Sistemas de Informação (1 a fase - 4 créditos)

Prof. João Bosco da Mota Alves INE/CTC/UFSC - Teoria Geral de Sistemas 12

Estado de saúde

• Várias variáveis de estado– Pressão sangüínea (número real)– Batimento cardíaco (número real)– Temperatura do corpo (número real)– Nível de consciência (simbólico)

• Consciente,inconsciente, semi-consciente, ...

– Etc.

Page 13: Prof. João Bosco da Mota AlvesINE/CTC/UFSC - Teoria Geral de Sistemas1 Estado de um Sistema Bacharelado em Sistemas de Informação (1 a fase - 4 créditos)

Prof. João Bosco da Mota Alves INE/CTC/UFSC - Teoria Geral de Sistemas 13

Processo

• É um sistema em movimento• Tipos de processos

– Seqüencial, concorrente, paralelo, mixto

• Estado– Fácil definir para seqüencial– Nem tanto para os demais

Page 14: Prof. João Bosco da Mota AlvesINE/CTC/UFSC - Teoria Geral de Sistemas1 Estado de um Sistema Bacharelado em Sistemas de Informação (1 a fase - 4 créditos)

Prof. João Bosco da Mota Alves INE/CTC/UFSC - Teoria Geral de Sistemas 14

Conceito de Estado

• Para processo seqüencial– Informação completa sobre todas as

variáveis de estado em um instante de tempo

• Para outros tipos de processos, uma definição é mais complexa

Page 15: Prof. João Bosco da Mota AlvesINE/CTC/UFSC - Teoria Geral de Sistemas1 Estado de um Sistema Bacharelado em Sistemas de Informação (1 a fase - 4 créditos)

Prof. João Bosco da Mota Alves INE/CTC/UFSC - Teoria Geral de Sistemas 15

Exemplo de Processo

• Quebra-cabeça é bom candidato– Parte-se de um estado inicial, Ei

– Busca-se estado final, Ef, por transição, Ts, entre estados intermediários, E1, E2, ...

E i E fE 2E 1 ...T 1 T 2 T 3 T r

Page 16: Prof. João Bosco da Mota AlvesINE/CTC/UFSC - Teoria Geral de Sistemas1 Estado de um Sistema Bacharelado em Sistemas de Informação (1 a fase - 4 créditos)

Prof. João Bosco da Mota Alves INE/CTC/UFSC - Teoria Geral de Sistemas 16

Torres de Hanoi

• Quebra-cabeça, consistindo de 3 torres, A, B e C, com n discos em A (estado inicial)

CBA

Page 17: Prof. João Bosco da Mota AlvesINE/CTC/UFSC - Teoria Geral de Sistemas1 Estado de um Sistema Bacharelado em Sistemas de Informação (1 a fase - 4 créditos)

Prof. João Bosco da Mota Alves INE/CTC/UFSC - Teoria Geral de Sistemas 17

Torres de Hanoi

• Deve-se passar os discos para a torre B (estado final)

CBA

Page 18: Prof. João Bosco da Mota AlvesINE/CTC/UFSC - Teoria Geral de Sistemas1 Estado de um Sistema Bacharelado em Sistemas de Informação (1 a fase - 4 créditos)

Prof. João Bosco da Mota Alves INE/CTC/UFSC - Teoria Geral de Sistemas 18

Torres de Hanoi

• Com as seguintes restrições– Um disco de cada vez– Nunca um disco pode ficar embaixo

de um maior

• A solução para 3 discos vem a seguir

Page 19: Prof. João Bosco da Mota AlvesINE/CTC/UFSC - Teoria Geral de Sistemas1 Estado de um Sistema Bacharelado em Sistemas de Informação (1 a fase - 4 créditos)

Prof. João Bosco da Mota Alves INE/CTC/UFSC - Teoria Geral de Sistemas 19

Torres de Hanoi (3 discos)Estado inicial

CBA

Page 20: Prof. João Bosco da Mota AlvesINE/CTC/UFSC - Teoria Geral de Sistemas1 Estado de um Sistema Bacharelado em Sistemas de Informação (1 a fase - 4 créditos)

Prof. João Bosco da Mota Alves INE/CTC/UFSC - Teoria Geral de Sistemas 20

Torres de Hanoi (3 discos) (Transição 1: AB)

CBA

Page 21: Prof. João Bosco da Mota AlvesINE/CTC/UFSC - Teoria Geral de Sistemas1 Estado de um Sistema Bacharelado em Sistemas de Informação (1 a fase - 4 créditos)

Prof. João Bosco da Mota Alves INE/CTC/UFSC - Teoria Geral de Sistemas 21

Torres de Hanoi (3 discos) (Transição 2: AC)

CBA

Page 22: Prof. João Bosco da Mota AlvesINE/CTC/UFSC - Teoria Geral de Sistemas1 Estado de um Sistema Bacharelado em Sistemas de Informação (1 a fase - 4 créditos)

Prof. João Bosco da Mota Alves INE/CTC/UFSC - Teoria Geral de Sistemas 22

Torres de Hanoi (3 discos) (Transição 3: BC)

CBA

Page 23: Prof. João Bosco da Mota AlvesINE/CTC/UFSC - Teoria Geral de Sistemas1 Estado de um Sistema Bacharelado em Sistemas de Informação (1 a fase - 4 créditos)

Prof. João Bosco da Mota Alves INE/CTC/UFSC - Teoria Geral de Sistemas 23

Torres de Hanoi (3 discos) (Transição 4: AB)

CBA

Page 24: Prof. João Bosco da Mota AlvesINE/CTC/UFSC - Teoria Geral de Sistemas1 Estado de um Sistema Bacharelado em Sistemas de Informação (1 a fase - 4 créditos)

Prof. João Bosco da Mota Alves INE/CTC/UFSC - Teoria Geral de Sistemas 24

Torres de Hanoi (3 discos) (Transição 5: CA)

CBA

Page 25: Prof. João Bosco da Mota AlvesINE/CTC/UFSC - Teoria Geral de Sistemas1 Estado de um Sistema Bacharelado em Sistemas de Informação (1 a fase - 4 créditos)

Prof. João Bosco da Mota Alves INE/CTC/UFSC - Teoria Geral de Sistemas 25

Torres de Hanoi (3 discos) (Transição 6: CB)

CBA

Page 26: Prof. João Bosco da Mota AlvesINE/CTC/UFSC - Teoria Geral de Sistemas1 Estado de um Sistema Bacharelado em Sistemas de Informação (1 a fase - 4 créditos)

Prof. João Bosco da Mota Alves INE/CTC/UFSC - Teoria Geral de Sistemas 26

Torres de Hanoi (3 discos) (Transição 7: AB, estado final)

CBA

Page 27: Prof. João Bosco da Mota AlvesINE/CTC/UFSC - Teoria Geral de Sistemas1 Estado de um Sistema Bacharelado em Sistemas de Informação (1 a fase - 4 créditos)

Prof. João Bosco da Mota Alves INE/CTC/UFSC - Teoria Geral de Sistemas 27

Construção do DE

Trans. Torre A Torre B Torre C Estado

3 0 0 Inicial

1 2 1 0 1

2 1 1 1 2

3 1 0 2 3

4 0 1 2 4

5 1 1 1 5

6 1 2 0 6

7 0 3 0 Final

Page 28: Prof. João Bosco da Mota AlvesINE/CTC/UFSC - Teoria Geral de Sistemas1 Estado de um Sistema Bacharelado em Sistemas de Informação (1 a fase - 4 créditos)

Prof. João Bosco da Mota Alves INE/CTC/UFSC - Teoria Geral de Sistemas 28

Torres de Hanoi

CBA CBA CBA CBA

CBACBACBACBA

E i

E f E 6 E 5 E 4

E 3E 2E 1

T 6T 7 T 5

T 4

T 3T 2T 1

Page 29: Prof. João Bosco da Mota AlvesINE/CTC/UFSC - Teoria Geral de Sistemas1 Estado de um Sistema Bacharelado em Sistemas de Informação (1 a fase - 4 créditos)

Prof. João Bosco da Mota Alves INE/CTC/UFSC - Teoria Geral de Sistemas 29

Torres de Hanoi

• Veja uma implementação em CLEAN, um compilador para a linguagem de programação do paradígma funcional

hanoi.exe

Page 30: Prof. João Bosco da Mota AlvesINE/CTC/UFSC - Teoria Geral de Sistemas1 Estado de um Sistema Bacharelado em Sistemas de Informação (1 a fase - 4 créditos)

Prof. João Bosco da Mota Alves INE/CTC/UFSC - Teoria Geral de Sistemas 30

Exercícios

• Dê exemplos de processos com– Estado inicial– Estado final– Estados intermediários

• Sugestões– Jogo da Velha– Quadrados deslizantes

Page 31: Prof. João Bosco da Mota AlvesINE/CTC/UFSC - Teoria Geral de Sistemas1 Estado de um Sistema Bacharelado em Sistemas de Informação (1 a fase - 4 créditos)

Prof. João Bosco da Mota Alves INE/CTC/UFSC - Teoria Geral de Sistemas 31

Estados de Equilíbrio

• Há uma classificação geral– Estável– Instável– Indiferente

• Ciência da Automação (mais complexa classificação)– Assintoticamente estável, ciclo limite,

...

Page 32: Prof. João Bosco da Mota AlvesINE/CTC/UFSC - Teoria Geral de Sistemas1 Estado de um Sistema Bacharelado em Sistemas de Informação (1 a fase - 4 créditos)

Prof. João Bosco da Mota Alves INE/CTC/UFSC - Teoria Geral de Sistemas 32

Estados de equilíbrio

• Multibrador mono-estável– Acionado por sensor de presença– Visto em escadas de prédios– Apenas 1 VE e dois estados (Lig e Deslig)– Dos dois apenas 1 estado é estável

Ligado DesligadoDeteção de presença

n segundos sem presença Estável

Instável