25 resultados para temporal disjunctive logic programming


Relevância:

20.00% 20.00%

Publicador:

Resumo:

Esta dissertação investiga a aplicação dos algoritmos evolucionários inspirados na computação quântica na síntese de circuitos sequenciais. Os sistemas digitais sequenciais representam uma classe de circuitos que é capaz de executar operações em uma determinada sequência. Nos circuitos sequenciais, os valores dos sinais de saída dependem não só dos valores dos sinais de entrada como também do estado atual do sistema. Os requisitos cada vez mais exigentes quanto à funcionalidade e ao desempenho dos sistemas digitais exigem projetos cada vez mais eficientes. O projeto destes circuitos, quando executado de forma manual, se tornou demorado e, com isso, a importância das ferramentas para a síntese automática de circuitos cresceu rapidamente. Estas ferramentas conhecidas como ECAD (Electronic Computer-Aided Design) são programas de computador normalmente baseados em heurísticas. Recentemente, os algoritmos evolucionários também começaram a ser utilizados como base para as ferramentas ECAD. Estas aplicações são referenciadas na literatura como eletrônica evolucionária. Os algoritmos mais comumente utilizados na eletrônica evolucionária são os algoritmos genéticos e a programação genética. Este trabalho apresenta um estudo da aplicação dos algoritmos evolucionários inspirados na computação quântica como uma ferramenta para a síntese automática de circuitos sequenciais. Esta classe de algoritmos utiliza os princípios da computação quântica para melhorar o desempenho dos algoritmos evolucionários. Tradicionalmente, o projeto dos circuitos sequenciais é dividido em cinco etapas principais: (i) Especificação da máquina de estados; (ii) Redução de estados; (iii) Atribuição de estados; (iv) Síntese da lógica de controle e (v) Implementação da máquina de estados. O Algoritmo Evolucionário Inspirado na Computação Quântica (AEICQ) proposto neste trabalho é utilizado na etapa de atribuição de estados. A escolha de uma atribuição de estados ótima é tratada na literatura como um problema ainda sem solução. A atribuição de estados escolhida para uma determinada máquina de estados tem um impacto direto na complexidade da sua lógica de controle. Os resultados mostram que as atribuições de estados obtidas pelo AEICQ de fato conduzem à implementação de circuitos de menor complexidade quando comparados com os circuitos gerados a partir de atribuições obtidas por outros métodos. O AEICQ e utilizado também na etapa de síntese da lógica de controle das máquinas de estados. Os circuitos evoluídos pelo AEICQ são otimizados segundo a área ocupada e o atraso de propagação. Estes circuitos são compatíveis com os circuitos obtidos por outros métodos e em alguns casos até mesmo superior em termos de área e de desempenho, sugerindo que existe um potencial de aplicação desta classe de algoritmos no projeto de circuitos eletrônicos.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Este trabalho investiga a implementação de sistemas fuzzy com circuitos eletrônicos. Tais sistemas têm demonstrado sua capacidade de resolver diversos tipos de problemas em várias aplicações de engenharia, em especial nas relacionadas com controle de processos. Para processos mais complexos, o raciocínio aproximado da lógica fuzzy fornece uma maneira de compreender o comportamento do sistema, permitindo a interpolação aproximada entre situações observadas de entrada e saída. A implementação de um sistema fuzzy pode ser baseada em hardware, em software ou em ambos. Tipicamente, as implementações em software utilizam ambientes de programação integrados com simulação, de modo a facilitar o trabalho do projetista. As implementações em hardware, tradicionais ou evolutivas, podem ser analógicas ou digitais e viabilizam sistemas de maior desempenho. Este trabalho tem por objetivo pesquisar a implementação eletrônica de sistemas fuzzy, a fim de viabilizar a criação de sistemas reais capazes de realizar o mapeamento de entrada e saída adequado. O foco é a utilização de uma plataforma com uma arquitetura analógico-digital baseada em uma tabela de mapeamento armazenada em uma memória de alta capacidade. Memórias do tipo SD (Secure Digital) foram estudadas e utilizadas na construção do protótipo eletrônico da plataforma. Também foram desenvolvidos estudos sobre a quantização, especificamente sobre a possibilidade de redução do número de bits. Com a implementação realizada é possível desenvolver um sistema fuzzy num ambiente simulado (Matlab), configurar a plataforma e executar o sistema fuzzy diretamente na plataforma eletrônica. Os testes com o protótipo construído comprovaram seu bom funcionamento.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Este trabalho teve como objetivo principal implementar um algoritmo empírico para o monitoramento do processo de eutrofização da Baía de Guanabara (BG), Rio de Janeiro (RJ), utilizando dados de clorofila-a coletados in situ e imagens de satélite coletadas pelo sensor MERIS, a bordo do satélite ENVISAT, da Agência Espacial Européia (ESA). Para a elaboração do algoritmo foi utilizada uma série histórica de clorofila-a (Out/2002 a Jan/2012) fornecida pelo Laboratório de Biologia Marinha da UFRJ, que, acoplada aos dados radiométricos coletados pelo sensor MERIS em datas concomitantes com as coletas in situ de clorofila-a, permitiu a determinação das curvas de regressão que deram origem aos algorítmos. Diversas combinações de bandas foram utilizadas, com ênfase nos comprimentos de onda do verde, vermelho e infra-vermelho próximo. O algoritmo escolhido (R = 0,66 e MRE = 77,5%) fez uso dos comprimentos de onda entre o verde e o vermelho (665, 680, 560 e 620 nm) e apresentou resultado satisfatório, apesar das limitações devido à complexidade da área de estudo e problemas no algoritmo de correção atmosférica . Algorítmos típicos de água do Caso I (OC3 e OC4) também foram testados, assim como os algoritmos FLH e MCI, aconselhados para águas com concentrações elevadas de Chl-a, todos com resultados insatisfatório. Como observado por estudos pretéritos, a Baia de Guanabara possui alta variabilidade espacial e temporal de concentrações de clorofila-a, com as maiores concentrações no período úmido (meses: 01, 02, 03, 10, 11 12) e nas porções marginais (~ 100 mg.m-3), particularmente na borda Oeste da baia, e menores concentrações no período seco e no canal principal de circulação (~ 20 mg.m-3). O presente trabalho é pioneiro na construção e aplicação de algoritmos bio-óptico para a região da BG utilizando imagens MERIS. Apesar dos bons resultados, o presente algorítmo não deve ser considerado definitivo, e recomenda-se para trabalhos futuros testar os diferentes modelos de correção atmosférico para as imagens MERIS.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

