A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software

Many Control Systems are indeed Software Based Control Systems, i.e. control systems whose controller consists of control software running on a microcontroller device. This motivates investigation on Formal Model Based Design approaches for automatic synthesis of control software. Available algorithms and tools (e.g., QKS) may require weeks or even months of computation to synthesize control software for large-size systems. This motivates search for parallel algorithms for control software synthesis. In this paper, we present a Map-Reduce style parallel algorithm for control software synthesis when the controlled system (plant) is modeled as discrete time linear hybrid system. Furthermore we present an MPI-based implementation PQKS of our algorithm. To the best of our knowledge, this is the first parallel approach for control software synthesis. We experimentally show effectiveness of PQKS on two classical control synthesis problems: the inverted pendulum and the multi-input buck DC/DC converter. Experiments show that PQKS efficiency is above 65%. As an example, PQKS requires about 16 hours to complete the synthesis of control software for the pendulum on a cluster with 60 processors, instead of the 25 days needed by the sequential algorithm in QKS.Comment: To be submitted to TACAS 2013. arXiv admin note: substantial text overlap with arXiv:1207.4474, arXiv:1207.409

The Impact of Environmental Factor and Individual Characteristic on Leptospirosis Outbrreak in Jakarta, 2003-2005

Jakarta is one of the largest Cities in Indonesia where almost every year get flooding. Of course, flooding brings very bad impact for all human life aspect, which one is the incidence of various post-flood diseases. Environment changes caused by flood will increase the spreading of leptospirosis (rat urine disease). This is happen because of animal urine infected by leptospira germs are carryout by water pond and contaminate house environment. Leptospirosis problem in DKI Jakarta was always occurred in same area caused by bad environment factors, bad behavior, or individual characteristic influence. The research objective was to find out the impact of environment factor and individual characteristic on leptospirosis cases in Jakarta year 2003-2005. The study designed was case control study. Data are base on secondary data from Training and Education Division of Tarakan District Hospital, Jakarta and also with developed questioner for data collection. Subject cases were 190 people, whereas positive leptospirosis as cases group and negative leptospirosis respondent as control group, with 1:1 comparison. There ware significant relationship between environmental condition: house condition and settlement (OR=3,96), SPAL (OR=1,98), and characteristic individual: social economy condition (OR=1,93), knowledge (OR=17,6), and education (OR= 2,41). Multi variable analysis conclude that there are four dominant factors that affect leptospirosis which are environmental factors such as water supply (OR=4.5), house component and settlement (OR=8.2), individual characteristic: such as education  (OR=3.7), knowledge  (OR=33.1) related with leptospirosis cases in Jakarta year 2003-2005

Developing Telephoning Skills: Speaking Practices for Office Professionals

This text-book has been prepared to provide secretaries, clerks and other office professionals with the telephone techniques and the English language skills necessary to perform their communication tasks. The writer identifies four areas for development. Firstly, students should be made familiar with the phrases commonly used in telephone conversations. Model dialogues are provided to give them sample telephone conversation related to specific business situations. The next, practices are provided to give students opportunity to manipulate language forms and functions which serve communicative purposes. Furthermore, the opportunity to complete and role play a dialogue provides a make-believe situation on which they communicate preparing themselves for a real office communication. Finally, spelling and pronunciation practices will futher help them improve mutual intelligibility in communication

La Ley de Igualdad 3/2007 y las elecciones al Congreso de los Diputados de 2004 y 2008

La desigual representación de sexos en el Congreso de los Diputados continúa siendo una realidad, a pesar de la aplicación de la Ley de Igualdad, que modifica la normativa electoral para impulsar la presencia de mujeres en la elite política. A través del presente artículo se explica metódicamente con datos empíricos porque la implementación de las cuotas femeninas por ley no ha modificado la composición del Parlamento español según sexo. Por un lado, se analiza la primera fase de reclutamiento de los diputados, es decir, las listas electorales. Por otro, se estudia el escenario parlamentario, en concreto la consolidación de esta elite política femenina

New Supporting Evidence for the Overdensity of Galaxies around the Radio-Loud Quasar SDSS J0836+0054 at z =5.8

Recently, Zheng et al. (2005) found evidence for an overdensity of galaxies around a radio-loud quasar, SDSS J0836+0054, at z=5.8 (a five arcmin$^2$ region). We have examined our deep optical imaging data (B, V, r', i', z', and NB816) taken with the Suprime-Cam on the Subaru Telescope. The NB816 narrow-band filter (lambda_c = 815 nm and $\Delta\lambda = 12$ nm) is suitable for searching for Ly$\alpha$ emitters at $z\approx 5.7$. We have found a new strong Ly$\alpha$ emitter at $z \approx 5.7$ close to object B identified by Zheng et al. Further, the non detection of the nine objects selected by Zheng et al. (2005) in our B, V, and r' images provides supporting evidence that they are high-z objects.Comment: 5 pages, 1 figure, accepted for PAS

Evolution of dwarf galaxies: characterizing star formation scenarios

This is an electronic version of the lecture presented at the IX Scientific Meeting of the Spanish Astronomical Society (SEA), held on September 13-17, 2010, in Madrid

Effect of platelet lysate on uterine response of mares susceptible to persistent mating-induced endometritis

Many mares are susceptible to persistent mating-induced endometritis (PMIE), an important cause of reduced fertility. Platelet lysate (PL) derives from freeze-thawing platelets after concentration, so that growth factors are released from the platelets. Among the advantages of PL compared to platelet-rich plasma (PRP), it can be frozen stored and allogenic use for PL might also be conceivable. Platelet-rich plasma beneficially reduced inflammatory response in PMIE mares when administered 24 h pre- or 4 h post-AI. The aim of this study was to test the effect of PL on inflammatory uterine response in mares susceptible to PMIE. A total of 14 mares susceptible to PMIE (based on presence of fluid or inflammatory cells 24 h after AI) underwent an untreated (Ctr) cycle followed by a treated (PL) cycle. From each mare, 100 mL of citrated whole blood was obtained for PRP production by centrifugation. The resultant PRP was brought to a final volume of 10 mL with platelet poor plasma and frozen at −80 °C to obtain PL. On untreated cycles, mares were inseminated with frozen-thawed semen 36 h after ovulation induction. On treated cycles, PL was thawed, infused into the uterus 12 h after ovulation induction, and AIs were performed 24 h later. The number of neutrophils in uterine cytology (score 1(normal)-3(severe inflammation)) evaluated by optical microscopy, uterine fluid accumulation (height x width) and uterine edema (score 0–3) observed in ultrasonography, were analysed. Pregnancy was evaluated by ultrasonography 14 days after ovulation. A significant decrease (P < 0.05) was observed on cytology score (PL 1.3 ± 0.1 vs Ctr 2.0 ± 0.1), fluid accumulation (PL 79.5 ± 30.1 mm2 vs Ctr 342.7 ± 52.9 mm2) and edema score (PL 1.8 ± 0.2 vs Ctr 2.3 ± 0.2) in treated mares. Pregnancy rate in PL-treated cycles (3/12) and control cycles (2/14), were not significantly different (P > 0.05). According to the results, we conclude that treatment with PL in mares classified as susceptible to PMIE appears to reduce the inflammatory response after breeding, based on clinical signs of uterine edema, IUF accumulation and PMNs migration