Prof. João Bosco da Mota Alves INE/CTC/UFSC Fevereiro de 2002

Apresentação em tema: "Prof. João Bosco da Mota Alves INE/CTC/UFSC Fevereiro de 2002"— Transcrição da apresentação:

1 Prof. João Bosco da Mota Alves INE/CTC/UFSC Fevereiro de 2002
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 Alves INE/CTC/UFSC Fevereiro de 2002 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 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 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, ...) 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 Prof. João Bosco da Mota Alves INE/CTC/UFSC - Teoria Geral de Sistemas

6 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 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. Prof. João Bosco da Mota Alves INE/CTC/UFSC - Teoria Geral de Sistemas

8 Um Diagrama de estado 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?) 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 Prof. João Bosco da Mota Alves INE/CTC/UFSC - Teoria Geral de Sistemas

11 Sistemas com mais de 1 VE Uma partícula Aproveitamento escolar
Vetores posição e velocidade Aproveitamento escolar Notas Freqüência Saúde de uma empresa Capital de giro, dívida, crédito, etc. 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. Prof. João Bosco da Mota Alves INE/CTC/UFSC - Teoria Geral de Sistemas

13 Processo É um sistema em movimento Tipos de processos Estado
Seqüencial, concorrente, paralelo, mixto Estado Fácil definir para seqüencial Nem tanto para os demais 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 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, ... 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) 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)
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 Prof. João Bosco da Mota Alves INE/CTC/UFSC - Teoria Geral de Sistemas

19 Torres de Hanoi (3 discos) Estado inicial
Prof. João Bosco da Mota Alves INE/CTC/UFSC - Teoria Geral de Sistemas

20 Torres de Hanoi (3 discos) (Transição 1: A®B)
Prof. João Bosco da Mota Alves INE/CTC/UFSC - Teoria Geral de Sistemas

21 Torres de Hanoi (3 discos) (Transição 2: A®C)
Prof. João Bosco da Mota Alves INE/CTC/UFSC - Teoria Geral de Sistemas

22 Torres de Hanoi (3 discos) (Transição 3: B®C)
Prof. João Bosco da Mota Alves INE/CTC/UFSC - Teoria Geral de Sistemas

23 Torres de Hanoi (3 discos) (Transição 4: A®B)
Prof. João Bosco da Mota Alves INE/CTC/UFSC - Teoria Geral de Sistemas

24 Torres de Hanoi (3 discos) (Transição 5: C®A)
Prof. João Bosco da Mota Alves INE/CTC/UFSC - Teoria Geral de Sistemas

25 Torres de Hanoi (3 discos) (Transição 6: C®B)
Prof. João Bosco da Mota Alves INE/CTC/UFSC - Teoria Geral de Sistemas

26 Torres de Hanoi (3 discos) (Transição 7: A®B, estado final)
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 Inicial 1 2 4
Inicial 1 2 4 5 6 7 Final Prof. João Bosco da Mota Alves INE/CTC/UFSC - Teoria Geral de Sistemas

28 Torres de Hanoi 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 Prof. João Bosco da Mota Alves INE/CTC/UFSC - Teoria Geral de Sistemas

30 Exercícios Dê exemplos de processos com Sugestões Estado inicial
Estado final Estados intermediários Sugestões Jogo da Velha Quadrados deslizantes 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, ... 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 Instável Estável n segundos sem presença Ligado Desligado Deteção de presença Prof. João Bosco da Mota Alves INE/CTC/UFSC - Teoria Geral de Sistemas