950 resultados para Symbolic Execution


Relevância:

10.00% 10.00%

Publicador:

Resumo:

Trabalho de Projecto para obtenção do grau de Mestre em Engenharia Civil na Área de Especialização de Estruturas

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Este trabalho insere-se no domínio da calibração energética dos equipamentos SPT, dando seguimento ao disposto na norma EN ISO 22476-3, de aplicação obrigatória em Portugal. Para tal foi utilizada uma vara instrumentada, cuja instrumentação consiste em strain-gauges e acelerómetros piezoeléctricos. Esta instrumentação encontra-se fixa a um trecho de vara com comprimento de 60 cm e para a aquisição dos dados foi utilizado o sistema SPT Analyzer® comercializado pela firma PDI. O sistema permite registar os dados provenientes da instrumentação: sinais de um par de strain-gauges, transformados em registos de força (F1 e F2) e sinais de um par de acelerómetros, convertidos em registos de velocidade (V1 e V2) ao longo do tempo. O equipamento permite a avaliação, em tempo real, da qualidade dos registos e da energia máxima transmitida à vara em cada golpe e o conhecimento do deslocamento vertical do trem de varas ocorrido em cada golpe do martelo. Por outro lado, baseando-se no tema acima referido, pretende-se ainda desenvolver esforços no sentido de melhorar o novo método interpretativo dos resultados dos ensaios SPT e sua aplicação ao dimensionamento de estacas, dado que a previsão da capacidade de carga de estacas constitui um dos desafios da engenharia de fundações por requerer a estimativa de propriedades do solo, alterações pela execução da fundação e conhecimento do mecanismo de interacção solo-estaca. Este novo procedimento baseia-se nos princípios da dinâmica, rompendo com as metodologias até aqui consagradas, de natureza essencialmente empírica. A nova forma de interpretar os ensaios SPT, consubstanciada nos princípios de conservação de energia na cravação do amostrador SPT, irá permitir converter analiticamente o valor Nspt numa força dinâmica de reacção à penetração. A decomposição desta força dinâmica permite efectuar análises comparativas entre as resistências unitárias mobilizadas no amostrador SPT (modelo) e as mobilizadas na estaca (protótipo).

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Actualmente, os sistemas embebidos estão presentes em toda a parte. Embora grande parte da população que os utiliza não tenha a noção da sua presença, na realidade, se repentinamente estes sistemas deixassem de existir, a sociedade iria sentir a sua falta. A sua utilização massiva deve-se ao facto de estarem practicamente incorporados em quase os todos dispositivos electrónicos de consumo, telecomunicações, automação industrial e automóvel. Influenciada por este crescimento, a comunidade científica foi confrontada com novos problemas distribuídos por vários domínios científicos, dos quais são destacados a gestão da qualidade de serviço e gestão de recursos - domínio encarregue de resolver problemas relacionados com a alocação óptima de recursos físicos, tais como rede, memória e CPU. Existe na literatura um vasto conjunto de modelos que propõem soluções para vários problemas apresentados no contexto destes domínios científicos. No entanto, não é possível encontrar modelos que lidem com a gestão de recursos em ambientes de execução cooperativos e abertos com restrições temporais utilizando coligações entre diferentes nós, de forma a satisfazer os requisitos não funcionais das aplicações. Devido ao facto de estes sistemas serem dinâmicos por natureza, apresentam a característica de não ser possível conhecer, a priori, a quantidade de recursos necessários que uma aplicação irá requerer do sistema no qual irá ser executada. Este conhecimento só é adquirido aquando da execução da aplicação. De modo a garantir uma gestão eficiente dos recursos disponíveis, em sistemas que apresentam um grande dinamismo na execução de tarefas com e sem restrições temporais, é necessário garantir dois aspectos fundamentais. O primeiro está relacionado com a obtenção de garantias na execução de tarefas de tempo-real. Estas devem sempre ser executadas dentro da janela temporal requirida. O segundo aspecto refere a necessidade de garantir que todos os recursos necessários à execução das tarefas são fornecidos, com o objectivo de manter os níveis de performance quer das aplicações, quer do próprio sistema. Tendo em conta os dois aspectos acima mencionados, o projecto CooperatES foi especificado com o objectivo de permitir a dispositivos com poucos recursos uma execução colectiva de serviços com os seus vizinhos, de modo a cumprir com as complexas restrições de qualidade de serviço impostas pelos utilizadores ou pelas aplicações. Decorrendo no contexto do projecto CooperatES, o trabalho resultante desta tese tem como principal objectivo avaliar a practicabilidade dos conceitos principais propostos no âmbito do projecto. O trabalho em causa implicou a escolha e análise de uma plataforma, a análise de requisitos, a implementação e avaliação de uma framework que permite a execução cooperativa de aplicações e serviços que apresentem requisitos de qualidade de serviço. Do trabalho desenvolvido resultaram as seguintes contribuições: Análise das plataformas de código aberto que possam ser utilizadas na implementação dos conceitos relacionados com o projecto CooperatES; Critérios que influenciaram a escolha da plataforma Android e um estudo focado na análise da plataforma sob uma perspectiva de sistemas de tempo-real; Experiências na implementação dos conceitos do projecto na plataforma Android; Avaliação da practicabilidade dos conceitos propostos no projecto CooperatES; Proposta de extensões que permitam incorporar características de sistemas de tempo real abertos na plataforma Android.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Com o presente documento pretende-se abordar e identificar os diferentes factores que influenciam directamente a produção e execução de uma escavação subterrânea, com especial relevo sobre a influência exercida pela geotecnia do maciço intersectado. Inicialmente são focados os principais aspectos a ter em conta na caracterização geotécnica de um maciço, seguindo-se uma introdução a diferentes métodos de escavação actuais e metodologias de suporte de uma obra subterrânea, com particular realce para os utilizados em maciços brandos. Depois de tratados estes conceitos, é apresentada uma obra subterrânea em execução que foi acompanhada durante 4 meses para efeitos de desenvolvimento deste estudo. Assim, são abordados neste documento diferentes aspectos construtivos, no que diz respeito à mão-de-obra utilizada, metodologias e técnicas aplicadas, redes técnicas auxiliares instaladas, produções e rendimentos verificados. De seguida e de modo a atestar a importância da caracterização geotécnica ao longo da obra, foi feito um estudo do maciço intersectado, relativamente às descontinuidades que o intersectam, litologia, alteração, e resistência à compressão. Para este último parâmetro foram utilizadas técnicas distintas mas complementares, nomeadamente o ensaio de carga pontual (em laboratório), e o esclerómetro portátil (in situ). Por último, tendo em conta os parâmetros e características presentes e as implicações que uma obra do género acarreta, são propostas de modo sucinto, técnicas alternativas de escavação do maciço cuja viabilidade de implementação seja possível no contexto em questão.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The recent advances in embedded systems world, lead us to more complex systems with application specific blocks (IP cores), the System on Chip (SoC) devices. A good example of these complex devices can be encountered in the cell phones that can have image processing cores, communication cores, memory card cores, and others. The need of augmenting systems’ processing performance with lowest power, leads to a concept of Multiprocessor System on Chip (MSoC) in which the execution of multiple tasks can be distributed along various processors. This thesis intends to address the creation of a synthesizable multiprocessing system to be placed in a FPGA device, providing a good flexibility to tailor the system to a specific application. To deliver a multiprocessing system, will be used the synthesisable 32-bit SPARC V8 compliant, LEON3 processor.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Electricity markets are complex environments with very particular characteristics. A critical issue regarding these specific characteristics concerns the constant changes they are subject to. This is a result of the electricity markets’ restructuring, which was performed so that the competitiveness could be increased, but it also had exponential implications in the increase of the complexity and unpredictability in those markets scope. The constant growth in markets unpredictability resulted in an amplified need for market intervenient entities in foreseeing market behaviour. The need for understanding the market mechanisms and how the involved players’ interaction affects the outcomes of the markets, contributed to the growth of usage of simulation tools. Multi-agent based software is particularly well fitted to analyze dynamic and adaptive systems with complex interactions among its constituents, such as electricity markets. This dissertation presents ALBidS – Adaptive Learning strategic Bidding System, a multiagent system created to provide decision support to market negotiating players. This system is integrated with the MASCEM electricity market simulator, so that its advantage in supporting a market player can be tested using cases based on real markets’ data. ALBidS considers several different methodologies based on very distinct approaches, to provide alternative suggestions of which are the best actions for the supported player to perform. The approach chosen as the players’ actual action is selected by the employment of reinforcement learning algorithms, which for each different situation, simulation circumstances and context, decides which proposed action is the one with higher possibility of achieving the most success. Some of the considered approaches are supported by a mechanism that creates profiles of competitor players. These profiles are built accordingly to their observed past actions and reactions when faced with specific situations, such as success and failure. The system’s context awareness and simulation circumstances analysis, both in terms of results performance and execution time adaptation, are complementary mechanisms, which endow ALBidS with further adaptation and learning capabilities.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

