936 resultados para Terms (sculpture)
Resumo:
Esta dissertação estuda em detalhe três problemas elípticos: (I) uma classe de equações que envolve o operador Laplaciano, um termo singular e nãolinearidade com o exponente crítico de Sobolev, (II) uma classe de equações com singularidade dupla, o expoente crítico de Hardy-Sobolev e um termo côncavo e (III) uma classe de equações em forma divergente, que envolve um termo singular, um operador do tipo Leray-Lions, e uma função definida nos espaços de Lorentz. As não-linearidades consideradas nos problemas (I) e (II), apresentam dificuldades adicionais, tais como uma singularidade forte no ponto zero (de modo que um "blow-up" pode ocorrer) e a falta de compacidade, devido à presença do exponente crítico de Sobolev (problema (I)) e Hardy-Sobolev (problema (II)). Pela singularidade existente no problema (III), a definição padrão de solução fraca pode não fazer sentido, por isso, é introduzida uma noção especial de solução fraca em subconjuntos abertos do domínio. Métodos variacionais e técnicas da Teoria de Pontos Críticos são usados para provar a existência de soluções nos dois primeiros problemas. No problema (I), são usadas uma combinação adequada de técnicas de Nehari, o princípio variacional de Ekeland, métodos de minimax, um argumento de translação e estimativas integrais do nível de energia. Neste caso, demonstramos a existência de (pelo menos) quatro soluções não triviais onde pelo menos uma delas muda de sinal. No problema (II), usando o método de concentração de compacidade e o teorema de passagem de montanha, demostramos a existência de pelo menos duas soluções positivas e pelo menos um par de soluções com mudança de sinal. A abordagem do problema (III) combina um resultado de surjectividade para operadores monótonos, coercivos e radialmente contínuos com propriedades especiais do operador de tipo Leray- Lions. Demonstramos assim a existência de pelo menos, uma solução no espaço de Lorentz e obtemos uma estimativa para esta solução.
Resumo:
The product lifecycle management (PLM) system has a significant role to support the collaboration and manage the partnership between OEM and supplier to enable the success of supplier integration. Today great rates of cooperation as suppliers have been dedicated to SMEs. Since one of the PLM task is to control the collaboration between OEM and suppliers, this paper provide supplier (SMEs) a framework to find their level of relationship with OEM and the steps that they can improve it. To respond to this trend, we defined a methodology based on collaborative matrix maturity levels and four PLM axes of strategic, organization, process and tools levels. Finally, according to this matrix, we proposed a structure of a proper questionnaire and example that shows suppliers how to evaluate their positions in terms of collaboration in PLM.
Resumo:
This paper aims to present a contrastive approach between three different ways of building concepts after proving the similar syntactic possibilities that coexist in terms. However, from the semantic point of view we can see that each language family has a different distribution in meaning. But the most important point we try to show is that the differences found in the psychological process when communicating concepts should guide the translator and the terminologist in the target text production and the terminology planning process. Differences between languages in the information transmission process are due to the different roles the different types of knowledge play. We distinguish here the analytic-descriptive knowledge and the analogical knowledge among others. We also state that none of them is the best when determining the correctness of a term, but there has to be adequacy criteria in the selection process. This concept building or term building success is important when looking at the linguistic map of the information society.
Resumo:
This paper presents a mechanically verified implementation of an algorithm for deciding the equivalence of Kleene algebra terms within the Coq proof assistant. The algorithm decides equivalence of two given regular expressions through an iterated process of testing the equivalence of their partial derivatives and does not require the construction of the corresponding automata. Recent theoretical and experimental research provides evidence that this method is, on average, more efficient than the classical methods based on automata. We present some performance tests, comparisons with similar approaches, and also introduce a generalization of the algorithm to decide the equivalence of terms of Kleene algebra with tests. The motivation for the work presented in this paper is that of using the libraries developed as trusted frameworks for carrying out certified program verification.
Resumo:
No presente relatório, aborda-se primordialmente uma proposta da tradução para a língua portuguesa de um dos principais glossários militares da Organização do Tratado do Atlântico Norte. Apresentam-se ainda exemplos de traduções realizadas ao longo de 400 horas de estágio no Ministério dos Negócios Estrangeiros português, com o objetivo de dar a entender a complexidade e as restrições envolvidas na tradução no contexto de uma instituição governamental. A proposta de tradução do referido glossário visa a futura validação e reforço da língua portuguesa como uma das línguas de trabalho da NATO, tendo sido Portugal membro fundador desta organização em 1949.
Resumo:
1925/01/15 (SER4,N424).
Resumo:
1908/02.
Resumo:
1909/12 (SER3,N130)- (SER3,N133).
Resumo:
1922/02 (SER4,N369)- (SER4,N370).
Resumo:
1907/05.
Resumo:
1907/07.
