Padrões de aleatoriedade na modelação do acaso

A soma de variáveis aleatórias com número de parcelas é aleatório, para além do evidente interesse conceptual e teórico, tem larga ressonância na investigação do processo de risco e em processos de ramificação. Reformulamos a teoria de Panjer (1981), que permite o cálculo iterativo do risco agregado, com o recurso a valores médios de uniformes, descrevendo uma extensão da classe de Panjer, e estudando em detalhe a equação funcional que a caracteriza. Aplicamos essas ideias na caracterização de aleatoriedade discreta, exemplificando com o comportamento das fêmeas de pássaros que investem na promiscuidade de parceiros para garantir a diversidade genética da progénie, tendo no entanto o cuidado de manter as aparências de fidelidade, para garantir a cooperação do parceiro no sucesso da ninhada. Apresentamos as transformadas de Laplace e funções geradoras numa perspectiva que leva a uma introdção natural de transformadas de Pareto, cuja relevância exemplificamos.

Modelação de diálogos com o Midiki: um gestor de diálogo do tipo Information State Update

Nesta dissertação investigamos a problemática da criação de sistemas e interfaces que permitam a interacção entre pessoas e máquinas através de linguagem natural(LN), recorrendo a Gestores de Diálogo (GD). Esse tipo de interacção concretiza-se através do estabelecimento de diálogos entre uma pessoa (cliente ou utilizador de um serviço) e a máquina, por exemplo, e em particular, através da fala. Quando disponibilizado da forma tradicional, o acesso ao serviço exige um intermediário Humano ou a adaptação da Pessoa a interfaces menos naturais, tais como linhas de comandos num computador, digitadas através de teclado ou o recurso (usual) a janelas, cliques de rato e preenchimento de formulários. Os sistemas que possibilitam a intermediação com esses serviços através de LN chamam-se Sistemas de Diálogo (SD), no núcleo dos quais se encontram os chamados Gestores de Diálogo. A implementação de SDs robustos ainda constitui um desafio, dada a complexidade, problemas e dificuldades que apresenta. Um SD, e em particular um GD, tem de ser configurado para levar a cabo um diálogo em linguagem natural com um Humano, por mais restrito ou mais genérico que seja o domínio (ou tarefa) considerado. Infelizmente, existem poucas metodologias e ferramentas de autoria que possibilitem a modelação fácil e intuitiva de tais diálogos (sobre os GDs). Nesta dissertação apresentamos uma metodologia [Quintal & Sampaio, 2007] e uma ferramenta para a autoria de diálogos com base no Gestor de Diálogo MIDIKI [Burke, 2005b]. A ferramenta de autoria automatiza as partes mais importantes da geração de código com vista à execução de um diálogo nesse GD.

Modelação de interfaces gráficas no âmbito do ProjectIT

Orientador: Alberto Manuel Rodrigues da Silva

Identificação de alvos na terapia anti-cancerígena utilizando técnicas de modelação molecular

Miguel Fernandes

Modelação da interacção entre um plasma de arco de alta pressão e cátodos refractários

