نتایج جستجو برای: control methods

تعداد نتایج: 2926900  

2004
Hoang Q. Nguyen William W. Symes Noah Harding Mark P. Embree William Symes

Domain Decomposition Methods for Linear-Quadratic Elliptic Optimal Control Problems

Booraki, Shahnaz,

 تمامی انسانها در طول زمان کوشیده اند تا از بروز درد جلوگیری نمایندبه همین منظور روشهای درمانی مختلفی ابداع شده که می توانند درد بسیاری از بیماران را کاهش داده و در این میان روشهای غیرتهاجمی بیشتر از روشهای دیگر مورد پسند بیماران واقع می شوند.

2013
Yuliya Prokhorova Elena Troubitsyna Linas Laibinis

In this paper, we present a case study in modelling a resilient control system in Event-B. We demonstrate how to formally define the basic safety properties and fault tolerance mechanisms, as well as the system modes describing the system behaviour under different execution and fault conditions. Our formal development helps us to identify the diagnosability conditions for resilience, i.e., iden...

2002
Asaf Degani Michael Heymann George Meyer Michael Shafto ASAF DEGANI MICHAEL HEYMANN GEORGE MEYER MICHAEL SHAFTO

This paper discusses a formal, mathematically-based, approach to the analysis of operator interaction with machines, in general, and with complex and automated control systems, in particular. It addresses the problem of correctness of displays by asking whether the display provides the necessary information about the machine to enable the operator to perform a specified task successfully and un...

2011
Michael Wasilewski Wilhelm Hasselbring

The engineering processes for safety-critical systems, for instance in the health care or transportation domains, are regulated by law. For software in the railroad industry in Europe the certification procedures have to obey the norm EN50128. This paper presents the method that was introduced and employed for the development and the successful certification of the software for the vehicle cont...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه فردوسی مشهد - پژوهشکده ادبیات 1393

1.0 overview it seems that grammar plays a crucial role in the area of second and foreign language learning and widely has been acknowledged in grammar research. in other words, teaching grammar is an issue which has attracted much attention to itself, and a lot of teachers argue about the existence of grammar in language teaching and learning. this issue will remind us a famous sentence f...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه پیام نور - دانشگاه پیام نور استان تهران - دانشکده علوم اجتماعی و اقتصادی 1389

abstract nowadays, the science of decision making has been paid to more attention due to the complexity of the problems of suppliers selection. as known, one of the efficient tools in economic and human resources development is the extension of communication networks in developing countries. so, the proper selection of suppliers of tc equipments is of concern very much. in this study, a ...

پایان نامه :وزارت بهداشت، درمان و آموزش پزشکی - دانشگاه علوم پزشکی و خدمات بهداشتی درمانی مشهد - دانشکده دندانپزشکی 1390

objective: the objective of this study was to investigate the invitro fluoride release of four new self-adhesive resin cements; set (sdi, australia), breeze (pentron, usa), embrace wetbond (pulpdent, usa), g-cem (gc, japan) and to assess the bonding performance of these self-adhesive resin cements for bonding of orthodontic brackets. materials and methods: for fluoride release experiment, six ...

Journal: :Journal of Glaciology 1991

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید