Some reformulations for the quadratic assignment problem

Kombinatorisk optimering handlar om att hitta en bra eller rent av den bästa möjliga lösningen från ett känt antal lösningar eller kombinationer. Ofta är antalet lösningar så enormt att en genomgång av alla olika lösningar inte är möjlig. En av huvudorsakerna till att det forskas inom kombinatorisk optimering är att liknande frågeställningar eller problem uppkommer inom så många olika områden. Påståendet stämmer speciellt bra för kvadratiska tilldelningsproblem(eng. Quadratic Assignment Problem). Sådana problem uppstår då man försöker beskriva en stor mängd tillämpade frågeställningar. Vilken gate skall väljas för flygen på större flygplatser för att minimera den totala väg människorna behöver gå och bagaget förflyttas? Var skall olika avdelningar på en fabrik placeras för att minimera materialförflyttningar mellan avdelningarna? Hur ser ett optimalt tangentbord ut för olika språk? Var skall komponenterna placeras på ett kretskort? De här är alla frågor som kan besvaras genom att lösa kvadratiska tilldelningsproblem. Kvadratiska tilldelningsproblem är dock mycket svåra att lösa. Det beror på att problemet i den standardform det matematiskt formuleras i huvudsak består av produkter av binära variabler. I denna avhandling har problemet omformulerats till en linjär diskret form som innehåller färre variabler. Med omformuleringen har bland annat flera tidigare olösta kvadratiska tilldelningsproblem kunnat lösas till globalt optimum, den bästa möjliga lösningen, för första gången någonsin.

Lagrangian-informed mixed integer programming reformulations

La programmation linéaire en nombres entiers est une approche robuste qui permet de résoudre rapidement de grandes instances de problèmes d'optimisation discrète. Toutefois, les problèmes gagnent constamment en complexité et imposent parfois de fortes limites sur le temps de calcul. Il devient alors nécessaire de développer des méthodes spécialisées afin de résoudre approximativement ces problèmes, tout en calculant des bornes sur leurs valeurs optimales afin de prouver la qualité des solutions obtenues. Nous proposons d'explorer une approche de reformulation en nombres entiers guidée par la relaxation lagrangienne. Après l'identification d'une forte relaxation lagrangienne, un processus systématique permet d'obtenir une seconde formulation en nombres entiers. Cette reformulation, plus compacte que celle de Dantzig et Wolfe, comporte exactement les mêmes solutions entières que la formulation initiale, mais en améliore la borne linéaire: elle devient égale à la borne lagrangienne. L'approche de reformulation permet d'unifier et de généraliser des formulations et des méthodes de borne connues. De plus, elle offre une manière simple d'obtenir des reformulations de moins grandes tailles en contrepartie de bornes plus faibles. Ces reformulations demeurent de grandes tailles. C'est pourquoi nous décrivons aussi des méthodes spécialisées pour en résoudre les relaxations linéaires. Finalement, nous appliquons l'approche de reformulation à deux problèmes de localisation. Cela nous mène à de nouvelles formulations pour ces problèmes; certaines sont de très grandes tailles, mais nos méthodes de résolution spécialisées les rendent pratiques.

A priori reformulations for joint rolling-horizon scheduling of materials processing and lot-sizing problem

In many production processes, a key material is prepared and then transformed into different final products. The lot sizing decisions concern not only the production of final products, but also that of material preparation in order to take account of their sequence-dependent setup costs and times. The amount of research in recent years indicates the relevance of this problem in various industrial settings. In this paper, facility location reformulation and strengthening constraints are newly applied to a previous lot-sizing model in order to improve solution quality and computing time. Three alternative metaheuristics are used to fix the setup variables, resulting in much improved performance over previous research, especially regarding the use of the metaheuristics for larger instances. © 2013 Elsevier Ltd. All rights reserved.

A dimensão prática na preparação profissional em educação física : concepção e organização acadêmica

Universidade Estadual de Campinas . Faculdade de Educação Física

Gestão de carreiras dos profissionais de saúde

