Influência de parâmetros moleculares em funções de correlação temporal na dinâmica de solvatação mecânica

No presente trabalho descrevemos nossos resultados relativos à investigação da dinâmica de solvatação mecânica por meio de simulações por dinâmica molecular, respeitando o regime da resposta linear, em sistemas-modelo de argônio líquido com um soluto monoatômico ou diatômico dissolvido. Estudamos sistematicamente a influência dos parâmetros moleculares dos solutos (tamanho, polarizabilidade) e da densidade frente a vários modelos de solvatação. Funções de Correlação Temporal da Energia de Solvatação foram calculadas com relação à correlações de n-corpos (n = 2; 3) distinguindo interações repulsivas e atrativas para ambos os sistemas líquidos. Também obtivemos segundas derivadas temporais dessas funções referindo-se à parcelas translacionais, rotacionais e roto-translacionais na solução do diatômico. Encontramos que funções de correlação temporal coletivas podem ser razoavelmente bem aproximadas por correlações binárias a densidades baixas e, a densidades altas, correlações ternárias tornam-se mais importantes produzindo um descorrelacionamento mais rápido das funções coletivas devido a efeitos de cancelamento parciais. As funções de correlação para interações repulsivas e atrativas exibem comportamentos dinâmicos independentes do modelo de solvatação devido a fatores de escalonamento linear que afetam apenas as amplitudes das dessas funções de correlação temporal. Em geral, os sistemas com grau de liberdade rotacional apresentam tempos de correlação mais curtos para a dinâmica coletiva e tempos de correlação mais longos para as funções binárias e ternárias. Finalmente, esse estudo mostra que os sistemas contendo o diatômico relaxam-se predominantemente por mecanismos translacionais binários em modelos de solvatação envolvendo alterações apenas na polarizabilidade do soluto, e por mecanismos rotacionais atrativos binários em modelos envolvendo alterações no comprimento de ligação.

Sistemas de gestão para resultados no setor público: intersecções entre política, governança e desempenho nas prefeituras de Rio de Janeiro e São Paulo

A gestão para resultados (GpR) tem adquirido importância crescente nos municípios brasileiros, assumindo diferentes funções no interior das organizações públicas. No entanto, implementação de sistemas de GpR no setor público pode vir acompanhada de novos problemas oriundos da complexidade da mensuração de resultados em ambientes expostos ao escrutínio social e político. Nesse contexto, o objetivo deste trabalho é analisar de forma crítica os sistemas de GpR implantados nas prefeituras de Rio de Janeiro e São Paulo, visando a estabelecer, com base na teoria, conexões entre as diferentes funções exercidas pelos sistemas de GpR e as disfunções vivenciadas pelos gestores públicos no cotidiano. Para tanto, foram mapeadas, com base na teoria, as diferentes funções desempenhadas pelos sistemas de GpR e separadas em três macrocategorias: desempenho, governança e política. A partir dessa categorização, foram delimitadas as possíveis disfunções da GpR relacionadas com as intersecções dessas diferentes macrocategorias. Com base nas categorias teóricas estabelecidas, foram coletados dados sobre a GpR nas duas prefeituras, com destaque para a entrevista de 12 gestores e 3 representantes da sociedade civil. Os achados de pesquisa permitiram demonstrar que a Prefeitura do Rio de Janeiro implementou um sistema de GpR voltado principalmente para a melhoria do desempenho, ao passo que São Paulo focou nas funções relacionadas à macrocategoria da governança. Em relação às disfunções, o Rio de Janeiro apresentou indícios de definição tecnocrátia das metas e gaming interno, ao passo que a Prefeitura de São Paulo esteve marcada por gaming externo, miopia e lock-in. Os resultados permitiram identificar ainda outras variáveis relevantes para o estudo das disfunções da GpR, como a cultura política, o envolvimento do prefeito no sistema, a entrada na agenda do tema da GpR, o grau de institucionalização do sistema de GpR. Os resultados demonstram que as diferentes funções assumidas por esses sistemas estão correlacionadas com as disfunções. O capítulo final explora essas possibilidades de correlações.

Orientação a objetos - Funções

O professor apresenta as funções de orientação a objeto e ilustra como podem ser acessadas e realizadas as funções de orientação a objeto.

