Made available in DSpace on 2014-06-12T17:34:56Z (GMT). No. of bitstreams: 2 arquivo2536_1.pdf: 2208706 bytes, checksum: 8de8746be2eb21264b1dec79e1932796 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2010 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Este trabalho tem como objetivo o desenvolvimento e a aplicação de ferramentas de Inteligência Artificial como Redes Neurais Artificiais, Algoritmos Genéticos e Regras Heurísticas para solucionar problemas de planejamento da operação energética de sistemas de geração de energia elétrica compreendendo hidrelétricas, termelétricas, e parque eólico. A formulação escolhida para solucionar o problema agrega a operação dos reservatórios das hidrelétricas dando como dados de referência ao problema os volumes iniciais e os volumes finais. Esta formulação envolve problemas de grande porte, cujo tamanho varia de acordo com o horizonte de estudo e o detalhamento do sistema gerador. As Rede Neurais Artificiais recorrentes são conhecidas como eficientes ferramentas de otimização para solucionar problemas de programação linear e quadrática, além de apresentar um grande potencial para implementação em hardware do tipo Very- Large-Scale Integration, na qual pode ser mais eficiente do que as técnicas tradicionais de otimização. Os Algoritmos Genéticos também formam outras ferramentas de otimização que vêm sendo estudadas nos últimos anos. Além dessas duas ferramentas podem ser produzidas regras heurísticas para acelerar e melhorar a convergência destes métodos. As técnicas de Inteligência Artificial implementadas foram aplicadas ao despacho econômico de geração do sistema interligado CHESF-ELETRONORTE, para o qual foram obtidos a solução otimizada da operação, os custos marginais de geração e o valor da água associado com cada hidrelétrica

Submitted by Fabio Sobreira Campos da Costa (fabio.sobreira@ufpe.br) on 2017-08-08T13:40:24Z No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) Dissertação-Transformando-modelos-xscade-em-SCR-Kamila-Serafim.pdf: 1127362 bytes, checksum: cb72514ffcaf617a6573ea197ab446c1 (MD5) / Made available in DSpace on 2017-08-08T13:40:24Z (GMT). No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) Dissertação-Transformando-modelos-xscade-em-SCR-Kamila-Serafim.pdf: 1127362 bytes, checksum: cb72514ffcaf617a6573ea197ab446c1 (MD5) Previous issue date: 2016-09-08 / A construção de um software para domínios particulares tem de atender normas específicasque impõem o atendimento a fatores como rastreabilidade de requisitos e certificação. Por exemplo, a indústria aeronáutica deve atender à norma DO-178B que estabelece restrições para uso de software de aeronaves, que são considerados sistemas críticos. Para um sistema estar de acordo com essa certificação é necessário ter requisitos formais e código certificado; nesta direção, Andrade (ANDRADE, 2013) usou a notação SCR (Software Cost Reduction) para definição de requisitos e a ferramenta SCADE para modelagem de sistemas críticos, com desenvolvimento de um tradutor de SCR para artefatos xscade. A prática de desenvolvimento de sistema, porém, não está restrita à transição entre requisitos e artefatos de projeto. Modificações realizadas nestes últimos devem também ser refletidas nos requisitos. Neste trabalho desenvolvemos um tradutor de artefatos de modelagem da ferramenta SCADE para SCR. Desta forma podemos gerar especificação de requisitos a partir do código (Engenharia Reversa) e complementamos o trabalho anterior desenvolvido por Andrade (ANDRADE, 2013). Para o desenvolvimento do tradutor, utilizamos a plataforma Spoofax por meio da qual descrevemos a sintaxe do esquema XML utilizado em SCADE e também as regras de tradução tendo como alvo SCR. A validação da tradução teve como ponto de partida o resultado do uso do tradutor desenvolvido por Andrade (ANDRADE, 2013), tendo de gerar como saída a mesma entrada do tradutor desenvolvido por Andrade (ANDRADE, 2013). Além disso, desenvolvemos exemplos para demonstrar que a modificação estrutural, com preservação de semântica, em projetos SCADE, é verificável por meio do uso de testes gerados por meio da ferramenta TTM-TVEC / Building a software for particular domains must attend specific standards that impose attendance to factors such as traceability requirements and the certification issue. For example, the airline industry should meet the DO-178B standard that establishes restrictions on the use of aircraft software, which is considered a critical system. For a system to be in accordance with this certification, one must have formal requirements and certified code. In this direction, Andrade (ANDRADE, 2013) used SCR (Software Cost Reduction) for requirements definition and SCADE for modeling critical systems with development of an artifacts a translator from SCR. However the practice of developing is not restricted to the transition from requirements to design artifacts. Changes made on design should be reflected in the requirements. In this work we developed a translator from SCADE to SCR. In this way we can generate requirements specification from the code (reverse engineering) and complement the previous Andrade (ANDRADE, 2013) thesis. For the translator development, we use the Spoofax platform through which we describe the XML schema syntax used in SCADE and also the translation rules having SCR as the target language. The translation validation had as its starting point the result of the translator developed by Andrade (ANDRADE, 2013), where the output is the same input developed by Andrade(ANDRADE, 2013). Furthermore, examples developed to demonstrate that the structural modification that preserves semantics in SCADE, is verifiable through the use of tests generated by the TTM-TVEC tool.

