Sejam K um corpo comutativo de caraterística zero. Definimos a álgebras associativa sobre K com dois geradores p, q onde pq qp = 1, como a primeira álgebra de Weyl, denotaremos esta por A 1 . As representações irredutíveis de grau um de dimensão infinita de A 1 , foram descritos por R. Block em (Block , 1981). Baseados nesta ideia, são descritas as represen- tações irredutíveis de grau dois de dimensão infinita de A 1 . No capítulo 1 são estudadas a representações da localização S 1 A 1 = B onde S = K[ q ] , ver (Block , 1981). Também apresentamos algumas definições e resultados relevantes para A 1 , os quais estabelecem uma relação entre as representações de álgebras de Lie nilpotente e as representações da enésima álgebra de Weyl A n , ver (Dixmier , 1959). No segundo capítulo é abordado o estudo da estrutura para A 1 -módulos de grau dois de dimensão infinita, obtendo uma descrição completa destes módulos. Usando esta estrutura é dada uma relação entre uma classe de Sl 2 -módulos de dimensão infinita e os A 1 -módulos de grau dois. Finalmente, no capítulo 3 são dados alguns fatos importares sobre a estrutura do Ext 1 (M, N ), onde M e N são A 1 -módulos irredutíveis de dimensão infinita com graus n 1 e n 2 repectivemente. / Let K be a commutative field such of zero characteristic. The associtive algebras from K whit two geradors p, q shuch that pq qp = 1 is the first Weyl algebra and it algebra going to denoted for A 1 . The structure of irreducible representations of degree one of infinite dimen- sional of A 1 , studied by R.Block (Block , 1981) on 1981. Based in this paper, we characterize the structure of degree two of irreducible representations of infinite dimensional of A 1 . In the first chapter, we speak of localization rings and defined B, we also give tools and definitions needed over Weyl algebras and nilpotent Lie algebras. In the second chapter we give the review for to the problem of A 1 -modules of degree two of infinite dimensional. At the end of the thesis we calculate the Ext 1 (M, N ), by M e N irreducibles A 1 -modules of degree n.

Made available in DSpace on 2016-04-27T16:33:03Z (GMT). No. of bitstreams: 1 Tese Giseli Novelli.pdf: 2088738 bytes, checksum: d35e85c9c678903203afa6ba3d0237dc (MD5) Previous issue date: 2006-03-13 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / This study relates the education experience of technical Professional middle-leveled state school, in São Paulo s capital, which organized its curriculum in modules from the skills concept since 1998. The object of this paper was to investigate the way the pedagogical project was structure and defined in terms of content, manners of teaching and learning from the curricular organization in modules. Based on the studies of the critical theory of the society an analysis was performed, having as main authors: Max Horkheimer, Theodor Adorno and Herbert Marcuse, from the first generation of Frankfurt´s school. The results indicate that the content of the courses have been strongly influenced by the productive sector, claimed by the curricular organization in modules, that allows the student to establish his own course on learning and substitute the teaching and learning education, by the practical work experience. Being regardless of the school environment, the teachers knowledge, and making the students responsible for his decisions involving the professional life. Curriculum in modules is attractive for making the access to professional qualities - easy an effort to resolve an actual capitalist society problem, which is youth unemployment. The modular form of curricular organization gets structured objecting to shade more concrete possibilities of making the production relations of capitalism clear, demonstrating a very own aspect from the capitalist school: social control. The pedagogy of the skills and schools modular education are expressions of the technological rationality ideal. Both require adjustments to the social organization, limiting his critical sense and setting difficulties his constitution as an autonomous being, when restricts a forming and clarifying experience / Este estudo versa sobre a experiência escolar de uma escola profissional técnica de nível médio pública, estadual, situada na capital paulista, que organizou seu currículo por módulos a partir do conceito de competências, desde 1998. O objetivo deste estudo foi o de investigar como a escola estruturou seu projeto pedagógico e definiu conteúdos, formas de ensino e de aprendizagem a partir da organização curricular por módulos. A análise foi realizada com base nos estudos da teoria crítica da sociedade, representada principalmente pelos autores: Max Horkheimer, Theodor Adorno e Herbert Marcuse, da primeira geração da Escola de Frankfurt. Os resultados indicam que o conteúdo dos cursos apresenta-se fortemente influenciado pelo setor produtivo, legitimado pela organização curricular por módulos, que permite ao aluno estabelecer seu próprio percurso de aprendizagem e de substituir o ensino e a aprendizagem escolar pela experiência obtida no trabalho, desconsiderando o espaço de aprendizagem escolar, o conhecimento dos professores e responsabilizando o aluno por decisões relacionadas à sua formação profissional. O currículo por módulos é atraente por proporcionar acesso rápido a qualificações profissionais tentativa de solucionar um problema estrutural da atual sociedade capitalista que é o desemprego, principalmente de jovens. A forma modular de organização curricular estrutura-se com o objetivo de ocultar possibilidades mais concretas de realizar esclarecimentos sobre a organização das relações de produção do sistema capitalista, demonstrando um aspecto que é próprio da escola capitalista: o controle social.A pedagogia das competências e a organização modular da escola são expressões da ideologia da racionalidade tecnológica. Ambas solicitam um ajuste do homem à organização social, limitando sua crítica e dificultando sua constituição como um ser autônomo, ao restringir uma experiência formativa esclarecedora

