O principal objetivo deste trabalho é estudar a existência de soluções para alguns problemas de valores de contorno de equações diferenciais ordinárias não lineares em dimensão finita e infinita. Todos os sistemas considerados nesta investigação são transformados em equações funcionais nas quais o objetivo é encontrar um ponto fixo de um oportuno operador definido em um espaço de funções (que depende do problema estudado). Para isso, faremos uso do grau de Leray-Schauder e de um conceito de grau topológico, devido a R. Nussbaum, para perturbações não compactas da identidade em espaços de Banach. / The main purpose of this work is to study the existence of solutions to some boundary value problems for nonlinear ordinary differential equations in finite and infinite dimension. All systems considered in this research are transformed into functional equations in which the objective is to find a fixed point of a suitable operator defined in a space of functions (which depends on the studied problem). To do this, we use the Leray-Schauder degree and a concept of topological degree due to R. Nussbaum for non-compact perturbations of identity in Banach spaces.

O principal objetivo deste trabalho é estudar a existência de soluções para alguns problemas de valores de contorno de equações diferenciais ordinárias não lineares em dimensão finita e infinita. Todos os sistemas considerados nesta investigação são transformados em equações funcionais nas quais o objetivo é encontrar um ponto fixo de um oportuno operador definido em um espaço de funções (que depende do problema estudado). Para isso, faremos uso do grau de Leray-Schauder e de um conceito de grau topológico, devido a R. Nussbaum, para perturbações não compactas da identidade em espaços de Banach. / The main purpose of this work is to study the existence of solutions to some boundary value problems for nonlinear ordinary differential equations in finite and infinite dimension. All systems considered in this research are transformed into functional equations in which the objective is to find a fixed point of a suitable operator defined in a space of functions (which depends on the studied problem). To do this, we use the Leray-Schauder degree and a concept of topological degree due to R. Nussbaum for non-compact perturbations of identity in Banach spaces.

Em Complexidade Descritiva investigamos o uso de logicas para caracterizar classes problemas pelo vies da complexidade. Desde 1974, quando Fagin provou que NP e capturado pela logica existencial de segunda-ordem, considerado o primeiro resultado da area, outras relac~oes entre logicas e classes de complexidade foram estabelecidas. Os resultados mais conhecidos normalmemte envolvem logica de primeira-ordem e suas extens~oes, e classes de complexidade polinomiais em tempo ou espaco. Alguns exemplos sÃo que a logica de primeira-ordem estendida com o operador de menor ponto xo captura a clsse P e que a logica de segunda-ordem estendida com o operador de fecho transitivo captura a classe PSPACE. Nesta dissertaÃÃo, analisaremos inicialmente a expressividade de algumas logicas modais com relacÃo ao problema de decisÃo REACH e veremos que e possvel expressa-lo com as logicas temporais CTL e CTL. Analisaremos tambem o uso combinado de logicas de ordem superior com o operador de menor ponto xo e obteremos como resultado que cada nvel dessa hierarquia captura cada nvel da hierarquia determinstica em tempo exponencial. Como corolario, provamos que a hierarquia de HOi(LFP) nÃo colapsa, ou seja, HOi(LFP) HOi+1(LFP) / In Descriptive Complexity, we investigate the use of logics to characterize computational classes os problems through complexity. Since 1974, when Fagin proved that the class NP is captured by existential second-order logic, considered the rst result in this area, other relations between logics and complexity classes have been established. Wellknown results usually involve rst-order logic and its extensions, and complexity classes in polynomial time or space. Some examples are that the rst-order logic extended by the least xed-point operator captures the class P and the second-order logic extended by the transitive closure operator captures the class PSPACE. In this dissertation, we will initially analyze the expressive power of some modal logics with respect to the decision problem REACH and see that is possible to express it with temporal logics CTL and CTL. We will also analyze the combined use of higher-order logics extended by the least xed-point operator and obtain as result that each level of this hierarchy captures each level of the deterministic exponential time hierarchy. As a corollary, we will prove that the hierarchy of HOi(LFP), for i 2, does not collapse, that is, HOi(LFP) HOi+1(LFP)

