Linear algebra: selected problems

Linear Algebra—Selected Problems is a unique book for senior undergraduate and graduate students to fast review basic materials in Linear Algebra. Vector spaces are presented first, and linear transformations are reviewed secondly. Matrices and Linear systems are presented. Determinants and Basic geometry are presented in the last two chapters. The solutions for proposed excises are listed for readers to references.

Deciding Kleene Algebra Terms Equivalence in Coq

This paper presents a mechanically verified implementation of an algorithm for deciding the equivalence of Kleene algebra terms within the Coq proof assistant. The algorithm decides equivalence of two given regular expressions through an iterated process of testing the equivalence of their partial derivatives and does not require the construction of the corresponding automata. Recent theoretical and experimental research provides evidence that this method is, on average, more efficient than the classical methods based on automata. We present some performance tests, comparisons with similar approaches, and also introduce a generalization of the algorithm to decide the equivalence of terms of Kleene algebra with tests. The motivation for the work presented in this paper is that of using the libraries developed as trusted frameworks for carrying out certified program verification.

The picture of Dorian Gray: beleza, arte, representação

A escolha da obra The Picture of Dorian Gray para objecto de uma análise literária de pendor retórico-estilístico é, acima de tudo, fruto de um gosto muito pessoal. Partindo da leitura rigorosa da obra em questão, concentrámo-nos inicialmente no particular de forma a tentar chegar a características distintivas da produção literária de Wilde. Esta afigurou-se-nos como a melhor estratégia para atingir o objectivo que nos propúnhamos: reconhecer a existência de um padrão específico na escrita do autor e estabelecer a forma como esse padrão exemplifica uma determinada época literária. E assim foi possível descortinar que Oscar Wilde dá ao mundo um único romance onde são profundamente explorados os ideais da Arte recriada, da Beleza reabilitada e das suas Representações teatrais. The Picture of Dorian Gray abre vários precedentes literários, de entre os quais se destaca a coragem de assumir na forma os preceitos convencionados pelos estetas para a vida quotidiana. Os leitores conquistados por tais técnicas são recompensados com a sensação por vezes indefinível de terem apreciado o mais recôndito da alma humana.

Recordações de Vandelli: Literatura e história nas viagens filosóficas de Portugal pelo Brasil

