Control d'un sistema de marcatge làser de caixes

Avui en dia, l’alta competitivitat que existeix al mercat, fa que les empreses hagin d’esprémer al màxim les seves possibilitats per no quedar-se enrere. Un dels processos en que aquest fet hi és més present és el productiu. L’empresa JCM Technologies també engloba aquest camp i és en un dels seus processos productius on aquest projecte pren part. L’objectiu d’aquest projecte final de carrera ha estat desenvolupar un sistema per poder marcar caixes mitjançant un làser de CO2 i un automatisme manipulador de caixes. D’aquesta manera aquest procés productiu té una durada molt inferior a l’antic procés, que consistia en enganxar una etiqueta al lloc on ara és marcat pel làser. Per satisfer els objectius, s’ha creat una aplicació de Windows que per mitjà d’una interfície gràfica, permet a l’usuari realitzar els passos necessaris per fer el marcatge. Primerament es recullen les dades procedents de la comanda; seguidament es seleccionen les que s’han de marcar a les caixes i s’envien al làser mitjançant comunicació sèrie; una vegada aquesta inicialització ha finalitzat correctament, s’engega la seqüència de marcatge de les caixes, que en marcarà la quantitat indicada. Aquest procés de marcatge consisteix en supervisar l’estat en que es troben certes senyals, procedents de l’automatisme i del làser, i depenent d’aquestes generar-ne unes altres. Aconseguint així realitzar el procés de marcatge de cada caixa. Com a conclusions cal dir, que els objectius s’han complert, ja que s’ha aconseguit un procés de marcatge ràpid i robust. També s’ha aconseguit que les parts de configuració de l’aplicació, i de les caixes siguin de fàcil manipulació. Per tant, amb l’acompliment dels objectius d’aquest projecte, aconseguim completar el sistema de marcatge, i permetre que les caixes siguin marcades de forma correcta, ràpida i eficient.

¿Que es el láser? Para que sirve

El láser es un dispositivo que emite una luz especial o luz láser; ésta tiene el aspecto de una varilla recta casi sólida per transparente e intensamente luminosa, no és más que una luz pero muy distinta de la normal.

Láser Excimer en Vitiligo. ¿Tratamiento efectivo y seguro para esta enfermedad? Revisión sistemática de la literatura

Introducción: El vitíligo es una enfermedad prevalente en nuestro medio con una prevalencia del 2% de la población mundial. Los síntomas de esta enfermedad son principalmente estéticos al manifestarse como máculas acrómicas, simétricas en las extremidades y en rostro donde genera la mayor estigmatización de los pacientes. Actualmente ningún tratamiento provee mejoría pronta y permanente de los síntomas. Objetivo: Determinar la efectividad del Láser Excimer 308 nm en el tratamiento del vitíligo por medio de una revisión sistemática de la literatura. Métodos: Búsqueda sistemática de ensayos clínicos y estudios cuasiexperimentales en las bases de datos más importantes acerca de la efectividad del Láser Excimer 308 nm en la repigmentación de los pacientes adultos con vitíligo. Se evaluó su calidad metodológica. Resultados: De 862 artículos encontrados se escogieron 40 artículos potenciales de los cuales dos fueron incluidos en esta revisión. El láser Excimer 308 nm como monoterapia presenta una pigmentación efectiva (≥50%) en 28.03% de las áreas tratadas, de los cuales 72.9% se localizaron en áreas sensibles a radiación ultravioleta y 27.02% en zonas no sensibles. Inicio de pigmentación a la sesión número 13 (un mes post inicio del tratamiento). El láser fue seguro y bien tolerado. Conclusión: La evidencia sugiere que el tratamiento con Láser Excimer 308 nm, como monoterapia, es una alternativa terapéutica para lograr repigmentación pronta de las máculas acrómicas del vitíligo en áreas sensibles a radiación ultravioleta. Deben considerarse estudios que evalúen combinaciones de fármacos y Láser en el tratamiento de vitíligo.

Efficient certification of feasibility and objective value of linear programs and its applications

The use of linear programming in various areas has increased with the significant improvement of specialized solvers. Linear programs are used as such to model practical problems, or as subroutines in algorithms such as formal proofs or branch-and-cut frameworks. In many situations a certified answer is needed, for example the guarantee that the linear program is feasible or infeasible, or a provably safe bound on its objective value. Most of the available solvers work with floating-point arithmetic and are thus subject to its shortcomings such as rounding errors or underflow, therefore they can deliver incorrect answers. While adequate for some applications, this is unacceptable for critical applications like flight controlling or nuclear plant management due to the potential catastrophic consequences. We propose a method that gives a certified answer whether a linear program is feasible or infeasible, or returns unknown'. The advantage of our method is that it is reasonably fast and rarely answers unknown'. It works by computing a safe solution that is in some way the best possible in the relative interior of the feasible set. To certify the relative interior, we employ exact arithmetic, whose use is nevertheless limited in general to critical places, allowing us to rnremain computationally efficient. Moreover, when certain conditions are fulfilled, our method is able to deliver a provable bound on the objective value of the linear program. We test our algorithm on typical benchmark sets and obtain higher rates of success compared to previous approaches for this problem, while keeping the running times acceptably small. The computed objective value bounds are in most of the cases very close to the known exact objective values. We prove the usability of the method we developed by additionally employing a variant of it in a different scenario, namely to improve the results of a Satisfiability Modulo Theories solver. Our method is used as a black box in the nodes of a branch-and-bound tree to implement conflict learning based on the certificate of infeasibility for linear programs consisting of subsets of linear constraints. The generated conflict clauses are in general small and give good rnprospects for reducing the search space. Compared to other methods we obtain significant improvements in the running time, especially on the large instances.