Made available in DSpace on 2018-08-01T23:39:27Z (GMT). No. of bitstreams: 1 tese_11223_MAÍRA.pdf: 1578842 bytes, checksum: f6fecffe1f1cf664e6b8fb1451ec5568 (MD5) Previous issue date: 2017-06-14 / CAPES / Os arts. 8º e 489, §2º, do Código de Processo Civil de 2015 (CPC/2015), que preveem que o juiz ao julgar, deve observar a proporcionalidade e os critérios gerais da ponderação efetuada, remetem a dois conceitos centrais da Teoria dos Direitos Fundamentais de Robert Alexy. Analisou-se, primeiramente, os principais postulados Alexyanos, sobretudo a diferenciação entre regras e princípios, o procedimento de aplicação da máxima da proporcionalidade e as leis de ponderação e colisão. Expôsse que a proporcionalidade, ao menos sob a ótica das premissas Alexyanas, não pode ser compreendida como um princípio, tampouco, como sinônimo de razoabilidade. Ademais, demonstrou-se que os artigos 8º, e 489, §2º incorporaram ao menos prima facie às teorizações de Robert Alexy, pois, os termos “ponderação” e “proporcionalidade” não são destituídos de intenções teóricas prévias. Demonstrou-se que é possível compatibilizar a exigência de observância a “razoabilidade” no momento de aplicação do ordenamento jurídico, prevista no art. 8º, CPC/2015, com a necessidade de se observar a “proporcionalidade”, também prevista no mesmo dispositivo legal, desde que se entenda este termo como regra de julgamento a ser utilizada nos casos de reais colisões entre direitos fundamentais, e aquele como princípio. Demonstrou-se que nas decisões do Supremo Tribunal Federal, em que foram aplicadas à proporcionalidade como critério metodológico para solucionar hipóteses de colisões entre princípios, aplicaram-na, na maioria dos casos, de forma diversa da que fora delineada por Robert Alexy, desvirtuando-se, assim, quase que por completo dos postulados alexyanos. Esse panorama pode, eventualmente, comprometer a garantia de efetivação dos direitos fundamentais. A partir da égide do novo do Código de Processo, espera-se, contudo, que este cenário de indefinição teórica e jurisprudencial a respeito da proporcionalidade e da ponderação, reste alterado, pois, da avaliação, pôde-se concluir que o novo código de processo civil, em virtude da reconfiguração do dever de fundamentação das decisões judiciais, oferece, prima facie, critérios mais seguros para que os postulados alexyanos sejam aplicados, tal como desenvolvidos por Alexy, pois, considerar-se-á, não fundamentada, e, portanto, nula, a decisão que utilizar a proporcionalidade sem demonstrar que o caso se trata de uma efetiva colisão entre direitos fundamentais e, que não siga, sistematicamente, as três etapas procedimentais da máxima da proporcionalidade (adequação, necessidade e proporcionalidade em sentido estrito). / Articles. 8 and 489, § 2, from the Civil Procedure Code of 2015 (CPC / 2015), which provide that the judge in judging, must observe the proportionality and the general criteria of balancing, refer to the law of collision developed by Robert Alexy in his Theory of Fundamental Rights. First, the main Alexyan postulates were analyzed, mainly the differentiation between rules and principles proposed by Alexy. Questions such as: Does the "proportionality" predicted in art. 8, CPC / 2015 refer to the maximum developed by Alexy to be used in the case of collision of principles, or, it had been used to designate a constitutionally foreseen axiom, which requires that the means are proportionate to the desired ends, with a view to prevent state arbitration?; Is it possible to reconcile the requirement of observance to "reasonableness" at the moment of the application of the legal order foreseen in art. 8, CPC / 2015, with the need to observe "proportionality", also provided in the same legal provision ?; And Does the new Code of Civil Procedure provide sufficient parameters for the Alexian postulates to be applied in the way they were developed by Robert Alexy in his Theory of Fundamental Rights ?, were answered throughout the explanations. It was exposed here that proportionality, at least from the viewpoint of Alexyan premises, cannot be understood neither as a principle, nor as a synonym of reasonableness. It has been shown that in the decisions of the Federal Supreme Court, in which proportionality was applied as a methodological criterion in solving hypotheses of collision between principles, apply it in most cases in a different way from those ones outlined by Robert Alexy, misrepresenting thus, almost entirely the Alexandrian postulates. This panorama may eventually jeopardize the guarantee of the realization of fundamental rights. Under the auspices of the new Code of Procedure, however, it is expected that this scenario of theoretical uncertainty and jurisprudence regarding proportionality and balancing, remain modified, because , from the evaluation, it was concluded that the new Code of Civil Procedure , offers, prima facie, safer criteria for the Alexian postulates to be applied, as developed by Alexy, since the proportionality provided in art. 8 is understood as a rule of judgment, and not as a principle, and, provided that the justification of balancing, as provided in art. 489, §2, follows sistematically the three procedural steps of the maxim of proportionality (adequacy, necessity and proportionality in the strict sense).

