Espinosa: potência natural e seus reflexos no direito e na política

Este trabalho versa sobre o conceito de potência natural em Espinosa, sua amplitude e abrangência e seus reflexos no direito natural e na política. Procura revelar a originalidade do conceito de direito natural em Espinosa, muito diferente dos pontos de vista de Grotius, de Hobbes e de todos os demais filósofos e doutrinadores, levando-o, também, a uma visão diferente sobre a formação do Estado; e, finalmente, a sua doutrina sobre o Estado e suas diversas instituições políticas, enfatizando sempre a liberdade e a dignidade humanas como a razão de ser da criação desse mesmo Estado. Procuramos também revelar neste modesto trabalho o avanço, a novidade e a contribuição de Espinosa à ciência jurídica contemporânea.

Desenvolvimento de estratégias de otimização contínua e discreta para problemas de fluxo de potência ótimo

O objetivo do presente trabalho é a investigação e o desenvolvimento de estratégias de otimização contínua e discreta para problemas de Fluxo de Potência Ótimo (FPO), onde existe a necessidade de se considerar as variáveis de controle associadas aos taps de transformadores em-fase e chaveamentos de bancos de capacitores e reatores shunt como variáveis discretas e existe a necessidade da limitação, e/ou até mesmo a minimização do número de ações de controle. Neste trabalho, o problema de FPO será abordado por meio de três estratégias. Na primeira proposta, o problema de FPO é modelado como um problema de Programação Não Linear com Variáveis Contínuas e Discretas (PNLCD) para a minimização de perdas ativas na transmissão; são propostas três abordagens utilizando funções de discretização para o tratamento das variáveis discretas. Na segunda proposta, considera-se que o problema de FPO, com os taps de transformadores discretos e bancos de capacitores e reatores shunts fixos, possui uma limitação no número de ações de controles; variáveis binárias associadas ao número de ações de controles são tratadas por uma função quadrática. Na terceira proposta, o problema de FPO é modelado como um problema de Otimização Multiobjetivo. O método da soma ponderada e o método ε-restrito são utilizados para modificar os problemas multiobjetivos propostos em problemas mono-objetivos. As variáveis binárias associadas às ações de controles são tratadas por duas funções, uma sigmoidal e uma polinomial. Para verificar a eficácia e a robustez dos modelos e algoritmos desenvolvidos serão realizados testes com os sistemas elétricos IEEE de 14, 30, 57, 118 e 300 barras. Todos os algoritmos e modelos foram implementados em General Algebraic Modeling System (GAMS) e os solvers CONOPT, IPOPT, KNITRO e DICOPT foram utilizados na resolução dos problemas. Os resultados obtidos confirmam que as estratégias de discretização são eficientes e as propostas de modelagem para variáveis binárias permitem encontrar soluções factíveis para os problemas envolvendo as ações de controles enquanto os solvers DICOPT e KNITRO utilizados para modelar variáveis binárias não encontram soluções.

Algoritmos recursivos e não-recursivos aplicados à estimação fasorial em sistemas elétricos de potência

Este trabalho apresenta uma análise de algoritmos computacionais aplicados à estimação de fasores elétricos em SEPs. A medição dos fasores é realizada por meio da alocação de Unidades de Medição Fasorial nestes sistemas e encontra diversas aplicações nas áreas de operação, controle, proteção e planejamento. Para que os fasores possam ser aplicados, são definidos padrões de medição, sincronização e comunicação, por meio da norma IEEE C37.118.1. A norma apresenta os padrões de mensagens, timetag, fasores, sistema de sincronização, e define testes para avaliar a estimação. Apesar de abranger todos esses critérios, a diretriz não define um algoritmo de estimação padrão, abrindo espaço para uso de diversos métodos, desde que a precisão seja atendida. Nesse contexto, o presente trabalho analisa alguns algoritmos de estimação de fasores definidos na literatura, avaliando o comportamento deles em determinados casos. Foram considerados, dessa forma, os métodos: Transformada Discreta de Fourier, Método dos Mínimos Quadrados e Transformada Wavelet Discreta, nas versões recursivas e não-recursivas. Esses métodos foram submetidos a sinais sintéticos, a fim de verificar o comportamento diante dos testes propostos pela norma, avaliando o Total Vector Error, tempo de resposta e atraso e overshoot. Os algoritmos também foram embarcados em um hardware, denominado PC104, e avaliados de acordo com os sinais medidos pelo equipamento na saída analógica de um simulador em tempo real (Real Time Digital Simulator).

Projeto e desenvolvimento de uma arquitetura de baixo consumo de potência para microprocessadores.

