Tese de mestrado. Faculdade de Engenharia. Universidade do Porto. 1998

El presente trabajo de Investigación, tiene como objetivo desarrollar un Software que facilite el control de la información obtenida por las distintas estaciones Meteorológicas, ubicadas alrededor de la laguna Aricota, las cuales recolectan datos como son de: Precipitación, Evaporación, Descargas, Caudal Bombeado, Filtraciones. Así mismo, el Software al contar con dicha Información almacenada en una Base de Datos, podrá ser visualizada y manipulada de manera sencilla, permitiendo así realizar un estudio mas profundo. Dicho Software cuenta también con módulos que permiten realizar: en análisis de cada Variable Hidrológica, asimismo realizar el entrenamiento de una Red Neuronal Artificial (para obtener valores de incremento del volumen y nivel de agua de la Laguna Aricota), y la Simulación del Ciclo Hidrológico de la Laguna Aricota, buscando así predecir “la cantidad de Agua es con la que contamos”. Pudiendo así estimar el Recurso Hídrico para un Futuro, que en el Dpto. de Tacna es relativamente escaso, y buscar la manera de no desperdiciar dicho recurso.

Orientador: Messias Meneguette Junior / Banca: Gilcilene Sanchez de Paulo / Banca: Afonso Paiva Neto / Resumo: Atualmente, devido ao grande avanço tecnológico o uso dos métodos de partículas vêm ganhando espaço nas simulações de escoamento de fluido. O primeiro método de partículas a ser desenvolvido foi o Smoothed Particle Hydrodynamics (SPH) que se mostrou bastante eficiente para problemas de escoamento compressível, mas ineficiente para escoamento incompressível. Desta forma, surgiu algumas estratégias para resolver problemas de escoamento incompressível como o Incompressible Smoothed Particle Hydrodynamics (ISPH) e o Moving Particle Semi-Implicit (MPS); em ambos os métodos a pressão é atualizada por um equação de Poisson. Portanto para obter uma boa aproximação das equações de Navier-Stokes é necessário antes ter uma boa aproximação da equação de Poisson. Neste trabalho são abordados os métodos de partículas Smoothed Particle Hydrodynamics (SPH) e Moving Particle Semi-Implicit (MPS). A discretização dos operadores diferenciais por esses métodos é feita por meio da aproximação do núcleo e também por partículas. Um estudo comparativo entre discretização foram efetuadas. Afim de saber se os parâmetros utilizados na literatura dos métodos de partículas SPH e MPS dão uma boa solução para equação de Poisson foram realizados vários testes variando os parâmetros com e sem o tratamento de fronteira. Neste trabalho também foi proposta uma estratégia para resolver o problema de oscilação na solução da equação de advecção com descontinuidade nas condições iniciais e os resultados foram bem satisfatório / Abstract: Currently, due to the technological advances the use of particle methods is gaining ground in the simulations of fluid flow. The first particle method to be developed was the Smoothed Particle Hydrodynamics (SPH) that was very efficient for compressible flow problems, but inefficient for incompressible ones. Thus, there was some strategy to solve incompressible flow problems as the incompressible Smoothed Particle Hydrodynamics (ISPH) and the Moving Particle Semi-Implicit (MPS); in both methods the pressure is updated by a Poisson equation. For an approximation of the Navier-Stokes equations it is first needed a good approximation for the Poisson equation. This paper discusses the following particles methods: Smoothed Particle Hydrodynamics (SPH) and Moving Particle Semi-Implicit (MPS). The discretization of differential operators by these methods is done through the approximation of the kernel and also by particles. A comparative study of different discretizations were made. In order to know if the parameters used in the literature for the SPH and MPS methods provide a good solution for Poisson equation, have been performed several tests by varying the parameters with and without the borders treatment. This work also proposed a strategy to solve the oscillation problem in advection equation with discontinuity in the initial conditions and the results were very satisfactory / Mestre

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pòs-graduação em Engenharia de Automação e Sistemas, Florianópolis, 2010 / Made available in DSpace on 2012-10-25T03:15:55Z (GMT). No. of bitstreams: 1 287047.pdf: 2105803 bytes, checksum: a722cc55acdfaf3252bdf60d781f04b3 (MD5) / Para resolver os problemas associados a verificação de sistemas industriais complexos, como os desenvolvidos para CLPs, são necessárias técnicas de modelagem e verificação formal, como forma de provar que o programa está de acordo com as propriedades esperadas. Neste trabalho é proposto um modelo de tradução da linguagem Diagrama Ladder de CLPs para uma linguagem intermediária de verificação FIACRE, que está inserida em uma cadeia de verificação formal do projeto Topcased. Esta abordagem segue o paradigma da engenharia dirigida a modelos e consiste em transformar modelos próximos ao usuário em modelos para a verificação. As regras de transformação propostas devem estar inseridas em duas cadeias de verificação formal, que utilizam as abordagens de model-checking e por equivalências de modelos. A validação da proposta é feita por intermédio da transformação de modelos e verificação das propriedades de um sistema de automação pneumática e um sistema para um misturador industrial.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Ciência da Computação, Florianópolis, 2010 / Made available in DSpace on 2012-10-25T13:54:38Z (GMT). No. of bitstreams: 1 279029.pdf: 1114674 bytes, checksum: 273d00df71b590cd7a8256b1b32a1c43 (MD5) / O uso da Arquitetura SOA baseado principalmente na utilização de Web Services está em crescimento constante, porém, devido às dificuldades encontradas quanto aos aspectos de Segurança, dentre outros fatores, este crescimento têm sido menor do que o esperado quando surgiu. O uso de Web Services herdou muitos problemas de segurança conhecidos em Aplicações Web e trouxe outros novos, sendo que a má validação de entradas de dados pode ser considerada a causa da maioria dos ataques bem sucedidos ocorridos nestes ambientes. Em SOA, com a necessidade de confiança em dados de terceiros para a integração e reutilização de serviços, a validação de entradas de dados tornou-se ainda mais importante. Este trabalho demonstra um modelo para validação de entradas de dados para Web Services que pode ser utilizado para impedir ataques como Cross-site Scripting e SQL injection através da especificação de modelos pré-definidos de entradas válidas. O modelo proposto, denominado WSIVM (Web Services Input Validation Model) possui um XML Schema, uma Especificação XML e um módulo que faz a validação das entradas de acordo com a especificação. Ainda apresenta um estudo de caso de seu uso demonstrando a sua eficácia e desempenho.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro de Ciências Jurídicas. Programa de Pós-Graduação em Direito / Made available in DSpace on 2012-10-23T13:56:23Z (GMT). No. of bitstreams: 1 241120.pdf: 734240 bytes, checksum: 247c03fe2dd01ba86b0219d42999fab9 (MD5) / A presente dissertação trata da patenteabilidade das invenções que envolvem programas de computador nos Estados Unidos, na União Européia e no Brasil. Tem-se como objetivo analisar se a patenteabilidade das invenções que envolvem programas de computador implica uma extensão do regime de proteção jurídica dos mesmos. Para tanto, utiliza-se como fonte de pesquisa as legislações nacionais e internacionais pertinentes ao assunto, doutrinadores brasileiros e estrangeiros, jurisprudências e as decisões dos institutos nacionais de patentes. O método utilizado é o dedutivo. Como resultado da presente pesquisa, chega-se à conclusão de que a patenteabilidade das invenções que envolvem programas de computador não implica uma extensão do regime jurídico dos programas de computador, uma vez que está expressamente previsto na legislação dos Estados Unidos, da União Européia e do Brasil que os programas de computador são protegidos como obras literárias pela legislação de direitos autorais, bem como os programas de computador como tais estão expressamente excluídos pela legislação patentária. Portanto, o direito industrial se aplica às invenções que envolvem programas de computador e não ao programa de computador em si.

Tese (doutorado) - Universidade Federal de Santa Catarina, Centro de Comunicação e Expressão. Programa de Pós-Graduação em Linguística. / Made available in DSpace on 2012-10-24T03:11:06Z (GMT). No. of bitstreams: 1 254656.pdf: 2441162 bytes, checksum: 9d7dfcf6a0cec80241e163da70804632 (MD5) / Esta pesquisa apresenta e discute a construção de um programa computacional que descodifica o sistema verbal escrito oficial do português do Brasil em símbolos fonológicos. A motivação para construir o programa veio do alto grau de transparência do sistema alfabético do português do Brasil, que levou à suposição de que tal transparência corresponde ao nível em que o sistema alfabético é lógico. Assim, a hipótese que norteia a pesquisa é a de que o alto nível de previsibilidade dos valores que os grafemas do sistema alfabético do português do Brasil têm pode ser reproduzido em um sistema computacional baseado em regras, que faz a conversão grafema-grafofonema de modo automático. Metodologicamente, o desenvolvimento do aplicativo associa lingüística computacional, lingüística de corpus, estatística, fonética e fonologia. Por ser planejado com base sólida em metodologia e teoria lingüística apropriadas, o aplicativo pôde ser construído em linguagem de programação de computadores não específica para tratar a língua. A conversão baseia-se em um alfabeto fonológico, em que se usam as fontes do International Phonetic Alphabet (IPA). O aplicativo lê massas de dados relativamente grandes e fornece relatórios de conversão fonológica e relatório estatístico dos fonemas dos textos convertidos. Juntamente com o programa, dão-se alguns passos para se desenvolver metodologia própria para formação e tratamento de corpus lingüístico fonológico. Testes preliminares, feitos a partir de um corpus fonológico montado com base nos pressupostos da teoria pertinente, indicam que o aplicativo reproduz a parte do sistema verbal escrito que é previsível por regras de descodificação fonológicas, com aproximadamente 98% de acerto, e o sistema verbal escrito todo, com acerto mínimo de 95%. Ainda, o programa fornece a tonicidade das palavras da língua portuguesa com acerto superior a 99%, e o relatório estatístico mostra os padrões de distribuição fonêmica do português. A pesquisa revela que esses porcentuais aumentarão mediante novos estudos, portanto, comprova-se a hipótese inicial e confirma-se que a elevada previsibilidade do sistema alfabético do português do Brasil dá-se por ele ser fundamentado em intuições fonológicas. Um aplicativo dessa natureza pode ser ferramenta auxiliar na pesquisa e no ensino de alfabetização, na fonologia, na literatura e em outras áreas. This research presents and discusses the construction of a computational program that decodes Brazilian's official writing system into phonological symbols. What inspired the software development was the high level of transparency of Brazilian Portuguese alphabetic system, which led to suppose that such transparency corresponds to the level in which this system is based on Logics. So, the research investigates the hypothesis that the high level of predictability of the values that the Brazilian Portuguese alphabetic system graphemes bear can be reproduced by a software based on rules, that makes the conversion of graphemes into phonemes automatically. Methodologically, the applicative development associates Computational Linguistics, Corpus Linguistics, Statistics, Phonetics, and Phonology. Since the program planning combined proper methodology and linguistic theory, the software could be built in a computer programming language which is not specifically planned for the treatment of human language. The program bases the translation on a phonologic alphabet, which takes into account the International Phonetic Alphabet (IPA) fonts. The software reads relatively huge bunches of data, and bestow phonologic reports, and statistical reports. Some directions in order to develop specific methodology to form a phonologic corpus and deal with it are given. At examining a phonologic corpus rightly assembled, preliminary tests done by drawing on the applicative showed that it reaches approximately 98% of accuracy, at reproducing the portion of the Brazilian writing system that is predictable by decoding rules, and in relation to writing system as a hole the correctness is not less than 95%. Also, the program reaches 99% of precision at putting words accent. Some new studies tend to increase these numbers. The statistical report displays Portuguese language phoneme patterns of distribution. In conclusion, the research confirms the hypotheses, and authenticates that the high level of predictability of Brazilian alphabetic system is due to it be based on phonologic intuitions. A software like this can be a tool for aiding researchers and teachers who work with literacy, Literature, Phonology, among other areas.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-graduação em Automação e Sistemas / Made available in DSpace on 2012-10-24T05:30:59Z (GMT). No. of bitstreams: 1 255209.pdf: 2427376 bytes, checksum: 5125296a32a0df94c7714b1893cb9a63 (MD5) / Analisando a história dos sistemas embarcados, podemos dividi-la em dois momentos. Em um primeiro momento, a origem dos problemas destes sistemas provinha, na grande maioria dos casos, da parte física chamada hardware. A partir dos anos 60, graças à chegada dos circuitos integrados, desenvolvidos para o Programa Espacial Americano, a parte física dos sistemas se tornou mais confiável. Nós últimos 20 anos, devido à complexidade inerente ao desenvolvimento dos softwares para sistemas embarcados, estes se tornaram a origem da maior parte dos erros. Uma das grandes dificuldades no desenvolvimento destes softwares é assegurar um funcionamento correto (de acordo com as especificações). A fim de reduzir a incidência de erros, a indústria passou a estudar o uso de métodos formais para auxiliar o desenvolvimento destes sistemas complexos. Estas técnicas auxiliam o processo decisório porque permitem afirmar antes de implementar o protótipo se uma dada especificação será cumprida ou não pelo sistema. Entretanto, a verificação formal ainda não é largamente empregada no ambiente industrial devido à dificuldade no intercâmbio de informações entre as linguagens de modelagem de alto nível (UML, AADL, SDL, etc) e as ferramentas de verificação formal. Esta dificuldade é decorrente da falta de uma semântica formal para estas linguagens de modelagem largamente utilizadas pela indústria. Além disto, cada ferramenta de verificação trabalha com formalismos matemáticos diferentes, não havendo uma fácil integração entre elas. Outro fator importante é que não podemos afirmar que existe um formalismo único capaz de atender a todas as necessidades de um sistema complexo. Isto implica que sistemas futuros vão cada vez mais requerer uma combinação de métodos baseados em modelos, tais como sistema de transição, álgebra de processos, lógica temporal, entre outros. Estas restrições impõem à indústria a necessidade de desenvolver uma ferramenta de tradução de modelos para cada par linguagem-formalismo empregado. A fim de facilitar este intercâmbio de informações entre as diferentes linguagens de modelagem e as ferramentas de verificação formais existentes - tais como TINA (Time Petri Net Analyser), CADP (Construction and Analysis of Distributed Processes), entre outras - o projeto TOPCASED (Toolkit in Open-Source for Critical Application & Systems Development) desenvolveu uma arquitetura de verificação original, que promove a transformação de modelos entre os diferentes níveis. Esta transformação é simplificada pelo advento de uma linguagem intermediária formal chamada FIACRE (Format Intermédiaire pour les Architectures de Composants Répartis Embarqués). Dentro deste contexto, as atividades desenvolvidas neste trabalho fazem parte da especificação e operacionalização da linguagem FIACRE do projeto TOPCASED. A primeira atividade apresentada neste trabalho é o estudo preliminar da tradução entre SDL e FIACRE para auxiliar na especificação da linguagem FIACRE. A segunda atividade consiste inicialmente na proposição de um esquema conceitual para a tradução de FIACRE para o formalismo matemático TTS (Sistema de Transições Temporizadas), e posteriormente na sua implementação na forma de um compilador (front-end) para a ferramenta TINA. Por último, um exemplo de verificação de sistema é apresentado com o intuito de demonstrar as vantagens das ferramentas que fazem parte do projeto TOPCASED.