actividade de turismo de habitação tem crescido de forma sustentada ao longo dos últimos anos em Portugal e o recurso à internet como canal de comercialização deste serviço tem substituído gradualmente os restantes canais mais tradicionais. No entanto, esta generalização do recurso a websites, nesta e noutras áreas da actividade económica, não tem sido sempre sinónimo de qualidade, justificando assim a procura de sistemas de avaliação deste tipo de produto de software, que possam ser aplicados sistemática e eficazmente. Nesse sentido, foi desenvolvido este trabalho, no propósito de conseguir um modelo de avaliação de websites, específico para o turismo de habitação, na convicção de que para áreas específicas se exigem abordagens específicas. A pesquisa por modelos orientados para esta actividade não produziu qualquer resultado, ao contrário de outras áreas onde já existem modelos adequados, como sejam a área académica e outras. Daí a necessidade de conjugar ideias e conceitos mais genéricos, de fontes diversas, com elementos específicos de turismo de habitação, no intuito de os combinar e adequar aos objectivos deste trabalho. Assim, a partir de elementos da Norma ISO 9126; de conceitos de usabilidade, funcionalidade, credibilidade, e outros; da opção por uma abordagem de desempenho empresarial; de modelos já existentes, embora direccionados para outras áreas; e de um modelo exploratório de carácter empírico entretanto desenvolvido, foi concebido e implementado um modelo que se caracteriza no essencial, por ser estruturado em três níveis, contemplar um conjunto de trinta e oito atributos em avaliação, com maior incidência naqueles relacionados com aspectos que se considera terem maior influência no desempenho da actividade económica subjacente, e que tem uma ponderação variável do seu impacto no resultado final. No intuito de dar flexibilidade ao modelo e de contrariar a carga subjectiva resultante do processo de ponderação do impacto de cada atributo avaliado, foram implementados no modelo três cenários alternativos com ponderações distintas, cada um valorizando determinado tipo de atributos e desvalorizando outros. Naturalmente que, aquando da implementação do modelo exploratório foram já retiradas algumas conclusões sobre o panorama geral, todavia o modelo definitivo veio dar-lhes maior consistência e pormenor.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Dissertação apresentada à Escola Superior de Educação de Lisboa para obtenção de grau de mestre em Educação Artística, na Especialização de Teatro na Educação

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia Civil