A Organização Mundial da Saúde estima que existam aproximadamente 250 milhões de mulheres tabagistas no mundo. Em países em desenvolvimento, a prevalência do tabagismo pode variar de 11 a 35% em mulheres grávidas, constituindo um problema de saúde pública. Nicotina, um agonista colinérgico considerado o mais importante componente ativo da fumaça do cigarro, é capaz de causar déficits em um cérebro em desenvolvimento, no entanto, muitos estudos investigam estes efeitos durante a gestação de roedores, que corresponde aos dois primeiros trimestres de gestação em humanos. O presente estudo, foi focado nos efeitos da nicotina sobre o sistema colinérgico cerebral durante o equivalente ao terceiro trimestre de gestação em humanos. Ratas lactantes foram expostas a nicotina (NIC, 6 mg/Kg/dia) ou a salina (SAL) via mini-bombas osmóticas (s.c.) a partir do 2 dia ate o 16 dia pós-natal (PN). Filhotes NIC e SAL foram sacrificados durante a exposição, em PN15, e após a retirada em três momentos diferentes, PN21, PN30 e em PN90. Quatro biomarcadores foram considerados. Para avaliação dos efeitos sobre os receptores nicotínicos de acetilcolina (nAChRs), nós utilizamos [3H]citisina, que é um ligante seletivo para α4β2. Nos também medimos o marcador [3H]hemicholinium-3 (CH-3) de alta afinidade para o transportador pré-sináptico de colina, e a atividade das enzimas colina acetiltransferase (ChAT) e acetilcolinesterase (AChE) no córtex cerebral (CX), mesencéfalo (MB) e hipocampo (HP) na prole. O grupo NIC apresentou supra-regulação de nAChRs em todas as regiões durante a exposição, este efeito foi revertido pouco tempo após a retirada. Interessantemente, uma significante infra-regulação de nAChRs foi observada após um longo tempo da retirada somente em CX. A exposição à nicotina reduziu a marcação para HC-3 durante a exposição em todas as regiões e foi revertida em PN21. Já em PN30, o grupo NIC apresentou uma diminuição do HC-3. Em contraste, em PN90, foi observado um aumento de HC-3. Não foram observados efeitos para atividade da ChAT e da AChE em CX. No que diz respeito ao MB, o grupo NIC apresentou um aumento de atividade para ambas as enzimas, ChAT e AChE, em PN30. Para a mesma idade, nos observamos um decréscimo desta atividade somente em HP. E, após um longo tempo de retirada, somente HP apresentou um aumento na atividade da ChAT. Estes dados sugerem que a exposição à nicotina em ratos durante o equivalente ao terceiro trimestre de gestação em humanos promove alterações no sistema colinérgico dos filhotes. Somado a isto, nossos resultados indicam que os efeitos prejudiciais são observáveis mesmo muito tempo após a exposição ter sido interrompida.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Estudos de longo prazo são essenciais para avaliar efeitos que em pouco tempo não seriam possíveis observá-los. Moluscos límnicos são parte importante dos ecossistemas aquáticos, além se serem vetores de parasitos de importância médica. A comunidade de moluscos do riacho da Vila do Abraão já havia sido estudada, havendo registro de sete espécies, incluindo a exótica Melanoides tuberculata. O objetivo geral do trabalho foi acompanhar a dinâmica das populações de moluscos límnicos, com ênfase em M. tuberculata durante sete anos. Avaliamos as variações na comunidade de moluscos límnicos em um riacho na Vila do Abraão Ilha Grande, Angra dos Reis, RJ, Brasil. Foram realizadas 42 coletas bimestrais no período de julho/2006 a novembro/2013. O trecho estudado foi dividido em oito pontos de coleta, com três coletores em cada, realizando buscas de 15 minutos, totalizando 45 minutos por ponto. Foram mensurados os fatores abióticos: luminosidade, temperatura do ar e da água, umidade, pH, condutividade, profundidade e oxigênio dissolvido. Para o acompanhamento da comunidade, foi calculada a abundância, abundância relativa, constância, índices de diversidade Simpson e Shannon, assim como equitabilidade e uniformidade, para cada espécie em cada expedição de coleta. Para investigar a associação dos moluscos com a helmintofauna, realizou-se o teste de exposição a luz. Para biomassa, de M. tuberculata foi calculado o peso seco da parte mole, e os valores de abundância foram convertidos para densidade. No total do estudo, foram coletados 90.718 espécimes: oito gastrópodes (M. tuberculata, Heleobia australis, Potamolithus sp., Physa acuta, Biomphalaria tenagophila, Gundlachia ticaga, Ferrissia fragilis e Omalonyx matheroni) e um bivalve (Pisidium punctiferum). As duas espécies mais abundantes foram: M. tuberculata, com 80% e P. acuta, com 8% do total dos indivíduos. Melanoides tuberculata foi a espécie mais constante do estudo, já que após Fevereiro/2009 foi encontrada em todos os pontos de coleta, exceto nas últimas expedições. Os índices de diversidade apresentaram valores diferentes entre Simpson e Shannon, mas com variações semelhantes. A equitabilidade e a uniformidade foram muito baixas, indicando uma dominância de M. tuberculata. Apenas M. tuberculata se apresentou parasitado por Centrocestus formosanus, com a maior prevalência em Abril/2013, quando mais de 50% da população estava parasitada. A biomassa foi calculada em 8155 g durante o estudo, e a produção secundária foi estimada em 423 g m-2year-1 no último ano estudado, sofrendo diminuição de acordo com a queda populacional de M. tuberculata que por sua vez, foi possivelmente influenciada pelo parasitismo. Podemos concluir que a riqueza da comunidade aumentou de sete para nove espécies, sendo seis exóticas e três nativas. A comunidade de moluscos da Vila do Abraão encontra-se dominada por M. tuberculata, este sobrepujando as demais, em abundância e biomassa. Tendo em vista o perigo das introduções, reforçamos a importância dos estudos de longo prazo para o acompanhamento de comunidades, sendo importantes para subsidiar estratégias de conservação principalmente em unidades de conservação.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Esta dissertação apresenta um sistema de indução de classificadores fuzzy. Ao invés de utilizar a abordagem tradicional de sistemas fuzzy baseados em regras, foi utilizado o modelo de Árvore de Padrões Fuzzy(APF), que é um modelo hierárquico, com uma estrutura baseada em árvores que possuem como nós internos operadores lógicos fuzzy e as folhas são compostas pela associação de termos fuzzy com os atributos de entrada. O classificador foi obtido sintetizando uma árvore para cada classe, esta árvore será uma descrição lógica da classe o que permite analisar e interpretar como é feita a classificação. O método de aprendizado originalmente concebido para a APF foi substituído pela Programação Genética Cartesiana com o intuito de explorar melhor o espaço de busca. O classificador APF foi comparado com as Máquinas de Vetores de Suporte, K-Vizinhos mais próximos, florestas aleatórias e outros métodos Fuzzy-Genéticos em diversas bases de dados do UCI Machine Learning Repository e observou-se que o classificador APF apresenta resultados competitivos. Ele também foi comparado com o método de aprendizado original e obteve resultados comparáveis com árvores mais compactas e com um menor número de avaliações.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Esta dissertação testa e compara dois tipos de modelagem para previsão de uma mesma série temporal. Foi observada uma série temporal de distribuição de energia elétrica e, como estudo de caso, optou-se pela região metropolitana do Estado da Bahia. Foram testadas as combinações de três variáveis exógenas em cada modelo: a quantidade de clientes ligados na rede de distribuição de energia elétrica, a temperatura ambiente e a precipitação de chuvas. O modelo linear de previsão de séries temporais utilizado foi um SARIMAX. A modelagem de inteligência computacional utilizada para a previsão da série temporal foi um sistema de Inferência Fuzzy. Na busca de um melhor desempenho, foram feitos testes de quais variáveis exógenas melhor influenciam no comportamento da energia distribuída em cada modelo. Segundo a avaliação dos testes, o sistema Fuzzy de previsão foi o que obteve o menor erro. Porém dentre os menores erros, os resultados dos testes também indicaram diferentes variáveis exógenas para cada modelo de previsão.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