Dissertação (mestrado) - Pontifícia Universidade Católica do Paraná, Curitiba, 2010 / Bibliografia: f. 98-103 / A necessidade de diminuir o custo de execução de testes de sistemas é ponto consensual na comunidade de produção de software. O presente estudo demonstra a otimização de teste de regressão, através da adaptação de uma técnica de priorização de casos de te / The necessity of lessening the cost of execution of system tests is a consensual point in the software production community. The present empirical study presents an optimization of the regression tests? activity, by adapting a test case prioritization tec

Submitted by Reginaldo Soares de Freitas (reginaldo.freitas@ufv.br) on 2016-06-22T14:25:19Z No. of bitstreams: 1 texto completo.pdf: 5725168 bytes, checksum: 30382acc2d02317399c6af3e60a16a92 (MD5) / Made available in DSpace on 2016-06-22T14:25:19Z (GMT). No. of bitstreams: 1 texto completo.pdf: 5725168 bytes, checksum: 30382acc2d02317399c6af3e60a16a92 (MD5) Previous issue date: 2016-02-19 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / O estudo inicial desta pesquisa teve como direcionamento propor e avaliar uma rotina de processamento de dados do equipamento Laser Scanning Terrestre (LST) para a geração de curvas de nível aplicadas a projetos geométricos de estradas. As curvas de nível geradas foram avaliadas mediante o conhecimento prévio do local estudado, realizando tratamento geostáticos específicos para melhoria dos ruídos gerados nos locais de vegetação densa. Por seguinte, foi realizado um estudo comparativo entre programas computacionais utilizados no desenvolvimento de projetos geométricos de vias visando o entendimento sobre as diferenças específicas em função das normas técnicas vigentes no Brasil. O que possibilitou o conhecimento especifico de cada elemento geométrico analisado pelos programas computacionais utilizados, e quais os critérios utilizados por cada um para a determinação de alguns parâmetros geométricos. Por fim, foi elaborado um projeto geométrico para uma via de ligação entre a Rodovia MG-280 e a uma via local que margeia as lagoas, no campus da Universidade Federal de Viçosa, utilizando o programa computacional AutoCAD Civil 3D. A área escolhida apresenta características desafiadoras para a análise proposta, devido ao espaço físico disponível para o projeto geométrico ser reduzido e possuir declividades acentuadas. Além disso, foi possível apreciar os valores sugeridos em normas técnicas vigentes no Brasil, quando aplicados a uma situação específica de limitação de área e declividade acentuado, auxiliando no planejamento e tomada de decisão em projetos geométricos semelhantes. / The initial step of this study aimed to propose and evaluate a data processing routine of the equipment Terrestrial Laser Scanning (LST) for generating contour lines applied to geometric design of roads. The generated contour lines were evaluated by means of prior knowledge of the studied site, through specific geostatic treatment for improving the noise generated in densely vegetated sites. Next, a comparative study on computer programs used in developing geometric designs of routes aimed at understanding the specific differences depending on the technical standards in force in Brazil. This analysis provided the specific knowledge of each geometric element analyzed by computer programs used, and determined the criteria used by each to determine some geometrical parameters. Finally, we developed a geometric design for a route connecting the MG-280 highway to a local road that runs along the lakes, on the campus of the Federal University of Viçosa, using the computer program AutoCAD Civil 3D. The chosen area has challenging features for the analysis proposed, including the small physical area available for the geometric design and the steep slopes. In addition, it was possible to assess the values suggested in current technical standards in Brazil, when applied to a specific situation of limited area and sharp declivity, assisting in the planning and decision making in similar geometric designs.