Operations management

Operations management deals with the management of the creation of goods and the delivery of services to the customer. It plays an essential role in the success of any organization. In this book, Andrew Greasley provides a clear and accessible introduction to this important area of study, focusing on all key areas of operations in both manufacturing and service industries. Operations Management, Second Edition covers the main areas of operations strategy, the design of the operations system and the management of operations over time. Yet, its concise nature of the text means students are not overwhelmed by the amount of material presented. This new edition also features: New content in such areas such as the quality gap model, enterprise systems and business process management. Expanded case studies, to include more global and European cases and longer cases at the end of each chapter. Greater clarity in chapter material organization. Worked Examples providing a step–by–step guide to the procedure to solve quantitative problems. Visual redesign in full colour. More support material for students and lecturers, including an interactive WileyPLUS course. All lecturers can access supporting resources on the companion website at www.wiley.com/college/greasley including an Instructor’s Manual with suggested solutions for all case study questions and end of chapter exercises, a Test Bank and PowerPoint slides for each chapter. Students will find multiple–choice test quizzes, web–links and an online glossary. Operations Management is essential reading for all students studying operations management, whether on undergraduate, postgraduate or continuing professional development courses.

Pragmatic approach to the development of robust real-time protocols

This research is concerned with the development of distributed real-time systems, in which software is used for the control of concurrent physical processes. These distributed control systems are required to periodically coordinate the operation of several autonomous physical processes, with the property of an atomic action. The implementation of this coordination must be fault-tolerant if the integrity of the system is to be maintained in the presence of processor or communication failures. Commit protocols have been widely used to provide this type of atomicity and ensure consistency in distributed computer systems. The objective of this research is the development of a class of robust commit protocols, applicable to the coordination of distributed real-time control systems. Extended forms of the standard two phase commit protocol, that provides fault-tolerant and real-time behaviour, were developed. Petri nets are used for the design of the distributed controllers, and to embed the commit protocol models within these controller designs. This composition of controller and protocol model allows the analysis of the complete system in a unified manner. A common problem for Petri net based techniques is that of state space explosion, a modular approach to both the design and analysis would help cope with this problem. Although extensions to Petri nets that allow module construction exist, generally the modularisation is restricted to the specification, and analysis must be performed on the (flat) detailed net. The Petri net designs for the type of distributed systems considered in this research are both large and complex. The top down, bottom up and hybrid synthesis techniques that are used to model large systems in Petri nets are considered. A hybrid approach to Petri net design for a restricted class of communicating processes is developed. Designs produced using this hybrid approach are modular and allow re-use of verified modules. In order to use this form of modular analysis, it is necessary to project an equivalent but reduced behaviour on the modules used. These projections conceal events local to modules that are not essential for the purpose of analysis. To generate the external behaviour, each firing sequence of the subnet is replaced by an atomic transition internal to the module, and the firing of these transitions transforms the input and output markings of the module. Thus local events are concealed through the projection of the external behaviour of modules. This hybrid design approach preserves properties of interest, such as boundedness and liveness, while the systematic concealment of local events allows the management of state space. The approach presented in this research is particularly suited to distributed systems, as the underlying communication model is used as the basis for the interconnection of modules in the design procedure. This hybrid approach is applied to Petri net based design and analysis of distributed controllers for two industrial applications that incorporate the robust, real-time commit protocols developed. Temporal Petri nets, which combine Petri nets and temporal logic, are used to capture and verify causal and temporal aspects of the designs in a unified manner.

The role of stochasticity in an information-optimal neural population code

In this paper we consider the optimisation of Shannon mutual information (MI) in the context of two model neural systems The first is a stochastic pooling network (population) of McCulloch-Pitts (MP) type neurons (logical threshold units) subject to stochastic forcing; the second is (in a rate coding paradigm) a population of neurons that each displays Poisson statistics (the so called 'Poisson neuron'). The mutual information is optimised as a function of a parameter that characterises the 'noise level'-in the MP array this parameter is the standard deviation of the noise, in the population of Poisson neurons it is the window length used to determine the spike count. In both systems we find that the emergent neural architecture and; hence, code that maximises the MI is strongly influenced by the noise level. Low noise levels leads to a heterogeneous distribution of neural parameters (diversity), whereas, medium to high noise levels result in the clustering of neural parameters into distinct groups that can be interpreted as subpopulations In both cases the number of subpopulations increases with a decrease in noise level. Our results suggest that subpopulations are a generic feature of an information optimal neural population.

Towards identifying salient patterns in genetic programming individuals

This thesis addresses the problem of offline identification of salient patterns in genetic programming individuals. It discusses the main issues related to automatic pattern identification systems, namely that these (a) should help in understanding the final solutions of the evolutionary run, (b) should give insight into the course of evolution and (c) should be helpful in optimizing future runs. Moreover, it proposes an algorithm, Extended Pattern Growing Algorithm ([E]PGA) to extract, filter and sort the identified patterns so that these fulfill as many as possible of the following criteria: (a) they are representative for the evolutionary run and/or search space, (b) they are human-friendly and (c) their numbers are within reasonable limits. The results are demonstrated on six problems from different domains.

The stability of pharmaceutical powders: effect of additives and coating

The decomposition of drugs in the solid state has been studied using aspirin and salsalate as models. The feasibility of using suspension systems for predicting the stability of these drugs in the solid state has been investigated.. It has been found that such systems are inappropriate in defining the effect of excipients on 'the decomposition of the active drug due to chqnges in the degradation pathway. Using a high performance liquid chromatographic method, magnesium stearate was shown to induce the formation of potentlally immunogenic products in aspirin powders. These products which included salicylsalicylic acid .and acetylsalicyclsalicylic acid were not detected in aspirin suspensions which had undergone the same extent of decomposition. By studying the effect of pH and of added excipients on the rate of decomposition of aspirin in suspension systems, it has been shown that excipients such as magnesium stearate containing magnesium oxide, most probably enhance the decomposition of both aspirin and salsalate by alkalinising the aqueous phase. In the solid state, pH effects produced by excipients appear to be relatively unimportant. Evidence is presented to suggest that the critical parameter is a depression in melting point induced by: the added excipient. Microscopical examination in fact showed the formation of clear liquid layers in aspirin samples containing added magnesium stearate but not in control samples. Kinetic equations which take into account both the diffusive barrier presented by the liquid films and the. geometry of the aspirin crystals were developed. Fitting of the .experimental data to these equations showed good agreement. with the postulated theory. Monitorjng of weight issues during the decomposition of aspirin revealed that in the solid systems studied where the bulk of the decomposition product sublimes, it is possible to estimate the extent of degradation from the residual weight, provided the initial weight is known. The corollary is that in such open systems, monitoring of decomposition products is inadequate for assessing the extent of decomposition. In addition to the magnesium stearate-aspirin system, mapyramine maleate-aspirin mixtures were used to model interactive systems. Work carried out in an attempt to stabilise such systems included microencapsulation and film coating. The protection obtained was dependent on the interactive species used. Gelatin for example appeared to stabilise aspirin against the adverse effects of magnesium stearate but increased its decomposition in the presence of mapyramine maleate.

Adaptive SOA Infrastructure Based on Variability Management

In order to exploit the adaptability of a SOA infrastructure, it becomes necessary to provide platform mechanisms that support a mapping of the variability in the applications to the variability provided by the infrastructure. The approach focuses on the configuration of the needed infrastructure mechanisms including support for the derivation of the infrastructure variability model.

Phase behavior and far-from-equilibrium gelation in charged attractive colloids

In this Rapid Communication we demonstrate the applicability of an augmented Gibbs ensemble Monte Carlo approach for the phase behavior determination of model colloidal systems with short-ranged depletion attraction and long-ranged repulsion. This technique allows for a quantitative determination of the phase boundaries and ground states in such systems. We demonstrate that gelation may occur in systems of this type as the result of arrested microphase separation, even when the equilibrium state of the system is characterized by compact microphase structures.

Bioengineering strategies to improve functional qualities of nisin

