Influência dos tarifários de transportes colectivos na repartição modal dos transportes na AML

Dissertação para obtenção do Grau de Mestre em Engenharia do Ambiente, Perfil de Ordenamento do Território e Impactes Ambientais

Decomposição de aminoácidos alifáticos por transferência de electrão em colisões átomo-molécula

Dissertação para obtenção do Grau de Mestre em Engenharia Biomédica

Identificação modal e actualização de modelos de elementos finitos

Dissertação para obtenção do Grau de Mestre em Engenharia Civil - Perfil Estruturas

Identificação de dano estrutural com base em análise modal

O presente trabalho procura mostrar as potencialidades das técnicas de monitorização estrutural, de detecção, localização e caracterização de dano através de alterações dos parâmetros modais. As características dinâmicas de vibração de uma estrutura são alteradas pela presença de dano, o que, representando uma perda física, conduz à consequente perda de rigidez. Este fenómeno é responsável por modificações nas frequências naturais, deslocamentos modais e respectivas derivadas. Este trabalho apresenta a curvatura das configurações modais como possível parâmetro de controlo na identificação de dano estrutural. Neste documento encontram-se vários estudos de sensibilidade realizados em três modelos distintos (viga bi-apoiada, viga em consola e pórtico encastrado) em que se pretende avaliar a fiabilidade do método das curvaturas. Foram também desenvolvidos estudos respeitantes às alterações das frequências naturais e às alterações de dois indicadores estatísticos, o MAC e o COMAC. Com base nos resultados do método das curvaturas foi desenvolvida uma Java Applet, que constitui uma ferramenta de cálculo que permite explorar as potencialidades do método das curvaturas modais na identificação de danos em várias estruturas. Esta aplicação foi desenvolvida no compilador NetBeans IDE.

Análise modal de um edifício de paredes de alvenaria resistente

O parque habitacional em Portugal é composto por um elevado número de edifícios antigos constituídos por paredes de alvenaria resistente. Nos últimos anos tem-se constatado um interesse crescente na preservação e reutilização dessas construções, por se encontrarem frequentemente em zonas históricas privilegiadas, e com potencial interesse de exploração económica. Estes motivos têm levado à realização de intervenções estruturais nesses edifícios, com vista à reorganização dos espaços, podendo desencadear alterações no seu comportamento estrutural. O objetivo primordial deste estudo é avaliar as alterações da resposta modal de um edifício de paredes de alvenaria resistente, sujeito a uma intervenção de remoção das paredes num dos seus fogos. Para tal, realizaram-se duas campanhas experimentais de identificação modal à vibração ambiente, com o intuito de determinar as propriedades dinâmicas da estrutura, antes e após a intervenção. Procedeu-se à elaboração de um modelo de elementos finitos da estrutura recorrendo ao programa de análise de estruturas SAP2000, que permitiu efetuar também a correspondente análise numérica do problema. Foi ainda realizada uma análise ao comportamento modal do edifício, onde se identificaram diversas hipóteses que influenciam a resposta dinâmica da estrutura, tendo sido desenvolvidos alguns modelos numéricos, com o objetivo de examinar nomeadamente a influência dos edifícios adjacentes, e da interação solo-estrutura, no comportamento global do edifício analisado.

Decomposição de resíduos de cultura de milho (Zea mays L.) medida pelo teor de carbono e relação C/N do solo

Foi feito um ensaio em vasos com três solos arenosos do município de Piracicaba a fim de se avaliar o período de decomposição mais ativa de restos de cultura de milho e início de estabilização desse processo e testar a determinação do teor de C do solo e da relação C/N como parâmetros de avaliação da decomposição. Utilizou-se o delineamento experimental inteiramente casualizado, com e sem adição do material orgânico e com adição de doses crescentes de nitrogênio. Concluiu-se o seguinte: a) Tanto o teor de C do solo como a relação C/N foram eficientes para alcançar o objetivo visado, devendo-se, entretanto, para fins práticos, utilizar o primeiro processo por ser de execução mais fácil e mais rápida, b) A decomposição tendeu a se estabilizar aos 45 dias, aproximadamente, após o início da incubação.