Orientador: Rosely Palermo Brenelli / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Educação / Made available in DSpace on 2018-08-15T05:53:13Z (GMT). No. of bitstreams: 1 Dias_LeticiaPires_M.pdf: 2061636 bytes, checksum: c2cb90a132d9ef46976d95503575ac5b (MD5) Previous issue date: 2009 / Resumo: Baseada na Teoria Psicogenética de Jean Piaget, esta pesquisa pretende analisar as etapas de aquisição e do domínio referentes às regras e às estratégias do jogo Mancala, na modalidade Kalah, em crianças que apresentam dificuldades em matemática e em crianças que não apresentam dificuldades nessa área de conhecimento. Mais especificamente está fundamentada em: identificar nos dois grupos de participantes os conhecimentos prévios relativos às operações aritméticas e noção de conservação de quantidades discretas implícitas no jogo; analisar os erros relativos às regras e estratégias; analisar os argumentos apresentados nas sessões de intervenção e comparar a evolução de desempenho no jogo dos dois grupos de participantes. Foram selecionadas, por meio da indicação das professoras, 24 crianças, doze com dificuldades em matemática (Grupo A) e doze que não apresentam dificuldades nessa área de conhecimento (Grupo B), com idade de 9 anos e 10 anos, estudantes de 3a série do ensino fundamental de uma escola pública do interior do estado de São Paulo. Ocorreram seis sessões individuais com cada participante, duas vezes por semana, com tempo médio de 50 minutos cada uma. A Experimentadora jogou 13 partidas com cada criança e, na primeira sessão, propôs questões aritméticas e noção de conservação de quantidades discretas implícitas no jogo. Em seguida, explicou todas as regras do jogo, e houve a realização de uma partida. Na segunda sessão, houve relato das regras de forma mais sucinta e ocorreram quatro partidas a fim de aprender a jogar. Da terceira sessão à sexta, aconteceram duas partidas em cada encontro, nas quais a experimentadora trabalhou questões de três estilos e finalidades diferentes - perguntas de exploração das regras, planejamento das jogadas e justificação das estratégias. O procedimento de análise de dados consistiu em: avaliação das respostas das crianças às questões aritméticas e noção de conservação de quantidades discretas implícitas no jogo; identificação e classificação dos tipos de erros de estratégias e de regras cometidos pelas crianças durante as partidas; categorização das respostas relatadas pelos participantes durante as sessões de intervenção; comparação da quantidade e tipo de erros cometidos e das respostas dos dois grupos de participantes. Houve uma tendência de queda no percentual de erros de regras, o que não ficou evidente em relação ao percentual de erros de estratégia. Na comparação da primeira partida com a oitava por meio do jogo, verificouse que o Grupo A apresentou uma melhoria significativa em relação às estratégias, e o Grupo B, em relação às regras. Nos erros de regras houve um maior percentual no Grupo A durante as partidas. Não foi constatada diferença estatisticamente significativa entre os grupos em relação ao percentual dos erros de estratégia; entretanto, observou-se que as crianças do Grupo B tomaram consciência dos erros mais rapidamente do que as do outro grupo e que a qualidade dos tipos deerros cometidos indicou procedimentos com um nível de complexidade maior. O Grupo B apresentou respostas mais bem elaboradas em relação às regras, às estratégias e à antecipação / Abstract: Based on Jean Piaget's Psychogenetics Theory, this research aims at the analysis of the steps of acquisition as well as the knowledge that refers to the rules and the strategies of Mancala game, following the Kalah model. This analysis is applied on children who show difficulties dealing with Mathematics, and also the ones who don't show any difficulty in this area of knowledge. It is more specifically based on: identify the previous knowledge related to arithmetical calculations in both groups as well as the notion of conservation of discreet amounts implied in the game; analyze the mistakes related to the rules and strategies; analyze the arguments presented in the intervention section and compare the improvement evolution of the game between the two groups of participants. Twenty four children were selected, twelve presented difficulties in Mathematics (group A) and the other twelve had no difficulty in this area of knowledge (group B), aged 9 and 10 years, students of the third year of Elementary School belonging to a public school of a small town in the state of São Paulo. The participants of both groups were selected by the children's teacher. Six individual sessions were accomplished with each participant, twice a week. Each session lasted for about 50 minutes. The researcher played 13 games with each child. On the first session, arithmetic problems were proposed together with the notion of conservation of discreet amounts implicit in the game. Then, all the game rules were transmitted and the game was played. On the second session the rules were related in a summarized way and the game was played four times so that the children could learn it. From the third to the sixth session, the game was played twice each meeting, when the researcher worked questions of three different targets and styles - questions to explore the rules, plan the games and justify the strategies. The procedure of analysis of data consisted of: evaluating the children's answers to the questions of arithmetic as well as notion of conservation of discreet amounts implicit in the game; identifying and classifying the types of strategic and rule errors made by the children during the game; categorizing the answers related by the participants during the sessions of intervention; comparing the quantity and kind of errors made as well as the answers given by the two groups of participants. There was a tendency of fall in the percentage of errors of rules, but not related to the percentage of strategic errors. Comparing the first to the eighth time the game was played, it was evident that Group A showed a significant improvement related to strategies and Group B improved the rules. The biggest percentage in the errors of rules in the games was concentrated in Group A. It was not statistically demonstrated any significant difference related to the percentage of strategic errors between the groups. Nevertheless, it was observed that children belonging to group B were aware of the errors faster than the other group and that the quality of types of errors made indicated procedures with a highest level of complexity. Group B provided better answers related to the rules, the strategies as well as the anticipation. / Mestrado / Psicologia, Desenvolvimento Humano e Educação / Mestre em Educação