Funções - operações e propriedades

A videoaula conceitua funções e suas variáveis como uma regra ou um mecanismo de transformação de uma entrada em uma saída. Por fim, traz ainda a definição de função como conjunto de pares; Domínio e Imagem; a representação gráfica das funções e representação gráfica de funções sobre conjuntos finitos; a composição de funções; as funções inversível, injetiva, sobrejetiva, bijetiva, e a contagem de funções e propriedades.

Comparação de sistemas de programação

Este trabalho compara as soluções disponibilizadas pelos sistemas Derive 5.0, Maple 6 e Mathematica 4.0 para problemas que encontramos no ensino secundário e também nos primeiros anos da universidade. Procuramos destacar os aspectos distintos entre cada um dos programas ao mesmo tempo que fazemos referência aos pontos em que tudo se passa de forma semelhante. Esta dissertação aborda o cálculo numérico, o cálculo simbólico, a programação e os gráficos. Para cada um dos assuntos é estudada a forma como se podem resolver os problemas através dos três sistemas comparando-se estas soluções. Inicialmente, é feita uma abordagem que permite ao utilizador adquirir os conhecimentos básicos acerca dos diversos programas. Tratamos de seguida de algumas questões relacionadas com o cálculo numérico e com algumas funções nomeadamente da Teoria dos Números. Referimos listas e funções e são analisadas diversas formas de manipular listas e os seus elementos bem como algumas áreas da Análise Matemática das quais destacamos as equações, a derivação e a integração compreendendo cálculo numérico e cálculo simbólico. Examinamos um vasto conjunto de operações definidas sobre matrizes (representadas como listas de listas) e polinómios que abrangem as operações mais comuns de cada um dos campos. Analisamos também a programação recursiva, a programação imperativa, a programação funcional e a programação por regras de reescrita. A abordagem aqui adoptada foi a de fornecer ao utilizador as construções chave mais importantes que cada paradigma de programação utiliza bem como as informações básicas acerca do funcionamento de cada uma delas de modo a permitir a resolução dos problemas propostos. Por último os gráficos sobre os quais incidiu a nossa análise foram os de uma e de duas variáveis representados no referencial cartesiano, gráficos estes que são os mais utilizados quer ao nível do ensino superior quer ao nível do ensino secundário. A qualidade e a facilidade de obter rapidamente as representações dão outra dimensão ao estudo dos gráficos principalmente quando estamos a falar de gráficos a três dimensões. A ideia de animação gráfica é também aqui abordada sendo evidente os benefícios da utilização da mesma nos programas em que é possível efectuá-la. Concluímos que na programação o Mathematica destaca-se em relação aos demais o mesmo se passando no Maple no respeitante à representação gráfica. O Derive permite que durante o contacto inicial seja mais fácil trabalhar e aprender a linguagem própria.

Construindo conhecimento: utilização de robots na aprendizagem de funções

A Escola e o Ensino, através da evolução dos diferentes sistemas que os caracterizaram ao longo dos tempos, tiveram e têm por objectivo não só a transmissão de conhecimentos mas também a preparação dos cidadãos mais jovens para a sua integração na vida social da sua comunidade. A escola atravessa momentos difíceis e os papéis dos intervenientes são questionados diariamente. Tal tem dado origem a alterações e a mudanças na concepção organizacional, de estratégia e de objectivos da escola e do próprio ensino. A profissão docente deixou de ser uma mera transmissão de saber, exigindo-se muito mais ao professor. O seu papel inclui já novas questões, tais como, como ensinar?, como fazer aprender? e como motivar os outros para que queiram aprender? A evolução tecnológica e a sua integração no ensino têm sido das principais fontes para a alteração operada sobre a escola e o seu objectivo. O desenvolvimento das tecnologias de informação e de comunicação (TIC) têm vindo a proporcionar novas formas de comunicar e de transmitir informação. A habilitação profissional para a docência no ensino básico e secundário implica a Prática de Ensino Supervisionado. Para além das planificações e da implementação das metodologias adoptadas visando o processo de ensino-aprendizagem da Matemática ao nível do 10º ano de escolaridade, desenvolvemos um projecto de cariz qualitativo cujo objectivo seria a análise da aplicabilidade da robótica, na sala de aula, enquanto elemento mediador e potenciador do processo de aprendizagem no tema das funções. A revisão bibliográfica demonstra que a robótica tem merecido elogios enquanto factor motivador e elemento que faculta uma conexão entre diversas representações, nomeadamente, os conceitos teóricos e a praticabilidade. O desenvolvimento de diversas actividades com duas turmas do 10º ano de escolaridade, utilizando robots LEGO Minstorms, revelou que a robótica não só é um elemento mediador do processo ensino-aprendizagem mas também, e sobretudo, é um catalisador da motivação, cooperação e envolvência dos alunos, levando-os, numa perspectiva construcionista, a construir conhecimento e a concretizar o simbolismo abstracto presente na Matemática.

