Submitted by ROBERTO PAULO CORREIA DE ARAÚJO (ppgorgsistem@ufba.br) on 2017-05-19T23:58:33Z No. of bitstreams: 1 TESE - Marilda - 2016 F.pdf: 1951206 bytes, checksum: f0d79f0e2b09130f482d4c5c8d7f00d3 (MD5) / Made available in DSpace on 2017-05-19T23:58:34Z (GMT). No. of bitstreams: 1 TESE - Marilda - 2016 F.pdf: 1951206 bytes, checksum: f0d79f0e2b09130f482d4c5c8d7f00d3 (MD5) / Introdução: A avaliação de risco para tuberculose (TB) em profissionais da saúde baseia-se no número de indivíduos doentes atendidos nas instituições, na evidência de sua transmissão entre pessoas dentro das instituições, ou cálculo de taxas de conversão do teste cutâneo tuberculínico (TCT). Sugere-se que os resultados negativos para este teste sejam repetidos periodicamente, de acordo com o risco que a instituição apresente e, ou, após exposições ocupacionais. O fato de apenas 10% das pessoas infectadas com Mγcobacterium tuberculosis desenvolverem a doença clínica sugere que diversos mecanismos podem desempenhar um papel importante na imunopatogênese da doença. Estudos genéticos estão sendo desenvolvidos com o objetivo de identificar possíveis marcadores de predisposição ou proteção ao desenvolvimento desta doença e sugerem que o desequilíbrio na produção de citocinas pró e anti-inflamatórias tem um importante papel na TB. Objetivo: Avaliar a liberação de interferon gama (IFN-γ) e o polimorfismo de citocinas nos PS com TCT de repetição, negativo e positivo, que trabalham em uma unidade de referência secundária e terciária em TB. Métodos: A população do estudo foi constituída por 48 profissionais TCT de repetição negativo, com resultado < 5 mm e 45 TCT positivo > 10 mm. O DNA genômico foi extraído a partir de sangue total, utilizando o kit de extração de DNA mini spin Kasvi. Foi realizada a genotipagem das citocinas (IL6, IL10, TNF, IFN-γ, TGFB1) e a associação entre o polimorfismo +874T/A do geneIFN- γ ,o resultado do ensaio de liberação de interferon gama IGRA (QFT®) e o TCT. Resultados: Não foi observada diferença estatística no polimorfismo do gene IFN-γ +874 T/A e o resultado do IGRA e TCT. A concordância entre o TCT e IGRA foi feita utilizando o índice Kappa que mostrou κ=0,24. Os resultados relativos aos fenótipos previstos de alto (TT), intermediário (TA) e baixo produtor (AA) de IFN-γ, a partir do polimorfismo na posição +874T/A, em ambos os grupos mostrou que a maior frequência foi o de baixo produtor. Ao analisar o grupo TCT+ / IGRA +, os dados mostram correlação dos testes in vivo e in vitro para reatividade em 24 indivíduos. O polimorfismo desses indivíduos tem o perfil dos fenótipos previstos de baixo produtor, sendo apenas 6 de intermediário e 3 de alto produtor. Conclusão: A concordância entre o TCT e o IGRA na população estudada é mediana e não foi observada diferença no polimorfismo do gene IFN-γ+874T/A para frequência de fenótipo previsto de baixo produtor, comparando os grupos do estudo e seus respectivos IGRA. Os polimorfismos dos genes IFN γ +874T/A, TNF -308G/A, IL6 -174G/C IL10 - 1082G/A, -819C/T e -592C/A e TGFβ1 -509 C/T não parecem ser marcadores de predisposição ou proteção ao desenvolvimento da TBIL. Foi encontrada diferença estatística no gene TGF1 +869 T/C.

