Neste trabalho estudamos algumas raízes do polinômio de Bernstein bf associado a um germe f(X) ∈ ℂ{X1,. . . , Xn} com ponto crítico isolado na origem. Sabe-se que, para cada raiz de bf, existe um número espectral tal que a soma desses dois números é um inteiro. Em geral, não se sabe exibir explicitamente esses números inteiros, embora existam cotas para eles. M. Saito [Sai93] exibe um subconjunto do conjunto das raízes de bf tal que para esses elementos a soma vale -1. Hertling e Stahlkc [IIS99] conseguiram aumentar esse subconjunto de raízes, supondo f(X) em duas variáveis, com ponto crítico isolado e monodromia finita (hipóteses essas bem restritivas). Conseguimos estender esse último resultado, sem restrições sobre o número de variáveis de, f{X) e apenas com a hipótese de ponto crítico isolado. Além disso, no caso de germes f(X1, X2) irredutíveis e com um único par de Puiseux, mostramos como descrever um subconjunto maior de raízes de bf, quando f pertence a uma dada classe de equidiferenciabilidade. / In this work we studv some roots of the Bernstein polynomial bf associated to a germ f(X) in the maximal ideal of ℂ{X1,. . . , Xn} with an isolated criticai point at the origin. It is known that for each root of bf there exists a spectral number such that the sum of these two nurnber is an integer. In general, one doesn\'t. know how to compute explicitly these integers, although there are bounds on them. M. Sai to, in [Sai93], exhibits a subset of the set of roots of bf, such that, for these elements the sum is -1. Heríling and Stahlke, in [HS99], succeeded to increase this subset of roots, assuming f(X) in two variables, with isolated criticai point and finito monodrorny (such hypotheses are very restrictive). We succeeded to extend this last result without any restriction on the number of variables of f(X) and only with the assumption of isolated criticai point. Moreover, in the case of irreducible germs f(X1, X2) with only one Puiseux pair, we show how to describe a. larger subset of roots of bf, when f belongs to a given equidiferentiability class.

Este trabalho discute tópicos fundamentais relacionados com a conceituação básica sobre sistemas computacionais distribuídos, redes locais e servidores de impressão, destacando-se protocolos de comunicação e formas de implementação dos servidores de impressão. Uma arquitetura para servidores de impressão operando em sistemas computacionais distribuídos baseados em rede local é apresentada. A organização proposta e implementada apresenta vantagens em relação a outras existentes, principalmente em termos de portabilidade do software, permitindo atendimento a uma comunidade de usuários diversificada. / This work discusses fundamental concepts related to distributed computing systems based on local area networks and printer servers. Communication protocols and approaches for printer server implementation are discussed in great detail. An architecture for LAN-based printer servers is presented. The system proposed and implemented has advantages over other existing systems, mainly in terms of software portability, allowing easy instalations in different environments and, therefore, extending the service to a greater user community.

Neste trabalho,revemos alguns métodos de pontos interiores para programação linear, com ênfase no método \"dual afim\" de Adler, Karmarkar, Resende e Veiga, (1986), o qual tem se mostrado o mais promissor. Além disso, estendemos o método dual afim para explorar a estrutura de restrições canalizadas: b- ≤ Ax ≤ b+, como conseqUência imediata , com uma ligeira modificação do mesmo. / In this work we review some interior points methods for linear programming, with emphasis on the affine scaling method of Adler , Karmarkar, Resende and Veiga, (1986), which has seemed to be the most promissor. Furthermore, we extend the affine scaling method to explore interval linear programming: b- ≤ Ax ≤ b+, as immediate consequence, upper bounds variables are obviously trated, with a slight modification of the affine scaling method.