Design e gestão de sistemas, robótica, redes e médias interativos

Este relatório pretende ilustrar a experiência profissional obtida, principalmente após a conclusão, em 1998, da Licenciatura em Engenharia de Sistemas e Computadores na Universidade da Madeira. Esta experiência circunscreve-se à proficiência nas áreas de redes de comunicação de dados, automação e robótica e desenvolvimento de média interativos (tanto na vertente de CD-ROMs como orientado à Internet). Embora também disponha de experiência no ensino destas áreas citadas, foram privilegiados os projetos com uma relevância mais técnica atendendo à natureza deste mestrado. Sendo assim, são apresentadas nestas quatro áreas primeiro uma descrição dos projetos realizados no âmbito do percurso profissional, para depois descrever uma implementação (relativa a cada área) utilizando uma metodologia científica que fora alvo de estudo na componente letiva deste mestrado, salientando as virtudes e defeitos de ambas as abordagens e comparando os resultados obtidos. Em síntese, é analisado o projeto de gestão de sistemas de redes das Escolas Secundárias Francisco Franco e Jaime Moniz (no âmbito do desempenho das funções de Diretor das Instalações Informáticas em ambas as instituições) culminando numa proposta de implementação utilizando equipamentos da Cisco; é analisado o projeto de CD-ROM sobre a Reserva Natural das Ilhas Desertas para depois completar um jogo educativo utilizando uma metodologia científica de Game Design; são descritos os websites desenvolvidos (com especial ênfase nos realizados enquanto técnico superior de informática na Secretaria Regional do Ambiente e dos Recursos Naturais) para concluir com uma proposta de implementação de um sistema de marcação de reuniões orientado para a Cloud; finalmente, é descrito a utilização dos kits Lego Mindstorms para o ensino da programação, propondo uma implementação de baixo custo (alternativa) baseada num Raspberry Pi e componentes acessórios (tanto estandardizados como construídos com uma RepRap). Em suma, é contraposto o rigor e método do ensino académico com o pragmatismo e metas de produtividade exigidas no mercado de trabalho.

GreenEnergy: produção de energia eléctrica a partir de fontes de energia renovável para sistemas de microprodução

O uso de energias renováveis está cada vez mais presente no nosso quotidiano. A forte aposta por parte de várias empresas, grupos privados e habitações domésticas na produção de energia renovável tem vindo a crescer bastante nos últimos anos, porque além de ser uma energia limpa, é economicamente vantajosa. No âmbito residencial na Ilha da Madeira, tem havido um grande crescimento na microprodução de energia fotovoltaica. Para que se consiga converter energia garantindo os critérios e qualidade da energia elétrica maximizando a eficiência são necessários conversores eletrónicos de potência, responsáveis pela conversão e gestão da energia produzida a partir de uma fonte de energia renovável e conversão para a REE (Rede Elétrica de Energia). A oferta de soluções na área tem vindo a aumentar com o aumento dos pedidos do mercado, existindo cada vez mais concorrência, devido ao surgimento de sistemas mais compactos e eficientes. Neste trabalho é desenvolvido um sistema para microprodução de energia renovável, através de uma ou mais fontes de energia, de maneira a que este seja compacto e eficiente, além de adicionar várias soluções a nível de software (automatismos) de maneira a aumentar as funções do sistema sem utilizar hardware adicional. Apresentam-se também resultados de simulação de maneira a demonstrar todas as funcionalidades do sistema. Conseguiu-se demonstrar que é possível melhorar o rendimento, qualidade de energia e diminuir os custos dos sistemas de conversão de energia utilizando software, mantendo o hardware do sistema. Além das melhorias no sistema que o software permite, conseguiu-se adicionar novos modos de funcionamento ao sistema utilizando automatismos.