Nesta dissertação apresento um estudo detalhado de vários aspectos da interacção entre um plasma de arco de alta pressão e cátodos refractários. Um modelo da camada de plasma junto ao cátodo num plasma sujeito a uma pressão da ordem de uma ou várias atmosferas é reconsiderado com base em recentes resultados teóricos. A física da camada de plasma junto ao cátodo é analisada para valores da queda de tensão na camada de plasma junto ao cátodo até 50V, de acordo com recentes resultados experimentais que mostram que a queda de tensão na camada de plasma junto ao cátodo numa descarga de arco de alta pressão pode atingir valores tão elevados. São identificados os mecanismos que originam a não monotonia da dependência da densidade de fluxo de energia (proveniente do plasma para a superfície do cátodo) em relação à temperatura da superfície do cátodo, para um valor fixo da queda de tensão junto ao cátodo. Uma descrição fechada da interacção plasma-cátodo é obtida por meio da resolução numérica do problema não linear com condições de fronteira para a distribuição da temperatura no interior do corpo do cátodo. São apresentados resultados da modelação numérica da descarga difusa nas condições de funcionamento de uma lâmpada de descarga experimental, sendo bom o acordo entre os resultados numéricos e os dados experimentais. Manchas solitárias num cátodo plano infinito e modos difuso e mancha axialmente simétricos em cátodos finitos de descargas de arco de alta pressão são estudados num grande intervalo de corrente. São analisados aspectos gerais e apresentados resultados numéricos referentes a cátodos de tungsténio planos e de forma cilíndrica a operar num plasma de argon à pressão atmosférica para correntes de arco até 100 kA. Émostrado, em particular, que a temperatura da superfície do cátodo no interior de uma mancha solitária varia relativamente pouco, podendo ser estimada com uma precisão de cerca de 200 − 300K sem ser necesário resolver a equação da condução térmica no corpo do cátodo. O comportamento assimptótico das soluções para um cátodo finito no caso limite de altas correntes é encontrado e confirmado pelos resultados numéricos. É confirmado um padrão geral das características tensão-corrente de vários modos de transferência de corrente em cátodos finitos sugerido previamente com base numa análise de bifurcações. É estudada a transição de modos mancha num cátodo finito no limite de cátodos de grandes dimensões para o modo mancha solitária num cátodo plano infinito. É estabelecido que o modo mancha solitária representa uma forma limite do modo mancha de alta tensão num cátodo finito. É considerada a questão da distinção entre modo difuso e modo mancha num cátodo finito. É desenvolvida uma abordagem para o cálculo de pontos de bifurcação nos quais soluções mancha tridimensionais bifurcam-se a partir de soluções que descrevem o modo difuso e modos mancha axialmente simétricos. Em particular, é calculado o primeiro ponto de bifurcação posicionado na solução que descreve o modo difuso e, por conseguinte, o seu limite de estabilidade, isto é, a corrente abaixo da qual o modo difuso torna-se instável. São apresentados os resultados da modelação numérica efectuada para o caso de um cátodo de tungsténio de forma cilíndrica a operar num plasma de alta pressão. É estudado o efeito produzido no limite de estabilidade pelas variações dos parâmetros de controle (dimensões do cátodo, função de trabalho do material do cátodo, tipo e pressão do gás que produz o plasma). Foi encontrado que o comportamento do limite de estabilidade sujeito a estas variações está em conformidade com as tendências observadas experimentalmente. Foi encontrado que o limite de estabilidade é muito mais sensível às variações dos parâmetros de controle do que as características tensão-corrente do modo difuso, sendo o efeito mais forte produzido pelas variações das dimensões do cátodo e da função de trabalho do material do cátodo. Este resultado está em conformidade com o facto experimental de que a transição difuso-mancha é de difícil reprodução.

Modelação e estudo paramétrico do comportamento de vigas de betão armado com Varões de GFRP

A introdução de um novo material para a execução de estruturas, implica um amplo estudo sobre o mesmo, para que seja aceite como um material de utilização, ou solução, corrente na engenharia civil. Os varões plásticos reforçados com fibra de vidro, GFRP,apresentam-se com diversas vantagens para uma solução de substituição das tradicionais armaduras de aço no betão armado. Um Estado da Arte foi apurado para determinar o ponto de situação do conhecimento e dos estudos realizados por vários autores, desde o início das pesquisas até aos mais recentes estudos disponíveis. Neste seguimento, o presente estudo incide na análise do comportamento à flexão de vigas contínuas de betão armado com varões de GFRP, submetidas a um carregamento distribuído. O trabalho realiza-se com base em 18 modelos de elementos finitos para uma análise paramétrica, sendo os parâmetros estudados, o vão, a percentagem de armadura de flexão e a esbelteza da secção. Para validação do modelo foram, modeladas 7 vigas reais ensaiadas no âmbito de trabalhos de investigação de dois autores Os resultados das modelações das análises paramétricas foram comparados com uma análise elástica e uma análise plástica, utilizando a metodologia do ACI 440.1R-06, para a carga última de dimensionamento. Outras comparações foram feitas através dos limites de deformação do EN 1992-1-1, 2004. Analisa-se a distribuição de esforços, não elásticos, devido à perda de rigidez da viga. Os modelos das vigas mais esbeltas e com menor percentagem de armadura mostraram maior concordância com a análise realizada. As deformações comparadas com o limite L/250 mostram concordância de resultados.

Interoperabilidade e otimização da gestão de redes com a framework NSDL

