Submitted by Cleide Dantas (cleidedantas@ufpa.br) on 2014-05-13T11:46:15Z No. of bitstreams: 2 license_rdf: 23898 bytes, checksum: e363e809996cf46ada20da1accfcd9c7 (MD5) Dissertacao_EfeitosExposicaoContinuada.pdf: 679090 bytes, checksum: fc5d5b3c9c3394fa55bfe658bfffba5a (MD5) / Approved for entry into archive by Ana Rosa Silva (arosa@ufpa.br) on 2014-07-22T13:06:57Z (GMT) No. of bitstreams: 2 license_rdf: 23898 bytes, checksum: e363e809996cf46ada20da1accfcd9c7 (MD5) Dissertacao_EfeitosExposicaoContinuada.pdf: 679090 bytes, checksum: fc5d5b3c9c3394fa55bfe658bfffba5a (MD5) / Made available in DSpace on 2014-07-22T13:06:57Z (GMT). No. of bitstreams: 2 license_rdf: 23898 bytes, checksum: e363e809996cf46ada20da1accfcd9c7 (MD5) Dissertacao_EfeitosExposicaoContinuada.pdf: 679090 bytes, checksum: fc5d5b3c9c3394fa55bfe658bfffba5a (MD5) Previous issue date: 2009 / CNPq - Conselho Nacional de Desenvolvimento Científico e Tecnológico / Histórias infantis têm sido utilizadas como recurso lúdico-didático na instalação de comportamentos. Nesta literatura, estes comportamentos geralmente estão descritos na forma de regras de conduta, explícitas (regras prescritivas) ou implicitamente (regras descritivas). O presente estudo avaliou o efeito da exposição continuada a histórias infantis, sobre a frequência e o tempo de engajamento em comportamentos relevantes à aprendizagem escolar, de quatro crianças entre sete e oito anos. Foram realizadas entrevistas semi-estruturadas com as professoras objetivando coletar relatos sobre o desempenho de seus alunos em atividades escolares. Em seguida, o experimentador realizou registros cursivos dos comportamentos das crianças em situação de sala de aula, com o objetivo de identificar a ocorrência e a freqüência dos comportamentos relatados pela professora, para selecionar e categorizar os comportamentos alvos. Foram selecionados os comportamentos de Cópia, Responder e Visto, a partir de então foram realizados registros de ocorrências da emissão destes comportamentos, com o objetivo de ter uma linha de base da freqüência de emissão destes comportamentos. A Condição Experimental era composta de linha de base e seis fases, em cada fase eram lidas histórias diferentes. A Fase sempre era iniciada com a leitura de uma história, seguida do registro de ocorrências dos comportamentos alvos. As histórias apresentavam regras descritivas mostrando as conseqüências positivas da emissão dos comportamentos selecionados e as conseqüências negativas da emissão de comportamentos incompatíveis com os mesmos. Os resultados sugerem que a exposição continuada às histórias foram eficientes para instalar e ou aumentar a frequência dos comportamentos de Cópia, Responder e Visto, bem como o tempo de engajamento das crianças nestas atividades. / Children histories have been used as ludic-didactic resource in installation of behaviors. In this literature, these behaviors are usually described in a descriptive rules way, describing general relationships among events.The study analyzed the efects of continued exposure to the descriptive rules presented in children histories about the frequency and time of commitment in pro-study behaviors, in four 7 to 8-years old children. The study had three stages. In the first stage, semi-structured interviews with the children teachers were made to colect some reports about children performance in school activities. In the second stage, cursive registers of children behavior in the classroom were made to identify occurence and frequency of the behaviors reported by the teachers. Then, it was possible to select and categorize the main behaviors to be observed in the study. The selected behaviors were: to Copy and Answer the exercise and to Get visa. The third stage was a base line session and six phases. In the base line session, a register of the occurence of these behaviors were made with the objective to have a base line of the frequency and duration of them. The six phases consisted of reading a child history and a register session of the occurence of the main behaviors. In each phase, a different history was read. It had a descriptive rule describing positive consequences of the selected behaviors and negative consequences of behaviors that didn't match with the selected ones. The results showed that all participants, in the last register session, increased meaningfully the time spent in copying and answering the exercise activities, as well as, the number of times that these behaviors were emitted, in relation to the base line session.They all emitted the Getting visa behavior in the register session. These results sugest that the continued exposure to the descriptive rules in children histories contributed to install or increase the frequency of the Copying and Aswering the exercise and Getting visa, as well as to increase time of commitment of children in these activities.

