کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
10343463 | 696725 | 2015 | 6 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Computing equivalences on model abstractions representing multiscale processes
ترجمه فارسی عنوان
معادل سازی محاسبات بر روی انتزاع مدل، نشان دهنده فرایندهای چند بعدی است
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
مدل سازی رسمی، زیست شناسی سیستم، چک کردن مدل، الگوریتم ها، مدل سازی احتمالی،
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
شبکه های کامپیوتری و ارتباطات
چکیده انگلیسی
Querying by temporal logic as a reasoning mechanism on a system representing multiscale processes is important in understanding the details of a large and complex system, in particular in the models of biochemical pathways. A novel formalism representing a system of multiscale biochemical pathways is described. The definitions of multiscale model in discrete domains are represented in the form of a labeled transition system. A polynomial time algorithm is constructed for identification of systems representing multiscale pathway. A probabilistic variant of the multiscale formalism is stated.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Nano Communication Networks - Volume 6, Issue 3, September 2015, Pages 118-123
Journal: Nano Communication Networks - Volume 6, Issue 3, September 2015, Pages 118-123
نویسندگان
Krishnendu Ghosh,