نتایج جستجو برای: order reduction

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

Journal: :Advances in Electrical and Electronic Engineering 2016

2014
Duc-Hiep Chu Joxan Jaffar

We address the problem of reasoning about interleavings in safety verification of concurrent programs. In the literature, there are two prominent techniques for pruning the search space. First, there are wellinvestigated trace-based methods, collectively known as “Partial Order Reduction (POR)”, which operate by weakening the concept of a trace by abstracting the total order of its transitions ...

2003
Yannick Pencolé

Failure diagnosis in large and complex systems is a critical and challenging task. In the realm of model based diagnosis on discrete event systems, computing a failure diagnosis means computing the set of system behaviours that could explain observations. Depending on the diagnosed system, such behaviours can be numerous, so that a problem of representing them is induced. The paper discusses ab...

Journal: :CoRR 2010
K. Ramesh K. Ayyar A. Nirmalkumar G. Gurusamy

In this paper, design of current controller for a two quadrant DC motor drive was proposed with the help of model order reduction technique. The calculation of current controller gain with some approximations in the conventional design process is replaced by proposed model order reduction method. The model order reduction technique proposed in this paper gives the better controller gain value f...

Journal: :J. Comput. Physics 2016
Jörn Zimmerling Lei Wei Paul Urbach Rob Remis

Article history: Received 20 November 2015 Received in revised form 8 March 2016 Accepted 25 March 2016 Available online 31 March 2016

Journal: :Electr. Notes Theor. Comput. Sci. 1995
Miquel Monserrat Francesc Rosselló Joan Torrens Gabriel Valiente

In this paper we study single-pushout transformation in a category of spans, a generalization of the notion of partial morphism in, for instance, 2,4]. As an application, single-pushout transformation in a category of hypergraphs with a special type of partial morphisms, the conformisms, is presented. In particular , we show the existence of the pushout of any pair of conformisms of hypergraphs...

2007
Arie Verhoeven

Redundancy reduction of IC models : by multirate time-integration and model order reduction / door Arie Verhoeven.-Dit proefschrift is goedgekeurd door de promotor:

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

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