Submitted by Cleide Dantas (cleidedantas@ufpa.br) on 2014-05-05T16:49:49Z No. of bitstreams: 2 license_rdf: 23898 bytes, checksum: e363e809996cf46ada20da1accfcd9c7 (MD5) Tese_EfeitosRegrasSobre.pdf: 2400385 bytes, checksum: 87268793ac364a2a4098f234dbbb224d (MD5) / Approved for entry into archive by Ana Rosa Silva (arosa@ufpa.br) on 2014-05-08T16:54:41Z (GMT) No. of bitstreams: 2 license_rdf: 23898 bytes, checksum: e363e809996cf46ada20da1accfcd9c7 (MD5) Tese_EfeitosRegrasSobre.pdf: 2400385 bytes, checksum: 87268793ac364a2a4098f234dbbb224d (MD5) / Made available in DSpace on 2014-05-08T16:54:41Z (GMT). No. of bitstreams: 2 license_rdf: 23898 bytes, checksum: e363e809996cf46ada20da1accfcd9c7 (MD5) Tese_EfeitosRegrasSobre.pdf: 2400385 bytes, checksum: 87268793ac364a2a4098f234dbbb224d (MD5) Previous issue date: 2011 / FAPESPA - Fundação Amazônia de Amparo a Estudos e Pesquisas / Dentre as complicações do Diabetes Mellitus (DM) encontra-se a amputação de membros inferiores, em decorrência do pé diabético. Medidas preventivas simples voltadas para os comportamentos de cuidados com os pés colaboram de forma significativa para a prevenção do pé diabético. Em virtude da gravidade e alta prevalência do pé diabético, vários estudos tem sido realizados com objetivo de identificar variáveis que contribuem para melhorar a adesão às medidas preventivas de cuidados com os pés em pacientes com diabetes. Entretanto, ainda não está claro quais os fatores que contribuem para estabelecer e manter comportamentos de cuidados com os pés. A proposta desta pesquisa foi identificar variáveis que contribuem para estabelecer e manter comportamentos de cuidado com os pés e que, desta forma, colaboram para evitar o surgimento do pé diabético em pessoas com diabetes. Ela se constituiu em três estudos: o primeiro, descritivo transversal, caracterizou-se como linha de base para os outros dois, que foram experimentais. A pesquisa se desenvolveu em uma unidade básica de saúde na cidade de Belém – Pará. O primeiro estudo investigou: as regras (orientações) relacionadas aos cuidados com os pés apresentadas pelos profissionais de saúde do programa Hiperdia, aos pacientes com diabetes; o repertório comportamental de 54 participantes com diabetes acerca dos cuidados com os pés; e o estado de saúde dos pés dos pacientes com diabetes. O segundo investigou o efeito de regras no estabelecimento e manutenção de comportamentos de cuidados com os pés em pessoas com diabetes, quando foi manipulada à apresentação, ou não, de perguntas acerca dos cuidados com os pés; e, a realização, ou não, de o exame dos pés. O terceiro investigou em 16 pacientes os efeitos de regras no estabelecimento e manutenção de comportamentos de cuidado com os pés em pessoas com diabetes, quando: (a) o relato de seguimento de regras de cuidado com os pés produziu reforço social; (b) eram apresentadas regras que especificavam justificativas para o seguimento de regras de cuidados com os pés; (c) eram apresentadas regras que especificavam justificativas para o seguimento de regras de cuidado com os pés e o relato de seguimento de regras de cuidado com os pés produziu reforço social; e, (d) o relato de seguimento de regras de cuidados com os pés não produziu o reforço social e as regras apresentadas não continham as justificativas para os cuidados com os pés. Os resultados do Estudo 1 apontaram que a apresentação de instruções sobre cuidados com os pés pelos profissionais de saúde é insuficiente, o repertório comportamental de cuidados com os pés é precário e há presença de riscos para desenvolver pé diabético entre os pacientes. De modo geral, as manipulações realizadas tanto no Estudo 2 quanto no Estudo 3, favoreceram acréscimos de comportamentos novos de cuidados com os pés no repertório comportamental dos pacientes. Estes dados sugerem que o seguimento de regras de cuidados com os pés depende: (a) do contato com as consequências aversivas em decorrência do não seguimento de regras; (b) da apresentação de perguntas que favorecem a autodescrição do comportamento, (c) da apresentação de reforçadores sociais, (d) da apresentação das justificativas para a emissão do comportamento, (e) da apresentação combinada de justificativas para a emissão do comportamento e de consequências para o comportamento emitido; (f) da exposição a um maior número de condições favoráveis para o seguimento de regras; (g) do histórico pré-experimental de seguimento de regras; e (h) da monitoração do comportamento de seguir regras por profissionais de saúde. / The amputation of lower limbs is one of the Diabetes Mellitus (DM) complications caused by diabetes foot. Simple preventive measures focused on foot care behavior care are significant help in prevention against diabetes foot. Due to the high severity and prevalence of diabetes foot, several studies have been made aiming to identify variables which contribute to improve adhesion to preventive measures concerning foot care of diabetes patients. However, it has not yet become clear which factors contribute to establish and maintain foot care behavior. The proposal of this study was to identify variables which contribute to establish and maintain foot care behavior, thus contributing to avoid diabetes feet in people with diabetes. The thesis is divided into three studies: the first one, transversal descriptive, was characterized as a baseline for the other two, which were experimental. The research was developed in a basic health unit in the city of Belém, Pará Brazil. The first study investigated: the rules (orientations) related to foot care presented to patients with diabetes by health professionals of the Hiperdia; the behavioral repertoire of 54 participants with diabetes on foot care; the state of feet health care of participants with diabetes. The second study investigated the effect of rules in the establishment and maintenance of foot care behavior in people with diabetes, manipulating, or not, the presentation of questions on foot care; and, if the patient were receiving foot examinations. The third one investigated, on 16 patients, the effects of rules in the establishment and maintenance of foot care behavior of people with diabetes, when: (a) reports that rule following of foot care produced social reinforcement; (b) the patients were presented with rules which explained why foot care rules should be followed; (c) they were presented rules that specified justifications on why foot care rules should be followed, and the report on following foot care rules produced a social reinforcement; (d) report on foot care rule following did not produce social reinforcement and the rules presented did not have the justifications for foot care. Results from Study 1 indicated that the presentation of instructions on foot care by health professionals is insufficient, the behavioral repertoire of foot care is precarious, and there is possibility of risks in developing diabetes foot among the patients. In general, the manipulations carried out on both Study 2 and 3 favored an increase of new behavior on foot care in the participants’ behavioral repertoire. These data suggest that foot care rule following depends on: (a) contact with aversive consequences caused by following or not of rules; (b) the presentation of questions which favor behavior self-destruction; (c) the presentation of social reinforcement; (d) the presentation of justifications to the emission of behavior; (e) combined presentation of justifications for the emission of behavior and the consequences for the behavior emitted; (f) exposition to a greater number of favorable conditions to rule following; (g) pre-experimental historic of rule following; and, (h) monitoring of rule following behavior by health professional.