Com a reforma da Administração Pública, implementada de forma mais integrada e abrangente pelo Governo socialista de José Sócrates (XVII Governo Constitucional), foi iniciada a reformulação das carreiras dos profissionais de saúde, nomeadamente a carreira médica e a carreira de enfermagem, continuando-se a aguardar a reformulação das carreiras dos técnicos superiores de saúde e dos técnicos de diagnóstico e terapêutica. As inúmeras mudanças que decorrem destas reformulações têm criado por sua vez um clima de receio e expectativa junto dos profissionais de saúde, o que aliado a um período de contingência e recessão económica, tem causado uma certa instabilidade. Embora fosse de reconhecimento geral que a anterior forma como se geria as carreiras dos profissionais de saúde, utilizando como critérios de progressão mecanismos automatizados com foco na antiguidade, não fosse a mais correcta, uma vez que não cumpria princípios de justiça e meritocracia, são agora levantadas inúmeras dúvidas com estas reformulações. A questão principal é se efectivamente virão dar resposta à necessidade de uma maior flexibilidade na evolução profissional, mais adequada aos contributos de cada colaborador, potenciando o desenvolvimento de competências. Concluiu-se então que as reformulações efectuadas nas carreiras dos profissionais de saúde não incentivam totalmente o desenvolvimento de competências ao longo da carreira, mas permitem de alguma forma uma maior flexibilidade na evolução profissional; possibilitando que esta se desenvolva de acordo com os contributos de cada colaborador, apesar de grandes entraves na aplicação à prática. A verdade é que não se conseguem atingir resultados somente através de resoluções por decreto, falta a transformação deste sistema meritocrático, existente no plano formal, numa prática social meritocrática. Para isso em todas as reformulações que ocorram deve-se, primeiro de tudo, sensibilizar os colaboradores para essa necessidade, informar e esclarecer dúvidas, ouvir as suas sugestões e incluí-los no processo de mudança. Só dessa forma se irá conseguir a sua aceitação, o seu apoio e implementar efectivamente novas práticas. Nesse sentido, espera-se que este trabalho contribua para um maior conhecimento acerca da gestão de carreiras, gestão de competências, avaliação de desempenho e meritocracia, bem como das alterações legislativas que têm vindo a ocorrer, sensibilizando para a necessidade de se efectuarem realmente reformulações nas carreiras dos profissionais de saúde, mas também promovendo o desenvolvimento de uma atitude pró-activa para que estas sejam mais meritocráticas.

O papel da supervisão na avaliação de desempenho docente

Com as várias reformulações do processo de avaliação de desempenho docente (ADD), passou-se de um processo de avaliação dos professores assente na autoavaliação do docente, para um sistema de heteroavaliação que visa a prestação de contas e a seleção, mas também a melhoria de práticas e o desenvolvimento profissional, através do acompanhamento supervisivo. No entanto, a conciliação entre estas duas perspetivas não é fácil e tem gerado perplexidades e inquietações entre os avaliadores e entre os avaliados. Com este estudo, pretendemos conhecer a perspetiva de avaliadores e avaliados sobre o papel que a Supervisão detém no processo de avaliação de desempenho do professor e o seu contributo para o desenvolvimento profissional do professor e melhoria das práticas. Assim desenhou-se um plano de estudo qualitativo, exploratório e descritivo procurando captar o ponto de vista dos principais intervenientes no processo. O principal meio de recolha de dados foi a entrevista semiestruturada a 4 professores avaliadores e 4 professores avaliados do Departamento de Matemática e Ciências Experimentais de um Agrupamento de Escolas. Os resultados mostram que os docentes discordam do modelo de ADD, mas que o processo vivenciado teve caraterísticas positivas, dando os avaliadores especial relevância à oportunidade de conhecer outros processos de trabalho, a partir da observação de aulas. Avaliadores e avaliados referem ainda o bom relacionamento estabelecido entre ambos, contradizendo as preocupações expressas quando se pronunciaram sobre os problemas do modelo de avaliação. No entanto, ambos os subgrupos focam a falta de formação e qualificação profissional dos avaliadores. Em termos gerais, é possível concluir que a maior parte das dificuldades atribuídas pelos docentes ao modelo de ADD não foi depois sentida na implementação prática. Por outro lado, na opinião dos docentes, o processo experienciado não teve verdadeiro impacto na melhoria das práticas ou no desenvolvimento profissional dos docentes envolvidos. - Abstract The several reformulations of the process of the teacher performance evaluation made the process of evaluating teachers, which was first based on a self-evaluation change into a straight assessment system, which aims not only accountability and selection, but also the improvement of the practice and professional development through the supervision of the teaching practice. However, the conciliation between these perspectives has not been easy and has generated anxieties and perplexities among evaluators and evaluated. With this study we intend to know the perspective of the evaluators and of the evaluated concerning the role supervision has hold in the process of evaluating a teacher’s performance and its contribution to the professional development of the teacher and to the improvement of his practices. Thus, a qualitative, exploratory and descriptive study plan was drawn to get to know the viewpoint of the intervening ones in the process. The main means for data collection was based on a semi structured interview, targeting 4 teacher evaluators and 4 evaluated teachers of the Experimental Sciences and Mathematics Department of a group of Schools. The results show that teachers disagree with the teacher’s evaluation model, but the experienced process had positive characteristics. Besides, evaluators have given special relevance to the opportunity of getting to know other working methods thanks to the lessons’ observations. Evaluators and evaluated also refer the good relationship between both parts contradicting the fears they had when they first pronounced themselves about this evaluation model. However, both subgroups focus the lack of training and professional qualifications of the evaluators. So it’s possible to conclude that most worries mentioned by the teachers when referring to this model of teacher performance evaluation were not verified during its practical implementation. On the other hand, in the opinion of the involved teachers, the experienced process had no real impact on their practice improvement or on their professional development.