Identificação fuzzy-multimodelos para sistemas não lineares

This paper presents a new multi-model technique of dentification in ANFIS for nonlinear systems. In this technique, the structure used is of the fuzzy Takagi-Sugeno of which the consequences are local linear models that represent the system of different points of operation and the precursors are membership functions whose adjustments are realized by the learning phase of the neuro-fuzzy ANFIS technique. The models that represent the system at different points of the operation can be found with linearization techniques like, for example, the Least Squares method that is robust against sounds and of simple application. The fuzzy system is responsible for informing the proportion of each model that should be utilized, using the membership functions. The membership functions can be adjusted by ANFIS with the use of neural network algorithms, like the back propagation error type, in such a way that the models found for each area are correctly interpolated and define an action of each model for possible entries into the system. In multi-models, the definition of action of models is known as metrics and, since this paper is based on ANFIS, it shall be denominated in ANFIS metrics. This way, ANFIS metrics is utilized to interpolate various models, composing a system to be identified. Differing from the traditional ANFIS, the created technique necessarily represents the system in various well defined regions by unaltered models whose pondered activation as per the membership functions. The selection of regions for the application of the Least Squares method is realized manually from the graphic analysis of the system behavior or from the physical characteristics of the plant. This selection serves as a base to initiate the linear model defining technique and generating the initial configuration of the membership functions. The experiments are conducted in a teaching tank, with multiple sections, designed and created to show the characteristics of the technique. The results from this tank illustrate the performance reached by the technique in task of identifying, utilizing configurations of ANFIS, comparing the developed technique with various models of simple metrics and comparing with the NNARX technique, also adapted to identification

Dedução de Funções de Alívio para Priorização de Variantes de Chaveamento Adequadas à Eliminação de Sobrecargas

Eventually, violations of voltage limits at buses or admissible loadings of transmission lines and/or power transformers may occur by the power system operation. If violations are detected in the supervision process, corrective measures may be carried out in order to eliminate them or to reduce their intensity. Loading restriction is an extreme solution and should only be adopted as the last control action. Previous researches have shown that it is possible to control constraints in electrical systems by changing the network topology, using the technique named Corrective Switching, which requires no additional costs. In previous works, the proposed calculations for verifying the ability of a switching variant in eliminating an overload in a specific branch were based on network reduction or heuristic analysis. The purpose of this work is to develop analytical derivation of linear equations to estimate current changes in a specific branch (due to switching measures) by means of few calculations. For bus-bar coupling, derivations will be based on short-circuit theory and Relief Function methodology. For bus-bar splitting, a Relief Function will be derived based on a technique of equivalent circuit. Although systems of linear equations are used to substantiate deductions, its formal solution for each variant, in real time does not become necessary. A priority list of promising variants is then assigned for final check by an exact load flow calculation and a transient analysis using ATP Alternative Transient Program. At last, results obtained by simulation in networks with different features will be presented

Uma fundamentação para sinais e sistemas intervalares

In this work we use Interval Mathematics to establish interval counterparts for the main tools used in digital signal processing. More specifically, the approach developed here is oriented to signals, systems, sampling, quantization, coding and Fourier transforms. A detailed study for some interval arithmetics which handle with complex numbers is provided; they are: complex interval arithmetic (or rectangular), circular complex arithmetic, and interval arithmetic for polar sectors. This lead us to investigate some properties that are relevant for the development of a theory of interval digital signal processing. It is shown that the sets IR and R(C) endowed with any correct arithmetic is not an algebraic field, meaning that those sets do not behave like real and complex numbers. An alternative to the notion of interval complex width is also provided and the Kulisch- Miranker order is used in order to write complex numbers in the interval form enabling operations on endpoints. The use of interval signals and systems is possible thanks to the representation of complex values into floating point systems. That is, if a number x 2 R is not representable in a floating point system F then it is mapped to an interval [x;x], such that x is the largest number in F which is smaller than x and x is the smallest one in F which is greater than x. This interval representation is the starting point for definitions like interval signals and systems which take real or complex values. It provides the extension for notions like: causality, stability, time invariance, homogeneity, additivity and linearity to interval systems. The process of quantization is extended to its interval counterpart. Thereafter the interval versions for: quantization levels, quantization error and encoded signal are provided. It is shown that the interval levels of quantization represent complex quantization levels and the classical quantization error ranges over the interval quantization error. An estimation for the interval quantization error and an interval version for Z-transform (and hence Fourier transform) is provided. Finally, the results of an Matlab implementation is given