Neste trabalho é apresentado um conjunto de contribuições teóricas e práticas que buscam solidificar alguns conceitos da teoria dos dispositivos adaptativos baseados em regras, enfatizando a sua alta aplicabilidade. Uma ferramenta de apoio ao desenvolvimento de autômatos adaptativos, incluindo recursos de animação gráfica, foi desenvolvida de acordo com uma nova proposta de formalização que deverá complementar e simplificar a proposta original. A principal complementação está relacionada com a interpretação e a implementação de funções adaptativas, em sua forma mais geral: com ações elementares de consulta podendo retornar resultados múltiplos. A nossa proposta de formalização, que inclui um algoritmo para a execução de funções adaptativas, é uma ferramenta importante na determinação do impacto da execução da camada adaptativa no cálculo de complexidade geral de um autômato adaptativo. A tese apresenta também uma técnica para a integração de dispositivos adaptativos, basicamente discretos, com mecanismos capazes de manipular informação não-discreta. É mostrado também como estes resultados teóricos e as ferramentas desenvolvidas podem ser aplicadas na solução de problemas nas áreas de aprendizagem computacional, construção de compiladores, interface homem-máquina, visão computacional e diagnóstico médico. / This work presents a practical and theoretical assembly of contributions that consolidates some concepts from the rule-driven adaptive devices theory, emphasizing their high applicability. A supporting tool for the development of adaptive automata, which includes graphical animation resources, has been implemented, in agreement with our proposal of formalization. This proposal aims to complement and simplify the original proposal by including an in-depth analysis and formalization of adaptive functions implementation, in their most general form: with elementary query actions being able to return multiple results. The new formalization of adaptive functions, which includes an algorithm for adaptive function execution, is an important tool for determining the impact of an adaptive layer on the complexity analysis of general adaptive automata. The thesis also presents a new technique for the integration of adaptive automata with mechanisms for the manipulation of continuous values. Finally, the application of these theoretical results and the tools developed, to the solution of problems in the area of machine learning, compiler construction, man-machine interface, computational vision and medical diagnosis, is demonstrated.

