Preliminary Sunyaev Zel'dovich Observations of Galaxy Clusters with OCRA-p

We present 30 GHz Sunyaev Zel'dovich (SZ) observations of a sample of four galaxy clusters with a prototype of the One Centimetre Receiver Array (OCRA-p) which is mounted on the Torun 32-m telescope. The clusters (Cl0016+16, MS0451.6-0305, MS1054.4-0321 and Abell 2218) are popular SZ targets and serve as commissioning observations. All four are detected with clear significance (4-6 sigma) and values for the central temperature decrements are in good agreement with measurements reported in the literature. We believe that systematic effects are successfully suppressed by our observing strategy. The relatively short integration times required to obtain these results demonstrate the power of OCRA-p and its successors for future SZ studies.Comment: 9 pages, 2 figures. Accepted by MNRAS, online earl

Survey of Planetary Nebulae at 30 GHz with OCRA-p

We report the results of a survey of 442 planetary nebulae at 30 GHz. The purpose of the survey is to develop a list of planetary nebulae as calibration sources which could be used for high frequency calibration in future. For 41 PNe with sufficient data, we test the emission mechanisms in order to evaluate whether or not spinning dust plays an important role in their spectra at 30 GHz. The 30-GHz data were obtained with a twin-beam differencing radiometer, OCRA-p, which is in operation on the Torun 32-m telescope. Sources were scanned both in right ascension and declination. We estimated flux densities at 30 GHz using a free-free emission model and compared it with our data. The primary result is a catalogue containing the flux densities of 93 planetary nebulae at 30 GHz. Sources with sufficient data were compared with a spectral model of free-free emission. The model shows that free-free emission can generally explain the observed flux densities at 30 GHz thus no other emission mechanism is needed to account for the high frequency spectra.Comment: 10 pages, 7 Postscript figures, to be published in A&

Análisis organizativo y de tareas en la actividad de reforma de baños particulares para el análisis y evaluación ergonómico

El sector de la construcción abarca diferentes actividades como construir, reparar, restaurar, reformar, derribar, etc. Y el presente proyecto muestra un análisis de tipo ergonómico en la actividad de reformas. Más concretamente se centra en un estudio de las condiciones ergonómicas de los trabajadores en las reformas de baños particulares, proponiendo a su vez una serie de mejoras en los métodos de ejecución. El estudio se ha llevado a cabo con la herramienta de análisis denominada, método Check List OCRA que permite, conocer de manera general y breve, la evaluación de una actividad. La primera parte del estudio corresponde a una presentación de la situación actual del sector de la construcción y los riesgos que conlleva. La segunda parte tiene como objetivo presentar las tareas en las que se ha dividido la actividad de reformas de baño, las cuáles servirán para clasificarlas y evaluarlas individualmente. Seguidamente se realiza una exposición de los casos a evaluar, comentando sus particularidades y en especial el requerimiento temporal de cada una de las tareas que se llevan a cabo. Todo ello gracias al material videográfico editado. Finalmente, se plasma el objetivo principal del proyecto que hace referencia a la muestra de resultados ergonómicos. Resultados que muestran el posible riesgo a sufrir trastornos músculo-esqueléticos por parte de los trabajadores y la consecuente propuesta de mejoras para reducir éste índice de exposición a la que se ven expuestos los operarios

The XMM-LSS survey. Survey design and first results

We have designed a medium deep large area X-ray survey with XMM - the XMM Large Scale Structure survey, XMM-LSS - with the scope of extending the cosmological tests attempted using ROSAT cluster samples to two redshift bins between 0<z<1 while maintaining the precision of earlier studies. Two main goals have constrained the survey design: the evolutionary study of the cluster-cluster correlation function and of the cluster number density. The results are promising and, so far, in accordance with our predictions as to the survey sensitivity and cluster number density. The feasibility of the programme is demonstrated and further X-ray coverage is awaited in order to proceed with a truly significant statistical analysis. (Abridged)Comment: Published in Journal of Cosmology and Astroparticle Physic

A Component-Based Simplex Architecture for High-Assurance Cyber-Physical Systems

We present Component-Based Simplex Architecture (CBSA), a new framework for assuring the runtime safety of component-based cyber-physical systems (CPSs). CBSA integrates Assume-Guarantee (A-G) reasoning with the core principles of the Simplex control architecture to allow component-based CPSs to run advanced, uncertified controllers while still providing runtime assurance that A-G contracts and global properties are satisfied. In CBSA, multiple Simplex instances, which can be composed in a nested, serial or parallel manner, coordinate to assure system-wide properties. Combining A-G reasoning and the Simplex architecture is a challenging problem that yields significant benefits. By utilizing A-G contracts, we are able to compositionally determine the switching logic for CBSAs, thereby alleviating the state explosion encountered by other approaches. Another benefit is that we can use A-G proof rules to decompose the proof of system-wide safety assurance into sub-proofs corresponding to the component-based structure of the system architecture. We also introduce the notion of coordinated switching between Simplex instances, a key component of our compositional approach to reasoning about CBSA switching logic. We illustrate our framework with a component-based control system for a ground rover. We formally prove that the CBSA for this system guarantees energy safety (the rover never runs out of power), and collision freedom (the rover never collides with a stationary obstacle). We also consider a CBSA for the rover that guarantees mission completion: all target destinations visited within a prescribed amount of time.Comment: Extended version of a paper to be presented at ACSD 2017, 12 pages, 3 figures, 1 appendi

Ergonomía detrás de los textiles estudio de los factores de riesgo en tejedores

