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

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

Journal: :Applied Mathematics and Computation 2015

متن کامل
Journal: :PAMM 2007

متن کامل
Journal: :Advances in Computational Mathematics 2015

متن کامل
Journal: :Control and Intelligent Systems 2007

متن کامل
2006
Lubos Brim Ivana Cerná Pavel Moravec Jirí Simsa

We present a new approach to combine partial order reduction with fairness in the context of LTL model checking. For this purpose, we define several behaviour classes representing typical fairness assumptions and examine how various reduction techniques affect these classes. In particular, we consider both reductions preserving all behaviours and reductions preserving only some behaviours.

متن کامل
Journal: :PAMM 2019

متن کامل
Journal: :IET Control Theory & Applications 2020

متن کامل
Journal: :Journal of Control Science and Engineering 2012

متن کامل
Journal: :Water Resources Research 2022

A state-space representation of water quality dynamics describing disinfectant (e.g., chlorine) transport in drinking distribution networks has been recently proposed. Such is a byproduct space- and time-discretization the PDE modeling dynamics. This results large dimension even for small with tens nodes. Although such model provides model-driven approach to predict dynamics, incorporating it i...

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

abstract previous researches have shown success of growth hormones usage on flower production increase, pod and prevention of abscission of them in some of the pulses. two tests were done, in order to find out the effects of growth hormones to on flower production increase, pod and chick pea yield composites in farmer conditions (2010-11) and green house conditions as factorial on the proje...

15 صفحه اول

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

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