On the Enforcement of a Class of Nonlinear Constraints on Petri Nets

International audienceThis paper focuses on the enforcement of nonlinear constraints in Petri nets. First, a supervisory structure is proposed for a nonlinear constraint. The proposed structure consists of added places and transitions. It controls the transitions in the net to be controlled only but does not change its states since there is no arc between the added transitions and the places in the original net. Second, an integer linear programming model is proposed to transform a nonlinear constraint to a minimal number of conjunc-tive linear constraints that have the same control performance as the nonlinear one. By using a place invariant based method, the obtained linear constraints can be easily enforced by a set of control places. The control places consist to a supervisor that can enforce the given nonlinear constraint. On condition that the admissible markings space of a nonlinear constraint is non-convex, another integer linear programming model is developed to obtain a minimal number of constraints whose disjunctions are equivalent to the nonlinear constraint. Finally, a number of examples are provided to demonstrate the proposed approach

Using keystroke logging to understand writers’ processes on a reading-into-writing test

Background Integrated reading-into-writing tasks are increasingly used in large-scale language proficiency tests. Such tasks are said to possess higher authenticity as they reflect real-life writing conditions better than independent, writing-only tasks. However, to effectively define the reading-into-writing construct, more empirical evidence regarding how writers compose from sources both in real-life and under test conditions is urgently needed. Most previous process studies used think aloud or questionnaire to collect evidence. These methods rely on participants’ perceptions of their processes, as well as their ability to report them. Findings This paper reports on a small-scale experimental study to explore writers’ processes on a reading-into-writing test by employing keystroke logging. Two L2 postgraduates completed an argumentative essay on computer. Their text production processes were captured by a keystroke logging programme. Students were also interviewed to provide additional information. Keystroke logging like most computing tools provides a range of measures. The study examined the students’ reading-into-writing processes by analysing a selection of the keystroke logging measures in conjunction with students’ final texts and interview protocols. Conclusions The results suggest that the nature of the writers’ reading-into-writing processes might have a major influence on the writer’s final performance. Recommendations for future process studies are provided

The use of plants in the traditional treatment of diabetes patients: survey in southern Morocco

This study was conducted in public healthcare establishments in Guelmim city in south of Morocco to report medicinal plants used in folk medicine to treat diabetes. Three hundred sixty-two informants were interviewed through semi structured interviews. The inventory includes scientific, popular and common names of the plants, used parts and method of preparation. The survey shows that 24.6% of the patients use these plants. Twenty-seven medicinal plants belonging to seventeen families were inventoried and three species were cited for the first time in the treatment of diabetes in Morocco. Olea europea L., Artemisia herba-alba Asso and Trigonella foenum-graecum L. are the most plant species used to treat diabetes, and the two most cited families are Lamiaceae (5 species) and Apiaceae (4 species). Leaves represented the most utilized part of plants and decoction was the most cited mode of preparation of drugs. The present study highlights the wide variety of herbal remedies used to treat diabetes and the frequency of this use in diabetic patients

Fancine 2003, n. 08

Abstract not availabl

TOI-2257 b: A highly eccentric long-period sub-Neptune transiting a nearby M dwarf

