دانلود مقاله الگوریتم SAT برای یافتن جاذب هایی در شبکه های بولی سنکرون
دانلود مقاله الگوریتم SAT برای یافتن جاذب هایی در شبکه های بولی سنکرون
مقاله رشته های : فناوری اطلاعات و مهندسی کامپیوتر !!!!!
عنوان انگلیسی : A SAT-Based Algorithm for Finding Attractors in Synchronous Boolean Networksعنوان فارسی : یک الگوریتم مبتنی بر SAT، برای یافتن جاذب هایی در شبکه های بولی سنکرون(همزمان)
فرمت فایل ترجمه شده: WORD (قابل ویرایش)
تعداد صفحات فایل ترجمه شده: 16
ترجمه ی سلیس و روان مقاله آماده ی خرید می باشد.
_______________________________________
چکیده ترجمه:
در این مقاله، مسئله ی یافتن جاذب ها در شبکه های بولی سنکرون مورد بررسی قرار می گیرد. الگوریتم های تصمیم بولی مبتنی بر دیاگرام که امروزه وجود دارد، به دلیل اینکه دیاگرام های تصمیم نیازمندی زیادی به حافظه دارند، از ظرفیت محدودی برخوردار هستند. الگوریتم های مبتنی بر شبیه سازی را می توان بر روی شبکه های بزرگتر بکار برد، ولی چنین الگوریتم هایی کامل نیستند. در این مقاله، ما الگوریتمی را ارائه می دهیم که از مدل کرانه دار مبتنی بر SAT استفاده کرده تا تمامی جاذب ها در شبکه های بولی را پیدا کند. بهره وری این الگوریتم نیز به وسیله ی تحلیل هفت مدل شبکه از پروسه های بیولوژیکی واقعی ، و همچنین 150 هزار شبکه ی بولی که به تصادفی در اندازه هایی بین 100 و 7000 ایجاد شده اند، ارزیابی خواهد شد. نتایج بدست آمده نشان داده است که روش اتخاذی ما، این قابلیت را داشته تا مرتبه ی مقیاس مدل های بزرگتر را نسبت به مدل های فعلی مدیریت کند.
عبارات شاخص: وارسی مدل کرانه دار ، SAT، شبکه ی بولی ، جاذب، شبکه های تنظیمی ژن
1.مقدمه
یک شبکه ی تنظیمی ژن(GNR) را می توان مجموعه ای از بخش های DNA در یک سلول دانست، که ژن نام دارد دانست، که با همدیگر تعامل دارند[1]. هر ژن، شامل اطلاعاتی بوده که مشخص می کند که ژن چه کاری انجام می دهد و این ژن چه زمانی فعال یا منقضی است. زمانی که ژن فعال است، یک پروسه ای که رونویسی نام دارد رخ داده و یک اسید ریبونوکلئیک(RNA) که یک کپی از اطلاعات ژن بوده ایجاد می کند. این قسمت از RNA ، می تواند ترکیب پروتئین ها را هدایت کند. RNA یا مولکول های پروتئینی حاصله از پروسه ی رونویسی، به عنوان فراورده های ژن شناخته می شود.
بسیاری از مدل های ریاضی GRN که تا کنون پیشنهاد شده اند، شامل معادلات دیفرانسیل جزئی و معمولی، شبکه های بولی و قابلیت تعمیم آنها، شبکه های پتری ، شبکه های بیزی، معادلات استوکاستیک هستند[2]. عموماٌ یک تنشی بین عمومیت یک مدل و قابلیت پی گیری وجود دارد. یک چارچوب ریاضی خوب ، بسته به مقیاس، ماهیت اطلاعات موجود و مسئله ی مطالعه شده انتخاب می شود.
برچسب ها : الگوریتم SAT,شبکه ی تنظیمی ژن,مدل های ریاضی GRN,شبکه های بولی,معادلات دیفرانسیل جزئی,شبکه های پتری,شبکه های بیزی,معادلات استوکاستیک,شبکه های بولی سنکرون,یافتن جاذب هایی در شبکه های بولی سنکرون,مقاله فناوری اطلاعات,مقاله رشته فناوری اطلاعات,مقاله مهندسی فناوری اطلاعات,مقاله رشته مهندسی فناوری اطلاعات,تحقیق کامپیوتر,تحقیق نرم افزار,مقاله کامپیوتر,مقالات کامپیوتر,دانلود مقاله کامپیوتر,دانلود مقالات کامپیوتر,پروژه کامپیوتر,پروژه نرم افزار,دانلود پروژه کامپیوتر,دانلود پروژه نرم افزار,پروژه نرم افزار کامپیوتر,پروژه کامپیوتر نرم افزار,پروژه سخت افزار,پروژه فن آوری اطلاعات,پروژه فناوری اطلاعات,دانلود پروژه فن آوری اطلاعات,دانلود پروژه فناوری اطلاعات,دانلود گزارش کارآموزی,دانلود گزارش کارآموزی کامپیوتر,دانلود گزارش کارآموزی کامپیوتر برنامه نویسی,گزارش کارآموزی,گزارش کارآموزی رشته کامپیوتر نرم افزار,پروژه دانشجویی,دانلود تحقیق رایگان,دانلود تحقیق رایگان دانشجویی,دانلود تحقیق,دانلود تحقیق,دانلود مقاله,دانلود مقالات,دانلود مقاله علمی,دانلود مقالات علمی,مقاله,مقالات,مقاله علمی,مقالات علمی,دانلود مقالات رایگان,مقالات رایگان,دانلود پروژه,پروژه کارآفرینی,تحقیق کارآفرینی,تحقیق در مورد کارآفرینی,پروژه کارآفرینی رایگان,دانلود پروژه کارآموزی,پروژه کارآفرینی کامپیوتر,پروژه کارآموزی کامپیوتر
| | | لینک ثابت | نسخه قابل چاپ | | امتیاز : |
نوشته شده در تاریخ 1394/1/16 و در ساعت : 14:11 - نویسنده : dlfreejozve