O trabalho trata do projeto e do desenvolvimento de um processador de baixo consumo de potência, de forma simplificada, explorando técnicas de microarquitetura, para atingir menor consumo de potência. É apresentada uma sequência lógica de desenvolvimento, a partir de conceitos e estruturas básicas, até chegar a estruturas mais complexas e, por fim, mostrar a microarquitetura completa do processador. Esse novo modelo de processador é comparado com estudos prévios de três processadores, sendo o primeiro modelo síncrono, o segundo assíncrono e o terceiro uma versão melhorada do primeiro modelo, que inclui minimizações de registradores e circuitos. Uma nova metodologia de criação de padring de microcontroladores, baseada em reuso de informações de projetos anteriores, é apresentada. Essa nova metodologia foi criada para a rápida prototipagem e para diminuir possíveis erros na geração do código do padring. Comparações de resultados de consumo de potência e área são apresentadas para o processador desenvolvido e resultados obtidos com a nova metodologia de geração de padring também são apresentados. Para o processador, um modelo, no qual se utilizam múltiplos barramentos para minimizar o número de ciclos de máquina por instrução, é apresentado. Também foram ressaltadas estruturas que podem ser otimizadas e circuitos que podem ser reaproveitados para diminuir a quantidade de circuito necessário na implementação. Por fim, a nova implementação é comparada com os três modelos anteriores; os ganhos obtidos de desempenho com a implementação dessas estruturas foram de 18% que, convertidos em consumo de potência, representam economia de 13% em relação ao melhor caso dos processadores comparados. A tecnologia utilizada no desenvolvimento dos processadores foi CMOS 250nm da TSMC.

Enseñando a programar: un camino directo para desarrollar el pensamiento computacional

Está ampliamente aceptado que es fundamental desarrollar la habilidad de resolver problemas. El pensamiento computacional se basa en resolver problemas haciendo uso de conceptos fundamentales de la informática. Nada mejor para desarrollar la habilidad de resolver problemas usando conceptos informáticos que una asignatura de introducción a la programación. Este trabajo presenta nuestras reflexiones acerca de cómo iniciar a un estudiante en el campo de la programación de computadores. El trabajo no detalla los contenidos a impartir, sino que se centra en aspectos metodológicos, con la inclusión de experiencias y ejemplos concretos, a la vez que generales, extensibles a cualquier enseñanza de programación. En general, aunque se van desarrollado lenguajes cada vez más cercanos al lenguaje humano, la programación de ordenadores utilizando lenguajes formales no es una materia intuitiva y de fácil comprensión por parte de los estudiantes. A la persona que ya sabe programar le parece una tarea sencilla, pero al neófito no. Es más, dominar el arte de la programación es complejo. Por esta razón es indispensable utilizar todas las técnicas y herramientas posibles que faciliten dicha labor.

Enterobacteriaceae produtoras de carbapenemases : um novo desafio no controlo da infecção hospitalar

Trabalho Final do Curso de Mestrado Integrado em Medicina, Faculdade de Medicina, Universidade de Lisboa, 2014

Projeto de um sistema de conversor multinível para painéis fotovoltaicos

A produção de energia elétrica a partir de fontes de energia renovável está gradualmente a ser uma alternativa à energia produzida a partir de combustíveis fósseis. A técnica de conversão dessas mesmas energias para energia elétrica, para entrega na Rede de Energia Elétrica (REE), é cada vez mais estudada para que se obtenha uma maior eficiência assim como qualidade. Neste trabalho desenvolve-se um projeto de conversão de energia fotovoltaica, para produção de energia elétrica para a rede utilizando um conversor multinível, otimizando a transferência de potência assim como melhorando a forma da corrente AC. A conversão multinível é uma topologia que tem algumas vantagens relativamente à topologia de 2 níveis, permitindo trabalhar com níveis de tensão mais elevados, melhorando a qualidade de energia. O conversor multinível de díodos ligados ao ponto neutro utiliza condensadores para criar os níveis de tensão, que neste trabalho vão ser usados para ligar os painéis, otimizando a transferência de potência. Aplica-se um método de controlo das correntes AC para terem a forma a alternada e sinusoidal e em fase com a tensão da rede. Os resultados experimentais mostram que a utilização do algoritmo de procura do ponto de máxima potência dos painéis permitem a extrair a máxima potência, de acordo com as condições de irradiação solar e temperatura dos painéis.

Controlo de estufagem do Vinho Madeira em escala piloto