Orientador: Rosely Palermo Brenelli / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Educação / Made available in DSpace on 2018-08-11T18:40:58Z (GMT). No. of bitstreams: 1 Silva_MariaJosedeCastro_D.pdf: 2276757 bytes, checksum: 2df347526260b3ba3e3224269febefe6 (MD5) Previous issue date: 2008 / Resumo : A presente pesquisa, fundamentada no construtivismo de Jean Piaget, investigou se a promoção de sessões de intervenção com a utilização do jogo de regras ¿Quarto¿ poderia ser favorável às atividades de resolução de problemas de conteúdo matemático. Para isso, contou com a participação de vinte e um alunos do Ensino Médio, sete de cada uma das três séries, pertencentes a duas escolas da rede particular da cidade de Campinas-SP. Foram realizados, com cada participante, encontros individuais destinados à resolução de uma Prova de Conhecimentos Matemáticos, à promoção de Sessões de Intervenção com o Jogo ¿Quarto¿, à Reaplicação da Prova de Conhecimentos Matemáticos e à aplicação da Prova das Permutações. A Prova de Conhecimentos Matemáticos foi composta por cinco problemas retirados do Exame Nacional do Ensino Médio. O jogo ¿Quarto¿, desconhecido de todos os participantes, foi apresentado a eles por meio de seu tabuleiro e peças. O meio computacional foi o escolhido, para que, utilizadas as mesmas regras já aprendidas, a pesquisadora, como observadora neutra, pudesse solicitar, durante as sessões de intervenção, a análise das situações de jogo e como estas poderiam ser transpostas para a resolução de problemas matemáticos. A Prova das Permutações, segundo os critérios definidos por Longeot (1974), permitiu que fosse avaliado o nível de raciocínio de cada participante. Esse nível de raciocínio mostrou-se coerente com as condutas apresentadas por eles nas demais provas. Assim, o participante que demonstrou possuir na, Prova das Permutações, um nível de pensamento operatório formal, ainda que em construção, conseguiu melhores resultados na realização das demais provas. Esses resultados foram confirmados estatisticamente por meio do teste de Spearman (rs), que mostrou haver uma forte correlação entre os postos obtidos pelos participantes na Prova das Permutações e os resultados encontrados em cada uma das demais provas. Foram obtidos os valores rs = 0.7826, na comparação com a Prova de Conhecimentos Matemáticos, rs = 0,7505 na comparação com as Sessões de Intervenção com o Jogo ¿Quarto¿ e rs = 0,7505 na comparação com a Reaplicação da Prova de Conhecimentos Matemáticos, sendo, em todos os casos, p<0,0001. Além disso, observou-se que as médias obtidas pelos participantes na reaplicação da Prova de Conhecimentos Matemáticos foram significativamente maiores que aquelas obtidas na primeira aplicação, resultado confirmado pelo teste T de Student, (t=-3,9366), com a probabilidade bilateral de 0,0008. Esses resultados e a análise qualitativa realizada possibilitaram mostrar que a promoção das sessões de intervenção com o jogo ¿Quarto¿ foi eficaz no estabelecimento das relações propostas, uma vez que permitiu aos participantes a utilização de uma mesma forma de raciocínio a diferentes conteúdos, o que favoreceu a resolução dos problemas apresentados / Abstract : This research, designed according to Jean Piaget constructivism, searched if the use of intervention sessions using the rule game ¿Quarto¿ could be useful to the solving problems activities of mathematics content. Therefore, twenty one high school students took part, seven from each grade from two private schools in Campinas. Each participant underwent individual meetings, to face a Mathematics Knowledge Test, intervention sessions of the game ¿Quarto¿, The Mathematics Knowledge Test again, and the Permutation Test. The Mathematics Knowledge Test was designed with five problems from ENEM (High School Standard National Test). The game of ¿Quarto¿, unknown to all participants, was presented to them through its game board and parts. The computer media was chosen, for using the same rules learned, the researcher as a neutral observer, would request, during the intervention sessions, the analysis of the game situation and how these would be used in the Mathematics solving problems. The Permutation Test, according to established criteria by Longeot (1974), allowed the evaluation of the reasoning level of each participant. This reasoning level showed to be coherent to the results presented by them in the other tests. As a result, the participant who showed to have, in the Permutation Test, a level of formal reasoning thinking still in process, was able to score better in the following Tests, having the opposite occurred, that is, the participant that wasn¿t able to have a good score in the Permutation Test, didn¿t have a good score in the other tests either. These data were statistically confirmed through the Spearman Test (rs) that showed to have a strong correlation among the scores found by the students in the Permutation Test and the results in each of the other tests. The scores were rs = 0.7826, in comparing with the Mathematics Knowledge Test, being in every situation, p < 0, 0001. Besides, the average scored by the participants, when being submitted to the Mathematics Knowledge Test again, were significantly higher than in the first trial, confirmed through the test T of Student, (t = - 3,9366), being the bilateral probability 0,0008. These results and the qualitative analysis enable to show that the game of ¿Quarto¿ sessions were efficient to establish the assumptions, once it allowed the participants to use the same reasoning to different contents, which improved the solving of the presented problems / Doutorado / Psicologia Educacional / Doutor em Educação

