Solving the multiobjective environmental/economic dispatch problem using weighted sum and ε-constraint strategies and a predictor-corrector primal-dual interior point method

This paper proposes a technique for solving the multiobjective environmental/economic dispatch problem using the weighted sum and ε-constraint strategies, which transform the problem into a set of single-objective problems. In the first strategy, the objective function is a weighted sum of the environmental and economic objective functions. The second strategy considers one of the objective functions: in this case, the environmental function, as a problem constraint, bounded above by a constant. A specific predictor-corrector primal-dual interior point method which uses the modified log barrier is proposed for solving the set of single-objective problems generated by such strategies. The purpose of the modified barrier approach is to solve the problem with relaxation of its original feasible region, enabling the method to be initialized with unfeasible points. The tests involving the proposed solution technique indicate i) the efficiency of the proposed method with respect to the initialization with unfeasible points, and ii) its ability to find a set of efficient solutions for the multiobjective environmental/economic dispatch problem.

Quasi-Monte Carlo Methods for some Linear Algebra Problems. Convergence and Complexity

We present quasi-Monte Carlo analogs of Monte Carlo methods for some linear algebra problems: solving systems of linear equations, computing extreme eigenvalues, and matrix inversion. Reformulating the problems as solving integral equations with a special kernels and domains permits us to analyze the quasi-Monte Carlo methods with bounds from numerical integration. Standard Monte Carlo methods for integration provide a convergence rate of O(N^(−1/2)) using N samples. Quasi-Monte Carlo methods use quasirandom sequences with the resulting convergence rate for numerical integration as good as O((logN)^k)N^(−1)). We have shown theoretically and through numerical tests that the use of quasirandom sequences improves both the magnitude of the error and the convergence rate of the considered Monte Carlo methods. We also analyze the complexity of considered quasi-Monte Carlo algorithms and compare them to the complexity of the analogous Monte Carlo and deterministic algorithms.

Efficient algorithms to solve scheduling problems with a variety of optimization criteria

La programmation par contraintes est une technique puissante pour résoudre, entre autres, des problèmes d’ordonnancement de grande envergure. L’ordonnancement vise à allouer dans le temps des tâches à des ressources. Lors de son exécution, une tâche consomme une ressource à un taux constant. Généralement, on cherche à optimiser une fonction objectif telle la durée totale d’un ordonnancement. Résoudre un problème d’ordonnancement signifie trouver quand chaque tâche doit débuter et quelle ressource doit l’exécuter. La plupart des problèmes d’ordonnancement sont NP-Difficiles. Conséquemment, il n’existe aucun algorithme connu capable de les résoudre en temps polynomial. Cependant, il existe des spécialisations aux problèmes d’ordonnancement qui ne sont pas NP-Complet. Ces problèmes peuvent être résolus en temps polynomial en utilisant des algorithmes qui leur sont propres. Notre objectif est d’explorer ces algorithmes d’ordonnancement dans plusieurs contextes variés. Les techniques de filtrage ont beaucoup évolué dans les dernières années en ordonnancement basé sur les contraintes. La proéminence des algorithmes de filtrage repose sur leur habilité à réduire l’arbre de recherche en excluant les valeurs des domaines qui ne participent pas à des solutions au problème. Nous proposons des améliorations et présentons des algorithmes de filtrage plus efficaces pour résoudre des problèmes classiques d’ordonnancement. De plus, nous présentons des adaptations de techniques de filtrage pour le cas où les tâches peuvent être retardées. Nous considérons aussi différentes propriétés de problèmes industriels et résolvons plus efficacement des problèmes où le critère d’optimisation n’est pas nécessairement le moment où la dernière tâche se termine. Par exemple, nous présentons des algorithmes à temps polynomial pour le cas où la quantité de ressources fluctue dans le temps, ou quand le coût d’exécuter une tâche au temps t dépend de t.

Os programas de matemática do ensino básico de 1990 e de 2007 e o processo de implementação do programa de 2007, no 1º ciclo do Ensino Básico

Mestrado em Educação Matemática na Educação Pré – Escolar e nos 1.º e 2.º Ciclos do Ensino Básico

Práticas de ensino supervisionadas do 1º e 2º ciclo do ensino básico: a prática de resolução de problemas na aquisição do conceito de comprimento e de perímetro no 3.º ano de escolaridade

Relatório final apresentado à Escola Superior de Educação de Lisboa para obtenção de grau de mestre em Ensino do 1.º e 2.º Ciclos do Ensino Básico

Generalização matemática baseada na análise de padrões numa turma de 3.º ano

