SAIDE: a Semi-Automated interface for Hydrogen/Deuterium Exchange Mass Spectrometry

Comunicaciones a congreso

Benchmark instance indicators and computational comparison of methods

chapter 7This chapter is devoted to extensive computational experiments on the resource-constrained project scheduling problem. Its objective is twofold. First, a selection of representative exact and heuristic methods among the ones presented in the previous chapters are tested and compared under a common experimental framework on four different instance sets. Second, classical and new instance difficulty indicators are evaluated through the experiments and their discriminating power is discussed

Фізико-хімічна геотехнологія

Розглянуто принципові засади геотехнологічного видобування різнома- нітних корисних копалин. Викладено питання розкриття та підготовки родовищ за допомогою свердловинної розробки, проаналізовано способи буріння і кріп- лення геотехнологічних свердловин, а такж застосоване обладнання. Розкрито сутність технологічних процесів, які виконуються при диспергуванні гірських порід, розчиненні солей, вилуговуванні металів, підземній виплавці сірки і га- зифікації вугілля, видобуванні в’язкої нафти та сланцьового газу. Навчальний посібник призначений для студентів, які навчаються за спе- ціальністю «Розробка родовищ та видобування корисних копалин», а також для студентів інших спеціальностей гірничих вузів і факультетів та інженерно- технічних працівників підприємств і проектних організацій гірничовидобувних галузей промисловості України

The design of the wide field monitor for LOFT

LOFT (Large Observatory For x-ray Timing) is one of the ESA M3 missions selected within the Cosmic Vision program in 2011 to carry out an assessment phase study and compete for a launch opportunity in 2022-2024. The phase-A studies of all M3 missions were completed at the end of 2013. LOFT is designed to carry on-board two instruments with sensitivity in the 2-50 keV range: a 10 m 2 class Large Area Detector (LAD) with a <1{\deg} collimated FoV and a wide field monitor (WFM) making use of coded masks and providing an instantaneous coverage of more than 1/3 of the sky. The prime goal of the WFM will be to detect transient sources to be observed by the LAD. However, thanks to its unique combination of a wide field of view (FoV) and energy resolution (better than 500 eV), the WFM will be also an excellent monitoring instrument to study the long term variability of many classes of X-ray sources. The WFM consists of 10 independent and identical coded mask cameras arranged in 5 pairs to provide the desired sky coverage. We provide here an overview of the instrument design, configuration, and capabilities of the LOFT WFM. The compact and modular design of the WFM could easily make the instrument concept adaptable for other missions.Comment: Proc. SPIE 9144, Space Telescopes and Instrumentation 2014: Ultraviolet to Gamma Ray, 91442

Flow shop rescheduling under different types of disruption

