The present dissertation aims to discuss diagonalization of linear operators, so that we can explore these concepts in the solution of systems of ordinary differential equations and in the identification of conics. A linear operator in a vector space of finite dimension can be represented by a matrix. Since diagonal arrays are the simplest from the point of view of matrix operations, we will show under what conditions, given a linear operator it is possible to represent it by a diagonal matrix. Thus, this paper presents the process of operator diagonalization, introduces basic concepts about systems of ordinary differential equations and applications. / A presente dissertação tem como objetivo discorrer sobre diagonalização de operadores lineares, de modo que possamos explorar esses conceitos na solução de sistemas de equações diferenciais ordinárias e na identificação de cônicas. Um operador linear em um espaço vetorial de dimensão finita, pode ser representado por uma matriz. Sendo as matrizes diagonais as mais simples do ponto de vista das operações matriciais, mostraremos sob que condições, dado um operador linear é possível representá-lo por uma matriz diagonal. Dessa forma, este trabalho apresenta o processo de diagonalização de operadores, introduz conceitos básicos sobre sistemas de equações diferenciais ordinárias e aplicações. / São Cristóvão, SE

Conselho Nacional de Desenvolvimento CientÃfico e TecnolÃgico / Estudaremos, de acordo com Alias e Colares em [11], o problema de unicidade para hipersuperfÃcies tipo-espaÃo com curvatura mÃdia de ordem superior constante em um espaÃo-tempo de Robertson-Walker generalizado (GRW). Em particular, consideraremos a seguinte pergunta: Sob quais condiÃÃes deve uma hipersuperfÃcie tipo-espaÃo compacta com curvatura mÃdia de ordem superior constante em um espaÃo-tempo GRW espacialmente fechado ser uma fatia tipo-espaÃo? Provaremos que isto ocorre, essencialmente, sob a entÃo chamada condiÃÃo de convergÃncia nula. Nossa abordagem à baseada no uso das transformaÃÃes de Newton (e seus operadores diferenciais associados) e nas fÃrmulas de Minkowski para hipersuperfÃcies tipo-espaÃo.

Neste trabalho obtemos taxas de decaimento para autovalores e valores singulares de operadores integrais gerados por núcleos de quadrado integrável sobre a esfera unitária em \'R POT. m+1\', m 2, sob hipóteses sobre ambos, certas derivadas do núcleo e o operador integral gerado por tais derivadas. Este tipo de problema é comum na literatura, mas as hipóteses geralmente são definidas via diferenciação usual em \'R POT m+1\'. Aqui, as hipóteses são todas definidas via derivada de Laplace-Beltrami, um conceito genuinamente esférico investigado primeiramente por W. Rudin no começo dos anos 50. As taxas de decaimento apresentadas são ótimas e dependem da dimensão m e da ordem de diferenciabilidade usada para definir as condições de suavidade / In this work we obtain decay rates for singular values and eigenvalues of integral operators generated by square integrable kernels on the unit sphere in \'R m+1\', m 2, under assumptions on both, certain derivatives of the kernel and the integral operators generated by such derivatives. This type of problem is common in the literature but the assumptions are usually defined via standard differentiation in \'R POT. m+1\'. Here, the assumptions are all defined via the Laplace-Beltrami derivative, a concept first investigated by W. Rudin in the early fifties and genuinely spherical in nature. The rates we present are optimal and depend on both, the differentiability order used to define the smoothness conditions and the dimension m

Made available in DSpace on 2014-06-12T18:28:30Z (GMT). No. of bitstreams: 2 arquivo587_1.pdf: 827834 bytes, checksum: df4220bca077e08d08ae55d954933064 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2011 / Universidade de Pernambuco / Neste trabalho de tese, estudamos uma modelagem de um sistema de três equações diferenciais parciais com condição de fronteira do tipo Neumann do modelo Daisyworld unidimensional, problema de retroalimentação clima-vegetação com difusão, dando origem a uma equação diferencial funcional ordinária abstrata, onde a parte linear gera um semigrupo analítico em um espaço de Banach X e a parte não-linear satisfaz a condição localmente contínua Lipschitz com respeito à α-norma. Para isto primeiro estudaremos teoria de semi-grupos de operadores e operadores setoriais e depois determinaremos a extensão de Friedrichs do operador Laplaciano unidimensional com condição de fronteira do tipo Neumann. Estudamos também a existência e unicidade de soluções fortes locais do problema de valor inicial associado ao modelo, com condições iniciais em um aberto de uma potência fracionária de X, cuja existência é demonstrada usando o teorema do ponto fixo de Banach e as propriedades do operador linear da equação. Usando o argumento principio do máximo, determinamos um subconjunto fechado positivamente invariante C para as condições iniciais, tais que as soluções são globais, para isso usaremos o lema de Gronwall, a desigualdade de Young, características da parte não linear e o intervalo de valores para a radiação solar R do modelo. Por fim, estudamos algumas soluções de equilíbrios e o comportamento assintótico das soluções, por uma aproximação linear numa vizinhança de um ponto de equilíbrio. Usando a solução global com condições iniciais em C, definimos um sistema dinâmico S em C

