Modeling and Analysis of Two-Part Type Manufacturing Systems

This paper presents a model and analysis of a synchronous tandem flow line that produces different part types on unreliable machines. The machines operate according to a static priority rule, operating on the highest priority part whenever possible, and operating on lower priority parts only when unable to produce those with higher priorities. We develop a new decomposition method to analyze the behavior of the manufacturing system by decomposing the long production line into small analytically tractable components. As a first step in modeling a production line with more than one part type, we restrict ourselves to the case where there are two part types. Detailed modeling and derivations are presented with a small two-part-type production line that consists of two processing machines and two demand machines. Then, a generalized longer flow line is analyzed. Furthermore, estimates for performance measures, such as average buffer levels and production rates, are presented and compared to extensive discrete event simulation. The quantitative behavior of the two-part type processing line under different demand scenarios is also provided.

Hardy-Weinberg Equilibrium and the Ternary Plot

The Hardy-Weinberg law, formulated about 100 years ago, states that under certain assumptions, the three genotypes AA, AB and BB at a bi-allelic locus are expected to occur in the proportions p2, 2pq, and q2 respectively, where p is the allele frequency of A, and q = 1-p. There are many statistical tests being used to check whether empirical marker data obeys the Hardy-Weinberg principle. Among these are the classical xi-square test (with or without continuity correction), the likelihood ratio test, Fisher's Exact test, and exact tests in combination with Monte Carlo and Markov Chain algorithms. Tests for Hardy-Weinberg equilibrium (HWE) are numerical in nature, requiring the computation of a test statistic and a p-value. There is however, ample space for the use of graphics in HWE tests, in particular for the ternary plot. Nowadays, many genetical studies are using genetical markers known as Single Nucleotide Polymorphisms (SNPs). SNP data comes in the form of counts, but from the counts one typically computes genotype frequencies and allele frequencies. These frequencies satisfy the unit-sum constraint, and their analysis therefore falls within the realm of compositional data analysis (Aitchison, 1986). SNPs are usually bi-allelic, which implies that the genotype frequencies can be adequately represented in a ternary plot. Compositions that are in exact HWE describe a parabola in the ternary plot. Compositions for which HWE cannot be rejected in a statistical test are typically “close" to the parabola, whereas compositions that differ significantly from HWE are “far". By rewriting the statistics used to test for HWE in terms of heterozygote frequencies, acceptance regions for HWE can be obtained that can be depicted in the ternary plot. This way, compositions can be tested for HWE purely on the basis of their position in the ternary plot (Graffelman & Morales, 2008). This leads to nice graphical representations where large numbers of SNPs can be tested for HWE in a single graph. Several examples of graphical tests for HWE (implemented in R software), will be shown, using SNP data from different human populations

Proyecto de investigación : Matemáticas-76. Tercera fase.

Completar los objetivos de las fases anteriores: comportamientos de los grupos de alumnos según el profesor y la naturaleza de cada grupo. Diferencias del nivel alcanzado en BUP y en COU. Contrastar la homogeneidad o no del comportamiento global en teoría y en la práctica. Escuelas y Colegios Universitarios de Granada y Bilbao. Centros de EGB y Bachillerato de Granada, Bilbao y Málaga. Centros privados y centros de enseñanza profesional. Centros Experimentales de Bachillerato pertenecientes al ICE. Aplicaciones experimentales del análisis de interacción, de la Universidad de Stanford, ampliado mediante las técnicas de las cadenas de Markov. Análisis de la adquisición de objetivos de la taxonomía NLSMA, adaptada en BUP y COU. Pruebas realizadas por los alumnos. Observaciones sistematizadas. Matrices de Markov. Test de hipótesis para cadenas finitas. Test de estacionaridad en cadenas finitas de Markov. Análisis multivariante. Fiabilidad en el método de interacción Amidon-Flanders. Tratamiento en ordenador. Chi cuadrado. Deducen que las observaciones de Flanders estan hechas sobre clases no muy activas. Relación entre el equilibrio-iniciativa-respuesta del profesor y la conducta de iniciativa de los alumnos. Reacción del profesor cuando los alumnos dejan de intervenir. Importancia del contenido. Homogeneidad de varianza entre todos los grupos. La deducción en COU ha pasado a ser homogénea, mientras que hay diferencias en los niveles medios de expresión y aplicación como en segundo de BUP. Los factores 'interpretación' y 'automatismo' por un lado, y 'expresión' y 'aplicación' por otro, están agrupados entre sí; mientras que 'deducción' presenta en principio un carácter más aislado. Sin embargo en COU, los factores agrupados son: interpretación, aplicación, automatismos y deducción. Clasificación de las pruebas realizadas por los alumnos de acuerdo a una taxonomía.

Probabilistic models to assist maintenance of multiple instruments

The paper discusses maintenance challenges of organisations with a huge number of devices and proposes the use of probabilistic models to assist monitoring and maintenance planning. The proposal assumes connectivity of instruments to report relevant features for monitoring. Also, the existence of enough historical registers with diagnosed breakdowns is required to make probabilistic models reliable and useful for predictive maintenance strategies based on them. Regular Markov models based on estimated failure and repair rates are proposed to calculate the availability of the instruments and Dynamic Bayesian Networks are proposed to model cause-effect relationships to trigger predictive maintenance services based on the influence between observed features and previously documented diagnostics

Diseño de una vía clínica para la vigilancia de hepatocarcinoma y evaluación económica

El carcinoma Hepatocelular (HCC) representa la sexta causa más frecuente de cáncer, y la tercera causa de muerte relacionada con cáncer en el mundo con aproximadamente 600.000 muertes anuales. En el 70 % de los casos, este se desarrolla en presencia de una enfermedad crónica del hígado como la cirrosis u otras enfermedades inflamatorias, por lo que practicar métodos de tamizaje para su diagnóstico precoz, pudieran establecer un mejor pronóstico. El objetivo de este trabajo es diseñar una vía clínica capaz de homogenizar el proceso de tamizaje de HCC, soportando su realización con la realización de una evaluación económica de esta intervención. Se realiza una búsqueda sistemática de literatura y se propone una vía clínica para la vigilancia de HCC en Colombia. A esta propuesta se aplica una evaluación económica tipo costo-efectividad mediante un modelo de Markov de la intervención propuesta, comparando la aplicación de la vía clínica propuesta frente al manejo actual en 100 pacientes considerados con riesgo (cirrosis, portadores de HBV y/o portadores de HCV) con un horizonte de tiempo de 30 años analizando como desenlace los años de vida salvados (LYS) desde la perspectiva del tercero pagador para Colombia a precios de 2009. El análisis determina una disminución de la mortalidad en un 40%, y un valor ICER de US$ 1,438 por LYS, por lo cual se concluye que resulta costo efectivo la aplicación de esta propuesta de tamizaje. Es necesario realizar una prueba para la aplicación de la vía clínica.

Exercise sheet 2 pdf

Exercises and solutions in PDF

Exam 1985

Exam and solutions in LaTex

Exercise sheet 1 pdf

Exercises and solutions in PDF