No presente estudo é realizada uma análise morfofuncional (paleoautoecológica) dos bivalves das formações Serra Alta, Terezina e Corumbataí, Grupo Passa Dois, Neopermiano, que ocorrem nas assembléias de Anhembia froesi, Pinzonella illusa e Pinzonella neotropica, no Estado de São Paulo. O estudo teve por objetivo a reconstrução do habito de vida destes invertebrados como ponto de partida para a discussão de aspectos paleoecológicos mais amplos. Na assembléia de Anhembia froesi (Formação Serra Alta e base da Formação Corumbataí), ocorrem bivalves escavadores rasos, lentos (Anhembia froesi, Tambaquyra camargoi, Mendesia piracicabensis, Maackia contorta), de semi-infauna (Barbosaia angulata) e epifauna (?Anthraconaia mezzalirai) bissadas. Na assembléia de Pinzonella illusa (formações Serra Alta e Corumbataí), com maior diversidade de guildas, predominam os bivalves escavadores rasos, lentos (Pinzonella illusa, Plesiocyprinella carinata, Ferrazia cardinalis, Terraiopsis aequilateralis e Othonella araguaiana), sendo encontrados, também, escavadores rasos, rápidos (Favalia arcuata, Holdhausiella elongata e Runnegariella fragilis) ou escavadores intermediários (Casterella gratiosa, Itatamba paraima). Evidências morfofuncionais (e.g., obesidade da concha) sugerem que estas espécies tiveram preferência por substrato arenoso, estável. Formas escavadoras intermediárias, rápidas (Cowperesia anceps, Angatubia cowperesioides), em substratos finos também ocorrem, sendo incomuns os escavadores profundos (Roxoa corumbataiensis) e de epifauna bissada (Coxesia mezzalirai). A assembléia de Pinzonella neotropica (formações Corumbataí e Terezina) inclui bivalves escavadores rasos, lentos, em substrato arenoso, estável (Pinzonella neotropica, Jacquesia brasiliensis), escavadores intermediários, rápidos, em substrato fino (Cowperesia anceps) e escavadores profundos, em substrato estável (Roxoa intricans). Além destes, bivalves da semi-infauna bissada (Naiadopsis lamellosus) são também freqüentes. A baixa proporção de bivalves da epifauna nas malacofaunas estudadas pode ser explicada pela interação de fatores, como a baixa disponibilidade de substratos grossos, duros; as condições de águas rasas, freqüentemente afetadas por tempestades e o alto grau de estresse ambiental (variação na salinidade) que marcam o intervalo estratigráfico de ocorrência dos bivalves. Nenhuma das 25 espécies estudadas apresenta características anatômicas (e.g., claustrum, tubérculos, torção das valvas) ou feições tafonômicas (e.g., pontos de dissolução do umbo, fraturas regeneradas) tipicamente encontradas nas conchas dos bivalves dulcícolas. Por outro lado, feições morfológicas exclusivas de bivalves marinhos foram observadas em Ferrazia cardinalis (e.g, costelas radiais), Runnegariella fragilia (e.g., concha anteriormente expandida) e Cowperesia anceps (e.g., ornamentação concêntrica). Além disso, características bioestratinômicas típicas de conchas de bivalves marinhos ou de águas salobras, como predação por organismos durófagos foram verificadas em valvas de Plesiocyprinella carinata e, principalmente, de Pinzonella illusa. Os bivalves do Grupo Passa Dois (exclusive Formação Irati) não foram, portanto, organismos dulcícolas. Essa hipótese encontra respaldo também em análises cladísticas que mostram que a maior parte, se não todos os bivalves do intervalo estudado, são afins à famílias marinhas (e.g., Família Megadesmidae). Entretanto, precisa ficar claro que o teor preciso de salinidade do ambiente não pode ser determinado com base exclusivamente na análise paleoautoecológica. Neste estudo, sugere-se, pela primeira vez, que Anhembia froesi e Tambaquyra camargoi (formações Serra Alta e Corumbataí) são excelentes candidatos permianos para figurarem no rol de bivalves quimiossimbiontes, como indicado pela presença de rostrum e gigantismo nas suas conchas e pelo fato de serem encontradas em sedimentos finos depositados abaixo ou junto ao nível de base das ondas de tempestades, em ambiente com teor variável de oxigênio, o que pode ser corroborado também por outras evidências estratigráficas e tafonômicas (e.g., presença de horizontes com nódulos fosfáticos nos sedimentos associados). No geral, os bivalves estudados ocorrem em concentrações fossilíferas internamente complexas, mormente representadas por tempestitos proximais (predominantes) e distais. Por exemplo, bivalves preservados em posição de vida são muito raramente encontrados nas concentrações fossilíferas examinadas. Geralmente, os bivalves escavadores rasos, de semi-infauna e epifauna, representam elementos parautóctones a alóctones nas acumulações esqueléticas, exibindo maior grau de mistura temporal e baixa resolução espacial (time-averaging), do que os bivalves escavadores profundos e intermediários. Isso se deve, possivelmente, a estratégia de vida mais exposta à ação de distúrbios físicos (e.g., correntes tracionais de fundo) exibida pelas formas de epifauna, semi-infauna e infauna rasa. As características morfofuncionais e tafonômicas das conchas dos bivalves podem constituir, em conjunto, importantes ferramentas para a determinação da dinâmica sedimentar (e.g., taxa de sedimentação). Por exemplo, em uma concentração coquinóide (tempestito), encontrada no topo da Formação Corumbataí (assembléia de Pinzonella neotropica), há a presença de conchas articuladas fechadas de bivalves escavadores rasos (Pinzonella neotropica), intermediários (Cowperesia anceps) e de semi-infauna bissada (Naiadopsis lamellosus). Valvas desta última espécie ocorrem desarticuladas, fragmentadas e caoticamente distribuídas na matriz, contribuindo significativamente com a composição da acumulação esquelética. Entretanto, valvas articuladas e em posição de vida ocorrem também no topo da concentração, permitindo não apenas o reconhecimento do processo de retroalimentação tafonômica, como também a identificação de diferentes eventos de não deposição de sedimentos, seguidos de episódios de rápida deposição de finos, possivelmente associados às tempestades. Todos os dados paleoautoecológicos e tafonômicos obtidos mostram, consistentemente, que reconstruções paleossinecológicas não podem ser estabelecidas sem o prévio conhecimento desses dados. Neste contexto, um protocolo contendo 7 etapas distintas (e.g., atividades preliminares como a delimitação do escopo de estudo e hipóteses, atividades de coleta, atividades de laboratório, análise qualitativa, análise quantitativa, interpretação dos dados e apresentação dos resultados) é sugerido, como ponto de partida para a análise e verificação mais rigorosa de hipóteses paleossinecológicas. / In this study a detailed paleoautoecological analysis of the Permian bivalves of Passa Dois Group (Serra Alta, Terezina and Corumbataí Formations), Paraná Basin, was carried out. Its main goal is the reconstruction of the mode of life of these bivalves as a starting point for broad paleoecological discussions. The Anhembia froesi assemblage (Serra Alta and Corumbataí Formations) is dominated by shallow and slow burrowing bivalves (Anhembia froesi, Tambaquyra camargoi, Mendesia piracicabensis, Maackia contorta). Semi-infaunal (Barbosaia angulata) and epifaunal, byssate (?Anthraconaia mezzalirai) bivalves are also common. On the other hand, a large number of shallow and slow burrowers (Pinzonella illusa, Plesiocyprinella carinata, Ferrazia cardinalis, Terraiopsis aequilateralis and Othonella araguaiana) dominate the Pinzonella illusa assemblage (Serra Alta and Corumbataí Formations). Rapid burrowers (shallow or intermediate) are, however, represented by the shallow burrowers Favalia arcuata, Holdhausiella elongata and Runnegariella fragilis, and the intermediate burrowers Cowperesia anceps, Angatubia cowperesioides, respectively. Slow, intermediate burrowers (Casterella gratiosa, Itatamba paraima) are less common, while deep burrowers (Roxoa corumbataiensis) and epifaunal byssate (Coxesia mezzalirai) bivalves are rare. Several lines of morphological evidence (e.g., shell morphology, obesity) strongly suggest that the shallow and deep burrowers as well as epifaunal byssate bivalves colonized stable (sandy) substrates. The same ecological guilds that are represented in this assemblage can be recognized in the Pinzonella neotropica assemblage (upper part of Corumbataí and Terezina Formations) such as: shallow and slow burrowers in soft and stable substrates (Pinzonella neotropica, Jacquesia brasiliensis); rapid and intermediate burrowers in soft bottoms (Cowperesia anceps); deep burrowers (Roxoa intricans) and endobyssate elements (Naiadopsis lamellosus) in soft, but bioclastic-rich sediments. All of them were suspension-feeding bivalves. The low percentage of epifaunal, byssate bivalves in these assemblages is noteworthy. An interplay of abiotic and biotic factors could explain this feature. For example, during the deposition of the Corumbataí and Terezina Formations, condition of shallow waters, with soft and unstable substrate, frequently affected by storm events prevailed. Morphologic (e.g., claustrum, tubercles, valve torsion) and taphonomic features (e.g., dissolution pits, regenerated breakages) commonly observed in freshwater bivalves were not found in the studied species (n= 25). On the other hand, morphologic features typically observed in marine bivalves were noted in Ferrazia cardinalis (e.g., radial ribs), Runnegariella fragilis (e.g., anteriorly expanded shells) and Cowperesia anceps (e.g., concentric ornamentation). Additionally, some specimens of Plesiocyprinella carinata, and particularly Pinzonella illusa, show signs (drill holes) of drilling predation. Drilled bivalves are unknown among freshwater forms. The Passa Dois Group bivalves (not including the Irati Formation) were not freshwater bivalves, which is in accordance with recent cladistic analysis that indicates affinities with marine bivalve families. In addition, Anhembia froesi and Tambaquyra camargoi (Serra Alta and Corumbataí) are interpreted, for the first time, as chemosymbiotic bivalves. This is supported by the occurrence of a rostrum (Anhembia froesi) and the large body size of their shells. These bivalves are also found in fine, soft, oxygen deficient substrates, deposited below or near storm wave base. The examined bivalves are often preserved in internally complex fossil concentrations (proximal and distal tempestites). In all of these bivalves in life position are rare. The occurrence of disharmonious time-averaging is remarkable, particularly among the epifaunal, semi-infaunal and shallow burrowers. This is because the shells of bivalves with exposed strategy are more prone to spatial and temporal mixing. The paleoautoecologic and taphonomic analysis could be an important tool for the study of sedimentary dynamics (e,g., sedimentation rate). For example, life positioned specimens of Naiadopsis lamellosus with the comissure plane inclined about 45 degrees to the bedding plane occur on the top of a thin (~10 cm) bioclastic-rich concentration, intercalated in siltstones. The underlying shell layer was buried to a depth of ~1.6 cm. Normally, the shells are buried up to their umbonal carena, the anterior margin (buried portion) of closed articulated shells being slightly compressed dorso-ventrally. The original substrate provided by the underlying accumulation, including a great amount of bioclasts and also some muddy parts, seems suitable for the setting of Naiadopsis lamellosus larvae. Still, the presence of disarticulated, complete or fragmented, and abraded or pristine shells of Naiadopsis lamellosus with different size classes suggests different episodes of substrate colonization and reworking, indicating the occurrence of different periods of extensive taphonomic feedback. Although preserved in life position taphonomic evidence indicates that the temporal resolution of these concentrations is variable, often preserving a time-averaged record of the benthic marine populations. In the case of Naiadopsis lamellosus, different periods of colonization and disruptment have contributed to the bioclast enrichment of the substrate, at different times, corroborating the idea that the genetic processes that are responsible for the origin of a particular concentration are less important for the time-averaging phenomenon than the presence of old shells or bioclasts in a given depositional system. The obtained data have shown consistently that paleossynecological reconstruction that are not based on detailed paleoautoecologic and taphonomic studies are not justifiable. In this context, a seven step protocol is proposed as an alternative approach for a more accurate test of paleossynecological hypothese.