Relatório de Estágio apresentado à Escola Superior de Educação de Lisboa para obtenção de grau de mestre em Ensino do 1.º e 2.º ciclo do Ensino Básico

A tradução de texto filosófico

A tradução tem sido tendenciosamente categorizada em dois grupos: a tradução de texto técnico e a tradução de texto literário. Contudo um determinado tipo de texto vem questionar essa separação sistemática: o texto filosófico. Apresentando tanto características de texto literário, devido ao seu estilo discursivo, como características de texto técnico, com uma forte presença de vocabulário técnico e específico, o texto filosófico apresenta-se como um híbrido entre texto literário e texto técnico. O que torna, portanto, este texto diferente das tipologias de tradução geralmente identificadas? Quais serão as implicações da tradução de um texto desse cariz? Quais serão os processos e metodologias subjacentes a essa tradução? A tradução para francês da obra Filosofia do Ritmo Portuguesa de Rodrigo Sobral Cunha, realizada no âmbito de um estágio na Editora e Livraria Portuguesa e Galega Orfeu, teve como principal objectivo responder a todas essas perguntas. Com base numa breve incursão teórica relativa ao texto filosófico, às suas características, à forma como diverge da separação clássica de texto técnico ou literário, sendo uma junção de ambos, e às implicações que essas características têm no processo de tradução, a tradução da obra de Rodrigo Sobral Cunha, em si, permitiu destacar uns processos e metodologias de tradução e de resolução de problemas ligados à mesma, adaptados à especificidade deste tipo de texto.

ACS800-kaappimoduulien pakkaamon ulkoistaminen

Tässä insinöörityössä selvitetään ABB Oy System AC -liiketoimintayksikön pakkaamon ulkoistamiseen liittyviä ongelmia sekä mahdollisia ratkaisuja näihin ongelmiin. Koko ongelman käsittely on liian laaja projektin yhdelle insinöörityölle. Tässä työssä keskitytään ratkaisemaan ko. ulkoistamiseen liittyvät keskeisimmät ACS800-kaappimoduulien kuljetuslogistiset ongelmat. Näitä ongelmia ovat kaappimoduulien kiinnitystarve kuljetusalustaansa sekä kuljetuspaketoinnin puuttuessa kaappimoduulien suojaaminen maantiekuljetuksen ajaksi. Työssä on otettu huomioon viranomaisten maantiekuljetuksia koskevat vaatimukset. Työssä on suunniteltu uusia kiinnitysvälineitä sekä muutoksia olemassa oleviin kuljetusalustoihin, joita käytetään tehtaan sisäisissä kaappimoduulien siirroissa. Kiinnitysvälineistä on tehty lujuuslaskelmia ja määritelty kiristysmomentteja. Tuotettavuuden ja kustannustehokkuuden kannalta on selvitetty kiinnitysvälineisiin soveltuvia materiaalivaihtoehtoja. Kuljetusalustojen muutoksista on myös tehty ohjeistusta. Tämän työn tulos on uusien kiinnitysvälineiden ja kuljetusalustojen mekaanisten muutosten suunnittelu. Samalla on todistettu, että kaappimoduulien siirto tehtaan ulkopuoliseen pakkaamoon ilman kuljetuspaketointia on teoriassa mahdollista.

Variables cognitivas y metacognitivas en la resolución de problemas de química: propuesta de estrategias didácticas

This paper presents and classifies the cognitive and metacognitive variables involved in the processes that students execute in problem solving. Moreover, it shows how these variables affect the students success in problem solving. These variables are classified in: piagetian and neo-piagetian, representational, metacognitive and transfer of learning. In the first group of variables it is discussed formal reasoning ability and other neo-piagetian factors. In the second group of variables it is analysed mental models and external representations. Implications for chemistry education are collected as a proposal of didactic strategies in the classroom.

Utilisation des TIC dans l’enseignement secondaire et développement des compétences des élèves en résolution de problèmes mathématiques au Burkina Faso

