کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
10343460 696725 2015 7 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Behavioural observations of cell movements with timing aspects
ترجمه فارسی عنوان
مشاهدات رفتاری جنبش های سلولی با جنبه های زمان بندی
کلمات کلیدی
معادلۀ رفتاری، غشاهای تلفن همراه با عمر،
ترجمه چکیده
ما از سیستم های غشایی برای تعریف یک فرمالیسم با الهام از زیست شناسی سلولی استفاده می کنیم که در آن تحرک و زمان بندی به صراحت مشخص می شود. به منظور درک رفتارهای سیستم های بیولوژیکی پیچیده، ما چندین معادله مشاهدات را بر روی غشاهای تلفن همراه با طول عمر معرفی می کنیم. این معادلات بر اساس مشاهدات به ترکیب چندین عملیات تحرک که می تواند انجام شود، جنبه های زمانبندی اشیاء درگیر در تحرک و موقعیت های صریح آنها در داخل غشاء مربوط می شود. روابط مختلف بین این معادلات مشاهده مشاهده می شود. علاوه بر این، ما از منطق محیط استفاده می کنیم تا یک ویژگی منطقی برای هم ارزیابی مشاهدات واقع شود.
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر شبکه های کامپیوتری و ارتباطات
چکیده انگلیسی
We use membrane systems to define a formalism inspired by cell biology in which mobility and timing are explicitly specified. In order to reason about the behaviours of complex biological systems, we introduce several observational equivalences over mobile membranes with lifetimes. These equivalences based on observations correspond to several combinations of mobility operations that can be performed, timing aspects of the objects involved in mobility and their explicit positions inside membranes. Various relationships between these observational equivalences are proved. Moreover, we use the ambient logic to provide a logical characterization for located observational equivalence.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Nano Communication Networks - Volume 6, Issue 3, September 2015, Pages 96-102
نویسندگان
, ,