Made available in DSpace on 2016-03-15T19:46:50Z (GMT). No. of bitstreams: 1 Gislane Aparecida Martins Siqueira.pdf: 351118 bytes, checksum: 645e6a0653cd5b84682b39231e082739 (MD5) Previous issue date: 2009-03-11 / Fundo Mackenzie de Pesquisa / This dissertation proposes linguistics analysis of the legal text Initial Petition, according to argumentative principles of semantics, aiming show the necessity of the linguistics approach for better interpretation and production of this kind of text. It focus on considerations about the Textual Linguistics, Discourse Genres, Legal Discourse, Rhetoric, Macrostrategics, Sketchy Strategies, Argumentative Operators and draw a parallel between the organizational composition of the Initial Petition and the statement of the discursive organization of the Sermon, quoted by Priest Antonio Vieira in the part VI of the his masterpiece Sermão da Sexagésima. The corpus this dissertation presents series of Initials Petitions that were analyzed in two aspects: (1) the organization of schematic structure the text, through the superstructure; (2) the argumentative organization, which takes place within the discourse, made by the argumentative operators. The former emphasizes the complicity relationship between the meaningful parts of the text, showing how this relationship leads the enunciatee to way pre-set by the enunciator; the latter emphasizes the way how the argumentative operators act, as rhetoric resource in the construction of the persuasive discourse; how often they appear, in this specific type of legal text and whether indicate different roles from those expressed by the specialized literature. Finally is verified, in the dissertation, the importance of knowledge linguistics resources in the production and interpretation of argumentative texts as the Initial Petition, emphasizing the contribution this kinds of study those who seek to improve this kind of discourse. / Esta dissertação propõe análises lingüísticas do texto jurídico Petição inicial, segundo princípios da semântica argumentativa, visando mostrar a necessidade da abordagem lingüística para melhor interpretação e produção desse tipo de texto. Para tanto, faz considerações acerca da Lingüística Textual, Gêneros Discursivos, Discurso Jurídico, Retórica, Macroestratégia, Estratégias Esquemáticas, Operadores Argumentativos e traça um paralelo entre a composição organizacional da Petição Inicial e a menção da organização discursiva de um Sermão, citada pelo Pe. Antônio Vieira, na VI parte de seu Sermão da Sexagésima. Como corpus é apresentada uma série de Petições Iniciais que foram analisadas, considerando-se dois aspectos: (1) a organização da estrutura esquemática do texto, por meio da superestrutura; (2) a organização argumentativa, que se dá no seio do discurso, constituída pelos operadores argumentativos. O primeiro destaca a relação de cumplicidade entre as partes significativas do texto, mostrando como ela conduz o enunciatário a um caminho pré-estabelecido pelo enunciador; o segundo, o modo como os operadores argumentativos atuam, como recurso retórico na construção do discurso persuasivo; com que freqüência aparecem, nesse tipo específico de texto jurídico e se apontam papéis diferentes dos explicitados pelas literaturas especializadas no assunto. Verifica-se, por fim, a importância do conhecimento dos recursos lingüísticos na produção e na interpretação de textos argumentativos, como a Petição Inicial, enfatizando a contribuição de estudos dessa natureza para aqueles que buscam o aprimoramento nesse tipo de discurso.

