In this paper, we explain how, under the one-sided Lipschitz (OSL) hypothesis, one can find an error bound for a variant of the Euler-Maruyama approximation method for stochastic switched systems. We then explain how this bound can be used to control stochastic switched switched system in order to stabilize them in a given region. The method is illustrated on several examples of the literature.

The main driving forces on the development of eco-friendly wood adhesives are based environmental sustainability, costs savings, recyclability, reusability and health benefits, in comparison with synthetic resins. Lignin, tannin, proteins carbohydrates renewable raw materials being studied. Taking as a premise technical performance different bio-based alternatives, formaldehyde-based resins, it...

برخی از گونه ‏های زنبور تریکوگراما، دارای نوعی همزیستی با باکتری Wolbachia هستندکه باعث القاء بکرماده ‏زایی در آنها می‏شود. جمعیت‌هایی این پارازیتوئید تخم آفات که نتاج ماده بیشتری تولید می‌کنند، می‌توانند بالقوه توان بالاتری برخوردار باشند. پس شناسایی یک جمعیت بومی آلوده به ولباکیا Trichogramma brassicae، بررسی‏ هایی منظور ارزیابی توانایی‌های تک‏جنسی (A) قیاس جمعیت‌‏های دوجنسی طبیعی (B) و تغذیه...

This paper evaluates a new branch-and-cut approach, establishing a computational benchmark for the single-product, assembly system design (SPASD) problem. Our approach, which includes a heuristic, preprocessing, and two cut-generating methods, outperformed OSL in solving a set of 102 instances of the SPASD problem. The approach is robust; test problems show that it can be applied to variations ...

Thermoluminescence is an established method for radiation dosimetry as well as retrospective dosimetry. In spite of its great success, different difficulties are associated with its application. These include anomalous fading, changes in the properties of the sample due to its heating in the readout phase, including a sensitization due to the combined effect of irradiation and heating and non-l...

Traditional logic-based speci cation approaches x the structure and the dynamics of an object system at speci cation time. Information systems are applications with a very long life-time. Therefore, object and speci cation evolution to react on changing requirements is a relevant aspect of describing information systems as object societies. We present a logical speci cation framework for evolvi...