As redes de computadores cresceram nas últimas décadas em diversidade e complexidade,sempre procurando manter um nível elevado de qualidade na comunicação. Atualmente existe uma variedade de ferramentas para a gest~ao de redes que cobrem de forma completa ou parcial as diferentes etapas do ciclo de vida dessas redes. Dadas a dimensão e heterogeneidade dessas redes, o seu desenvolvimento e operação são tarefas que envolvem um número crescente de ferramentas, o que induz a uma maior complexidade. Além do mais, a maior parte das ferramentas existentes s~ao independentes e incompatíveis, tornando a tarefa dos arquitetos e dos gestores de redes mais difícil. Dessa forma, é identificada a necessidade de uma abstraãoo ou abordagem genérica que permita a interoperabilidade entre diferentes ferramentas/ambientes de rede de forma a facilitar e otimizar a sua gestão. O trabalho apresentado nesta tese introduz a proposta e a implementação de uma framework para a integração de diferentes ferramentas heterogéneas de rede dando suporte Da criação de um ambiente de gestão que cubra o ciclo de vida de uma rede de comunica ção. A interoperabilidade proporcionada pela framework é implementada através da proposta de uma nova linguagem para a descrição de redes e de todos os seus componentes, incluindo a informação da topologia e dos contextos onde a rede pode existir. As demais contribuições desta tese estão relacionadas com (i) a implementação de algumas ferramentas de gestão para dar suporte há construção de cenários de rede utilizando a linguagem proposta, e (ii) a modelação de vários cenários de rede com tecnologias diferentes, incluindo aspetos de Qualidade de Serviço, para a validação da utilização da framework proposta para proporcionar a interoperabilidade entre diferentes ferramentas de gestão de redes. A linguagem proposta para a descrição de redes preocupou-se com a descrição dos cenários de rede dando suporte das diferentes fases da existência dessa rede, desde o seu projeto até a sua operação, manutenção e atualização. Uma vantagem desta abordagem de permitir a coexistência de diversas informações de utilização da rede numa única descrição, mantendo cada uma independente das restantes, o que promove a compatibilidade e a reutilização das informações de forma direta entre as ferramentas, ultrapassando assim a principal limitação detetada nas linguagens e ferramentas existentes e reforçando as possibilidades de interoperabilidade.

Caracterização, simulação (à escala) e modelação do escoamento em canais artificiais: aplicação a caso de estudo

Os escoamentos no interior de zonas urbanas, apresentam grande heterogeneidade, pelo que a sua caracterização, requer uma formulação que incorpore explicitamente essa variabilidade espacial. A caracterização, simulação (à escala) e modelação do escoamento em canais artificiais e a aplicação a um caso de estudo, no Laboratório de Hidráulica da UMa, representa o cerne desta dissertação. Os objetivos principais desta dissertação são: a caracterização e desenvolvimento de ferramentas de simulação do comportamento do escoamento em canais artificiais, no caso de uma variação súbita dos caudais afluentes, mecanismos de prevenção de cheia; o desenvolvimento de um modelo de simulação hidrodinâmico, considerando os escoamentos variáveis em superfície livre no caso de situações de cheia, na simulação entre as condições variáveis das afluências, das condições hidromorfológicas do canal e da instalação e operação dos sistemas e regulação dos escoamentos; e ainda a análise da viabilidade da simulação (modelo) na gestão e prevenção de cheias em canais artificiais. Numa primeira instância, procede-se à recolha de toda a informação bibliográfica disponível. Com recurso aos modelos digitais do terreno e ao programa ArcGis, é efetuada toda uma exaustiva caracterização da bacia hidrográfica, relativa ao caso de estudo (canal artificial), a partir da qual foi possível obter os dados inerentes às características geométricas, características de relevo e características de drenagem. Segue-se a análise da precipitação com recurso a folhas de cálculo e dados fornecidos pelas instituições pertinentes, de forma a obter valores de precipitação média diária e anual para aplicação de fórmulas, tanto para calcular valores de tempo de concentração, bem como caudais. O próximo passo é selecionar os troços relevantes do canal em estudo e com recurso ao equipamento disponível no Laboratório de Hidráulica da UMa, à folha de cálculo programada e ao programa HEC-RAS procede-se à simulação/modelação/análise desses troços, comparando o resultado/comportamento simulado, com o expectável e entre os vários métodos. Por fim, são expostas as conclusões, bem como algumas considerações finais e uma listagem de objetivos a manter ou alcançar nos próximos anos, onde se incluem, ações prioritárias e recomendações visando, não só melhorar o processo de caracterização do escoamento em canais artificiais, bem como simplificar a prevenção e gestão de cheias.

Implementação de classificador de tarefas mentais baseado em EEG