O diagnóstico de eventos que afetam a qualidade da energia elétrica tem se tornado preocupação de magnitude mundial, em especial em dois temas importantes que são: a localização relativa da origem do evento (LROE) e a classificação automática da causa fundamental de eventos (CACFE). O primeiro está relacionado com a identificação da fonte do evento, isto é, a montante ou a jusante do medidor de qualidade de energia (MQE). O segundo pode ser dividido em dois grupos: a classificação das causas internas e das causas externas. As causas internas estão relacionadas a eventos produzidos pela operação do sistema elétrico (energização ou desenergização do sistema, energização de transformador, chaveamento de capacitores dentre outros), e as causas externas estão vinculadas a eventos produzidos por faltas externas ao sistema elétrico (contato com galhos de árvore, animais, descargas atmosféricas, dentre outros). Ambos os temas, LROE e CACFE, são abordados nesta tese de doutorado. Para classificar eventos por causas internas ou externas é necessário antes definir se realmente trata-se ou não de um evento, para o qual é imprescindível conhecer a LROE. Este último necessita de um processo de segmentação das formas de onda de tensão e corrente para funcionar de forma correta. A segmentação identifica segmentos transitórios e não transitórios nas formas de onda e contribui também na extração de características para os diferentes algoritmos de classificação. Neste sentido, neste trabalho de pesquisa é proposta uma metodologia de diagnóstico da qualidade de eventos, focada em LROE e CACFE. Para isto foram desenvolvidos diferentes algoritmos de segmentação, extração de características e classificação, sendo criada uma ferramenta computacional em MatLab® que inclui pré-processamento de sinais de tensão e corrente de um banco de dados real fornecido por uma concessionária do Estado de São Paulo. Além disto, foram propostos novos algoritmos de LROE com resultados satisfatórios quando comparados com outros dois disponíveis na literatura científica. Para as causas internas, dois novos índices são propostos para separar eventos produzidos por faltas e energização de transformadores. Finalmente, são propostos novos algoritmos de extração de características baseados na energia dos coeficientes de decomposição da transformada wavelet bem como o algoritmo à trous modificado. São propostos dois novos vetores de descritores de energia (VDE) baseados no primeiro segmento transitório do evento. Para a classificação destes eventos foi utilizado um algoritmo de indução de regras de decisão (CN2), que gera regras de simples implementação. Todos os métodos de classificação utilizados nesta tese estão baseados em regras, sendo seu desempenho avaliado por meio da matriz de confusão. / Diagnosing events that affect power quality have become a worldwide concern, especially with respect to two important issues related to the relative location of the event origin (RLEO) and automatic cause classification of events (ACCE). The first one is related to the identification of the event source, i.e. either upstream or downstream in relation to the power quality meter (PQM). The second one can be subdivided into two groups, namely the classification of internal causes and of external causes. Internal causes are related to events produced by power system operation (connection or disconnection of feeders, power transformer inrush, capacitor switching, amongst others) and external causes that are related to events produced by external faults to the power system (network contacts to tree branches, animals contact, atmospheric discharges, amongst others). Both topics, RLEO and ACCE, are herein considered. In order to classify events due to internal or external causes, one should first define whether it is an actual event, what demands the RLEO. This makes use of a segmentation process applied to the voltage and current waveforms. The segmentation identifies the transient and stationary segments within the waveforms, contributing also to the feature extraction for different classification algorithms. Based on the aforementioned, this research proposes a methodology to diagnose power quality events, focusing on RLEO and ACCE. Different algorithms of segmentation, feature extraction and classification were then developed by the use of a computational tool implemented in MatLab®, that considers also the preprocessing of voltage and current signals in a real data base which was made available by a distribution company in Sao Paulo State. Besides that, new RLEO algorithms have shown satisfactory results when compared to algorithms published in the scientific literature. As for the internal causes, two new indices were proposed in order to separate events produced by faults or by the connection of power transformers. New algorithms for feature extraction are proposed, which are based on the energy of decomposition coefficients of the wavelet transform as well as the modified à trous algorithm. Two vectors of energy descriptors are proposed, which are based on the first transient segment of the event. The classification of such events was carried out by an induction algorithm of decision rules (CN2), that generates easily implementable rules. All classification methods utilized in this thesis are based on rules and their performances are assessed by the confusion matrix.