Modelos de simulação de processos por junção de componentes

Dissertação de mestrado integrado em Engenharia e Gestão de Sistemas de Informação

A avaliação da fluência oral em crianças do 3º ano do ensino básico com e sem necessidades educativas especiais: um estudo exploratório quantitativo

Dissertação de mestrado em Educação Especial (área de especialização em Dificuldades de Aprendizagem Específicas)

Recasts, uptake and learning : effects and relationships

L’uptake est la réponse immédiate de l’apprenant suite à la rétroaction de l’enseignant (Lyster & Ranta, 1997). Cette étude investigue la relation entre l’uptake et l’apprentissage des déterminants possessifs et des questions d’anglais L2. Elle examine aussi l’effet des reformulations implicites et explicites en termes d’uptake et d’apprentissage. Deux classes intensives (ESL) de sixième année du primaire (N=53) à Montréal ont participé à cette étude. Les deux classes ont été réparties en deux groupes : reformulations explicites et reformulations implicites. L’intervention comportait des activités communicatives. Les élèves ont été testés sur les formes cibles immédiatement avant et après le traitement pédagogique en utilisant des taches orales. Les résultats ont confirmé l’effet supérieur des reformulations explicites en termes d’uptake et d’apprentissage et que l’effet des reformulations dépend de la cible. Cette étude a montré aussi que l’uptake peut faciliter l’apprentissage et que son absence n’est pas signe de manque d’apprentissage.

Noticeability of corrective feedback, L2 development and learner beliefs

Cette étude quasi-expérimentale a pour but de 1) comparer la prise en compte et les effets de trois conditions rétroactives, à savoir la reformulation, l’incitation et un mélange des deux techniques, 2) déterminer le lien entre la prise en compte et l’apprentissage, et 3) identifier l’effet des perceptions des apprenants quant à la rétroaction corrective sur la prise en compte et l’apprentissage. Quatre groupes d’apprenants d’anglais langue seconde ainsi que leurs enseignants provenant d’un CEGEP francophone de l’île de Montréal ont participé à cette étude. Chaque enseignant a été assigné à une condition rétroactive expérimentale qui correspondait le plus à ses pratiques rétroactives habituelles. La chercheure a assuré l’intervention auprès du groupe contrôle. L’utilisation du passé et de la phrase interrogative était ciblée durant l’intervention expérimentale. Des protocoles de pensée à haute voie ainsi qu’un questionnaire ont été utilisés pour mesurer la prise en compte de la rétroaction corrective. Des tâches de description d’images et d’identification des différences entre les images ont été administrées avant l’intervention (pré-test), immédiatement après l’intervention (post-test immédiat) et 8 semaines plus tard (post-test différé) afin d’évaluer les effets des différentes conditions rétroactives sur l’apprentissage des formes cibles. Un questionnaire a été administré pour identifier les perceptions des apprenants quant à la rétroaction corrective. En termes de prise en compte, les résultats indiquent que les participants sont en mesure de remarquer la rétroaction dépendamment de la forme cible (les erreurs dans l’utilisation du passé sont détectées plus que les erreurs d’utilisation de la phrase interrogative) et de la technique rétroactive utilisée (l’incitation et le mélange d’incitation et de reformulations sont plus détectés plus que la reformulation). En ce qui a trait à l’apprentissage, l’utilisation du passé en général est marquée par plus de développement que celle de la phrase interrogative, mais il n'y avait aucune différence entre les groupes. Le lien direct entre la prise en compte et l’apprentissage ne pouvait pas être explicitement établi. Pendant que la statistique inférentielle a suggéré une relation minimale entre la prise en compte du passé et son apprentissage, mais aucune relation entre la prise en compte de la phrase interrogative et son apprentissage, les analyses qualitatives ont montrés à une association entre la prise en compte et l’apprentissage (sur les deux cibles) pour certains étudiants et augmentations sans prise en compte pour d'autres. Finalement, l’analyse factorielle du questionnaire indique la présence de quatre facteurs principaux, à savoir l’importance de la rétroaction corrective, la reformulation, l’incitation et les effets affectifs de la rétroaction. Deux de ces facteurs ont un effet modérateur sur la prise en compte de la rétroaction sans, toutefois, avoir d’impact sur l’apprentissage.