O confronto entre certas criações ficcionais e a dinâmica da colonização nos leva a diversos campos disciplinares. Se a história registrou o intenso intercâmbio de mercadorias e idéias que ocorreu entre Portugal e Brasil, a partir da descoberta do Novo Mundo, a literatura revisitou e recriou esse passado. É o que se constata na obra do escritor brasileiro João Guimarães Rosa, em que articulando a realidade e a imaginação, a natureza e o homem, o regional e o universal, o escritor de perfil naturalista ilumina a linguagem da História e da Ciência pela Arte. Com relação às expedições científicas portuguesas pelo Brasil, a história relata que, na segunda metade do século XVIII, Portugal impulsionou a elaboração de um projeto de confecção de uma História Natural, tendo como espaço de criação cultural a Academia Real das Ciências de Lisboa. Esse empreendimento, no entanto, não teria sido possìvel sem as ―viagens imaginárias‖ do intelectual Domenico Agostino Vandelli, correspondente de Lineu e um dos principais articuladores da política portuguesa dirigida às colônias. Assim, instruídos conforme o livro Viagens filosóficas ou dissertações sobre as importantes regras que o filósofo naturalista nas suas peregrinações deve principalmente observar, alunos da Universidade de Coimbra, onde Vandelli era professor de História Natural e Química, são preparados para explorar as colônias ultramarinas. Em meio à produção literária de Guimarães Rosa, destacamos o conto ―O recado do morro‖, do livro Corpo de baile, lançado em 1956, para um paralelo com a História. Nessa ficção, um narrador conta a estória de uma pitoresca expedição, formada por moradores de um vilarejo, contratados por um viajante alemão, que percorre o interior do estado de Minas Gerais. Região de grutas, minerais, vegetação de cerrado (com diversidade em espécies comestíveis e medicinais), de fazendas de gado, animais em perigo de extinção e homens sábios do sertão, é com o uso dessa enigmática paisagem, que o escritor vai moldar o seu ―recado‖. Através de um estudo comparado entre os ideais naturalistas de Vandelli (evidentes nas correspondências trocadas com Lineu e nas Instruções aos viajantes) e do escritor Guimarães Rosa (expresso de forma ficcional), destacamos a necessidade de se resgatar, nos dias atuais, seus trabalhos, como forma de se propor uma nova relação do homem com o meio ambiente. Nós, de fato, reconhecemos que Deus todo-poderoso escreveu dois livros, a natureza e a revelação [...] (Lineu, 1765) O confronto entre certas criações ficcionais e a dinâmica da colonização nos leva a percorrer interessantes caminhos da História, da Literatura e das Ciências da Natureza. Se a história registrou o intenso intercâmbio de produtos e idéias, que ocorreu entre Portugal e Brasil, via Atlântico, a partir da descoberta do Novo Mundo, alguns escritores do Modernismo brasileiro revisitaram e recriaram esse passado. No que se refere às expedições científicas portuguesas pelo Brasil, o historiador Oswaldo Munteal Filho lembra que, na segunda metade do século XVIII, Portugal impulsionou a elaboração de um projeto de confecção de uma História Natural de suas colônias, tendo como espaço de criação cultural e reflexiva a Academia Real das Ciências de Lisboa. Esse empreendimento, no entanto, não teria sido possìvel sem as ―viagens imaginárias‖ do intelectual ilustrado Domenico Agostino Vandelli, um dos principais articuladores da política portuguesa dirigida às colônias no âmbito da Academia. Segundo seu pensamento, era preciso munir os naturalistas com ferramentas capazes de desvendar um Brasil desconhecido do ponto de vista da ciência e ainda intocado quanto às potencialidades de seus elementos naturais. Portanto, o olhar do naturalista deveria passar, primeiro, pelo utilitário: as virtudes das plantas medicinais, os usos dos gêneros exóticos, o aproveitamento do reino animal e mineral e a fertilidade das extensas terras. Reordenar a Natureza, não mais de forma alegórica, mas através da observação e experiência figurava-lhe como medida necessária e urgente. A par disso e instruídos conforme o livro Viagens filosóficas ou dissertações sobre as importantes regras que o filósofo naturalista, nas suas peregrinações, deve principalmente observar, alunos da Universidade de Coimbra, onde Vandelli era professor de História Natural e Química, são preparados para explorar as colônias ultramarinas (p. 483-518).

Deteção de avarias na caixa de engrenagens de aerogeradores

Ao longo dos últimos anos tem-se assistido a um forte desenvolvimento e crescimento do número de parques eólicos instalados no mundo, o que leva a que seja necessário o incremento de ferramentas que permitam aperfeiçoar os sistemas de monitorização e controlo atualmente existentes. Por outro lado, não se deve deixar de ter em conta os custos elevados de operação e manutenção dos sistemas eólicos bem como o facto de os aerogeradores estarem localizadas em locais remotos ou offshore, o que faz aumentar os custos associados à sua exploração. A dissertação nasce da intenção clara do mercado em apostar na supervisão e previsão de avarias graves, de forma a minimizar os encargos subjacentes. Este trabalho de dissertação visa a utilização de redes neuronais para criar uma ferramenta informática de previsão de avarias em caixas de engrenagens em aerogeradores. As redes neuronais são ferramentas informáticas ideais para trabalhar com muita informação, sendo que a sua aplicação depende da qualidade e quantidade dos dados. Para tal irá ser efetuado um estudo em um parque eólico, no qual se analisará as principais avarias detetadas bem como as grandezas que deverão integrar a construção desta rede neuronal. Assim sendo, a informação relativa às diversas máquinas existentes num parque, é de enorme importância para a definição e otimização da rede neuronal a construir. Os resultados obtidos neste trabalho com a aplicação de redes neuronais para a previsão de avarias em caixas de engrenagens do parque eólico de estudo, provam que é possível realizar uma deteção da avaria bem como uma constatação de que a reparação possa ter sido bem efetuada ou mal sucedida, podendo assim ser ajustados os programas de manutenção a efetuar e uma verificação das ações de reparação para sua validação.

