کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
434126 689687 2015 39 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
The fixed-point theory of strictly causal functions
ترجمه فارسی عنوان
نظریه ثابت نقطه ای از توابع بسیار علمی
کلمات کلیدی
سیستم های زمان بندی شده توابع به شدت علت، نیمهمتشک های نیمه ممتد متمرکز توابع دقیق قراردادن، ساختار ثابت قضیه ثابت، اصل القایی نقطه ثابت
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
چکیده انگلیسی

We ask whether strictly causal components form well defined systems when arranged in feedback configurations. The standard interpretation for such configurations induces a fixed-point constraint on the function modeling the component involved. We define strictly causal functions formally, and show that the corresponding fixed-point problem does not always have a well defined solution. We examine the relationship between these functions and the functions that are strictly contracting with respect to a generalized distance function on signals, and argue that these strictly contracting functions are actually the functions that one ought to be interested in. We prove a constructive fixed-point theorem for these functions, introduce a corresponding induction principle, and study the related convergence process.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Theoretical Computer Science - Volume 574, 6 April 2015, Pages 39–77
نویسندگان
, ,