Sistemas de Manutenção da Verdade-4. "Truth Maintenance System" Objectivos de um TMS: 1. Identificar a responsabilidade pelas conclusões
|
|
- Marta Taveira Mendonça
- 8 Há anos
- Visualizações:
Transcrição
1 Sistemas de Manutenção da Verdade-1 Sistemas de Manutenção da Verdade-2 Sistemas de Manutenção da Verdade TMS "Truth Maintenance System" Um sistema de manutenção da verdade ou TMS é um mecanismo que auxilia os motores de inferência a gerir convenientemente as dependências entre hipóteses e as conclusões delas derivadas. Objectivos de um TMS: 1. Identificar a responsabilidade pelas conclusões Fornecer informação para explicar o raciocínio, indicando as premissas que permitem derivar cada conclusão. 2. Recuperar de inconsistências Detectar as hipóteses/assunções que levaram a uma inconsistência, permitindo determinar quais retirar para remover a inconsistência. 3. Manter uma "cache" de inferências Memorizar informação sobre as conclusões já derivadas de forma a evitar repetir o processo de derivação, caso voltem a ser necessárias. Sistemas de Manutenção da Verdade-3 Sistemas de Manutenção da Verdade-4 4. Guiar o retrocesso Quando ocorre uma falha na prova de uma conclusão, permitir guiar o retrocesso não para o ponto de escolha imediatamente anterior (retrocesso cronológico clássico), mas sim para um ponto de escolha de que a falha depende (retrocesso guiado pelas dependências). 5. Raciocínio por omissão Registar que uma conclusão depende da ausência ou omissão de uma certa informação (por exemplo quando se conclui algo a partir de not(p) em Prolog ou em Jess), de modo a facilmente retirar essa conclusão se a informação em causa for adicionada ou passar a ser derivável. Sistema de raciocínio Motor de Inferência Sistema de raciocínio ou Resolvedor de problemas Justificações Crenças Explicações TMS = Motor de inferência + TMS
2 Sistemas de Manutenção da Verdade-5 Comunicação do Motor de inferência com o TMS: Nós e Justificações - Cada dado importante do sistema de raciocínio (facto, regra, conclusão,...) deve ser representado por um nó do TMS N1: advogado(joão) N2: advogado(joão) rico(joão) N3: rico(joão) - As deduções do motor de inferência são comunicadas ao TMS como justificações. As justificações podem assumir várias formas, consoante o tipo de TMS e o tipo de dedução, mas conceptualmente podemos imaginá-las da forma (nó_consequente [tipo_inferência] lista_nós_antecedentes) N1 ( N3 Modus_ponens (N1, N2) ) N3 ou apenas N2 (N3 (N1 N2)) Alguns Tipos de TMS's Sistemas de Manutenção da Verdade-6 JTMS ("Justification Based Truth Maintenance Systems"): Tipo mais simples de TMS sobre o qual os outros se baseiam. Tipicamente só pode representar cláusulas definidas (de Horn) fornecidas pelo motor de inferência. Permite responder a perguntas sobre se um nó é acreditado no estado corrente (contexto corrente). Alguns tipos de JTMS permitem usar justificações não monótonas (dependentes da ausência de uma crença). LTMS ("Logic Based Truth Maintenance Systems"): Semelhante ao JTMS mas permitindo representar explicitamente negações, podendo representar qualquer fórmula do cálculo proposicional. ATMS ("Assumption Based Truth Maintenance Systems"): Só pode representar cláusulas de Horn fornecidas pelo motor de inferência, tal como um JTMS. Permite, no entanto, responder a perguntas sobre todos os contextos em que um nó pode ser acreditado, sem necessidade de mudar de estado corrente. Sistemas de Manutenção da Verdade-7 Sistemas de Manutenção da Verdade-8 Evolução Histórica TMS (Doyle,1979) JTMS RUP (McAllester,1982) LTMS MBR (Martins e Shapiro,1983) ATMS (de Kleer,1984 e 1986) Aplicações ATMS síntese análise actualização de BD s (Finger, 1987) (Fagin et al, 1983) Diagnóstico Diagnóstico Abdução Convencional a partir dos (Poole et al,1985) 1ºs Princípios (Reiter,1987) JTMS Deduções no Motor de Inferência Justificações: John Doyle, 1979 Nós + Justificações No TMS - "Razões" que permitem derivar a crença num nó - Dependências entre um nó e os nós correspondentes aos antecedentes imediatos na derivação - Um nó pode ter várias justificações - JTMS de Doyle: variante que aceita justificações não monótonas (raciocínio por omissão)
3 Sistemas de Manutenção da Verdade-9 Sistemas de Manutenção da Verdade-10 Etiquetas IN e OUT versus Verdade e Falsidade - Os nós têm uma etiqueta associada que pode ter dois valores (estatutos) distintos: IN um nó está IN se tem associada uma justificação que é válida no estado corrente do TMS OUT um nó está OUT se: não tem nenhuma justificação nenhuma das suas justificações é válida - O JTMS só trabalha com cláusulas definidas logo não representa directamente a negação explícita. Quando é necessário raciocinar sobre a negação de um facto, por exemplo P, usam-se dois nós: um para representar P e outro para representar P. - Devido ao JTMS usar dois nós distintos para representar P e P podemos considerar que trabalha com 4 valores lógicos distintos e não apenas dois: verdade, falsidade, contradição e desconhecido. P IN OUT IN contradição P falso OUT P verdadeiro desconhecido P Sistemas de Manutenção da Verdade-11 Sistemas de Manutenção da Verdade-12 2 tipos de justificações: - "support list" SL - "conditional proof" CP Justificações SL: (SL <lista de hipóteses IN> <lista de hipóteses OUT>) Exemplo: Motor de inferência: Se P(X) e not T(X) então V(X) P(a) V(a) Uma justificação SL é válida se: - todos os nós da <lista de hipóteses IN> estão IN - todos os nós da <lista de hipóteses OUT> estão OUT Nós JTMS: Justificações Etiqueta N1 P(a) ( SL ( ) ( ) ) IN N2 T(a) OUT (sem justificação) N3 V(a) ( SL (N1) (N2) ) IN
4 Sistemas de Manutenção da Verdade-13 Sistemas de Manutenção da Verdade-14 Classificação de nós de acordo com a justificação válida de suporte a eles associada: - premissas: uma justificação (sempre válida) da forma ( SL ( ) ( ) ) - deduções (monótonas): justificação válida da forma ( SL ( N1... Nk ) ( ) ) com k 1 - assunções (deduções não monótonas): justificação válida da forma ( SL ( N1... Nk ) ( P1... Pm ) ) com k 0 e m 1 Acções básicas no JTMS: - criar um nó - adicionar ou retirar uma justificação para um nó - marcar um nó como contradição (por indicação do motor de inferência) Procedimentos do JTMS: Procedimento de revisão de crenças: Dada uma nova justificação para um nó (ou a eliminação de uma justificação para um nó), determinação do estatuto IN ou OUT de todos os nós eventualmente afectados Procedimento de retrocesso guiado pelas dependências: "Dependency directed backtracking" Dado um nó marcado como contradição, Determinar as assunções que estão na sua origem Registar a inconsistência da conjunção dessas assunções Alterar o estatuto de uma dessas assunções para resolver a contradição Manutenção da Verdade em Jess Sistemas de Manutenção da Verdade-15 - O motor de inferência do Jess inclui um mecanismo de manutenção da verdade, do tipo JTMS. - O TMS toma conhecimento de uma nova justificação para um certo facto, quando este é derivado por aplicação de uma regra que usa o elemento condicional logical no lado esquerdo (defrule exemplo (logical (alunonapauta $?x)) (logical (resultado $?x?y &:(>=?y 10))) => (assert (aprovado $?x)) ) Se esta regra for aplicada para o aluno Jorge Silva, a partir dos factos (alunonapauta Jorge Silva) e (resultado Jorge Silva 12), o novo facto inserido (aprovado Jorge Silva) ficará com uma justificação associada constituída por esses dois factos antecedentes na lista IN. Jess> (defrule exemplo TRUE => (logical (alunonapauta $?x)) (logical (resultado $?x?y &:(>=?y 10)) (assert (aprovado $?x)) ) Jess> (assert (alunonapauta Ana Barata)) <Fact-0> Jess> (assert (resultado Ana Barata 14)) <Fact-1> Jess> (run) 1 Jess> (facts) f-0 (MAIN:: alunonapauta Ana Barata) f-1 (MAIN:: resultado Ana Barata 14) f-2 (MAIN:: aprovado Ana Barata) For a total of 3 facts. Jess> (watch facts) TRUE Jess> (retract 0) <== f-0 (MAIN:: alunonapauta Ana Barata) <== f-2 (MAIN:: aprovado Ana Barata) TRUE Sistemas de Manutenção da Verdade-16
5 Sistemas de Manutenção da Verdade-17 - Quando um facto f 1 é retirado, se f 1 está a suportar logicamente outro facto f 2, isto é se f 2 tem uma única justificação de suporte associada que inclui f 1, então f 2 é automaticamente retirado. - Um facto pode ter várias justificações de suporte associadas, isto é, pode ter sido inserido múltiplas vezes, com diferentes suportes lógicos. Um tal facto só é automaticamente retirado quando cada um desses suportes lógicos tiver sido invalidado (pelo menos um dos seus factos foi retirado). - Uma justificação para um facto pode depender da ausência de uma crença, isto é, logical pode ser aplicado sobre um not - Um facto inserido sem indicar explicitamente um suporte lógico é incondicionalmente suportado (é uma premissa) e nunca é automaticamente removido, mesmo que também tenha sido inserido por outra via com factos de suporte. Sistemas de Manutenção da Verdade-18 A função (dependencies <fact-id>) retorna a lista de justificações de suporte associadas ao facto indicado como argumento. Cada justificação é um objecto Java da classe jess.token, que por sua vez representa uma lista de factos. Jess> (facts) f-0 (MAIN:: alunonapauta Ana Barata) f-1 (MAIN:: resultado Ana Barata 14) f-2 (MAIN:: aprovado Ana Barata) For a total of 3 facts. Jess> (bind?justifs (dependencies 2)) (<Java-Object:jess.Token>) A variável?justifs ficou instanciada com uma lista com um só objecto da classe jess.token que representa a única justificação de suporte ao facto 2 A classe jess.token tem vários métodos públicos: size() retorna o número de factos na justificação fact(int i) retorna o i-ésimo facto dessa justificação tostring() retorna uma string descrevendo o Token Jess> ( foreach?j?justifs (printout t (call?j tostring) crlf) ) [Token: size=2; sortcode=1; negcnt=0; facts=(main:: alunonapauta Ana Barata);(MAIN:: resultado Ana Barata 14);] Sistemas de Manutenção da Verdade-19 Esboço do algoritmo de revisão de crenças num JTMS (no caso de adição de justif.): Dada uma nova justificação para um nó N: 1. Adiciona a nova justificação a N Se N estava IN ou a justificação é inválida termina 2. Se não há nenhum nó consequência de N, muda o estatuto de N para IN e termina, caso contrário, constroi a lista L com N e as suas repercussões (consequências directas ou indirectas), memoriza o estatuto dos nós em L e atribui-lhes o estatuto temporário NULO 3. Para cada nó N i em L ainda com estatuto NULO, analisa as justificações associadas e, caso haja uma válida ou todas sejam inválidas muda o estatuto de N i respectivamente para IN ou OUT e repete este passo sobre as consequências de N i ainda com estatuto NULO Sistemas de Manutenção da Verdade Resolução de circularidades (ver adiante): Tenta atribuir coerentemente um estatuto aos nós de L ainda NULOS, assumindo que os nós mencionados nas justificações associadas aos quais não foi possível atribuir estatuto no passo 3 estão OUT 5. Se um nó de L marcado como contradição está IN, invoca o procedimento de retrocesso guiado pelas dependências 6. Compara os novos estatutos dos nós em L com os anteriormente memorizados e envia informação sobre as alterações
6 Sistemas de Manutenção da Verdade-21 Podem surgir argumentos circulares o que dificulta, ou mesmo impossibilita, a atribuição/revisão do estatuto dos nós Sendo as repercussões de N o conjunto de nós cujas justificações dependem directa ou indirectamente de N, um argumento circular pode surgir se N repercussões(n) Exemplo: Afirmação Nó Justificação professor(a) N1 (SL () (N2)) estudante(a) N2 (SL () (N1)) Sistemas de Manutenção da Verdade-22 3 tipos de circularidades: A) Impossível atribuir consistentemente um estatuto Ex: Nó Justificação N (SL () (N) ) B) Possível, sendo necessário que pelo menos um dos nós fique IN Ex: Nó Justificação N1 (SL () (N2) ) N2 (SL () (N1) ) Atribuições de estatutos consistentes com as justificações: [ N1 IN, N2 OUT ] ou [ N1 OUT, N2 IN ] C) Possível, podendo considerar-se todos os nós OUT Ex: Nó Justificação N1 (SL (N2) () ) N2 (SL (N1) () ) Atribuições de estatutos consistentes com as justificações: [ N1 OUT, N2 OUT ] ou [ N1 IN, N2 IN ] Sistemas de Manutenção da Verdade-23 CUIDADOS A TER COM OS TMS s Os algoritmos utilizados para construir TMS s são complicados. A complexidade computacional é pelo menos tão grande como a da inferência proposicional, isto é NP. O uso de um TMS não é uma panaceia (excepto para problemas pequenos). Quando utilizado cuidadosamente (com uma escolha adequada sobre o que deve ser registado como suportando os factos derivados) é uma parte importante do sistema lógico de raciocínio.
Facturação Guia do Utilizador
Facturação Guia do Utilizador Facturação Como se utiliza 2 1 Como se utiliza Todas as opções do sistema estão acessíveis através do menu: ou do menu: O Menu caracteriza-se pelas seguintes funcionalidades:
Leia maisProcesso de Bolonha. Regime de transição na FCTUC
Processo de Bolonha Regime de transição na FCTUC Aprovado na Comissão Coordenadora do Conselho Pedagógico a 20 de Setembro de 2006, na Comissão Coordenadora do Conselho Científico a 22 de Setembro de 2006,
Leia maisÍndice. Como aceder ao serviço de Certificação PME? Como efectuar uma operação de renovação da certificação?
Índice Como aceder ao serviço de Certificação PME? Como efectuar uma operação de renovação da certificação? Como efectuar uma operação de confirmação de estimativas? Como aceder ao Serviço de Certificação
Leia maisConectar diferentes pesquisas na internet por um menu
Conectar diferentes pesquisas na internet por um menu Pré requisitos: Elaboração de questionário Formulário multimídia Publicação na internet Uso de senhas na Web Visualização condicionada ao perfil A
Leia maisResolução da lista de exercícios de casos de uso
Resolução da lista de exercícios de casos de uso 1. Explique quando são criados e utilizados os diagramas de casos de uso no processo de desenvolvimento incremental e iterativo. Na fase de concepção se
Leia maisLISTA DE VERIFICAÇAO DO SISTEMA DE GESTAO DA QUALIDADE
Questionamento a alta direção: 1. Quais os objetivos e metas da organização? 2. quais os principais Produtos e/ou serviços da organização? 3. Qual o escopo da certificação? 4. qual é a Visão e Missão?
Leia maisTÉCNICAS DE PROGRAMAÇÃO
TÉCNICAS DE PROGRAMAÇÃO (Adaptado do texto do prof. Adair Santa Catarina) ALGORITMOS COM QUALIDADE MÁXIMAS DE PROGRAMAÇÃO 1) Algoritmos devem ser feitos para serem lidos por seres humanos: Tenha em mente
Leia mais31.5.2008 Jornal Oficial da União Europeia L 141/5
31.5.2008 Jornal Oficial da União Europeia L 141/5 REGULAMENTO (CE) N. o 482/2008 DA COMISSÃO de 30 de Maio de 2008 que estabelece um sistema de garantia de segurança do software, a aplicar pelos prestadores
Leia maisO que esperar do SVE KIT INFORMATIVO PARTE 1 O QUE ESPERAR DO SVE. Programa Juventude em Acção
O QUE ESPERAR DO SVE Programa Juventude em Acção KIT INFORMATIVO Parte 1 Maio de 2011 Introdução Este documento destina-se a voluntários e promotores envolvidos no SVE. Fornece informações claras a voluntários
Leia maisModelo de Trabalho de Culminação de Estudos na Modalidade de Projecto de Pesquisa
UNIVERSIDADE EDUARDO MONDLANE Faculdade de Letras e Ciências Sociais Departamento de Arqueologia e Antropologia Curso de Licenciatura em Antropologia Modelo de Trabalho de Culminação de Estudos na Modalidade
Leia maisBreezair Smart Hub. 824116-B Portuguese 0706 Page 1 of 6
GUIA TÉCNICO DO SMART HUB Geral Este documento oferece orientação técnica para a operação do Smart Hub e do sistema de Comando Industrial de Parede 05 (IWC05). Garantia e Resistência às Intempéries O invólucro
Leia maisManual do Módulo de Correspondência
Sistema de Gestão de Protocolo Eletrônico Manual do Módulo de Correspondência SUMÁRIO 1. Qual o objetivo deste documento? 2. O que são correspondências? Quais os tipos? 3. Quais os modos de cadastrar e
Leia maisTrabalho 3: Agenda de Tarefas
INF 1620 Estruturas de Dados Semestre 08.2 Trabalho 3: Agenda de Tarefas O objetivo deste trabalho é a implementação de um conjunto de funções para a manipulação de uma agenda de tarefas diárias, de forma
Leia maisCapítulo 2. VARIÁVEIS DO TIPO INTEIRO
Capítulo 2. VARIÁVEIS DO TIPO INTEIRO OBJETIVOS DO CAPÍTULO Conceitos de: variáveis do tipo inteiro, atribuição, avisos e erros de compilação, erros de execução, comentários dentro do programa-fonte Operadores
Leia maisObservações. Referência Título / Campo de Aplicação Emissor Data de adoção
NP 4239:1994 Bases para a quantificação dos custos da qualidade CT 80 1995-01-01 NP 4397:2008 Sistemas de gestão da segurança e saúde do trabalho. Requisitos CT 42 2008-12-31 NP 4410:2004 Sistemas de gestão
Leia maisFAQ: Parametrização para Contabilização
TDN > Softwares de Gestão > RM > Recursos Humanos > Administração de Pessoal > FAQ FAQ: Parametrização para Contabilização Produto: Ambiente: RM Unspecified Versão: 11.0 Avaliação A principal finalidade
Leia maisRealização. Conselho Brasileiro de Manejo Florestal FSC Brasil. www.fsc.org.br
C e rtificação gr u p o em Realização Apoio Conselho Brasileiro de Manejo Florestal FSC Brasil www.fsc.org.br 28 01 C er t ifi ca çã o emgrupo em Realização Apoio Conselho Brasileiro de Manejo Florestal
Leia maisGuia rápido de criação e gestão de um espaço no SAPO Campus
Guia rápido de criação e gestão de um espaço no SAPO Campus O SAPO Campus é uma plataforma online, disponível em http://campus.sapo.pt, que permite a comunicação e a colaboração entre membros de uma Instituição
Leia maisUNIDADE 6 - PROGRAMAÇÃO MODULAR
UNIDADE 6 - PROGRAMAÇÃO MODULAR Até o momento as estruturas de controle (seqüência, seleção e repetição) de um algoritmo definia-o como um bloco lógico (início e fim). À medida que os problemas a serem
Leia maisMEDIÇÃO EM QUÍMICA ERROS E ALGARISMOS SIGNIFICATIVOS
MEDIÇÃO EM QUÍMICA ERROS E ALGARISMOS SIGNIFICATIVOS 2 O que são e Por que se usam algarismos significativos? O valor 1,00 não é igual a 1? Do ponto de vista matemático, sim. Mas sempre que se façam medições
Leia maisObservações. Referência Título / Campo de Aplicação Emissor Data de adoção
NP 4239:1994 Bases para a quantificação dos custos da qualidade CT 80 1995-01-01 NP 4397:2008 Sistemas de gestão da segurança e saúde do trabalho. Requisitos CT 42 2008-12-31 NP 4410:2004 Sistemas de gestão
Leia maisIntrodução... 3. 1ª Parte - Acesso à Aplicação Avaliação Online... 4 I Aceder à Aplicação... 4 1. Inscrição... 4 2. Acesso à Aplicação...
Índice Introdução... 3 1ª Parte - Acesso à Aplicação Avaliação Online... 4 I Aceder à Aplicação... 4 1. Inscrição... 4 2. Acesso à Aplicação... 4 II Entrada na Aplicação... 5 1. Informações... 6 1. Avaliação
Leia maisPrincípios do teste de software
Teste de Software Princípios do teste de software Conforme a Lei de Pareto, 80% dos erros podem ser localizados em 20% do projeto, geralmente nos módulos principais do sistema; A atividade de teste não
Leia maisEventos independentes
Eventos independentes Adaptado do artigo de Flávio Wagner Rodrigues Neste artigo são discutidos alguns aspectos ligados à noção de independência de dois eventos na Teoria das Probabilidades. Os objetivos
Leia maisFigure 2 - Nós folhas de uma árvore binária representando caracteres ASCII
A ocorrência tamanho ASCII codificação de Huffman é um A Codificação método de compactação de Huffman caracteres (American e a variável codificação dos usado símbolos Standard para por cada muitas no Code
Leia maisExercícios Teóricos Resolvidos
Universidade Federal de Minas Gerais Instituto de Ciências Exatas Departamento de Matemática Exercícios Teóricos Resolvidos O propósito deste texto é tentar mostrar aos alunos várias maneiras de raciocinar
Leia maisEngenharia do Conhecimento
Engenharia do Conhecimento 1º Projecto 23 de Março de 2015 BattleShip Jess Prazo de Entrega: 19 de Abril Objectivo Geral: Pretende-se desenvolver em Jess uma das variantes do jogo clássico da Batalha Naval.
Leia maisPontes. Aula 14. VLANs. Pontes (bridges) Virtual LANs (VLANs) 2005-2006
Aula 14 (bridges) Virtual LANs () FCUL 2005-2006 Nível 1/2 vs nível 3 A interligação de redes é, de acordo com os modelos OSI ou TCP/IP, feita no nível 3. Vantagens da interligação nível 3 Genérica, pois
Leia maisSISTEMA DE CLIMATIZAÇÃO
AUTOMAÇÃO SEGURANÇA SOM SISTEMA DE CLIMATIZAÇÃO MANUAL DO UTILIZADOR www.only-pt.pt INTRODUÇÃO... 4 EQUIPAMENTOS... 4 CONTROLOS E INDICAÇÕES... 5 CONFIGURAÇÃO ATRAVÉS DO OTC-CLIMA... 6 1. Ajuste de data
Leia maisManual das planilhas de Obras v2.5
Manual das planilhas de Obras v2.5 Detalhamento dos principais tópicos para uso das planilhas de obra Elaborado pela Equipe Planilhas de Obra.com Conteúdo 1. Gerando previsão de custos da obra (Módulo
Leia maisAula anterior... Definição do algoritmo (continuação)
Aula anterior... Definição do algoritmo (continuação) Método de decomposição hierárquica utilizando níveis crescentes de detalhe (abordagem top-down) Primeira noção de encapsulamento de operações Decomposição
Leia maisO que é coleta de dados?
O que é coleta de dados? Segundo Bandeira (2004) no projeto de pesquisa, o pesquisador deverá descrever detalhadamente o método que usará para coletar seus dados. Basicamente ele pode adotar como método
Leia mais[ \ x Recordemos o caso mais simples de um VLVWHPD de duas HTXDo}HVOLQHDUHV nas duas LQFyJQLWDV [ e \.
&DStWXOR±6LVWHPDVGH(TXDo}HV/LQHDUHV1 &DStWXOR±6LVWHPDVGH(TXDo}HV/LQHDUHV Å 1Ro}HV *HUDLV Recordemos o caso mais simples de um VLVWHPD de duas HTXDo}HVOLQHDUHV nas duas LQFyJQLWDV [ e \. [\ [\ É fácil verificar
Leia mais6. Pronunciamento Técnico CPC 23 Políticas Contábeis, Mudança de Estimativa e Retificação de Erro
TÍTULO : PLANO CONTÁBIL DAS INSTITUIÇÕES DO SISTEMA FINANCEIRO NACIONAL - COSIF 1 6. Pronunciamento Técnico CPC 23 Políticas Contábeis, Mudança de Estimativa e Retificação de Erro 1. Aplicação 1- As instituições
Leia maisActualizaç ões e novas funcionalidades. Inoxnet. Versã o 1.70. (c) EBASE Lda. www.inoxnet.com
Actualizaç ões e novas funcionalidades Inoxnet Versã o 1.70 (c) EBASE Lda www.inoxnet.com Índice PORTAL DO INOXNET...3 Modelos... 3 Suporte... 3 Links ú teis... 3 BACK-OFFICE DO WEBSITE...3 Menu... 3 Editor
Leia maisOrientações sobre o tratamento de dados dos documentos de identificação dos titulares de cartão de pagamento por parte das firmas comerciais
Orientações sobre o tratamento de dados dos documentos de identificação dos titulares de cartão de pagamento por parte das firmas comerciais Muitas firmas comerciais de Macau solicitam o fornecimento de
Leia maisCOMITÊ DE ÉTICA EM PESQUISA DA ESCOLA DE SAÚDE PÚBLICA DO CEARÁ
COMITÊ DE ÉTICA EM PESQUISA DA ESCOLA DE SAÚDE PÚBLICA DO CEARÁ 1. ORIENTAÇÕES PARA ELABORAÇÃO DO TERMO DE CONSENTIMENTO LIVRE E ESCLARECIDO (TCLE) A importância do TCLE. A Resolução CNS 196/96 afirma
Leia maisComo criar um blog. Será aberta uma janela onde você deverá especificar o título do blog, o endereço do blog, e o modelo.
Como criar um blog Criando o blog Vá em www.blogger.com. Entre com sua conta google (a mesma que você usa para acessar o gmail). Escolha um perfil. Na página seguinte, clique no botão novo blog. Será aberta
Leia maisAmostras e guias de iniciação Versão 8 Edição 0. Guia de iniciação do Hiring Sample para o IBM Process Designer
Amostras e guias de iniciação Versão 8 Edição 0 Guia de iniciação do Hiring Sample para o IBM Process Designer ii Hiring Sample Os manuais em PDF e o Information Center Os manuais em PDF são fornecidos
Leia maisTRANSIÇÃO DAS CERTIFICAÇÕES DOS SISTEMAS DE GESTÃO DA QUALIDADE E SISTEMAS DE GESTÃO AMBIENTAL, PARA AS VERSÕES 2015 DAS NORMAS.
TRANSIÇÃO DAS CERTIFICAÇÕES DOS SISTEMAS DE GESTÃO DA QUALIDADE E SISTEMAS DE GESTÃO AMBIENTAL, PARA AS VERSÕES 2015 DAS NORMAS. As novas versões das normas ABNT NBR ISO 9001 e ABNT NBR ISO 14001 foram
Leia maisBREVE INTRODUÇÃO AO SISTEMA DA GESTÃO DE DOCUMENTOS DA CÂMARA MUNICIPAL DE MACAU PROVISÓRIA
Administração n.º 47, vol. X III, 2000-1.º, 263-271 BREVE INTRODUÇÃO AO SISTEMA DA GESTÃO DE DOCUMENTOS DA CÂMARA MUNICIPAL DE MACAU PROVISÓRIA Iong Chi Seng, Lao Chon Pio e Lao Sok Chi* A Câmara Municipal
Leia maisAdministração da Produção I
Administração da Produção I Manutenção Manutenção Manutenção: Termo usado para abordar a forma pela qual organizações tentam evitar as falhas cuidando de suas instalações físicas. É uma parte importante
Leia maisManual do Usuário - ProJuris Web - Biblioteca Jurídica Página 1 de 20
As informações contidas neste documento estão sujeitas a alterações sem o prévio aviso, o que não representa um compromisso da Virtuem Informática. As pessoas, organizações ou empresas e eventos de exemplos
Leia maisTRANSMISSÃO DE DADOS Prof. Ricardo Rodrigues Barcelar http://www.ricardobarcelar.com
- Aula 3-1. A CAMADA DE REDE (Parte 1) A camada de Rede está relacionada à transferência de pacotes da origem para o destino. No entanto, chegar ao destino pode envolver vários saltos em roteadores intermediários.
Leia maisTabelas vista de estrutura
Tabelas vista de estrutura A vista de estrutura permite definir a configuração dos dados Vamos adicionar os restantes campos à tabela carros, de acordo com o modelo de dados feito no papel 47 Tabelas vista
Leia maisBase Nacional Comum Curricular 2016. Lemann Center at Stanford University
Base Nacional Comum Curricular 2016 Lemann Center at Stanford University Parte II: Base Nacional Comum: Análise e Recomendações da Seção de Matemática Phil Daro Dezembro, 2015 BASE NACIONAL COMUM: ANÁLISE
Leia maisSubmissão Autenticada de Ficheiros ao SIGEX
Submissão Autenticada de Ficheiros ao SIGEX Segurança em Sistemas Informáticos José Martins - ei06031@fe.up.pt Marcelo Cerqueira - ei06093@fe.up.pt Grupo 10, T4 Índice Introdução... 3 Problema e Objectivos...
Leia maisLógica Proposicional
Lógica Proposicional Prof. Dr. Silvio do Lago Pereira slago@ime.usp.br 1 Introdução A lógica proposicional é um formalismo matemático através do qual podemos abstrair a estrutura de um argumento, eliminado
Leia maisCapítulo 6 Movimentos
Capítulo 6 Movimentos Neste capítulo pretende-se mostrar como se regista qualquer tipo de movimento. Começase por explicar como é composto o ecrã dos movimentos administrativos, todos os ícones a ele associados
Leia maisTer o controle das pastas (Prontuários) armazenadas no "SAME", utilizando-se do recurso do "Volume".
Page 1 of 31 184771 Módulo: AMAP - SAME PDA 184771: Controle do Arquivamento de Pastas do SAME. SOLICITAÇÃO DO CLIENTE Ter o controle das pastas (Prontuários) armazenadas no "SAME", utilizando-se do recurso
Leia maisProgramação por Objectos. Java
Programação por Objectos Java Parte 6: Herança e Polimorfismo LEEC@IST Java 1/52 Herança revisão A herança é um mecanismo em que a subclasse constitui uma especialização da superclasse. A superclasse pode
Leia maisManual SIGEESCOLA Matrícula - 2009
Manual SIGEESCOLA Matrícula - 2009 GOVERNO DO ESTADO DO CEARÁ SECRETARIA DA EDUCAÇÃO BÁSICA COORDENADORIA DE DESENVOLVIMENTO DA ESCOLA PASSO A PASSO DA UTILIZAÇÃO DO SIGE ESCOLA 2009 1. PARA ACESSAR O
Leia mais3 Metodologia 3.1. Tipo de pesquisa
3 Metodologia 3.1. Tipo de pesquisa Escolher o tipo de pesquisa a ser utilizado é um passo fundamental para se chegar a conclusões claras e responder os objetivos do trabalho. Como existem vários tipos
Leia maisPAINEL DE ADMINISTRADOR
PAINEL DE ADMINISTRADOR IMPORTANTE: O Painel de administrador APENAS deverá ser utilizado pelo responsável do sistema. são: Nesta aplicação, poderá configurar todo o sistema de facturação. As opções do
Leia maisManual de Utilizador Plataforma de Estágios TIC. www.estagiostic.gov.pt
Manual de Utilizador Plataforma de Estágios TIC www.estagiostic.gov.pt 1 Índice 1 Introdução 3 1.1 Programa de Estágios TIC 3 1.2 Objectivo da plataforma 3 1.3 Perfis 4 1.3.1 Escola 4 1.3.2 Empresa 4 1.3.3
Leia maispor séries de potências
Seção 23: Resolução de equações diferenciais por séries de potências Até este ponto, quando resolvemos equações diferenciais ordinárias, nosso objetivo foi sempre encontrar as soluções expressas por meio
Leia maisTrabalho de Desenvolvimento de Sistemas de Software GereComSaber 2ª Fase
Universidade do Minho Departamento de Informática Desenvolvimento de Sistemas de Software Trabalho de Desenvolvimento de Sistemas de Software GereComSaber 2ª Fase Luana Georgia Lopes Telha nº 49379 Luís
Leia maisSumário. Deadlock. Definição. Recursos. M. Sc. Luiz Alberto lasf.bel@gmail.com
Sumário Condições para Ocorrência de Modelagem de Evitando deadlock Algoritmo do banqueiro M. Sc. Luiz Alberto lasf.bel@gmail.com Aula - SO 1 Definição Um conjunto de N processos está em deadlock quando
Leia mais1. Criar uma nova apresentação
MANUAL DO Baixa da Banheira, 2006 1. Criar uma nova apresentação Para iniciar uma sessão de trabalho no PowerPoint é necessário criar uma nova apresentação para depois trabalhar a mesma. Ao iniciar uma
Leia maisProgramação em papel quadriculado
4 NOME DA AULA: Programação em papel quadriculado Tempo de aula: 45 60 minutos Tempo de preparação: 10 minutos Objetivo principal: ajudar os alunos a entender como a codificação funciona. RESUMO Ao "programar"
Leia maisJogos vs. Problemas de Procura
Jogos Capítulo 6 Jogos vs. Problemas de Procura Adversário imprevisível" necessidade de tomar em consideração todas os movimentos que podem ser tomados pelo adversário Pontuação com sinais opostos O que
Leia maisServiço de Clientes. Gestix Enterprise. Gestix.com
Serviço de Clientes Gestix Enterprise Serviço de Clientes Objectivo O módulo Serviço de Clientes permite organizar o expediente pós-venda de forma a aumentar a qualidade do serviço prestado ao cliente.
Leia maisObservação das aulas Algumas indicações para observar as aulas
Observação das aulas Algumas indicações para observar as aulas OBJECTVOS: Avaliar a capacidade do/a professor(a) de integrar esta abordagem nas actividades quotidianas. sso implicará igualmente uma descrição
Leia maisEste artigo abaixo foi produzido originalmente para a Network Core Wiki. Reproduzo-a aqui na íntegra. Publicado originalmente em 07/12/2007.
Vírus no Linux? Este artigo abaixo foi produzido originalmente para a Network Core Wiki. Reproduzo-a aqui na íntegra. Publicado originalmente em 07/12/2007. Interface de uma distribuição Linux Uma das
Leia mais4.4. UML Diagramas de interacção
Engenharia de Software 4.4. UML Diagramas de interacção Nuno Miguel Gil Fonseca nuno.fonseca@estgoh.ipc.pt Um diagrama de interacção mostra um padrão de interacção entre vários objectos, com objectos e
Leia maisContrato de Assistência Técnica ao Programa pleon
Contrato de Assistência Técnica ao Programa pleon dbgep/99999 Entre: -------------------------------------------------------------------------------------------------------------------------------------------
Leia maisESTENDENDO A UML PARA REPRESENTAR RESTRIÇÕES DE INTEGRIDADE
ESTENDENDO A UML PARA REPRESENTAR RESTRIÇÕES DE INTEGRIDADE Fabiana Gomes Marinho Faculdade Lourenço Filho Resumo: Na UML, a modelagem conceitual dos dados é descrita pelo diagrama de classes, que através
Leia maisO que é o Contrato de Seguro?
O que é o Contrato de Seguro? O contrato de seguro é um acordo através do qual o segurador assume a cobertura de determinados riscos, comprometendo-se a satisfazer as indemnizações ou a pagar o capital
Leia maisOrientações relativas à avaliação interna do risco e da solvência
EIOPA-BoS-14/259 PT Orientações relativas à avaliação interna do risco e da solvência EIOPA Westhafen Tower, Westhafenplatz 1-60327 Frankfurt Germany - Tel. + 49 69-951119-20; Fax. + 49 69-951119-19; email:
Leia maisTarefa 18: Criar Tabelas Dinâmicas a partir de Listas de Excel
Tarefa 18: Criar Tabelas Dinâmicas a partir de 1. Alguns conceitos sobre Tabelas Dinâmicas Com tabelas dinâmicas podemos criar dinâmica e imediatamente resumos de uma lista Excel ou de uma base de dados
Leia maisMantis. Solicitando suporte. Manual do Cliente
Mantis Solicitando suporte Manual do Cliente Telefones: 3355-1594, 3350-6917, 4053 9165 - WWW.intelidata.inf.br Página 1 2012 Sumário USANDO O MANTIS PARA SOLICITAR SUPORTE... 3 Tela de Login... 3 Minha
Leia maisUnionWeb Condominium
UnionWeb Condominium Esse manual contém explicações técnicas de configuração e manutenção administrativa. Não deve ser repassado para moradores, é para utilização da Administradora ou responsável para
Leia maisAlgoritmos e Programação II. Sobrecarga
Algoritmos e Programação II Baseado no Material do Prof. Júlio Machado Sobrecarga Em várias linguagens é comum encontrarmos rotinas que fazem basicamente a mesma coisa, porém, têm nomes distintos porque
Leia maisUma expressão básica em SQL consiste em três cláusulas: select, from e where.
Introdução a Banco de Dados O.K. Takai; I.C.Italiano; J.E. Ferreira. 67 8 A Linguagem SQL A linguagem SQL é um padrão de linguagem de consulta comercial que usa uma combinação de construtores em Álgebra
Leia maisINSTRUÇÕES DE REGATA
Clube Náutico das Lajes do Pico INSTRUÇÕES DE REGATA 3ª PCR - Lajes do Pico, 26 e 27 de Novembro de 2011 A Federação Portuguesa de Vela estabelece estas Instruções de Regata para a 3ª Prova do Campeonato
Leia maisA SEGUIR ALGUMAS DICAS PARA O DESENVOLVIMENTO DE UM PROJETO CIENTÍFICO
A SEGUIR ALGUMAS DICAS PARA O DESENVOLVIMENTO DE UM PROJETO CIENTÍFICO DESENVOLVENDO UM PROJETO 1. Pense em um tema de seu interesse ou um problema que você gostaria de resolver. 2. Obtenha um caderno
Leia maisMANUAL DE PROCEDIMENTOS PLATAFORMA DE INSCRIÇÕES ONLINE
A época de 2012/2013 terá um novo recurso para a Filiação e Inscrições em Provas para os Clubes, Equipas e Agentes Desportivos, tendo sido criada para o efeito uma nova Plataforma de Inscrições Online.
Leia maisRepresentação do Conhecimento
UNIVERSIDADE TÉCNICA DE LISBOA INSTITUTO SUPERIOR TÉCNICO Representação do Conhecimento Licenciatura em Engenharia Informática e de Computadores Repescagem Segundo teste 0 de Julho de 004, 9:00H 0:0H Nome:
Leia maisISO/IEC 17050-1. Avaliação da conformidade Declaração de conformidade do fornecedor Parte 1: Requisitos gerais
QSP Informe Reservado Nº 42 Janeiro/2005 ISO/IEC 17050-1 Avaliação da conformidade Declaração de conformidade do fornecedor Parte 1: Requisitos gerais Tradução livre especialmente preparada para os Associados
Leia mais1 Introdução. 2 Exemplo de aplicação
Os problemas da utilização de métodos de simulação de cargas térmicas e consumo energético na auditoria energética para verificação dos Requisitos Energéticos dos edifícios por Luís Roriz e Alexandre Gonçalves
Leia maisREGULAMENTO SOBRE INSCRIÇÕES, AVALIAÇÃO E PASSAGEM DE ANO (RIAPA)
REGULAMENTO SOBRE INSCRIÇÕES, AVALIAÇÃO E PASSAGEM DE ANO (RIAPA) CAPÍTULO I REGIME DE FUNCIONAMENTO Artigo 1º - Âmbito O disposto no presente Regulamento aplica-se apenas aos cursos de graduação da Universidade
Leia maisMD Sequências e Indução Matemática 1
Sequências Indução Matemática Renato Martins Assunção assuncao@dcc.ufmg.br Antonio Alfredo Ferreira Loureiro loureiro@dcc.ufmg.br MD Sequências e Indução Matemática 1 Introdução Uma das tarefas mais importantes
Leia maisWork Flow no EGS F&B Control
Work Flow no EGS F&B Control Work Flow EGS F&B Ver. 10.3.0 Página 1 1. Requisição interna Na Opção Existência / Lista de requisições deverão as secções criar os seus pedidos. Criando nova requisição. Esta
Leia maisUsando o do-file editor Automatizando o Stata
Usando o do-file editor Automatizando o Stata 1 O QUE É O EDITOR DE DO-FILE O Stata vem com um editor de texto integrado, o do-file editor (editor de do-files, em português), que pode ser usado para executar
Leia maisAnálise e Projeto Orientados a Objeto
Análise e Projeto Orientados a Objeto Objetivos Comparar e contrastar Análise e Projeto Definir O que vamos fazer na disciplina? Saber uma linguagem de programação orientada a objeto (OO) não é suficiente
Leia mais6. Programação Inteira
Pesquisa Operacional II 6. Programação Inteira Faculdade de Engenharia Eng. Celso Daniel Engenharia de Produção Programação Inteira São problemas de programação matemática em que a função objetivo, bem
Leia maisPotenciação no Conjunto dos Números Inteiros - Z
Rua Oto de Alencar nº 5-9, Maracanã/RJ - tel. 04-98/4-98 Potenciação no Conjunto dos Números Inteiros - Z Podemos epressar o produto de quatro fatores iguais a.... por meio de uma potência de base e epoente
Leia maisNovo Formato de Logins Manual de Consulta
Gestão Integrada de Acessos Novo Formato de Logins Manual de Consulta Gestão Integrada de Acessos Histórico de Alterações Versão Descrição Autor Data 1.0 Versão inicial DSI/PPQ 2014-07-11 Controlo do documento
Leia maisASSUNTO: Processo de Auto-avaliação da Adequação do Capital Interno (ICAAP)
Manual de Instruções do Banco de Portugal Instrução nº 15/2007 ASSUNTO: Processo de Auto-avaliação da Adequação do Capital Interno (ICAAP) A avaliação e a determinação com rigor do nível de capital interno
Leia maisRegras Métodos Identificadores Variáveis Constantes Tipos de dados Comandos de atribuição Operadores aritméticos, relacionais e lógicos
Lógica Aula 2 Técnicas de Programação Criando algoritmos Regras Métodos Identificadores Variáveis Constantes Tipos de dados Comandos de atribuição Operadores aritméticos, relacionais e lógicos Criando
Leia maisAula 4 Estatística Conceitos básicos
Aula 4 Estatística Conceitos básicos Plano de Aula Amostra e universo Média Variância / desvio-padrão / erro-padrão Intervalo de confiança Teste de hipótese Amostra e Universo A estatística nos ajuda a
Leia mais7 - Análise de redes Pesquisa Operacional CAPÍTULO 7 ANÁLISE DE REDES. 4 c. Figura 7.1 - Exemplo de um grafo linear.
CAPÍTULO 7 7 ANÁLISE DE REDES 7.1 Conceitos Básicos em Teoria dos Grafos Diversos problemas de programação linear, inclusive os problemas de transporte, podem ser modelados como problemas de fluxo de redes.
Leia maisEspecificação Operacional.
Especificação Operacional. Para muitos sistemas, a incerteza acerca dos requisitos leva a mudanças e problemas mais tarde no desenvolvimento de software. Zave (1984) sugere um modelo de processo que permite
Leia mais1. Requisitos quanto a detecção e sensores
TERMOS DE REFERÊNCIA DO EUROSISTEMA PARA A UTILIZAÇÃO DE MÁQUINAS DE DEPÓSITO, ESCOLHA E LEVANTAMENTO POR INSTITUIÇÕES DE CRÉDITO, BEM COMO QUALQUER OUTRA INSTITUIÇÃO DA ÁREA DO EURO, QUE INTERVENHAM,
Leia maisPROBABILIDADE Prof. Adriano Mendonça Souza, Dr.
PROBABILIDADE Prof. Adriano Mendonça Souza, Dr. Departamento de Estatística - PPGEMQ / PPGEP - UFSM - O intelecto faz pouco na estrada que leva à descoberta, acontece um salto na consciência, chameo de
Leia maisformativa e das atividades de ensino e de aprendizagem nela desenvolvidas;
Índice 1- ENQUADRAMENTO... 2 2- METODOLOGIA... 3 3- INSTRUMENTOS... 4 3.1. Ficha da unidade curricular... 4 3.2. Inquéritos de apreciação ensino/aprendizagem... 4 3.3. Formulários... 4 3.4. Dossiers...
Leia mais