Um dos processos de envelhecimento do Vinho Madeira é a “Estufagem” realizada através da circulação de água aquecida a uma determinada temperatura por um sistema de serpentina existente no interior de cada estufa. De modo a tornar o processo de estufagem eficiente e preservar a qualidade do Vinho Madeira, a monitorização, registo e controlo da temperatura reveste-se da maior importância sendo, atualmente, todo esse processo realizado, por norma, manualmente, quer no sistema de dez estufas de aço inox existente no laboratório de enologia da Universidade da Madeira (UMa), quer nos sistemas das cooperativas de Vinho Madeira. Existem, no mercado, alguns sistemas que solucionam, com menor ou maior limitação, este problema. Porém, nenhum desses sistemas implementa um sistema de controlo “inteligente” capaz de se adaptar automaticamente a diferentes períodos de temperaturas predefinidos e manter o aquecimento das estufas de acordo com essas temperaturas com uma margem de erro inferior a ±0,5℃, bem como o custo associado aos mesmos é elevado o que dificulta a sua implementação neste setor. O sistema implementado, nesta tese, consiste em duas aplicações: uma aplicação web e uma Windows Forms Application. A aplicação web foi desenvolvida em C# com recurso à framework ASP.NET Web Pages e implementa toda a lógica necessária à monitorização gráfica e à gestão do sistema, nomeadamente a definição do setpoint para cada estufa. A Windows Forms Application, também desenvolvida em C# devido à necessidade de interligação com a biblioteca fornecida pela CAREL para conexão aos controladores de temperatura IR32, efetua o registo e controlo automático da temperatura, de acordo com o setpoint definido para cada estufa através da aplicação web. O controlo de temperatura realiza-se com recurso às redes neuronais, nomeadamente através dum controlador DIC (Direct Inverse Controller) que obteve, de entre os vários controladores testados, o melhor Erro Quadrático Médio (MSE) e o melhor Coeficiente de Correlação (R). Através da utilização do sistema implementado conseguiu-se eliminar a limitação física de erro com ± 1℃ em torno do setpoint tendo-se conseguido, para o melhor caso, uma margem de erro de ± 0,1℃ relativamente ao setpoint reduzindo-se, assim, a margem de variação de temperatura até um máximo de 1,8ºC e, consequentemente, o erro associado.

Elaboração de proposta de manual de controlo interno do Grupo Derovo

Na conjuntura atual o tema da mitigação do risco está presente na maioria das organizações, bem como na Sociedade atual. Para tal, é necessário que as organizações adotem o controlo interno mais adequado e mais ajustado para mitigar esses riscos. O Órgão de Gestão de qualquer entidade económica (pública ou privada) tem a responsabilidade de assegurar um sistema eficaz de controlo interno que permita garantir a gestão da Organização de uma forma eficaz e eficiente, de acordo com as normas legais em que essa organização se enquadra e fomente os valores éticos. Existem algumas frameworks que ajudam as organizações na conceção e manutenção do SCI, contudo a que marcou profundamente o desenvolvimento e a relevância do controlo interno foi o ICIF – internal control integrated Framework do COSO. Procura-se no presente trabalho de projeto, proporcionar uma reflexão sobre o crescente papel do controlo interno no seio das organizações, nomeadamente ilustrando esse papel através da implementação de um sistema de controlo interno numa organização em pleno crescimento. Este trabalho baseou-se no estudo de um caso através da análise da realidade do Grupo Derovo, identificando e caracterizando a empresa e a sua atividade, bem, como os procedimentos de controlo interno adotados. Procedeu-se no âmbito deste trabalho à apresentação de uma proposta de implementação de um manual de controlo interno, com base na metodologia da framework Coso, tendo sido efetuado o levantamento dos controlos aos processos, quer formais ou informais, existentes nas áreas chave do negócio, de forma a permitir clarificar os procedimentos de controlo, atualizá-los, otimizando assim todo sistema de controlo interno, permitindo desta forma a condução mais eficiente e eficaz do negócio, através da identificação dos riscos associados a cada processo e formas de mitigação do risco e a clara identificação da responsabilidade, autoridade e suporte documental de controlo dos processos de cada área objeto de estudo.

O controlo interno e a implementação de auditorias online no Safex em contexto de e-governance: Tecnologias, desafios e oportunidades