Orientador: Andréa Cristina Prokopczyk Arita / Coorientador: Luís Antônio Fernandes Oliveira / Banca: Michelle Fernanda Pierri Hernandez / Banca: Waldemar Donizete Bastos / Resumo: Esta dissertação é um estudo sobre a controlabilidade de sistemas de controle descritos por equações diferenciais abstratas. Primeiramente, são apresentados alguns resultados de controlabilidade para sistemas lineares e sem retardo. Em seguida, é estabelecido um critério para a controlabilidade aproximada de sistemas lineares com retardo, através da comparação entre o conjunto atingível destes sistemas com o conjunto atingível dos sistemas sem retardo. Por fim, é apresentada uma generalização do resultado anterior para sistemas do tipo neutro com retardo / Abstract: This dissertation is a study on the controllability of control systems described by abstract differential equations. First, some results of controllability for linear systems without delay are presented. Then, a criterion for the approximate controllability of linear systems with delay is established by comparing the reachable set of these systems with the reachable set of the systems without delay. Finally, a generalization of the previous result for systems of neutral type with delay is presented / Mestre

No desenvolvimento de software, a qualidade do produto está diretamente relacionada à qualidade do processo de desenvolvimento. Diante disso, atividades de Verificação, Validação & Teste (VV&T) realizadas por meio de métodos, técnicas e ferramentas são de extrema necessidade para o aumento da produtividade, qualidade e diminuição de custos no desenvolvimento de software. Do mesmo modo, técnicas e critérios contribuem para a produtividade das atividades de teste. Um ponto crucial para o teste de software é sua automatização, tornando as atividades mais confiáveis e diminuindo significativamente os custos de desenvolvimento. Na automatização dos testes, os oráculos são essenciais, representando um mecanismo (programa, processo ou dados) que indica se a saída obtida para um caso de teste está correta. Este trabalho de mestrado utiliza a ideia de mutação para criar implementações alternativas de oráculos de teste e, assim, avaliar a sua qualidade. O teste de mutação se refere à criação de versões do sistema em desenvolvimento com pequenas alterações sintáticas de código. A mutação possui alta eficácia na detecção de defeitos e é bastante flexível na sua aplicação, podendo ser utilizada em diversos tipos de artefatos. Adicionalmente, este trabalho propõe operadores de mutação específicos para oráculos, implementa uma ferramenta de apoio à utilização desses operadores para oráculos e também descreve um estudo empírico dos operadores, destacando benefícios e desafios associados ao seu uso. / In software development, product quality is directly related to the quality of the development process. Therefore, activities of Verification, Validation & Testing (VV&T) performed by methods, techniques and tools are urgently required to increase productivity, quality and cost reduction in software development. Similarly, testing technique and criteria contribute to the productivity of test activities. A crucial point for the software testing automation is making the most reliable activities and significantly reducing development costs. Regarding software testing automation, test oracles are essential, representing an mechanism (program, process or data) to indicate whether the actual output for a given test case is correct. This masters thesis aims to explore concepts of mutation testing to create alternative implementations of the oracle procedure and thus assess their quality. Mutation testing refers to the creation of system development versions with minor syntactic code changes. It has high efficiency on defects detecting and it is very flexible in its application and it is being used in various types of artifacts. This work also proposes specific mutation operators for oracles, implements an useful support tool for using these oracle mutation operators and conducts an empirical study of operators, highlighting benefits and challenges associated with their use.

Estudaremos a teoria de bases de Gröbner em anéis de polinômios comutativos com coeficientes em uma nelnoetheriano e em anéis de operadores diferencias. Apresentaremos, em ambos casos, uma generalização do algoritmo da divisão, do S-polinômio e do algoritmo de Buchberger para calcular bases de Gröbner. / We study the theory of Gröbner bases for commutative polynomials rings over a noetherian ring and of rings of differential operators. In both cases we exhibit a generalization of the division algorithm, the S -polynomial and the Buchberger algorithm for computing Gröbner bases.

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.

