Este trabalho visa discutir as inflexões na atuação da Secretaria de Estado da Marinha e Domínios Ultramarinos entre o reinado de D. João V e os primeiros anos do reinado de D. José I, com ênfase no ministério de Diogo de Mendonça Corte Real, de 1750 a 1756. Neste período, o Secretário do Ultramar, ao lado de Sebastião José de Carvalho, Secretário dos Negócios Estrangeiros e Guerra, se tornou o principal assistente do monarca no trato dos negócios coloniais. Diogo de Mendonça remeteu diversos ofícios para orientar as atividades mineradoras e a cultura de alguns novos gêneros na América. Também contribuiu para a reforma do método de tributação das minas, entre 1750 e 1751, e amparou a criação de uma Companhia de Comércio Asiática, em 1753. A Secretaria do Ultramar dava, afinal, importantes demonstrações de que ajudaria a articular diferentes projetos, políticas e reformas para o espaço colonial. É preciso observar que a historiografia, no que toca à história econômica e administrativa do reinado de D. José, se concentrou nas características e resultados das chamadas políticas pombalinas, enquanto outros ministros e instituições coevos do Marquês de Pombal foram deixados à sombra. Diogo de Mendonça Corte Real, não obstante, desempenhou um importante papel na administração do império e não deveria ser considerado um ministro decorativo. Propomos, portanto, um estudo que procure conjugar as possibilidades da ação individual de Diogo de Mendonça com a análise das prerrogativas institucionais da Secretaria de Estado do Ultramar. Procuramos analisar, sobretudo, as relações travadas entre a secretaria, os governadores coloniais e o Conselho Ultramarino, de modo a destacar as principais transformações ocorridas nestes diferentes espaços institucionais nos primeiros anos do reinado de D. José I. / This work aims to discuss the changes in the Secretary of State for the Navy and Overseas Domains between the reign of D. João V and the early years of D. José I, with special emphasis on the ministry of Diogo de Mendonça Corte Real, from 1750 to 1756. In this period, the Secretary for the Navy and Overseas Domains, alongside Sebastião José de Carvalho, Secretary for Foreign Affairs and War, became the principal assistant of the monarch in the treatment of the colonial affairs. Diogo de Mendonça sent several orders and instructions to guide the mining activities and to promote some new agricultural cultures in America. He also contributed to reorganize the taxation of the gold mining in Brazil, between 1750 and 1751, and supported the creation of an Asian Trade Company, in 1753. The Overseas Secretary gave, after all, important signs that it would help to articulate different kinds of projects and reforms for the colonial space. It is necessary to observe that the historiography regarding the economic and administrative history of the reign of D. José focused in the characteristics and results of the so-called Pombaline politics, while others ministers and institutions coeval to the Marquis of Pombal were left in the shadows. Diogo de Mendonça Corte Real, nevertheless, played an important role in the administration of the empire and should not be considered a decorative minister. We propose, therefore, a study that seeks to combine the possibilities of Mendonças individual actions with the analysis of the institutional prerogatives of the Overseas Secretary of State. We seek to approach, above all, the relations maintained between this secretariat, the colonial governors and the Overseas Council, in order to characterize the main transformations that occurred in these institutional spaces in the early years of the reign of D. José I.

