Estudos empíricos têm mostrado que a Análise de Mutantes – um dos critérios de teste baseado em erros – é bastante eficaz em revelar a presença de erros. Entretanto, seu alto custo, decorrente principalmente do grande número de mutantes gerados, tem motivado a proposição de diversas abordagens alternativas para a sua aplicação. Um estudo relevante nesse sentido resultou na determinação de um conjunto essencial de operadores de mutação para a linguagem Fortran, mostrando-se que é possível reduzir o custo de aplicação do critério, preservando um alto grau de adequação em relação à Análise de Mutantes. Alguns estudos também têm demonstrado que a redução da eficácia não é significativa. Este trabalho tem como objetivo investigar alternativas pragmáticas para a aplicação do critério Análise de Mutantes e, nesse contexto, é proposto um procedimento para a determinação de um conjunto essencial de operadores de mutação para a linguagem C, a partir dos operadores implementados na ferramenta Proteum. Procurando aplicar e validar o procedimento proposto, dois grupos distintos de programas são utilizados. Para ambos os grupos, o conjunto essencial obtido apresenta resultados bastante significativos quanto à redução de custo, com um decréscimo muito pequeno no grau de adequação em relação à Análise de Mutantes. Estratégias para evoluir e refinar um conjunto essencial para diferentes domínios de aplicação também são investigadas. / Mutation Analysis – one of the error based criteria – has been found to be effective on revealing faults. However, its high cost, due to the high number of mutants created, has motivated the proposition of many alternative approaches for its application. In this perspective, a relevant study resulted on the determination of a sufficient mutant operator set for Fortran, indicating that it is possible to have a large cost reduction of mutation testing, preserving a high mutation score. Some studies have also shown that the reduction on the effectiveness is not significant. This work aims to investigate pragmatic alternatives for mutation analysis application and, in this context, a procedure for the determination of a sufficient mutant operators set for C is proposed, using Proteum testing tool. Aiming to apply and validate the proposed procedure, two different groups of programs are used. For both of them, the sufficient mutant operator set presents very significant results in terms of cost reduction, with a very small reduction on the mutation score. Strategies to evolve and refine an essential mutant operator set to different application domains are also investigated.

Com base nos estudos de Perelman e OlbrechtsTyteca (1958 [2000]) que entendem a argumentação como o processo em que se utilizam técnicas que permitem provocar ou aumentar a adesão dos espíritos às teses que se lhes apresentam ao seu assentimento (p.6), de Oswald Ducrot (1984 [1987]) que analisa a linguagem considerando que a argumentatividade é inerente à língua, de seu continuador Vogt (1980), como também de outros autores que estudam a argumentação tais como Koch (2002; 2003; 2004), Guimarães (2001), além dos gramáticos da língua oral Neves (2000) e Castilho (2004), propomos analisar as estratégias argumentativas em entrevista de seleção. A entrevista é um campo pouco explorado no âmbito lingüístico e nela há um verdadeiro jogo de representações daqueles que almejam uma vaga no mercado de trabalho. Por meio dessas teorias será possível analisar os operadores argumentativos, os pressupostos e subentendidos, o ethos construído durante o processo seletivo. A maneira como os candidatos prestam as informações é primordial nesse processo. As escolhas lexicais determinam o desempenho dos candidatos e mostram de que forma eles constroem seu ethos. Dessas escolhas, analisamos os operadores que foram de grande importância para a construção do discurso argumentativo durante o processo de seleção, tendo como fio condutor o mas. Justifica-se essa opção pelo fato de o mas estar, na maioria das vezes, relacionado ao implícito, fazendo com que outros sentidos fiquem subentendidos em um enunciado. A construção da imagem que o candidato faz de si mesmo pelo e no discurso ocorre também mediante esses outros sentidos tácitos, como assevera Ducrot (op. cit., p. 188): não se trata de afirmações auto-elogiosas que ele pode fazer de sua própria pessoa no conteúdo de seu discurso, afirmações que podem ao contrário chocar o ouvinte, mas da aparência que lhe confere a fluência, a entonação, calorosa ou severa, a escolha das palavras, os argumentos. Além desse operador, outros que orientam a escala e a força argumentativa dos enunciados também foram analisados. Outrossim, consideramos o modo como os entrevistadores formularam as perguntas e nelas procuramos detectar a possibilidade de haver predileção por determinado candidato. / Based on the studies by Perelman and Olbrechts-Tyteca (1958 [2000]), who understand argumentation as a process in which are used techniques allowing us to induce or to increase the minds adherence to the theses presented for its assent (p. 6), based on Oswald Ducrot (1984 [1987]), who analyzes speech considering argumentation as inherent to language, on his successor Vogt (1980), and on other authors who study argumentation, such as Koch (2002; 2003; 2004), Guimarães (2001), besides oral tongue grammarer Neves (2000) e Castilho (2004), we intend to analyze the argumentative strategies used in job interviews. The interview is a field that has been little explored in the linguistic realm and which presents a real set of representation on the part of those who seek a position in the job market. Through those theories, it will be possible to analyze the argumentative operators, the presumptions and the implicit, the ethos built during the selective process. The manner in which applicants convey information is fundamental in this process. The applicants performance is determined by their lexical choices, which show how they build their ethos. From those choices, we have taken and analyzed the operators which were important to the building of the argumentative discourse during the selective process, focusing on but. This option is justified by the fact that but is, in most cases, related to the implicit, making the other meanings implied in a statement. The building of the applicants self-image through and in the discourse occurs through these other tacit meanings too, as Ducrot states (op. cit. p. 188): it is not about self-flattering statements he can make about himself in the context of his speech, statements which may, in contrast, shock the listener, but about the appearance conveyed by the fluency, the warm or serious tone, the choice of words, the arguments. Besides but, other operators that guide the scale and the argumentative force of statements have been analyzed. In addition, we have taken into account the way interviewers asked questions in which we have tried to detect the possibility of preference for a certain applicant

