Inexact restoration approaches to solve mathematical program with complementarity constraints

Mathematical Program with Complementarity Constraints (MPCC) finds applica- tion in many fields. As the complementarity constraints fail the standard Linear In- dependence Constraint Qualification (LICQ) or the Mangasarian-Fromovitz constraint qualification (MFCQ), at any feasible point, the nonlinear programming theory may not be directly applied to MPCC. However, the MPCC can be reformulated as NLP problem and solved by nonlinear programming techniques. One of them, the Inexact Restoration (IR) approach, performs two independent phases in each iteration - the feasibility and the optimality phases. This work presents two versions of an IR algorithm to solve MPCC. In the feasibility phase two strategies were implemented, depending on the constraints features. One gives more importance to the complementarity constraints, while the other considers the priority of equality and inequality constraints neglecting the complementarity ones. The optimality phase uses the same approach for both algorithm versions. The algorithms were implemented in MATLAB and the test problems are from MACMPEC collection.

Numerical experiments with a modified regularization scheme for mathematical programs with complementarity constraints

On this paper we present a modified regularization scheme for Mathematical Programs with Complementarity Constraints. In the regularized formulations the complementarity condition is replaced by a constraint involving a positive parameter that can be decreased to zero. In our approach both the complementarity condition and the nonnegativity constraints are relaxed. An iterative algorithm is implemented in MATLAB language and a set of AMPL problems from MacMPEC database were tested.

A relação entre a álgebra acadêmica e a álgebra escolar em um curso de licenciatura em matemática: concepções de alunos e professores

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

A survey about experiments on notions of time in children k-1 and k-2

In this paper we explore the importance of analyzing the exercises that the manuals have in Mathematics study, because the difficulty of identifying some errors on them can interfere with the capabilities of children. We work with some exercises related to the theme of temporal notions, based on a survey of textbooks from the 1st and 2nd grade (K-1 and K-2). Our concern is to alert about the importance of reflecting on the content of the books, in order to promote a teaching-learning process tailored to the needs of children. The activities present in the manuals should allow children to develop their logical- mathematical reasoning, for later be able to understand and apply Mathematics. To this end, we present some reflection about the exercises of manuals, and we give our opinion about what is the correct and incorrect. Also, some activities are suggested, among which were implemented with children of the 2nd grade, K- 2, along the experiments that support our work.

Mathematical education and interdisciplinarity : promoting public awareness of mathematics in the Azores

Mathematical literacy in Portugal is very unsatisfactory in what concerns international standards. Even more disturbingly, the Azores archipelago ranks as one of the worst regions of Portugal in this respect. We reason that the popularisation of Mathematics through interactive exhibitions and activities can contribute actively to disseminate mathematical knowledge, increase awareness of the importance of Mathematics in today’s world and change its negative perception by the majority of the citizens. Although a significant investment has been undertaken by the local regional government in creating several science centres for the popularisation of Science, there is no centre for the popularisation of Mathematics. We present our first steps towards bringing Mathematics to unconventional settings by means of hands-on activities. We describe in some detail three activities. One activity has to do with applying trigonometry to measure distances in Astronomy, which can also be applied to Earth objects. Another activity concerns the presence of numerical patterns in the Azorean flora. The third activity explores geometrical patterns in the Azorean cultural heritage. It is our understanding that the implementation of these and other easy-to-follow and challenging activities will contribute to the awareness of the importance and beauty of Mathematics.

BabeLO : an extensible converter of programming exercises formats

In the last two decades, there was a proliferation of programming exercise formats that hinders interoperability in automatic assessment. In the lack of a widely accepted standard, a pragmatic solution is to convert content among the existing formats. BabeLO is a programming exercise converter providing services to a network of heterogeneous e-learning systems such as contest management systems, programming exercise authoring tools, evaluation engines and repositories of learning objects. Its main feature is the use of a pivotal format to achieve greater extensibility. This approach simplifies the extension to other formats, just requiring the conversion to and from the pivotal format. This paper starts with an analysis of programming exercise formats representative of the existing diversity. This analysis sets the context for the proposed approach to exercise conversion and to the description of the pivotal data format. The abstract service definition is the basis for the design of BabeLO, its components and web service interface. This paper includes a report on the use of BabeLO in two concrete scenarios: to relocate exercises to a different repository, and to use an evaluation engine in a network of heterogeneous systems.