This is an Accepted Manuscript of an article published by Taylor & Francis in International Journal of Production Research on 2013, available online:http://www.tandfonline.com/10.1080/00207543.2012.666856Almost all manufacturing facilities need to use production planning and scheduling systems to increase productivity and to reduce production costs. Real-life production operations are subject to a large number of unexpected disruptions that may invalidate the original schedules. In these cases, rescheduling is essential to minimise the impact on the performance of the system. In this work we consider flow shop layouts that have seldom been studied in the rescheduling literature. We generate and employ three types of disruption that interrupt the original schedules simultaneously. We develop rescheduling algorithms to finally accomplish the twofold objective of establishing a standard framework on the one hand, and proposing rescheduling methods that seek a good trade-off between schedule quality and stability on the other.The authors would like to thank the anonymous referees for their careful and detailed comments that helped to improve the paper considerably. This work is partially financed by the Small and Medium Industry of the Generalitat Valenciana (IMPIVA) and by the European Union through the European Regional Development Fund (FEDER) inside the R + D program "Ayudas dirigidas a Institutos tecnologicos de la Red IMPIVA" during the year 2011, with project number IMDEEA/2011/142.Katragjini Prifti, K.; Vallada Regalado, E.; Ruiz García, R. (2013). Flow shop rescheduling under different types of disruption. International Journal of Production Research. 51(3):780-797. https://doi.org/10.1080/00207543.2012.666856S780797513Abumaizar, R. J., & Svestka, J. A. (1997). Rescheduling job shops under random disruptions. International Journal of Production Research, 35(7), 2065-2082. doi:10.1080/002075497195074Adiri, I., Frostig, E., & Kan, A. H. G. R. (1991). Scheduling on a single machine with a single breakdown to minimize stochastically the number of tardy jobs. Naval Research Logistics, 38(2), 261-271. doi:10.1002/1520-6750(199104)38:23.0.co;2-iAkturk, M. S., & Gorgulu, E. (1999). Match-up scheduling under a machine breakdown. European Journal of Operational Research, 112(1), 81-97. doi:10.1016/s0377-2217(97)00396-2Allahverdi, A. (1996). Two-machine proportionate flowshop scheduling with breakdowns to minimize maximum lateness. Computers & Operations Research, 23(10), 909-916. doi:10.1016/0305-0548(96)00012-3Arnaout, J. P., & Rabadi, G. (2008). Rescheduling of unrelated parallel machines under machine breakdowns. International Journal of Applied Management Science, 1(1), 75. doi:10.1504/ijams.2008.020040Artigues, C., Billaut, J.-C., & Esswein, C. (2005). Maximization of solution flexibility for robust shop scheduling. European Journal of Operational Research, 165(2), 314-328. doi:10.1016/j.ejor.2004.04.004Azizoglu, M., & Alagöz, O. (2005). Parallel-machine rescheduling with machine disruptions. IIE Transactions, 37(12), 1113-1118. doi:10.1080/07408170500288133Bean, J. C., Birge, J. R., Mittenthal, J., & Noon, C. E. (1991). Matchup Scheduling with Multiple Resources, Release Dates and Disruptions. Operations Research, 39(3), 470-483. doi:10.1287/opre.39.3.470Caricato, P., & Grieco, A. (2008). An online approach to dynamic rescheduling for production planning applications. International Journal of Production Research, 46(16), 4597-4617. doi:10.1080/00207540601136225CHURCH, L. K., & UZSOY, R. (1992). Analysis of periodic and event-driven rescheduling policies in dynamic shops. International Journal of Computer Integrated Manufacturing, 5(3), 153-163. doi:10.1080/09511929208944524Cowling, P., & Johansson, M. (2002). Using real time information for effective dynamic scheduling. European Journal of Operational Research, 139(2), 230-244. doi:10.1016/s0377-2217(01)00355-1Curry, J., & Peters *, B. (2005). Rescheduling parallel machines with stepwise increasing tardiness and machine assignment stability objectives. International Journal of Production Research, 43(15), 3231-3246. doi:10.1080/00207540500103953DUTTA, A. (1990). Reacting to Scheduling Exceptions in FMS Environments. IIE Transactions, 22(4), 300-314. doi:10.1080/07408179008964185Ghezail, F., Pierreval, H., & Hajri-Gabouj, S. (2010). Analysis of robustness in proactive scheduling: A graphical approach. Computers & Industrial Engineering, 58(2), 193-198. doi:10.1016/j.cie.2009.03.004Goren, S., & Sabuncuoglu, I. (2008). Robustness and stability measures for scheduling: single-machine environment. IIE Transactions, 40(1), 66-83. doi:10.1080/07408170701283198Hall, N. G., & Potts, C. N. (2004). Rescheduling for New Orders. Operations Research, 52(3), 440-453. doi:10.1287/opre.1030.0101Herrmann, J. W., Lee, C.-Y., & Snowdon, J. L. (1993). A Classification of Static Scheduling Problems. Complexity in Numerical Optimization, 203-253. doi:10.1142/9789814354363_0011Herroelen, W., & Leus, R. (2005). Project scheduling under uncertainty: Survey and research potentials. European Journal of Operational Research, 165(2), 289-306. doi:10.1016/j.ejor.2004.04.002Hozak, K., & Hill, J. A. (2009). Issues and opportunities regarding replanning and rescheduling frequencies. International Journal of Production Research, 47(18), 4955-4970. doi:10.1080/00207540802047106Huaccho Huatuco, L., Efstathiou, J., Calinescu, A., Sivadasan, S., & Kariuki, S. (2009). Comparing the impact of different rescheduling strategies on the entropic-related complexity of manufacturing systems. International Journal of Production Research, 47(15), 4305-4325. doi:10.1080/00207540701871036Jensen, M. T. (2003). Generating robust and flexible job shop schedules using genetic algorithms. IEEE Transactions on Evolutionary Computation, 7(3), 275-288. doi:10.1109/tevc.2003.810067King, J. R. (1976). The theory-practice gap in job-shop scheduling. Production Engineer, 55(3), 137. doi:10.1049/tpe.1976.0044Kopanos, G. M., Capón-García, E., Espuña,, A., & Puigjaner, L. (2008). Costs for Rescheduling Actions: A Critical Issue for Reducing the Gap between Scheduling Theory and Practice. Industrial & Engineering Chemistry Research, 47(22), 8785-8795. doi:10.1021/ie8005676Lee, C.-Y., Leung, J. Y.-T., & Yu, G. (2006). Two Machine Scheduling under Disruptions with Transportation Considerations. Journal of Scheduling, 9(1), 35-48. doi:10.1007/s10951-006-5592-7Li, Z., & Ierapetritou, M. (2008). Process scheduling under uncertainty: Review and challenges. Computers & Chemical Engineering, 32(4-5), 715-727. doi:10.1016/j.compchemeng.2007.03.001Liao, C. J., & Chen, W. J. (2004). Scheduling under machine breakdown in a continuous process industry. Computers & Operations Research, 31(3), 415-428. doi:10.1016/s0305-0548(02)00224-1Mehta, S. V. (1999). Predictable scheduling of a single machine subject to breakdowns. International Journal of Computer Integrated Manufacturing, 12(1), 15-38. doi:10.1080/095119299130443MUHLEMANN, A. P., LOCKETT, A. G., & FARN, C.-K. (1982). Job shop scheduling heuristics and frequency of scheduling. International Journal of Production Research, 20(2), 227-241. doi:10.1080/00207548208947763Nawaz, M., Enscore, E. E., & Ham, I. (1983). A heuristic algorithm for the m-machine, n-job flow-shop sequencing problem. Omega, 11(1), 91-95. doi:10.1016/0305-0483(83)90088-9O’Donovan, R., Uzsoy, R., & McKay, K. N. (1999). Predictable scheduling of a single machine with breakdowns and sensitive jobs. International Journal of Production Research, 37(18), 4217-4233. doi:10.1080/002075499189745Özlen, M., & Azizoğlu, M. (2009). Generating all efficient solutions of a rescheduling problem on unrelated parallel machines. International Journal of Production Research, 47(19), 5245-5270. doi:10.1080/00207540802043998Pfeiffer, A., Kádár, B., & Monostori, L. (2007). Stability-oriented evaluation of rescheduling strategies, by using simulation. Computers in Industry, 58(7), 630-643. doi:10.1016/j.compind.2007.05.009Pierreval, H., & Durieux-Paris, S. (2007). Robust simulation with a base environmental scenario. European Journal of Operational Research, 182(2), 783-793. doi:10.1016/j.ejor.2006.07.045Damodaran, P., Hirani, N. S., & Gallego, M. C. V. (2009). Scheduling identical parallel batch processing machines to minimise makespan using genetic algorithms. European J. of Industrial Engineering, 3(2), 187. doi:10.1504/ejie.2009.023605Qi, X., Bard, J. F., & Yu, G. (2006). Disruption management for machine scheduling: The case of SPT schedules. International Journal of Production Economics, 103(1), 166-184. doi:10.1016/j.ijpe.2005.05.021Rangsaritratsamee, R., Ferrell, W. G., & Kurz, M. B. (2004). Dynamic rescheduling that simultaneously considers efficiency and stability. Computers & Industrial Engineering, 46(1), 1-15. doi:10.1016/j.cie.2003.09.007Ruiz, R., & Stützle, T. (2007). A simple and effective iterated greedy algorithm for the permutation flowshop scheduling problem. European Journal of Operational Research, 177(3), 2033-2049. doi:10.1016/j.ejor.2005.12.009Sabuncuoglu, I., & Goren, S. (2009). Hedging production schedules against uncertainty in manufacturing environment with a review of robustness and stability research. International Journal of Computer Integrated Manufacturing, 22(2), 138-157. doi:10.1080/09511920802209033Sabuncuoglu, I., & Kizilisik, O. B. (2003). Reactive scheduling in a dynamic and stochastic FMS environment. International Journal of Production Research, 41(17), 4211-4231. doi:10.1080/0020754031000149202Salveson, M. E. (1952). On a Quantitative Method in Production Planning and Scheduling. Econometrica, 20(4), 554. doi:10.2307/1907643Samarghandi, H., & ElMekkawy, T. Y. (2011). An efficient hybrid algorithm for the two-machine no-wait flow shop problem with separable setup times and single server. European J. of Industrial Engineering, 5(2), 111. doi:10.1504/ejie.2011.039869Subramaniam *, V., Raheja, A. S., & Rama Bhupal Reddy, K. (2005). Reactive repair tool for job shop schedules. International Journal of Production Research, 43(1), 1-23. doi:10.1080/0020754042000270412Taillard, E. (1990). Some efficient heuristic methods for the flow shop sequencing problem. European Journal of Operational Research, 47(1), 65-74. doi:10.1016/0377-2217(90)90090-xTaillard, E. (1993). Benchmarks for basic scheduling problems. European Journal of Operational Research, 64(2), 278-285. doi:10.1016/0377-2217(93)90182-mValente, J. M. S., & Schaller, J. E. (2010). Improved heuristics for the single machine scheduling problem with linear early and quadratic tardy penalties. European J. of Industrial Engineering, 4(1), 99. doi:10.1504/ejie.2010.029572Vallada, E., & Ruiz, R. (2010). Genetic algorithms with path relinking for the minimum tardiness permutation flowshop problem☆. Omega, 38(1-2), 57-67. doi:10.1016/j.omega.2009.04.002Vieira, G. E., Herrmann, J. W., & Lin, E. (2000). Predicting the performance of rescheduling strategies for parallel machine systems. Journal of Manufacturing Systems, 19(4), 256-266. doi:10.1016/s0278-6125(01)80005-4Vieira, G. E., Herrmann, J. W., & Lin, E. (2003). Journal of Scheduling, 6(1), 39-62. doi:10.1023/a:1022235519958Yang, J., & Yu, G. (2002). Journal of Combinatorial Optimization, 6(1), 17-33. doi:10.1023/a:1013333232691Zandieh, M., & Gholami, M. (2009). An immune algorithm for scheduling a hybrid flow shop with sequence-dependent setup times and machines with random breakdowns. International Journal of Production Research, 47(24), 6999-7027. doi:10.1080/0020754080240063

