Não disponível / Suppose the second-order equation x + g(x, x) = O has a periodic solution x0 , where g ∈ C2. The main concern of this work is to study the existence of periodic solutions of the.perturbed equation &xuml; + g(x, x) = ε (t, x ,x, ε) near x0 for small lel ,where Ι ε Ι, where f ∈ C1 and f is a periodic function. In this work we use the Liapunov Schmidt Reduction Method and the Implicit Function Theorem.

Esta dissertação apresenta a macrometodologia MINO OFB, composta de módulos para controle de projetos, especificação e projeto de Sistemas de Informação. A metodologia para especificação, denominada REMORA é apresentada com mais detalhes e uma ferramenta de apoio ao uso dessa metodologia foi desenvolvida. A ferramenta, denominada MIND AID, foi escrita em Prolog e apresenta facilidades para a especificação de um sistema em REMORA, análises de consistência da base de dados que representa o sistema, bem como vários relatórios para apoio na fase de especificação e nas fases do ciclo de vida. / Here are shown the macromethodology MINO-8F8 which is the integration of three methodologies and the methodology REMORA which is one of those three methodologies. Afterwards Is given a description of a CASE called MIND AID, proposed to help the designer using the methodology REMORA. This CASE, composed of 11 modules and written In Prolog, permits a coherent specification the model\'s elements and reporte generation.

Não disponível / Consider the two-point boundary value problem (1; λ, μ) x\" + g ( t, x, x,\', λ, μ) = 0 Mx(0) + Nx(b) = K where x = (x, x\')t; M, N are 2x2 matrices such that the rank (M, N) = 2; K = (K1, K2)t is constant; λ μ are real parameters and g is a sufficiently smooth function of its five variables. If x0 = x0(t) is a solution of (1; 0,0), we study the local bifurcation of solutions of (1, λ, μ) near x0. There is a special emphasis on the case where g(t, x, x\', 0, 0) = g (x, x\') is autonomous under b-periodic boundary conditions, i.e., M = -N = I, K = 0. The case g(t, x, x\', λ μ) =g(x, x\') + λf1(t) + λf2 (t), with fj(t+b) = fj(t), j = 1, 2 is studied together with similar versions which include a forced Lotka-Volterra predator-prev model for two species.

Não disponível / This dissertation is concerned with the Trapezoidal Product Integration Method to resolve Generalized Abel Linear Integral Equations of first -kind. Special attention is given to theorem of the convergence of the trapezoidal method. Mathematical results and a discussion about the existence and uniqueness of the solutions of the Generalized Abel Linear Integral. Equations are presented in chapter one. Theorems related with the convergence of the trapezoidal method are shown in chapters two and three. In chapter four it is analized the implicit backward difference product integration methods, proved its convergence,and also it is applied a sufficient condition to the root condition of the trapezoidal method. Numerical result is shown in chapter five.

Neste trabalho apresentamos a construção e implementação do Núcleo de um Sistema Especialista que usa raciocínio por \"default\" e representa o conhecimento usando \"frames\". O raciocínio \"default\" está associado com conhecimento incompleto, isto é, possíveis hipóteses (defaults) podem ser usadas para raciocinar, sempre que elas forem consistentes com os demais conhecimentos do problema em questão. A idéia geral utilizada é que os seres humanos constroem uma \"teoria científica\' para predizer observações e que esta teoria pode ser justificada. Mostramos também uma forma simples de selecionar estas teorias a fim de obter aprendizagem ou diagnose. O sistema tem sido implementado em uma extensão da linguagem de programação lógica PROLOG. / In this work we show how to Dulia and implement an Expert System inference engine using default reasonlng and frames as knowledge representation. Default reasoning is associated with lncompete knowledge where possible hypothesis (default) can be used to reason, provided they are conslstent with the knowledge in the Knowledge Base. The general ideia is that human beings try to build a scientific theory to predict observations and furthermore, thls theory can be justified. We also show a simple approach to select from these theories such that we can obtaln learnlng or diagnosis. The Implementation language is an extension of the logic programming language PROLOG.

Não disponível / In this work we study the problem of \"roughness\" of exponentiaI dichotomies for family of evolutíon operators. We show that dichotomies are not destroyed by small perturbations of the equations. We do this for equations that are perturbations of C0 - semigroups. Our main tool is discreta-díchotomy.