Trabalho com suporte da CAPES. / This work presents a new model of process definition in workflow systems, the PDBC model. We also present a prototype of a workflow system whicli implements the PDBC model, the Tucupi server. The proposal of this new model is to allow flexibility in workflow systems. For this, we will use what we call partia! workflow, which is a partially deüned workflow whose complete definition is carried through during the execution of workflow. Partia! Workflow is deüned as a set of constraints and activities. Moreover, another way for a workflow system to get flexibility is through an exception handling mechanism. In this work we consider such mechanism through the use of overriden constraints, that is, constraints that can be violated in determined circumstances. For this we present the WRBAC, a model of access control for workflow systems, used to provide an adequate mechanism of violation of the overriden constraints used in the definition of a workflow. / Em domínios de aplicação como a área médica e engenharia de software os sistemas de workflow existentes são inadequados, pois a definição dos processos nesses sistemas é inflexível. No exemplo da área médica, ninguém sabe quais as ações devem ser tomadas durante a abordagem de um paciente, ou seja, ninguém conhece um processo de tratamento para paciente no instante em que ele é admitido no hospital. Portanto, uma nova forma de interação com os sistemas de workflow se faz necessário. Nesta nova forma de interação um usuário pergunta ao sistema o que deve ser feito para que uma atividade (atividade objetivo) seja executada. Por exemplo, para um médico realizar uma cirurgia em um paciente que procedimentos devem ser executados antes ou mesmo depois? Nesta nova abordagem, o sistema de workflow cumpre, além do papel de despachante de atividades aos usuários, como nos sistemas de workflow atuais, o papel de ajudante do usuário, pois indica ao usuário quais atividades executar antes e depois de executar uma atividade objetivo. Este trabalho apresenta um novo modelo de definição de processos em sistemas de workflow, o modelo PDBC. Apresentamos também um protótipo de um sistema de workflow que implementa o modelo PDBC, o servidor Tucupi. A proposta deste novo modelo é permitir que os sistemas de workflow manipulem workflows mais flexíveis. Para isso usaremos o que chamamos de workflow parcial, que é um workflow parcialmente definido cuja definição completa é realizada apenas durante a execução do workflow. O workflow parcial é definido como um conjunto de restrições e atividades. Outra maneira de se obter flexibilidade em sistemas de workflow é através de um mecanismo de tratamento de exceções adequado. Neste trabalho propomos um mecanismo de tratamento de exceções através do uso de restrições violáveis, ou seja, restrições que podem ser violadas em determinadas circunstâncias. Para isso apresentamos o WRBAC, um modelo de controle de acesso para sistemas de workflow, utilizado para provê um mecanismo adequado de sobrecarga das restrições utilizadas na definição de um processo.

O presente trabalho teve por objetivo pesquisar o jogo Set Junior em um contexto de oficina de jogos, analisando processos de aprendizagem e propondo atividades de intervencao em criancas de 3 a 10 anos (N=154). Este e fundamentado na Teoria das Correspondencias de J. Piaget e no modelo de Funcoes Executivas de A. Diamond. Os participantes foram divididos em tres grupos: Alfa (3 a 4 anos e 11 meses), Beta (5 a 6 anos e 11 meses) e Gama (7, 8 e 9 anos e 11 meses). As oficinas de jogos ocorreram ao longo de dois semestres, totalizando 24 encontros, e foram registradas em fotos e videos. O jogo SET Junior e derivado do Jogo SET. E composto por 27 cartas diferenciadas em tres atributos (cor, forma e quantidade) com tres qualidades cada e dois tabuleiros. O desafio proposto no Tabuleiro A e de emparelhar cartas com o objetivo de formar uma linha, coluna ou diagonal de tres cartas para pontuar. Ja o desafio proposto pelo Tabuleiro B e de formar Sets ou trios de cartas segundo a regra de que as qualidades dos atributos sejam agrupadas pelas semelhancas ou diferencas entre si. A partir deste jogo foram criadas duas atividades, denominadas Parear Cartas e Piscadela. A primeira consiste em encontrar a posicao das cartas no tabuleiro A e a segunda e de descartar as cartas da mao, justificando a jogada pela semelhanca ou diferenca entre as qualidades da carta do monte e da que foi descartada. Para a analise dos dados foram criados protocolos, um para cada atividade. No Tabuleiro A buscou-se verificar se as jogadas que geravam pontuacoes multiplas foram planejadas ou nao. Verificou-se uma maior evolucao no Grupo Alfa, porem somente alguns participantes do Grupo Beta foram capazes de identificar a possibilidade de pontuacao maxima em uma unica jogada. No Tabuleiro B buscou-se qual tipo de Set ou trio foi o mais formado. No Grupo Alfa os Sets com mais qualidades iguais foram os que apareceram com maior frequencia. No Grupo Beta, foi possivel verificar a formacao de Sets com qualidades unidas pela diferenca no final do processo de intervencao. Ja no Grupo Gama a distribuicao por tipo de trio foi homogenea. Na atividade Parear Cartas buscou-se compreender como os participantes enfrentaram o problema. Destacou-se o Grupo Alfa com trocas e desistencias em emparelhar cartas. Na atividade Piscadela, verificaramse os tipos de jogadas e as justificativas dadas pelos participantes. As jogadas foram sequenciais com uma carta apos a outra no Grupo Alfa, descartes de mais de uma carta para o Grupo Beta e justificativas mais completas no grupo Gama. Estas quatro atividades foram praticadas em mais de uma oficina. Estes resultados indicaram que houve evolucao em todos os tres grupos de criancas no enfrentamento das atividades nos diferentes momentos. Eles tornaram-se mais habeis no planejamento, argumentacao e resolucao dos problemas. Considera-se esta pesquisa relevante para a area de desenvolvimento e aprendizagem sobretudo com relacao a analise dos processos de aprendizagem e enfrentamento de problemas / The objective of this study was to investigate the SET Game Junior in a context of games workshop, by analyzing learning processes and proposing intervention activities for children from 3 to 10 years old (N=154). This work is based on J. Piagets Correspondence Theory and A. Diamonds Executive Functions model. Participants were divided into three groups: Alpha (3 to 4,11 years old), Beta (5 to 6,11 years old) and Gamma (7, 8 and 9,11 years old). The workshops occurred over two semesters, totaling 24 meetings. They were recorded in photos and videos. The SET Game Junior is derived from the SET Game. It is composed of 27 cards differentiated into three features (color, shape and number) with three features parts each, and two table boards. The challenge proposed on Board A is to pair cards with the objective of forming a line, column or diagonal of three cards to score. The challenge proposed on Board B is to form Sets of three cards according to the rule that the features parts are grouped by similarities or differences between them. Two activities were created from this game, called Parear Cartas (matching cards) and Piscadela (blink). The first one consists of finding the position of the cards on the board A and the second one consists of discarding the hands cards, justifying the play by the similarity or difference between the features parts of the card on the table and the one that was discarded. Protocols were crated for the data analysis for each activity. On Board A we investigated if the plays that generated multiple scores were planned or not. It was verified greater evolution in the Alpha Group, but just a few Beta Group participants were able to identify the possibility of maximum score in a single play. On Board B, we attempted to identify which type of Set was the most frequently formed. In the Alpha Group the Sets with more similarities were the most frequent. In the Beta Group, it was possible to verify the Sets with the features parts linked by the difference at the end of the intervention process. In the Gamma Group, the distribution by kind of Set was homogeneous. In the Parear Cartas activity, we attempted to understand how the participants faced the problem proposed. It is worth to highlight the Alpha Group with exchanges in matching cards and abandonment of the activity. In the Piscadela activity, it was analyzed the types of plays and the justifications given by the participants. The plays were sequential with one card after other in the Alpha Group, more than one card were discarded simultaneously in the Beta Group and more complete justifications were given in the Gamma Group. These four activities were carried out in more than one workshop. These results indicated that there was an evolution in all three groups of children in facing the activities at the different moments. They became more skilled in planning, argumentation and problem solving. This research is relevant to the area of development and learning, especially in relation to learning processes and problem facing

