950 resultados para Symbolic Execution


Relevância:

10.00% 10.00%

Publicador:

Resumo:

One of the main problems of hyperspectral data analysis is the presence of mixed pixels due to the low spatial resolution of such images. Linear spectral unmixing aims at inferring pure spectral signatures and their fractions at each pixel of the scene. The huge data volumes acquired by hyperspectral sensors put stringent requirements on processing and unmixing methods. This letter proposes an efficient implementation of the method called simplex identification via split augmented Lagrangian (SISAL) which exploits the graphics processing unit (GPU) architecture at low level using Compute Unified Device Architecture. SISAL aims to identify the endmembers of a scene, i.e., is able to unmix hyperspectral data sets in which the pure pixel assumption is violated. The proposed implementation is performed in a pixel-by-pixel fashion using coalesced accesses to memory and exploiting shared memory to store temporary data. Furthermore, the kernels have been optimized to minimize the threads divergence, therefore achieving high GPU occupancy. The experimental results obtained for the simulated and real hyperspectral data sets reveal speedups up to 49 times, which demonstrates that the GPU implementation can significantly accelerate the method's execution over big data sets while maintaining the methods accuracy.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Dissertação para obtenção do grau de Mestre em Engenharia Civil na Área de Especialização em Edificações

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Relatório de Estágio para obtenção de grau de Mestre em Engenharia Civil na Área de Especialização em Vias de Comunicação e Transportes

Relevância:

10.00% 10.00%

Publicador:

Resumo:

In this work, we associate a p-periodic nonautonomous graph to each p-periodic nonautonomous Lorenz system with finite critical orbits. We develop Perron-Frobenius theory for nonautonomous graphs and use it to calculate their entropy. Finally, we prove that the topological entropy of a p-periodic nonautonomous Lorenz system is equal to the entropy of its associated nonautonomous graph.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Introdução: No andebol, o ombro é elevado numa amplitude superior a 90º e move-se com elevada velocidade de execução o que pode originar deslocação anterior da cabeça do úmero e diminuição da rotação medial. A técnica MWM pode ser uma mais valia na correção da falha posicional e recuperação da amplitude de movimento de rotação medial da articulação gleno-umeral. Objetivo: Este estudo teve como objetivo verificar os efeitos imediatos da técnica de MWM na amplitude de movimento de rotação medial da articulação gleno-umeral em jogadores de andebol. Métodos: O presente estudo, duplamente cego, é do tipo experimental. Foram incluídos no estudo 30 indivíduos do sexo masculino, jogadores de andebol, distribuídos, aleatoriamente, em dois grupos de 15, experimental e controlo. Em ambos os grupos foi avaliada a amplitude de movimento da rotação medial da gleno-umeral, em dois momentos, pré e pós intervenção. O grupo experimental foi submetido à técnica de MWM no movimento de rotação medial da gleno-umeral no membro dominante. Ao grupo de controlo, foi solicitada a realização do movimento ativo de rotação medial no membro dominante, o fisioterapeuta manteve os mesmos contactos manuais mas não aplicou pressão na cabeça do úmero. Para a comparação entre os grupos experimental e controlo recorreu-se ao teste de Mann-Whitney e para analisar diferenças entre os dois momentos, para cada grupo, foi utilizado o teste de Wilcoxon. Resultados: Foram encontradas diferenças significativas no grupo experimental e controlo, contudo essa diferença foi superior no grupo experimental. Após a intervenção, o grupo experimental apresentou amplitudes de rotação medial da gleno-umeral significativamente mais elevadas às do grupo de controlo (U=0,50; p <0,001). Conclusão: A técnica de MWM para rotação medial produziu um aumento significativo na amplitude desse movimento.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