O incentivo ao uso racional de medicamentos fator importante na melhoria das condições de saúde. A efetivação desta racionalidade, no entanto, esbarra tanto em fatores culturais como em fatores de escassez ou mesmo ausência de informação confiável. Os farmacêuticos, membros indispensáveis de qualquer equipe multidisciplinar de saúde, cumprem papel preponderante na disseminação deste conhecimento especializado. Com o objetivo de suprir as lacunas existentes quanto a qualidade da informação farmacológico-terapêutica existente no Brasil, este trabalho desenvolve um sistema de informações sobre medicamentos cardiovasculares aliado a um Sistema de Suporte a Decisão Baseado em Alertas, utilizando uma arquitetura que combina bases de dados relacionais com Medical Logical Modules. O sistema desenvolvido proporciona, a farmacêuticos e outros profissionais da área da saúde, não apenas consultas a informação, mas também sugestões e alertas contextuais referentes ao uso correto de medicamentos, contribuindo, assim, para o treinamento no próprio trabalho destes. / The rational use of drugs is an important factor to the health conditions improvement. The pharmacists are responsible for advising customers about the rational use of drugs, but this professional effort is limited by cultural factors, absence or lack of reliable infomation. The aim of this work is to support pharmacists through a cardiovascular medicine Information System attached to an Alert-based Decision Support System whose structure combines Medical Logical Modules and relational databases. The developed system not only provides the health professional and pharmacist with drug information, but also suggests or alerts them about the proper use of drugs as well it contributes to their in site training.

This thesis deals with the theory of information within the framework of the socio-economic systems. The first part includes consultation of theories that relate to information and other information needs, including drawing implications for the chosen target segment of microfirms. The practical part is devoted to the design and creation of advanced software module for the information management and documents of the selected small company. The resulting application is put into practice, the benefits are measured and recommendations for further development are identified.

A existência de novas condições econômicas e de trabalho tem conduzido as empresas a uma modernização de técnicas e metodologias para a resolução de problemas em Engenharia de Produção. Embora seja rápido o surgimento de novas ferramentas de informática e haja uma grande preocupação, no sentido de empregar a informática como suporte à tomada de decisões, o que se tem notado é que a utilização dos computadores nas empresas não tem sido feita na plenitude de suas possibilidades, ou seja, os usuários (especialmente os engenheiros) fazem uso de programas especialistas para chegarem a decisões isoladas e, posteriormente, transferem os resultados obtidos para outros aplicativos e/ou realização das análises. Este trabalho desenvolveu estudos multidisciplinares que envolvem as novas ferramentas oferecidas pelos avanços da Informática e pelos modernos conceitos de administração e otimização de processos, estudados em Engenharia de Produção. Tais estudos foram direcionados para a obtenção de resultados práticos que possam ser rapidamente aplicados nas empresas brasileiras, ou seja, dentro do contexto financeiro-tecnológico nacional. Estas pesquisam procuraram documentar qual é o formato do sistema, para que sejam capazes de facilitar e automatizar o planejamento da produção de uma indústria ou de uma empresa de serviços. Pretendeu-se, assim, registrar os conceitos e filosofias necessários para se construir uma ferramenta para otimização de processos produtivos que resolva, ou atenue, eventuais problemas causados por restrições nadisponibilidade de recursos (equipamento, mão-de-obra, material e tempo) ou de outra natureza. / The existence of new economic and work conditions has been driving the companies to a modernization of techniques and methodologies for resolution of problems in Production Engineering. Although be fast the appearance of new computer science tools and there be a great concern in the sense of using the computer science as support to the taking of decisions, which one has been noticing is that the use of the computers in the companies has not been made in the fullness of its possibilities, that is to say, the users (especially the engineers) make use of expert programs for they arrive to isolated decisions, and later, they transfer the results obtained for another applications and/or accomplishment of the analyses. This research developed multidisciplinaries studies involving the new tools offered by the progresses of the Computer Science and by the modern administration concepts, and optimization of processes studied by the Production Engineering. Such studies were addressed for the obtaining of practical results that they can be quickly applied in the Brazilian companies, that is to say, inside the national financial-technological context. Those researches tried to document which is the format of the system, so that they are capable to facilitate and to automate the planning of the production of an industry or company of services. It was intended like this to register the concepts and necessary philosophies to build a tool for optimization of productive processes that it solves, or attenuate, eventual problems caused by restrictions in the readiness of resources (equipment, work-hand, material and time) or by another nature.

