120 resultados para Symbolic Execution


Relevância:

10.00% 10.00%

Publicador:

Resumo:

RESUMO: Introdução – O envelhecimento pode estar relacionado com a perda de autonomia e declínio da capacidade funcional dos indivíduos, o que tende a comprometer a execução de tarefas do quotidiano e consequentemente leva a repercussões na qualidade de vida, afetando-a de forma negativa. Objetivos – Rever a bibliografia atualmente disponível no que respeita às repercussões do envelhecimento no campo visual binocular e atencional e à influência do campo visual binocular na leitura, escrita e marcha/locomoção em idosos. Metodologia – Este estudo é uma revisão de literatura. Procedeu-se à análise de 37 artigos científicos, que posteriormente foram organizados numa grelha de observação e numa tabela comparativa. Resultados – Dos artigos analisados, 32,43% (n=12) apontam para uma diminuição da extensão do campo visual binocular e atencional relacionada com o envelhecimento. Repercussões da diminuição da extensão do campo visual binocular sem fator atencional nas atividades quotidianas são referidas em 54,05% (n=20) dos artigos. Neste grupo de artigos 40,53% (n=15) apontam para a existência de uma relação entre o campo visual binocular com o desempenho na leitura, escrita ou marcha/locomoção. Do total de artigos analisados, dos 45,95% (n=17) que descrevem o campo visual binocular com fator atencional, 10,81% (n=4) apontam para a mesma relação. Discussão/Conclusões – O envelhecimento provoca um decréscimo no campo visual binocular, sendo este mais acentuado na periferia. Este decréscimo, na presença de uma atenção visual diminuída, influencia o desempenho na leitura, escrita e marcha/locomoção.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

A presente dissertação tem como objetivo efetuar a análise comparativa de soluções adotadas de reabilitação de pavimentos flexíveis que integram a rede rodoviária nacional. No âmbito desta análise apresenta-se o estado da arte respeitante à reabilitação de pavimentos flexíveis, nomeadamente: mecanismos de degradação, famílias de degradações, avaliação da capacidade de carga dos pavimentos, metodologia utilizada no dimensionamento do reforço de pavimentos, sendo também efetuada uma análise comparativa de técnicas de reforço de pavimentos e dos tratamentos antifendas. Neste contexto, apresenta-se um caso de estudo no qual é efetuada uma análise de três soluções possíveis para a reabilitação estrutural do pavimento do IC 20 entre Almada e a Costa de Caparica. É feita a descrição da solução projetada pela EP, SA patenteada em concurso público lançado em 2007, a qual é de certa forma inovadora ao nível do tratamento retardador da reflexão de fendas. Aquela solução técnica é constituída pela aplicação de grelhas de fibra de vidro e grelhas de fibra de carbono, seguidas da colocação de uma camada de desgaste em mistura betuminosa rugosa com betume modificado com baixa percentagem de borracha reciclada de pneus usados (BBr - BBB). Complementarmente, é efetuada a análise da solução do projeto de reabilitação do IC 20, patenteado pela Subconcessionária do Baixo Tejo, que contemplou a aplicação de misturas betuminosas rugosas com betume modificado com média percentagem de borracha reciclada de pneus usados (BBr - BBM). Para além da solução patenteada pela subconcessionária, é analisada a solução do projeto de alterações (variante) apresentado pelo agrupamento de empresas construtoras, que foi adotado na execução da obra realizada no IC 20. A intervenção de reabilitação estrutural contemplou a utilização de uma camada de ligação em AC 16 10/20 (MBAM) e uma camada de desgaste em mistura betuminosa rugosa com betume modificado com média percentagem de borracha reciclada de pneus usados (BBr - BBM). Adicionalmente à caracterização de diferentes soluções de reabilitação de pavimentos flexíveis adotados em Portugal, é efetuada uma análise comparativa dos custos de ciclo de vida (construção, manutenção e conservação) de cada tipo de solução de reabilitação.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

As coberturas planas são um dos principais elementos construtivos de uma edificação, necessitando por isso de materiais com qualidade e certificados por organismos competentes, bem como de uma conceção e execução minuciosas. Em Portugal, os estudos sobre as anomalias realmente observadas em coberturas planas são ainda bastante reduzidos. Nesse âmbito, o presente trabalho teve como objetivo, efetuar o levantamento e a análise estatística das principais anomalias e causas identificadas em coberturas planas de 75 edifícios, permitindo assim a elaboração de um estudo que possa contribuir para a prevenção dessas anomalias e que indique também as medidas necessárias à reparação e os respetivos custos associados. As anomalias foram analisadas através da observação "in situ" das coberturas o que conduziu ao preenchimento de fichas de obra com os dados recolhidos. Da análise estatística efetuada aos edifícios, verificou-se que as principais anomalias detetadas estão relacionadas com perfurações e fissurações do sistema impermeabilizante, resultantes da falta de conhecimento dos utilizadores. Foi possível verificar erros de execução de remates em pontos singulares da cobertura, por falta de pormenores construtivos desses pontos ou erros de execução por parte do aplicador. Em muitos dos casos estudados, não foi detetada nenhuma anomalia, porque se considerou razoável considerar que o sistema impermeabilizante tenha atingido o fim de vida útil. O custo médio por metro quadrado associado à reabilitação de uma cobertura plana é influenciado principalmente por dois fatores: área e acessibilidade da cobertura. O tipo de anomalia e/ou a sua causa não determinaram o custo por metro quadrado da reparação efetuada, pois esta foi sempre de caracter integral e nunca pontual.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