La tesis se centra en el desarrollo de técnicas numéricas específicas para la resolución de problemas de mecánica de sólidos, tomando como referencia aquellos que involucran geomateriales (suelos, rocas, materiales granulares,...). Concretamente, se tratan los siguientes puntos: 1) formulaciones Arbitrariamente Lagrangianas Eulerianas (ALE) para problemas con grandes desplazamientos del contorno; 2) métodos de resolución para problemas no lineales en el campo de la mecánica de sólidos y 3) modelización del comportamiento mecánico de materiales granulares mediante leyes constitutivas elastoplásticas. Las principales aportaciones de la tesis son: el desarrollo de una formulación ALE para modelos hyperelastoplásticos y el cálculo de operadores tangentes para distintas leyes constitutivas y esquemas de integración temporal no triviales (uso de esquemas de derivación numérica, técnicas de subincrementación y modelos elastoplásticos con endurecimiento y/o reblandecimiento dependientes del trabajo plástico o la densidad). Se presentan diversas aplicaciones que muestran las principales características de los desarrollos presentados (análisis del ensayo del molinete para arcillas blandas, del ensayo triaxial para arenas, de la rotura bajo una cimentación, del proceso de estricción de una barra metálica circular y de un proceso de estampación en frío), dedicando una especial atención a los aspectos computacionales de la resolución de dichos problemas. Por último, se dedica un capítulo específico a la modelización y la simulación numérica de procesos de compactación fría de polvos metálicos y cerámicos. / Numerical modelling of problems involving geomaterials (i.e. soils, rocks, concrete and ceramics) has been an area of active research over the past few decades. This fact is probably due to three main causes: the increasing interest of predicting the material behaviour in practical engineering situations, the great change of computer capabilities and resources, and the growing interaction between computational mechanics, applied mathematics and different engineering fields (concrete, soil mechanics...). This thesis fits within this last multidisciplinary approach. Based on constitutive modelling and applied mathematics and using both languages the numerical simulation of some complex geomechanical problems has been studied.The state of the art regarding experiments, constitutive modelling, and numerical simulations involving geomaterials is very extensive. The thesis focuses in three of the most important and actual ongoing research topics within this framework: 1) the treatment of large boundary displacements by means of Arbitrary Lagrangian-Eulerian (ALE) formulations; 2) the numerical solution of highly nonlinear systems of equations in solid mechanics; and 3) the constitutive modelling of the nonlinear mechanical behaviour of granular materials. The three topics have been analysed and different contributions for each one of them have been developed. Moreover, some of the new developments have been applied to the numerical modelling of cold compaction processes of powders. The process consists in transforming a loose powder into a compacted sample through a large volume reduction. This problem has been chosen as a reference application of the thesis because it involves large boundary displacements, finite deformations and highly nonlinear material behaviour. Therefore, it is a challenging geomechanical problem from a numerical modelling point of view.The most relevant contributions of the thesis are the following: 1) with respect to the treatment of large boundary displacements: quasistatic and dynamic analyses of the vane test for soft materials using a fluid-based ALE formulation and different non-newtonian constitutive laws, and the development of a solid-based ALE formulation for finite strain hyperelastic-plastic models, with applications to isochoric and non-isochoric cases; 2) referent to the solution of nonlinear systems of equations in solid mechanics: the use of simple and robust numerical differentiation schemes for the computation of tangent operators, including examples with several non-trivial elastoplastic constitutive laws, and the development of consistent tangent operators for different substepping time-integration rules, with the application to an adaptive time-integration scheme; and 3) in the field of constitutive modelling of granular materials: the efficient numerical modelling of different problems involving elastoplastic models, including work hardening-softening models for small strain problems and density-dependent hyperelastic-plastic models in a large strain context, and robust and accurate simulations of several powder compaction processes, with detailed analysis of spatial density distributions and verification of the mass conservation principle.

L'objectiu d'aquesta tesi és analitzar els preus hotelers, que inclouen tant el preu que cobra l'hoteler com el que paga el turista. Més en concret, aquesta tesi pretén entendre i explicar la política de preus del sector hoteler, utilitzant per aquest fi els conceptes, instruments i models de l'anàlisi econòmica. L'explotació exhaustiva dels catàlegs dels operadors turístics representa la principal aposta metodològica d'aquest treball. També s'han creat diferents bases de dades de preus hotelers, s'han explotat les dades i preus de guies hoteleres, i s'han fet enquestes als hotelers per conèixer el preu que paga un turista particular. Les aportacions més importants fan referència als preus del sector hoteler, que és el nucli principal del treball, i es podrien resumir de la manera següent:-Determinar com es determinen els preus en el sector hoteler-Conèixer el grau de competència entre operadors turístics-Disposar d'una evolució temporal i estacional dels preus dels hotels. En aquest sentit, la metodologia i les dades emprades podrien ser un punt de partida per elaborar una sèrie temporal de preus i d'aquesta manera corregir la mancança actual d'un índex de preus hoteler -Identificar els serveis i les característiques dels hotels que no tenen un preu explícit, però que resulten rellevants a l'hora de negociar uns preus superiors-Examinar les estratègies de preus d'alguns operadors turístics estrangers-I, en general, millorar el coneixement sobre els preus hotelers / The aim of this thesis is to analyse hotel prices, which include both the rate the hotel charges and what the tourist pays. More concretely, the thesis aims to understand and explain the charges policy of the hotel sector and uses to this end the concepts, tools and models of economic analysis.The exhaustive examination of tour operators' brochures is the main method used in this study. Various data bases of hotel charges were also created; the data and tariffs in hotel guides were used; and questionnaires were submitted to hoteliers on the tariffs a private tourist pays.The main contributions referred to the prices in the hotel sector, which is the central nucleus of the study, and can be summarised as follows:-To determine how tariffs are set in the hotel sector.-To find how much competition there is between tour operators.-To examine how hotel charges vary over time and seasonally. The methodology and data employed could be a starting-point for working out a series of charges over time, and so rectifying the current lack of an index of hotel prices.-To identify the services and characteristics of those hotels without an explicit charge, but which are relevant when the question of negotiating higher charges arises.-To examine the price strategies of some foreign tour operators.-And, in general, to extend knowledge of hotel tariffs.