Para o sucesso do processo de mineração de dados é importante que o conhecimento extraí?do seja compreensível e interessante para que o usuário final possa utilizá-lo em um sistema inteligente ou em processos de tomada de decisão. Um grande problema, porém, é identificado quando a tarefa de mineração de dados denominada associação é utilizada: a geração de um grande volume de regras. Taxonomias podem ser utilizadas para facilitar a análise e interpretação das regras de associação, uma vez que as mesmas provêm uma visão de como os itens podem ser hierarquicamente classificados. Em função dessa hierarquia é possível obter regras mais gerais que representem um conjunto de itens. Dentro desse contexto, neste trabalho é apresentada uma metodologia para construção semi-automática de taxonomias, que inclui procedimentos automáticos e interativos para a realização dessa tarefa. Essa combinação possibilita a utilização do conhecimento do especialista e também o auxilia na identificação de grupos. Entre os principais resultados deste trabalho, pode-se destacar a proposta e implementação do algoritmo SACT (Semi-automatic Construction of Taxonomies - Construção Semi-automática de Taxonomias), que provê a utilização da metodologia proposta. Para viabilizar a utilização do algoritmo, foi desenvolvido o módulo computacional RulEESACT. Com o objetivo de viabilizar e analisar a qualidade da metodologia proposta e do módulo desenvolvido, foi realizado um estudo de caso no qual foram construída taxonomias para duas bases de dados utilizando o RulEE-SACT. Uma das taxonomias foi analisada e validada por uma especialista do domínio. Posteriormente, as taxonomias e as bases de transações foram fornecidas para dois algoritmos de generalização de regras de associação a fim de analisar a aplicação das taxonomias geradas / I n the data mining process it is important that the extracted knowledge is understandable and interesting to the final user, so it can be used to support in the decision making. However, the data mining task named association has one problem: it generates a big volume of rules. Taxonomies can be used to facilitate the analysis and interpretation of association rules, because they provide an hierarchical vision of the items. This hierarchy enables the obtainment of more general rules, which represent a set of items. In this context, a methodology to semi-automatically construct taxonomies is proposed in this work. This methodology includes automatic and interactives procedures in order to construct the taxonomies, using the specialist?s knowledge and also assisting in the identification of groups. One of the main results of this work is the proposal and implementation of the SACT (Semi-automatic Construction of Taxonomies) algorithm, which provides the use of the proposed methodology. In order to facilitate the use of this algorithm, a computational module named RulEE-SACT was developed. Aiming to analyze the viability and quality of the proposed methodology and the developed module, a case study was done. In this case study, taxonomies of two databases were constructed using the RulEE-SACT. One of them was analyzed and validated by a domain specialist. Then the taxonomies and the databases were supplied to two algorithms which generalize association rules, aiming to analyze the use of the generated taxonomies