O objetivo do presente trabalho foi elaborar um modelo formal de descrição do jogo em esportes coletivos de invasão e instanciar o modelo a um esporte particular, o basquetebol, com a formalização de suas classes de comportamento ofensivos e defensivos. A estratégia foi modelada como um sistema dinâmico discreto. Este modelo tem como elemento lógico fundamental a regra de ação, que descreve as decisões de um jogador. As regras de ação também são usadas para a especificação da transformação de um estado e, consequentemente, da sequência de transformações de estados em um grafo representativo de uma estratégia. As propriedades estruturais, que são requisitos para uma estratégia eficiente, foram introduzidas na modelagem estratégica através de um conjunto de delimitadores (i.e., fases do jogo, tipos de conexões entre os nós por fase, regras de conexão, e regiões estratégicas), que especializam a definição da estratégia excluindo aquelas que não atendem aos requisitos dos delimitadores. O conjunto restante é denominado modelo da estratégia (ESTM). A formalização do ESTM apresentada neste trabalho estabelece uma metodologia para descrever, desenhar e avaliar a estratégia de uma equipe de um ECI. De maneira integrada à formalização da estratégia, a dinâmica do jogo foi modelada e a relação entre as estratégias desenhadas para duas equipes oponentes e a dinâmica do jogo foi apresentada. As estratégias atuam como bases de dados acessadas para subsidiar as decisões dos jogadores de uma equipe e permitir que eles atuem coletivamente durante as diferentes circunstâncias da oposição. A relação entre as estratégias desenhadas para duas equipes e a oposição no jogo entre estas equipes pode ser formalizada como um caso particular de sistema dinâmico, no qual dois sistemas dinâmicos discretos, representados pelas estratégias das equipes, e um sistema dinâmico contínuo, representado pelo jogo, são integrados por fluxos de controle e dados. Após formalizado o sistema dinâmico que representa a relação entre estratégia e oposição, no contexto do jogo, os elementos desse sistema foram decompostos, de forma hierárquica, levando em conta os principais módulos funcionais que compõem o fenômeno. Por fim, é apresentado o processo de validação das classes de comportamentos ofensivos e defensivos do jogo, constituídas por um conjunto limitado de dinâmicas individuais, grupais e coletivas, das quais a comissão técnica pode se valer para elaborar a estratégia da equipe, definir os conteúdos de treinamento, assim como selecionar aqules, dentre eles, cujo desempenho deverá ser avaliado no jogo. O modelo proposto constitui uma contribuição original à pedagogia dos esportes coletivos de invasão, tanto pelos avanços imediatos no entendimento das características estruturais desses esportes quanto pelos possíveis desdobramentos tecnológicos, que podem igualmente contribuir no processo de ensino-aprendizado nos mais diversos níveis competitivos / The aim of this study were: a) to develop a formal model to describe the game in invasion team sports (ITS) and instanciate the model to a particular sporte, the basketball; b) to validate classes of offensive and defensive behaviors in basketball. The strategy of ITS was modeled as a discrite dynamics system. This model has as a logical fundamental element named action rules, which describes the decisions of a player. The action rules are used to specify the transformations within a state and, consequently, the sequence of transformations of the states in a graph that representes the strategy of a team. The structural properties, pre-requisetes of an efficient strategy, were introduced in the model through a set of delimeters (i.e. game phases, types of connections between nodes per phase, rules of connections, and strategic regions) that specialize the the definition of strategy excluding those that do not posses the pre-requesites of the delimeters. The remaining set is defined as the strategy model. The strategy model formalized herein stablishes a metodology to describe, draw and evaluate the strategy of an IST team. Furthermore, match dynamics were modeled and integrated to the strategy model. The strategy constitute a data base which is assessed to support the team pleayers decisions and allow a collective behavior. The relationship between the strategy and the opposition in a match may be formalized as a particular familty of dynamic systems in which two discrete dynamical systems represented by the two strategies of the opposing teams, and a continuous dynamical system, represented by the match, are integrated by control and data fluxes. Once the model was constituted, its elements were hierarchicaly decomposed, considering the main functional models of the phenomenon. Finally, it is preseted the validation process of the possible offensive and defensive behaviors in a match, which are delimeted by a limited set of individual, group, and team dynamics. This set of behaviors may be used by the coaching staff to elaborate the team strategy, to define the training contentes, to determine how performance is going to be evaluated. The proposed model is an original contribution to the pedagogy of ITSs due to the increased understanding of the structural characteristics of these sports and the possible technological improvements that may be implemented in the teaching process at different competitive levels