Em Ciência da Computação, uma boa solução para um determinado problema muitas vezes depende de uma boa forma de representação. Para a maioria das aplicações de Inteligência. Artificial, uma escolha da representação de conhecimento é ainda mais difícil, já que os critérios para essa escolha são menos claros. Embora não exista um consenso geral do que é representação de conhecimento, muitos esquemas foram propostos para representar e armazenar conhecimento. Neste trabalho são discutidos os problemas e questões envolvidos com representação de conhecimento, bem como os esquemas de representação mais difundidos, com especial ênfase em frames. frames são um esquema de representação de conhecimento que permitem realizar descrições de objetos complexos. lima das principais características deste esquema de representação é a herança de propriedades, onde urna classe mais especializada, utilizando a estrutura hirárquica, pode herdar todas as propriedades da classe mais geral, fornecendo tanto facilidades de representação como mecanismos de economia cognitiva. Os sistemas de frames baseiam-se na idéia de que a codificação conceituai, no cérebro humano, está menos vinculada com a definição estrita e exausiiva, da propriedades que as entidades devem ter para serem consideradas exemplares de alguma categoria, e mais vinculada com as propriedades salientes do objeto, que são típicas de sua classe. Uma -dificuldade que tem sido encontrada nestes sistemas, assim como em outros sistemas de representação de conhecimento, é a falta de uma semântica formal. Neste trabalho é implementado um sistema para manipular frames. Este sistema consiste de vários procedimentos de manipulação de frames, slots e facetas, tais como: criação, instanciação, verificação, consulta e remoção. O sistema implementado permite a verificação de tipo dos slots. Esta característica permite aos slots tanto generalizar o tratamento dos atributos como representar similaridade entre os mesmos. Finalmente, são identificadas algumas questões a serem consideradas em trabalhos futuros. / Knowledge Representation is a, central problem in Artificial Intelligence AI today. The choice of a good knowledge representation in AI is even more difficult than in other areas of Computer Science since there are substantially greater choices to make and the criteria is less clear. The especification of a knowledge representation consists of two major components: a description of the notation to express facts and a description of the operations that can be performed on a knowledge base. Although there is little agreement as to what knowledge representation actually is, many schemes have been proposed as general frameworks for represeniing and storing knowledge. In this work we discuss in general some knowledge representation schemes commonly used in AI and afterwards we concentrate in Frame theory. Frame theory is really a vague paradigm that inspired an era of research on intelligent systems. Frames provide structured representation of an object, situation or concept as well as a class of them. Frames allow classes to be described as specializatioris of other more generic classes and for those descriptions to be organized into taxonomies. Constructs should be available in a frame system for organizing frames that represent classes into taxonomies. One difficulty that has troubled many knowledge representation languages, including frame languages, is the lack of formal semantics. In this work we develope a system which provides mechanism for specifying relationships between objects represented by frames. The system provides operations for creating and deleting frames, slots and attributes as well as for reading and writing attribute values. The system has been extended to provide a slot typing mechanism which is similar to specifying a frame-name as the value of a slot in a traditional frame system. This extension generalizes the treatment of slot attributes and enables representation of similarities between slots. Finally, we identify some issues relevant to future research.

Geradores de Aplicação são ferramentas de software que conseguem automatizar parte substancial do trabalho rotineiro envolvido na atividade de desenvolvimento de software. Eles aceleram o processo de implementação, transformando especificações de alto nível em produtos da aplicação, e permitem, cOm isso, que os projetistas de sistemas se preocupem apenas com os aspectos relevantes do problema. Neste trabalho mostra-se como os geradores de aplicação se encaixam no processo de desenvolvimento de software e discute-se aspectos próprios de sua construção. Apresenta-se, também, uma revisão bibliográfica de vários geradores de aplicação existentes e de ferramentas de apoio à construção desses geradores. Uma classificação de geradores de aplicação é proposta, baseada na capacidade do gerador permitir a mudança de domínios e a mudança dos produtos gerados, e, segundo essa classificação, agrupam-se os geradores relatados na revisão bibliográfica. Apresenta-se, também, um gerador de aplicação do tipo mais geral, dentre os propostos na classificação, desenvolvido neste trabalho. Esse gerador de propósito geral (ou meta-gerador), chamado GEDAI (Gerador com Domínio e Aplicação Instanciáveis), pode ser instanciado para domínios específicos e aplicações específicas dentro desses domínios. Para demonstrar a sua utilização, são apresentados três exemplos de instanciação: para o domínio de sistemas reativos especificados com statecharts, gerando um programa simulador; para o domínio de conjuntos matemáticos, gerando estruturas de dados em C; e, para o apoio ao desenvolvimento do próprio meta-gerador. / Application Generators are software tools which can automatize the routine work involved in Software Development. They a,celerate software implementation transforming high levei specifications in products, thus allowing systems designers only to worry about the relevant aspects of that problem. The integration of application generators in the software developrnent process is shown and their construction is discussed. Many application generators are surveyed. An application generator framework based on the generator capability of supporting different application domains and application products is proposed. This framework is used to classify the generators surveyed. An application generator, called GEDAI (Domam n and Application Instantiable Generator), was developed, whose type is the most general within the framework proposed. GEDAI can be instantiated to many domains and to many a,pplications within a domain. Three instantiation examples are shown to demonstrate GEDAI\'s use: the reactive systems domain specified with statecharts, generating a simulation program; the mathematical set domain, generating C data structures; and, supporting the development of GEDAI itself.