Abstract In the interest of improving reliability, electrical monitoring methods were utilized to observe the degradation of electronics interconnections while simultaneously characterizing accelerated testing-induced changes in test structures by means of optical examination, X-ray, scanning acoustic microscopy and scanning electron microscopy. To improve the accuracy of lifetime prediction for the PCSB interconnections investigated in this work, a modified Engelmaier’s solder joint lifetime prediction model was recalibrated. The results show that with most of the presented lead-free (SAC387, SAC405, SAC-In) solder and structure combinations with a large global thermal mismatch (ΔCTE > 10 ppm/°C), lifetime was adequate in the presented TCT ranges of 0‒100 °C and −40‒125 °C, while the amount of non-preferred crack types, i.e. ceramic cracks, was minimized. Degradation of interconnections was characterized using RF measurements both during TCT and intermittently during TCT breaks. A grounded coplanar waveguide was arranged either in a straight back-to-back configuration or together with a filter module with a passband at 22‒24 GHz—both with two transitions—and characterized during cycling breaks up to 25 GHz and 30 GHz, respectively. Besides off-cycle measurements, in-cycle measurements were done on an antenna structure with an in-band at 10‒11 GHz, up to 14 GHz. The results show that the signal response was initially affected at some frequencies as short-duration (&lt; 1 s) glitches in the monitored signal when measured during cycling in 0‒100 °C TCT. Later on the degradation could be observed in the whole frequency band as TCT was continued. Development of the semi-empirical lifetime prediction model for PCSB interconnections showed the temperature range dependency of the correction term to be a second order polynomial instead of a logarithmic one. For components with PCSB BGA, promising prediction results were achieved which differed from the realized lifetime by less than 0.5% at best. / Tiivistelmä Elektroniikkaliitosten rikkoontumisen seurantaan tarkoitettuja sähköisiä monitorointimenetelmiä kehitettiin samanaikaisesti karakterisoimalla testauksella liitoksiin aikaansaatuja muutoksia optisesti, akustisella mikroskoopilla sekä röntgen- ja pyyhkäisyelektronimikroskoopeilla. Liitosten eliniän ennustamiseen soveltuva muokattu Engelmaierin malli kalibroitiin PCSB-liitosten elinikäennusteen tarkkuuden parantamiseksi. Tulosten perusteella useimmille tässä työssä käytetyille lyijyttömille (SAC387, SAC405, SAC-In) juotteille ja suuren termisen epäsovituksen (ΔCTE > 10 ppm/°C) rakenneyhdistelmille eliniät lämpösyklaustesteissä 0‒100 °C ja −40‒125 °C alueilla olivat riittävät ja haitallisimpien murtumien, eli keraamimurtumien, määrä saatiin minimoiduksi. RF-mittauksia käytettiin liitosten vikaantumisen seurantaan sekä lämpösyklauksen aikana että syklausten välillä. Maadoitettua koplanaarista aaltojohtoa käytettiin joko suoraan perättäiskytkennässä tai suodatinmoduulin kanssa, jonka päästökaista oli 22–24 GHz. Rakenteet karakterisoitiin syklausten välillä 25 GHz ja 30 GHz asti tässä järjestyksessä. Näiden mittausten lisäksi 10–11 GHz kaistalla toimivaa antennirakennetta karakterisoitiin syklauksen aikana 14 GHz asti. Tulokset osoittavat, että signaalivasteen muutos ilmenee aluksi joillakin taajuuksilla lyhyinä, alle 1 s mittaisina häiriöpiikkeinä, 0‒100 °C syklauksen aikana. Syklauksen edetessä vasteen huononeminen havaitaan myöhemmin koko mittausalueella. Puolikokeellista elinikäennustemallia tarkasteltaessa havaittiin, että PCSB-liitosten lämpötila-alueesta riippuvia korjauskertoimia kuvasivat logaritmisen riippuvuuden sijaan parhaiten toisen asteen polynomifunktiot. PCSB BGA ‒rakenteille saadun ennusteen ja toteutuneen eliniän välinen ero oli pienimmillään alle 0.5 %.