A geração solar fotovoltaica em painéis de silício tem se destacado como uma maneira limpa e renovável de atender à demanda por energia elétrica. Este trabalho apresenta o projeto, construção e testes de um sistema autônomo para obtenção da curva IV e caracterização de painéis fotovoltaicos comerciais instalados em campo. Após um estudo do problema de medição de painéis solares, uma especificação da Solução foi concebida. Com base na especificação, foram realizados o projeto elétrico, a construção de protótipos, a escrita do software de medição e os testes de validação em laboratório. Para validação definitiva do hardware desenvolvido, foram realizados testes em campo utilizando um painel solar comercial. Após a tomada de dados e análise dos resultados, conclui-se que o dispositivo concebido atende aos requisitos especificados e cumpre sua proposta inicial. A metodologia empregada neste trabalho pode ser utilizada para geração de outros instrumentos com finalidade similar ou idêntica. / Photovoltaic solar generators, using silicon panels, have grown popular as a clean and renewable way to supply electrical energy. This work presents the project, construction and testing of an autonomous system for IV curve tracing and characterization of commercial photovoltaic panels deployed in the field. After a study how to properly measure solar panels, a Solution was put in a form of a specification. From specifications, the following phases took place: electrical project, prototype construction, software development and lab testing. To perform final validation of the developed hardware, a field test with a commercial solar panel was performed. After collecting and analyzing data from, it was concluded that the design fulfills the required specifications and intended goals. The methodology employed in this work and be utilized to generate other measuring instruments with similar or identical function.

O objetivo deste texto é apresentar uma classe de módulos para álgebra de Lie de campos vetoriais em um toro N -dimensional, Vect( T N ). O caso N = 1 nos dá a famosa álgebra de Witt (sua extensão central é álgebra de Virasoro). A álgebra Vect( T N ) apresenta um classe de módulos parametrizada por módulos de dimensão finita da álgebra gl N . Nosso objeto central de estudo são módulos induzidos dos módulos tensoriais de Vect( T N ) para Vect( T N +1 ). Estes módulos apresentam um quociente irredutível com espaços de peso de dimensão finita. A álgebra Vect( T N ) apresenta como subálgebra sl N +1 . Com a restrição da ação de Vect( T N ) a esta subálgebra obtemos o carácter deste quociente. Para obter um critério de irredutibilidade e construir sua realização de campo livre, consideramos uma classe de módulos para 1 (T N +1 )/ d 0 (T N +1 ) o Vect (T N ) , construída a partir de álgebras de vértice. Quando restritos a Vect (T N ) estes módulos continuam irredutíveis a menos que apareçam no chiral de De Rham. / The goal of this text is to present a class of modules for the Lie algebra of vector fields in a N -dimensional torus, Vect (T N ) . The case N = 1 give us the famous Witt algebra (its central extension is the Virasoro algebra). The algebra Vect( T N ) has a class of modules parametrized by finite dimensional gl N -modules. The central object of our study are modules induced from tensor modules for Vect( T N ) to Vect( T N +1 ). Those modules have an irreducible quotient such that every weight space has finite dimension. The algebra Vect( T N ) has as subalgebra sl N +1 . Restricting the action of Vect( T N ) to this subálgebra we have the character of this quotient. To obtain a irreducible critreria and construct a free field reazilation, we consider a class of modules for 1 (T N +1 )/ d 0 (T N +1 ) o Vect (T N ) , constructed from vertex algebras. When restricted to Vect (T N ) thesse modules remain irreducible, unless they belongs to the chiral De Rham complex.

