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.

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.

Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-07-05T19:06:39Z No. of bitstreams: 1 LUÍS PAULO DE LACERDA CAVALCANTE - DISSERTAÇÃO PPGMAT 2004..pdf: 642073 bytes, checksum: c3ee64c49aee5eeb339a7adcd8770341 (MD5) / Made available in DSpace on 2018-07-05T19:06:39Z (GMT). No. of bitstreams: 1 LUÍS PAULO DE LACERDA CAVALCANTE - DISSERTAÇÃO PPGMAT 2004..pdf: 642073 bytes, checksum: c3ee64c49aee5eeb339a7adcd8770341 (MD5) Previous issue date: 2004-10-22 / Neste trabalho estudamos a existência de soluções positivas para a seguinte classe de problemas −∆u+λu=Q(x)|u|p−2u em Ω, onde Ω é um domínio não limitado do RN. Usando métodos variacionais e argumentos desenvolvidos por P. L. Lions [14], Strauss [16], Willem [18] e Benci & Cerami [4], mostramos a existência de soluções positivas quando Ω = RN ou Ω um domínio exterior. / In this work, we are studying the existence of positive solutions for the following class of problem: −∆u+λu=Q(x)|u|p−2u em Ω, where Ω is a unbounded domain inRN. Using variational methods and arguments developed by P. L. Lions [14], Strauss [16], Willem [18] and Benci& Cerami [4], let us show the existence of positive solutions whenΩ=RN andΩ is an exterior domain.

Submitted by Claudia Araujo (claudia.araujo@icict.fiocruz.br) on 2013-10-08T18:34:35Z No. of bitstreams: 1 Marcus Vinicius Pereira dissertação.pdf: 1071514 bytes, checksum: 7224fe0ce7e0216ce5e6f93d7d315daf (MD5) / Made available in DSpace on 2013-10-08T18:34:35Z (GMT). No. of bitstreams: 1 Marcus Vinicius Pereira dissertação.pdf: 1071514 bytes, checksum: 7224fe0ce7e0216ce5e6f93d7d315daf (MD5) Previous issue date: 2013 / Fundação Oswaldo Cruz. Instituto de Comunicação e Informação Científica e Tecnológica em Saúde. Rio de Janeiro, RJ, Brasil / Esta dissertação tem como objeto de estudo os processos de construção e divulgação do conhecimento no campo da Educação Popular e Saúde (EPS). Adota-se o conceito de informação relacionado ao seu aspecto sociocultural, no qual a informação está associada ao processo de transformação do conhecimento e, especificamente, à seleção e interpretação dentro de um contexto específico. Desta forma, compreende-se que o conhecimento é socialmente e historicamente condicionado. O objetivo geral da pesquisa é estudar os processos de construção e divulgação do conhecimento no campo da EPS, com foco nas posições e papéis dos atores acadêmicos. Para tal, recorre-se ao conceito de campo social e campo científico formulado por Pierre Bourdieu e à abordagem da análise de domínio formulado por Birger Hjørland para estudar os atores acadêmicos na perspectiva de um campo científico. O conceito de redes sociais associada à ação coletiva, a noção do papel intelectual e o conceito e metodologia de construção compartilhada do conhecimento são usados para apoiar a analise das posições e dos papéis dos atores acadêmicos no âmbito de uma rede de ação coletiva. Seleciona-se, como campo empírico, os membros do Grupo de Trabalho de Educação Popular e Saúde da Associação Brasileira de Saúde Coletiva. Adota-se diferentes abordagens metodológicas: a) levantamento de artigos sobre EPS na Biblioteca Virtual de Saúde (BVS); b) análise dos currículos da Plataforma Lattes do CNPq; e c) metodologia de análise de redes sociais. A partir da análise dos dados identificou-se que o campo da EPS possui uma abordagem interdisciplinar, diagnosticada através da formação dos pesquisadores e das áreas de atuação; concentração de atores acadêmicos na Região Sudeste do Brasil; os atores acadêmicos exercem uma posição central na rede e são reconhecidos como expoentes do campo da EPS / This dissertation has as object of study the processes of building and dissemination of knowledge in the fi e ld of Popular Educatio n and Health (EPS) . It adopts the concept of Information related to their socio - cultural aspect, in which the information is associated with the transformation of knowledge, and specifically to the selection and interpretation within a specific context. Thus, it is understood that the Knowledge is socially and historically conditioned. The overall goal of the research is studying the processes of construction and dissemination of knowledge in the field of EPS, focusing on the positions and roles of academic actors. To this end, we use the concept of social field and scientific field formulated by Pierre Bourdieu an d the approach domain analysis made by Birger Hjørland to study the acad emics actors in perspective of a scientific field. The concept of social network associated with collective action, the notion of intellectual role and the concept and methodology of the sh ared construction knowledge are used to analyze the position and support the roles of the academic actors within a network of collective action. Selected as empirical field are the members of the Working Group for Popular Education and Health of the Associação Brasileira de Saúde Coletiva (Abrasco) . Different methodological approaches were adopted a) survey of articles on EPS in the Virtual Health Library (VHL), b) analysis of the Lattes curricula of CNPq and c) methodology for social network analysis. From the a nalysis of the data we identified that the field of EPS has an interdisciplinary approach, diagnosed through training of researchers and business areas; a concentration of academic actors in southeastern Brazil; academic actors exert a central position in the network and are recognized as exponents of the field of EPS

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.

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.