Esta dissertação é o resultado do estudo paleopalinológico (acritarcas s.l.) de 96 amostras provenientes da Formação Ponta Grossa ocorrentes no flanco noroeste da Bacia do Paraná. As amostras foram coletadas nas sondagens RSP-1 (Serra da Petrovina), RVR-1 (São José do Povo) e RPL-1 (Paraíso Leste), localizadas no sul do Estado do Mato Grosso, Brasil. Estas sondagens, de propriedades da Companhia Rio Doce Geologia e Mineração S.A. - DOCEGEO, foram realizadas durante a execução do Projeto Rondonópolis, em 1977. Os sedimentos pertencentes à Formação Ponta Grossa revelaram-se portadores de uma rica e bem preservada assembléia de acritarcas s.l. Foram identificados 29 gêneros e 58 espécies, entre as quais são descritos 2 gêneros e 8 novas espécies: Bipolarisvelata accreta gen et sp. n., Mediocorpore conspicuus gen. et sp. n., Duvernaysphaera dissimilis sp. n., Duvernaysphaera heliocêntrica sp. n., Evittia crucinata sp. n., Evittia matogrossensis sp. n., Gorgonisphaeridium reticulatum sp. n. e Pterospermella crassimarginata sp. n. Com base na comparação entre a assembléia de acritarcas s.l. aqui analisada com outras descritas, até o momento, para diversas regiões do mundo, além de estudos pré-existentes sobre esporos encontrados na área, foi possível propor que a idade da seqüência sedimentar estudada corresponde ao intervalo de tempo situado entre o Eifeliano Inferior e Frasniano Superior. Em relação ao paleoambiente, verificou-se a partir dos dados obtidos através da distribuição e diversidade dos microfósseis, que os sedimentos pertencentes à Formação Ponta Grossa, na área, foram depositados sob condições marinhas, apresentando alguns intervalos, no entanto, influência continental. / This dissertation is the result of a paleopalynologic study (acritarchs s.l.) of 96 samples from the Ponta Grossa Formation on the northwestern flank of Paraná Basin in Southern Mato Grosso State, Brazil. The samples were collected from boreholes RSP-1 (Serra da Petrovina), RVR-1 (São José do Povo) and RPL-1 (Paraíso Leste) drilled by the Companhia Rio Doce Geologia e Mineração S.A.- DOCEGEO, during the Rondonópolis Project in 1977. The Ponta Grossa Formation possesses a rich and well-preserved acritarch assemblage. Twenty-nine genera and fifty-eight species were identified, among which two new genera and eight new species: Bipolarisvelata accreta gen. et sp. n., Mediocorpore conspicuo gen. et sp. n., Duvernaysphaera dissimilis sp. n., Duvernaysphaera heliocentrica sp. n., Evittia crucinata sp. n., Evittia matogrossensis sp. n., Gorgonisphaeridium reticulatum sp.n. and Pterospermella crassimarginata sp. n. Comparation with acritarchs described in the literature for other parts of the world and studies of spores from the same region suggest a Early Eifelian to late Frasnian age for the studied sedimentary sequence. The distribution and diversity of the microfossils in the Ponta Grossa Formation in the area indicate deposition under marine conditions, with continental influence in several intervals.