Inicialmente, estudamos alguns resultados clássicos da teoria dos núcleos positivos definidos e alguns resultados pertinentes. Estudamos em seguida, o Teorema de Mercer e algumas de suas generalizações e conseqüências, incluindo a caracterização da transformada de Fourier de um núcleo positivo definido com domínio Rm£Rm, m ¸ 1. O trabalho traz um enfoque especial nos núcleos cujo domínio é um subconjunto não-compacto de Rm £ Rm, uma vez que os demais casos são considerados de maneira extensiva na literatura. Aplicamos esses estudos na análise do decaimento dos autovalores de operadores integrais gerados por núcleos positivos definidos / Firstly, we study some classical results from the theory of positive definite kernels along with some related results. Secondly, we focus on generalizations of Mercer\'s theorem and some of their implications. Special attention is given to the cases where the domain of the kernel is not compact, once the other cases are considered consistently in the literature. We include a characterization for the Fourier transform of a positive definite kernel on Rm£Rm, m ¸ 1. Finally, we apply the previous study in the analysis of decay rates for eigenvalues of integral operators generated by positive definite kernels

Esta pesquisa tem como foco observar como alunos de escola básica utilizam os operadores argumentativos como recurso de coesão textual em uma redação dissertativo-argumentativa, modelo Enem. As produções foram constituídas durante o ano letivo de 2014, por alunos do 2 ano do ensino médio de uma escola pública. O trabalho foi desenvolvido à luz da Teoria da Argumentação, da Linguística Textual bem como das concepções de texto e gênero textual. O corpus analisado é constituído de 20 produções textuais de 10 alunos de uma escola básica. São 10 redações produzidas no início do ano e 10 no final do ano letivo mencionado. Com base nessas produções, foi possível estabelecer uma comparação no que diz respeito ao uso de operadores argumentativos como recurso coesivo. Constatou-se que esses elementos são utilizados tanto na primeira redação produzida quanto na segunda. Entretanto a ênfase no uso e na diversidade desses recursos foi maior nas produções do 2 semestre. Esses resultados foram apresentados de forma qualitativa e quantitativa, por meio de gráficos, para uma melhor visualização dos resultados. As reflexões acerca de leitura e produção de textos, problemas discursivos, textuais e linguísticos desenvolvidas durante o ano letivo, com o grupo de alunos que produziu os textos-corpus, são fatores que concorrem para esse resultado. / This research focuses on observing how elementary school students use argumentative operators as text cohesion feature in a dissertative-argumentative writing, ENEM model. The productions were recorded during the school year 2014, by students of the 2nd year of high school in a public school. The study was conducted based on the Theory of Argumentation, Textual linguistics as well as the text of concepts and genre. The analyzed corpus is made 20 textual productions of 10 students from an elementary school. There are 10 essays produced earlier in the year and 10 at the end of the school year mentioned. Based on these productions, it was possible to make a comparison with respect to the use of argumentation operators and cohesive resource. It was found that these elements are used both in the first draft as produced in the second. However the emphasis on the use and diversity of these resources was higher in the 2nd half productions. These results were presented in a qualitative and quantitative way, through charts, for better visualization of the results. The reflections about reading and production of texts, discursive, textual and linguistic problems developed during the school year, with the group of students who produced the corpus texts, are factors contributing to this result.