Conselho Nacional de Desenvolvimento Científico e Tecnológico / The power consumption reduction in the fast Fourier transform (FFT) is important because applications in battery-powered embedded systems grows daily. Thus this work focuses on the application of techniques to reduce power in specific projects of FFT algorithms. The goal is to achieve an architectural exploration in the FFT core, the decimation in time butterfly radix-2 and the efficient implementation of arithmetic operators in the internal structure of this butterfly. The techniques applied to the butterfly are aimed at reducing power consumption through architectural exploration and data encryption. Five different butterfly topologies are shown, one of those, proposed in this work uses three real multipliers, and is based on the previous storage of the product of real and imaginary values of the twiddle factors. The advantage of this topology is the possibility of using 4:2 adder compressors, which performs the sum of four operands simultaneously with reduced critical path. These adder compressors have XOR gates in the critical path, is proposed in this paper a new XOR gate circuit, which is based on the use of pass transistors logic. This new XOR gate circuit has been applied to adder compressors 3:2 and 4:2, which are applied to adders blocks of the butterflies. Digital circuits have been developed in hardware description language and some in the electrical schematic level. Results of area, power consumption and cell count in the logic synthesis in 180nm at 100MHz and 20MHz with switching activity analysis for 10,000 random input vectors were obtained for this work. The electrical level simulations in an environment of mixed digital and analog signals were also performed to the evaluation of the compressors with new topology of XOR gate. Analyses show that 3:2 adder compressor has lower power consumption using the new XOR gate circuit. However, the same conclusion was not achieve in relation to the 4:2 adder compressor which has a lower power consumption using the CMOS XOR gate. Butterfly structures evaluated uses a significant amount of arithmetic operators in their internal structures, so was used different design strategies for implementation. Initially was used the arithmetic operators of automatic synthesis tool (Cadence). After, used dedicated arithmetic operators (adder compressors with the new XOR gate circuit, RNS adders and array multipliers). The results show that butterflies have lower power consumption with the use of adder compressors in their internal structures. / A redução no consumo de potência na transformada rápida de Fourier (FFT) é importante pois sua aplicação cresce em sistemas embarcados movidos à bateria. Sendo assim este trabalho tem como foco a aplicação de técnicas de redução de potência para projetos específicos de algoritmos da FFT. O objetivo é realizar uma exploração arquitetural no elemento central de cálculo da FFT, borboleta na base 2 com decimação no tempo, bem como a aplicação de operadores aritméticos eficientes na estrutura interna desta borboleta. As técnicas aplicadas à borboleta têm por objetivo a redução do consumo de potência através de exploração arquitetural e codificação de dados. São apresentadas cinco diferentes topologias de borboleta, sendo uma destas, proposta no âmbito deste trabalho utilizando três multiplicadores reais é baseada no armazenamento prévio do produto dos valores real e imaginário dos coeficientes. A vantagem desta topologia é a possibilidade do uso de somadores compressores 4:2, que realiza a soma simultânea de quatro operandos, com reduzido caminho crítico. Como estes somadores compressores apresentam portas XOR no caminho crítico, é proposta neste trabalho uma nova porta XOR, que é baseada no uso de transistores de passagem. Esta nova porta lógica XOR foi aplicada em somadores compressores 3:2 e 4:2, que são aplicados nos blocos somadores das borboletas. Os circuitos digitais foram desenvolvidos em linguagem de descrição de hardware e alguns em esquemáticos de nível elétrico. Resultados de área, potência e contagem de células na síntese lógica em 180nm a 100MHz e 20MHz com análise de atividade de chaveamento para 10.000 vetores aleatórios de entrada foram obtidos e simulações no nível elétrico em um ambiente de sinais digitais e analógicos misto também foram realizadas para a avaliação dos compressores com a nova topologia de porta XOR. As análises mostram que os somadores compressores 3:2 apresentam menor consumo de potência com o uso da nova porta XOR. Entretanto, o mesmo não se observa em relação ao compressor 4:2 que apresenta um menor consumo de potência utilizando a porta XOR CMOS. Como as estruturas de borboleta avaliadas utilizam uma quantidade significativa de operadores aritméticos nas suas estruturas internas, foram utilizadas diferentes estratégias de projeto para as suas implementações. Inicialmente foram utilizados os operadores aritméticos da ferramenta de síntese automática (Cadence). Após, foram utilizados operadores aritméticos dedicados (somadores compressores com a nova porta XOR, somadores RNS e multiplicadores array). Os resultados mostram que as borboletas apresentam menores consumos de potência com o uso dos somadores compressores em suas estruturas.