Orientadores: Alberto Vazquez Saa, Orlando Luis Goulart Peres / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Física Gleb Wataghin / Made available in DSpace on 2018-08-24T13:09:57Z (GMT). No. of bitstreams: 1 Oliveira_ClaitonPimentelde_D.pdf: 6246469 bytes, checksum: 74e9bd5e915848a1681572fd38bcf297 (MD5) Previous issue date: 2014 / Resumo: Matéria, ao se acumular ao redor de um objeto compacto (e.g., um buraco negro), se configura naturalmente na forma de um disco grosso (toro) em rotação. A matéria do disco pode ser considerada como um fluido, e suas estruturas de equilíbrio hidrodinâmico podem ser obtidas a partir das equações básicas da hidrodinâmica. Nesse trabalho apresento uma extensa revisão da teoria básica de discos grossos de acreção, no âmbito das teorias clássica e relativística, incluindo uma análise da chamada órbita circular marginalmente estável. Formulo o problema incluindo a autointeração gravitacional do toro, caso em que o problema das estruturas de equilíbrio se torna um problema de fronteira livre, o que dificulta a obtenção das soluções. Reviso os métodos e técnicas numéricas já utilizadas ao se atacar esse problema e desenvolvo um código numérico próprio, chamado BLATOS, que gera soluções autogravitantes de toros ao redor de buracos negros. Desenvolvo ainda uma metodologia para se aplicar o método nodal dos elementos espectrais a domínios não limitados. O desenvolvimento desse novo tipo de elemento, os chamados elementos infinitos, gera uma extensão natural a elementos não limitados com bordas curvas assintóticas. Aplico as soluções numéricas obtidas no estudo da instabilidade runaway, mostrando como a identificação da situação de instabilidade pode ser feita a partir dessas soluções. A partir do código numérico é possível alterar o perfil de rotação e a razão das massas toro/buraco negro, de forma a se realizar um estudo do espaço de soluções / Abstract: Matter, accumulating around a compact object (e.g., a black hole), appears naturally in the form of a thick disk (torus) in rotation. The material of the disk can be considered as a fluid, and its hydrodynamic equilibrium structures can be obtained from the basic equations of hydrodynamics. In this work I present an extensive review of the basic theory of thick accretion disks, in the framework of the classical and relativistic theories, including an analysis of the so called marginally stable circular orbit. I formulate the problem including the torus self gravitational interaction, in which case the equilibrium structures problem becomes a free boundary problem, making it difficult getting the solutions. I revise the methods and numerical techniques used to attack this problem and I develop a numeric code, named BLATOS, that generates autogravitating tori solutions around black holes. Further, I develop a methodology for applying the nodal spectral element method to unbounded domains. The development of this new type of element, the so called infinite element, generates a natural extension to unbounded elements with asymptotic curved edges. I apply the resulting numerical solutions in the study of runaway instability, showing how the identification of the instability can be done from these solutions. The rotation law and the torus/black hole mass ratio can be changed from the numerical code in order to conduct a study of the solution space / Doutorado / Física / Doutor em Ciências

O uso de técnicas e métodos formais contribui para o desenvolvimento de sistemas confiáveis. No entanto, apesar do rigor obtido, em geral, é necessário que essas técnicas sejam complementadas com atividades de teste e validação. Deve-se ressaltar que o custo para eliminar erros encontrados nas etapas iniciais de desenvolvimento é menor do que quando esses erros são encontrados nas fases posteriores. Dessa forma, é essencial a condução de atividades de VV&T - Verificação, Validação e Teste - desde as primeiras fases de desenvolvimento. Critérios de teste, como uma forma sistemática de avaliar e/ou gerar casos de teste de qualidade e, dessa forma, contribuir para aumentar a qualidade da atividade de teste, têm sido investigados para o teste de especificação de Sistemas Reativos. A técnica Redes de Petri Coloridas tem sido constantemente utilizada para a especificação do aspecto comportamental de Sistemas Reativos. Apesar de existirem diversas técnicas de análise, um aspecto não considerado é a cobertura alcançada, visto que, em geral, a aplicação exaustiva não é viável devido ao alto custo. Considerando a relevância do estabelecimento de métodos sistemáticos para o teste e validação dessas especificações, este trabalho propõe a aplicação do critério de teste Análise de Mutantes para o teste de Redes de Petri Coloridas. Neste trabalho foram almejados três objetivos principais, os quais podem ser divididos em estudos teóricos, estudos empíricos e automatização. No contexto de estudos teóricos, foi realizada a definição e embasamento teórico para possibilitar a aplicação da Análise de Mutantes no contexto de Redes de Petri Coloridas. Além disso, investigaram-se mecanismos genéricos para a descrição e geração de mutantes. Definiu-se um algoritmo para a geração de casos de teste baseado na Análise de Mutantes. No contexto de estudos empíricos, foram conduzidos estudos de caso para avaliar a aplicabilidade e eficácia dos resultados teóricos obtidos. Finalmente, no contexto de automatização, foram desenvolvidas ferramentas de apoio à aplicação da Análise de Mutantes. / The usage of formal methods and techniques contributes to the development of highly reliable system, but, in spite of the achieved rigour, these techniques must be complemented with testing and validation activities. It should be highlighted that the cost to eliminate errors found in the early phases of development is smaller than when those errors are found in the later phases. Therefore, the accomplishment of VV&T activities - Verification, Validation and Test - starting at the first development phases is essential. Testing criteria, as a systematic way to evaluate and/or generate test cases, contributing, therefore, to improve the quality of the test activity, have been proposed for testing reactive systems specifications. A technique that has been steadily employed for specifying the behavioural aspect of reactive systems is the coloured Petri nets. Although there are several analysis and validation techniques, a usually neglected aspect is the achieved coverage, given that, in general, the exhaustive application is not feasible due to its high cost. Considering the relevance of establishing systematic methods for the test and validation of coloured Petri nets based specification, this work proposes the investigation of the viability of applying Mutation Testing to test coloured Petri nets. In this work three main goals were pursued, which can be grouped in: theoretical studies, empirical studies and tool development. In the context of theoretical studies, it was accomplished the definition of theoretical concepts to enable the application of Mutant Analysis in the context of coloured Petri nets. Moreover, a mutation-based algorithm was defined to generate test sequences for Petri nets. In the context of empirical studies, case studies were carried out to evaluate the applicability and effectiveness of the achieved theoretical results. Finally, in the context of tool development, tools for supporting the application of Mutation Testing were developed.