Neste trabalho apresenta-se o projeto de uma rede local de alta velocidade baseada num barramento paralelo centralizado. Procurou-se explorar técnicas de arquitetura como uma forma de compensar as limitações tecnológicas de hardware, obtendo-se altas taxas de transmissão com tecnologia nacional a custos acessíveis. Descrevem-se os aspectos gerais de projeto e implementação, e apresentam-se os resultados obtidos com o primeiro protótipo da rede local. / This dissertation is concerned with the project of a high-speed local-area network based on a centralized parallel. Architecture techniques were exploited to compensate for limitations in the hardware. High speed transmission rates were obtained at accessible prices and using brazilian technology. General features of the project and implementation are described and results obtained from a prototype of the network are presented.

Não disponível / In this work we study the existence and uniqueness of periodic solutions for some classes of nonlinear hyperbolic partial differential equations using the Nash implicit funcional theorem.

Não disponível / In this work we present in details the classification and the abutments of all 0-modal germs.Such classification was proposed by V.I.Arnoi\'d (I). By using techniques of heavy determination to semi - quasi-homogeneous germs we reworked the previously mentioned classification turning it,in the main,more interesting At last,by using concepts and results that connect modal ity and internai modal ity we present a technique to verify how much modal is a certain germ that is stable equivalent to a germ semi-quase-homogeneous in two varia bles.

A avaliação das reservas de um depósito mineral é um procedimento que tem por objetivo estimar a quantidade e qualidade do minério, dando subsídios aos estudos econômicos, de planejamento de lava e beneficiamento. Existem diversos métodos de avaliação de reservas, que podem ser divididos em dois grupos principais: métodos clássicos e métodos computacionais. Esses métodos utilizam-se de diferentes princípios de interpretação, e técnicas matemáticas de interpolação, que devem permitir uma melhor estimativa de variáveis de interesse, em pontos não amostrados da pesquisa mineral. Esses diferentes métodos de cálculo foram aplicados no estudo de um caso no Depósito de Canoas, município de Adrianópolis (PR). O depósito de Canoas é representado por um corpo lenticular, alongado, do tipo estratiforme; a mineralização ocorre sob a forma de disseminações de sulfetos (galena, esfalerita, pirita) em rochas carbonáticas. Este depósito é compartimentado em dois corpos (Canoas 1 e Canoas 2) por uma erosão na sua porção média sendo que, para fins de avaliação de reservas foram utilizados os dados referentes a Canoas 2, levantados durante o inventário dos dados da pesquisa mineral e caracterizados durante a etapa de análise de dados. Os métodos clássicos utilizados foram perfis padrão, perfis lineares, polígonos e triângulos e, os computacionais, foram inverso da potência da distância (IPD) e krigagem ordinária (KO). Os resultados obtidos para a Mina de Canoas 2 indicam que os métodos aplicados não apresentam diferenças significativas na avaliação das reservas medidas ou teores médios. As diferenças obtidas entre esses métodos podem ser atribuídas as diferenças de áreas entre os métodos considerados. Esta relativa similaridade dos resultados é função do tipo de depósito (estratiforme), espessura e teores regulares e amostragem (malha regular). A utilização de um método de avaliação de reservas que produza resultados de qualidade deve ser função dos aspectos geológicos dos depósitos e da determinação de medidas de erros associados as estimativas. Na impossibilidade da utilização da KO (não obtenção de variogramas significativos), e possível a utilização do IPD seguido dos métodos clássicos, uma vez que dependendo do tipo de deposito, estes podem produzir boas estimativas. / Ore reserve estimation is a technical procedure which attempts to evaluate a mineral deposit and provide the necessary information regarding economical feasibility, planning, and ore processing. Basically, the ore reserve estimation methods are the classical and computational methods which utilize different principles of interpretation and mathematical interpolation functions. Both try to establish the best estimation of the interest variable in points which were not sampled. These different ore reserve estimation methods were applied to the lead-zine deposit of Canoas, municipality of Adrianoplois, state of Paraná, southern Brazil. The Canoas deposit is represented by a long lenticular stratiform body, the mineralization occurs in sulphide disseminations (galena, sphalerite, pyrite) in carbonate rocks. This deposit is divided into two parts (Canoas 1 and Canoas 2) separated by erosion. The data set used for ore reserve estimation in Canoas 2 was taken from the data inventory of mineral exploration and characterized during the data analysis phase. Classical methods employing cross-sections, polygons, and triangles were used, while computational methods included inverse of weighting distance and ordinary kriging. The ore reserve estimation methods applied in this case did not present significant differences in ore reserves or average grades. The differences that were observed between these methods can be attributed to differences in the size of the computed areas. This relative similarity of the results is a function of deposit type (stratiform) and the regular thickness, grade, and sampling.