Setting boundaries: brain dynamics of modal and amodal illusory shape completion in humans.

Normal visual perception requires differentiating foreground from background objects. Differences in physical attributes sometimes determine this relationship. Often such differences must instead be inferred, as when two objects or their parts have the same luminance. Modal completion refers to such perceptual "filling-in" of object borders that are accompanied by concurrent brightness enhancement, in turn termed illusory contours (ICs). Amodal completion is filling-in without concurrent brightness enhancement. Presently there are controversies regarding whether both completion processes use a common neural mechanism and whether perceptual filling-in is a bottom-up, feedforward process initiating at the lowest levels of the cortical visual pathway or commences at higher-tier regions. We previously examined modal completion (Murray et al., 2002) and provided evidence that the earliest modal IC sensitivity occurs within higher-tier object recognition areas of the lateral occipital complex (LOC). We further proposed that previous observations of IC sensitivity in lower-tier regions likely reflect feedback modulation from the LOC. The present study tested these proposals, examining the commonality between modal and amodal completion mechanisms with high-density electrical mapping, spatiotemporal topographic analyses, and the local autoregressive average distributed linear inverse source estimation. A common initial mechanism for both types of completion processes (140 msec) that manifested as a modulation in response strength within higher-tier visual areas, including the LOC and parietal structures, is demonstrated, whereas differential mechanisms were evident only at a subsequent time period (240 msec), with amodal completion relying on continued strong responses in these structures.

A study on the expressive power of some fragments of the modal µ-Calculus

Résumé Le μ-calcul est une extension de la logique modale par des opérateurs de point fixe. Dans ce travail nous étudions la complexité de certains fragments de cette logique selon deux points de vue, différents mais étroitement liés: l'un syntaxique (ou combinatoire) et l'autre topologique. Du point de vue syn¬taxique, les propriétés définissables dans ce formalisme sont classifiées selon la complexité combinatoire des formules de cette logique, c'est-à-dire selon le nombre d'alternances des opérateurs de point fixe. Comparer deux ensembles de modèles revient ainsi à comparer la complexité syntaxique des formules as¬sociées. Du point de vue topologique, les propriétés définissables dans cette logique sont comparées à l'aide de réductions continues ou selon leurs positions dans la hiérarchie de Borel ou dans celle projective. Dans la première partie de ce travail nous adoptons le point de vue syntax¬ique afin d'étudier le comportement du μ-calcul sur des classes restreintes de modèles. En particulier nous montrons que: (1) sur la classe des modèles symétriques et transitifs le μ-calcul est aussi expressif que la logique modale; (2) sur la classe des modèles transitifs, toute propriété définissable par une formule du μ-calcul est définissable par une formule sans alternance de points fixes, (3) sur la classe des modèles réflexifs, il y a pour tout η une propriété qui ne peut être définie que par une formule du μ-calcul ayant au moins η alternances de points fixes, (4) sur la classe des modèles bien fondés et transitifs le μ-calcul est aussi expressif que la logique modale. Le fait que le μ-calcul soit aussi expressif que la logique modale sur la classe des modèles bien fondés et transitifs est bien connu. Ce résultat est en ef¬fet la conséquence d'un théorème de point fixe prouvé indépendamment par De Jongh et Sambin au milieu des années 70. La preuve que nous donnons de l'effondrement de l'expressivité du μ-calcul sur cette classe de modèles est néanmoins indépendante de ce résultat. Par la suite, nous étendons le langage du μ-calcul en permettant aux opérateurs de point fixe de lier des occurrences négatives de variables libres. En montrant alors que ce formalisme est aussi ex¬pressif que le fragment modal, nous sommes en mesure de fournir une nouvelle preuve du théorème d'unicité des point fixes de Bernardi, De Jongh et Sambin et une preuve constructive du théorème d'existence de De Jongh et Sambin. RÉSUMÉ Pour ce qui concerne les modèles transitifs, du point de vue topologique cette fois, nous prouvons que la logique modale correspond au fragment borélien du μ-calcul sur cette classe des systèmes de transition. Autrement dit, nous vérifions que toute propriété définissable des modèles transitifs qui, du point de vue topologique, est une propriété borélienne, est nécessairement une propriété modale, et inversement. Cette caractérisation du fragment modal découle du fait que nous sommes en mesure de montrer que, modulo EF-bisimulation, un ensemble d'arbres est définissable dans la logique temporelle Ε F si et seulement il est borélien. Puisqu'il est possible de montrer que ces deux propriétés coïncident avec une caractérisation effective de la définissabilité dans la logique Ε F dans le cas des arbres à branchement fini donnée par Bojanczyk et Idziaszek [24], nous obtenons comme corollaire leur décidabilité. Dans une deuxième partie, nous étudions la complexité topologique d'un sous-fragment du fragment sans alternance de points fixes du μ-calcul. Nous montrons qu'un ensemble d'arbres est définissable par une formule de ce frag¬ment ayant au moins η alternances si et seulement si cette propriété se trouve au moins au n-ième niveau de la hiérarchie de Borel. Autrement dit, nous vérifions que pour ce fragment du μ-calcul, les points de vue topologique et combina- toire coïncident. De plus, nous décrivons une procédure effective capable de calculer pour toute propriété définissable dans ce langage sa position dans la hiérarchie de Borel, et donc le nombre d'alternances de points fixes nécessaires à la définir. Nous nous intéressons ensuite à la classification des ensembles d'arbres par réduction continue, et donnons une description effective de l'ordre de Wadge de la classe des ensembles d'arbres définissables dans le formalisme considéré. En particulier, la hiérarchie que nous obtenons a une hauteur (ωω)ω. Nous complétons ces résultats en décrivant un algorithme permettant de calculer la position dans cette hiérarchie de toute propriété définissable.