The CATS TCT is a military wargaming simulator used by the Swedish Armed Forces for education of position holders within battalion or company staffs. The CATS TCT was developed during the nineties and one of the challenges today is how the system can be modernized in order to meet the increased demands on usability. This master thesis is part of the work with modernizing the CATS TCT and a usability study has been conducted in order to identify issues and problems of the current system related to usability. This thesis is conducted at BAE Systems C-ITS in Linköping and the main focus of this study has been how to analyze and re-design the CATS TCT in order to enhance the usability of the system. Empirical data in this study has been collected through six semi-structured interviews, one observation and two focus group interviews and the result of this study has elicit several problem areas related to any of following usability aspects: effectiveness, efficiency or satisfaction. The conclusions from this investigation is that the CATS TCT simulator is an valuable and appreciated educational tool – especially from an effectiveness point of view. When it comes to efficiency, however, several problems areas has been identified and these areas are: information architecture, interface interaction, how orders are issued to units and how the simulation rules are implemented. When it comes to the users satisfaction of the system no unequivocal conclusion has been possible to present. As a complement to the identified issues and problems of the simulator this study has also presented examples on how prototypes could be used to solve some of the identified problems. More specifically, in this report re-design solutions related to how the users interact with the map, how orders are issued and how status overview is displayed has been presented.

No description available.

Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Matemática, Programa de Mestrado Profissional em Matemática em Rede Nacional, 2015. / Submitted by Fernanda Percia França (fernandafranca@bce.unb.br) on 2015-11-20T18:34:37Z No. of bitstreams: 1 2015_FredericoCarvalhoTôrres.pdf: 3332472 bytes, checksum: c0891878a308a0b47c58c6333796f5be (MD5) / Approved for entry into archive by Guimaraes Jacqueline(jacqueline.guimaraes@bce.unb.br) on 2016-01-07T15:32:21Z (GMT) No. of bitstreams: 1 2015_FredericoCarvalhoTôrres.pdf: 3332472 bytes, checksum: c0891878a308a0b47c58c6333796f5be (MD5) / Made available in DSpace on 2016-01-07T15:32:21Z (GMT). No. of bitstreams: 1 2015_FredericoCarvalhoTôrres.pdf: 3332472 bytes, checksum: c0891878a308a0b47c58c6333796f5be (MD5) / A elaboração de simulados é prática comum em escolas que desejam obter bons resultados e aprovar seus alunos nas grandes universidades brasileiras por meio de processos seletivos como o Exame Nacional do Ensino Médio (ENEM). Logo, faz-se necessário que os itens presentes nesses simulados sejam itens de qualidade, isto é, elaborados sob uma série de orientações pedagógicas e que permitam avaliar o desenvolvimento das competências e habilidades de seus alunos. Dessa forma, o trabalho propôs-se a analisar a qualidade dos itens aplicados em um simulado de matemática elaborado no modelo ENEM por uma escola do Distrito Federal. A análise dos itens foi feita utilizando-se a Teoria Clássica dos Testes (TCT) e a Teoria de Resposta ao Item (TRI), com a objetivo de fornecer um feedback aos professores elaboradores e possibilitar a criação de um banco de itens na escola. Concluiu-se que, apesar do descumprimento de algumas regras básicas quanto a elaboração de alguns itens, a maior parte do simulado é composta por itens que discriminam os alunos de alta proficiência dos de baixa proficiência. Há, ainda, itens que, sujeitos a pequenas melhorias, podem vir a compor o banco de itens da escola. Concluiuse, também, que o nível de dificuldade foi considerado elevado, bem acima do que se recomenda, que são níveis de dificuldade dos itens no teste dentro de uma curva normal. / The preparation of simulated tests is common practice in schools who wish to have good results and approve their students in major Brazilian universities through selective processes such as the Exame Nacional do Ensino Médio (ENEM). Therefore, it is necessary that the items present in these simulated tests are quality items, ie, prepared under a series of pedagogical guidelines that allows the evaluation of the development of skills and abilities of their students. Thus, the work aimed to analyze the quality of items applied in a simulated test of mathematics developed in ENEM model by a school at Distrito Federal. The analysis of the items was performed using Classical Theory of Tests (CTT) and Item Response Theory (IRT), with the goal of providing a feedback to the developers teachers and enable the creation of a items bank at school. It was concluded that, despite the failure of some basic rules for the preparation of some items, most of the simulated test consists of items that discriminate against students from high proficiency to low proficiency. There are also items that, subject to minor improvements, are likely to make the school’s items bank. Also, it was concluded that the difficulty level was considered high, well above what is recommended, which are levels of difficulty of the test items within a normal curve.