La présente étude intitulée « utilisation des technologies de l’information et de la communication dans l’enseignement secondaire et développement des compétences des élèves en résolution de problèmes mathématiques au Burkina Faso » est une recherche descriptive de type mixte examinant à la fois des données qualitatives et quantitatives. Elle examine les compétences en résolution de problèmes mathématiques d’élèves du Burkina Faso pour révéler d’éventuelles relations entre celles-ci et l’utilisation des TIC par les élèves ou leur enseignant de mathématiques. L’intérêt de cette recherche est de fournir des informations aussi bien sur la réalité des TIC dans l’enseignement secondaire au Burkina que sur les effets de leur présence dans l’enseignement et l’apprentissage des mathématiques. Les éléments théoriques ayant servi à l’analyse des données sont présentés suivant trois directions : la résolution des problèmes, le développement des compétences, et les relations entre les TIC, le développement de compétences et la résolution de problèmes. Du croisement de ces éléments émergent trois axes pour le développement de la réponse apportée à la préoccupation de l’étude : 1) décrire l’utilisation de l’ordinateur par les élèves du Burkina Faso pour améliorer leur apprentissage des mathématiques ; 2) identifier des rapports éventuels entre l’utilisation de l’ordinateur par les élèves et leurs compétences en résolution de problèmes mathématiques ; 3) identifier des rapports entre les compétences TIC de l’enseignant de mathématiques et les compétences de ses élèves en résolution de problèmes. Les processus de la résolution de problèmes sont présentés selon l’approche gestaltiste qui les fait passer par une illumination et selon l’approche de la théorie de la communication qui les lie au type de problème. La résolution de problèmes mathématiques passe par des étapes caractéristiques qui déterminent la compétence du sujet. Le concept de compétence est présenté selon l’approche de Le Boterf. Les données révèlent que les élèves du Burkina Faso utilisent l’ordinateur selon une logique transmissive en le considérant comme un répétiteur suppléant de l’enseignant. Par la suite, il n’y a pas de différence significative dans les compétences en résolution de problèmes mathématiques entre les élèves utilisant l’ordinateur et ceux qui ne l’utilisent pas. De même, l’étude révèle que les enseignants présentant des compétences TIC n’ont pas des élèves plus compétents en résolution de problèmes mathématiques que ceux de leurs collègues qui n’ont pas de compétences TIC.

Étude comparative des moyens de paiement

L’époque où il n'existait qu'un choix restreint de modes de paiement est à présent révolue. En effet, de l'apparition de la monnaie fiduciaire aux trente glorieuses, ils n’avaient que très peu évolué. Or, depuis quelques décennies, nous assistons à l’apparition de nombreux moyens de paiement, tous plus différents les uns des autres. Notre présente étude a non seulement pour objectif d’en confronter les principaux en vue d’identifier le plus adéquat face à une situation donnée, mais aussi et surtout de discuter de l’anonymat que ces derniers procurent ou non. Pour ce faire, nous avons d’abord présenté chacun de ces moyens tout en en définissant les fonctionnements et les technologies. Par la suite, une comparaison par l'entremise d'une analyse indépendante a été réalisée sur la base d’éléments précis tels que la protection de la vie privée ou encore les propriétés ACID. Des critères omme la confiance des utilisateurs (sécurité) et les attentes qu'ont les institutions financières vis-à-vis de ces derniers ont aussi été considérés. Et enfin, trois méthodes de paiement qui sont en réalité des approches-solutions pour pallier aux problèmes liés à l’anonymat que présentent certains principaux moyens de paiement connus, ont été présentées à leur tour. Ainsi, le premier système de paiement proposé est axé sur les comptes bancaires anonymes, tandis que le second est, lui inspiré du système des jetons; Si bien qu’une combinaison de ces deux approches a conduit à une troisième, afin d’en regrouper les avantages.

Finite element method for the accurate solution of diatomic molecules

We present the Finite-Element-Method (FEM) in its application to quantum mechanical problems solving for diatomic molecules. Results for Hartree-Fock calculations of H_2 and Hartree-Fock-Slater calculations of molecules like N_2 and C0 have been obtained. The accuracy achieved with less then 5000 grid points for the total energies of these systems is 10_-8 a.u., which is demonstrated for N_2.

Self-adjoint extensions and spectral analysis in the generalized Kratzer problem

We present a mathematically rigorous quantum-mechanical treatment of a one-dimensional non-relativistic motion of a particle in the potential field V(x) = g(1)x(-1) + g(2)x(-2), x is an element of R(+) = [0, infinity). For g(2) > 0 and g(1) < 0, the potential is known as the Kratzer potential V(K)(x) and is usually used to describe molecular energy and structure, interactions between different molecules and interactions between non-bonded atoms. We construct all self-adjoint Schrodinger operators with the potential V(x) and represent rigorous solutions of the corresponding spectral problems. Solving the first part of the problem, we use a method of specifying self-adjoint extensions by (asymptotic) self-adjoint boundary conditions. Solving spectral problems, we follow Krein`s method of guiding functionals. This work is a continuation of our previous works devoted to the Coulomb, Calogero and Aharonov-Bohm potentials.

A resolução de problemas no processo ensino-aprendizagem-avaliação de matemática na e além da sala de aula

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

O raciocínio lógico e a criatividade na resolução de problemas matemáticos no ensino médio

Pós-graduação em Educação - FFC