Extração de casos de teste utilizando Redes de Petri hierárquicas e validação de resultados utilizando OWL.

Este trabalho propõe dois métodos para teste de sistemas de software: o primeiro extrai ideias de teste de um modelo desenvolvido em rede de Petri hierárquica e o segundo valida os resultados após a realização dos testes utilizando um modelo em OWL-S. Estes processos aumentam a qualidade do sistema desenvolvido ao reduzir o risco de uma cobertura insuficiente ou teste incompleto de uma funcionalidade. A primeira técnica apresentada consiste de cinco etapas: i) avaliação do sistema e identificação dos módulos e entidades separáveis, ii) levantamento dos estados e transições, iii) modelagem do sistema (bottom-up), iv) validação do modelo criado avaliando o fluxo de cada funcionalidade e v) extração dos casos de teste usando uma das três coberturas de teste apresentada. O segundo método deve ser aplicado após a realização dos testes e possui cinco passos: i) primeiro constrói-se um modelo em OWL (Web Ontology Language) do sistema contendo todas as informações significativas sobre as regras de negócio da aplicação, identificando as classes, propriedades e axiomas que o regem; ii) em seguida o status inicial antes da execução é representado no modelo através da inserção das instâncias (indivíduos) presentes; iii) após a execução dos casos de testes, a situação do modelo deve ser atualizada inserindo (sem apagar as instâncias já existentes) as instâncias que representam a nova situação da aplicação; iv) próximo passo consiste em utilizar um reasoner para fazer as inferências do modelo OWL verificando se o modelo mantém a consistência, ou seja, se não existem erros na aplicação; v) finalmente, as instâncias do status inicial são comparadas com as instâncias do status final, verificando se os elementos foram alterados, criados ou apagados corretamente. O processo proposto é indicado principalmente para testes funcionais de caixa-preta, mas pode ser facilmente adaptado para testes em caixa branca. Obtiveram-se casos de testes semelhantes aos que seriam obtidos em uma análise manual mantendo a mesma cobertura do sistema. A validação provou-se condizente com os resultados esperados, bem como o modelo ontológico mostrouse bem fácil e intuitivo para aplicar manutenções.

Investigação de camadas aqüíferas por métodos geoelétricos no Estado de São Paulo

No Estado de São Paulo, a maioria dos poços profundos perfurados localiza-se em terrenos sedimentares. Assim sendo foi realizado este trabalho a fim de verificar a aplicabilidade de métodos geofísicos à procura de água subterrânea no Estado. A água da chuva atingindo a superfície do terreno toma caminhos a saber: evaporação, escoamento e infiltração. Em face da porosidade, permeabilidade e força da gravidade, a água de infiltração toma o caminho descendente até: - atingir uma zona permeável (saturada ou não) e seu fluxo. - atingir uma rocha sedimentar impermeável ou rocha ígnea sã. - saturar fissuras existentes em rochas ígneas sãs. Basicamente que um poço seja produtor de água, é necessária a extração de água acumulada nas seguintes condições: 1- água acumulada em rochas permeáveis saturadas. 2- água acumulada em fissuras de rochas ígneas sãs. 3- água acumulada em depressões existentes ou na superfície de rochas ígneas ou do embasamento cristalino, coberto por rochas porosas e permeáveis. Baseado nestas formas de ocorrência de água subterrânea, as pesquisas de campo foram orientadas no sentido de: - identificar pela interpretação das curvas ou mesmo uma curva de sondagem elétrica, aquela camada aqüífera, saturada de água e já conhecida \"a priori\" como aqüífero, bem como estabelecer a sua profundidade, espessura e comportamento geológico. - verificar a profundidade do nível freático. - mapear a superfície do embasamento cristalino, procurando achar nela, depressões causa das por erosões pretéritas. Procurou-se verificar também: até que ponto, em um dado local uma estratigrafia geológica conhecida, corresponde a uma \"estratigrafia geofísica\" obtida por medidas na superfície. - determinar a resistividade, ou resistividades, das diferentes formações litológicas. - procurar correlacionar variações laterais de resistividade de uma certa camada geológica com as variações na sua granulometria e litologia ou sais ) dissolvidos na solução que a satura. De um modo geral a eletrorresistividade fornece bons resultados quando aplicada à procura de água subterrânea no Estado de São Paulo. Nos sedimentos do Grupo Tubarão (Permo-Carbonífero) verifica-se uma correspondência entre altos valores de resistividade e as altas vazões dos poços (vazão específica). A \"estratigrafia geofísica\" obtida corresponde muito bem à estratigrafia geológica. Espessuras dos derrames de basalto (Eocretáceo), intrusões de diabásio, arenito da Série Bauru (Neocretáceo), arenito da Formação Botucatu (Eocretáceo), sedimentos do Grupo Tubarão (Permo-Carbonífero) e camadas de sedimentos recentes são facilmente determinadas. Na região da Praia Grande existem lençóis de água doce sobrejazendo à água salobra e salgada.

