An efficient, parametric fixpoint algorithm for analysis of java bytecode

Abstract interpretation has been widely used for the analysis of object-oriented languages and, in particular, Java source and bytecode. However, while most existing work deals with the problem of flnding expressive abstract domains that track accurately the characteristics of a particular concrete property, the underlying flxpoint algorithms have received comparatively less attention. In fact, many existing (abstract interpretation based—) flxpoint algorithms rely on relatively inefHcient techniques for solving inter-procedural caligraphs or are speciflc and tied to particular analyses. We also argüe that the design of an efficient fixpoint algorithm is pivotal to supporting the analysis of large programs. In this paper we introduce a novel algorithm for analysis of Java bytecode which includes a number of optimizations in order to reduce the number of iterations. The algorithm is parametric -in the sense that it is independent of the abstract domain used and it can be applied to different domains as "plug-ins"-, multivariant, and flow-sensitive. Also, is based on a program transformation, prior to the analysis, that results in a highly uniform representation of all the features in the language and therefore simplifies analysis. Detailed descriptions of decompilation solutions are given and discussed with an example. We also provide some performance data from a preliminary implementation of the analysis.

Diseño, optimización y análisis de sistemas basados en técnicas láser, para el modelado geométrico, registro y documentación, aplicados a entidades de interés patrimonial.

El objetivo de la presente tesis doctoral es el desarrollo e implementación de un sistema para mejorar la metodología de extracción de la información geométrica necesaria asociada a los procesos de documentación de entidades de interés patrimonial, a partir de la información proporcionada por el empleo de sensores láser, tanto aéreos como terrestres. Para ello, inicialmente se realiza una presentación y justificación de los antecedentes y la problemática en el registro de información geométrica para el patrimonio, detallando todos aquellos sistemas de registro y análisis de la información geométrica utilizados en la actualidad. Este análisis permitirá realizar la comparación con los sistemas de registro basados en técnicas láser, aportando sugerencias de utilización para cada caso concreto. Posteriormente, se detallan los sistemas de registro basados en técnicas láser, comenzando por los sensores aerotransportados y concluyendo con el análisis pormenorizado de los sensores terrestres, tanto en su aplicación en modo estático como móvil. Se exponen las características técnicas y funcionamiento de cada uno de ellos, así como los ámbitos de aplicación y productos generados. Se analizan las fuentes de error que determinan la precisión que puede alcanzar el sistema. Tras la exposición de las características de los sistemas LiDAR, se detallan los procesos a realizar con los datos extraídos para poder generar la información necesaria para los diferentes tipos de objetos analizados. En esta exposición, se hace hincapié en los posibles riesgos que pueden ocurrir en algunas fases delicadas y se analizarán los diferentes algoritmos de filtrado y clasificación de los puntos, fundamentales en el procesamiento de la información LiDAR. Seguidamente, se propone una alternativa para optimizar los modelos de procesamiento existentes, basándose en el desarrollo de algoritmos nuevos y herramientas informáticas que mejoran el rendimiento en la gestión de la información LiDAR. En la implementación, se han tenido en cuenta características y necesidades particulares de la documentación de entidades de interés patrimonial, así como los diferentes ámbitos de utilización del LiDAR, tanto aéreo como terrestre. El resultado es un organigrama de las tareas a realizar desde la nube de puntos LiDAR hasta el cálculo de los modelos digitales del terreno y de superficies. Para llevar a cabo esta propuesta, se han desarrollado hasta 19 algoritmos diferentes que comprenden implementaciones para el modelado en 2.5D y 3D, visualización, edición, filtrado y clasificación de datos LiDAR, incorporación de información de sensores pasivos y cálculo de mapas derivados, tanto raster como vectoriales, como pueden ser mapas de curvas de nivel y ortofotos. Finalmente, para dar validez y consistencia a los desarrollos propuestos, se han realizado ensayos en diferentes escenarios posibles en un proceso de documentación del patrimonio y que abarcan desde proyectos con sensores aerotransportados, proyectos con sensores terrestres estáticos a media y corta distancia, así como un proyecto con un sensor terrestre móvil. Estos ensayos han permitido definir los diferentes parámetros necesarios para el adecuado funcionamiento de los algoritmos propuestos. Asimismo, se han realizado pruebas objetivas expuestas por la ISPRS para la evaluación y comparación del funcionamiento de algoritmos de clasificación LiDAR. Estas pruebas han permitido extraer datos de rendimiento y efectividad del algoritmo de clasificación presentado, permitiendo su comparación con otros algoritmos de prestigio existentes. Los resultados obtenidos han constatado el funcionamiento satisfactorio de la herramienta. Esta tesis está enmarcada dentro del proyecto Consolider-Ingenio 2010: “Programa de investigación en tecnologías para la valoración y conservación del patrimonio cultural” (ref. CSD2007-00058) realizado por el Consejo Superior de Investigaciones Científicas y la Universidad Politécnica de Madrid. ABSTRACT: The goal of this thesis is the design, development and implementation of a system to improve the extraction of useful geometric information in Heritage documentation processes. This system is based on information provided by laser sensors, both aerial and terrestrial. Firstly, a presentation of recording geometric information for Heritage processes is done. Then, a justification of the background and problems is done too. Here, current systems for recording and analyzing the geometric information are studied. This analysis will perform the comparison with the laser system techniques, providing suggestions of use for each specific case. Next, recording systems based on laser techniques are detailed. This study starts with airborne sensors and ends with terrestrial ones, both in static and mobile application. The technical characteristics and operation of each of them are described, as well as the areas of application and generated products. Error sources are also analyzed in order to know the precision this technology can achieve. Following the presentation of the LiDAR system characteristics, the processes to generate the required information for different types of scanned objects are described; the emphasis is on the potential risks that some steps can produce. Moreover different filtering and classification algorithms are analyzed, because of their main role in LiDAR processing. Then, an alternative to optimize existing processing models is proposed. It is based on the development of new algorithms and tools that improve the performance in LiDAR data management. In this implementation, characteristics and needs of the documentation of Heritage entities have been taken into account. Besides, different areas of use of LiDAR are considered, both air and terrestrial. The result is a flowchart of tasks from the LiDAR point cloud to the calculation of digital terrain models and digital surface models. Up to 19 different algorithms have been developed to implement this proposal. These algorithms include implementations for 2.5D and 3D modeling, viewing, editing, filtering and classification of LiDAR data, incorporating information from passive sensors and calculation of derived maps, both raster and vector, such as contour maps and orthophotos. Finally, in order to validate and give consistency to the proposed developments, tests in different cases have been executed. These tests have been selected to cover different possible scenarios in the Heritage documentation process. They include from projects with airborne sensors, static terrestrial sensors (medium and short distances) to mobile terrestrial sensor projects. These tests have helped to define the different parameters necessary for the appropriate functioning of the proposed algorithms. Furthermore, proposed tests from ISPRS have been tested. These tests have allowed evaluating the LiDAR classification algorithm performance and comparing it to others. Therefore, they have made feasible to obtain performance data and effectiveness of the developed classification algorithm. The results have confirmed the reliability of the tool. This investigation is framed within Consolider-Ingenio 2010 project titled “Programa de investigación en tecnologías para la valoración y conservación del patrimonio cultural” (ref. CSD2007-00058) by Consejo Superior de Investigaciones Científicas and Universidad Politécnica de Madrid.