Este trabalho propõe dois métodos para teste de sistemas de software: o primeiro extrai ideias de teste de um modelo desenvolvido em rede de Petri hierárquica e o segundo valida os resultados após a realização dos testes utilizando um modelo em OWL-S. Estes processos aumentam a qualidade do sistema desenvolvido ao reduzir o risco de uma cobertura insuficiente ou teste incompleto de uma funcionalidade. A primeira técnica apresentada consiste de cinco etapas: i) avaliação do sistema e identificação dos módulos e entidades separáveis, ii) levantamento dos estados e transições, iii) modelagem do sistema (bottom-up), iv) validação do modelo criado avaliando o fluxo de cada funcionalidade e v) extração dos casos de teste usando uma das três coberturas de teste apresentada. O segundo método deve ser aplicado após a realização dos testes e possui cinco passos: i) primeiro constrói-se um modelo em OWL (Web Ontology Language) do sistema contendo todas as informações significativas sobre as regras de negócio da aplicação, identificando as classes, propriedades e axiomas que o regem; ii) em seguida o status inicial antes da execução é representado no modelo através da inserção das instâncias (indivíduos) presentes; iii) após a execução dos casos de testes, a situação do modelo deve ser atualizada inserindo (sem apagar as instâncias já existentes) as instâncias que representam a nova situação da aplicação; iv) próximo passo consiste em utilizar um reasoner para fazer as inferências do modelo OWL verificando se o modelo mantém a consistência, ou seja, se não existem erros na aplicação; v) finalmente, as instâncias do status inicial são comparadas com as instâncias do status final, verificando se os elementos foram alterados, criados ou apagados corretamente. O processo proposto é indicado principalmente para testes funcionais de caixa-preta, mas pode ser facilmente adaptado para testes em caixa branca. Obtiveram-se casos de testes semelhantes aos que seriam obtidos em uma análise manual mantendo a mesma cobertura do sistema. A validação provou-se condizente com os resultados esperados, bem como o modelo ontológico mostrouse bem fácil e intuitivo para aplicar manutenções. / This paper proposes two test methods for system software testing: the first one extracts test workflow processes from a model developed in Hierarchical Petri Nets and the other validates results after test execution using a domain model in OWL-S. Both processes increase the quality of the system developed by reducing the risk of having an insufficient coverage or an incomplete functionality test. The first technique consists of five steps: i) system evaluation and identification of separable sub modules and entities, ii) identification of states and transitions, iii) system modeling (bottom-up), iv) validation of the created model by evaluating the workflow for each functionality, and v) extraction of test cases using one of the three test coverage presented. The second method must be applied after the execution of the previous method and has also five steps: i) first a system model in OWL (Web Ontology Language) is built containing all significant information and business rules of the application; ii) then, the initial status before the test execution is represented in the model by the insertion of the instances (individuals) presented; iii) after the execution of test cases, the state model is updated by inserting (without deleting already existing instances) new instances to represent the domain sate after test; iv) in the next step we use a reasoner to make OWL model checking inferences to prove model consistency, that is, if there is no error in the application; finally, the initial status instances is compared with the final status in order to verify if these instances have been changed, created or deleted correctly. The process is indicated for blackbox functional tests, but can be easily adapted for white-box tests. There was obtained test cases similar to those that will be obtained in a manual analysis keeping the same test coverage. Validation has proved to be consistent compare to the expected results. Also, the ontological model has showed to be easy and intuitive for maintenance.