In this work we study twisted sums induced by complex interpolation, of Banach spaces as well as of operator spaces. In the first part of the thesis we focus on Banach spaces, and clarify how interpolation of families, as of couples, induces an extension of the interpolation space, called the derived space. We study how the types and cotypes of the spaces being interpolated determine the triviality or singularity of the derived space, and we apply the results to the study of submodules of the Schatten classes and in the obtainment of nontrivial twisted sums in which all of the three spaces in the short exact sequence do not have the approximation property. In the second part we develop the theory of twisted sums in the category of operator spaces and present many examples of twisted sums which are completely singular and completely nontrivial. In particular, we solve two versions of Palais\' problem for operator spaces. / Neste trabalho estudamos somas torcidas induzidas por interpolação complexa, tanto de espaços de Banach como de espaços de operadores. Na primeira parte da tese focamos em espaços de Banach, e esclarecemos como a interpolação de famílias, assim como a de pares, gera uma extensão do espaço interpolado, chamada de espaço derivado. Estudamos como os tipos e cotipos dos espaços sendo interpolados influenciam na trivialidade ou singularidade do espaço derivado, e aplicamos os resultados para o estudo de submódulos das classes de Schatten e para a obtenção de somas torcidas não-triviais em que os três espaços da sequência exata curta não possuem a propriedade da aproximação. Na segunda parte, desenvolvemos a teoria de somas torcidas na categoria de espaços de operadores, e apresentamos vários exemplos de somas torcidas completamente singulares e completamente não-triviais nessa categoria. Em particular, resolvemos duas versões do problema de Palais para espaços de operadores.