O estágio desenvolvido na empresa de construção Manuel da Graça Peixito, incidiu sobre Direcção e Gestão de Obra na execução de um projecto de reconversão urbanística a aplicar na AUGI 42 localizada no Casal do Sapo em Sesimbra. As áreas urbanas de génese ilegal, denominadas de AUGI, surgiram no inicio da década de 60, como um fenómeno que surgiu de forma a colmatar a carência no parque habitacional das periferias das grandes áreas metropolitanas do território nacional. O ambiente urbano gerado pela existência das AUGI, muitas vezes de proporções de grande dimensão, evidencia inúmeras carências e problemas a níveis sociais, económicos, urbanísticos e legais. A gestão de obra é uma actividade essencial na execução da obra e no planeamento de todas as tarefas a realizar com o melhor tratamento económico e financeiro. A direcção de obra tem como principais funções a selecção de recursos humanos, escolha e montagem dos órgãos de apoio logístico, a aquisição atempada e negociação de materiais. O Gestor e Director de Obra é colocado num ciclo operacional de optimização de recursos e eficiências, em que as duas funções, gestão e direcção de obra, são complementares e a abordagem do contexto interactivo do controlo da obra, em termos da produção, da gestão económica e financeira, da gestão do tempo, do cumprimento das normas de saúde e segurança no trabalho e no assegurar da qualidade, são claramente identificadas, enquanto veículo indispensável do cumprimento do contrato de empreitada. O processo de reconversão urbanística aplicado na AUGI 42 teve como estrutura de proposta a seguinte base: primeiro na recolha de dados relativo à AUGI 42 e na definição de um planeamento do faseamento numa estratégia de execução da empreitada; segundo na constituição e caracterização da execução de variadas infra-estruturas (rede de drenagem de esgotos domésticos e pluviais, rede de abastecimento de águas, rede de telecomunicações, rede eléctrica, rede de gás, rede viária e arranjos de espaços exteriores). Este processo e consequente proposta surgem como um contributo fundamental na melhoria da qualidade de vida das populações, como também da funcionalidade do sistema urbano que compõe as AUGI.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Mestrado em Segurança e Higiene do Trabalho.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

We present a new dynamical approach to the Blumberg's equation, a family of unimodal maps. These maps are proportional to Beta(p, q) probability densities functions. Using the symmetry of the Beta(p, q) distribution and symbolic dynamics techniques, a new concept of mirror symmetry is defined for this family of maps. The kneading theory is used to analyze the effect of such symmetry in the presented models. The main result proves that two mirror symmetric unimodal maps have the same topological entropy. Different population dynamics regimes are identified, when the intrinsic growth rate is modified: extinctions, stabilities, bifurcations, chaos and Allee effect. To illustrate our results, we present a numerical analysis, where are demonstrated: monotonicity of the topological entropy with the variation of the intrinsic growth rate, existence of isentropic sets in the parameters space and mirror symmetry.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

In this work a new probabilistic and dynamical approach to an extension of the Gompertz law is proposed. A generalized family of probability density functions, designated by Beta* (p, q), which is proportional to the right hand side of the Tsoularis-Wallace model, is studied. In particular, for p = 2, the investigation is extended to the extreme value models of Weibull and Frechet type. These models, described by differential equations, are proportional to the hyper-Gompertz growth model. It is proved that the Beta* (2, q) densities are a power of betas mixture, and that its dynamics are determined by a non-linear coupling of probabilities. The dynamical analysis is performed using techniques of symbolic dynamics and the system complexity is measured using topological entropy. Generally, the natural history of a malignant tumour is reflected through bifurcation diagrams, in which are identified regions of regression, stability, bifurcation, chaos and terminus.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Dynamical systems modeling tumor growth have been investigated to determine the dynamics between tumor and healthy cells. Recent theoretical investigations indicate that these interactions may lead to different dynamical outcomes, in particular to homoclinic chaos. In the present study, we analyze both topological and dynamical properties of a recently characterized chaotic attractor governing the dynamics of tumor cells interacting with healthy tissue cells and effector cells of the immune system. By using the theory of symbolic dynamics, we first characterize the topological entropy and the parameter space ordering of kneading sequences from one-dimensional iterated maps identified in the dynamics, focusing on the effects of inactivation interactions between both effector and tumor cells. The previous analyses are complemented with the computation of the spectrum of Lyapunov exponents, the fractal dimension and the predictability of the chaotic attractors. Our results show that the inactivation rate of effector cells by the tumor cells has an important effect on the dynamics of the system. The increase of effector cells inactivation involves an inverse Feigenbaum (i.e. period-halving bifurcation) scenario, which results in the stabilization of the dynamics and in an increase of dynamics predictability. Our analyses also reveal that, at low inactivation rates of effector cells, tumor cells undergo strong, chaotic fluctuations, with the dynamics being highly unpredictable. Our findings are discussed in the context of tumor cells potential viability.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

