Time-domain matrix evaluation of a digital servomechanism using semi-hybrid computational techniques
نویسندگان
چکیده
منابع مشابه
hazard evaluation of gas condensate stabilization and dehydration unit of parsian gas refinery using hazop procedures
شناسایی مخاطرات در واحد 400 پالایشگاه گاز پارسیان. در این پروزه با بکارگیری از تکنیک hazop به شناسا یی مخاطرات ، انحرافات ممکن و در صورت لزوم ارایه راهکارهای مناسب جهت افزایش ایمنی فرا یند پرداخته میگردد. شرایط عملیاتی مخاطره آمیز نظیر فشار و دمای بالا و وجود ترکیبات مختلف سمی و قابل انفجار در واحدهای پالایش گاز، ضرورت توجه به موارد ایمنی در این چنین واحدهایی را مشخص می سازد. مطالعه hazop یک ر...
Time Domain Performance Evaluation of Adaptive Hybrid Cache Coherence Protocols
Abstruct -Adaptive hybrid cache coherence protocols use both the write-invalidate mechanism and the write-update mechanism to maintain coherence among copies of data objects. Each of these protocols implements a decision function that chooses the appropriate mechanism in order to improve their performance. I n most existing solutions, decision functions are based on communication traffic. Moreo...
متن کاملINVESTIGATION ON SLAG-REFRACTORY INTERACTION IN LADLE USING COMPUTATIONAL TECHNIQUES
Abstract: Thermodynamic computational packages MTDATA and FactSage have been used to carry out calculations on the variation with temperature of the phases precipitated on cooling in both oxidising and reducing conditions of a typical ladle slag composition, in the temperature range 1700 - 900°C. The current coverage of the databases associated with the computational packages is discussed i...
متن کاملA Unified Quadratic Semi-infinite Programming Approach to Time and Frequency Domain Constrained Digital Filter Design∗
A unified quadratic semi-infinite programming approach is introduced to solve digital filter design problems with time or frequency-domain specification. An algorithm based on this approach is developed and the corresponding convergence result is presented. This computational method is then applied to the optimum filter design problems subject to time and frequency domain specifications, namely...
متن کاملComputational techniques for hybrid system verification
This paper concerns computational methods for verifying properties of polyhedral invariant hybrid automata (PIHA), which are hybrid automata with discrete transitions governed by polyhedral guards. To verify properties of the state trajectories for PIHA, the planar switching surfaces are partitioned to define a finite set of discrete states in an approximate quotient transition system (AQTS). S...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Computer Journal
سال: 1975
ISSN: 0010-4620,1460-2067
DOI: 10.1093/comjnl/18.2.169