O presente Relatório Detalhado de Atividade Profissional é apresentado no âmbito da obtenção do Grau de Mestre dos Oficiais do Exército licenciados pré-Bolonha pela Academia Militar na Área específica de Administração Militar. A sua redação e estruturação tem por base o definido na NEP 520 e NEP 517/1ª da AM, para esta tipologia de trabalhos, tendo o autor, optado por desenvolver um tema no âmbito da sua atividade profissional, considerado como pioneiro e inovador. O Tenente-Coronel de Administração Militar do Exército Português, Luís Miguel Gonçalves, nasceu a 25 de Novembro de 1971. Do seu percurso académico e formativo, consta frequência pré-Universitária, em estabelecimento militar de ensino, no Instituto Militar dos Pupilos do Exército, na área de Contabilidade e Administração; a Licenciatura em Ciências Militares, na especialidade de Administração Militar, pela Academia Militar, em 1995, com a Classificação final de 13,58 valores; o tirocínio para Oficiais de Administração Militar, com a nota final de 15,38 valores; o Curso de Operações Irregulares, tendo obtido a classificação de 17,67 valores; o Curso de Promoção a Capitão, com 16,63 valores; e o Curso de Promoção a Oficial Superior do Instituto de Altos Estudos Militares, com a classificação final de 14,50 valores. No âmbito da formação de pós-graduação, tem averbado créditos no módulo de Metodologia de Investigação Cientifica, pela Academia Militar, no Ano Letivo 2013/14, com a classificação final de 16,00 valores. Para além destes, o Environmental Course For Portugal – NATO School/ SHAPE; formação em Gestão de Projetos/ Exército - Microsoft Enterprise Project Management; o Curso de Formação Pedagógica Inicial de Formadores do Instituto de Emprego e Formação Profissional, com Homologação das Competências Pedagógicas; e vários certificados de formações no âmbito da Contabilidade, Administração, Finanças Públicas e Auditorias Financeiras, atribuídas pela Direção de Finanças do Exército e pelo Instituto de Gestão e Administração Pública do Porto. Ao longo dos 25 anos de serviço prestado ao Exército Português, como Oficial de Administração Militar, desempenhou diversos cargos e funções de Comando e Chefia, em várias UEO, nas áreas setoriais e funcionais, da formação, da instrução, da componente operacional, da logística, do pessoal, das finanças públicas, das inspeções e auditorias, da gestão e da Administração Militar. Atualmente o Tenente-Coronel Miguel Gonçalves, desempenha as Funções de Comandante de Batalhão na Escola dos Serviços. Para além dos cargos e funções averbadas no seu Curriculum Vitae detalhado, constituiu em 1996 o Núcleo Logístico de Projeção, Implantação, Acompanhamento e Ajuda Técnica no âmbito do emprego dos meios táticos e operacionais da Área de Responsabilidade FND/ IFOR na Bósnia-Herzegovina (Jugoslávia). Tem publicado na Revista da Administração Militar, vários artigos no âmbito da logística operacional, na função de combate Apoio de Serviços. Na área da formação, foi orientador e supervisor de vários trabalhos, individuais e de grupo aos cursos de promoção a capitão; e constitui-se como elemento primariamente responsável pelo planeamento e implementação dos primeiros cursos no Exército, com formação certificado pela Agência Nacional para a Qualificação e Ensino Profissional, I.P., do Sistema Nacional de Qualificações, certificação inserida no Catálogo Nacional de Qualificações. Na área Inspetiva, integrou várias equipas de Inspeção-Geral do Exército, como inspetor responsável pelas áreas de Logística e Finanças, bem como as de Inspetor, para a área dos recursos humanos – Despesas com Pessoal, nas equipas de inspeção do Comando do Pessoal do Exército. No desempenho das funções de Auditor Financeiro do Centro de Finanças do Comando do Pessoal, realizou diversas auditorias financeiras às UEO do Comando do Pessoal, na sua dependência, tendo desenvolvido e implementado um sistema pioneiro e inovador de monitorização e controlo interno, de auditorias “Online” com análise e reporte mensal, às contas das UEO do Comando do Pessoal, tendo em vista a validação das Demonstrações Financeiras para a Conta de Gerência Anual do Exército. A escolha do tema, “O Controlo Interno e a implementação de Auditorias Online no SAFEx em contexto de e-Governance: Tecnologias, desafios e oportunidades” surge na sequência da implementação destes procedimentos pelo autor, numa altura em que o Exército entrava em operativo com o Sistema Integrado de Gestão (SIG/DN), tendo sido à data reconhecido publicamente pelo TGEN Comandante do Pessoal do Exército, como sendo um procedimento inovador, com notáveis vantagens para a eficiência e eficácia do sistema administrativo-financeiro do Comando do Pessoal e consequentemente do Exército.

Fármacos utilizados para controlo da dor em medicina dentária

Dissertação para obtenção do grau de Mestre no Instituto Superior de Ciências da Saúde Egas Moniz

Análise do ponto crítico de controlo (PCC), relativo à medição de compostos polares nos óleos alimentares no processo de fritura, nas unidades de produção da restauração, snacks e pastelaria

Dissertação para obtenção do grau de Mestre no Instituto Superior de Ciências da Saúde Egas Moniz

Controlo fuzzy semi-activo para aparelhos de amortecimento variável na protecção sísmica

Trabalho apresentado no 10º Congresso Nacional de Sismologia e Engenharia Sísmica, 20-22 abril de 2016, Ponta Delgada, Açores, Portugal