Esta tese investiga o modo de organização dos domínios nominal, verbal e dos adjetivos em Português do Brasil (PB), tendo como guia a aceitabilidade de sentenças com todo. Para o inglês, a natureza do parâmetro orienta a seleção de argumentos por operadores; já para o PB, o que importa é a oposição entre tipos de escala. O PB não tem determinantes que distingam entre nome contável e massivo, como much e many. O operador aspectual progressivo não modifica estados em inglês, mas em PB sim. Em inglês, very seleciona adjetivos de parâmetro relativo. Em PB, muito + adjetivo tem parâmetro relativo, e todo + adjetivo tem parâmetro absoluto. Todo é um operador interdomínios, sensível aos tipos de escala. Todo modifica a relação de predicação. Todo impõe condições (quantitativas) sobre como a saturação de um predicado por certo argumento deve ocorrer. Todo não é nem um modificador nominal, nem um quantificador canônico como cada. Todo não cria, apenas modifica uma relação existente. A distribuição que ocorre em sentenças com todo é uma entre as muitas formas de saturação de um predicado por um argumento: uma relação incremental. Se o argumento for quantizado, o predicado necessariamente também se tornará quantizado. Analisamos uma descrição definida (DD) como um sintagma de medida (SM). O artigo definido torna um predicado nominal em denotação quantizada, mas todo não. Relacionamos ser quantizado a ser argumental, e ser cumulativo a ser predicativo. E associamos sentidos diferentes às posições de todo na sentença. / This thesis takes the distribution of todo as a probe for the structure of nominal, verbal and adjective domains in Brazilian Portuguese (BP). Todo is a Degree Modifier (DM) and is sensitive to scale structure. English DMs (e.g., very) select adjectives by their standards; the BP DMs select adjectives only by their scale structure. However, they produce phrases with standard specialization. Todo + adjective shows absolute standard interpretation. We claim that the domains show the same properties in both languages, but the nature of scale standard matters in a distinct level for each one. We claim that todo is neither a noun modifier nor a true quantifier. Todo is a relation modifier. Todo modifies the way the argument saturates the predicate. A quantized incremental argument will make the predicate quantized as well. Todo is not the true source of distributivity, since incremental relations occur even in its absence. Definite Descriptions are treated as measure phrases. The definite article relates noun predicates to situations. So it will change a bare noun into a quantized denotation, which todo cannot do. Each land site corresponds to a different meaning for floating todo.