GreenDisc: a HW/SW energy optimization framework in globally distributed computation

In recent future, wireless sensor networks (WSNs) will experience a broad high-scale deployment (millions of nodes in the national area) with multiple information sources per node, and with very specific requirements for signal processing. In parallel, the broad range deployment of WSNs facilitates the definition and execution of ambitious studies, with a large input data set and high computational complexity. These computation resources, very often heterogeneous and driven on-demand, can only be satisfied by high-performance Data Centers (DCs). The high economical and environmental impact of the energy consumption in DCs requires aggressive energy optimization policies. These policies have been already detected but not successfully proposed. In this context, this paper shows the following on-going research lines and obtained results. In the field of WSNs: energy optimization in the processing nodes from different abstraction levels, including reconfigurable application specific architectures, efficient customization of the memory hierarchy, energy-aware management of the wireless interface, and design automation for signal processing applications. In the field of DCs: energy-optimal workload assignment policies in heterogeneous DCs, resource management policies with energy consciousness, and efficient cooling mechanisms that will cooperate in the minimization of the electricity bill of the DCs that process the data provided by the WSNs.

GreenDisc: a HW/SW energy optimization framework in globally distributed computation

In recent future, wireless sensor networks ({WSNs}) will experience a broad high-scale deployment (millions of nodes in the national area) with multiple information sources per node, and with very specific requirements for signal processing. In parallel, the broad range deployment of {WSNs} facilitates the definition and execution of ambitious studies, with a large input data set and high computational complexity. These computation resources, very often heterogeneous and driven on-demand, can only be satisfied by high-performance Data Centers ({DCs}). The high economical and environmental impact of the energy consumption in {DCs} requires aggressive energy optimization policies. These policies have been already detected but not successfully proposed. In this context, this paper shows the following on-going research lines and obtained results. In the field of {WSNs}: energy optimization in the processing nodes from different abstraction levels, including reconfigurable application specific architectures, efficient customization of the memory hierarchy, energy-aware management of the wireless interface, and design automation for signal processing applications. In the field of {DCs}: energy-optimal workload assignment policies in heterogeneous {DCs}, resource management policies with energy consciousness, and efficient cooling mechanisms that will cooperate in the minimization of the electricity bill of the DCs that process the data provided by the WSNs.