O contato com pessoas acometidas por dermatoses imunobolhosas (DI) é impactante devido ao visível sofrimento causado pelo desconforto/mal-estar e comprometimento da autoimagem. Trata-se de um grupo de doenças de evolução crônica cuja manifestação primária e fundamental consiste no desenvolvimento de bolhas e menos frequentemente de vesículas na pele e/ou mucosas. O desafio de cuidar desta clientela justifica-se pelo caráter desfigurante e desconfortante, complexidade e vulnerabilidade a complicações, dentre as quais infecções e infestações, principalmente no ambiente hospitalar, fato agravado pelas drogas imunossupressoras utilizadas para o tratamento. Neste contexto, sobreleva-se a necessidade de ampliação do cuidado de enfermagem, sem limitar-se ao cumprimento das prescrições dos demais profissionais de saúde, objetivando atender às necessidades desta clientela e contemplá-la em todas as suas dimensões. Assim, este estudo teve como objetivo geral: propor uma Tecnologia de Cuidados de Enfermagem ao Cliente com Dermatoses Imunobolhosas (TCECDI) que reconheça padrões de conforto/bem-estar do cliente hospitalizado, antes e após a sua aplicação. A necessidade de trabalhar com dados imprecisos como a subjetividade do conforto/bem-estar, e com um grupo de doenças de incomum acometimento às pessoas, despertou o interesse pela lógica fuzzy, uma teoria que auxilia na compreensão dos conceitos que extrapolam as barreiras da lógica formal, permitindo estabelecer diferentes graus de pertinência dos atributos julgados relevantes, representando uma ferramenta que pode capturar informações subjetivas convertendo-as em valores de pertinência. Os atributos estabelecidos para avaliação do conforto nos três momentos foram: dor, mobilidade, padrão de sono, exposição do corpo e das lesões, conhecimento sobre a doença e autocuidado. Trata-se de um estudo quase experimental, interinstitucional, realizado no período de junho de 2012 a abril de 2013, em unidades de internação especializadas em dermatologia localizadas no Rio de Janeiro e no Mato Grosso do Sul. O delineamento alternativo para o ensaio clínico utilizado foi destinado a um único grupo não randomizado do tipo série temporal. As aferições foram realizadas antes (T0), 24 horas após (T1) e uma semana após (T2) o recebimento da intervenção. Como inexiste grupo controle, em cada sujeito considerou-se o seu próprio controle. Baseando-se nas classificações advindas da lógica fuzzy, na definição de conforto e nos três sentidos técnicos preconizados por Kolcaba: alívio, calma e transcendência,constatou-se a redução significativa no padrão de desconforto. Assim, pode-se afirmar que a implementação da TCECDI interferiu de forma expressiva e positiva nas necessidades de conforto dos sujeitos do estudo. Ao privilegiar a autonomia do enfermeiro e o seu saber específico, esta pesquisa contribuiu para a enfermagem como profissão, preenchendo lacunas nesta área do conhecimento, possibilitando o ensino qualificado, além de estimular entre os profissionais de saúde a reflexão, compreensão e desenvolvimento de outras pesquisas sobre a prática do cuidado em saúde, principalmente em dermatologia.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

