A Perturbation Scheme for Passivity Verification and Enforcement of Parameterized Macromodels
نویسندگان
چکیده
منابع مشابه
passivity in waiting for godot and endgame: a psychoanalytic reading
this study intends to investigate samuel beckett’s waiting for godot and endgame under the lacanian psychoanalysis. it begins by explaining the most important concepts of lacanian psychoanalysis. the beckettian characters are studied regarding their state of unconscious, and not the state of consciousness as is common in most beckett studies. according to lacan, language plays the sole role in ...
the innovation of a statistical model to estimate dependable rainfall (dr) and develop it for determination and classification of drought and wet years of iran
آب حاصل از بارش منبع تأمین نیازهای بی شمار جانداران به ویژه انسان است و هرگونه کاهش در کم و کیف آن مستقیماً حیات موجودات زنده را تحت تأثیر منفی قرار می دهد. نوسان سال به سال بارش از ویژگی های اساسی و بسیار مهم بارش های سالانه ایران محسوب می شود که آثار زیان بار آن در تمام عرصه های اقتصادی، اجتماعی و حتی سیاسی- امنیتی به نحوی منعکس می شود. چون میزان آب ناشی از بارش یکی از مولفه های اصلی برنامه ...
15 صفحه اولVerification , Compliance , and Enforcement
The Adelphi Paper Abolishing Nuclear Weapons will play an important part in the whole nuclear disarmament initiative that was kicked off in 2007 by a combination of the Hoover Institution and Nuclear Threat Initiative's " Reykjavik Revisited " project; the Kissinger–Nunn–Perry–Shultz op-ed articles in the Wall Street Journal; Margaret Beckett's keynote address at have woven a strong fabric of p...
متن کاملEnvironment Abstraction for Parameterized Verification
Many aspects of computer systems are naturally modeled as parameterized systems which renders their automatic verification difficult. In wellknown examples such as cache coherence protocols and mutual exclusion protocols, the unbounded parameter is the number of concurrent processes which run the same distributed algorithm. In this paper, we introduce environment abstraction as a tool for the v...
متن کاملRefining Orderings for Parameterized Verification
This tutorial paints a high-level picture of the concepts involved in verification of graph transformation systems. We distinguish three fundamentally di erent application scenarios for graph rewriting: (1) as grammars (in which case we are interested in the language, or set, of terminal graphs for a fixed start graph); (2) as production systems (in which case we are interested in the relation ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Transactions on Components, Packaging and Manufacturing Technology
سال: 2017
ISSN: 2156-3950,2156-3985
DOI: 10.1109/tcpmt.2017.2735183