On the calculation of energy produced by a PV grid-connected system

This study develops a proposal of method of calculation useful to estimate the energy produced by a PV grid-connected system making use of irradiance-domain integrals and denition of statistical moment. Validation against database of real PV plants performance data shows that acceptable energy estimation can be obtained with rst to fourth statistical moments and some basic system parameters. This way, only simple calculations at the reach of pocket calculators, are enough to estimate AC energy.

Extension of the characteristic equation to absorption chillers with adiabatic absorbers

Various researchers have developed models of conventional H2O–LiBr absorption machines with the aim of predicting their performance. In this paper, the methodology of characteristic equations developed by Hellmann et al. (1998) is applied. This model is able to represent the capacity of single effect absorption chillers and heat pumps by means of simple algebraic equations. An extended characteristic equation based on a characteristic temperature difference has been obtained, considering the facility features. As a result, it is concluded that for adiabatic absorbers a subcooling temperature must be specified. The effect of evaporator overflow has been characterized. Its influence on cooling capacity has been included in the extended characteristic equation. Taking into account the particular design and operation features, a good agreement between experimental performance data and those obtained through the extended characteristic equation has been achieved at off-design operation. This allows its use for simulation and control purposes.

Analysis of the geometric altimetry to support aircraft optimal trajectories within the future 4d trajectory management

Over the past few years, the common practice within air traffic management has been that commercial aircraft fly by following a set of predefined routes to reach their destination. Currently, aircraft operators are requesting more flexibility to fly according to their prefer- ences, in order to achieve their business objectives. Due to this reason, much research effort is being invested in developing different techniques which evaluate aircraft optimal trajectory and traffic synchronisation. Also, the inefficient use of the airspace using barometric altitude overall in the landing and takeoff phases or in Continuous Descent Approach (CDA) trajectories where currently it is necessary introduce the necessary reference setting (QNH or QFE). To solve this problem and to permit a better airspace management born the interest of this research. Where the main goals will be to evaluate the impact, weakness and strength of the use of geometrical altitude instead of the use of barometric altitude. Moreover, this dissertation propose the design a simplified trajectory simulator which is able to predict aircraft trajectories. The model is based on a three degrees of freedom aircraft point mass model that can adapt aircraft performance data from Base of Aircraft Data, and meteorological information. A feature of this trajectory simulator is to support the improvement of the strategic and pre-tactical trajectory planning in the future Air Traffic Management. To this end, the error of the tool (aircraft Trajectory Simulator) is measured by comparing its performance variables with actual flown trajectories obtained from Flight Data Recorder information. The trajectory simulator is validated by analysing the performance of different type of aircraft and considering different routes. A fuel consumption estimation error was identified and a correction is proposed for each type of aircraft model. In the future Air Traffic Management (ATM) system, the trajectory becomes the fundamental element of a new set of operating procedures collectively referred to as Trajectory-Based Operations (TBO). Thus, governmental institutions, academia, and industry have shown a renewed interest for the application of trajectory optimisation techniques in com- mercial aviation. The trajectory optimisation problem can be solved using optimal control methods. In this research we present and discuss the existing methods for solving optimal control problems focusing on direct collocation, which has received recent attention by the scientific community. In particular, two families of collocation methods are analysed, i.e., Hermite-Legendre-Gauss-Lobatto collocation and the pseudospectral collocation. They are first compared based on a benchmark case study: the minimum fuel trajectory problem with fixed arrival time. For the sake of scalability to more realistic problems, the different meth- ods are also tested based on a real Airbus 319 El Cairo-Madrid flight. Results show that pseudospectral collocation, which has shown to be numerically more accurate and computa- tionally much faster, is suitable for the type of problems arising in trajectory optimisation with application to ATM. Fast and accurate optimal trajectory can contribute properly to achieve the new challenges of the future ATM. As atmosphere uncertainties are one of the most important issues in the trajectory plan- ning, the final objective of this dissertation is to have a magnitude order of how different is the fuel consumption under different atmosphere condition. Is important to note that in the strategic phase planning the optimal trajectories are determined by meteorological predictions which differ from the moment of the flight. The optimal trajectories have shown savings of at least 500 [kg] in the majority of the atmosphere condition (different pressure, and temperature at Mean Sea Level, and different lapse rate temperature) with respect to the conventional procedure simulated at the same atmosphere condition.This results show that the implementation of optimal profiles are beneficial under the current Air traffic Management (ATM).