Submitted by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2016-11-29T15:11:00Z No. of bitstreams: 1 Dissertação - Diego de A. Barros.pdf: 760197 bytes, checksum: 4306ea5472fd227d9ecd45e370ab7885 (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2016-11-29T15:11:15Z (GMT) No. of bitstreams: 1 Dissertação - Diego de A. Barros.pdf: 760197 bytes, checksum: 4306ea5472fd227d9ecd45e370ab7885 (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2016-11-29T15:11:33Z (GMT) No. of bitstreams: 1 Dissertação - Diego de A. Barros.pdf: 760197 bytes, checksum: 4306ea5472fd227d9ecd45e370ab7885 (MD5) / Made available in DSpace on 2016-11-29T15:11:33Z (GMT). No. of bitstreams: 1 Dissertação - Diego de A. Barros.pdf: 760197 bytes, checksum: 4306ea5472fd227d9ecd45e370ab7885 (MD5) Previous issue date: 2016-07-12 / CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / A very important issue for the analysis of comments posted by users in social networks is the identification of the entities that are the target of these comments. However, correctly identifying the entities mentioned in texts produced by users is a challenging task, since the same entity can be mentioned in several different ways, depending on the user and on how the mention is being made. In addition, these comments are characterized by text with low-quality writing, misspellings, grammatical errors, etc. In this work, we present a case study on the problem of identification and disambiguation of mentions to entities in user-generated content, focused on the domain of games. The choice of this domain is due to the economic and cultural importance of this type of content and also because most of the work in recent literature related to this problems focuses on the context of electronics (televisions, smartphones, etc.). As a strategy for carrying out this case study, we have developed a tool called GameSpotter, which uses methods of named entity recognition - NER and named entity disambiguation - NED to identify and disambiguate mentions to games in comments posted on a real Web forum. Therefore, we have developed two alternative NER methods and one NED method focused on the domain of games. Our experimental results showed that our NER and NED methods are effective, achieving an average precision of 0.93 and 0.83 in the recognition and disambiguation mentions of games, respectively. / Um problema bastante relevante para a análise de comentários postados por usuários em redes sociais é a identificação das entidades que são o alvo destes comentários. No entanto, identificar corretamente as entidades mencionadas em textos produzidos pelos usuários é uma tarefa desafiadora, visto que uma mesma entidade pode ser mencionada de várias maneiras diferentes, dependendo do usuário e de como a menção está sendo feita. Além disso, esses comentários são caracterizados por texto com baixa qualidade de escrita, erros ortográficos, gramaticais, etc. Neste trabalho, apresentamos um estudo de caso sobre o problema de identificação e desambiguação de menções a entidades em conteúdo gerado por usuários, voltado para o domínio de jogos. A escolha deste domínio deve-se à importância econômica e cultural deste tipo de conteúdo e também ao fato de a maioria dos trabalhos na literatura relacionada recente abordar este problema no contexto de produtos eletrônicos (televisores, smartphones, etc.). Como estratégia para a realização deste estudo de caso, desenvolvemos uma ferramenta chamada GameSpotter, que utiliza métodos de reconhecimento de entidades nomeadas (named entity recognition - NER) e de desambiguação de entidades nomeadas (named entity disambiguation - NED) para identificar e desambiguar as menções a jogos nos comentários postados em um fórum real daWeb. Para tanto, desenvolvemos dois métodos alternativos NER e um método de NED voltados ao domínio de jogos. Nossos resultados experimentais mostraram que nossos métodos de NER e NED são efetivos, tendo alcançado em média uma precisão de 0,93 e 0,83 em relação ao reconhecimento e desambiguação de menções a jogos, respectivamente.

As refinarias de petróleo utilizam grandes quantidades de água em seus processos e por isso são impelidas a desenvolver fortes programas de redução de seu consumo. O objetivo do presente estudo é a aplicação de metodologia de otimização em problemas de alocação ótima e reuso de água em refinaria de petróleo. Diferentemente dos enfoques tradicionais que buscam tratar os efluentes gerados para atender às legislações ambientais ou para algum tipo de reuso na planta, a metodologia utilizada avalia os processos que usam água, questionando as causas da geração do efluente. Essa abordagem envolve o levantamento de dados industriais, análise dos processos de produção, identificação de oportunidades para aplicar as estratégias de otimização da alocação de água: racionalização, reuso e/ou reciclagem do efluente e, em seguida, a otimização da rede de água. Visando obter uma rede de água que seja aplicável na indústria, desenvolveu-se um procedimento específico baseado em regras heurísticas que representam as restrições reais dos processos. Através deste procedimento, o consumo de água fresca atingido é próximo do valor ótimo encontrado na literatura. As redes de água geradas são simples, com poucas interconexões e, consequentemente, os investimentos necessários para implementação são menores. / Oil refineries consume a large amount of water in their processes and because of that they are urged to develop strong programs to reduce their water consumption. The aim of this study is to apply an water optimization methodology in an oil refinery. Unlike traditional approaches that only search for treating the effluents in order to meet environmental legislation or to reuse in the plant, this methodology evaluates the processes that use water, questioning the causes of the wastewater generation. This approach involves the industrial data collection, analysis of production processes, identification of opportunities to optimize water use: rationalization, reuse and/or recycling of the effluent and, lastly, the water network optimization. Looking for a water network that is applicable in the industry, in this study it was also developed a specific optimization procedure based on heuristic rules representing the constraints of the actual processes. Through this procedure, freshwater consumption was found to be close to that of the theories found in the literature. The water networks generated are simple, with few interconnections and, consequently, the investments required to implement them are small.

Submitted by Rosa Assis (rosa_assis@yahoo.com.br) on 2017-04-07T12:20:06Z No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) CLAUDIO LUIS DE MEO MARTINS.pdf: 24081977 bytes, checksum: 7ae3e8ba72ff9af0ea1824d98d6cb531 (MD5) / Approved for entry into archive by Paola Damato (repositorio@mackenzie.br) on 2017-04-19T14:04:34Z (GMT) No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) CLAUDIO LUIS DE MEO MARTINS.pdf: 24081977 bytes, checksum: 7ae3e8ba72ff9af0ea1824d98d6cb531 (MD5) / Made available in DSpace on 2017-04-19T14:04:34Z (GMT). No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) CLAUDIO LUIS DE MEO MARTINS.pdf: 24081977 bytes, checksum: 7ae3e8ba72ff9af0ea1824d98d6cb531 (MD5) Previous issue date: 2016-08-24 / Fundo Mackenzie de Pesquisa / The understanding of how the composition of cellular automata rules can perform prede ned computations may contribute to the general notion of emerging computation by means of locally processing components. In this context, we propose a solution to the MODn Problem, which is the determination of whether the number of 1-bits in a binary string is perfectly divisible by the positive integer n > 1. The solution is a composition of one-dimensional cellular automata rules, i.e., the application of di erent rules on a lattice with periodic boundary conditions, which are replaced after some iterations, and all of them with maximum radius equal to n 􀀀 1. In this work, the (XU; LEE; CHAU, 2003) solution for MOD3 Problem (n = 3) is extended for any value of n, and the solution is given for any lattice size N that is co-prime to n. In this generalised solution, the number of iterations depends only on N, with O(N2). This solution relies upon two essential classes of rules, that have been de ned herein: the Replacement rules, that replace a certain amount of identical end bits on the lattice with the opposite value, and the Grouping rules, that group isolated strings of identical and consecutive bits on the lattice, to larger strings of the same bit value. Furthermore, we also show how the solution can be simpli- ed in terms of a reduction on the number of required rules, by de ning some operations that involve the rules' active state transitions, i.e., those that change the value of the centre cell of the neighbourhood. To this end, we de ned the operations of Partitioning (the separation of the active transitions of a rule in di erent rules), Joining (the union of the all active transitions of di erent rules in the same rule), and Merging (the joining of all active transitions of the rules involved, but removing some of them or even adding new active transitions to get the desired adjustments. Using the same concepts and methodology, we proposed a x for the only rule that had been reported in the literature for solving the MOD2 Problem, which is known as the Parity Problem. / A compreensão de como uma composição de regras de autômatos celulares consegue realizar cálculos computacionais pré-de finidos pode contribuir para a noção geral de computação emergente por meio de processamentos locais de alguns componentes. Neste contexto, propõe-se uma solucão para o Problema MODn, que determina se o número de bits 1 em uma cadeia binária de tamanho N é perfeitamente divisível por um número inteiro positivo n > 1. A solução é uma composicão de regras de autômatos celulares unidimensionais, ou seja, a aplicacão de regras diferentes, sobre um reticulado em condição de contorno periódica, que são trocadas após algumas iteracões, sendo todas de raio máximo igual a n - 1. Neste trabalho, a solução de (XU; LEE; CHAU, 2003) para o Problema MOD3 (n = 3) é expandida para qualquer valor de n, mas observada a condição que N e n devem ser números primos entre si. Na solução generalizada obtida, a quantidade total de iterações depende somente de N com O(N2). Essa solução se fundamenta em duas classes essenciais de regras, que foram aqui de nidas: as regras de Substituição, que trocam uma determinada quantidade de bits iguais e extremos do reticulado por bits de valores opostos, e as regras de Agrupamento, que juntam cadeias isoladas de bits idênticos e consecutivos no reticulado, ás maiores cadeias do mesmo valor do bit. Além disso, também é mostrado como podemos simpli ficar esta solução, reduzindo o número de regras necessárias, através de operações que envolvem as transições de estado ativas destas regras, i.e., aquelas que alteram o valor da célula central da vizinhança. Para tanto, são de nidas as operações de Particionamento (separação de transições ativas de uma regra em regras distintas), Junção (união de transições ativas de regras distintas em uma mesma regra) e Fusão (junção de todas as transições ativas das regras envolvidas, podendo remover algumas delas ou até mesmo incluir novas transições ativas para adequações desejadas). Utilizando-se dos mesmos conceitos e metodologia, propusemos ainda uma correção para a única regra proposta na literatura para resolver o Problema MOD2, o qual é conhecido como Problema da Paridade.