The abuse of antibiotics and the emergence of multi-drug resistant bacterial strains have created the need to explore alternative methods of controlling microbial pathogens. The bacteriocin family of antimicrobial peptides has been proposed as one such alternative to classic antibiotics. Nisin A belongs to the subgroup of bacteriocins called the lantibiotics, which contain several unusual amino acids as a consequence of enzyme-mediated post-translational modifications. As nisin is produced by generally regarded as safe (GRAS) microorganisms, it could potentially be applied in a clinical setting. However, as lantibiotics are naturally produced in such small quantities, this can hinder their industrial potential. In order to overcome this, several approaches can be utilised. For example, given the gene encoded nature of lantibiotics, genetic engineering approaches can be implemented in order to yield variants with enhanced properties. Here, the use of mutagenesis-based strategies was employed to obtain a derivative of nisin with enhanced bioactivity in vitro. Investigations with purified peptide highlighted the enhanced specific activity of this variant, nisin M21V, against food-borne Listeria monocytogenes strains. Furthermore, this specific enhanced bioactivity was evident in a mouse model of listeriosis. Reductions in bioluminescence and microbial counts in organs from infected mice were observed following treatment with nisin M21V compared to that of wild-type nisin A. Peptide bioengineering approaches were also implemented to obtain additional novel derivatives of nisin. The generation of “S5X” and “S33X” banks (representing a change of natural serines at positions 5 and 33 to all possible alternative residues) by a combination of site-saturation and site-directed mutagenesis led to the identification of several derivatives exhibiting improved stability. This allowed the rational design of variants with enhanced stability compared to that of wild type nisin. Another means of tackling issues associated with lantibiotic yield is to combine lantibiotics with other antimicrobials. This could circumvent the need for enhanced production while also reducing concentrations of the peptide antimicrobials. We observed that combinations of nisin variants and low levels of plant essential oils (thymol, carvacrol, trans-cinnamaldehyde) significantly controlled Gram negative foodborne pathogens in in vitro assays compared to nisin A-essential oil combinations. This enhanced control was also evident in model food systems. Nisin variants used in conjunction with carvacrol significantly reduced numbers of E. coli O157:H7 in apple juice while a commercial nisin preparation used in combination with citric acid significantly controlled C. sakazakii in infant milk formula. It is noteworthy that while nisin is generally associated with Gram positive targets, upon combination with plant essential oils the spectrum of inhibition was broadened to Gram negative targets.

Custos da gestão da qualidade na manutenção e sustentação dos Sistemas de Armas da Força Aérea

Atualmente, as organizações tendem a desenvolverem-se com o objetivo de se tornarem mais eficazes e eficientes. Neste contexto, esta investigação visa propor um modelo que permita calcular os Custos da Qualidade (CQ) na manutenção e sustentação dos Sistemas de Armas da Força Aérea (FA), contribuindo para a melhoria contínua do Sistema de Gestão da Qualidade e Aeronavegabilidade (SGQA). Assim, neste estudo é avaliada a utilização do modelo “Prevenção, Avaliação e Falhas” (PAF) para o cálculo dos CQ no SGQA, a forma como os Sistemas de Informação (SI) podem contribuir para este cálculo e qual a estrutura do sistema que deverá integrar e operacionalizar este modelo. Esta investigação desenvolve-se mediante um raciocínio hipotético-dedutivo, utilizando uma estratégia qualitativa aplicada num estudo de caso ao SA Epsilon Tb-30. Após apresentar um enquadramento teórico, são testadas as hipóteses identificadas através de análise documental e entrevistas a elementos com funções-chave neste âmbito. Verifica-se então a possibilidade de utilizar o modelo PAF para o cálculo dos CQ no SGQA. Contudo, é necessário adaptar os SI e os processos do sistema para a sua operacionalização. Finalmente, é proposto um plano para implementação do modelo de CQ, assim como são apresentadas algumas recomendações para o seu desenvolvimento. Abstract: Nowadays, the organizations tend to self-develop in order to increase their efficiency and effectiveness. In this context, this study has the purpose to propose a Quality Cost (CQ) model within the scope of maintenance and sustainability of Portuguese Air Force (FA) weapon systems, contributing to the continuous improvement of its Airworthiness and Quality Management System (SGQA). Therefore, throughout this study is evaluated the implementation of Prevention, Appraisal and Failure (PAF) model for CQ calculation, how the Information Systems (SI) can contribute for this calculus and what SGQA structure should integrate and operationalize this model. In this investigation is used a hypothetical-deductive reasoning, through a qualitative strategy applied to a case study in Epsilon TB-30 aircraft. After presenting an initial theoretical study, the raised hypotheses are tested through the relevant document analysis and interviews with elements in key functions within this scope. With this study it’s shown the possibility to use PAF model to calculate CQ of the SGQA. However, it’s necessary to adapt the SI and the system processes to get the operationalization of this model. Finally, an implementation plan of the evaluated CQ model is proposed, and some recommendations are made for its future development.

Aplicação de Ligas com Memória de Forma como Dispositivos de Segurança