A desnutrição neonatal em ratos resulta em alterações metabólicas e endócrinas nas proles a curto e a longo prazo. Sabe-se que algumas destas alterações, como o conteúdo aumentado de catecolaminas adrenais e a hipercorticosteronemia nos animais adultos estão associadas a alterações comportamentais. Não se sabe, no entanto, se as alterações comportamentais observadas estão presentes desde o insulto original, a desnutrição, ou se estas se desenvolvem ao longo do tempo. Neste sentido, avaliamos em ratos Wistar os efeitos da programação pela restrição protéica materna durante a lactação sobre os parâmetros comportamentais relacionados à ansiedade, à atividade locomotora e à memória/aprendizado em diferentes idades ao longo do desenvolvimento. Ao nascimento das suas proles as progenitoras foram separadas em: Grupo restrição protéica (RP) - que recebeu ração hipoprotéica (8% de proteína) do nascimento ao desmame [dia pós-natal (P) 21], e Grupo CONT (controle) - que recebeu ração normoprotéica neste período. Os seguintes testes comportamentais foram realizados com a prole (21 animais / grupo / idade) em P21, P45, P90 e P180: 1) labirinto em cruz elevado (LCE) - avalia comportamentos associados à ansiedade; 2) campo aberto (CA) - avalia atividade locomotora; 3) labirinto aquático radial de oito braços (LAROB) - avalia memória e aprendizado. Após os testes comportamentais, os animais foram sacrificados por decapitação, o sangue foi coletado para dosagem da corticosterona sérica e a glândula adrenal para quantificação das catecolaminas adrenais. No LCE, os animais RP apresentaram aumentos significativos nas variáveis associadas à ansiedade quando comparado ao grupo CONT somente em P21. No CA foi observada uma redução significativa no número de retângulos percorridos pelo grupo RP somente na idade de P90. No LAROB não identificamos diferenças significativas entre os grupos durante os quatro primeiros dias de teste, independente da idade. No quinto dia de testes (probe trial), o grupo RP mostrou uma diminuição na latência para encontrar a plataforma, em P21 e P180. Quanto à função adrenal, o grupo RP apresentou uma diminuição nos valores de corticosterona sérica em P90, e um aumento no conteúdo de catecolaminas adrenais quando comparado ao grupo CONT em P21 e P180. Nas demais idades analisadas não foram encontradas diferenças significativas entre os grupos. Nossos dados indicam que os animais do grupo RP apresentam: 1) redução do comportamento associado à ansiedade no final do período de lactação; 2) redução da atividade locomotora em adultos jovens; 3) melhora do desempenho de memória e aprendizado no final da lactação e na idade adulta (P180). Adicionalmente, os dados indicam que há uma associação entre alterações nos parâmetros comportamentais e da função adrenal. Podemos concluir que a restrição protéica durante o período de lactação em ratos afeta o comportamento apresentado ao longo da vida e que o padrão temporal dos efeitos varia em função do comportamento estudado.