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