Le contrôle sur l’Internet

Cette recherche porte sur la notion de contrôle qui s’opère sur l’Internet grâce aux outils de l’information et de la communication. Dans une première approche à mon sujet, j’ai essayé de définir les concepts information et communication puis, j’ai retracé le cadre théorique de leurs évolutions; ceci dans le but de (1) montrer l’ambiguïté qui tourne autour de leurs définitions, (2) créer un lien entre ces deux termes et le contrôle. Après une brève description théorique, la complexité du concept de contrôle est mise en relief. Pour- ce- faire, je prends principalement appui sur les travaux de Wiener puis de Michel Foucault, sans toutefois les embrasser totalement. L’objectif de cette approche de travail est de me permettre de cerner et de regrouper les différentes formes de contrôle sur le net en deux catégories, suivant le modèle établi par Michel Foucault dans son ouvrage Surveiller et Punir. Mes deux axes sont: (1) le contrôle - mécanisme, (2) le contrôle - blocus. Enfin, je m’intéresse à l’influence que ces différentes formes de contrôle peuvent avoir sur la construction de notre individualité. Comme point de départ, j’analyse la notion d’individu chez M. Foucault et ensuite, j’explore les concepts d’intériorité versus extériorité. Ces deux concepts recoupent en partie la notion d’individu –construction social - chez Michel Foucault et permettent de poser des questions fondamentales sur les possibilités du sujet d’échapper au contrôle des nouvelles technologies de l’information et de la communication. Quelques éléments de réponse ainsi que des reformulations sont proposés en guise de conclusion.

Performance as social practice

Starting point for these outputs is a large scale research project in collaboration with the Zurich University for the Arts and the Kunstmuseum Thun, looking at a redefinition of Social Sculpture (Joseph Beuys/ Bazon Brock, 1970) as a functional device re-deployed to expand the art discourse into a societal discourse. Although Beuys‘ version of a social sculpture involved notions of abstruse mysticism and reformulations of a national identity these were never-the less part of a social transformation that shifted and re-arranged power relations. Following Laclau and Mouffe in their contention that democray is a fundamentally antagonistic process and contesting Grant Kester’s understanding of a ethically based relational practice, this work is alignes itself with Hirschhorn’s claim to an aesthetic practice within communities, following the possibility to view a socially based practice from both ends of the ethics debate, whereby ethical aspects fuels the aethetic to “create situations that are beautiful because they are ethical and shocking because they are ethical, thus in turn aesthetic because they are ethical” (O’Donnell). This project sets out to engage in activities which interact with surrounding communities and evoce new imaginations of site, thereby understanding site as a catalysts for subjective emergences. Performance is tested as a site for social practice. Archival research into local audio/visual resources, such as the Swiss Radio Archive, the Swiss Military Film Archives and zoological film archives of the Basel Zoo, was instrumental to the navigation of this work, under theme of crisis, catastrophy, landscape, fallout, in order to create a visual language for an active performance site. Commissioned by the Kunstmuseum Thun in collaboration with the University for the Arts in Zurich as part of a year long exhibition programme, (other artists are Jeanne Van Heeswijk (NL) and San Keller (CH), ) this project brings together a series of different works in a new performace installation. The performance process includes a performance workshop with 30 school children from local Swiss schools and their teachers, which was conducted publicly in the museum spaces. It enabled the children to engage with an unexpected set of tribal and animalistic behaviours, looking at situations of flight and rescue, resulting in a large performance choreography orchestration without an apparent conductor, it includes a collaboration with renowned Swiss zoologist, Prof Klaus Zuberbühler(University of St Andrews) and the Colonal General Haldimann commander of the military base in Thun. The installation included 2 static video images, shot in an around spectacular local cave site (Beatus Caves) including 3 children. The project will culminate in an edited edition of the Oncurating Journal, (issue no, tbc, in 2012) including interviews and essays from project collaborators. (Army Commander General, Thun, Jörg Hess, performance script, Timothy Long, and others)