Les travaux présentés dans cette thèse portent sur l'étude de la fatigue thermomécanique de modules IGBT onduleurs intégrés de puissance 600V-200A destinés à des applications de traction automobile électrique et hybride. Nous avons cherché à évaluer la tenue de ces modules aux contraintes de cyclages (actif et passif) sous températures ambiantes élevées. <br />Ainsi, la première partie de cette thèse présente les tests expérimentaux réalisés en cyclage actif durant lesquels nous avons cherché à évaluer la tenue des modules IGBT (600V-200A) fonctionnant à différentes températures ambiantes (température de semelle) et différentes températures de jonction (température des puces). Afin de chercher à comprendre les mécanismes physiques mis en jeu dans la dégradation de l'assemblage, les essais ont été arrêtés rapidement dès lors qu'un indicateur de défaillance laissait supposer une initiation de processus de dégradation.<br />Dans la deuxième partie, nous nous sommes focalisés sur la tenue des brasures substrat/semelle dans des conditions de cycles thermiques passifs. Sachant qu'habituellement le facteur d'accélération retenu pour le vieillissement de ces brasures est l'amplitude des cycles thermiques, nous avons cherché dans cette partie à évaluer non seulement l'effet de l'amplitude des cycles thermiques mais aussi les niveaux des paliers haut et bas sur l'initiation des fissures dans ces brasures et leurs propagation au cours du cyclage. <br />Enfin, pour comprendre et analyser le comportement de la brasure et de l'assemblage sous les contraintes de cycles thermiques, une étude par simulation numérique est présentée dans la dernière partie. Une étude numérique effectuée sous des conditions de température similaires à celles imposées dans la partie expérimentale a permis de localiser et d'évaluer les contraintes thermomécaniques que subissent les éléments de l'assemblage. Surtout, nous donnons des éléments de réponse permettant d'établir un lien entre les paramètres thermiques du cyclage passif et les grandeurs physiques qui sont influent sur la durée de vie des brasures. Enfin, cette partie se termine sur une étude numérique dans laquelle nous avons cherché à simuler l'effet combiné des cyclages actifs et passifs sur les contraintes mécaniques au sein des modules IGBT afin de rendre compte des contraintes imposées aux modules dans une application réelle.

Le processus de certification de logiciels est dans la plupart des<br /> cas une tâche laborieuse et coûteuse qui nécessite aussi bien des<br /> méthodes mathématiques, pour exprimer sans ambiguïté et de façon<br /> structurée le comportement attendu du logiciel, que des outils<br /> automatiques pour vérifier ses propriétés. Parmi les techniques de<br /> preuve, la récurrence est parfaitement adaptée pour raisonner sur<br /> des structures de données infinies, comme les entiers et les<br /> listes, ou des systèmes paramétrés.<br /> <br /> Cette thèse comprend deux parties, l'une théorique, l'autre<br /> applicative. La première partie est centrée autour d'un nouveau<br /> concept, l'\emph(ensemble couvrant contextuel) (ECC). Le principe<br /> de preuve par récurrence avec ECC est exprimé par un système<br /> d'inférence abstrait qui introduit des conditions suffisantes pour<br /> son application correcte. La conception modulaire de règles<br /> d'inférence concrètes est un avantage de cette approche. Comme<br /> étude de cas, nous spécifions le système d'inférence du<br /> démonstrateur SPIKE en tant qu'instance de ce système.<br /> <br /> Dans la deuxième partie, nous analysons tout d'abord le problème<br /> d'interactions de services téléphoniques. Nous proposons une<br /> méthodologie pour les détecter et les résoudre, reposant sur des<br /> techniques basées sur la réécriture conditionnelle et la<br /> récurrence. Dans une autre application, nous obtenons, à l'aide<br /> du démonstrateur PVS, la première preuve formelle de l'équivalence<br /> entre deux algorithmes de conformité du protocole ABR. Puis,<br /> nous utilisons SPIKE pour vérifier complètement automatiquement<br /> la majorité des 80 lemmes de cette preuve.

Dans cette these, produit de techniques issues de la theorie des $C^*$-algebres et de la theorie spectrale, nous etablissons de nouveaux resultats concernant les proprietes spectrales d'operateurs agissant sur les arbres et divers criteres concernant la stabilite du spectre essentiel d'operateurs non-bornes.<br />Elle se compose de trois articles.<br /><br />Les deux premiers traitent de la theorie spectrale et de la diffusion des operateurs de Schroedinger sur un arbre et de sa generalisation naturelle aux espaces de Fock. Les problemes abordes sont : la validite de l'estimation de Mourre et la caracterisation du spectre essentiel d'operateurs anisotropes par des methodes $C^*$-algebriques.<br /><br />Dans le troisieme article, nous nous proposons une recherche de criteres de stabilite du spectre essentiel pour des operateurs agissant sur des modules de Banach. Les applications couvrent les operateurs de Dirac, les perturbations de metriques riemanniennes, les operateurs sous forme divergence et bien d'autres. Outre son formalisme algebrique, ce travail est caracterise par l'absence de conditions de regularite dans les hypotheses.