[pt] O trabalho consiste no desenvolvimento de um modelo para avaliação de bem-estar de política monetária numa economia onde o governo enfrenta alguma restrição à liberdade de financiamento da dívida pública. O governo, no modelo, é capaz de se financiar através da emissão de títulos da dívida e de duas formas de taxação: lump sum e distorciva. A hipótese adotada no trabalho é que o governo não poderá estabelecer um nível constante de taxação distorciva ao longo do tempo, e deixar que o estoque da dívida ou da taxação não distorciva se ajustem em resposta aos choques. Ao contrário, o governo será forçado a alterar a taxação distociva corrente em resposta às variações do serviço da dívida. A partir do modelo, são feitas as considerações sobre o comportamento ótimo da autoridade monetária, no sentido do estabelecimento de uma regra ótima de política monetária. / [en] The dissertation consists in the development of a model to evaluate the welfare effects of monetary policy in an economy where the government faces some restriction to debt financing. The government, in the model, is able to finance its expenditures by issuing public debt or levying two kinds of taxation: lump sum and distortionary taxes. The hypothesis adopted here is that the government cannot set a constant rate of distortionary taxation over time, and let either the debt stock or the lump sum taxation to adjust in response to shocks. Instead, the government will be forced to adjust the current distortionary taxation in response to variations of the debt service. The conclusion is that the optimal monetary policy rule that results from this model is quite different from the optimal rule in the absence of restrictions to debt financing.