Estudo da extração de índio a partir de telas de cristal líquido (LCD).

Ao longo dos últimos anos, o crescimento ao acesso a esse tipo de tecnologia pelos consumidores brasileiros tem intensificado o aumento no interesse ambiental e econômico dos LCDs. Os displays de cristal líquido são utilizados em televisores, calculadoras, telefones celulares, computadores (portáteis e tablets), vídeo games entre outros equipamentos eletrônicos. O avanço tecnológico neste campo tem tornado estes aparelhos obsoletos cada vez mais rápido, aumentando o volume de resíduos de LCDs a ser dispostos em aterros o que contribui para a redução da sua vida útil. Neste contexto, os LCDs provenientes de televisores de LED LCD tem se tornado uma fonte importante de resíduos de equipamentos eletroeletrônicos (REEE). Assim, torna-se essencial o desenvolvimento de métodos e processos para tratamento e reciclagem de LCDs. Deste modo, o objetivo do presente trabalho é a caracterização física e química de telas de cristal líquido provenientes de displays de televisores de LED LCDs e o estudo de uma rota hidrometalúrgica para recuperação de índio. Para tanto se utilizou técnicas de tratamento de minérios e análises físicas e químicas (separação granulométrica, perda ao fogo, visualização em lupa binocular, TGA, FRX, FT-IR) para caracterização do material e quantificação do índio antes e, após, a rota hidrometalúrgica que, por sua vez, foi realizada em reatores de bancada utilizando três agentes lixiviantes (ácido nítrico, sulfúrico e clorídrico), três temperaturas (25ºC, 40ºC e 60ºC) e quatro tempos (0,5h; 1h; 2h e 4h). Encontrou-se que a tela de cristal líquido representa cerca de 20% da massa total do display de televisores de LCD e que é composta por aproximadamente 11% em massa de polímeros e 90% de vidro + cristal líquido. Verificou-se também que há seis camadas poliméricas nas telas de cristal líquido, onde: um conjunto com 3 polímeros compõe o analisador e o polarizador, sendo que o polímero da primeira e da terceira camada de cada conjunto é triacetato de celulose e corresponde a 64% da massa de polímeros das telas. Já o polímero da segunda camada é polivinilalcool e representa 36% da massa de polímeros. Os melhores resultados obtidos nos processos de lixiviação foram com o ácido sulfúrico, nas condições de 60°C por 4h, relação sólido-líquido 1/5. Nessas condições, foi extraído em torno de 61% do índio contido tela de LCD.

A criança pinta o céu de “verde”. Até que ponto lhe devemos dizer que o céu é azul?

Relatório de estágio apresentado para a obtenção do grau de Mestre em Ensino pré-escolar e 1º ciclo do ensino básico

Causa da extração dentária na clínica Egas Moniz e clínica CUF de Cascais: estudo epidemiológico

Dissertação para obtenção do grau de Mestre no Instituto Superior de Ciências da Saúde Egas Moniz

Rastreio auditivo neonatal universal em Portugal : ponto da situação