Exact penalties for variational inequalities with applications to nonlinear complementarity problems

In this paper, we present a new reformulation of the KKT system associated to a variational inequality as a semismooth equation. The reformulation is derived from the concept of differentiable exact penalties for nonlinear programming. The best theoretical results are presented for nonlinear complementarity problems, where simple, verifiable, conditions ensure that the penalty is exact. We close the paper with some preliminary computational tests on the use of a semismooth Newton method to solve the equation derived from the new reformulation. We also compare its performance with the Newton method applied to classical reformulations based on the Fischer-Burmeister function and on the minimum. The new reformulation combines the best features of the classical ones, being as easy to solve as the reformulation that uses the Fischer-Burmeister function while requiring as few Newton steps as the one that is based on the minimum.

A avaliação da efetividade da política de ressarcimento ao Sistema Único de Saúde

A necessidade de coibir o descontrole do mercado dos planos de saúde tornou-se uma questão importante no cenário nacional, na década de 90. Desta forma, 10 anos após a criação do Sistema Único de Saúde (SUS), em um contexto de pressões e de baixa regulação dos planos de saúde, instituiu-se a Lei no 9.656/1998, uma legislação inédita no Brasil, pois regulou as atividades das operadoras de planos de saúde (OPSs) em nível nacional. Dentre outras questões, a Lei estabeleceu a política de ressarcimento ao SUS, impondo no Artigo no 32 o ressarcimento pelas OPSs das despesas geradas ao SUS quando um beneficiário usa a rede pública para um procedimento coberto pelo seu plano. No entanto, esta política é parte dos conflitos que se situa no limite dos interesses entre o setor privado e público: as OPSs já em 1998 moveram uma ação direta de inconstitucionalidade contra a mesma e têm recorrido frequentemente ao judiciário para não pagarem os valores cobrados pela Agência Nacional de Saúde Suplementar (ANS). Após 12 anos da Lei, ainda não se conhece o seu real impacto. Portanto, o presente trabalho teve como objetivo avaliar a efetividade da política de ressarcimento ao SUS. A metodologia utilizada baseou-se na avaliação de dados produzidos pela ANS e pelo Ministério da Saúde/DATASUS, e das entrevistas realizadas com gerentes da rede pública e privada. Apesar das ações da ANS, os resultados apontaram a reduzida efetividade da política em termos financeiros, jurídicos e sobre o seu público-alvo. Apenas 22% do cobrado às OPSs foi restituído ao Sistema Único de 1999 a 2006, a política é vista como inconstitucional pelo mercado e tem reduzido impacto sobre as OPSs, o SUS e os beneficiários. Questões como os valores da tabela única nacional de equivalência de procedimentos (TUNEP), a inconstitucionalidade do ressarcimento e a opção do beneficiário pelo uso do SUS foram explicitadas pelos gestores de planos de saúde como fatores geradores de resistência das OPSs frente à política. Os dirigentes públicos afirmaram a importância da mesma para tutela de beneficiários e do SUS, como de ter viabilizado a construção do Cadastro de Beneficiários da ANS, porém, reconhecem os seus baixos resultados. Recomenda-se a manutenção do ressarcimento ao Sistema Único como um instrumento para coibir empresas que procuram contornar as exigências legais da Agência Reguladora, a qual atua promovendo a defesa do interesse público na assistência suplementar à saúde. No entanto, a mesma deve sofrer as devidas reformulações e devem ser estabelecidos consensos entre o SUS e o setor suplementar.