Representações em situações problemáticas que envolvem inequações do 1.º grau a uma incógnita : um estudo com alunos do 9.º ano de escolaridade

Relatório da Prática de Ensino Supervisionada, Ensino da Matemática, Universidade de Lisboa, 2013

A aprendizagem de funções num ambiente computacional com recurso a diferentes representações

Dissertação de mestrado em Ciências da Educação: área de Educação e Desenvolvimento

Projetos de controladores para sistemas de potência utilizando LMI'S

A presente dissertação tem como objetivo estudar e aprimorar métodos de projetos de controladores para sistemas de potência, sendo que esse trabalho trata da estabilidade dinâmica de sistemas de potência e, portanto, do projeto de controladores amortecedores de oscilações eletromecânicas para esses sistemas. A escolha dos métodos aqui estudados foi orientada pelos requisitos que um estabilizador de sistemas de potência (ESP) deve ter, que são robustez, descentralização e coordenação. Sendo que alguns deles tiveram suas características aprimoradas para atender a esses requisitos. A abordagem dos métodos estudados foi restringida à análise no domínio tempo, pois a abordagem temporal facilita a modelagem das incertezas paramétricas, para atender ao requisito da robustez, e também permite a formulação do controle descentralizado de maneira simples. Além disso, a abordagem temporal permite a formulação do problema de projeto utilizando desigualdades matriciais lineares (LMI’s), as quais possuem como vantagem o fato do conjunto solução ser sempre convexo e a existência de algoritmos eficientes para o cálculo de sua solução. De fato, existem diversos pacotes computacionais desenvolvidos no mercado para o cálculo da solução de um problema de inequações matriciais lineares. Por esse motivo, os métodos de projeto para controladores de saída buscam sempre colocar o problema na forma de LMI’s, tendo em vista que ela garante a obtenção de solução, caso essa solução exista.

Equações de primeiro grau

Trata-se da revisão de tópicos de matemática elementar do ensino fundamental com visão do ensino superior. Na subunidade 3 são abordados conceitos de cálculo algébrico, conjunto universo e conjunto solução de uma equação, equações do primeiro grau e inequações do primeiro grau com resolução de problemas. A subunidade 4 engloba a definição dos conceitos de monômios ou termos algébricos e polinômios e suas propriedades. Como complemento a teoria abordada apresenta exemplos de cálculo do mmc de polinômios e de equações fracionárias de primeiro grau com uma incógnita.

Controle ótimo H∞ de sistemas não-lineares com modelos fuzzy takagi-sugeno

Neste trabalho é proposta uma metodologia de rastreamento de sinais e rejeição de distúrbios aplicada a sistemas não-lineares. Para o projeto do sistema de rastreamento, projeta-se os controladores fuzzy M(a) e N(a) que minimizam o limitante superior da norma H∞ entre o sinal de referência r(t) e o sinal de erro de rastreamento e(t), sendo e(t) a diferença entre a entrada de referência e a saída do sistema z(t). No método de rejeição de distúrbio utiliza-se a realimentação dinâmica da saída através de um controlador fuzzy Kc(a) que minimiza o limitante superior da norma H∞ entre o sinal de entrada exógena w(t) e o sinal de saída z(t). O procedimento de projeto proposto considera as não-linearidades da planta através dos modelos fuzzy Takagi-Sugeno. Os métodos são equacionados utilizando-se inequações matriciais lineares (LMIs), que quando factíveis, podem ser facilmente solucionados por algoritmos de convergência polinomial. Por fim, um exemplo ilustra a viabilidade da metodologia proposta.

A relação de Euler para poliedros

In this paper we analyze the Euler Relation generally using as a means to visualize the fundamental idea presented manipulation of concrete materials, so that there is greater ease of understanding of the content, expanding learning for secondary students and even fundamental. The study is an introduction to the topic and leads the reader to understand that the notorious Euler Relation if inadequately presented, is not sufficient to establish the existence of a polyhedron. For analyzing some examples, the text inserts the idea of doubt, showing cases where it is not fit enough numbers to validate the Euler Relation. The research also highlights a theorem certainly unfamiliar to many students and teachers to research the polyhedra, presenting some very simple inequalities relating the amounts of edges, vertices and faces of any convex polyhedron, which clearly specifies the conditions and sufficient necessary for us to see, without the need of viewing the existence of the solid screen. And so we can see various polyhedra and facilitate understanding of what we are exposed, we will use Geogebra, dynamic application that combines mathematical concepts of algebra and geometry and can be found through the link http://www.geogebra.org

On Fuzzy Implication Classes - Towards Extensions of Fuzzy Rule-Based Systems

Atualmente, há diferentes definições de implicações fuzzy aceitas na literatura. Do ponto de vista teórico, esta falta de consenso demonstra que há discordâncias sobre o real significado de "implicação lógica" nos contextos Booleano e fuzzy. Do ponto de vista prático, isso gera dúvidas a respeito de quais "operadores de implicação" os engenheiros de software devem considerar para implementar um Sistema Baseado em Regras Fuzzy (SBRF). Uma escolha ruim destes operadores pode implicar em SBRF's com menor acurácia e menos apropriados aos seus domínios de aplicação. Uma forma de contornar esta situação e conhecer melhor os conectivos lógicos fuzzy. Para isso se faz necessário saber quais propriedades tais conectivos podem satisfazer. Portanto, a m de corroborar com o significado de implicação fuzzy e corroborar com a implementação de SBRF's mais apropriados, várias leis Booleanas têm sido generalizadas e estudadas como equações ou inequações nas lógicas fuzzy. Tais generalizações são chamadas de leis Boolean-like e elas não são comumente válidas em qualquer semântica fuzzy. Neste cenário, esta dissertação apresenta uma investigação sobre as condições suficientes e necessárias nas quais três leis Booleanlike like — y ≤ I(x, y), I(x, I(y, x)) = 1 e I(x, I(y, z)) = I(I(x, y), I(x, z)) — se mantém válidas no contexto fuzzy, considerando seis classes de implicações fuzzy e implicações geradas por automorfismos. Além disso, ainda no intuito de implementar SBRF's mais apropriados, propomos uma extensão para os mesmos