Not available / In this work we discuss the standard Hopf Bifurcation \'Theorem, but our main purpose is to analyse Hopf Bifurcation for symmetric differential equations. In this case it is given an application that involves coupled Van der Pol equations. The main tools used here are the Liapunov-Schimidt Method and Group Representations techniques.

O objetivo principal deste trabalho é apresentar e analisar métodos numéricos intervalares para a solução do problema de auto-valores de matrizes reais. Serão apresentados métodos intervalares para a limitação dos auto-valores e respectivos auto-valores de matrizes simétricas (Nickel, Zhiying), e desenvolvidas versões intervalares de métodos numéricos para a determinação do polinômio característico de matrizes ( Leverrier-Faddeev, Danilevsky), bem como de métodos numéricos iterativos clássicos (Rutishauser, Francis) para a solução do citado problema. / The main purpose of this thesis is to introduce and analyse interval numerical methods for the solution of the eigenvalue problem of real matrices. Interval methods for bounding the eigenvalues and respective eigenvectors of symmetric matrices (Nickel, Zhiying) are presented. Interval versions of numerical method for determining the characteristic polinomial of matrices (Leverrier-Faddeev, Danielevsky), and those of some classical numerical methods (Rutishauser, Francis) to solve the above mentioned problem are also presented.

Este trabalho se constitui na caracterização geométrica e cinemática da Zona de Cisalhamento Major Gercino (ZCMG), no trecho Canelinha - Garcia, região centro-leste do estado de Santa Catarina. Este lineamento faz parte do importante sistema de cisalhamento de direção NE-SW que afeta a região sul-brasileira e uruguaia. Ao longo de toda sua extensão, a ZCMG separa duas áreas geologicamente diferentes que correspondem, em Santa Catarina, aos domínios interno (granitóides) e intermediário (supracrustais) do Cinturão Dom Feliciano (CDF). Esta zona de cisalhamento possui estruturação geral NE, com características dúcteis-rúpteis e movimentação predominantemente dextral. A geração das rochas miloníticas deu-se, principalmente, no grau metamórfico xisto-verde. Na região estudada, a ZCMG caracteriza-se por uma faixa milonítica principal a noroeste (faixa milonítica norte), com cataclasitos até ultramilonitos, predominando rochas com texturas protomiloníticas e miloníticas, e uma faixa milonítica sudeste (faixa milonítica sul), onde predominam rochas miloníticas. Entre essas faixas ocorre um conjunto de granitóides associado ao desenvolvimento da ZCMG. A faixa milonítica norte limita os metassedimentos do Grupo Brusque a noroeste dos granitóides centrais e a faixa milonítica sul faz o contato entre esses mesmos granitóides e os granitoides do Complexo-Granito-Migmatítico (Domínio Interno do CDF). O magmatismo cálcio-alcalino ocorrente na área está representado pelos granitóides da Associação Granitóide Rolador (AGR) e da Associação Granitóide Fernandes (AGF) compreendendo rochas metaluminosas e peraluminosas. A AGR apresenta, predominantemente, biotita-monzogranitos cinzentos, porfiríticos a porfiróides, e na AGF predomina uma série petrográfica de anfibóliosienogranitos róseos, porfiróides. Este magmatismo granítico teve grande expressão no Neoproterozóico, entre 670 e 590 Ma (conforme datações isocrônicas Rb/Sr RT e U/Pb em zircões), denotando adicionalmente, através das razões iniciais (\'Sr POT.87\' / \'Sr POT.86\')i, importante contribuição de material crustal na sua formação. O padrão de resfriamento mostra-se um pouco mais jovem, entre 580 e 560 Ma, conforme dados K-Ar em biotitas. A ZCMG teve uma evolução cinemática complexa, caracterizada pelas estruturas mesoscópicas, análises obtidas pelo método de Fry e pelos eixos-c de quartzo. Tais análises estruturais, mostram uma movimentação predominante dextral, com uma importante componente oblíqua associada. A orientação da faixa milonítica, em relação ao campo de tensores determinados, indica que importante componente da deformação foi por cisalhamento puro, tendo acarretado, em inflexões locais, movimentações sinistrais. Esta componente coaxial é sugerida por petrotramas de concentrações simétricas e elipses de deformação com eixo Z a 90° da foliação milonítica, bem como pela existência de porfiroclastos simétricos em seções delgadas. As rochas miloníticas da ZCMG apresentam orientação cristalográfica desenvolvida sob temperaturas relativamente baixas, indicada pelo metamorfismo na fácies xisto-verde e pelos petrotramas. Apesar da baixa temperatura, esta orientação originou-se em condições de alta taxa de deformação, evidenciada pela presença de minerais deformados e estirados e pela geração de rochas miloníticas e ultramiloníticas, onde comumente ocorre, total paralelização das superfícies S e C. Idades K-Ar obtidas em biotitas e muscovitas destas rochas, concentram-se no intervalo 570 e 540 Ma, representando épocas relacionadas ao resfriamento destas, a temperaturas inferiores a 250-300°C. Reativações rúpteis tardias (com direções em torno de N-S e N50W) são indicadas por estruturas lineares bem caracterizadas em fotografias aéreas e imagens de radar, por fraturamentos repetitivos em afloramentos, bem como pela presença, em seções delgadas, de faturamentos transgranulares de minerais. Estas movimentações tardias são também indicadas pelas informações geocronológicas obtidas através do método K-Ar em frações finas, que acusaram idades entre 230 e 206 Ma (Triássico médio a superior e Jurássico inferior). Tais dados obtidos em frações finas minerais, forma interpretados como relativos a condições metamórficas de baixo grau ou muito baixo grau (transição rúptil-dúctil). / This work describes the geometric and kinematic characteristics of the Major Gercino Shear Zone (MGSZ) in the Canelinha - Garcia área. This shear zone is one of the major lineaments that affect all southern brazilian precambrian terrains. In Santa Catarina State it separates, along is whole extension, the supracrustal rocks of the Brusque belt (northern part) from the Granitoid belt (southern). This zone is characterized by a regional NE trend and a dextral sense of movement where ductile-brittle structures predominate. The MGSZ is composed of two mylonitic belts separated by granitoid rocks probably associated to the development of the shear zone. Both shear zones show cataclastic to ultramylonitc rocks, but mylonites and protomylonites predominate. Most of mylonitic rocks were produced under green schist metamorphic conditions at high strain rate. The calc-alkaline granitoids present in the area can be grouped in two granitoid associations with meta to peraluminous affinities. The Rolador Granitoid Association (RGA) is characterized by greyish porphyritic biotite-monzogranites and the Fernandes Granitoid Association (FGA) by coarse-grained to porphyritic pinkish amphibole-syenogranites. The U-Pb and Rb-Sr ages range from 670 to 590 Ma with the \'Sr POT. 87\' / \'Sr POT.86\' initial ratios suggesting a crustal contribuition in the generation of these rocks. Despite the sinistral displacement often observed, most of the mesoscopic structures and kinematic indicators show predominance of dextral movement with an important oblique component. The results of the c-axes analyses in quartz-rich rocks are in good agreement with this interpretation also indicating a coaxial deformation produced by pure shear strain as can be seen in the symmetric pattern of the preferred orientations of the c axes in many of the diagrams obtained in the MGSZ. The importance of the pure shear component is also emphasized by the results of the Fry method. Many z axes of the strain ellipses are at high angle to the shear foliation. Symmetric porphyroclasts also corroborate this hypothesis. The micaceous minerals formed during the shear development indicate K-Ar ages around 555 \'+ OU -\' 15 Ma. Brittle reactivations of the shear zone have been placed by K-Ar in fine-fraction materials at Triassic time (215 \'+ OU -\'15Ma).

Esta tese foi desenvolvida reunindo duas áreas do conhecimento, a saber,ciência dos materiais e eletroquímica. No campo da ciência dos materiais desenvolveu-se a fase de produção de catalisadores metálicos mistos, que foram obtidos por fundição em forno a arco elétrico. Optou-se por este processo, uma vez que o arco elétrico pode alcançar temperaturas acima de três mil graus centígrados, que foi necessária para fundir metais como, Pt, Ir, Ru, Os e Mo, que apresentam elevados pontos de fusão. As amostras preparadas constituíram-se de ligas binárias e ternárias a base de platina, nas seguintes proporções, em porcentagem em massa: Pt/Ru (70:30), Pt/Ir (90:10), Pt/Os (80:20), Pt/Mo (90:10), Pt/Ir/Mo (60:20:20) e Pt/Ru/Os (80:10:10). Esta amostras não mostraram defeitos de fundição, apesar da baixa solubilidade que estes materiais apresentam entre si. Posteriormente ao processo de fundição, as amostras foram caracterizadas por Microscopia Ótica (MO), Microscopia Eletrônica de Varredura (MEV), Difração de Raios-X e Voltametria Cíclica. O estudo de reatividade destas ligas, frente a oxidação do metanol, foi realizado por Voltametria Cíclica, Cronoamperometria e Espectroscopia de Infra-Vermenho in situ com transformada de Fourrier (FTIR). Os estudos de caracterização mostraram que as ligas alcançaram um grau aceitável de homogeneidade, mantendo suas características em toda a amostra. Adicionalmente, as amostras preparadas neste trabalho apresentaram-se muito eficientes no processo de catálise frente a oxidação demetanolAs etapas elementares do mecanismo de oxidação de metanol até dióxido de carbono, sobre as diferentes ligas preparadas, foram determinados e as atividades catalíticas de cada liga foram comparadas, concluindo-se que as ligas ternárias apresentam o melhor desempenho catalítico. Ou seja, os catalisadores ternários, PtIrMo e PtRuOs, apresentaram melhores resultados catalíticos do que os binários, PtIr, PtMo, PtRu e PtOs. Finalmente, encontrouse que o catalisador PtRuOs apresentou o melhor desempenho entre todos os sistemas testados / This work was intended to be in the interface among electrocatalysis and materials science. The catalysts investigated in this work consist of binary and ternary platinum alloy, where the second and the third metals are from platinum group.The alloys were prepared by fusion in a voltaic arc furnace. This procedure was chosen because the system can reach temperatures up to 3000 oC, necessary to perform the fusion of Pt, Ir, Ru, Os and Mo metals. The catalysts investigated in this work were binary and ternary Pt-based alloys, namely as, in mass % PtRu (70:30), Pt (90:10), PtOs (80:20), PtMo (90:10), PtIrMo (60:20:20) and PtRuOs (80:10:10). After the fusion process, the materials were physically characterized by optic microscopy, scanning electronic microscopy (SEM), X-ray diffraction (XRD). The catalytic activity for methanol electrooxidation was studied by cyclic voltammetry, chronoamperommetry and in situ infrared spectroscopy with Fourier transform (FTIR). The investigation performed in this work has provided data that improves the knowledge about the preparation and applicability of intermetallic alloys in electrocatalysis process. The reaction mechanism for methanol oxidation on the alloys was determined and the catalytic activity were compared. In conclusion, the ternary alloys showed highest activity for methanol oxidation

Não disponível. / Not available.