Made available in DSpace on 2014-12-17T15:48:06Z (GMT). No. of bitstreams: 1 RicardoJSJ_DISSERT.pdf: 4102063 bytes, checksum: 92b62a467283fb011a1258e8b80ca7b4 (MD5) Previous issue date: 2013-02-01 / Checking the conformity between implementation and design rules in a system is an important activity to try to ensure that no degradation occurs between architectural patterns defined for the system and what is actually implemented in the source code. Especially in the case of systems which require a high level of reliability is important to define specific design rules for exceptional behavior. Such rules describe how exceptions should flow through the system by defining what elements are responsible for catching exceptions thrown by other system elements. However, current approaches to automatically check design rules do not provide suitable mechanisms to define and verify design rules related to the exception handling policy of applications. This paper proposes a practical approach to preserve the exceptional behavior of an application or family of applications, based on the definition and runtime automatic checking of design rules for exception handling of systems developed in Java or AspectJ. To support this approach was developed, in the context of this work, a tool called VITTAE (Verification and Information Tool to Analyze Exceptions) that extends the JUnit framework and allows automating test activities to exceptional design rules. We conducted a case study with the primary objective of evaluating the effectiveness of the proposed approach on a software product line. Besides this, an experiment was conducted that aimed to realize a comparative analysis between the proposed approach and an approach based on a tool called JUnitE, which also proposes to test the exception handling code using JUnit tests. The results showed how the exception handling design rules evolve along different versions of a system and that VITTAE can aid in the detection of defects in exception handling code / Verificar a conformidade entre a implementa??o de um sistema e suas regras de design ? uma atividade importante para tentar garantir que n?o ocorra a degrada??o entre os padr?es arquiteturais definidos para o sistema e o que realmente est? implementado no c?digo-fonte. Especialmente no caso de sistemas dos quais se exige um alto n?vel de confiabilidade ? importante definir regras de design (design rules) espec?ficas para o comportamento excepcional. Tais regras descrevem como as exce??es devem fluir atrav?s do sistema, definindo quais s?o os elementos respons?veis por capturar as exce??es lan?adas por outros elementos do sistema. Entretanto, as abordagens atuais para verificar automaticamente regras de design n?o proveem mecanismos adequados para definir e verificar regras de design espec?ficas para a pol?tica de tratamento de exce??es das aplica??es. Este trabalho prop?e uma abordagem pr?tica para preservar o comportamento excepcional de uma aplica??o ou fam?lia de aplica??es, baseada na defini??o e verifica??o autom?tica em tempo de execu??o de regras de design de tratamento de exce??o para sistemas desenvolvidos em Java ou AspectJ. Para apoiar esta abordagem foi desenvolvida, no contexto deste trabalho, uma ferramenta chamada VITTAE (Verification and Information Tool to Analyze Exceptions) que estende o framework JUnit e permite automatizar atividades do teste de regras de design excepcionais. Foi realizado um estudo de caso preliminar com o objetivo de avaliar a efic?cia da abordagem proposta sobre uma linha de produto de software. Al?m deste, foi realizado um experimento cujo objetivo foi realizar uma an?lise comparativa entre a abordagem proposta e uma abordagem baseada na ferramenta JUnitE, que tamb?m prop?e testar o c?digo de tratamento de exce??es utilizando testes JUnit. Os resultados mostraram que as regras de design excepcionais evoluem ao longo de diferentes vers?es de um sistema e que a VITTAE pode auxiliar na detec??o de defeitos no c?digo de tratamento de exce??o

[pt] O presente trabalho procura investigar as implicações de se seguir um regime de meta para a inflação sob dominância fiscal. Para isto é desenvolvido um modelo novo keynesiano de equilíbrio geral dinâmico estocástico (DSGE) em que a autoridade monetária segue uma regra de Taylor, com o objetivo de estabilizar a inflação e o produto, e a autoridade fiscal segue uma regra de superávit primário, com a finalidade de se estabilizar a dívida pública. Este modelo se caracteriza por apresentar uma coordenação entre as autoridades fiscal e monetária em que a política monetária é dominante. Posteriormente, a regra monetária é modificada para incorporar uma resposta da autoridade monetária à dívida pública e a regra fiscal passa a ser exógena (ativa), caracterizando um regime de dominância fiscal. Por fim, o modelo é calibrado com os parâmetros estimados por De Castro et al (2015) para a economia brasileira e são computadas as variâncias da taxa de inflação e do produto (proxies para a perda de bem estar decorrente das flutuações econômicas) nos diferentes regimes de coordenação política para distintas parametrizações das funções de reação das autoridades monetária e fiscal. Mostra-se, assim, que, quando se está em regime de dominância fiscal, o mais indicado à autoridade monetária é não reagir à inflação de modo agressivo. Em outros termos, isto significa que se o Banco Central quer que a inflação fique na meta – como requer um regime de meta -, ele não pode de forma alguma ignorar a postura da autoridade fiscal. / [en] The present work seeks to investigate the implications of following an inflation targeting regime under fiscal dominance. For this, a new Keynesian dynamic stochastic general equilibrium (DSGE) model is developed in which the monetary authority follows a Taylor rule with the objective of stabilizing inflation and output, and the fiscal authority follows a primary surplus rule, with The purpose of stabilizing public debt. This model is characterized by a coordination between the fiscal and monetary authorities in which monetary policy is dominant. Subsequently, the monetary rule is modified to incorporate a response of the monetary authority to the public debt and the fiscal rule becomes exogenous (active), characterizing a regime of fiscal dominance. Finally, the model is calibrated with the parameters estimated by De Castro et al. (2015) for the Brazilian economy and the inflation rate and output gap variances (proxies for the welfare losses due to economic fluctuations) are computed in the different regimes and under different specifications of the monetary and fiscal authorities reaction functions. It is shown that under a fiscal dominance regime, the monetary authority should not react aggressively to inflation. In other words, this means that if the Central Bank wants inflation to stay in it s target level - as it is required under an inflation targeting regime - it cannot in any way ignore the fiscal authority s stance.