950 resultados para Symbolic Execution
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.
Resumo:
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)
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.
Resumo:
Mestrado em Segurança e Higiene no Trabalho.
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
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.
Resumo:
Mestrado em Engenharia Geotécnica e Geoambiente
Resumo:
Relatório de Estágio apresentado ao Instituto Superior de Contabilidade para a obtenção do Grau de Mestre em Auditoria Orientada por Dr. Rodrigo Mário de Oliveira Carvalho e Dr. Álvaro Manuel de Sousa Carvalho
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.
Resumo:
As diferenças entre os géneros parecem surgir desde a origem da humanidade, quando a função do homem era caçar e da mulher fornecer cuidados às crianças e realizar trabalhos de cariz manual. O membro superior apresenta um papel primordial na execução da maioria das atividades relevantes para o ser humano, sendo pertinente a realização de avaliações mais objetivas do mesmo. Com a realização deste estudo pretendemos verificar se existem diferenças entre os géneros nos parâmetros eletromiográficos e cinemáticos do movimento durante uma atividade diária; perceber se os valores da eletromiografia e da cinemática do membro superior são dependentes do género à medida que a distância do objeto é alterada e ainda, levar a cabo a análise da atividade de beber. Para tal foram avaliados parâmetros de qualidade de movimento e parâmetros de recrutamento muscular em 15 indivíduos do género feminino e 15 indivíduos do género masculino com idades compreendidas entre os 18 e os 30 anos numa atividade de beber em três momentos diferentes. Para a análise cinemática foi utilizado o software Qualysis Motion Capture e para a análise eletromiográfica o software AcqKnowledge Analysis. Com os resultados obtidos constatamos que a percentagem de ativação muscular e os ângulos de flexão do ombro e flexão do cotovelo apresentam diferenças estatisticamente significativas (p<0.05) entre os géneros, sendo o grupo feminino a apresentar valores superiores. Aferiu-se também que a percentagem de ativação do músculo Deltoide Anterior parece ser influenciado pelo género (p<0.05) ao longo das três distâncias em estudo, sendo novamente o grupo feminino a apresentar valores superiores. Para além disto, aquando do movimento de alcançar, verificaram-se evidências estatísticas (p<0.05) do envolvimento do tronco em todas as distâncias de alcance do objeto, inclusive numa distância inferior ao comprimento do braço. Este estudo permitiu a descrição detalhada da eletromiografia e cinemática do movimento do membro superior de alcançar e transportar numa atividade diária, bem como uma comparação da mesma entre o grupo masculino e grupo feminino.
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.
Resumo:
Mestrado em Engenharia Geotécnica e Geoambiente
Resumo:
A presente investigação procurou descrever, de forma exaustiva, o processo de previsão, negociação, implementação e avaliação do Contrato de Execução celebrado entre a Câmara Municipal de Sintra e o Ministério da Educação em 2009. Este contrato corresponde a um instrumento previsto na regulamentação do quadro de transferências de competências para os municípios em matéria de educação, de acordo com o regime previsto no Decreto-Lei n.º 144/2008, de 28 de julho. Definida a problemática e os objetivos, a investigação centrou-se num estudo de caso no qual foi feita a descrição e interpretação do processo e das ações desenvolvidas pelos intervenientes no período compreendido entre 2008 e 2011. Recorreu-se à confrontação dos dados obtidos através da análise das fontes documentais e do recurso às entrevistas realizadas aos responsáveis pelo Pelouro da Educação e diretores dos Agrupamentos de Escolas, à luz da revisão da literatura e do contributo de diferentes trabalhos de investigadores nesta matéria. A investigação permitiu concluir que o processo de contratualização foi algo complexo face à realidade deste Município e que o normativo apresenta várias lacunas no que diz respeito à contratualização da referida transferência de competências, designadamente porque procura generalizar algo que não é, de todo, generalizável – o campo da educação face à complexidade dos territórios educativos em causa e aos dos intervenientes envolvidos no mesmo.
Resumo:
Mestrado em Engenharia Química. Ramo optimização energética na indústria química.
Resumo:
O Acidente Vascular Encefálico é uma das principais causas de morte, tornando-se cada vez mais iminente processos de reabilitação que minimizem as sequelas, nomeadamente as limitações do membro superior que dificultam o envolvimento em atividades da vida diária. O Constraint-Induced Movement Therapy, surge como uma abordagem que incrementa o uso do membro superior mais afetado. A presente investigação trata-se de um estudo de casos múltiplos. Pretende-se verificar se existem melhorias na funcionalidade do membro superior mais afetado, analisar em que atividades da vida diária são visíveis melhorias funcionais e compreender se o maior envolvimento nas atividades diárias está diretamente relacionado com a melhoria na capacidade funcional. Pretende-se ainda que os valores obtidos no Wolf Motor Function Test sejam um contributo para a sua validação para a população portuguesa. Utilizou-se um questionário para recolha de dados pessoais e clínicos (amplitudes de movimento, dor e espasticidade); o Wolf Motor Function Test e o Action Research Arm Test para verificar a funcionalidade do membro superior mais afetado; e a Motor Activity Log que avalia o envolvimento em atividades da vida diária. O grupo é constituído por 3 utentes que sofreram um primeiro Acidente Vascular Encefálico até 9 meses de evolução, internados na Santa Casa da Misericórdia de Monção e que cumpriam os critérios de inclusão. O programa foi implementado três horas/dia, durante 10 dias, mantendo a restrição no membro superior menos afetado durante 90% do dia acordado. Como se trata de um estudo de casos múltiplos, analisou-se cada participante individualmente e verificou-se a diferença entre os resultados finais e iniciais para cada uma das variáveis. Os resultados obtidos revelam ganhos na amplitude de movimento, velocidade de execução e capacidade funcional do membro superior mais afetado, nomeadamente nas funções de preensão e pinça da mão, bem como se testemunhou minimização do fenómeno learned nonuse. Verificaram-se ganhos funcionais em todos os participantes nas atividades da vida diária apesar de serem diferentes de participante para participante. Dois participantes afirmaram que voltariam a participar no programa.Conclui-se, assim que a técnica resulta em ganhos funcionais nestes utentes, indicando um caminho alternativo a outras abordagens de reabilitação.