La industria textil es uno de los sectores más expuestos a los factores de riesgo que provocan trastornos músculo-esqueléticos, especialmente en los tejedores de telares electrónicos. A pesar de la gran incidencia de este tipo de trastornos, las investigaciones realizadas en esta área de la industria son muy limitadas. Por esta razón, el propósito de este estudio es determinar el nivel de riesgo de contraer trastornos músculo-esqueléticos en tejedores de la comunidad de Peguche, ciudad de Otavalo, con el fin de recomendar acciones que puedan minimizar el nivel de riesgo encontrado. Para ello se analizó la actividad de anudar en 57 tejedores. A los cuales se evaluó la postura de cada tejedor a través del uso de dos métodos ergonómicos: REBA y OCRA checklist para cada lado del cuerpo (izquierdo y derecho). El método OCRA checklist dió como resultado niveles de riesgo diferentes para cada lado del cuerpo. Mientras que para el método REBA, los niveles de riesgo son iguales para cada lado del cuerpo. Además, se usó la regresión logística binaria para expresar la probabilidad de que el operario pueda adquirir un trastorno músculo-esquelético. Se determinó que los factores individuales significativos que afectan al riesgo son: la edad y el tiempo de actividad. Finalmente, se propuso controles con el objetivo de prevenir la incidencia de trastornos músculo-esqueléticos en los tejedores

Valoración de riesgo ergonómico en la linea de ensamble de la empresa Nicole S.A.S

“Las empresas del sector textil, aparecen como principales protagonistas dentro del estudio de sectores de clase mundial en Colombia e investigación patrocinada por parte del Ministerio de Comercio, Industria y Turismo. Pereira concentra el 2% de la industria textil en Colombia”1, dentro de este 2% se encuentran grandes empresas como Co&tex y Nicole S.A.S Los riesgos ergonómicos se presentan en todas las empresas, especialmente en la industria textil, pero estos riesgos no son analizados en profundidad por muchas compañías, es por esta razón que en este proyecto se evalúan los riesgos ergonómicos en la empresa Nicole S.A.S, para darle un beneficio al trabajador disminuyendo el riesgo en cada puesto y a su vez demostrado que con esto las empresas tienen mayor productividad en sus trabajadores. Para la valoración de los riesgos ergonómicos en la línea de ensamble, específicamente en el área de preparación, se evaluaron tres puestos de trabajo (Maquina plana, Fileteadora y Collarina), para esto se aplicaron métodos tales como EPR, REBA Y CHECK LIST OCRA. Se empleó el software Ergonautas Online2 del laboratorio de investigación de ergonomía de la Universidad Politécnica de Valencia y se obtuvo la puntuación de riesgo de cada puesto de trabajo evaluado, una vez finalizado la valoración de los puestos, se determina la productividad que tenía cada uno de ellos, por medio de un indicador de cumplimiento para el área de preparación, el cual fue obtenido por la empresa. Finalmente, con la ayuda de Excel se construyó una ecuación lineal, en la que se encontró una constate β (beta), que relaciona las variables de riesgo y cumplimiento. Posteriormente, con un nuevo planteamiento que mejora el riesgo de cada puesto de trabajo, modificado y realizando correcciones de postura, se halló un nuevo cumplimiento, en el que se demuestra que minimizando el riesgo de los operarios en cada uno de los puestos de trabajo se obtiene beneficios tanto para el trabajador como para la empresa, mejorado la productividad

Design and balancing of assembly lines that minimize ergonomic risk

Minimización del Riesgo ergonómico de la línea de motores de Nissan-BCN en función del número de estaciones de trabajo.In this paper, an assessment system of the ergonomic hazards existing in the workstations of an assembly line is provided. A mathematic model to solve the assembly line balancing problem is developed with the aim of minimizing the ergonomic risk that exists in an assembly line by taking into account the number of workstations and a set of temporal and spatial restrictions. This model has been applied, by means of a computational experiment, in a problem taken from a case study of Nissan’s engine plant in Barcelona. The experiment measures the impact that the increase in the number of workstations causes on the improvement of the ergonomic quality of such workplaces and on the reduction of the ergonomic risk.Preprin

Ergonomía y evaluación del riesgo ergonómico

Descripción básica de los métodos RULA, NIOSH y OCRA. UnificaciónHoy en día los trabajadores se ven obligados a adaptarse a muchas y muy diversas condiciones laborales que pueden afectar gravemente a su salud. Por ello, se presenta y analiza la información básica relativa a la Ergonomía haciendo hincapié en las dolencias que pueden aparecer a lo largo de la jornada laboral tanto psíquicas como físicas. A continuación, se describen los métodos ergonómicos más utilizados a lo largo de los años que permiten identificar y evaluar los riesgos ergonómicos a los que se encuentran expuestos los trabajadores, proponiendo opciones para su mejora y emplazándolos a un niveles aceptables. Como parte a destacar, se presenta una unificación de tres métodos ergonómicos (RULA, NIOSH y OCRA) para obtener un único valor de riesgo ergonómicoPreprin

Tiqr: a novel take on two-factor authentication

Authentication is of paramount importance for all modern networked applications. The username/password paradigm is ubiquitous. This paradigm suffices for many applications that require a relatively low level of assurance about the identity of the end user, but it quickly breaks down when a stronger assertion of the user’s identity is required. Traditionally, this is where two- or multi-factor authentication comes in, providing a higher level of assurance. There is a multitude of two-factor authentication solutions available, but we feel that many solutions do not meet the needs of our community. They are invariably expensive, difficult to roll out in heterogeneous user groups (like student populations), often closed source and closed technology and have usability problems that make them hard to use. In this paper we will give an overview of the two-factor au- thentication landscape and address the issues of closed versus open solutions. We will introduce a novel open standards-based authentication technology that we have developed and released in open source. We will then provide a classification of two-factor authentication technologies, and we will finish with an overview of future work