¿Cuántas opciones de respuesta hay que utilizar para responder un cuestionario de personalidad? Durante más de ochenta años, numerosas investigaciones previas han examinado este tópico sin lograr alcanzar un consenso. El presente trabajo se aborda esta cuestión de forma exhaustiva.MÉTODO:Se aplican dos escalas de personalidad [(Orientación Negativa hacia los Problemas (NPO) del Social Problem Solving Inventory-Revised (SPSI-R) y la escala Satisfacción con la Vida (SWLS)], cada una a una muestra independiente (Estudio A = 746 participantes y Estudio B = 426 participantes), variando el número de opciones de respuesta en dos, tres y cinco alternativas. Cada sujeto debe responder a los tres tipos de formato de respuesta dentro de una misma sesión. Para evitar que éstos noten que están contestando el mismo cuestionario en más de una ocasión, cada escala experimental se inserta dentro de una batería de "tests". De esta forma, se construyen tres baterías de "test" (una para cada muestra), contrabalanceando la aparición de los distintos formatos de respuesta y manteniendo constante el resto de las condiciones experimentales. Por otro lado, se utiliza como criterio para evaluar el efecto del número de opciones de respuesta sobre las propiedades psicométricas las escalas NPO y SWLS tanto su fiabilidad (consistencia interna y estabilidad temporal) como su validez (evidencia basada en la estructura interna y evidencia basada en el grado de relación con otras variables).Estas se evalúan desde tres modelos psicométricos diferentes: Teoría Clásica de los Tests (TCT), Análisis Factorial de los Ítems (AFI) y Teoría de Respuesta a los Ítems (TRI).APORTE:Tres son los principales aportes de este trabajo de Tesis de Doctorado. En primer lugar, se aplican dos escalas de personalidad diferentes a muestras independientes, manteniendo constante el resto de las condiciones experimentales. Con ello se espera controlar que los resultados observados son producto del efecto ejercido por los distintos formatos de respuesta utilizados y no por otras variables. En segundo lugar, cada sujeto contesta su respectiva escala experimental utilizando los tres formatos de respuesta propuestos. Ello permite disponer de información directa respecto de cómo ha respondido realmente cada sujeto -y no sólo con una estimación indirecta, derivada de la comparación de muestras independientes, como ha sido lo habitual hasta este momento. Finalmente, el análisis de las propiedades psicométricas de las escalas experimentales se aborda por primera vez, simultáneamente, desde tres perspectivas diferentes (TCT, AFI y TRI). Esto permite controlar que los resultados observados no son consecuencia inmediata del modelo psicométrico utilizado, sino producto del efecto ejercido por los distintos formatos de respuesta propuestos. El análisis de la validez de los cuestionarios se realiza aplicando Modelos de Ecuaciones Estructurales (SEM).RESULTADOS Y DISCUSIÓN:En su conjunto, los resultados observados sugieren que el número de opciones de respuesta afecta de forma leve a moderada la estructura interna y, parcialmente, la consistencia interna de las escalas utilizadas en este trabajo de Tesis de Doctorado. Por el contrario, el número de alternativas de respuesta no afecta aspectos tales como la evidencia basada en la relación con otras variables o la estabilidad temporal (estabilidad test-retest) de las escalas analizadas.PALABRAS CLAVE:Número óptimo de opciones de respuesta, Cuestionarios de personalidad, Satisfaction with Life Scale (SWLS), Social Problem-Solving Inventory-Revised (SPSI-R), Teoría Clásica de los Tests (TCT), Análisis Factorial de los Ítems (AFI), Teoría de Respuesta a los Ítems (TRI), Modelos de Ecuaciones Estructurales (SEM), Propiedades psicométricas, Fiabilidad, Validez, evidencia basada en la estructura interna, evidencia basada en la relación con otras variables, consistencia interna, estabilidad temporal. / Numerous studies have attempted to answer the question of what is the optimal number of response options in personality questionnaires. Some authors argue that the number of response options do not affect at all the reliability or the validity of the measurement tool, whereas others suggest to use from 2- to 25-response alternatives in order to maximize the psychometric properties of the instrument. The present PhD Dissertation work attempts to aboard in an exhaustive manner this question.METHOD:All subjects have responded, within the same session, a questionnaire with two-, three- and five-response options. In order to avoid that the subjects notice that they are responding to the same questionnaire, within a same session, these are applied within a tests battery. Likewise, two independent samples (A and B) and two personality questionnaires [Negative Problem Orientation (NPO) of the Social Problem Solving Inventory-Revised (SPSI-R) and Satisfaction with Life Scale (SWLS)] are used, to ensure that the answer does not depend on the instrument investigated. Both, the reliability and validity of the instrument will be used as criteria to determine the optimum number of response alternatives. Finally, the reliability and validity of each response format is analysed using three different psychometric models: "Classical Test Theory" (CTT), "Item Factor Analysis" (IFA), and "Item Response Theory" (IRT). Add, we used Structural Equation Models (SEM) to analyze the validity of the NPO and SWLS scales.RESULTS AND DISCUSSION:As a whole, the observed results suggest that the number of response options affects form slight to moderate aspects such as the internal structure and, partially, the internal consistency of the scales analyzed in this work. Contrary, the number of response alternatives does not affect aspects such as the evidence based on the relation with other variables or the temporary stability (test-retest stability) of the examined scales.KEYWORDS:Optimal number of response options, Classical Tests Theory (CCT), Item Factor Analysis (IFA), Item Response Theory (IRT), Structural Equation Models (SEM), Psychometric properties, Reliability, Validity, Personality rating scales, Satisfaction with Life Scale (SWLS), Social Problem-Solving Inventory-Revised (SPSI-R), evidence based on the internal structure, evidence based on the relation with other variables, internal consistency, temporary stability.

MAIA, José Leudo. Uso da Teoria Clássica dos Testes – TCT e da Teoria de Resposta ao Item – TRI na avaliação da qualidade métrica de testes de seleção. 2009. 325f. Tese (Doutorado em Educação) – Universidade Federal do Ceará, Faculdade de Educação, Programa de Pós-Graduação em Educação Brasileira, Fortaleza-CE, 2009. / Submitted by Maria Josineide Góis (josineide@ufc.br) on 2012-07-10T11:42:58Z No. of bitstreams: 1 2009_Tese_JLMaia.pdf: 4582126 bytes, checksum: 35b2f8279baa21b052a910889b5a7001 (MD5) / Approved for entry into archive by Maria Josineide Góis(josineide@ufc.br) on 2012-07-13T11:49:37Z (GMT) No. of bitstreams: 1 2009_Tese_JLMaia.pdf: 4582126 bytes, checksum: 35b2f8279baa21b052a910889b5a7001 (MD5) / Made available in DSpace on 2012-07-13T11:49:37Z (GMT). No. of bitstreams: 1 2009_Tese_JLMaia.pdf: 4582126 bytes, checksum: 35b2f8279baa21b052a910889b5a7001 (MD5) Previous issue date: 2009 / sse trabalho doutoral tem como proposta fazer uso da Teoria Clássica dos Testes – TCT e da Teoria de Resposta ao Item – TRI como instrumentos na avaliação da qualidade métrica de testes de seleção, sob quatro aspectos de investigação: Análise da Validez do Construto; Análise Psicométrica dos Itens; Funcionamento Diferencial dos Itens – DIF; e Função de Informação. Para tanto, foram utilizados dados dos resultados das provas de Português e Matemática do concurso vestibular da Universidade Estadual do Estado do Ceará – UECE, de 2007, em que participaram 20.016 candidatos a 38 Cursos de Graduação, somente na Capital do Estado. Para o tratamento desses dados, foram utilizados os seguintes softwares: SPSS, v15; BILOG-MG, v3.0; MULTILOG FOR WINDOWS, v1.0; e o TESTFACT v4.0. A primeira providência foi verificar a dimensionaidade dessas provas. Para tanto se utilizou o Método de Kaiser-Guttman, Scree-plot, e o Método das Cargas Fatoriais e das Comunalidades da Matriz de Fatores. A constatação foi de que a prova de Português apresentava características multidimensionais, sendo, portanto, descartada, por não atender aos pressupostos básicos da Unidimensionalidade e Independência Local dos Itens. A prova de Matemática, no entanto, por apresentar comportamento unidimensional, se tornou o foco deste trabalho. A análise da Validez do Construto foi realizada por meio dos coeficientes Alpha de Cronbach e Kuder-Richardson, tendo gerado valores iguais a 0,685, além da utilização, também, do método das Cargas Fatoriais, com cargas entre 0,837 e 0,960, indicando intensa consistência interna. A análise psicométrica dos itens foi realizada por meio dos índices de dificuldade, discriminação e acerto ao acaso, para ambas as teorias, indicando ser essa uma prova de dificuldade mediana, com bom comportamento discriminativo e baixo índice de acerto ao acaso. A análise do DIF foi realizada, segundo o gênero dos candidatos, pelos métodos Delta-plot, Maentel-Haenszel, Regressão Logística e Comparação dos Betas, indicando resultados estatísticamente não significativos, no que se concluiu não apresentar, a prova, comportamento diferenciado, segundo o gênero. A análise da Função de Informação da prova permitiu se observar que esta é particularmente válida para candidatos com aptidão em torno de 0,8750 e que, a um nível de confiança de 95%, 49,3% dos candidatos atenderiam a essa indicação. Observou-se também que 90,6% dos candidatos, em ambos os processos, apresentaram o mesmo nível de aptidão, indicando uma convergência bastante razoável entre os resultados gerados pela TCT e TRI, no entanto, no estudo amostral, a TRI identificou que 9,4% dos candidatos apresentaram maior aptidão para a realização de um curso superior que os selecionados pela TCT.

FundaÃÃo de Amparo à Pesquisa do Estado do Cearà / Esse trabalho doutoral tem como proposta fazer uso da Teoria ClÃssica dos Testes â TCT e da Teoria de Resposta ao Item â TRI como instrumentos na avaliaÃÃo da qualidade mÃtrica de testes de seleÃÃo, sob quatro aspectos de investigaÃÃo: AnÃlise da Validez do Construto; AnÃlise PsicomÃtrica dos Itens; Funcionamento Diferencial dos Itens â DIF; e FunÃÃo de InformaÃÃo. Para tanto, foram utilizados dados dos resultados das provas de PortuguÃs e MatemÃtica do concurso vestibular da Universidade Estadual do Estado do Cearà â UECE, de 2007, em que participaram 20.016 candidatos a 38 Cursos de GraduaÃÃo, somente na Capital do Estado. Para o tratamento desses dados, foram utilizados os seguintes softwares: SPSS, v15; BILOG-MG, v3.0; MULTILOG FOR WINDOWS, v1.0; e o TESTFACT v4.0. A primeira providÃncia foi verificar a dimensionaidade dessas provas. Para tanto se utilizou o MÃtodo de Kaiser-Guttman, Scree-plot, e o MÃtodo das Cargas Fatoriais e das Comunalidades da Matriz de Fatores. A constataÃÃo foi de que a prova de PortuguÃs apresentava caracterÃsticas multidimensionais, sendo, portanto, descartada, por nÃo atender aos pressupostos bÃsicos da Unidimensionalidade e IndependÃncia Local dos Itens. A prova de MatemÃtica, no entanto, por apresentar comportamento unidimensional, se tornou o foco deste trabalho. A anÃlise da Validez do Construto foi realizada por meio dos coeficientes Alpha de Cronbach e Kuder-Richardson, tendo gerado valores iguais a 0,685, alÃm da utilizaÃÃo, tambÃm, do mÃtodo das Cargas Fatoriais, com cargas entre 0,837 e 0,960, indicando intensa consistÃncia interna. A anÃlise psicomÃtrica dos itens foi realizada por meio dos Ãndices de dificuldade, discriminaÃÃo e acerto ao acaso, para ambas as teorias, indicando ser essa uma prova de dificuldade mediana, com bom comportamento discriminativo e baixo Ãndice de acerto ao acaso. A anÃlise do DIF foi realizada, segundo o gÃnero dos candidatos, pelos mÃtodos Delta-plot, Maentel-Haenszel, RegressÃo LogÃstica e ComparaÃÃo dos Betas, indicando resultados estatÃsticamente nÃo significativos, no que se concluiu nÃo apresentar, a prova, comportamento diferenciado, segundo o gÃnero. A anÃlise da FunÃÃo de InformaÃÃo da prova permitiu se observar que esta à particularmente vÃlida para candidatos com aptidÃo em torno de 0,8750 e que, a um nÃvel de confianÃa de 95%, 49,3% dos candidatos atenderiam a essa indicaÃÃo. Observou-se tambÃm que 90,6% dos candidatos, em ambos os processos, apresentaram o mesmo nÃvel de aptidÃo, indicando uma convergÃncia bastante razoÃvel entre os resultados gerados pela TCT e TRI, no entanto, no estudo amostral, a TRI identificou que 9,4% dos candidatos apresentaram maior aptidÃo para a realizaÃÃo de um curso superior que os selecionados pela TCT.

This thesis extends a localisation theory for finite algebras to certain classes of infinite structures. Based on ideas and constructions originally stemming from Tame Congruence Theory, algebras are studied via local restrictions of their relational counterpart (Relational Structure Theory). In this respect, first those subsets are identified that are suitable for such a localisation process, i. e. that are compatible with the relational clone structure of the counterpart of an algebra. It is then studied which properties of the global algebra can be transferred to its localisations, called neighbourhoods. Thereafter, it is discussed how this process can be reversed, leading to the concept of covers. These are collections of neighbourhoods that allow information retrieval about the global structure from knowledge about the local restrictions. Subsequently, covers are characterised in terms of a decomposition equation, and connections to categorical equivalences of algebras are explored. In the second half of the thesis, a refinement concept for covers is introduced in order to find optimal, non-refinable covers, eventually leading to practical algorithms for their determination. Finally, the text establishes further theoretical foundations, e. g. several irreducibility notions, in order to ensure existence of non-refinable covers via an intrinsic characterisation, and to prove under some conditions that they are uniquely determined in a canonical sense. At last, the applicability of the developed techniques is demonstrated using two clear expository examples. / Diese Dissertation erweitert eine Lokalisierungstheorie für endliche Algebren auf gewisse Klassen unendlicher Strukturen. Basierend auf Ideen und Konstruktionen, die ursprünglich der Tame Congruence Theory entstammen, werden Algebren über lokale Einschränkungen ihres relationalen Gegenstücks untersucht (Relationale Strukturtheorie). In diesem Zusammenhang werden zunächst diejenigen Teilmengen identifiziert, welche für einen solchen Lokalisierungsprozeß geeignet sind, d. h., die mit der Relationenklonstruktur auf dem Gegenstück einer Algebra kompatibel sind. Es wird dann untersucht, welche Eigenschaften der globalen Algebra auf ihre Lokalisierungen, genannt Umgebungen, übertragen werden können. Nachfolgend wird diskutiert, wie dieser Vorgang umgekehrt werden kann, was zum Begriff der Überdeckungen führt. Dies sind Systeme von Umgebungen, welche die Rückgewinnung von Informationen über die globale Struktur aus Kenntnis ihrer lokalen Einschränkungen erlauben. Sodann werden Überdeckungen durch eine Zerlegungsgleichung charakterisiert und Bezüge zu kategoriellen Äquivalenzen von Algebren hergestellt. In der zweiten Hälfte der Arbeit wird ein Verfeinerungsbegriff für Überdeckungen eingeführt, um optimale, nichtverfeinerbare Überdeckungen zu finden, was letztlich zu praktischen Algorithmen zu ihrer Bestimmung führt. Schließlich erarbeitet der Text weitere theoretische Grundlagen, beispielsweise mehrere Irreduzibilitätsbegriffe, um die Existenz nichtverfeinerbarer Überdeckungen vermöge einer intrinsischen Charakterisierung sicherzustellen und, unter gewissen Bedingungen, zu beweisen, daß sie in kanonischer Weise eindeutig bestimmt sind. Schlußendlich wird die Anwendbarkeit der entwickelten Methoden an zwei übersichtlichen Beispielen demonstriert.

This thesis extends a localisation theory for finite algebras to certain classes of infinite structures. Based on ideas and constructions originally stemming from Tame Congruence Theory, algebras are studied via local restrictions of their relational counterpart (Relational Structure Theory). In this respect, first those subsets are identified that are suitable for such a localisation process, i. e. that are compatible with the relational clone structure of the counterpart of an algebra. It is then studied which properties of the global algebra can be transferred to its localisations, called neighbourhoods. Thereafter, it is discussed how this process can be reversed, leading to the concept of covers. These are collections of neighbourhoods that allow information retrieval about the global structure from knowledge about the local restrictions. Subsequently, covers are characterised in terms of a decomposition equation, and connections to categorical equivalences of algebras are explored. In the second half of the thesis, a refinement concept for covers is introduced in order to find optimal, non-refinable covers, eventually leading to practical algorithms for their determination. Finally, the text establishes further theoretical foundations, e. g. several irreducibility notions, in order to ensure existence of non-refinable covers via an intrinsic characterisation, and to prove under some conditions that they are uniquely determined in a canonical sense. At last, the applicability of the developed techniques is demonstrated using two clear expository examples.:1 Introduction 2 Preliminaries and Notation 2.1 Functions, operations and relations 2.2 Algebras and relational structures 2.3 Clones 3 Relational Structure Theory 3.1 Finding suitable subsets for localisation 3.2 Neighbourhoods 3.3 The restricted algebra A|U 3.4 Covers 3.5 Refinement 3.6 Irreducibility notions 3.7 Intrinsic description of non-refinable covers 3.8 Elaborated example 4 Problems and Prospects for Future Research Acknowledgements Index of Notation Index of Terms Bibliography / Diese Dissertation erweitert eine Lokalisierungstheorie für endliche Algebren auf gewisse Klassen unendlicher Strukturen. Basierend auf Ideen und Konstruktionen, die ursprünglich der Tame Congruence Theory entstammen, werden Algebren über lokale Einschränkungen ihres relationalen Gegenstücks untersucht (Relationale Strukturtheorie). In diesem Zusammenhang werden zunächst diejenigen Teilmengen identifiziert, welche für einen solchen Lokalisierungsprozeß geeignet sind, d. h., die mit der Relationenklonstruktur auf dem Gegenstück einer Algebra kompatibel sind. Es wird dann untersucht, welche Eigenschaften der globalen Algebra auf ihre Lokalisierungen, genannt Umgebungen, übertragen werden können. Nachfolgend wird diskutiert, wie dieser Vorgang umgekehrt werden kann, was zum Begriff der Überdeckungen führt. Dies sind Systeme von Umgebungen, welche die Rückgewinnung von Informationen über die globale Struktur aus Kenntnis ihrer lokalen Einschränkungen erlauben. Sodann werden Überdeckungen durch eine Zerlegungsgleichung charakterisiert und Bezüge zu kategoriellen Äquivalenzen von Algebren hergestellt. In der zweiten Hälfte der Arbeit wird ein Verfeinerungsbegriff für Überdeckungen eingeführt, um optimale, nichtverfeinerbare Überdeckungen zu finden, was letztlich zu praktischen Algorithmen zu ihrer Bestimmung führt. Schließlich erarbeitet der Text weitere theoretische Grundlagen, beispielsweise mehrere Irreduzibilitätsbegriffe, um die Existenz nichtverfeinerbarer Überdeckungen vermöge einer intrinsischen Charakterisierung sicherzustellen und, unter gewissen Bedingungen, zu beweisen, daß sie in kanonischer Weise eindeutig bestimmt sind. Schlußendlich wird die Anwendbarkeit der entwickelten Methoden an zwei übersichtlichen Beispielen demonstriert.:1 Introduction 2 Preliminaries and Notation 2.1 Functions, operations and relations 2.2 Algebras and relational structures 2.3 Clones 3 Relational Structure Theory 3.1 Finding suitable subsets for localisation 3.2 Neighbourhoods 3.3 The restricted algebra A|U 3.4 Covers 3.5 Refinement 3.6 Irreducibility notions 3.7 Intrinsic description of non-refinable covers 3.8 Elaborated example 4 Problems and Prospects for Future Research Acknowledgements Index of Notation Index of Terms Bibliography