Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2017-10-04T22:42:25Z No. of bitstreams: 1 ManoelMessiasDeAraujoGomes_DISSERT.pdf: 875902 bytes, checksum: d26a724421b9fc1cef85f5f5474f29ca (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2017-10-13T23:18:59Z (GMT) No. of bitstreams: 1 ManoelMessiasDeAraujoGomes_DISSERT.pdf: 875902 bytes, checksum: d26a724421b9fc1cef85f5f5474f29ca (MD5) / Made available in DSpace on 2017-10-13T23:18:59Z (GMT). No. of bitstreams: 1 ManoelMessiasDeAraujoGomes_DISSERT.pdf: 875902 bytes, checksum: d26a724421b9fc1cef85f5f5474f29ca (MD5) Previous issue date: 2017-08-08 / Este trabalho tem por objetivo o estudo dos automorfismos fortemente est?veis da categoria de todas as ?lgebras livres finitamente geradas na variedade de todas as ?lgebras Lineares Nilpotentes de grau 5. Apresentamos uma breve explica??o sobre o m?todo de opera??es verbais. Nosso interesse principal ? computar o grupo A/Y no caso da variedade de todas as ?lgebras lineares nilpotentes de grau 5. Tendo em vista que o estudo do grupo A/Y ? muito importante na ?rea de Geometria Alg?brica Universal, pois esse grupo nos d? as poss?veis diferen?as entre equival?ncia geom?trica e autom?rfica de ?lgebras.

Made available in DSpace on 2016-04-04T18:27:33Z (GMT). No. of bitstreams: 1 Josy de Souza Moriyama-1.pdf: 538769 bytes, checksum: d9c9c18d8d0776782f67a5efca7e8c1b (MD5) Previous issue date: 2003-06-17 / The Body Dysmorphic Disorder (BDD) is diagnosed when there is an exaggerated preoccupation with some minimal or imagined defect in the appearance, which brings significative impairments to the person s life. It has been sought to investigate the development and maintenance of the BDD behaviors through the functional analysis and the concept of experential avoidance proposed by Hayes, Wilson, Gifford and Follette (1996). Seven people with characteristic behaviors of the BDD, their families and four plastic surgeons participated in this study. It has been used as instruments: instructions to orient surgeons about behaviors of the BDD, enabling them to identify and invite patients to participate in the research; an identification questionnaire with the purpose to select the sample; semi-structured interviews for the participant and their families, containing questions relating to the history of the participants life, families relationship, the beginning of the concern with the appearance, behaviors of the BDD and actual contingencies which maintains them. Ten patients responded to the identification questionnaire and seven of them were selected. Individual interviews were made with each of the participants and their families, according to the necessity of collecting complementary data. From the recording and transcription of the interviews, it has been made a clinic systematical study, in which, the behaviors were described and analyzed according to probable origin and actual functioning processes. Beyond the behaviors related to the preoccupations with the appearance, typical behaviors of other disorders were found (such as: Obsessive Compulsive Disorder, Depression, Social Phobia, Hypochondria) and standards of behavior known as personality features (such as: vanity, perfectionism, aggressiveness). The results pointed similar functional processes, among all the participants. Among the origin processes there were: the cohersitive education with few positive reinforcements in the childhood, past occurrence like accidents, comparisons and comments relating to the part of the body which they worried about. These contingencies, probably, influenced the strong emphasis on discriminative stimuli related to the appearance. Among the actual processes there have been identified: negative reinforcement, lack of positive reinforcements, secondary gains and strong cultural influences of the valorization of the appearance. As particular variables to each case there have been found: low development of skilful socially behaviors, models in the childhood, extremely critical mother concerning to the appearance, among others. It has been concluded that the actual functioning of the BDD is marked by experiential avoidance where the individuals start avoiding the private aversive stimuli, like the anxiety, thoughts about their appearance and about the reaction of the people against their appearance. This avoidance prevents them from exposing themselves to the social situations, resulting in consequences such as social isolation and depressive behaviors. Functional resemblances were demonstrated for all seven cases studied although some topographic behaviors were different, indicating the necessity in considering the functionality of the behaviors and not only the arbitrariness of the psychiatric classification based on symptoms. / O Transtorno Dism?rfico Corporal (TDC) ? diagnosticado quando h? uma preocupa??o t?o exagerada com algum defeito m?nimo ou imaginado na apar?ncia, que traz preju?zos significativos ? vida da pessoa. Buscou-se investigar o desenvolvimento e manuten??o de comportamentos do TDC atrav?s de an?lises funcionais e do conceito de esquiva experencial proposto por Hayes, Wilson, Gifford e Follette (1996). Participaram do estudo sete pessoas com comportamentos caracter?sticos do TDC, seus familiares e quatro cirurgi?es pl?sticos. Foram utilizados como instrumentos: roteiros para orientar cirurgi?es sobre comportamentos do TDC, possibilitando-os identificar e convidar pacientes seus para participarem da pesquisa; uma ficha de identifica??o dos participantes, para selecionar a amostra; roteiros de entrevistas semi-estruturadas para os participantes e seus familiares, com quest?es relativas ? hist?ria de vida dos participantes, rela??es familiares, in?cio das preocupa??es com a apar?ncia, comportamentos do TDC e conting?ncias atuais que os mantinham. Dez pacientes responderam ? ficha de identifica??o e sete foram selecionados. Entrevistas individuais foram feitas com cada participante e com seus familiares, de acordo com a necessidade de se coletar dados complementares. A partir da grava??o e transcri??o das entrevistas foi feito um estudo sistem?tico cl?nico em que os comportamentos foram descritos e analisados de acordo com prov?veis processos de origem e funcionamento atual. Al?m de comportamentos relacionados ?s preocupa??es com a apar?ncia, foram encontrados comportamentos t?picos de outros transtornos (como: Transtorno Obsessivo Compulsivo, Depress?o, Fobia Social, Hipocondria) e padr?es de comportamento conhecidos como tra?os de personalidade (como: vaidade, perfeccionismo, agressividade). Os resultados apontaram processos funcionais semelhantes, entre todos os participantes.

Made available in DSpace on 2014-12-17T15:48:01Z (GMT). No. of bitstreams: 1 CarlosBPS_DISSERT-2.pdf: 1721990 bytes, checksum: b74ed589704115aa90c5e8bcfc5218b9 (MD5) Previous issue date: 2012-07-27 / A automa??o consiste em uma importante atividade do processo de teste e ? capaz de reduzir significativamente o tempo e custo do desenvolvimento. Algumas ferramentas tem sido propostas para automatizar a realiza??o de testes de aceita??o em aplica??es Web. Contudo, grande parte delas apresenta limita??es importantes tais como necessidade de valora??o manual dos casos de testes, refatora??o do c?digo gerado e forte depend?ncia com a estrutura das p?ginas HTML. Neste trabalho, apresentamos uma linguagem de especifica??o de teste e uma ferramenta concebidas para minimizar os impactos propiciados por essas limita??es. A linguagem proposta d? suporte aos crit?rios de classes de equival?ncia e a ferramenta, desenvolvida sob a forma de um plug-in para a plataforma Eclipse, permite a gera??o de casos de teste atrav?s de diferentes estrat?gias de combina??o. Para realizar a avalia??o da abordagem, utilizamos um dos m?dulos do Sistema Unificado de Administra??o Publica (SUAP) do Instituto Federal do Rio Grande do Norte (IFRN). Participaram da avalia??o analistas de sistemas e um t?cnico de inform?tica que atuam como desenvolvedores do sistema utilizado.

Made available in DSpace on 2014-12-17T15:48:01Z (GMT). No. of bitstreams: 1 CarlosBPS_DISSERT.pdf: 1722008 bytes, checksum: 1b3fd4314fbf5b4ba2b4dfe1a0865e45 (MD5) Previous issue date: 2012-07-27 / Conselho Nacional de Desenvolvimento Cient?fico e Tecnol?gico / Automation has become increasingly necessary during the software test process due to the high cost and time associated with such activity. Some tools have been proposed to automate the execution of Acceptance Tests in Web applications. However, many of them have important limitations such as the strong dependence on the structure of the HTML pages and the need of manual valuing of the test cases. In this work, we present a language for specifying acceptance test scenarios for Web applications called IFL4TCG and a tool that allows the generation of test cases from these scenarios. The proposed language supports the criterion of Equivalence Classes Partition and the tool allows the generation of test cases that meet different combination strategies (i.e., Each-Choice, Base-Choice and All Combinations). In order to evaluate the effectiveness of the proposed solution, we used the language and the associated tool for designing and executing Acceptance Tests on a module of Sistema Unificado de Administra??o P?blica (SUAP) of Instituto Federal Rio Grande do Norte (IFRN). Four Systems Analysts and one Computer Technician, which work as developers of the that system, participated in the evaluation. Preliminary results showed that IFL4TCG can actually help to detect defects in Web applications / A automatiza??o no processo de teste de software tem se tornado cada vez mais necess?ria devido ao alto custo e tempo associado a esta atividade. Algumas ferramentas tem sido propostas para automatizar a execu??o de testes de aceita??o em aplica??es Web. Contudo, grande parte delas apresenta limita??es importantes tais como a forte depend?ncia com a estrutura das p?ginas HTML e a necessidade de valora??o manual dos casos de testes. Neste trabalho, apresentamos uma linguagem para especifica??o de cen?rios de Testes de Aceita??o em aplica??es Web denominada IFL4TCG e uma ferramenta que permite a gera??o de casos de testes a partir destes cen?rios. A linguagem proposta d? suporte ao crit?rio Parti??o em Classes de Equival?ncia e a ferramenta permite a gera??o de casos de teste que atendem diferentes estrat?gias de combina??o (i.e., Cada Escolha, Escolha Base e Todas Combina??es). Com o objetivo de avaliar a efic?cia da solu??o proposta, utilizamos a linguagem e a ferramenta associada para elaborar e executar testes de Aceita??o em um dos m?dulos do Sistema Unificado de Administra??o Publica (SUAP) do Instituto Federal do Rio Grande do Norte (IFRN). Participaram da avalia??o quatro Analistas de Sistemas e um T?cnico em Inform?tica que atuam como desenvolvedores do respectivo sistema. Resultados preliminares mostraram que a IFL4TCG pode, de fato, auxiliar na detec??o de defeitos em aplica??es Web

Made available in DSpace on 2014-12-17T15:27:44Z (GMT). No. of bitstreams: 1 CarlosELD_DISSERT.pdf: 699872 bytes, checksum: f940eba1822577b96cbd189eefe2a0d9 (MD5) Previous issue date: 2013-03-15 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior / In this work, we present a text on the Sets Numerical using the human social needs as a tool for construction new numbers. This material is intended to present a text that reconciles the correct teaching of mathmatics and clarity needed for a good learning / Neste trabalho, elaboramos um texto sobre os Conjuntos Num?ricos, utilizando as necessidades sociais humanas como ferramenta para constru??o de novos n?meros. O presente material visa apresentar um texto que concilie o ensino correto da matem?tica e a clareza necess?ria para um bom aprendizado

Made available in DSpace on 2015-03-03T15:28:33Z (GMT). No. of bitstreams: 1 CatiaRSS_DISSERT.pdf: 4951076 bytes, checksum: 0231a1261bda878faaaf3e30a97857a0 (MD5) Previous issue date: 2012-11-27 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior / Um dos temas mais populares no tratamento de dados nos ?ltimos dez anos gira em torno da descoberta que a recupera??o de sinais esparsos em sistemas lineares, pode ser feita com um n?mero de equa??es bem menor que o n?mero de vari?veis. Em linhas gerais, se A = AmN, queremos resolver Ax = b e procuramos solu??es esparsas, ou seja, com apenas s << N entradas n~ao-nulas em algum sistema de coordenadas, isto pode ser feito com um n?mero de equa??es m << N, minimizando a norma l1 de x, sujeito ? restri??o Ax = b + r, sob determinadas condi??es (8). Vale dizer, com muito menos equa??es que incognitas. D? o nome de Magica l1" para esta possibilidade de recuperar um sinal esparso, resolvendo um problema de otimiza??o convexa com relativamente poucas restri??es. Para algumas poucas matrizes A, de grande import?ncia em aplica??es, ha teorias razoavelmente estabelecidas indicando esta possibilidade, para muitas n?o. O objetivo desta disserta??o e situar e discutir casos nos quais a Magica l1" funciona, com foco nas rela??es entre a esparsidade s, o n?mero de linhas m e o n?mero de vari?veis N, para algumas matrizes importantes e associadas ? codifica??o de imagens 2D. Em particular, realizamos testes num?ricos com tr?s matrizes A, visando encontrar empiricamente rela??es entre s, m e N para as quais a Magica l1 e bem sucedida. Em duas delas, ha teorias matematicas, ainda em constru??o, indicando condic~oes de sucesso, grosso modo, na forma de m=s C log(N=s), sempre com alguma probabilidade de insucesso associada. Listamos inicialmente A = G, formada por entradas aleatorias com distribui??o gaussiana i.i.d., de media zero e colunas aproximadamente unitarias. A segunda e a transformada de Fourier, que usaremos numa vers~ao de transformada de cossenos 2D. A denotamos por A = DCT. Para probabilidades esmagadoras" de sucesso na recupera??o de sinais esparsos com G, usando a Magica l1", os resultados te?ricos estabelecem regi?es menores, vale dizer, valores mais elevados para a constante C. Se relaxamos um pouco esta exig?ncia de sucesso, obtemos regi?es mais amplas, conforme teremos oportunidade de discutir na disserta ??o. m=s C log(N=s) ainda e uma conjectura no caso de Fourier, se queremos probabilidades esmagadoras" de sucesso na recupera??o de sinais esparsos pela via da otimiza??o convexa acima prescrita. Os resultados emp?ricos por nos obtidos para iv estas duas matrizes ainda s~ao muito preliminares, mas se ajustam bem , via quadrados m??nimos, a m=s C log(s=N), com C em 1:6 e em 1, correspondendo aos resultados mais otimistas encontrados na literatura para G e DCT, nos quais a eficacia da Magica l1" e assumida num sentido mais fraco, no sentido de permitir alguma taxa de insucesso n~ao totalmente desprez??vel, porem de forma probabilisticamente controlada. No caso da matriz da transformada de Radon, n?o ha previs~ao teorica consolidada para o funcionamento daMagica l1" e sequer encontramos conjecturas sobre o que se pode esperar. Em nossos testes com matrizes de Radon, encontramos uma regi~ao para a validade da Magica l1", cujo ajuste de quadrados m??nimos a m=s C log(s=N) se deu com 2; 5 e C 0; 29

Made available in DSpace on 2015-03-03T15:47:46Z (GMT). No. of bitstreams: 1 ClaudioACO_DISSERT.pdf: 456086 bytes, checksum: 05ce54b27a831e1c5708083e2231bc35 (MD5) Previous issue date: 2012-02-13 / Conselho Nacional de Desenvolvimento Cient?fico e Tecnol?gico / In order to make this document self-contained, we first present all the necessary theory as a background. Then we study several definitions that extended the classic bi-implication in to the domain of well stablished fuzzy logics, namely, into the [0; 1] interval. Those approaches of the fuzzy bi-implication can be summarized as follows: two axiomatized definitions, which we proved that represent the same class of functions, four defining standard (two of them proposed by us), which varied by the number of different compound operators and what restrictions they had to satisfy. We proved that those defining standard represent only two classes of functions, having one as a proper subclass of the other, yet being both a subclass of the class represented by the axiomatized definitions. Since those three clases satisfy some contraints that we judge unnecessary, we proposed a new defining standard free of those restrictions and that represents a class of functions that intersects with the class represented by the axiomatized definitions. By this dissertation we are aiming to settle the groundwork for future research on this operator. / A fim de tornar este documento auto-suficiente, n?s apresentamos toda a teoria necess?ria como arcabou?o te?rico. Em seguida, estudamos v?rias defini??es que estenderam a bi-implica??o cl?ssica para o dom?nio da bem estabelecida l?gica difusa, ou seja, no intervalo [0; 1]. Essas abordagens da bi-implica??o difusa podem ser resumidas da seguinte forma: duas defini??es axiomatizadas, que demonstramos que representam a mesma classe de fun??es, quatro padr?es definit?rios (dois deles proposto por n?s), que variam com o n?mero de diferentes operadores que as comp?em e quais restri??es que tinham para satisfazer. N?s demonstramos que esses padr?es definit?rios representam apenas duas classes de fun??es, tendo uma como uma subclasse pr?pria da outra, mas sendo ambas subclasses da classe representada pelas defini??es axiomatizadas. Uma vez que esses tr?s clases satisfazer algumas restri??es que julgamos desnecess?rias, propusemos um novo padr?o definit?rio sem essas restri??es e que representa uma classe de fun??es que se interseta com a classe representada pelas defini??es axiomatizadas. Nesta disserta??o estamos pretendendo estabelecer as bases para futuras pesquisas sobre este operador

Syftet med denna undersökning är att synliggöra vilka former av arbets- och bedömningsmetoder som lärare väljer att använda sig av för att bedöma elevernas kunskaper och genom detta studera hur dessa kan betraktas som likvärdiga i ämnet samhällskunskap, årskurs 1-3. Syftet är även att synliggöra hur lärare som undervisar i ämnet, årskurs 1-3 uppfattar ramfaktorer, och ställa detta mot tidigare forskning huruvida faktorer kan påverka lärares förutsättningar att bedöma eleverna likvärdigt. I en enkätundersökning har lärare som undervisar i samhällskunskap, årskurs 1-3, svarat på frågor om bedömningsmetoder och vilka ramfaktorer de anser påverkar förutsättningar för bedömning. Lärare i undersökningen använder framförallt muntliga och skriftliga bedömningsmetoder, vilket indikerar på hög validitet och reliabilitet. Ramfaktorer som lärarna anser ha störst påverkan på deras möjlighet till att genomföra bedömningar är de pedagogiska- samt de administrativa ramarna. En likvärdig bedömning är svår att uppnå på grund av avsaknad av bedömningsstöd för årskurs 1-3. Lärarnas svar i undersökningen, gällande ursprungskälla av bedömningsmaterial samt användandet av bedömningsmatriser skiljer sig åt, vilket kan peka på skillnader av lärarnas tolkningar av styrdokumenten. / The purpose of this study is to highlight the forms of work- and assessment methods, that teachers choose to use to assess pupil’s knowledge and thereby study how these can be considered equivalent in the subject of social studies, grades 1-3. The purpose is also to make visible how teachers who teach the subject perceive framework factors, and set this against previous research on which factors affect teachers' ability to assess students equally. In a survey, teachers who teach in the grades 1-3 answered questions about assessment methods and which framework factors they consider to affect the conditions for assessment. The teachers mainly used oral- and written assessment methods, which indicates high validity and reliability. Framework factors that teachers consider to have the greatest impact on their ability to assess pupil’s are the pedagogical- and administrative frameworks. Equivalent assessment is difficult to achieve due to the lack of assessment support for grades 1-3. The teachers answers in the survey, that their source of assessment material and the use of assessment matrix differ, which may indicate differences in the teachers' interpretations of the governing documents.