Além do fato do programa seis sigma e a logística estarem em evidência no ambiente organizacional, soma-se a importância de se obter sucesso na implantação do programa, caracterizando como um fator crítico, o alinhamento da estratégia dos projetos de melhoria. Sendo assim, uma análise do processo de alinhamento da estratégia de projetos seis sigma se justifica. Para abordar esta questão, esta dissertação objetiva identificar a importância do alinhamento da estratégia e propõe uma sistematização deste com o processo de seleção de projetos seis sigma. Dessa forma, esta pesquisa está estruturada, primeiramente, com uma revisão bibliográfica sobre seis sigma, estratégia e operadores logísticos. Com o embasamento teórico é proposta uma sistematização conceitual do alinhamento da estratégia do processo de seleção de projetos seis sigma detalhado em um passo a passo. Com o objetivo de analisar a proposta conceitual, realizaram-se três estudos de casos em operadores logísticos. Pode-se concluir que o fato do processo de seleção de projetos seis sigma estar alinhado com a estratégia realmente é um ponto crítico para o sucesso do programa seis sigma, bem como a apresentação da sistematização proposta obteve uma boa avaliação e aceitação dos casos apresentados. / Beyond the fact of the six sigma program and the logistic, that are on evidence in the organizational environment, adds to them the importance of getting success in the implantation of the program, characterizing as a critical factor to the strategical alignment of the improvement projects. Being thus, an analysis of the process of strategical alignment of six sigma projects is justified. Approaching this question, this dissertation proposes a systematization of the alignment of the organizational strategy with the process of six sigma projects` selection. This research is structuralized, first, with a bibliographical revision on six sigma, logistic strategy and operators. With the theoretical basement was proposed a systematization of strategical alignment of the selection process of six sigma projects, detailed step by step. With the objective of analyzing the proposal conceptual, three cases\' studies in logistic operators were done. The importance of the process of six sigma projects\' selection can be noticed and its alignment with the organizational strategy, as well as the validation of the systematization proposal.

O estudo aborda as características de relacionamento entre empresas montadoras e operadores logísticos no Brasil, tendo em vista o caráter estratégico da prestação de serviços de logística integrada na indústria automobilística, setor que vem apresentando uma transformação muito grande em suas práticas e organização. O foco de análise é a logística de suprimento em montadoras de automóveis, não se abordando a distribuição de veículos prontos. O processo de globalização tem exigido a reestruturação das empresas para sua sobrevivência e desenvolvimento, a busca de vantagem competitiva, pela incorporação a seus produtos, da cadeia de valor dos clientes, e, no relacionamento interempresarial, novas formas de administração de suas cadeias de suprimentos. Os serviços de logística se mostram mais abrangentes, na estratégia e processo produtivos, numa nova caracterização da atuação de operadores logísticos. Na sua terceirização, tendência firme que se constatou, teoricamente, poderiam se apresentar alianças estratégicas entre empresas. As características de relacionamento nessa direção são abordadas nesta tese. O estudo foi conduzido com base em fontes secundárias e pela realização de entrevistas junto a montadoras e operadores logísticos. Metodologicamente, adotou-se o estudo de multicasos na identificação de arranjos institucionais da operação da logística por operadores especializados. Foi identificado um ambiente em transição, em que a terceirização é um fato, com operadores logísticos, assumindo, cada vez mais, parcelas importantes das atividades dos contratantes. No entanto, o relacionamento está longe de caracterizar verdadeiras alianças estratégicas, apresentando-se uma interação dinâmica e, muitas vezes contraditória, entre as empresas. A consciência mútua das interdependências, aceitação e entendimento de interesses individuais, a serem conciliados em alianças estratégicas, com o objetivo comum de melhor condição competitiva e compartilhamento justo de riscos, custos e recompensas, podem ser fundamentais na implantação de novas formas de produção na indústria e na adoção de operadores logísticos únicos. / This study analyses the relationship among automotive industries and third party logistics (3PL) providers in Brazil, regarding the strategic aspect of the integrated logistics service in that industry, which is showing a remarkable changing in its organization and production practices. This analysis focuses the inbound logistic in car assembling plants. The globalization process requires firms restructure to enable survival and development, the search for competitive advantages, reflecting in their products their clients value chain and, in the relationship among firms, innovative ways of supply chain management. Logistics services assume a broader scope in the production process and in the company strategy, reflecting their providing by 3PL firms in a new way. In this outsourcing, theoretically, strategic alliances among firms could take place. The relationships characteristics towards this direction are analyzed in this thesis. The study used secondary sources and interviews were conducted with automotive and logistic services providers executives. For identifying institutional arrangements in logistics services providing industry, the basic methodology adopted was multicase studies. This work identifies a transition environment with outsourcing as a fact and logistics providers increasingly assuming relevant portions of the automotive industry activities. Nevertheless, their relationships are far from actual strategic alliances, occurring a dynamic and, many times, contradictory interaction among the firms. Consciousness of mutual interdependence, agreement and understanding of individual interests to be conciliated for the achievement of the common objective of better competitive condition and fair risks, costs and rewards sharing are needed. This could be a sound basis for the new production ways and define solids fundamentals for the new trend of full logistic provider implementations, already seen in the industry.

Neste trabalho estudaremos a existência de soluções fracas, semi-clássicas e clássicas, conceitos introduzidos no texto para uma classe de sistemas integro-diferenciais do tipo neutro com retardamento não limitado modelados na forma d/dt D(t, xt) = AD(t, xt) + ∫t0 B(t - s)D(s, xs)ds + g(t, xt), t ∈ (0, a), x0 = φ ∈ B, d/dt (x(t) + F(t, xt)) = Ax(t) + ∫t0 B(t - s)x(s)ds + G(t, xt), t ∈ (0, a), x0 = φ ∈ B, onde A é um operador linear fechado densamente definido em um espaço de Banach X, cada B(t) : D(B(t)) ⊂ X → X, t ≥ 0 é um operador linear fechado, a história xt : (-∞, 0] → X, xt(θ) = x(t + θ), pertence a um espaço de fase abstrato B definido axiomaticamente e D, F, g, G : [0, a] × B → X são funções apropriadas. Para obter alguns de nossos resultados, estudamos a existência e propriedades qualitativas de uma família resolvente de operadores lineares limitados (R(t))t≥0, para o sistema integro-diferencial d/dt (x(t) + ∫t0 N(t - s)x(s)ds) = Ax(t) + ∫t0 B(t - s)x(s) ds, t ∈ (0, a), x(0) = x0, onde (N(t)) t≥0 é uma família de operadores lineares limitados em X. Mencionamos que este tipo de sistemas aparece no estudo da condução de calor em materiais com memória amortecida. / In this work we study the existence of mild, semi-classical and classical solution, concepts introduced be later for a class of abstract neutral functional integrodifferential systems with unbounded delay in the form d/dt D(t, xt) = AD(t, xt) + ∫t0 B(t - s)D(s, xs)ds + g(t, xt), t ∈ (0, a), x0 = φ ∈ B, d/dt (x(t) + F(t, xt)) = Ax(t) + ∫t0 B(t - s)x(s)ds + G(t, xt), t ∈ (0, a), x0 = φ ∈ B, where A : D(A) ⊂ X → X is a closed linear densely defined operator in a Banach space X, each B(t) : D(B(t)) ⊂ X → X, is a closed linear operator, the history xt : (-∞, 0] → X, xt(θ) = x(t + θ), belongs to some abstract phase space B defined axiomatically and D, F, g :[0, a] × B → X are appropriate functions. To establish some of our results, we studied the existence and qualitative properties of a resolvent of bounded linear operators (R(t))t≥0, for a system in the form d/dt (x(t) + ∫t0 N(t - s)x(s)ds) = Ax(t) + ∫t0 B(t - s)x(s) ds, t ∈ (0, a), x(0) = x0, where (N(t)) t≥0 is a family of bounded linear operators on X. We mention that this class of system arise in the study of heat conduction in material with fading memory.

Tese de mestrado integrado. Engenharia Electrotécnica e de computadores. Faculdade de Engenharia. Universidade do Porto. 2010

Orientador: Elias Leite Mendonça / Resumo: Neste trabalho propomos uma base de operadores de projeção e transição de spin para tensores de rank-3. Utilizaremos essa base para determinar os coeficientes da densidade de lagrangiana do modelo de Singh-Hagen (SH). Forneceremos uma expressão geral para obtenção do propagador para teorias de rank-3 via tensor totalmente simétrico sem quebra de paridade. Além disso, realizaremos o processo de Imersão de Calibre de Noether (ICN) no modelo SH em D dimensões e verificaremos seu conteúdo físico. Por fim iremos verificar o conteúdo físico de um novo modelo de dubleto de spin-3 de sexta ordem obtido pelo processo de solda dos modelos auto-duais de quinta e sexta ordem que não necessitam de campos auxiliares. / Abstract: In this work we suggest a basis of spin projection and transition operators for rank-3 tensors. We use it in order to determine the coefficients of the Singh-Hagen model. We also provide a general expression for obtaining the propagator for rank-3 theories via full symmetric tensor without parity breaking. In addition, we perform the Noether Gauge Embendment (NGE) procedure on the SH model in D dimensions and verify its particle content. Finally we analyze the unitarity of a new sixth-order spin-3 doublet model obtained through the soldering approach of the fifth and sixth order self-dual models which do not require auxiliary fields. / Mestre