O presente estudo avaliou a interferência de operadores com diferentes proficiências no preparo de canais radiculares curvos, simulados em blocos de resina transparente. Os grupos, com 10 indivíduos cada um, foram: Grupo 1 – professores de Endodontia; Grupo 2 - alunos de especialização; Grupo 3 – alunos de odontologia Monitores de Endodontia e o Grupo 4 – alunos de graduação no início do curso de Endodontia. Cada operador instrumentou dois canais com 20 graus de curvatura, o primeiro canal era visualizado para treinamento e o segundo não. O sistema mecanizado com instrumentos rotatórios de níquel-titânio empregado foi o RaCe®. Os parâmetros de avaliação foram: tempo de instrumentação, quantidade de material removido, desvio apical e deformação dos instrumentos. Os resultados encontrados (ANOVA e Teste de Tuckey a= 0,05%), foram: Para o tempo de instrumentação, no primeiro canal, houve diferença estatística entre o grupo 1 e os grupos 3 e 4, o grupo 2 diferiu somente do grupo 4. Já, no segundo canal, não houve diferença estatística entre os grupos. Para a quantidade de material removido do primeiro canal houve diferença estatística entre os graduados (grupos 1 e 2) em relação aos graduandos (grupos 3 e 4), porém, no segundo canal, houve diferença somente entre os grupos 1 e 2. O desvio apical não apresentou diferença estatística entre os grupos em nenhuma das condições experimentais. Após a aplicação do teste do Qui-quadrado (a=0,01%), observou-se que o grupo 1 foi o que produziu as menores deformações nos instrumentos. Conclui-se que: Os desvios apicais promovidos foram semelhantes entre os grupos experimentais. Houve diminuição no tempo de instrumentação do segundo canal em relação ao primeiro, com diferença estatística nos grupos dos monitores e acadêmicos e que não houve diferença estatística entre os grupos, em relação ao tempo de instrumentação do segundo canal. Os grupos dos graduados (professores e alunos de especialização) excisaram maior quantidade de material do primeiro canal, quando comparados aos dos graduandos (monitores e acadêmicos), não havendo diferença estatística entre os grupos em relação à quantidade de material removido do segundo canal, excetuando a comparação entre os professores e os alunos de especialização, onde os primeiros desgastaram significativamente mais que os últimos. Comparados aos demais grupos, os professores produziram menores deformações aos instrumentos. / This study evaluated the interference of operators with different proficiencies in the preparation of curved canals , simulated transparent resin blocks. The groups, with 10 individuals each, were: Group 1 - professors of Endodontics; Group 2 – students of specialization; Group 3 – undergraduate dental students who had concluded the Endodontics course and Group 4 - undergraduate dental students in the beginning of the Endodontics course. Each operator prepared two canals with 20 degrees of bending, the first canal was visualized for training and second no. The rotary instrumentation used was the RaCe®. The parameters of evaluation were: time of instrumentation, amount of removed material, apical transportation and deformation of the instruments. The results (ANOVA and Test of Tuckey = 0.05%): In relation to the instrumentation time, when of the execution of the first canal, it had statistics difference between group 1 and groups 3 and 4, group 2 only differed from group 4. When of the execution of the second canal it did not have difference statistics between the groups. For the amount of material removed of the first canal it had difference statistics between the graduated (groups 1 and 2) relation to the undegraduated (groups 3 and 4). After the second canal instrumentation, only had difference between groups 1 and 2. The apical transportation did not present statistics difference enters the groups in no ne of the experimental conditions. After the application ?2 test (a=0,01%), was observed that group 1 produced lesser deformations in the instruments. Conclusions: The apical transportation was similar between the different groups. It had reduction in the time of instrumentation of the second canal in relation to the first one, with statistics difference in the groups of the monitors and academics. It did not have difference statistics between the groups, in relation to the time of instrumentation of the second canal. The groups of the graduated ones (professors and students of specialization) removed bigger amount of material of the first canal, when compared with the ones of the undergraduate (monitorial and academic). It did not have statistics difference enters the groups in relation to the amount of material removed of the second canal, excepting the comparison between the professors and the students of specialization, where the first ones had consumed significantly more than the last ones. Compared with all groups, the professors had produced minors deformations to the instruments.

Esta dissertação parte do pressuposto de que os operadores argumentativos e os conectivos, que, aqui, chamamos genericamente de operadores, estão correlacionados com a tessitura textual e pretende verificar se a freqüência relativa da ocorrência deles influi no grau de coesão e coerência que se atribui ao texto no momento da sua leitura. O substrato de trabalho é constituído por um conjunto de redações produzidas para as atividades propostas em diversas disciplinas que envolvem a prática de redação. As redações foram avaliadas por três professores de Língua Portuguesa de Ensino Médio e Ensino Superior de acordo com critérios em que o grau de coesão e coerência é o requisito mais relevante para averiguação. Procuramos, então, constatar a dependência entre a freqüência relativa de operadores e a nota fornecida pelos avaliadores. Os resultados sugerem a existência dessa dependência, mesmo quando os operadores selecionados não se apresentam corretamente empregados segundo as operações lógicas usuais previstas pela sintaxe. / This dissertation begins with connective and argumentative operators, called here, generally, as operators, which are related to textual texture and intends to check if the relative frequency of their occurrence influences on the degree of cohesion and coherence that attributes to the text at the moment of its reading. The substrate of the work is constituted by a group of compositions produced for the proposal activities in several subjects, which involves composition practice. Three Portuguese Language of High School and College teachers according to the criteria in which the degree of cohesion and coherence is the most important requisite for checking evaluated the compositions. We look for to verify the dependence between the relative frequency of operators and the grade attributed by the professors. The results suggest the existence of this dependence, even when the selected operators don´t present themselves correctly used according to the usual and normal operations required by syntax.