The Atmospheric Remote-sensing Infrared Exoplanets Large-survey (ARIEL) payload electronic subsystems

The ARIEL mission has been proposed to ESA by an European Consortium as the first space mission to extensively perform remote sensing on the atmospheres of a well defined set of warm and hot transiting gas giant exoplanets, whose temperature range between ~600 K and 3000 K. ARIEL will observe a large number (~500) of warm and hot transiting gas giants, Neptunes and super-Earths around a range of host star types using transit spectroscopy in the ~2-8 μm spectral range and broad-band photometry in the NIR and optical. ARIEL will target planets hotter than 600 K to take advantage of their well-mixed atmospheres, which should show minimal condensation and sequestration of high-Z materials and thus reveal their bulk and elemental composition. One of the major motivations for exoplanet characterisation is to understand the probability of occurrence of habitable worlds, i.e. suitable for surface liquid water. While ARIEL will not study habitable planets, its major contribution to this topic will results from its capability to detect the presence of atmospheres on many terrestrial planets outside the habitable zone and, in many cases, characterise them. This represents a fundamental breakthrough in understanding the physical and chemical processes of a large sample of exoplanets atmospheres as well as their bulk properties and to probe in-space technology. The ARIEL infrared spectrometer (AIRS) provides data on the atmospheric composition; these data are acquired and processed by an On-Board Data Handling (OBDH) system including the Cold Front End Electronics (CFEE) and the Instrument Control Unit (ICU). The Telescope Control Unit (TCU) is also included inside the ICU. The latter is directly connected to the Control and Data Management Unit (CDMU) on board the Service Module (SVM). The general hardware architecture and the application software of the ICU are described. The Fine Guidance Sensor (FGS) electronics and the Cooler Control Electronics are also presented