Educação e formação de Adultos: novas rotas?

Ao longo do projeto encarou-se a Educação e Formação de Adultos como um motor para a liberdade, definida como a autonomia para se procurar e viver um destino. Destino que não é apenas o porto onde atraca o barco à chegada, mas o processo de destinação na rota. Hodiernamente vivemos atracados ao paradigma da Aprendizagem ao Longo da Vida, ancorados a processos económicos e ideológicos que ditam as orientações de atuação do Instituto de Emprego e Formação Profissional na forma com se planeiam e organizam os Cursos de Educação e Formação de Adultos. Traçaram-se as rotas que Portugal percorreu até desenvolver as políticas de Educação e Formação de Adultos atuais. Essas políticas influenciam sobremaneira a organização e planeamento dos Cursos de Educação e Formação de Adultos desenvolvidos pelo Instituto de Emprego e Formação de Vila Real que se vê agrilhoado aos ideais neoliberais, à falta de recursos, de ideais e de esperança. Procurou-se construir um projeto que conceba o planeamento e a organização dos cursos de Educação e Formação de Adultos numa ótica emancipadora da educação enraizada em contextos locais, em que as diretrizes do Estado se constituem como uma moldura mas não se restringem à rigidez do caixilho, assente em lógicas de responsabilidade comunitária em processos relacionais abertos, dialogados e críticos assentes em conteúdos vividos, aprendidos e transformados. Espera-se e deseja-se que aqueles processos comprometam de forma decisiva todos os que se vêem envolvidos neste feixe de relações a partir do qual cada um se forma, e desenvolvendo-se, se envolve na possibilidade de destinar a rota.

Estudo de Avarias em Compressores de Ar

As instalações de ar comprimido são uma constante em quase todo o tipo de indústria, já que o ar comprimido assume cada vez mais importância como fonte de energia para a movimentação de dispositivos com cargas moderadas ou médias. O uso cada vez mais frequente da pneumática por via da automação de sistemas e processos de fabrico, é outro fator que tem incrementado fortemente o uso de instalações de ar comprimido. A utilização de ar comprimido tem subjacente um ou mais compressores, responsáveis por captar o ar e criar as condições necessárias de pressão na rede que vai abastecer uma qualquer instalação industrial, ou mesmo comercial, como no caso dos serviços de reparação automóvel, entre outras. Desta forma, cria-se uma forte dependência em torno desta fonte de energia, sendo a avaria do compressor um fator extremamente limitativo do processo produtivo ou dos serviços a prestar. As empresas fabricantes de compressores, cientes deste facto, têm primado pela fiabilidade. No entanto, os utilizadores nem sempre criam as condições ideais para o funcionamento desses compressores, conduzindo a problemas de funcionamento. Neste trabalho pretendeu-se elaborar um estudo que permitisse identificar quais as causas que estão por detrás das avarias mais frequentes de alguns dos modelos mais vendidos pela Ingersoll-Rand no nosso país, através da Comingersoll, analisando as mesmas e tentando encontrar soluções que evitassem essas avarias. O estudo permitiu dissecar as avarias registadas em cinco diferentes modelos nos últimos anos, identificar possíveis causas, perceber a frequência com que ocorrem e sugerir melhorias que pudessem minimizar a ocorrência dessas mesmas avarias.