Este trabalho trata dos materiais intemperizados expostos na Mina Gonzaga de Campos, formados a partir de rochas ricas em apatita associadas ao Complexo Alcalino Carbonatítico de Ipanema (SP), e visou ao reconhecimento das modificações morfológicas, filiações minerais e evolução química geral causadas pelo processo intempérico. Esta área corresponde a um dos locais pesquisados pela Serrana S.A. de Mineração, visando à lavra experimental do depósito fosfático de Ipanema, associado ao Complexo. Os estudos realizados (morfológicos, mineralógicos e geoquímicos pontuais) evidenciaram a presença de dois tipos litológicos básicos no local, interrelacionados espacialmente de maneira complexa, sendo que um deles apresenta características de dique, cortando o outro, anterior. São eles, respectivamente, rocha apatítica bandada (biotita, hastingsita, apatita, magnetita) e rocha glimerítica (biotita, apatita, hastingsita). Os minerais primários apresentaram uma evolução química e mineral em direção a materiais secundários típicos do intemperismo em clima tropical, sendo que as fases filossilicáticas apresentaram estágio intermediário importante. Assim, os anfibólios (hastingsita) mostraram alteração para oxihidróxidos de ferro (goethita) em pseudomorfoses. As biotitas, passando por estágio importante de interestratificados biotita-vermiculita e vermiculita, mostraram evolução para caulinita somente nas partes mais evoluídas do perfil. A magnetita mostrou dissolução parcial e, finalmente, a apatita evoluiu para wavelita. Apatita secundária teve formação muito restrita e ligada à mobilização de fósforo e cálcio fora dos pontos com apatita primária. A maior parte do perfil é de isalterita, sustentada pelos produtos ferruginosos e apatita, mais resistente. A aloterização ocorre tanto pela desestabilização progressiva das pseudomorfoses, como pela invasão de produtos iluviais (com presença de Fe, Si, Al, P e Ti, formando goethita, caulinita e wavelita) ao longo de fissuras em sucessivas gerações de cutãs que ajudaram a destruir o caráter isalterítico. Enquanto que na isalterita ainda há elementos potencialmente lixiviáveis nestas condições de intemperismo laterítico, tanto pela mais tardia alteração das apatitas (no caso do Ca) como pela lenta evolução das biotitas (no caso do K e Mg e, em menor escala, do Si), na aloterita ocorrem somente os elementos residuais (Fe, Al e, em parte, Si). O fósforo quase não ocorre na aloterita, demonstrando que sofreu lixiviação após a formação dos fosfatos secundários, embora não tenha sido verificada diretamente a desestabilização da wavelita. Dois pontos a serem ressaltados neste estudo com respeito a peculiaridades deste setor do manto de alteração sobre o Complexo de Ipanema são os seguintes: a) a alteração da apatita forma diretamente um fosfato de alumínio (wavelita) sem estágios intermediários existentes em outros locais (fosfatos da família da crandalita), promovendo, portanto, uma lixiviação imediata do cálcio mesmo em micromeios aparentemente mal drenados (espaços inter e intracristalinos fechados) e b) o papel do intemperismo na gênese do depósito mineral fosfático de Ipanema foi no sentido de friabilizar a rocha e não de promover um enriquecimento relativo em fósforo apatítico, já que a grande quantidade de micas primárias sofreram lenta evolução com pouca perda de matéria na maior parte do perfil, ao contrário do que ocorre em outros maciços com menor abundância de minerais micáceos em suas rochas primárias, onde a alteração com perda importante de massa aumenta relativamente os teores em apatita. / This work treats on the weathered material from the Gonzaga de Campos Mine, originated from apatite rich rocks associated to Ipanema Alkaline Complex. Its aim was recognizing morphological, mineral and chemical changes through weathering processes. This area corresponds to an experimental local for explotation of the Ipanema phosphatic deposit, associated to the Complex. Two lithological types was shown by the materials in that mine: one, an apatitic banded rock (biotite, hastingsite, apatite, magnetite), with dyke characteristics, and other, a glimerite (biotite, apatite, hastingsite). Primary minerals present a chemical and mineralogical evolution toward secondary materials typic of tropical weathering, although phyllosilicates had shown an important intermediate stage. So, amphibole (hastingsite) has weathered to iron oxyhidroxydes (goethite), forming pseudomorphs. Biotite, that has passed by an important earlier stage of interstratified biotite-vermiculite and vermiculite, finally evolved to kaolinite, in the upper parts of the profile. Magnetite has shown partial dissolution, and apatite, more resistent, evolved to wavelite, without intermediate minerals. Secondary apatite was formed in very restrict points, linked to the remobilization of Ca and P out of the apatite domaines. Most of the profile is isalteritic, kept by ferruginous products and apatite. Alloteritization occurs either by progressive desestabilization of pseudomorphs, or by invasion of illuvial products (with Fe, (Ti), Si, Al, and P, forming goethite, kaolinite, and wavelite, respectively) along fissures in successive generations of cutans, which allows destroying isalteritic characteristics. In the isalterite, mobile elements cen be still found, both because the late weathering of apatite (in the case of calcium), and because the slow evolution of phylossilicates (in the case of K and Mg and, in minor scale, Si). Phosphour is almost absent in the alloterite, which shows its lixiviation after later evolution of secondary phosphates, although this fact had not been directly observed. Two points about the particularities of the Gonzaga de Campos Mine stand out: a) apatite weathering forms directly a secondary aluminous phosphate without intermediate stages of calcium-aluminous phosphates, like crandallite family, for instance, which is common over other complexes, and b) weathering role in the generation of the apatitic ore seems to have been making the rocks friables without promoting a relative enrichment in apatitic phosphate, because the most important mineral, biotite, has undergone slow evolution without important loss of mass through most part of the profile, the opposite of which normally occurs over the other complexes, where other silicate minerals are also important, but whose weathering evolution promotes more important loss of mass, causing a relative enrichment of phosphate.

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.