BARBOSA, André F. ; SOUZA, Bryan C. ; PEREIRA JUNIOR, Antônio ; MEDEIROS, Adelardo A. D.de, . Implementação de Classificador de Tarefas Mentais Baseado em EEG. In: CONGRESSO BRASILEIRO DE REDES NEURAIS, 9., 2009, Ouro Preto, MG. Anais... Ouro Preto, MG, 2009

Estratégias baseadas em aprendizado para coordenação de uma frota de robôs em tarefas cooperativas

In multi-robot systems, both control architecture and work strategy represent a challenge for researchers. It is important to have a robust architecture that can be easily adapted to requirement changes. It is also important that work strategy allows robots to complete tasks efficiently, considering that robots interact directly in environments with humans. In this context, this work explores two approaches for robot soccer team coordination for cooperative tasks development. Both approaches are based on a combination of imitation learning and reinforcement learning. Thus, in the first approach was developed a control architecture, a fuzzy inference engine for recognizing situations in robot soccer games, a software for narration of robot soccer games based on the inference engine and the implementation of learning by imitation from observation and analysis of others robotic teams. Moreover, state abstraction was efficiently implemented in reinforcement learning applied to the robot soccer standard problem. Finally, reinforcement learning was implemented in a form where actions are explored only in some states (for example, states where an specialist robot system used them) differently to the traditional form, where actions have to be tested in all states. In the second approach reinforcement learning was implemented with function approximation, for which an algorithm called RBF-Sarsa($lambda$) was created. In both approaches batch reinforcement learning algorithms were implemented and imitation learning was used as a seed for reinforcement learning. Moreover, learning from robotic teams controlled by humans was explored. The proposal in this work had revealed efficient in the robot soccer standard problem and, when implemented in other robotics systems, they will allow that these robotics systems can efficiently and effectively develop assigned tasks. These approaches will give high adaptation capabilities to requirements and environment changes.

Planejamento cooperativo de tarefas em um ambiente de futebol de robôs

Este trabalho apresenta o desenvolvimento de um método de coordenação e cooperação para uma frota de mini-robôs móveis. O escopo do desenvolvimento é o futebol de robôs. Trata-se de uma plataforma bem estruturada, dinâmica e desenvolvida no mundo inteiro. O futebol de robôs envolve diversos campos do conhecimento incluindo: visão computacional, teoria de controle, desenvolvimento de circuitos microcontrolados, planejamento cooperativo, entre outros. A título de organização os sistema foi dividido em cinco módulos: robô, visão, localização, planejamento e controle. O foco do trabalho se limita ao módulo de planejamento. Para auxiliar seu desenvolvimento um simulador do sistema foi implementado. O simulador funciona em tempo real e substitui os robôs reais. Dessa forma os outros módulos permanecem praticamente inalterados durante uma simulação ou execução com robôs reais. Para organizar o comportamento dos robôs e produzir a cooperação entre eles foi adotada uma arquitetura hierarquizada: no mais alto nível está a escolha do estilo de jogo do time; logo abaixo decide-se o papel que cada jogador deve assumir; associado ao papel temos uma ação específica e finalmente calcula-se a referência de movimento do robô. O papel de um robô dita o comportamento do robô na dada ocasião. Os papéis são alocados dinamicamente durante o jogo de forma que um mesmo robô pode assumir diferentes papéis no decorrer da partida

O impacto das tarefas de aprendizagem mediadas pela lousa digital interativa na motivação situacional de aprendizes de inglês

Some authors have suggested that learning tasks conducted in L2 classes can motivate learners in different ways. Similarly, Interactive Whiteboards (IWB) have already been linked as drivers to engagement and enthusiasm in L2 classes, which may cause some impact on affective variables that influence learning (e.g. motivation). This crosssectional mixed-methods study aims to understand how situational motivation caused by learning tasks mediated by the IWB impact participants. We seek to answer the following research questions: (1) How does motivation as a personality trait of the learner relate to his/her additional language learning performance?, (2) How does the type of learning task mediated by the IWB impact the learner s motivation?, (3) How does motivation vary along the learning task mediated by the IWB? and (4) What is the relation between the learning task motivation and the learners perception about the task mediated by the IWB? Data collection lasted four months with 29 learners from a private language school. The instruments used were the following: (a) an initial questionnaire (adapted from the Attitudes/Motivation Test Battery by GARDNER, 2004), (b) situation-specific on-line scales to assess learners motivation in three moments: before, during and after the task, and analyze how motivation varies along the task; (c) class observations and field notes resulting from these observations, (d) participants end-of-course grades to understand the connection between academic success and their motivational profiles and (e) a final questionnaire with the qualitative purpose to know learners perceptions about the tasks mediated by the IWB. Our theoretical framework is based on Task-Based Learning and cognitive aspects present in tasks (WILLIS, 1996; SKEHAN, 1996), theories on motivation and second language learning (GARDNER, 2001; DÖRNYEI e OTTÓ, 1998; DÖRNYEI, 2000; 2002) and conceptions about L2 learning mediated by technology (GIBSON, 2001; OLIVEIRA, 2001; MILLER et al, 2005). Our results do not point out to a significative correlation between learners end-of-course grades and their motivational profiles. However, they indicate that there is some variability in situational motivation along the tasks, even among learning tasks from the same type. Furthermore, they show that learners report different perceptions for each learning task and that the impact of the IWB on participants did not have a large proportion