Controle ótimo H 'INFINITO' e H2 com a locação de pólos e modificação de zeros para rastreamento de sinais e rejeição de distúrbios em sistemas de controle usando LMIs

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Controle ótimo H 'INFINITO' com modificação de zeros para o problema de rastreamento em sistemas discretos usando LMI

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Formulações fortes para o problema integrado de dimensionamento e sequenciamento da produção

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Modificação de zeros em sistemas de controle robusto utilizando LMIs

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Relax and cut: limitantes duais para o problema do caixeiro viajante

Pós-graduação em Matemática - IBILCE

Modelagem matemática: uma abordagem do método gráfico e do método simplex na resolução de problemas de otimização

Pós-graduação em Matemática em Rede Nacional - IBILCE

Uma nova abordagem branch and cut aplicada ao problema de planejamento da expansão de redes de transmissão de grande porte

Neste artigo propomos um algoritmo branch and cut com novas inequações específicas ao problema de planejamento da expansão de redes de transmissão de energia elétrica. Todas as inequações propostas neste trabalho são válidas tanto para os modelos lineares como para os modelos não lineares do problema. Os testes computacionais têm mostrado a eficiência do método proposto neste trabalho quando aplicado a subsistemas reais brasileiros e ao sistema colombiano.

Conhece o microsoft mathematics? Não?! Então este workshop é para si!

A vertiginosa difusão das TIC e o crescente desenvolvimento de diverso software científico estão a produzir mudanças relevantes nos processos formativos em matemática, estando estas a favorecer a criação de novos e melhores recursos didáticos e de autoaprendizagem, assim como uma nova forma de gerar e difundir conhecimento ou experiências cognitivas (Atencio, 2013). No entanto para tirar partido, a nível pessoal ou profissional, da variedade de recursos que estão ao nosso alcance para aprender/ensinar matemática, como os programas Geogebra, Surfer, GeCla, Microsoft Mathematics etc., é importante conhecê-los e saber trabalhar com eles. Tendo em vista este objetivo, neste Workshop pretende-se “apresentar” o software Microsoft Mathematics, explorá-lo como recurso na resolução de algumas tarefas de matemática, assim como discutir as suas potencialidades e limitações. O software Microsoft Mathematics, inicialmente com a designação Microsoft Math, foi lançado pela Microsoft Corporation em 2006, e surgiu para tentar resolver o problema de muitos alunos brasileiros que tinham dificuldades nas disciplinas que envolviam cálculo. No início estava apenas disponível para uso de uma comunidade estudantil que, com o apoio de empresas e universidades, visava formar alunos na área de tecnologias de informação para o mercado de trabalho. Depois de algumas melhorias, o programa passou a ser disponibilizado para o público em geral e a ser comercializado (Sousa e Araújo (s.d.)). Atualmente a versão 4.0 é a mais recente, é gratuita e está disponível para download na internet no site https://www.microsoft.com/ptpt/ download/details.aspx?id=15702. Do ponto de vista da matemática, o Microsoft Mathematics abrange domínios como a aritmética, o cálculo, a álgebra e a estatística. Por exemplo, permite executar uma diversidade de cálculos: resolver equações, inequações e sistemas de equações, converter unidades de medida, calcular estatísticas básicas (como média e desvio-padrão), efetuar operações com números complexos, calcular derivadas e integrais, realizar operações com matrizes, entre outros, e, em alguns casos, possibilita a consulta da resolução passo a passo. Tem também uma vertente gráfica, podendo representar-se gráficos a duas ou a três dimensões. Esta funcionalidade possibilita, ainda, representar graficamente equações com parâmetros, o que permite visualizar as mudanças em função da variação do valor do parâmetro, que pode ser de grande utilidade, por exemplo, na discussão de sistemas de equações lineares. Em termos de usabilidade, o Microsoft Mathematics tem uma interface simples e facilmente compreensível para o utilizador e a sintaxe para comunicar com o software é quase sempre a que se utiliza em matemática. Torna-se igualmente uma mais-valia quando se pretende produzir documentos em Word com simbologia matemática, pois permite exportar para este aplicativo o trabalho realizado. Conclui-se, assim, que o Microsoft Mathematics é um software educativo que fornece um conjunto de ferramentas que podem constituir um apoio para os estudantes do 3.º ciclo do ensino básico, do ensino secundário e ensino superior, na resolução de tarefas que exigem conhecimentos matemáticos. Pode, ainda, tornar-se um recurso útil para os professores tanto na preparação de aulas como no contexto de sala de aula, na medida em que, para além de facilitar a execução de cálculos, permite explorar alguns conteúdos de uma forma interativa e com maior profundidade.