کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
10333875 | 689653 | 2016 | 18 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Analyzing ultimate positivity for solvable systems
ترجمه فارسی عنوان
تجزیه و تحلیل مثبت نهایی برای سیستم های قابل حل
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
مشکل مثبت سیستم دینامیک، روش تصمیم گیری، هندسی جبری محاسباتی، نظریه شماره،
ترجمه چکیده
مشکل مثبت یک مشکل تصمیم گیری پایه ای است. این سوال می پرسد آیا یک سیستم دینامیکی می تواند بیان نظم (بیش از ایالات) مثبت را حفظ کند. این یک مشتق است - مشکل مثبت نهایی که اجازه می دهد که بیان رعایت در یک بازه زمانی محدود غیر مثبت باشد. برای دو مشکل، اکثر نتایج موجود بر روی سیستم های پویا زمان گسسته، بویژه در دنباله های عددی خطی ایجاد می شود. با این حال، در این مقاله، مسئله مثبت نهایی برای یک کلاس از سیستم های دینامیکی مداوم که به نام سیستم های قابل حل هستند، بررسی می کنیم. آنها سیستم های خطی هستند برای سیستم به طور کلی قابل حل، ما یک شرط کافی برای به دست آوردن مثبت نهایی ارائه می کنیم. اعتبار شرایط می تواند الگوریتمی بررسی شود. هنگامی که آن را معتبر می توانیم آستانه زمان بیشتری را پیدا کنیم، پس از آن بیان عینی همیشه مثبت خواهد بود. از سوی دیگر، ما نشان می دهیم که مشکل مثبت نهایی برای برخی از کلاس های ویژه سیستم های قابل حل مانند سیستم های خطی ابعاد تا پنج قابل حل است.
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
چکیده انگلیسی
The positivity problem is a foundational decision problem. It asks whether a dynamical system would keep the observing expression (over its states) positive. It has a derivative-the ultimate positivity problem, which allows that the observing expression is non-positive within a bounded time interval. For the two problems, most existing results are established on discrete-time dynamical systems, specifically on linear recurrence sequences. In this paper, however, we study the ultimate positivity problem for a class of continuous-time dynamical systems, called solvable systems. They subsume linear systems. For the general solvable system, we present a sufficient condition for inferring ultimate positivity. The validity of the condition can be algorithmically checked. Once it is valid, we can further find the time threshold, after which the observing expression would be always positive. On the other hand, we show that the ultimate positivity problem is decidable for some special classes of solvable systems, such as linear systems of dimension up to five.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Theoretical Computer Science - Volume 609, Part 2, 4 January 2016, Pages 395-412
Journal: Theoretical Computer Science - Volume 609, Part 2, 4 January 2016, Pages 395-412
نویسندگان
Ming Xu, Cheng-Chao Huang, Zhi-Bin Li, Zhenbing Zeng,