Relevância:

10.00% 10.00%

Publicador:

Resumo:

This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

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

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Este trabalho é realizado no domínio das obras de engenharia, área onde o desmonte de rocha com recurso a explosivos em obras rodoviárias é uma actividade específica e consistiu no acompanhamento e execução de três obras rodoviárias de média e grande dimensão. A necessidade de executar escavações, recorrendo a técnicas de desmonte cuidadoso de contorno, onde o plano de corte do talude final deve obedecer a requisitos de localização, alinhamento, inclinação, estabilidade e também estéticos, acrescendo a isto a necessidade de optimizar os meios envolvidos, obriga a que esta actividade seja encarada de uma forma sistematizada, visando o racional aproveitamento de recursos. A execução desta actividade requer conhecimentos no domínio das técnicas de desmonte de contorno, dos explosivos, do mecanismo de rotura de rochas, da operação de perfuração e da geomecânica dos maciços. A abordagem deste trabalho incide sobre a técnica denominada de pré‐corte e tem como objectivo encontrar uma equação característica que permita relacionar diferentes parâmetros envolvidos nesta actividade. Este objectivo é alcançado recorrendo à correlação entre equações relativas à pressão de detonação, à pressão no furo e ao espaçamento entre furos consecutivos, desenvolvidas por outros autores. Desta forma obteve‐se uma equação que relaciona parâmetros relativos ao maciço rochoso (resistência à tracção), ao explosivo (velocidade de detonação e densidade) e ao diagrama de fogo (concentração de carga – volume de explosivo e comprimento do furo – volume do furo). A comparação entre os valores destes parâmetros obtidos na produção e os obtidos com recurso à equação característica permite concluir que a sua aplicação para execução de futuras obras possibilita uma optimização dos meios envolvidos.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