Neospora caninum (filo Apicomplexa) é um parasita obrigatório intracelular como todos os membros deste filo, alguns reconhecidos por causarem doenças com impacto relevante na saúde humana (Plasmodium e Toxoplasma) e veterinária (Babesia, Eimeria e Cryptosporidium). Causador da neosporose, N. caninum vem emergindo como um dos maiores causadores de abortos infecciosos em bovinos, levando a consideráveis perdas econômicas na bovinocultura mundial. Devido à sua recente descoberta, o conhecimento sobre diversos processos bioquímicos de N.caninum ainda é limitado, demandando novas pesquisas para a compreensão de seus mecanismos de sobrevivência e consequente identificação de alvos para intervenção terapêutica. O processo de invasão celular é bastante investigado em pesquisas envolvendo apicomplexas, uma vez que a sobrevivência desses parasitas depende do sucesso de sua entrada na célula hospedeira. Proteínas secretadas de organelas filo-específicas (micronemas, roptrias e grânulos densos) estão intimamente envolvidas com a invasão celular. Elas são responsáveis pela interação inicial com a célula hospedeira, participam da junção de movimento formada no momento da invasão, e contribuem para a estabilização do vacúolo parasitóforo. Neste trabalho as proteínas secretadas por taquizoítas de N. caninum foram investigadas de duas formas: (1) por caracterização molecular de proteínas com domínio Apple; e (2) por estudo do secretoma do parasita. Os domínios proteicos do tipo Apple são caracterizados pela capacidade de interação proteína-proteína e proteína-carboidrato, e estão presentes em algumas proteínas micronêmicas com propriedades adesivas. Neste trabalho três proteínas de N. caninum contendo domínios Apple foram caracterizadas: MIC17A, MIC17B e MIC17C. A análise das sequências proteicas e das estruturas dos domínios Apple, obtidas por modelagem molecular, mostraram alta identidade sequencial e estrutural entre MIC17A e MIC17C. Apesar de ser paráloga às outras duas, MIC17B apresenta diferenças importantes em sua sequência e estrutura. Para MIC17B e MIC17C foram realizados experimentos de detecção das proteínas nativas nos extratos total e secretado do taquizoíta que sugerem diferentes formas de processamento entre essas proteínas no parasita. Para MIC17B foi confirmada a localização em micronemas, num padrão diferente do observado para MIC17C. Os ensaios de invasão combinados aos de localização indicam que estas proteínas estejam relacionadas ao processo de invasão celular, porém, suas funções permanecem desconhecidas. O secretoma é o conjunto de proteínas secretadas pelo parasita e, para explorar a composição deste extrato (ESA) no taquizoíta de N. caninum, duas abordagens complementares foram utilizadas. Na primeira abordagem foram identificadas as proteínas presentes no ESA por espectrometria de massas. Na segunda abordagem realizou-se uma ii quantificação relativa das proteínas, marcadas por dois isótopos, nos extratos totais de taquizoítas submetidos ou não ao estímulo secretório. O resultado esperado seria com as proteínas secretadas diminuídas no parasita estimulado. Em ambas as abordagens foram utilizadas técnicas de espectrometria de massas de alta resolução (nanoLC-MS/MS), o que resultou num alto número de identificações; 615 proteínas no ESA e 2011 proteínas quantificadas. A comparação das duas abordagens permitiu o reconhecimento de proteínas com maior probabilidade de secreção. Uma rede de interação entre as proteínas diferencialmente expressas foi predita, gerando resultados que, associados às informações sobre as proteínas aumentadas, permitiram uma investigação sobre proteínas potencialmente envolvidas com a regulação do metabolismo relacionado à secreção. Os resultados obtidos por ambos os estudos aqui demonstrados somam conhecimento acerca do parasita N. caninum e demonstram ser úteis para guiar a busca e seleção de alvos a serem investigados para o desenvolvimento de terapêutica contra a neosporose. / Neospora caninum (Apicomplexa phylum) is an obligatory intracellular parasite like all members from this phylum, some causing diseases with relevant impact on human (Plasmodium and Toxoplasma) and veterinary (Babesia, Eimeria and Cryptosporidium) health. Causative agent of neosporosis, N. caninum has emerged as one of the leading causes of infectious abortion in cattle, generating huge economical losses in worldwide livestock. Due to its recent discovery, knowledge of N. caninum biochemical processes remains scarce, demanding new research for comprehending its survival mechanisms and, consequently, identifying new targets for therapeutic intervention. The invasion process has often been investigated in apicomplexans since their survival depends on the success of their entry into the host cell. Proteins secreted from phylum-specific organelles (micronemes, rhoptries and dense granules) are deeply involved with invasion. They are responsible for the initial interaction with the host cell; participate of the moving junction formed in the moment of invasion; and contribute for the stabilization of the parasitophorus vacuole. In this study, the proteins secreted by N. caninum tachyzoites were investigated in two ways: (1) the molecular characterization of Apple domaincontaining proteins; and (2) exploring the parasite secretome. The Apple protein domains are characterized by the ability to interact as protein-protein and proteincarbohydrate, and are present in some microneme proteins with adhesive properties. Here three N. caninum proteins containing Apple domains were characterized: MIC17A, MIC17B and MIC17C. Analyses of the Apple domains sequences and structures, obtained by molecular modeling, revealed high sequential and structural identities between MIC17A and MIC17C. Although being a paralog of the other two proteins, MIC17B presents significant differences in its sequence and structure. Experiments were performed for native MIC17B and MIC17C detection in the total and secreted tachyzoite extracts, suggesting different processing forms for these proteins in the parasite. For MIC17B, the microneme localization was confirmed, differently from the pattern observed for MIC17C. Invasion and localization assays indicated that these proteins are related to the cell invasion process; nevertheless, their functions remain unknown. The secretome is the set of proteins secreted by the parasite and, to explore this extract (ESA) composition in N. caninum, two complementary approaches were used. Firstly proteins present in ESA were identified by mass spectrometry. In the second approach, a relative quantification was performed on the proteomes of ethanol stimulated/non stimulated tachyzoites, expecting that the secreted proteins would be down regulated at the stimulated parasite. Both approaches were performed with high resolution mass spectrometry techniques (nanoLC-MS/MS), reaching a high number of identifications: 615 proteins iv in ESA and 2011 quantified proteins. The comparison between both approaches allowed the recognition of the most likely secreted proteins. An interaction network was predicted, involving the differentially expressed proteins. These results, associated with the information of up regulated proteins, allowed the investigation of proteins potentially involved with the secretion metabolism regulation. The findings from our two studies add up knowledge about N. caninum and demonstrate to be useful in guiding the search and selection for new targets for therapeutic development against neosporosis.