Submitted by Aelson Maciera (aelsoncm@terra.com.br) on 2017-06-27T20:42:50Z No. of bitstreams: 1 DissLFL.pdf: 818058 bytes, checksum: a45e8f4dbdc692c6f31fde1d45f6574d (MD5) / Approved for entry into archive by Ronildo Prado (ronisp@ufscar.br) on 2017-07-03T17:56:46Z (GMT) No. of bitstreams: 1 DissLFL.pdf: 818058 bytes, checksum: a45e8f4dbdc692c6f31fde1d45f6574d (MD5) / Approved for entry into archive by Ronildo Prado (ronisp@ufscar.br) on 2017-07-03T17:56:52Z (GMT) No. of bitstreams: 1 DissLFL.pdf: 818058 bytes, checksum: a45e8f4dbdc692c6f31fde1d45f6574d (MD5) / Made available in DSpace on 2017-07-03T18:01:59Z (GMT). No. of bitstreams: 1 DissLFL.pdf: 818058 bytes, checksum: a45e8f4dbdc692c6f31fde1d45f6574d (MD5) Previous issue date: 2016-12-20 / Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq) / In this thesis, we present a priori estimates for solutions of a mean-field game (MFG) defined over a bounded domain Ω ⊂ ℝd. We propose an application of these results to a model of capital and wealth accumulation. In Chapter 1, an introduction to mean-field games is presented. We also put forward some of the motivation from Economics and discuss previous developments in the theory of differential games. These comments aim at indicating the connection between mean-field games theory, its applications and the realm of Mathematical Analysis. In Chapter 2, we present an optimal control problem. Here, the agents are supposed to be undistinguishable, rational and intelligent. Undistinguishable means that every agent is governed by the same stochastic differential equation. Rational means that all efforts of the agent is to maximize a payoff functional. Intelligent means that they are able to solve an optimal control problem. Once we describe this (stochastic) optimal control problem, we produce a heuristic derivation of the mean-field games system, which is summarized in a Verification Theorem; this gives rise to the Hamilton-Jacobi equation (HJ). After that, we obtain the Fokker-Plank equation (FP). Finally, we present a representation formula for the solutions to the (HJ) equation, together with some regularity results. In Chapter 3, a specific optimal control problem is described and the associated MFG is presented. This MFG is prescribed in a bounded domain Ω ⊂ ℝd, which introduces substantialadditional challenges from the mathematical view point. This is due to estimates for the solutionsat the boundary in Lp. The rest of the chapter puts forward two well known tips of estimates: theso-called Hopf-Lax formula and the First Order Estimate. In Chapter 4, the wealth and capital accumulation mean-field game model is presented. The relevance of studying MFG in a bounded domain then becomes clear. In light of the results obtained in Chapter 3, we close Chapter 4 with the Hopf-Lax formula, and the First Order estimates. Three appendices close this thesis. They gather elementary material on Stochastic Calculus and Functional Analysis. / Nesta dissertação são apresentadas algumas estimativas a priori para soluções de sistemas mean-field games (MFG), definidos em domínios limitados Ω ⊂ ℝd. Tais estimativas são aplicadas em um modelo mean-field específico, que descreve o acúmulo de riqueza e capital. No Capítulo 1, é apresentada uma breve introdução histórica sobre os mean-field games. Nesta introdução, exploramos sua relação com a teoria dos jogos, cujos alicerces foram construídos por economistas e matemáticos ao longo do século XX. O objetivo do capítulo é transmitir. No Capítulo 2, apresentamos um problema de controle ótimo em que cada agente é suposto ser indistinguível, racional e inteligente. Indistinguível no sentido de que cada um é governado pela mesma equação diferencial estocástica. Racional no sentido de que todos os esforços do agente são no sentido de maximizar um funcional de recompensa e, inteligente no sentido de que são capazes de resolver um problema de controle ótimo. Descreve-se este problema de controle ótimo, e apresenta-se a derivação heurística dos mean-field games; obtém-se através de um Teorema de Verificação, a equação de Hamilton-Jacobi (HJ) associada, e em seguida, obtémse a equação de Fokker-Planck. De posse destas equações, apresentamos alguns resultados preliminares, como uma fórmula de representação para soluções da equação de HJ e alguns resultados de regularidade. No Capítulo 3, descreve-se um problema específico de controle ótimo e apresenta-se a respectiva derivação heurística culminando na descrição de um MFG com condições não periódicas na fronteira; esta abordagem é original na literatura de MFG. O restante do capítulo é dedicado à exposição de dois tipos bem conhecidos de estimativas: a fórmula de Hopf-Lax e estimativa de Primeira Ordem. Uma observação relevante, é a de que o trabalho em obter-se estimativas a priori é aumentado substancialmente neste caso, devido ao fato de lidarmos com estimativas para os termos de fronteira com normas em Lp. ao leitor, as origens da Teoria Econômica contemporânea, que surgem à partir da utilização da Matemática na formulação e resolução de problemas econômicos. Tal abordagem é motivada principalmente pelo rigor e clareza da Matemática em tais circunstâncias. No Capítulo 4, apresenta-se o modelo de jogo do tipo mean-field de acúmulo de capital e riqueza, o que deixa claro a relevância do estudo dos MFG em um domínio limitado. À luz dos resultados obtidos no Capítulo 3, encerramos o Capítulo 4 com as estimativas do tipo Hopf-Lax e de Primeira Ordem. Três apêndices encerram o texto desta dissertação de mestrado; estes reúnem material elementar sobre Cálculo Estocástico e Análise Funcional.

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.