In this paper we define and investigate generalized Richards' growth models with strong and weak Allee effects and no Allee effect. We prove the transition from strong Allee effect to no Allee effect, passing through the weak Allee effect, depending on the implicit conditions, which involve the several parameters considered in the models. New classes of functions describing the existence or not of Allee effect are introduced, a new dynamical approach to Richards' populational growth equation is established. These families of generalized Richards' functions are proportional to the right hand side of the generalized Richards' growth models proposed. Subclasses of strong and weak Allee functions and functions with no Allee effect are characterized. The study of their bifurcation structure is presented in detail, this analysis is done based on the configurations of bifurcation curves and symbolic dynamics techniques. Generically, the dynamics of these functions are classified in the following types: extinction, semi-stability, stability, period doubling, chaos, chaotic semistability and essential extinction. We obtain conditions on the parameter plane for the existence of a weak Allee effect region related to the appearance of cusp points. To support our results, we present fold and flip bifurcations curves and numerical simulations of several bifurcation diagrams.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Mestrado em Segurança e Higiene no Trabalho.

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 Ciências da Educação, especialidade de Supervisão em Educação

Relevância:

10.00% 10.00%

Publicador:

Resumo:

This paper presents the characterization of an indoor Wimax radio channel using the Finite-Difference Time-Domain (FDTD) [1] method complemented with the Convolutional Perfect Matched Layer (CPML) technique [2]. An indoor 2D scenario is simulated in the 3.5GHz band (IEEE 802.16d-2004 and IEEE 802.16e-2005 [3]). In this study, we used two complementary techniques in both analysis, technique A and B for fading based on delay spread and technique C and D for fading based on Doppler spread. Both techniques converge to the same result. Simulated results define the channel as flat, slow and without inter-symbolic interference (ISI), making the application of the spatial diversity the most appropriate scheme.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

This paper describes an implementation of a long distance echo canceller, operating on full-duplex with hands-free and in real-time with a single Digital Signal Processor (DSP). The proposed solution is based on short length adaptive filters centered on the positions of the most significant echoes, which are tracked by time delay estimators, for which we use a new approach. To deal with double talking situations a speech detector is employed. The floating-point DSP TMS320C6713 from Texas Instruments is used with software written in C++, with compiler optimizations for fast execution. The resulting algorithm enables long distance echo cancellation with low computational requirements, suited for embbeded systems. It reaches greater echo return loss enhancement and shows faster convergence speed when compared to the conventional approach. The experimental results approach the CCITT G.165 recommendation levels.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Este artigo tem como foco o uso de casos multimédia na formação inicial de professores e procura analisar o seu contributo para o desenvolvimento do conhecimento didático de futuras professoras acerca do ensino exploratório da Matemática, bem como apreciar as suas perspetivas sobre as mais-valias do caso multimédia utilizado como recurso formativo. Analisam-se questionários e relatórios de treze alunas do Mestrado em Educação Pré-Escolar e Ensino do 1.º Ciclo da Universidade de Évora, que trabalharam sobre um caso multimédia que retrata a prática de ensino de uma professora de 1º ciclo. O caso inclui recursos diversificados, sendo os vídeos de sala de aula complementados com o plano da aula, as resoluções da tarefa pelos alunos, as reflexões da professora sobre a sua prática, um quadro de referência sobre o ensino exploratório da Matemática e artigos teóricos sobre ensino de natureza exploratória da Matemática. As alunas em formação apreciaram conhecer e explorar o caso multimédia, ressaltando a possibilidade de através dele conhecerem uma nova prática real de ensino da Matemática; sublinharam a importância de ouvirem as reflexões da professora para dotar de sentido a respetiva prática, revelando as intenções das suas ações; aprenderam também conhecimentos relevantes para pôr em prática o ensino exploratório, nomeadamente relativos ao conhecimento do processo instrucional, tanto no diz respeito à planificação, como à condução da aula.