A presente pesquisa tem como objetivo analisar, do ponto de vista descritivo, como foram realizadas as traduções de marcadores culturais presentes em duas obras da escritora afro-americana Toni Morrison: The Bluest Eye, traduzida por Manoel Paulo Ferreira como O Olho Mais Azul, e Beloved, traduzida por José Rubens Siqueira como Amada. Pretende-se analisar as escolhas e tendências tradutórias de cada tradutor diante das diferenças culturais entre a cultura fonte e a cultura meta. Para a realização deste estudo, apoiamo-nos no arcabouço teórico-metodológico dos Estudos da Tradução Baseados em Corpus (BAKER, 1993, 1995, 1996, 2000; CAMARGO 2005, 2007) e da Linguística de Corpus (BERBER SARDINHA, 2004).Para a investigação de marcadores culturais nos baseamos na reformulação realizada por Aubert (1981, 2006) a partir do trabalho sobre domínios culturais de Nida (1945). Para a extração e análise dos termos utilizamos o software WordSmith Tools versão 7.0. O presente estudo contém análises descritivas de 14 marcadores culturais selecionados a partir da lista de palavraschave gerada pelo WordSmith Tools, descrevendo as tendências e padrões tradutórios presentes nos textos meta e considerando, no âmbito da tradução, a especificidade dos romances e as diferenças culturais e históricas entre os Estados Unidos e o Brasil nos contextos históricos dos romances. / In this research, we intend to analyse, from the descriptive point of view, how the translations of cultural markers were held in two novels written by the Afro-American writer Toni Morrison: The Bluest Eye, translated by Manoel Paulo Ferreira as O Olho Mais Azul, and Beloved, translated by José Rubens Siqueira as Amada. We intend to analyse the choices and the translation tendencies of each translator before the cultural differences between the source culture and target culture. Our theoretical basis for the development of this research study is the theoretical and methodological approach of Corpus-Based Translation Studies (BAKER, 1993, 1995, 1996, 2000; CAMARGO 2005, 2007) and Corpus Linguistics (BERBER SARDINHA, 2004). We are also based on the study of cultural domains developed by Nida (1945) and reformulated by Aubert (1981, 2006). For term extraction and analysis, we used the WordSmith Tools software, version 7.0. So, this study contains descriptive analyses of 14 cultural markers selected from the keywords list created by WordSmith Tools, describing translation tendencies and patterns in the target texts and considering, in the scope of translation, the specificity of the novels and the cultural and historical differences between the United States and Brazil in the historical contexts of the novels.

