Quantitative analysis of reo- based service coordination

Quality of Service analysis of composed software systems is an active research area, with the goal of evaluating and improving performance and resource allocation in serviceoriented applications, namely, in the glue code –coordination layer– of such systems. Stochastic Reo offers constructs for service coordination and allows the specification of stochastic values for channels. But its state-of-the-art semantic models fail in several (important) ways. In this paper, we will see how Interactive Markov chains (IMC), proposed as astochastic compositional model of concurrency, can be effectively used to serve as a compositional semantic model for Stochastic Reo. Treating IMC as a direct semantic model, gives rise to more faithful models and has obvious efficiency advantages. Moreover, tool support that exists for IMC is made available, without significant effort, to verify and reason about the coordination layer modelled as Reo connectors.(undefined

Lightning Talk:"I solemnly pledge" A Manifesto for Personal Responsibility in the Engineering of Academic Software

International audienceSoftware is fundamental to academic research work, both as part of the method and as the result of research. In June 2016 25 people gathered at Schloss Dagstuhl for a week-long Perspectives Workshop and began to develop a manifesto which places emphasis on the scholarly value of academic software and on personal responsibility. Twenty pledges cover the recognition of academic software, the academic software process and the intellectual content of academic software. This is still work in progress. Through this lightning talk, we aim to get feedback and hone these further, as well as to inspire the WSSSPE audience to think about actions they can take themselves rather than actions they want others to take. We aim to publish a more fully developed Dagstuhl Manifesto by December 2016

Opracowanie powłoki do inkorporacji korzystnych zarodników na tekstyliach szpitalnych

Hospital-acquired infections are a growing problem in hospitalized patient safety. and hospital textiles are reported as a significant source of these nosocomial pathogen. Contact with these textiles leads most often to the contamination and cross-contamination of the hospitalized patient and hospital staff. However, the common antimicrobial agents used in the production of antimicrobial textiles are proving to be a concern in terms of toxicity and antimicrobial resistance. Bacillus spores can be a good solution to combat pathogenic bacteria. In the present study, Bacillus spores were used in the coating of polyester fabrics. Afterwards the growth and viability of the beneficial bacteria applied on fabrics were monitored using the agar plate method. Besides this, the applicability to the fabric was evaluated on the basis of contact angle measurements, abrasion resistance and tensile tests. Major findings included that it is possible to incorporate Bacillus spores in coated fabrics and these can behave like q reservoir for beneficial bacteria.Zakażenia szpitalne stanowią coraz większy problem w procesie hospitalizacji pacjentów. Tekstylia szpitalne są istotnym źródłem patogenów szpitalnych. Kontakt z tymi tekstyliami prowadzi najczęściej do zanieczyszczenia i zanieczyszczenia krzyżowego hospitalizowanego pacjenta i personelu szpitalnego. Jednakże powszechnie stosowane środki przeciwdrobnoustrojowe stosowane w produkcji tekstyliów przeciwbakteryjnych okazują się nie spełniać oczekiwań pod względem toksyczności i oporności na środki przeciwdrobnoustrojowe. Zarodniki Bacillus mogą być dobrym rozwiązaniem w walce z patogennymi bakteriami. W badaniu do powlekania tkanin poliestrowych zastosowano zarodniki Bacillus. Następnie monitorowano wzrost i żywotność korzystnych bakterii na tekstyliach za pomocą metody płytek agarowych. Poza tym wykonano pomiary kąta zwilżania, odporności na ścieranie i próby rozciągania. Stwierdzono, że zastosowanie zarodników Bacillus do powlekania tekstyliów szpitalnych daje zadowalające efekty

Simulation of an industrial scale scCO2 beam dyeing process

An industrial dyeing process in supercritical carbon dioxide has been modelled with computational fluid dynamics using Ansys Fluent software. In order to investigate the distribution of the dye carrier fluid, the flow resistance of the fabric has been accurately characterised. For this purpose, in the first part of the work a plain-woven fabric geometry was created in the open software Tex-Gen and modelled in Ansys Fluent to predict the permeation of fluid through the pores of the fabric material and to estimate the relationship between local fluid velocity and pressure drop. The second part of the study focused on evaluating the influence of beam structure, inlet flow rate, fabric height on the fluid flow through the fabric, which must be uniform to achieve a homogeneous level of dyeing. From the simulations the main obstacle to achieving a uniform flow velocity in the fabric is the pressure rise that occurs in the beam and creates a slight difference in permeation velocity between the two axial ends of the fabric; other disturbances, such as the effect of the perforated structure of the beam, are usually minor. Due to the low viscosity of supercritical carbon dioxide, inertial losses predominate over viscous losses in the porous medium. This means that approaches based only on the permeability of the fabric and the application of Darcy's law are inadequate to correctly predict the response of a dyeing unit when using carbon dioxide