Submitted by guaracy araujo (guaraa3355@gmail.com) on 2016-06-14T19:46:59Z No. of bitstreams: 1 2010_dis_cmfreire.pdf: 426798 bytes, checksum: 4ad13c09839833ee22b0396a445e8a26 (MD5) / Approved for entry into archive by guaracy araujo (guaraa3355@gmail.com) on 2016-06-14T19:48:16Z (GMT) No. of bitstreams: 1 2010_dis_cmfreire.pdf: 426798 bytes, checksum: 4ad13c09839833ee22b0396a445e8a26 (MD5) / Made available in DSpace on 2016-06-14T19:48:16Z (GMT). No. of bitstreams: 1 2010_dis_cmfreire.pdf: 426798 bytes, checksum: 4ad13c09839833ee22b0396a445e8a26 (MD5) Previous issue date: 2010 / In Descriptive Complexity, we investigate the use of logics to characterize computational classes os problems through complexity. Since 1974, when Fagin proved that the class NP is captured by existential second-order logic, considered the rst result in this area, other relations between logics and complexity classes have been established. Wellknown results usually involve rst-order logic and its extensions, and complexity classes in polynomial time or space. Some examples are that the rst-order logic extended by the least xed-point operator captures the class P and the second-order logic extended by the transitive closure operator captures the class PSPACE. In this dissertation, we will initially analyze the expressive power of some modal logics with respect to the decision problem REACH and see that is possible to express it with temporal logics CTL and CTL . We will also analyze the combined use of higher-order logics extended by the least xed-point operator and obtain as result that each level of this hierarchy captures each level of the deterministic exponential time hierarchy. As a corollary, we will prove that the hierarchy of HOi(LFP), for i 2, does not collapse, that is, HOi(LFP) HOi+1(LFP) / Em Complexidade Descritiva investigamos o uso de logicas para caracterizar classes problemas pelo vies da complexidade. Desde 1974, quando Fagin provou que NP e capturado pela logica existencial de segunda-ordem, considerado o primeiro resultado da area, outras relac~oes entre logicas e classes de complexidade foram estabelecidas. Os resultados mais conhecidos normalmemte envolvem logica de primeira-ordem e suas extens~oes, e classes de complexidade polinomiais em tempo ou espaco. Alguns exemplos são que a l ogica de primeira-ordem estendida com o operador de menor ponto xo captura a clsse P e que a l ogica de segunda-ordem estendida com o operador de fecho transitivo captura a classe PSPACE. Nesta dissertação, analisaremos inicialmente a expressividade de algumas l ogicas modais com rela cão ao problema de decisão REACH e veremos que e poss vel express a-lo com as l ogicas temporais CTL e CTL . Analisaremos tamb em o uso combinado de l ogicas de ordem superior com o operador de menor ponto xo e obteremos como resultado que cada n vel dessa hierarquia captura cada n vel da hierarquia determin stica em tempo exponencial. Como corol ario, provamos que a hierarquia de HOi(LFP) não colapsa, ou seja, HOi(LFP) HOi+1(LFP) / FREIRE, Cibele Matos. Complexidade descritiva das lógicas de ordem superior com menor ponto fixo e análise de expressividade de algumas lógicas modais. 2010. 54 f. : Dissertação (mestrado) - Universidade Federal do Ceará, Centro de Ciências, Departamento de Computação, Fortaleza-CE, 2010.