CrimsonHex: a learning objects repository for programming exercises

A repository of learning objects is a system that stores electronic resources in a technology-mediated learning process. The need for this kind of repository is growing as more educators become eager to use digital educa- tional contents and more of it becomes available. The sharing and use of these resources relies on the use of content and communication standards as a means to describe and exchange educational resources, commonly known as learning objects. This paper presents the design and implementation of a service-oriented reposi- tory of learning objects called crimsonHex. This repository supports new definitions of learning objects for specialized domains and we illustrate this feature with the definition of programming exercises as learning objects and its validation by the repository. The repository is also fully compliant with existing commu- nication standards and we propose extensions by adding new functions, formalizing message interchange and providing a REST interface. To validate the interoperability features of the repository, we developed a repository plug-in for Moodle that is expected to be included in the next release of this popular learning management system.

Orchestration of e-learning services for automatic evaluation of programming exercises

Managing programming exercises require several heterogeneous systems such as evaluation engines, learning objects repositories and exercise resolution environments. The coordination of networks of such disparate systems is rather complex. These tools would be too specific to incorporate in an e-Learning platform. Even if they could be provided as pluggable components, the burden of maintaining them would be prohibitive to institutions with few courses in those domains. This work presents a standard based approach for the coordination of a network of e-Learning systems participating on the automatic evaluation of programming exercises. The proposed approach uses a pivot component to orchestrate the interaction among all the systems using communication standards. This approach was validated through its effective use on classroom and we present some preliminary results.

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

Mathematical aspects of the Heisenberg uncertainty principle within local fractional Fourier analysis

In this paper, we discuss the mathematical aspects of the Heisenberg uncertainty principle within local fractional Fourier analysis. The Schrödinger equation and Heisenberg uncertainty principles are structured within local fractional operators.

Dermic diffusion and stratum corneum: a state of the art review of mathematical models

Transdermal biotechnologies are an ever increasing field of interest, due to the medical and pharmaceutical applications that they underlie. There are several mathematical models at use that permit a more inclusive vision of pure experimental data and even allow practical extrapolation for new dermal diffusion methodologies. However, they grasp a complex variety of theories and assumptions that allocate their use for specific situations. Models based on Fick's First Law found better use in contexts where scaled particle theory Models would be extensive in time-span but the reciprocal is also true, as context of transdermal diffusion of particular active compounds changes. This article reviews extensively the various theoretical methodologies for studying dermic diffusion in the rate limiting dermic barrier, the stratum corneum, and systematizes its characteristics, their proper context of application, advantages and limitations, as well as future perspectives.

Modellus: Learning Physics with Mathematical Modelling

Tese de doutoramento em Ciências da Educação, área de Teoria Curricular e Ensino das Ciências

Futures of work and skills: some foresight exercises in Europe and USA

The Knowledge-based society brought a new way of living and working. The increasing decline of work in primary sector and traditional industries, related with the significant increase of employment in the service sector and in the knowledge work, changed the way companies and individuals establish their relations, the way work and life is organised. These changes are usual and fast and so the feeling of insecurity and unpredictability become more and more sharp. In this context, foresight exercises are necessary tools helping in the identification of the key variables and main trends of evolution. This report will present some foresight studies about work and skills in Europe and USA, in order to contribute to think about possible evolutions and trends.

Specifying a programming exercises evaluation service on the e-Framework

The e-Framework is arguably the most prominent e-learning framework currently in use. For this reason it was selected as basis for modelling a programming exercises evaluation service. The purpose of this type of evaluator is to mark and grade exercises in computer programming courses and in programming contests. By exposing its functions as services a programming exercise evaluator is able to participate in business processes integrating different system types, such as Programming Contest Management Systems, Learning Management Systems, Integrated Development Environments and Learning Object Repositories. This paper formalizes the approaches to be used in the implementation of a programming exercise evaluator as a service on the e-Framework.