Necessary and sufficient conditions for robust stability using modal intervals

In this paper, robustness of parametric systems is analyzed using a new approach to interval mathematics called Modal Interval Analysis. Modal Intervals are an interval extension that, instead of classic intervals, recovers some of the properties required by a numerical system. Modal Interval Analysis not only simplifies the computation of interval functions but allows semantic interpretation of their results. Necessary, sufficient and, in some cases, necessary and sufficient conditions for robust performance are presented

Multi-modal distraction: insights from children's limited attention.

How does the multi-sensory nature of stimuli influence information processing? Cognitive systems with limited selective attention can elucidate these processes. Six-year-olds, 11-year-olds and 20-year-olds engaged in a visual search task that required them to detect a pre-defined coloured shape under conditions of low or high visual perceptual load. On each trial, a peripheral distractor that could be either compatible or incompatible with the current target colour was presented either visually, auditorily or audiovisually. Unlike unimodal distractors, audiovisual distractors elicited reliable compatibility effects across the two levels of load in adults and in the older children, but high visual load significantly reduced distraction for all children, especially the youngest participants. This study provides the first demonstration that multi-sensory distraction has powerful effects on selective attention: Adults and older children alike allocate attention to potentially relevant information across multiple senses. However, poorer attentional resources can, paradoxically, shield the youngest children from the deleterious effects of multi-sensory distraction. Furthermore, we highlight how developmental research can enrich the understanding of distinct mechanisms controlling adult selective attention in multi-sensory environments.

Multi-modal Change Detection, Application to the Detection of Flooded Areas: Outcome of the 2009-2010 data fusion contest

The 2009-2010 Data Fusion Contest organized by the Data Fusion Technical Committee of the IEEE Geoscience and Remote Sensing Society was focused on the detection of flooded areas using multi-temporal and multi-modal images. Both high spatial resolution optical and synthetic aperture radar data were provided. The goal was not only to identify the best algorithms (in terms of accuracy), but also to investigate the further improvement derived from decision fusion. This paper presents the four awarded algorithms and the conclusions of the contest, investigating both supervised and unsupervised methods and the use of multi-modal data for flood detection. Interestingly, a simple unsupervised change detection method provided similar accuracy as supervised approaches, and a digital elevation model-based predictive method yielded a comparable projected change detection map without using post-event data.

Bionomia dos estágios imaturos de duas espécies de Peckia (Diptera, Sarcophagidae) em suíno em decomposição em área de floresta no norte do Brasil

