Explorando un problema de extremos con un programa de geometría dinámica

Este articulo ilustra cómo un problema ambiguamente formulado admite diferentes lecturas y soluciones, permitiendo así distintas aproximaciones según el nivel y las capacidades del alumno. El problema de optimización es explorado en un entorno de geometría dinámica (The Geometer's Sketchpad). Esta aproximación geométrica facilita la formulación de conjeturas y su prueba visual, allanando el camino a la prueba analítica, si ésta se considera pertinente.

El problema P-S de McCarthy y otros acertijos

Usualmente, los problemas de ingenio (puzles) han sido considerados ejemplos motivadores para la enseñanza de la programación. Muchos autores han defendido el lenguaje PROLOG como un primer acercamiento a la programación y a las ciencias de la computación.

La calculadora gráfica. Una herramienta para resolver un problema de evolución de especies

En este artículo se recoge brevemente el contenido y resultado de una experiencia llevada a cabo en clase, con un grupo de alumnos de 4.° curso de ESO. Se plantea el problema inicial de la evolución de un grupo de peces en una charco se obtiene un modelo matemático simple (la llamada función logística), que aproxima el problema, y después se estudian algunos casos interesantes de los que se obtienen diversos comportamientos, tanto regulares como caóticos.

Un problema cualquiera

Con frecuencia, al leer el encabezamiento de un artículo, el lector intenta hacerse una idea aproximada de lo que puede estar escrito bajo él, aunque no siempre coincida con lo que realmente hay. Para evitar que esto ocurra entre nosotros, y dado que el título resulta bastante genérico, trataré de introducirle con unos breves comentarios, de manera que si no se siente interesado pueda pasar al próximo artículo. Pero si es un aficionado a los problemas de pasatiempos, o le gusta entretenerse en averiguar" cómo otra gente resuelve problemas, o quiere reflexionar sobre el propio pensamiento cuando es usted el resolutor, o está preocupado en líneas generales por la enseñanza, deténgase un momento y concédame un margen de confianza. Esto quizá le pueda interesar.

La reina Dido de Cartago y el primer problema isoperimétrico conocido

Se presenta el problema original de la Reina Dido y se hace un recuento de los intentos de solución del problema isoperimétrico a lo largo de muchos siglos.

Montagem de câmaras de vigilância: o problema do balanceamento

Este relatório apresenta o estudo de duas linhas de montagem de câmaras de vigilância da empresa Bosch Security Systems, S.A. de Ovar. Numa primeira fase procedeu-se à elaboração das listas de tarefas e respectivas precedências, seguindo-se a medição de trabalho, com o intuito de se actualizarem os tempos padrão existentes. Procedeu-se à comparação dos tempos obtidos com os que se encontravam em vigor de modo a perceber as diferenças e motivos das mesmas. Numa segunda fase, realizaram-se balanceamentos para as duas linhas tendo como cenários a manutenção das duas linhas e a possibilidade da sua junção numa linha única. Analisaram-se todos os resultados e efectuou-se um levantamento do investimento necessário associado a cada um dos cenários. Realizou-se deste modo uma análise de viabilidade com vista ao apoio à decisão. Por fim, realizou-se o workshop Lean Line Design que teve como resultado a configuração física da linha final. Este projecto permitiu chegar a resultados aliciantes, com ganhos a vários níveis. Constituiu mais uma acção de melhoria da empresa, levando-a a rectificar lacunas existentes e ao cumprimento de procedimentos ergonómicos que já se encontravam definidos.

Synchronisation in high-performance integrated circuits

A distribui ção de um sinal relógio, com elevada precisão espacial (baixo skew) e temporal (baixo jitter ), em sistemas sí ncronos de alta velocidade tem-se revelado uma tarefa cada vez mais demorada e complexa devido ao escalonamento da tecnologia. Com a diminuição das dimensões dos dispositivos e a integração crescente de mais funcionalidades nos Circuitos Integrados (CIs), a precisão associada as transições do sinal de relógio tem sido cada vez mais afectada por varia ções de processo, tensão e temperatura. Esta tese aborda o problema da incerteza de rel ogio em CIs de alta velocidade, com o objetivo de determinar os limites do paradigma de desenho sí ncrono. Na prossecu ção deste objectivo principal, esta tese propõe quatro novos modelos de incerteza com âmbitos de aplicação diferentes. O primeiro modelo permite estimar a incerteza introduzida por um inversor est atico CMOS, com base em parâmetros simples e su cientemente gen éricos para que possa ser usado na previsão das limitações temporais de circuitos mais complexos, mesmo na fase inicial do projeto. O segundo modelo, permite estimar a incerteza em repetidores com liga ções RC e assim otimizar o dimensionamento da rede de distribui ção de relógio, com baixo esfor ço computacional. O terceiro modelo permite estimar a acumula ção de incerteza em cascatas de repetidores. Uma vez que este modelo tem em considera ção a correla ção entre fontes de ruí do, e especialmente util para promover t ecnicas de distribui ção de rel ogio e de alimentação que possam minimizar a acumulação de incerteza. O quarto modelo permite estimar a incerteza temporal em sistemas com m ultiplos dom ínios de sincronismo. Este modelo pode ser facilmente incorporado numa ferramenta autom atica para determinar a melhor topologia para uma determinada aplicação ou para avaliar a tolerância do sistema ao ru ído de alimentação. Finalmente, usando os modelos propostos, são discutidas as tendências da precisão de rel ogio. Conclui-se que os limites da precisão do rel ogio são, em ultima an alise, impostos por fontes de varia ção dinâmica que se preveem crescentes na actual l ogica de escalonamento dos dispositivos. Assim sendo, esta tese defende a procura de solu ções em outros ní veis de abstração, que não apenas o ní vel f sico, que possam contribuir para o aumento de desempenho dos CIs e que tenham um menor impacto nos pressupostos do paradigma de desenho sí ncrono.

O problema da árvore de suporte de custo mínimo com restrições de peso

Nesta tese abordam-se várias formulações e diferentes métodos para resolver o Problema da Árvore de Suporte de Custo Mínimo com Restrições de Peso (WMST – Weight-constrained Minimum Spanning Tree Problem). Este problema, com aplicações no desenho de redes de comunicações e telecomunicações, é um problema de Otimização Combinatória NP-difícil. O Problema WMST consiste em determinar, numa rede com custos e pesos associados às arestas, uma árvore de suporte de custo mínimo de tal forma que o seu peso total não exceda um dado limite especificado. Apresentam-se e comparam-se várias formulações para o problema. Uma delas é usada para desenvolver um procedimento com introdução de cortes baseado em separação e que se tornou bastante útil na obtenção de soluções para o problema. Tendo como propósito fortalecer as formulações apresentadas, introduzem-se novas classes de desigualdades válidas que foram adaptadas das conhecidas desigualdades de cobertura, desigualdades de cobertura estendida e desigualdades de cobertura levantada. As novas desigualdades incorporam a informação de dois conjuntos de soluções: o conjunto das árvores de suporte e o conjunto saco-mochila. Apresentam-se diversos algoritmos heurísticos de separação que nos permitem usar as desigualdades válidas propostas de forma eficiente. Com base na decomposição Lagrangeana, apresentam-se e comparam-se algoritmos simples, mas eficientes, que podem ser usados para calcular limites inferiores e superiores para o valor ótimo do WMST. Entre eles encontram-se dois novos algoritmos: um baseado na convexidade da função Lagrangeana e outro que faz uso da inclusão de desigualdades válidas. Com o objetivo de obter soluções aproximadas para o Problema WMST usam-se métodos heurísticos para encontrar uma solução inteira admissível. Os métodos heurísticos apresentados são baseados nas estratégias Feasibility Pump e Local Branching. Apresentam-se resultados computacionais usando todos os métodos apresentados. Os resultados mostram que os diferentes métodos apresentados são bastante eficientes para encontrar soluções para o Problema WMST.

Influência da modelação de elementos não estruturais no dimensionamento à acção sísmica

Realizou-se um estudo paramétrico sobre a influência de elementos não estruturais, executados em betão, no dimensionamento de elementos estruturais de betão armado, face às acções sísmicas regulamentares.

Metodologia para o dimensionamento do reforço sísmico de edifícios

Neste artigo apresenta-se uma metodologia para o dimensionamento do reforço de edifícios existentes com estrutura em betão armado, sujeitos à acção sísmica. O método de análise é constituído por três fases: avaliação estrutural; avaliação da segurança estrutural e dimensionamento do reforço.

Aplicação de um modelo de dimensionamento e simulação de redes de rega sob pressão em ArcMap

No âmbito da unidade curricular “Dissertação, Projeto ou Estágio” do mestrado em Geomática, é desenvolvido um estágio curricular com a duração de 86 dias (645 horas) na Empresa de Desenvolvimento e Infra-estruturas do Alqueva, SA (EDIA). Este estágio tem como objetivo principal fornecer a primeira experiência profissional na área dos Sistemas de Informação Geográfica (SIG), permitindo desenvolver e consolidar as competências adquiridas ao longo do curso. Este relatório de estágio tem como finalidade dar a conhecer as atividades desenvolvidas pela aluna, e também servir como complemento ao manual da aplicação utilizada, o SIGOPRAM uma vez que o respetivo manual não reúne toda a informação necessária para que o utilizador menos experiente consiga desenvolver uma simulação na aplicação. O trabalho realizado incide na utilização de dois modelos distintos, o de dimensionamento e o de simulação, permitindo analisar o desempenho da aplicação, uma vez que esta nunca tinha sido utilizada na EDIA. Opta-se por aplicar os dois modelos para uma rede de rega pequena, tendo em consideração o tempo de duração do estágio e o facto de, no início do estágio, a aluna não estar familiarizada com a área de Hidráulica. O modelo de dimensionamento é aplicado a uma rede de rega do sub-bloco Cuba Este 1, de forma a analisar o comportamento do software DIOPRAM e a validar os seus resultados, através de uma comparação entre os resultados obtidos pela aplicação do modelo e os resultados de dimensionamento obtidos pela equipa projetista externa. Com a aplicação do modelo de dimensionamento obtêm-se resultados sobre o caudal, pressão dinâmica, velocidade, diâmetro e tipo de material aplicado em cada troço, otimizados de forma a obter a rede mais barata possível. Com a aplicação do modelo de simulação, são analisados possíveis problemas operacionais que a rede possa apresentar, ao nível da pressão e de velocidade de circulação da água nas condutas, através do software EPANET.

Pensar e filosofar a partir do problema da existência de Deus

Relatório da Prática de Ensino Supervisionada, Mestrado em Ensino de Filosofia, Universidade de Lisboa, 2010

Igualdade e dispensas fiscais retroativas : o problema constitucional em especial das anistias fiscais

Tese de doutoramento, Direito (Ciências Jurídico Políticas), Universidade de Lisboa, Faculdade de Direito, 2014