O presente trabalho de dissertação teve como objetivo a implementação de metodologias de Lean Management e avaliação do seu impacto no processo de Desenvolvimento de Produto. A abordagem utilizada consistiu em efetuar uma revisão da literatura e levantamento do Estado da Arte para obter a fundamentação teórica necessária à implementação de metodologias Lean. Prosseguiu com o levantamento da situação inicial da organização em estudo ao nível das atividades de desenvolvimento de produto, práticas de gestão documental e operacional e ainda de atividades de suporte através da realização de inquéritos e medições experimentais. Este conhecimento permitiu criar um modelo de referência para a implementação de Lean Management nesta área específica do desenvolvimento de produto. Após implementado, este modelo foi validado pela sua experimentação prática e recolha de indicadores. A implementação deste modelo de referência permitiu introduzir na Unidade de Desenvolvimento de Produto e Sistemas (DPS) da organização INEGI, as bases do pensamento Lean, contribuindo para a criação de um ambiente de Respeito pela Humanidade e de Melhoria Contínua. Neste ambiente foi possível obter ganhos qualitativos e quantitativos nas várias áreas em estudo, contribuindo de forma global para um aumento da eficiência e eficácia da DPS. Prevê-se que este aumento de eficiência represente um aumento da capacidade instalada na Organização, pela redução anual de 2290 horas de desperdício (6.5% da capacidade total da unidade) e pela redução significativa em custos operacionais. Algumas das implementações de melhoria propostas no decorrer deste trabalho, após verificado o seu sucesso, extravasaram a unidade em estudo e foram aplicadas transversalmente à da organização. Foram também obtidos ganhos qualitativos, tais como a normalização de práticas de gestão documental e a centralização e agilização de fluxos de informação. Isso permitiu um aumento de qualidade dos serviços prestados pela redução de correções e retrabalho. Adicionalmente, com o desenvolvimento de uma nova ferramenta que permite a monitorização do estado atual dos projetos a nível da sua percentagem de execução (cumprimento de objetivos), prazos e custos, bem como a estimação das datas de conclusão dos projetos possibilitando o replaneamento do projeto bem como a detecção atempada de desvios. A ferramenta permite também a criação de um histórico que identifica o esforço horário associado à realização das atividades/tarefas das várias áreas de Desenvolvimento de Produto e desta forma pode ser usada como suporte à orçamentação futura de atividades similares. No decorrer do projeto, foram também criados os mecanismos que permitem o cálculo de indicadores das competências técnicas e motivações intrínsecas individuais da equipa DPS. Estes indicadores podem ser usados na definição por parte dos gestores dos projetos da composição das equipas de trabalho, dos executantes de tarefas individuais do projeto e dos destinatários de ações de formação. Com esta informação é expectável que se consiga um maior aproveitamento do potencial humano e como consequência um aumento do desempenho e da satisfação pessoal dos recursos humanos da organização. Este caso de estudo veio demonstrar que o potencial de melhoria dos processos associados ao desenvolvimento de produto através de metodologias de Lean Management é muito significativo, e que estes resultam em ganhos visíveis para a organização bem como para os seus elementos individualmente.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Atualmente o gás natural é a principal fonte de energia utilizada pela maioria dos europeus nos setores doméstico, terciário e industrial. É considerado a alternativa energética do futuro e a mais ecologicamente correta de que podemos dispor, numa escala compatível com as elevadas necessidades energéticas da Humanidade a nível global. Aliado a estes factos, surgem cada vez mais regras de boa prática, normas e legislação, nomeadamente especificações técnicas de forma a regular o setor e dotar as entidades intervenientes na conceção e controlo de uma instalação de rede de gás, de um conhecimento mais detalhado e atualizado sobre esta matéria. Esta dissertação pretende assim contribuir para a melhoria e modernização do desempenho de todos os que exercem funções neste setor, com vista ao aperfeiçoamento da qualidade e utilidade dos seus serviços. Este trabalho reúne o conjunto de informação técnica presente na legislação e normas de forma a preencher a eventual falha do conhecimento neste ramo por parte destes profissionais dotando-os de um conhecimento mais aprofundado, de modo a que possam executar corretamente e de forma eficaz o seu trabalho. Por outro lado, esta dissertação tem como objetivo o projeto e desenvolvimento de uma rede de distribuição de gás natural aplicado a três redes concretas: rede de distribuição, edifício e moradia. A conceção do projeto de instalação de gás inicia-se com a recolha de informação, seguindo-se o desenvolvimento do estudo do traçado. Assim, estão reunidas as condições para dimensionar e providenciar a escolha de materiais mais adequados para a execução da obra. A metodologia de dimensionamento adotada teve por base a equação dos gases perfeitos e a fórmula de Renouard simplificada, encontrando-se implementada numa folha de cálculo. Esta ferramenta de cálculo aliada à metodologia permite realizar de forma expedita o correto dimensionamento de uma rede de gás, bem como apurar se a velocidade de escoamento se encontra em conformidade com o definido no projeto.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do Grau de Mestre em Engenharia Informática

Relevância:

10.00% 10.00%

Publicador:

Resumo:

