دانلود مقاله ISI انگلیسی شماره 144715
ترجمه فارسی عنوان مقاله

تجزیه و تحلیل ساختاری پایداری سیستم کنترل

عنوان انگلیسی
Constructive analysis of control system stability
کد مقاله سال انتشار تعداد صفحات مقاله انگلیسی ترجمه فارسی
144715 2017 8 صفحه PDF سفارش دهید
دانلود فوری مقاله + سفارش ترجمه

نسخه انگلیسی مقاله همین الان قابل دانلود است.

هزینه ترجمه مقاله بر اساس تعداد کلمات مقاله انگلیسی محاسبه می شود.

این مقاله تقریباً شامل 9522 کلمه می باشد.

هزینه ترجمه مقاله توسط مترجمان با تجربه، طبق جدول زیر محاسبه می شود:

شرح تعرفه ترجمه زمان تحویل جمع هزینه
ترجمه تخصصی - سرعت عادی هر کلمه 18 تومان 16 روز بعد از پرداخت 171,396 تومان
ترجمه تخصصی - سرعت فوری هر کلمه 36 تومان 8 روز بعد از پرداخت 342,792 تومان
پس از پرداخت، فوراً می توانید مقاله را دانلود فرمایید.
تولید محتوا برای سایت شما
پایگاه ISIArticles آمادگی دارد با همکاری مجموعه «شهر محتوا» با بهره گیری از منابع معتبر علمی، برای کتاب، سایت، وبلاگ، نشریه و سایر رسانه های شما، به زبان فارسی «تولید محتوا» نماید.
  • تولید محتوا با مقالات ISI برای سایت یا وبلاگ شما
  • تولید محتوا با مقالات ISI برای کتاب شما
  • تولید محتوا با مقالات ISI برای نشریه یا رسانه شما
  • و...

پیشنهاد می کنیم کیفیت محتوای سایت خود را با استفاده از منابع علمی، افزایش دهید.

منبع

Publisher : Elsevier - Science Direct (الزویر - ساینس دایرکت)

Journal : IFAC-PapersOnLine, Volume 50, Issue 1, July 2017, Pages 7467-7474

ترجمه کلمات کلیدی
پایداری پویا، روشهای محاسباتی، تأیید رسمی،
کلمات کلیدی انگلیسی
Dynamic stability; computational methods; formal verification;
ترجمه چکیده
پایداری سیستم های کنترل یکی از موضوعات اصلی در نظریه کنترل است. قضیه پایداری کلاسیک ضریب همبستگی بیانگر آن است که هنجارهای باقی مانده بین مسیر مسیریابی و تعادل در حد صفر است. متاسفانه، به طور کلی اجازه نمی دهد محاسبات نرخ همگرایی، در حالی که اثبات ثبات نمایشی بسیار پیچیده است. این کار پیشنهاد می کند که از نظر تئوری ثبات آرمپتوتیک با هدف محاسبه نرخ همگرایی با استفاده از تحلیل سازنده که یک ابزار ریاضی است که همبستگی بین قضیه های خاص و الگوریتم های محاسباتی را به دست می آورد، بازنگری می شود. هدف کلی پژوهش حاضر با روند معرفی ابزار سنجش رسمی در نظریه کنترل مطابقت دارد. علاوه بر رویکردهای موجود، تجزیه و تحلیل سازنده، پیشنهاد شده در این کار همچنین می تواند برای تایید رسمی سیستم های کنترل در نظر گرفته شود. یک مثال محاسباتی ارائه شده است که نشان می دهد استخراج یک گواهی همگرا برای سیستم دینامیکی.
ترجمه دقیق تری نیاز دارید؟ سفارش دهید
پیش نمایش مقاله
پیش نمایش مقاله تجزیه و تحلیل ساختاری پایداری سیستم کنترل

چکیده انگلیسی

Stability of control systems is one of the central subjects in control theory. The classical asymptotic stability theorem states that the norm of the residual between the state trajectory and the equilibrium is zero in the limit. Unfortunately, it does not in general allow computing a rate of convergence, whereas proving exponential stability is notoriously complicated. This work proposes to revisit the asymptotic stability theory with the aim of computing convergence rates using constructive analysis which is a mathematical tool that realizes equivalence between certain theorems and computational algorithms. The overall goal of the current study matches with the trend for introducing formal verification tools into control theory. Besides existing approaches, constructive analysis, suggested within this work, can also be considered for formal verification of control systems. A computational example is provided that demonstrates extraction of a convergence certificate for a dynamical system.

دانلود فوری مقاله + سفارش ترجمه

نسخه انگلیسی مقاله همین الان قابل دانلود است.

هزینه ترجمه مقاله بر اساس تعداد کلمات مقاله انگلیسی محاسبه می شود.

این مقاله شامل 9522 کلمه می باشد.

هزینه ترجمه مقاله توسط مترجمان با تجربه، طبق جدول زیر محاسبه می شود:

شرح تعرفه ترجمه زمان تحویل جمع هزینه
ترجمه تخصصی - سرعت عادی هر کلمه 18 تومان 16 روز بعد از پرداخت 171,396 تومان
ترجمه تخصصی - سرعت فوری هر کلمه 36 تومان 8 روز بعد از پرداخت 342,792 تومان
پس از پرداخت، فوراً می توانید مقاله را دانلود فرمایید.