Este estudo surgiu com o intuito de conhecer a realidade portuguesa dos programas de deteção e intervenção auditiva precoce no sentido de: compreender o funcionamento dos diferentes programas; analisar o seu nível de eficácia; propor estratégias para melhorar a sua funcionalidade. Para a concretização da investigação foram contatadas 57 hospitais/maternidades. Destas foram obtidas 40 respostas, sendo que em 3 instituições não é atualmente realizado o rastreio auditivo neonatal; 4 não responderam por opção ao questionário; 37 responderam ao questionário, 13 não deram resposta. Todos os dados recolhidos foram posteriormente utilizados para tratamento estatístico, assegurando a sua confidencialidade. Os protocolos de funcionamento dos programas da amostra em estudo são distintos, indo todos ao encontro das recomendações publicadas pelo Grupo de Rastreio e Intervenção da Surdez Infantil. Em 86,5% das instituições estudadas, os programas implementados são universais e a taxa de cobertura está entre os 92% e os 100%, sendo a sua média de 97,8%. Da amostra recolhida, seis instituições referiram não possuir os dados estatísticos do rastreio atualizados e disponíveis. A existência de uma base de dados nacional permitiria conhecer a realidade de todas as instituições, obtendo assim um melhor conhecimento sobre a qualidade de cada programa.

Análise do ponto crítico de controlo (PCC), relativo à medição de compostos polares nos óleos alimentares no processo de fritura, nas unidades de produção da restauração, snacks e pastelaria

Dissertação para obtenção do grau de Mestre no Instituto Superior de Ciências da Saúde Egas Moniz

Relatório de estágio na Agência Escola IADE: ponto de partida, forma de chegada: a comunicação visual e a forma

O presente relatório descreve e analisa o estágio realizado pela aluna Joana Escada na Agência Escola IADE entre Março e Outubro de 2013, permitindo-lhe a obtenção do grau de Mestre em Design e Cultura Visual, com especialização em Design Visual. Contém uma breve apresentação da Agência e da estrutura corporativa e académica na qual ela se insere e, posteriormente, uma reportagem de alguns dos projectos nos quais a autora participou. Este estágio permitiu à aluna colocar em prática conhecimentos adquiridos no ano anterior amplificando-os e criando uma intra e interligação com os já obtidos, na Licenciatura de Artes Plásticas (Ramo Escultura) na Faculdade de Belas-Artes da Universidade do Porto, de forma a gerar também alguma destreza técnica; experimentar um ambiente de trabalho realista e profissional; interagir com colegas de trabalho e professores com diferentes personalidades, percursos e experiência; lidar com prazos e necessidade de resolução de problemas; criar, aprender e comunicar. Ao longo deste percurso estiveram sempre presentes, directa ou indirectamente, duas questões fundamentais para a autora: a Comunicação Visual, consequentemente, a Forma da mesma e, conclusivamente a Abstracção- o Abstraccionismo Geométrico- e o Realismo. Estes temas serão transversais e inerentes a toda a componente teórica do presente relatório.

Comento de P. Ovidio Nason a los libros de Tristes, Ponto, y Carta à Livia /

Explicacion de los lugares dificiles de las Elegias de Publio Ovidio Nason, p. 426-601.

P. Ovidii Nasonis Fastorum Libri VI ; Tristium libri V ; De Ponto libri IV ; accedunt binae litterae: epistola enim prima in ibin, altera vero consolatoria ad Liviam.

Mode of access: Internet.

P. Ovidii Nasonis De Ponto libri IV /

Mode of access: Internet.

Raccolta di tutti gli antichi poeti latini colla loro versione nell'italiana favella : tomo vigesimonono: contiene le epistole di P. Ovidio Nasone da Ponto; tradotte dal P. Don Massimialno Buzzi. E I remedi d'amore tradotti da Giuseppe Baretti.

Contiene: Contiene: Epistolas / Ovidii Nasonis de Ponto = Le epistole / di P. Ovidio Naone da Ponto ; tradotti dal P. Don Massimiliano Buzzi ... (p. 2-279) ; Remedia Amoris = I Rimed[i] D'amore / tradotti da Giuseppe Baretti (282-347) ; Spiegazioni de passi piu' difficoltosi che S'incontrano nelle Epistole d'Ovidio Nasone da Ponto ... ( p. 349-381) ; Spiegazioni de passi piu' difficoltosi, che S'incontrano nel libro de' rimedi dell' Amore (p. 383-391)

P. Ovidii Nasonis Operum tom. 3 : Fastor, Lib. Tristium, de Ponto & In Ibin /

NUC O-0176490.

Pub. Ouidii Nasonis Fastorum libri VI ; Tristium libri V ; De Ponto libri IV ; In Ibin ; Ad Liuiam ...

Mode of access: Internet.

Comento de P. Ovidio Nason a los libros de Tristes y Ponto /

Mode of access: Internet.