Bagaço de cana como enriquecimento ambiental para leitões recém desmamados

O objetivo do estudo foi avaliar o uso de bagaço de cana como enriquecimento ambiental para suínos a partir do comportamento e respostas fisiológicas do estresse causado pelo confinamento e mudança de ambiente, na fase de creche. O projeto foi conduzido no Laboratório de Biometeorologia e Etologia, da Faculdade de Zootecnia e Engenharia de Alimentos da Universidade de São Paulo, Pirassununga-SP, e no setor da Suinocultura da Prefeitura do Campus Administrativo Fernando Costa (PUSP-FC), entre os meses de abril e junho de 2015. Foram utilizados 66 leitões (NK75 X Naïma), machos e fêmeas desmamados aos 28 dias, separados em grupos homogêneos com relação ao peso, transferidos para baias da creche e distribuídos em dois tratamentos: Tratamento Enriquecido (TE) onde as baias foram fornecidas com cama profunda de bagaço de cana, de até 15 cm de profundidade e Tratamento Não Enriquecido (TNE) as baias foram utilizadas da forma convencional, sem cobertura no piso cimentado. Foram avaliadas diferentes respostas fisiológicas, especificamente, níveis de cortisol salivar, temperatura superficial por meio de um termómetro infravermelho e temperatura ocular a través de fotos termográficas. O comportamento dos leitões foi registrado e as análises das observações das atividades foram realizadas pelo efeito dos tratamentos e a interação do tempo. Os dados de desempenho dos animais foram analisados, igualmente como o Ganho de peso diário (GPD) e a conversão alimentar (CA). Animais que receberam enriquecimento ambiental apresentaram concentrações de cortisol mais baixas (P<0,001) durante a primeira semana pós-desmama. A partir da segunda semana pós desmama até o final da fase da creche houve efeito do tratamento (P<0,05), encontrando níveis de cortisol até quatro vezes mais altos para o TNE referentes aos níveis basais, enquanto o TE continua tendo níveis mais baixos (P<0,05). Animais que receberam enriquecimento ambiental tiveram maior frequência em comportamentos exploratórios (P<0,05) e maior atividade brincando (P<0,05) durante toda a fase experimental. Leitões que foram criados em baias pobres manifestaram maior frequência em comportamentos agonísticos (P<0,05) e em repouso (P<0,05). A correlação entre a temperatura superficial do dorso e termografia ocular indicou uma associação moderada positiva (P<0,0001) com a temperatura ocular mínima (r=0,43) e máxima (r=0,41). Apesar de não existir diferença estatística para o desempenho entre tratamentos (P>0,05), o TE apresentou maior ganho de peso diário (0,47±0,015 kg.dia-1) e total (23,47±0,73 kg.dia-1). A conversão alimentar foi maior no TE (2,88±0,25), provavelmente porque os leitões precisavam de mais alimento para compensar a energia gasta pela sua atividade de fuçar e brincar. Ambientes enriquecidos durante a fase da creche melhoram o bem-estar dos animais em confinamento, diminuindo o estresse pela desmama, motivando o animal a expressar comportamentos próprios da espécie suína, tais como fuçar e explorar.

Análise de grandezas cinemáticas e dinâmicas inerentes à hemiparesia através da descoberta de conhecimento em bases de dados