Sendo a consciência e a prática das regras fatores relevantes para a compreensão do desenvolvimento moral, os diferentes contextos que envolvem o jogar com regras, podem revelar-se espaços privilegiados para o estudo da moralidade infantil. De acordo com a abordagem psicogenética piagetiana, o jogo ao possibilitar a livre construção do conhecimento e estimular trocas sociais cooperativas, pode vir a favorecer a superação do egocentrismo moral e intelectual, aspecto este indispensável à construção de juízos morais autônomos. Optou-se no presente estudo por focalizar mais diretamente a relação da criança com a regra em diferentes situações, utilizando-se o jogo como pretexto para o estudo desta relação. O próprio Piaget em seu texto de 1932 usa um jogo de regras para estudar a moralidade e defende esta atividade como uma instituição genuinamente infantil propícia ao desenvolvimento do respeito mútuo e do estado cooperativo fundamental a autonomia. Posto isto, a presente pesquisa teve como objetivo investigar diferentes formas de interação da criança com a regra em contextos de jogo, articulando-as com o desenvolvimento moral infantil, segundo o referencial psicogenético piagetiano. Participaram da pesquisa 64 crianças com idades entre 07 e 08 anos, divididas em 14 grupos com, em média, quatro componentes cada. Foram aplicadas diferentes situações de contato com regras, sendo que na primeira as crianças jogaram conforme regras prescritas pela experimentadora (situação fechada), na segunda havia a possibilidade da criança intervir e propor novas formas de jogar (situação intermediária) e na terceira foi solicitado que inventassem um jogo com o material fornecido. Foi realizada uma sessão semanal para cada modalidade de contexto descrita, com cada grupo, sendo uma por dia, durante três semanas. Concluída a aplicação dos diferentes contextos de regra, os sujeitos passaram por uma entrevista clínica, na qual foram investigadas suas concepções relativas à regra moral em contraposição a regra do jogo. A sistematização de todo o material coletado consistiu em análises exploratórias a partir da categorização das ações adotadas pelos sujeitos, principalmente aquelas de caráter mais social como, por exemplo, troca de ideias, uso das regras, consideração da perspectiva alheia, interajuda, realização de acordos consensuais, resolução de conflitos, tomadas de decisão, emissão de julgamentos, entre outras. Tais categorias foram então convertidas em indicadores empíricos, com os quais foi possível delimitar três vias de análise: relações entre indicadores; relações entre contextos e acompanhamento individual de cada sujeito. Os resultados demonstram diferentes manifestações de uso e compreensão da regra de acordo com cada contexto analisado, com maiores evidências de autonomia nas situações que propiciavam acordos mútuos e exigiam de forma mais acentuada a relação entre pessoas. Buscou-se, a partir da presente pesquisa, evidenciar aspectos relevantes da relação da criança com a regra no contexto de jogo, entendendo-a como parte importante de seu desenvolvimento moral. São discutidas, assim, algumas interfaces entre o jogar e a moralidade, tomando-se como base os usos e concepções infantis a respeito da regra / Being the conscience and the rules practicing relevant issues in the understanding of the moral development, the different scenes regarding the playing with the rules, could reveal themselves privileged spots for the childhood morality. According to the Piaget psychogenic, the game, as it makes possible the free knowledge construction and estimulate social collaborating exchanges, could encourage the overcoming of the moral and intellectual egocentrism, indispensable issue for the contruction of moral autonomic judgements. It was decided in this study to focus more directly on the child\'s relationship with the rule in different situations, using the game as an excuse to study this relationship. Piaget himself , in his 1932 texts, uses a rule game to study the morality and defend this activity as a genuine child institution wich provides the mutual respect development and the collaborating state, essential to the autonomy. Once exposed, the present research has the purpose to investigate different ways of child interactions with rules in games scenarios, combining them with the child moral development, following the piagetian model. In the research, 64 children in their 7 to 8 years participated, divided in 14 groups of 4 members each, on the average. It was applied different rule contact situations: in the first, the children played according the rules described by the experience instructor (close situation), in the second one, there was the possibility of the child to intervene and suggest new ways of playing (intermediary situation) and in the third one was solicited that the children invent a game with the provided material. It was realized a weekly session to each scenario described, in each group, once a day along three weeks. Once finished the different contexts applications, the subjects received a clinical interview, where their statements regarding moral rules in opposite to game rules was investigated. The construction scheme of the collected material was based in exploration analysis by the categorization of the adopted actions, mainly the actions with social intents as, for an example: ideas exchange, rules usage, another point of view consideration, interpeople helping, consensual agreements realizations, conflicts resolutions, decision choices, judgment states, among others. The categories was converted in empirical indicators, making possible to delimit three analysis ways: relation between indicators, relation between contexts and individual follow up of each subject. The results demonstrates different manifestations of the usage and rule understanding according to each analyzed context, with more evidence of autonomy in situations that provided mutual agreements and demanded more sharply the relationship between people. It was searched, by the present research, to evidence relevant matters in the child relation with the rule in a game context, understanding the rule as a important part of his moral development. Some interfaces between the play and morality are discussed, taking as a basis the uses and children\'s conceptions about the rule