950 resultados para Symbolic Execution


Relevância:

10.00% 10.00%

Publicador:

Resumo:

Mestrado em Contabilidade

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:

This paper presents the SmartClean tool. The purpose of this tool is to detect and correct the data quality problems (DQPs). Compared with existing tools, SmartClean has the following main advantage: the user does not need to specify the execution sequence of the data cleaning operations. For that, an execution sequence was developed. The problems are manipulated (i.e., detected and corrected) following that sequence. The sequence also supports the incremental execution of the operations. In this paper, the underlying architecture of the tool is presented and its components are described in detail. The tool's validity and, consequently, of the architecture is demonstrated through the presentation of a case study. Although SmartClean has cleaning capabilities in all other levels, in this paper are only described those related with the attribute value level.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

This chapter presents some of the issues with holonic manufacturing systems. It starts by presenting the current manufacturing scenario and trends and then provides some background information on the holonic concept and its application to manufacturing. The current limitations and future trends of manufacturing suggest more autonomous and distributed organisations for manufacturing systems; holonic manufacturing systems are proposed as a way to achieve such autonomy and decentralisation. After a brief literature survey a specific research work is presented to handle scheduling in holonic manufacturing systems. This work is based on task and resource holons that cooperate with each other based on a variant of the contract net protocol that allow the propagation of constraints between operations in the execution plan. The chapter ends by presenting some challenges and future opportunities of research.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The main idea of the article is to consider the interdependence between Politics of Memory (as a type of narrating the Past) and Stereotyping. The author suggests that, in a time of information revolution, we are still constructing images of others on the basis of simplification, overestimation of association between features, and illusory correlations, instead of basing them on knowledge and personal contact. The Politics of Memory, national remembrance, and the historical consciousness play a significant role in these processes, because – as the author argues – they transform historically based 'symbolic analogies' into 'illusory correlations' between national identity and the behavior of its members. To support his theoretical investigation, the author presents results of his draft experiment and two case studies: (a) a social construction of images of neighbors based on Polish narrations about the Past; and (b) various processes of stereotyping based on the Remembrance of the Holocaust. All these considerations lead him to state that the Politics of Memory should be recognized as an influential source of commonly shared stereotypes on other cultures and nations.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Relatório de Estágio apresentado ao Instituto Superior de Contabilidade e Administração do Porto para a obtenção do Grau de Mestre em Auditoria Orientador: Rodrigo Mário Oliveira Carvalho, Dr. Coorientador: Vicente António Fernandes Seixas, Dr.

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:

This journal provides immediate open access to its content on the principle that making research freely available to the public supports a greater global exchange of knowledge.

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.