Um ambiente computacional para modelagem simbólica de sistemas físicos lineares

Este trabalho propõe um ambiente computacional aplicado ao ensino de sistemas de controle, denominado de ModSym. O software implementa uma interface gráfica para a modelagem de sistemas físicos lineares e mostra, passo a passo, o processamento necessário à obtenção de modelos matemáticos para esses sistemas. Um sistema físico pode ser representado, no software, de três formas diferentes. O sistema pode ser representado por um diagrama gráfico a partir de elementos dos domínios elétrico, mecânico translacional, mecânico rotacional e hidráulico. Pode também ser representado a partir de grafos de ligação ou de diagramas de fluxo de sinal. Uma vez representado o sistema, o ModSym possibilita o cálculo de funções de transferência do sistema na forma simbólica, utilizando a regra de Mason. O software calcula também funções de transferência na forma numérica e funções de sensibilidade paramétrica. O trabalho propõe ainda um algoritmo para obter o diagrama de fluxo de sinal de um sistema físico baseado no seu grafo de ligação. Este algoritmo e a metodologia de análise de sistemas conhecida por Network Method permitiram a utilização da regra de Mason no cálculo de funções de transferência dos sistemas modelados no software

Uma proposição para o cálculo de mapas de disparidade de imagens estéreo usando um interpolador neural baseado em funções de base radial

This study aims to seek a more viable alternative for the calculation of differences in images of stereo vision, using a factor that reduces heel the amount of points that are considered on the captured image, and a network neural-based radial basis functions to interpolate the results. The objective to be achieved is to produce an approximate picture of disparities using algorithms with low computational cost, unlike the classical algorithms

Utilização de sistemas dedicados a protocolos de rede aplicados à eficiência energética da iluminação pública

The public illumination system of Natal/RN city presents some recurring problems in the aspect of monitoring, since currently is not possible to detect in real time the light bulbs which are on throughout the day, or those which are off or burned out, at night. These factors depreciate the efficiency of the services provided, as well as, the use of energetic resources, because there is energetic waste and, consequently, financial resources that could be applied at the own public system illumination. The purpose of the work is create a prototype in substitution to the currently photoelectric relays used at public illumination, that have the same function, as well others: turn on or off the light bulbs remotely (control flexibility by the use of specifics algorithms supervisory), checking the light bulbs status (on or off) and wireless communication with the system through the ZigBee® protocol. The development steps of this product and the tests carried out are related as a way to validate and justify its use at the public illumination

Desacoplamento de um gerador síncrono através de um controle adaptativo por modelo de referência baseado em funções de Base radial

An alternative nonlinear technique for decoupling and control is presented. This technique is based on a RBF (Radial Basis Functions) neural network and it is applied to the synchronous generator model. The synchronous generator is a coupled system, in other words, a change at one input variable of the system, changes more than one output. The RBF network will perform the decoupling, separating the control of the following outputs variables: the load angle and flux linkage in the field winding. This technique does not require knowledge of the system parameters and, due the nature of radial basis functions, it shows itself stable to parametric uncertainties, disturbances and simpler when it is applied in control. The RBF decoupler is designed in this work for decouple a nonlinear MIMO system with two inputs and two outputs. The weights between hidden and output layer are modified online, using an adaptive law in real time. The adaptive law is developed by Lyapunov s Method. A decoupling adaptive controller uses the errors between system outputs and model outputs, and filtered outputs of the system to produce control signals. The RBF network forces each outputs of generator to behave like reference model. When the RBF approaches adequately control signals, the system decoupling is achieved. A mathematical proof and analysis are showed. Simulations are presented to show the performance and robustness of the RBF network