A influência da prática meditativa sobre parâmetros psicofisiológicos e tarefas de memória operacional em indivíduos saudáveis

Meditation is described as a method for improving attention and promoting psychological and emotional stability, presenting favourable results on memory and stress tolerance as well. Studies have shown differences in physiological and psychological measurements between meditators and non-meditators. The aim of this study was to investigate the influence of regular meditation practice on working memory, psychological measurements and quality of life of healthy practitioners. We carried out a comparative study with meditators and non-meditators. Working memory tests and standard inventories of life quality, anxiety, mood, sleep quality, depression and stress were applied. Our study showed that meditators presented better scores in parameters indicative of life quality, mood, depression and stress when compared with non-meditators. Moreover, there was a trend in best performance of meditators in memory tasks (forward digit span task and Hanoi tower). These findings corroborate other studies showing that regular meditation can provide an improvement in general quality of life and affecting positively the behavioral and attentional functions in individuals

O papel das relações sociais e da atenção social durante tarefas cooperativas em Callithrix jacchus

Several studies on nonhuman primates show that the relationships between individuals strongly influence the expression of cooperative behavior, both in natural environment and in captivity settings. Recent studies suggest that cooperative breeders present outstanding performance in tasks involving social cognition, such as cooperative tasks with experimental apparatuses. In experimental research on this subject it is crucial to differentiate between real cooperation (or communicative cooperation, mediated by social attention) and by-product cooperation that results from simultaneous actions of individuals. The present study assessed, in Callithrix jacchus, a cooperative breeder species, if social relationships and social attention between subjects are important factors during performance in cooperative tasks. During the experimental procedure the animals participated in three different cooperative tasks: cooperation task, prosocial task and control task. Diverging from the literature, matrix correlation tests revealed no significant relationship between grooming or proximity and the execution of the tasks, suggesting that other factors such as age or hierarchy may have an effect on the performance in cooperative tasks in this species. There was also no relationship between the execution of the cooperative tasks and social glances, suggesting that there was no social attention during the tasks. Moreover, there were lower rates of social glances in the cooperative tasks as opposed to the control tasks. However, the small number of pulls in prosocial tasks suggests that the animals distinguished between tasks that benefited only a partner and tasks that generated benefits to themselves, choosing the latter. We conclude that, for the tasks presented in this study, we could neither detect the role of social relationships on the cooperative tasks nor assert that there were true cooperation and prosocial behavior

A situação atual da indexação nas tarefas bibliotecárias

Na atualidade a atribuição dos descritores de assuntos ou indexação do conteúdo dos livros, nem sempre está associada ao contexto concreto de cada biblioteca, provocando, em muitos casos, que a recuperação por assuntos não resulte adequada. Neste trabalho analisam-se os principais desafios e perspectivas da indexação dos livros, os avanços de análises de assuntos nos catálogos de bibliotecas, examinam-se procedimentos, instrumentos, regras e condutas utilizadas nas análises e representação do conteúdo dos livros. Também se mostra a interação entre o ensino, a pesquisa e a atuação profissional necessária para que os estudantes possam desenvolver competências na análise, na representação e na procura da informação, assim como os princípios - provavelmente menos evidentes- da organização do conhecimento. Este trabalho coloca em evidência que as políticas de gestão da informação, mais quantitativas que qualitativas, deixam num segundo plano o processamento intelectual do conteúdo prejudicando, desta maneira, a recuperação por assuntos através do catalogo da biblioteca. Finalmente, se recolhe uma serie de propostas docentes relacionadas com a atribuição de descritores de assuntos em contextos bibliotecários.