Context. Thanks to the relative ease of finding and characterizing small planets around M-dwarf stars, these objects have become cornerstones in the field of exoplanet studies. The current paucity of planets in long-period orbits around M dwarfs makes such objects particularly compelling as they provide clues about the formation and evolution of these systems. Aims. In this study we present the discovery of TOI-2257 b (TIC 198485881), a long-period (35 d) sub-Neptune orbiting an M3 star at 57.8 pc. Its transit depth is about 0.4%, large enough to be detected with medium-size, ground-based telescopes. The long transit duration suggests the planet is in a highly eccentric orbit (e ∼ 0.5), which would make it the most eccentric planet known to be transiting an M-dwarf star. Methods. We combined TESS and ground-based data obtained with the 1.0-meter SAINT-EX, 0.60-meter TRAPPIST-North, and 1.2-meter FLWO telescopes to find a planetary size of 2.2 R⊕ and an orbital period of 35.19 days. In addition, we make use of archival data, high-resolution imaging, and vetting packages to support our planetary interpretation. Results. With its long period and high eccentricity, TOI-2257 b falls into a novel slice of parameter space. Despite the planet’s low equilibrium temperature (∼256 K), its host star’s small size (R∗ = 0.311 ± 0.015) and relative infrared brightness (Kmag = 10.7) make it a suitable candidate for atmospheric exploration via transmission spectroscopy.Fil: Schanche, N.. University of Bern; SuizaFil: Pozuelos, F. J.. Université de Liège; BélgicaFil: Günther, M. N.. Massachusetts Institute of Technology; Estados Unidos. Agencia Espacial Europea. European Space Research And Technology Centre.; Países BajosFil: Wells, R. D.. University of Bern; SuizaFil: Burgasser, A. J.. University of California at San Diego; Estados UnidosFil: Chinchilla, P.. Université de Liège; Bélgica. Instituto de Astrofísica de Canarias; EspañaFil: Delrez, L.. Université de Liège; BélgicaFil: Ducrot, E.. Université de Liège; BélgicaFil: Garcia, L. J.. Université de Liège; BélgicaFil: Gómez Maqueo Chew, Y.. Universidad Nacional Autónoma de México. Instituto de Astronomía; MéxicoFil: Jofre, Jorge Emiliano. Universidad Nacional Autónoma de México. Instituto de Astronomía; México. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Córdoba. Instituto de Astronomía Teórica y Experimental. Universidad Nacional de Córdoba. Observatorio Astronómico de Córdoba. Instituto de Astronomía Teórica y Experimental; ArgentinaFil: Rackham, B. V.. Massachusetts Institute of Technology; Estados UnidosFil: Sebastian, D.. University of Birmingham; Reino UnidoFil: Stassun, K. G.. Vanderbilt University; Estados UnidosFil: Stern, D.. California Instituto Of Technology. Departament Of Mechanical And Civil Engineering; Estados UnidosFil: Timmermans, M.. Université de Liège; BélgicaFil: Barkaoui, K.. Université de Liège; Bélgica. Cadi Ayyad University; MarruecosFil: Belinski, A.. Moscow State University; RusiaFil: Benkhaldoun, Z.. Cadi Ayyad University; MarruecosFil: Benz, W.. University of Bern; SuizaFil: Bieryla, A.. Harvard-Smithsonian Center for Astrophysics; Estados UnidosFil: Bouchy, F.. Observatorio de Ginebra; SuizaFil: Burdanov, A.. Massachusetts Institute of Technology; Estados UnidosFil: Charbonneau, D.. Harvard-Smithsonian Center for Astrophysics; Estados UnidosFil: Christiansen, J. L.. Centro de Análisis y Procesamiento Infrarrojo; Estados Unidos. National Aeronautics and Space Administration; Estados UnidosFil: Collins, K. A.. Harvard-Smithsonian Center for Astrophysics; Estados UnidosFil: Demory, Brice Olivier. University of Bern; SuizaFil: Dévora Pajares, M.. Universidad de Granada; EspañaFil: De Wit, J.. Massachusetts Institute of Technology; Estados UnidosFil: Dragomir, D.. University of New Mexico; Estados Unido

SPECULOOS: a network of robotic telescopes to hunt for terrestrial planets around the nearest ultracool dwarfs

We present here SPECULOOS, a new exoplanet transit search based on a network of 1m-class robotic telescopes targeting the $\sim$1200 ultracool (spectral type M7 and later) dwarfs bright enough in the infrared ($K$-mag $\leq 12.5$) to possibly enable the atmospheric characterization of temperate terrestrial planets with next-generation facilities like the $\textit{James Webb Space Telescope}$. The ultimate goals of the project are to reveal the frequency of temperate terrestrial planets around the lowest-mass stars and brown dwarfs, to probe the diversity of their bulk compositions, atmospheres and surface conditions, and to assess their potential habitability.Comment: 21 pages, 13 figures, 1 table. Proceedings of SPI