As ligas com memória de forma Ni-Ti apresentam diversas características bastante úteis, das quais podemos realçar a sua elevada resistência à corrosão, às vibrações e geração de forças superiores quando comparadas com outros atuadores. Estas ligas apresentam diversas áreas de aplicabilidade em diferentes aéreas de pesquisa, como a metalomecânica, a robótica, aplicações espaciais, sendo mais relevante para este trabalho a sua aplicação em mecanismos de segurança para portas e acessos. Com este trabalho, pretendemos contribuir para uma forma eficaz de combate e contenção de incêndios em navios, através da apresentação de um mecanismo que vai permitir o corte de ventilação e isolamento no local do incêndio, permitindo criar uma fronteira de fumos que levará ao combate do incêndio por asfixia. O trabalho descreve um mecanismo idealizado com a utilização de ligas com memória de forma, que vai proceder à libertação de um flap, para isolamento da ventilação, na presença de temperatura proveniente do incêndio. Descreve também ensaios termomecânicos realizados, para determinação das características das molas e seu comportamento em determinadas situações chave. Para isto, irão ser utilizadas duas molas com diferentes gamas de temperatura, com o intuito de demonstrar a eficácia na utilização de diversos atuadores de ligas com memória de forma. Todos os testes foram feitos na presença de gamas de temperatura que se assemelham aos valores de atuação dos sistemas automáticos de extinção por água, pelo que os resultados obtidos, ilustram a verdadeira eficácia e utilidade do mecanismo, em casos reais.

Aplicação de técnicas de mineração de textos para classificação de documentos : um estudo da automatização da triagem de denúncias na CGU

Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2015.

Transformation�based implementation and optimization of programs exploiting the basic Andorra model.

The characteristics of CC and CLP systems are in principle very dierent However a recent trend towards convergence in the implementation techniques for these systems can be observed While CLP and Prolog systems have been incorporating capabilities to deal with userdened suspension and coroutining CC compilers have been trying to coalesce negrained tasks into coarsergrained sequential threads This convergence of techniques opens up the possibility of having a general purpose kernel language and abstract machine to serve as a compilation target for a variety of userlevel languages We propose a transformation technique directed towards such an objective In particular we report on techniques to support the Andorra computational model essentially emulating the AndorraI system via program transformation into a sequential language with delay primitives The system is automatic comprising an optional program analyzer and a basic transformer to the kernel language It turns out that a simple parallel CLP or Prolog system with dynamic scheduling is sucient as a kernel language for this purpose The preliminary results are quite encouraging performance of the resulting system is comparable to the current AndorraI implementation.

Automatic generation of ETL physical systems from BPMN conceptual models

ETL conceptual modeling is a very important activity in any data warehousing system project implementation. Owning a high-level system representation allowing for a clear identification of the main parts of a data warehousing system is clearly a great advantage, especially in early stages of design and development. However, the effort to model conceptually an ETL system rarely is properly rewarded. Translating ETL conceptual models directly into something that saves work and time on the concrete implementation of the system process it would be, in fact, a great help. In this paper we present and discuss a hybrid approach to this problem, combining the simplicity of interpretation and power of expression of BPMN on ETL systems conceptualization with the use of ETL patterns to produce automatically an ETL skeleton, a first prototype system, which has the ability to be executed in a commercial ETL tool like Kettle.

Stability analysis of power systems described with detailed models by automatic method

The power system stability analysis is approached taking into explicit account the dynamic performance of generators internal voltages and control devices. The proposed method is not a direct method in the usual sense since conclusion for stability or instability is not exclusively based on energy function considerations but it is automatic since the conclusion is achieved without an analyst intervention. The stability test accounts for the nonconservative nature of the system with control devices such as the automatic voltage regulator (AVR) and automatic generation control (AGC) in contrast with the well-known direct methods. An energy function is derived for the system with machines forth-order model, AVR and AGC and it is used to start the analysis procedure and to point out criticalities. The conclusive analysis itself is made by means of a method based on the definition of a region surrounding the equilibrium point where the system net torque is equilibrium restorative. This region is named positive synchronization region (PSR). Since the definition of the PSR boundaries have no dependence on modelling approximation, the PSR test conduces to reliable results. (C) 2008 Elsevier Ltd. All rights reserved.

A mechanical analogous model for the power system with Automatic Voltage Regulator

This paper deals with the subject-matter of teaching immaterial issues like power system dynamics where the phenomena and events are not sense-perceptible. The dynamics of the power system are recognized as analogous to the dynamics of a simple mechanical pendulum taken into account the well-known classical model for the synchronous machine. It is shown that even for more sophisticated models including flux decay and Automatic Voltage Regulator the mechanical device can be taken as an analogous, since provided some considerations about variation and control of the pendulum length using certain control laws. The resulting mathematical model represents a mechanical system that can be built for use in laboratory teaching of power system dynamics. © 2010 Praise Worthy Prize S.r.l. - All rights reserved.