Effectiveness of an mHealth intervention combining a smartphone app and smart band on body composition in an overweight and obese population: Randomized controlled trial (EVIDENT 3 study)

Background: Mobile health (mHealth) is currently among the supporting elements that may contribute to an improvement in health markers by helping people adopt healthier lifestyles. mHealth interventions have been widely reported to achieve greater weight loss than other approaches, but their effect on body composition remains unclear. Objective: This study aimed to assess the short-term (3 months) effectiveness of a mobile app and a smart band for losing weight and changing body composition in sedentary Spanish adults who are overweight or obese. Methods: A randomized controlled, multicenter clinical trial was conducted involving the participation of 440 subjects from primary care centers, with 231 subjects in the intervention group (IG; counselling with smartphone app and smart band) and 209 in the control group (CG; counselling only). Both groups were counselled about healthy diet and physical activity. For the 3-month intervention period, the IG was trained to use a smartphone app that involved self-monitoring and tailored feedback, as well as a smart band that recorded daily physical activity (Mi Band 2, Xiaomi). Body composition was measured using the InBody 230 bioimpedance device (InBody Co., Ltd), and physical activity was measured using the International Physical Activity Questionnaire. Results: The mHealth intervention produced a greater loss of body weight (–1.97 kg, 95% CI –2.39 to –1.54) relative to standard counselling at 3 months (–1.13 kg, 95% CI –1.56 to –0.69). Comparing groups, the IG achieved a weight loss of 0.84 kg more than the CG at 3 months. The IG showed a decrease in body fat mass (BFM; –1.84 kg, 95% CI –2.48 to –1.20), percentage of body fat (PBF; –1.22%, 95% CI –1.82% to 0.62%), and BMI (–0.77 kg/m2, 95% CI –0.96 to 0.57). No significant changes were observed in any of these parameters in men; among women, there was a significant decrease in BMI in the IG compared with the CG. When subjects were grouped according to baseline BMI, the overweight group experienced a change in BFM of –1.18 kg (95% CI –2.30 to –0.06) and BMI of –0.47 kg/m2 (95% CI –0.80 to –0.13), whereas the obese group only experienced a change in BMI of –0.53 kg/m2 (95% CI –0.86 to –0.19). When the data were analyzed according to physical activity, the moderate-vigorous physical activity group showed significant changes in BFM of –1.03 kg (95% CI –1.74 to –0.33), PBF of –0.76% (95% CI –1.32% to –0.20%), and BMI of –0.5 kg/m2 (95% CI –0.83 to –0.19). Conclusions: The results from this multicenter, randomized controlled clinical trial study show that compared with standard counselling alone, adding a self-reported app and a smart band obtained beneficial results in terms of weight loss and a reduction in BFM and PBF in female subjects with a BMI less than 30 kg/m2 and a moderate-vigorous physical activity level. Nevertheless, further studies are needed to ensure that this profile benefits more than others from this intervention and to investigate modifications of this intervention to achieve a global effect