Descreveu-se a duração dos estádios larvais de Peckia (Pattonella) smarti (Lopes 1941) e Peckia (Pattonella) pallidipilosa (Curran & Walley 1934) obtidos em suínos em decomposição na natureza durante as estações chuvosa e seca na Reserva Florestal Adolpho Ducke, Manaus, Amazonas. As larvas foram colocadas em recipientes com serragem úmida e carne suína com 12 horas de decomposição para puparem. Os recipientes com as larvas foram mantidos em viveiro próximo ao local de coleta. A idenficação foi baseada nos adultos e posteriormente foram correlacionados com as larvas. O período de larva até a emergência dos adultos, na estação chuvosa, foi de 17,93 dias para P. smarti e 15,87 dias para P. pallidipilosa. Na estação seca foi de 16,05 dias para P. smarti e 15,96 dias para P. pallidipilosa. Peckia smarti e P. pallidipilosa estão sendo registradas pela primeira vez para o Estado do Amazonas e para o Brasil, respectivamente.

The modal nature of structures in ontic structural realism

Ontic structural realism is the view that structures are what is real in the first place in the domain of fundamental physics. The structures are usually conceived as including a primitive modality. However, it has not been spelled out as yet what exactly that modality amounts to. This paper proposes to fill this lacuna by arguing that the fundamental physical structures possess a causal essence, being powers. Applying the debate about causal vs. categorical properties in analytic metaphysics to ontic structural realism, I show that the standard argument against categorical and for causal properties holds for structures as well. Structural realism, as a position in the metaphysics of science that is a form of scientific realism, is committed to causal structures. The metaphysics of causal structures is supported by physics, and it can provide for a complete and coherent view of the world that includes all domains of empirical science.

Sarcophagidae (Insecta, Diptera) associados à decomposição de carcaças de Sus scrofa Linnaeus (Suidae) em área de Cerrado do Distrito Federal, Brasil

Este trabalho apresenta uma lista de dípteros sarcofagídeos adultos coletados em carcaça de porco Sus scrofa, em área de Cerrado, Distrito Federal, Brasil, sendo um estudo sobre a composição da fauna de Diptera na região. O trabalho de campo acompanhou o processo de decomposição da carcaça e foi realizado durante 45 dias. A partir de 4.626 indivíduos coletados foram identificadas 28 espécies, sendo 16 novos registros para a região estudada.

Deposição e decomposição da serapilheira em povoamentos de Mimosa caesalpiniifolia, Acacia mangium e Acacia holosericea com quatro anos de idade em planossolo

Algumas espécies de leguminosas arbóreas, associadas a bactérias fixadoras de nitrogênio e a fungos micorrízicos, têm apresentado bom desenvolvimento em solos degradados. Visando avaliar a influência dessas espécies na recuperação da fertilidade do solo, mediu-se a quantidade de matéria seca e nutrientes no material formador da serapilheira, durante o ano de 1995, e na serapilheira acumulada na superfície do solo, em 1995 e 1996, e estimou-se sua velocidade de decomposição. Estudaram-se povoamentos homogêneos de Mimosa caesalpiniifolia (sabiá), Acacia mangium e Acacia holosericea, em espaçamento de 4 m²/planta, em Planossolo, no campo experimental da Embrapa Agrobiologia, município de Seropédica (RJ) (22°49' S e 43°38' W, com altitude variando entre 18 e 33 m). A deposição média anual de material formador da serapilheira foi de 10 Mg ha-1, para o sabiá, e de 9 Mg ha-1, para as Acacias Em média, as folhas corresponderam a 64% do material formador da serapilheira produzido pelo sabiá e pela Acacia holosericea e 70% para Acacia mangium A parte mais rica em nutrientes do material formador da serapilheira foram as estruturas reprodutivas. A Acacia Mangium foi a espécie de maior capacidade de retranslocação interna de nutrientes, produzindo a serapilheira mais pobre em nutrientes e de menor velocidade de decomposição. A serapilheira produzida pelo sabiá foi a mais rica em nutrientes, com menor tempo de residência. As diferentes velocidades de decomposição da serapilheira dessas espécies podem ser utilizadas como estratégia para complementar necessidades nutricionais de culturas econômicas em sistemas agroflorestais e, ou, para auxiliar na recuperação de solos degradados.