O leite é um alimento complexo, pela sua composição rico em água, proteínas, lípidos, vitaminas e minerais. Devido ao seu alto valor nutricional é fundamental para a amamentação de crianças e animais em crescimento, pois fornece componentes fundamentais para o desenvolvimento e manutenção da saúde. Os antimicrobianos são amplamente utilizados como uma medida terapêutica no tratamento de infeções bacterianas, profilaxia e como promotores de crescimento (aditivos). A presença de resíduos de antimicrobianos no leite pode representar riscos para a saúde humana, como reações alérgicas em indivíduos hipersensíveis e resistências. Os objetivos deste estudo são o desenvolvimento de novos métodos de limpeza e de pré-concentração para amostras de leite, por meio de extração em fase sólida (SPE), com a finalidade de realizar uma melhor identificação e quantificação de antimicrobiana por Cromatografia Líquida de Alta Performance (HPLC). Todos os métodos desenvolvidos são de fácil execução, com taxas de recuperação dos agentes antimicrobianos viáveis, com uma percentagem de recuperação a partir de 85%. O método cromatográfico utilizado para a deteção e quantificação (HPLC-DAD) têm os limites de deteção (LD) entre 2.43ng / mL e 1.62ng / mL e os limites de quantificação (LQ) entre 7,36 ng / mL e 4.92 ng / mL, o que significa este método vai de encontro às diretrizes estipuladas pela União Europeia para os agentes antimicrobianos estudados. A combinação dos métodos propostos de limpeza e pré-concentração por SPE e multirresíduo por HPLC-DAD permite, por conseguinte, a deteção e quantificação de resíduos de antibióticos no leite, tornando esta uma alternativa importante e útil no processo de controlo de qualidade para a indústria de alimentos e outras área.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Os aterros de resíduos contemplam, na sua constituição, uma série de sistemas e infraestruturas complementares que asseguram o correto funcionamento do mesmo, minimizando os perigos ambientais. A produção de lixiviados no interior das células de confinamento deste tipo de aterro é um fato inevitável sendo necessário, dada a sua perigosidade, o dimensionamento de um sistema de contenção e drenagem que promova o seu escoamento para zonas de tratamento. O presente trabalho assentou em três vertentes principais: o aprofundamento dos conhecimentos e exposição dos mesmos, na temática relacionada com aterros de resíduos e com a aplicação de geossintéticos neste tipo de infraestrutura, o acompanhamento da construção do novo aterro de resíduos não perigosos da Suldouro, o Aterro do Giestal, que vem substituir o seu precedente, já em fase de selagem, o aterro de Sermonde e a elaboração de uma análise crítica à solução construtiva apresentada no projeto de execução deste aterro. Neste contexto, é efetuada uma pesquisa bibliográfica exaustiva e assente, essencialmente, na problemática da gestão de resíduos, na utilização de geossintéticos em aterros de resíduos e no seu projeto e construção. O acompanhamento da obra debruçou-se, essencialmente, sobre a execução do sistema de impermeabilização e de drenagem de lixiviados da célula de confinamento, dando enfâse aos materiais utilizados, nomeadamente os geossintéticos, ao dimensionamento efetuado e aos processos construtivos utilizados e à garantia da qualidade da sua execução. Dados os riscos ambientais associados a este tipo de infraestruturas, são, para além dos sistemas referidos, analisados os elementos do sistema de monitorização de águas subterrâneas, sendo aqui abordados os materiais e processos construtivos. Por fim, é proposta uma solução alternativa à prevista no projeto de execução dos sistema de impermeabilização e drenagem de lixiviados. A solução desenvolvida, é inovadora, de custo mais reduzido e com vantagens acrescidas relativamente aos seus processos construtivos e à capacidade de armazenamento.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

O presente trabalho tem por objectivo contribuir para aprofundar o conhecimento da temática que envolve a qualidade de execução da perfuração em maciços rochosos fracturados. A necessidade de conhecimento prévio sobre os resultados que podem ocorrer no desmonte de maciços rochosos após a realização da perfuração, leva a uma procura de indicadores que possibilitem obter mais conhecimento nessa matéria. No encadeamento do processo de análise de projecto, está o conhecimento adquirido, a caracterização do maciço rochoso, a implementação de correcções na componente da perfuração ajustadas ao maciço estudado e uma potencial previsão de granulometria final por emergência de um índice de qualidade, “Índice de Dispersão Volumétrica” que correlacione os elementos constituintes da geometria do diagrama de fogo e da envolvente intrínseca da matriz rochosa e aponte uma expectável granulometria final. Para atingir um nível de qualidade na operação global do processo de desmonte, a perfuração que está no topo da pirâmide assume papel de guia para as seguintes etapas, pelo que a qualidade dos equipamentos e acessórios e a sua correcta operação são fundamentais para obter o rigor da perfuração projectada, com vista a atingir uma determinada granulometria.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

A dot-ELISA was developed for the detection of antibodies in CSF in the immunologic diagnosis of human neurocysticercosis, using antigen extracts of the membrane and scolex of Cysticercus cellulosae (M+S-Cc) and, alternately, membrane (M) and vesicular fluid (VF) of Cysticercus longicollis (Cl) covalently bound to a new solid phase consisting of polyester fabric treated with N-methylol-acrylamide resin (dot-RT). The test was performed at room temperature, with reduced incubation times and with no need for special care in the manipulation of the support. The sensitivity rates obtained were 95.1% for antigen Cc and 97.6% for antigen Cl. Specificity was 90.6% when Cc was used, and 96.9% and 100% when M-Cl and VF-Cl were used, respectively. No significant differences in titer were observed between tests carried out with homologous and heterologous antigens. The low cost and easy execution of the dot-RT test using antigen extracts of Cysticercus longicollis indicate the test for use in the immunodiagnosis of human neurocysticercosis.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia Electrotécnica e de Computadores

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Dissertation presented at the Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa to obtain the Master degree in Electrical and Computer Engineering.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

This paper presents several forecasting methodologies based on the application of Artificial Neural Networks (ANN) and Support Vector Machines (SVM), directed to the prediction of the solar radiance intensity. The methodologies differ from each other by using different information in the training of the methods, i.e, different environmental complementary fields such as the wind speed, temperature, and humidity. Additionally, different ways of considering the data series information have been considered. Sensitivity testing has been performed on all methodologies in order to achieve the best parameterizations for the proposed approaches. Results show that the SVM approach using the exponential Radial Basis Function (eRBF) is capable of achieving the best forecasting results, and in half execution time of the ANN based approaches.