Submitted by Bruno Rodrigues Balla (brunoballa@gmail.com) on 2017-01-11T14:00:34Z No. of bitstreams: 1 Dissertação de Mestrado - Bruno Balla - 2016.pdf: 1460369 bytes, checksum: 6f0f27af092d62ef0a6b9850706bb5ee (MD5) / Approved for entry into archive by Janete de Oliveira Feitosa (janete.feitosa@fgv.br) on 2017-01-12T12:11:08Z (GMT) No. of bitstreams: 1 Dissertação de Mestrado - Bruno Balla - 2016.pdf: 1460369 bytes, checksum: 6f0f27af092d62ef0a6b9850706bb5ee (MD5) / Made available in DSpace on 2017-01-17T11:27:55Z (GMT). No. of bitstreams: 1 Dissertação de Mestrado - Bruno Balla - 2016.pdf: 1460369 bytes, checksum: 6f0f27af092d62ef0a6b9850706bb5ee (MD5) Previous issue date: 2016-12-13 / The main objective of this study was to investigate which value attributes a fourth party logistics (4PL) operator must offer to potential oil & gas clients, in order to properly serve the managing worries and orders commonly present in such industry operational routine. With this intent and based on the theoretical framework, a value proposal was elaborated for these operators, allowing us to verify its consistency within the referred market. The proposal was both based on the market’s supply and logistics chain differentiation principles, such as flow integration or operational and management capacities development, as on the main characteristics of the 4PL operator, related to their capacity to bring knowledge and experience to the operation, to provide operational flow through technology and to manage their clients’ network operations. 6 (six) semi structured interviews were applied to operations’ managers of major companies operating in this sector in Brazil. The interviews outcomes are not entirely opposed to the use of an operator like these within the industry’s companies. It has called attention, however, to topics with which these operators should be worried about, such as: a possible cost increase, the level of service required by the business, the operational issues attached to the uncertainty over demand & operational risks, the strict trust usually attributed to suppliers and the maturity of the market itself, whether concerning contractors or available suppliers. / Este estudo teve como objetivo central investigar quais atributos de valor um operador integrador, chamado de 4PL, deve ofertar a possíveis clientes provenientes da indústria de petróleo e gás, de forma que seu serviço seja adequado aos principais anseios e demandas gerenciais presentes na rotina operacional desta indústria. Para tanto, com base no referencial bibliográfico, uma proposta de valor para estes operadores foi elaborada, possibilitando a averiguação desta sobre sua adequação ao mercado em questão. A proposta de valor baseou-se nos princípios de diferenciação referentes à cadeia logística e de suprimentos deste mercado, como a integração de fluxos e o desenvolvimento de capacidades operacionais e de gestão, e nas principais características dos operadores integradores, relacionadas à sua capacidade de aportar conhecimento e experiência à operação, de prover fluidez operacional através de tecnologia e de gerir a rede operacional de relacionamento de seus clientes. Foram realizadas 6 (seis) entrevistas semiestruturadas com gestores operacionais das principais empresas atuantes deste setor no Brasil. O resultado da análise sobre as entrevistas não refutou totalmente a utilização deste operador por parte das empresas desta indústria, no entanto chamou atenção para itens com os quais este tipo de operador deveria preocupar-se, como: a possibilidade de acréscimo de custos, o nível de atendimento exigido pelas empresas, os problemas operacionais relacionados à incerteza sobre a demanda e aos riscos operacionais, a confiança restrita geralmente atribuída aos fornecedores e a maturidade do mercado em geral, seja por parte das empresas contratantes ou dos fornecedores disponíveis.

Made available in DSpace on 2010-04-20T20:20:43Z (GMT). No. of bitstreams: 0 Previous issue date: 2001-06-28T00:00:00Z / Trata da questão do desconhecimento do impacto na satisfação do consumidor, provocado pela automação de centrais de atendimento ao cliente. O trabalho se concentra no serviço de centrais que permitem o auto atendimento, por parte do cliente, através da digitação de comandos no teclado do telefone. Analisa as diversas características deste tipo de atendimento, procurando identificar as situações em que se obtém a satisfação ou insatisfação do consumidor.