Em virtude de uma elevada expectativa de vida mundial, faz-se crescente a probabilidade de ocorrer acidentes naturais e traumas físicos no cotidiano, o que ocasiona um aumento na demanda por reabilitação. A terapia física, sob o paradigma da reabilitação robótica com serious games, oferece maior motivação e engajamento do paciente ao tratamento, cujo emprego foi recomendado pela American Heart Association (AHA), apontando a mais alta avaliação (Level A) para pacientes internados e ambulatoriais. No entanto, o potencial de análise dos dados coletados pelos dispositivos robóticos envolvidos é pouco explorado, deixando de extrair informações que podem ser de grande valia para os tratamentos. O foco deste trabalho consiste na aplicação de técnicas para descoberta de conhecimento, classificando o desempenho de pacientes diagnosticados com hemiparesia crônica. Os pacientes foram inseridos em um ambiente de reabilitação robótica, fazendo uso do InMotion ARM, um dispositivo robótico para reabilitação de membros superiores e coleta dos dados de desempenho. Foi aplicado sobre os dados um roteiro para descoberta de conhecimento em bases de dados, desempenhando pré-processamento, transformação (extração de características) e então a mineração de dados a partir de algoritmos de aprendizado de máquina. A estratégia do presente trabalho culminou em uma classificação de padrões com a capacidade de distinguir lados hemiparéticos sob uma precisão de 94%, havendo oito atributos alimentando a entrada do mecanismo obtido. Interpretando esta coleção de atributos, foi observado que dados de força são mais significativos, os quais abrangem metade da composição de uma amostra.

El bienestar y la conducta de los empleados de hotel en el contexto de la actual crisis económica

Poco se ha estudiado en qué medida la inseguridad laboral provocada por la actual crisis económica está afectando al comportamiento y rendimiento de los empleados del sector turístico. Este trabajo examina el posible impacto que la inseguridad laboral puede ejercer sobre la ansiedad y la depresión de los empleados de hoteles, y si estos estados de ánimo, a su vez, afectan su comportamiento cívico (OCB) y al rendimiento de sus tareas. Los datos fueron extraídos de 188 empleados de siete hoteles de entre tres y cinco estrellas de la isla de La Palma (Islas Canarias, España). Los resultados respaldan efectos significativos de la inseguridad laboral sobre la ansiedad y la depresión. A su vez, conforme a lo esperado, la depresión afectó negativamente a la conducta del empleado, pero sólo a su comportamiento cívico (OCB) dirigido hacia la organización (OCB-O). Sin embargo, la ansiedad no se relacionó conforme a lo esperado, aumentando el OCB-O del empleado y el rendimiento de sus tareas, lo que pudiera tener como objetivo un intento de protección de su puesto de trabajo. Los hallazgos nos permiten afirmar que la actual situación de crisis está afectando significativamente al empleado de hotel, perjudicando su estado de ánimo y, a través de la depresión, su conducta OCB-O.

Stoichiometric and kinetic characterisation of Nitrobacter in mixed culture by decoupling the growth and energy generation processes

The growth, maintenance and lysis processes of Nitrobacter were characterised. A Nitrobacter culture was enriched in a sequencing batch reactor (SBR). Fluorescent in situ hybridisation showed that Nitrobacter constituted 73% of the bacterial population. Batch tests were carried out to measure the oxygen uptake rate and/or nitrite consumption rate when both nitrite and CO2 were in excess, and in the absence of either of these two substrates. The results obtained, along with the SBR performance data, allowed the determination of the maintenance coefficient and in situ cell lysis rate of Nitrobacter. Nitrobacter spends a significant amount of energy for maintenance, which varies considerably with the specific growth rate. At maximum growth, Nitrobacter consume nitrite at a rate of 0.042 mgN/mgCOD(biomass)center dot h for maintenance purposes, which increases more than threefold to 0.143 mgN/mgCOD(biomass)center dot h in the absence of growth. In the SBR, where Nitrobacter grew at 40% of its maximum growth rate, a maintenance coefficient of 0.113 mgN/mgCOD center dot h was found, resulting in 42% of the total amount of nitrite being consumed for maintenance. The above three maintenance coefficient values obtained at different growth rates appear to support the maintenance model proposed in Pirt (1982). The in situ lysis rate of Nitrobacter was determined to be 0.07/day under aerobic conditions at 22 C and pH 7.3. Further, the maximum specific growth rate of Nitrobacter was estimated to be 0.02/h (0.48/day). The affinity constant of Nitrobacter with respect to nitrite was determined to be 1.50 mgNO(2)(-)-N/L, independent of the presence or absence of CO2. (c) 2006 Wiley Periodicals, Inc.