Submitted by Silvana Teresinha Dornelles Studzinski (sstudzinski) on 2016-05-18T15:12:54Z No. of bitstreams: 1 Daniela Negraes Pinheiro Andrade_.pdf: 3094213 bytes, checksum: 9a9e3f421a0d29eb223c0be2ccb4462d (MD5) / Made available in DSpace on 2016-05-18T15:12:54Z (GMT). No. of bitstreams: 1 Daniela Negraes Pinheiro Andrade_.pdf: 3094213 bytes, checksum: 9a9e3f421a0d29eb223c0be2ccb4462d (MD5) Previous issue date: 2016-02-26 / CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / FAPERGS - Fundação de Amparo à Pesquisa do Estado do Rio Grande do Sul / Esta tese resultou da investigação sobre o programa educacional para boas práticas de saúde que um hospital da rede privada localizado no sul do Brasil, nomeado na tese como Maxcárdio, realiza com portadores/as de Síndrome Coronariana Aguda e Insuficiência Cardíaca Congestiva. Adotou-se o aparato teórico – metodológico da Análise da Conversa (SACKS, 1992; SACKS; SCHEGLOFF; JEFFERSON, 1974) para analisar 25 interações ocorridas entre pacientes e profissionais médicos/as e não médicos/as – enfermeiros/as, nutricionistas, fisioterapeutas e psicólogos/as – integrantes da equipe multidisciplinar responsável pelas orientações aos/às pacientes. As interações foram gravadas em áudio e em vídeo e transcritas segundo Jefferson (1974). Os objetivos da tese foram: (a) verificar como os/as profissionais de saúde responsáveis pela efetuação do programa educacional recomendam ou prescrevem boas práticas de saúde no turno a turno de modo a discutir quais maneiras de falar mostram-se mais (potencialmente) particularizadas ou generalizadas em relação às necessidades demonstradas (ou não) pelos/as pacientes na interação e, a partir dessa discussão, apontar tendências de (não) adesão aos autocuidados recomendados ou prescritos por parte dos/as pacientes; (b) apresentar um percurso empírico representativo do programa educacional concernente à maneira como os/as participantes negociam, no turno a turno, direitos e obrigações de saber (domínio epistêmico) e de dizer (domínio deôntico) (HERITAGE, 2012; STEVANOVIC, 2011) o que (não) pode e/ou (não) dever ser feito em termos de boas práticas de saúde e, assim, discutir as implicações interacionais e práticas relacionadas às negociações entre os/as participantes em torno de direitos e obrigações de recomendar ou prescrever boas práticas de saúde; (c) discutir os modos de organização de prestação de serviço de orientação para boas práticas de saúde à luz do princípio da integralidade (BRASIL, 1998; MATTOS, 2005a). No que toca às maneiras de falar dos/as profissionais verificou-se que a particularização tende a ocorrer quando os/as profissionais instauram cursos de ação de modo a: (a) (tentar) remover empecilhos ao aceite do/a paciente à recomendação em favor de alguma boa prática de saúde; (b) desviar da ação de prover informações contidas nos manuais de boas práticas de saúde dos programas e demonstrar conhecimento sobre aspectos peculiares ao estado de saúde do/a enfermo/a; (c) justificar a indicação para a adoção de certa medida de cuidado de saúde. No que se refere à maneira como profissionais e pacientes negociam domínios epistêmicos e deônticos, observou-se que: (a) os/as profissionais não médicos/as colocam-se na posição de alguém com direitos e obrigações de saber e de dizer como pacientes devem controlar seu quadro de saúde; (b) os/as pacientes não ratificam os direitos e obrigações desses/as especialistas não médicos/as de saberem e poderem dizer-lhes como proceder no pós-alta; (c) os/as profissionais médicos/as abordam boas práticas de saúde em turnos de fala em formato de lista, o que conflita com a expectativa dos/as pacientes de discutir tais tópicos de maneira pormenorizada. Por fim, apurou-se que o modo de organização de prestação de serviço de orientação a pacientes que participam do programa Maxcárdio aproxima-se de ações assistenciais integrais (AYRES, 2004) à medida que os/as profissionais produzem falas capazes de estabelecer uma sequência de demonstração de necessidade de orientação a partir de solicitações de informações sobre se e como o/a paciente cuida de sua saúde. A contribuição teórica desta tese traduz-se na proposta de inclusão do aspecto modo de organização sequencial de tópico na descrição do princípio de fala ajustada (SACKS, 1992; SACKS; SCHEGLOFF; JEFFERSON, 1974). O modo como as sequências de tópicos são organizadas na interação mostra-se relevante para o grau de particularização que as falas dos/as interlocutores podem alcançar na conversa. Em termos aplicados, visto que ofertar recomendações ou prescrições ajustadas às necessidades dos/as pacientes interlocutores/as locais implicar saber se e como os/as doentes controlam seu estado de saúde, sugere-se que se parta da ação de solicitar informações acerca das experiências de sucesso e das dificuldades que os/as pacientes encontram para cuidar da saúde para, então, ter material interacional para orientá-los/as de forma particularizada. / This dissertation resulted from the investigation of educational programs into good health practices that a private hospital located in the South of Brazil accomplishes with Acute Coronary Syndrome and Congestive Heart Failure patients. Conversation Analysis theoretical and methodological approach (SACKS, 1992; SACKS, SCHEGLOFF, JEFFERSON, 1974) has been adopted to analyze 25 interactions occurred between patients and medical doctors or other health providers – nurses, nutritionists, physiotherapists and psychologists – members of the multidisciplinary team responsible for the patients’ orientation. Interactions were audio and video recorded and transcribed according to Jefferson (1984). The present dissertation aimed to: (a) verify how the health professional responsible for accomplishing the educational program recommend or prescribe good health practices in the turn by turn of the interaction so as to discuss which ways of talking appear to be more (potentially) particularized or generalized in relation to patients` (not) displayed needs in the interaction and, from such discussion, to point out tendencies of (non) adherence to good practices recommended or prescribed by patients; (b) present an empirical trajectory representative of the educational program concerning the ways participants negotiate, in the interaction turn-by-turn, rights and obligation of knowing (epistemic domain) and saying (deontic domain) (HERITAGE, 2012; STEVANOVIC, 2011) what can (not) and/or must (not) be done in terms of good health practices so as to discuss the interaction and practical implication related to the negotiation around rights and obligations of recommending or prescribing good health practices; (c) discuss the ways of organizing provision of orientation to good health practices in the light of principle of integrality (BRASIL, 1998; MATTOS, 2005a). Regarding more or less particularized ways of talking concerning patients’ orientation needs, it has been verified that the professional members’ talk appear to be more particularized in situations in which they implement courses of action in such a way as to: (a) (try to) remove obstacles so that patients may accept professional members’ recommendations in favor of good health practices; (b) deviate from the action of providing information included in the manuals of good health practices of the programs and display knowledge regarding patients’ peculiar health conditions; (c) justify the indication of certain good health practice. In relation of the ways professional members and patients negotiate epistemic and deontic domains, it has been observed that: (a) non-medical members assume the position of someone who has rights and obligations of knowing and saying how patients must control their health conditions; (b) patients do not ratify these professionals’ rights and obligations of knowing and saying how they should proceed in the post-discharge; (c) medical doctors talk about good heath practices by list-formatting their turns at talk, which conflicts with patients’ expectations of discussing these topics in a minutely detailed way. In the third one, a comparing analysis between two interactions has been done. Finally, it has been verified that the way of organizing service of orientation to patients approximate integral assistance actions (AYRES, 2004) insofar as professional members produce talk capable of establish a demonstration sequence of orientation need from information solicitation concerning if and how the patient takes care of their health. The theoretical contribution of this dissertation may be translated into the proposal of including the aspect topic sequential organization mode in the description of the principle of recipiency-designed (SACKS, 1992; SACKS; SCHEGLOFF; JEFFERSON, 1974). The way topical sequences are organized in the interaction displays relevance to the degree of particularization interlocutors’ talk may reach. In terms of applicability, as providing recipient-designed recommendations or prescriptions to situated interlocutors’ needs implicates knowing if and how patients control their health conditions, we suggest that professional members depart from the action of soliciting information regarding patients’ successful and failed experiences and their difficulties in heath-caring so that interactional material may be generated and patients’ orientation may be done in a particularized way.

As estruturas de dados concretas (cds) são quaternas (C, V, E, l-) que contêm um conjunto C de células, um conjunto V de valores, um conjunto E de eventos e uma relação de habilitação l-. O conjunto de estados de uma cds é um domínio concreto que pode ser considerada a parte "abstrata" das cds. Da mesma maneira tem-se que os domínios de eventos (que são generalizações dos domínios concretos) são a parte abstrata das estruturas de eventos. Mostra-se a relação dos domínios concretos e domínios de eventos com os espaços coerentes, assim como também das teias de espaços coerentes com as cds e estruturas de eventos. Intuitivamente, uma cds é uma teia de um espaço coerente se toda célula c de C não é habilitada por nenhum evento (ou equivalentemente, é habilitada pelo conjunto vazio), isto é, V C E C, 0 F c. Outra forma de expressar isto é dizer que uma cds e uma teia de um espaço coerente se o conjunto de estados da cds é um espaço coerente. Definem-se os algoritmos lineares como sendo estados de uma cds no estilo dos algoritmos seqüenciais do Curien ([CUR 86]). Em particular as cds consideradas são teias de espaços coerentes. Mostra-se como obter a cds !A—>B, a partir de uma função estável f. A —> B. O algoritmo linear desta cds possui todas as estratégias de computação (seqüenciais e paralelas) que computam a função subjacente f, o que implica que os algoritmos lineares podem ser considerados meta-algoritmos. Mostra-se que para toda estratégia de computação seqüencial de um algoritmo linear, existe um algoritmo seqüencial de Curien que computa a mesma função, e vice-versa. A definição de estratégia de computação é dada de maneira tal que permite se dar semântica a segmentos de programas. Define-se uma operação de composição de estratégias, de forma tal que se pode obter uma estratégia de computação de um programa, a partir da composição das estratégias dos segmentos. / The concrete data structures, or cds, (C, V, E, l-) consists of a set C of cells, a set V of values. a set E of events and an enabling relation l-. The set of states of a cds is a concrete domain, that can be considered the "abstract" counterpart of the cds. In the same way we have that the events domains (that are more general that the concretes domains) are the abstract counterpart of the events structures. We show the relation between the concretes domains and events domains with the coherence spaces, as just as the relation between the cds and events structures with webs of coherence spaces. Intuitivelly, a cds is a web of a coherence space if any cell c is not enabled for any event, i.e. Vce C, 0 F c. We can say that a cds is a web of a coherence space if the set of states of the cds is a coherence space. We define the linear algorithms as states of a cds following the Curien's sequential algorithms ([CUR 86]). In particular the cds considered are webs of coherence spaces. We show how to obtain a cds !A—>B from a stable function f. A —> B. The linear algorithm of this cds contain all the computational strategies (sequentials and parallels) that compute the subjacent function f; this implies that the linear algorithms can be considered a kind of meta-algorithms. We show that for all sequential computational strategy of a linear al gorithm exists a Curien's sequential algorithm that compute the same function and conversely. We define the computational strategies in such a way that we can give semantic of segments of programs. We define a composition operation for strategies. This operation has the advantage that we can obtain the computational strategy of a program as the composition of the segments of it.

Os números naturais parciais são informações parciais sobre números naturais e w. As propriedades matemáticas do domínio de números naturais parciais e de funções que envolvem este domínio são estudadas via o use da teoria dos domínios de Scott. A manipulação formal de naturais parciais é estudada mediante a utilização de um calculo-ג tipado com constantes. Relações com a teoria da recursão são estudadas. É mostrado como funções continuas entre naturais parciais podem representar processos interativos, possivelmente perpétuos. / Partial natural numbers are informations about natural numbers and w. Mathematical properties of the domain of partial natural numbers and functions involving this domain are investigated with the aid of Scott domain theory. A typed ג-calculus is introduced for investigating formal manipulation of partial natural numbers. Relations with recursion theory are investigated. It is shown how continuous functions on natural numbers can represent (possibly perpetual) interactive processes.