A constante evolução da tecnologia obriga a que o mundo empresarial tenha que alocar esforços para se manter actualizado. Os equipamentos tecnológicos que se encontram actualmente na vanguarda da tecnologia são os dispositivos móveis, que cada vez mais nos rodeiam e acompanham com o intuito de nos facilitar a execução de tarefas rotineiras. O ramo de construção e obras públicas em particular é um sector que obriga a que os seus trabalhadores estejam constantemente em movimento, e que muito têm a ganhar com a utilização de ferramentas de trabalho em equipamentos móveis. Neste projecto pretendeu-se identificar qual o sistema operativo para dispositivos móveis que melhor se enquadra com as necessidades empresariais, assim como quais os mecanismos de comunicação inter-máquinas que melhor se enquadram com o cenário em estudo. Foi então desenvolvida uma plataforma para dispositivos móveis que permite agilizar a execução de processos que normalmente são morosos ou que obrigam à utilização do computador em locais menos próprios, nomeadamente o ambiente de obra. A solução proposta e implementada envolve uma aplicação modular quer permita a fácil inserção e remoção de módulos. Foram também realizados os estudos e implementações de quatro módulos, designadamente: auto-afectação, conferência documental, fornecedores e presenças em obra. Concluído este projecto, ficam reunidas as condições para o fácil desenvolvimento de novos módulos, visando inovação e optimização dos processos de trabalho da empresa.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Este relatório diz respeito ao trabalho desenvolvido em ambiente de estágio académico numa Empreitada compreendendo Obras de Arte Correntes e Obras de Arte Especiais inseridas em traçado actual do IP4 que está a ser transformado em Auto-Estrada. As Obras de Arte Correntes compreendem Passagens Superiores, Passagens Inferiores e Passagens superiores de Nó. As Obras de Arte Especiais compreendem duas Pontes com vãos distintos. Todas as Obras de Arte referidas neste relatório contemplam uma solução mista de betão armado “in situ” e tabuleiros com vigas e pré-lajes em betão pré-fabricado. Além da descrição de todas as actividades realizadas em betão armado “in situ”, desde as fundações até ao tabuleiro, descreve também a execução dos diversos tipos de trabalhos de acabamentos. Além das actividades de construção civil, é efectuada uma descrição das actividades a cujo processo de realização estão associados trabalhos de concepção e desenvolvimento, como é o caso dos cimbres. Este relatório faz uma descrição abrangente das funções da Direcção de Obra numa Empreitada de Obras de Arte, que para além da execução da obra, com todas as actividades que lhe são inerentes, compreende várias áreas funcionais que fazem parte de uma empresa de construção civil, como a área comercial, financeira, planeamento, aprovisionamento, controlo orçamental, gestão contratual, gestão de subempreitadas e gestão da qualidade, ambiente e segurança.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Este trabalho teve o intuito de criar uma linha de montagem universal através da qual será dada formação aos atuais operadores e a novos que possam vir a pertencer ao departamento de montagem na empresa Grohe Portugal. Para tal era necessário saber realizar um estudo de métodos e um estudo de tempos sobre os vários processos existentes no departamento de montagem. Com esse intuito foi elaborada uma pesquisa sobre as referidas temáticas, onde ficou evidente a sua importância e a sua imprescindibilidade. Inicialmente houve também um acompanhamento das montagens dos produtos nas várias linhas, de forma a adquirir conhecimento sobre as características dos processos de montagem existentes no departamento. Os pontos mais importantes durante o estudo de métodos e tempos realizado foram a definição de toda a estrutura do processo, das ferramentas e materiais a utilizar, não esquecendo a relação entre o operador e as suas ferramentas e a medição de tempos de todas as tarefas necessárias para cada processo de montagem. A linha de montagem, cujo projeto se desenvolveu, é composta por três bancadas e consiste num conjunto de postos de trabalho onde são executadas as operações através de máquinas, do trabalho humano, ou da sua conjugação, dispostos numa determinada sequência, sendo alguns deles amovíveis. Para a realização e conclusão deste projeto foram superadas diversas etapas, sendo que as mais relevantes foram:  a análise dos processos de montagem;  estudo de tempos de todas as famílias de produtos a serem implementados na linha de formação; - Definição da estrutura da linha de montagem; - Definição das rampas e dos tubos de abastecimento da linha; - Desenho da linha de montagem em 3D no software SolidWorks. Paralelamente foram também desenvolvidos estudos de tempos sobre alguns produtos com o intuito de serem implementadas melhorias, ou apenas para o controlo de tempos necessários para a realização das operações Por último, foi também elaborada uma recolha de ferramentas existentes no departamento de montagem para serem elaborados manuais de instruções das ferramentas fabricadas internamente, com o objetivo de obter a certificação OSHAS 180001 e de criar documentos com a listagem de materiais necessários para cada produto.