Design for sampling - preliminary exploration

A modern mineral processing plant represents a substantial investment. During the design process, there is often a period when costs (or revenues) must be compensated for by cuts in capital expenditure. In many cases, sampling and measurement equipment provides a soft target for such 'savings'. This process is almost analgous to reducing the capital investment in a corner store by not including a cash register. The consequences will be quite similar - a serious lack of sound performance data and plenty of opportunities for theft - deliberate or inadvertent. This paper makes the case that investment in sampling and measurement equipment is more cost-effective during the design phase. Further, a strong measurement culture will have many benefits including the ability to take advantage of small gains. In almost any business, there are many more opportunities to make small gains than to make large, step changes. In short, if a project cannot justify the cost of accurate and reliable measurement of its performance, it probably should not be a project at all.

Stoichiometric and kinetic characterisation of Nitrosomonas sp in mixed culture by decoupling the growth and energy generation processes

A novel method that relies on the decoupling of the energy production and biosynthesis processes was used to characterise the maintenance, cell lysis and growth processes of Nitrosomonas sp. A Nitrosolnonas culture was enriched in a sequencing batch reactor (SBR) with ammonium as the sole energy source. Fluorescent in situ hybridization (FISH) showed that Nitrosomonas bound to the NEU probe constituted 82% of the bacterial population, while no other known ammonium or nitrite oxidizing bacteria were detected. Batch tests were carried out under conditions that both ammonium and CO, were in excess, and in the absence of one of these two substrates. The oxygen uptake rate and nitrite production rate were measured during these batch tests. The results obtained from these batch tests, along with the SBR performance data, allowed the determination of the maintenance coefficient and the in situ cell lysis rate, as well as the maximum specific growth rate of the Nitrosomonas culture. It is shown that, during normal growth, the Nitrosomonas culture spends approximately 65% of the energy generated for maintenance. The maintenance coefficient was determined to be 0.14 - 0.16 mgN mgCOD(biomass)(-1) h(-1), and was shown to be independent of the specific growth rate. The in situ lysis rate and the maximum specific growth rate of the Nitrosomonas culture were determined to be 0.26 and 1.0 day(-1) (0.043 h(-1)), respectively, under aerobic conditions at 30 degrees C and pH7. (c) 2006 Elsevier B.V. All rights reserved.

Analytical electron microscopy of proton exchange membrane fuel cells

Microtome sections of proton exchange membrane cells produce a wide range of information ranging from macroscopic distribution of components through specimens in which the detailed distribution of catalyst particles can be observed. Using modern data management practices it is possible to combine information at different scales and correlate processing and performance data. Analytical electron microscopy reveals the compositional variations across used cells at the electrolyte/electrode interface. In particular analytical techniques indicate that sulphur concentrations are likely to diminish at the interface Nafion/anode interface. © 2006 Elsevier B.V. All rights reserved.

Facility closure management:the case of Vauxhall Motors Luton

Purpose – The purpose of the paper is to present the findings of a study of factory closure management. It details the sequence and the results of the key strategic manufacturing management decisions made from the time of the announcement of the plant closure to the cessation of operations. The paper also includes an analysis of the human resource management (HRM) actions taken during this same time period and their consequences upon all those involved in the closure management process. Design/methodology/approach – The case study methodology consisted of two initial site visits to monitor closure management effectiveness (adherence to plan and the types and frequency of closure management communications). During these visits, documentary evidence of the impact of the closure decision upon production performance was also collected (manufacturing output and quality performance data). Following plant closure, interviews were held with senior business, production and HRM managers and production personnel. A total of 12 interviews were carried out. Findings – The case study findings have informed the development of a conceptual model of facility closure management. Information obtained from the interviews suggests that the facility closure management process consists of five key management activities. The unexpected announcement of a factory closure can cause behavioural changes similar to those of bereavement, particularly by those employees who are its survivors. In addition, similar reactions to the closure announcement may be displayed by those who choose to remain employed by the factory owner throughout the phased closure of the plant. Originality/value – Facility closure management is an insufficiently researched strategic operations management activity. This paper details a recommended procedure for its management. A conceptual model has also been developed to illustrate the links between the key facility closure management tasks and the range of employee changes of behaviour that can be induced by their execution.