ترجمه مقاله الگوریتم SAT برای یافتن جاذب هایی در شبکه های بولی سنکرون

ترجمه مقاله الگوریتم sat برای یافتن جاذب شبکه بولی سنکرون ترجمه مقاله فناوری اطلاعات ترجمه مقاله کامپیوتر جاذب دانلود ترجمه مقاله دانلود ترجمه مقاله sat based algorithm for finding attractors synchronous boolean networks دانلود مقالات ieee رشته فناوری اطلاعات کامپیوتر دانلود مقالات isi کامپیوتر دانلود مقاله isi الگوریتم sat جاذب شبکه بولی سنکرون دانلود مقاله isi الگوریتم مبتنی sat دانلود مقاله sat based algorithm for finding attractors synchronous boolean networks دانلود مقاله آماده فناوری اطلاعات دانلود مقاله آماده کامپیوتر دانلود مقاله انگلیسی ترجمه فارسی کامپیوتر دانلود مقاله ترجمه شده فناوری اطلاعات دانلود مقاله ترجمه شده کامپیوتر دانلود مقاله یافتن جاذب شبکه بولی همزمان شبکه بولی شبکه بولی سنکرون شبکه بیزی شبکه پتری شبکه تنظیمی ژن شبکه تنظیمی ژن gnr فناوری اطلاعات فناوری اطلاعات کامپیوتر کامپیوتر معادلات استوکاستیک مقاله ترجمه شده وارسی مدل کرانه دار word sat الگوریتم مبتنی sat ترجمه کامپیوتر 2013 ترجمه کامپیوتر 2014 ترجمه کامپیوتر 2015 ترجمه مقالات فناوری اطلاعات

عنوان اصلی: A SAT-Based Algorithm for Finding Attractors in Synchronous Boolean Networks

ترجمه عنوان: یک الگوریتم مبتنی بر SAT، برای یافتن جاذب هایی در شبکه های بولی سنکرون(همزمان)

موضوع: فناوری اطلاعات - کامپیوتر

فرمت فایل: WORD (قابل ویرایش)

تعداد صفحه: ١۶

چکیده

در این مقاله، مسئله یافتن جاذب ها در شبکه های بولی سنکرون مورد بررسی قرار می گیرد. الگوریتم های تصمیم بولی مبتنی بر دیاگرام که امروزه وجود دارد، به دلیل اینکه دیاگرام های تصمیم نیازمندی زیادی به حافظه دارند، از ظرفیت محدودی برخوردار هستند. الگوریتم های مبتنی بر شبیه سازی را می توان بر روی شبکه های بزرگتر بکار برد، ولی چنین الگوریتم هایی کامل نیستند. در این مقاله، ما الگوریتمی را ارائه می دهیم که از مدل کرانه دار مبتنی بر SAT استفاده کرده تا تمامی جاذب ها در شبکه های بولی را پیدا کند. بهره وری این الگوریتم نیز به وسیله تحلیل هفت مدل شبکه از پروسه های بیولوژیکی واقعی ، و همچنین ١۵٠ هزار شبکه بولی که به تصادفی در اندازه هایی بین ١٠٠ و ٧٠٠٠ ایجاد شده اند، ارزیابی خواهد شد. نتایج بدست آمده نشان داده است که روش اتخاذی ما، این قابلیت را داشته تا مرتبه مقیاس مدل های بزرگتر را نسبت به مدل های فعلی مدیریت کند.

عبارات شاخص: وارسی مدل کرانه دار ، SAT، شبکه بولی ، جاذب، شبکه های تنظیمی ژن

١.مقدمه

یک شبکه تنظیمی ژن(GNR) را می توان مجموعه ای از بخش های DNA در یک سلول دانست، که ژن نام دارد دانست، که با همدیگر تعامل دارند[١]. هر ژن، شامل اطلاعاتی بوده که مشخص می کند که ژن چه کاری انجام می دهد و این ژن چه زمانی فعال یا منقضی است. زمانی که ژن فعال است، یک پروسه ای که رونویسی نام دارد رخ داده و یک اسید ریبونوکلئیک(RNA) که یک کپی از اطلاعات ژن بوده ایجاد می کند. این قسمت از RNA ، می تواند ترکیب پروتئین ها را هدایت کند. RNA یا مولکول های پروتئینی حاصله از پروسه رونویسی، به عنوان فراورده های ژن شناخته می شود.

بسیاری از مدل های ریاضی GRN که تا کنون پیشنهاد شده اند، شامل معادلات دیفرانسیل جزئی و معمولی، شبکه های بولی و قابلیت تعمیم آنها، شبکه های پتری ، شبکه های بیزی، معادلات استوکاستیک هستند[٢]. عموماٌ یک تنشی بین عمومیت یک مدل و قابلیت پی گیری وجود دارد. یک چارچوب ریاضی خوب ، بسته به مقیاس، ماهیت اطلاعات موجود و مسئله مطالعه شده انتخاب می شود.

دانلود «ترجمه مقاله الگوریتم SAT برای ...»

امتیاز

4 ستاره از 1643 بار ریویو

علی دوشنبه 28 تیر 1395 ساعت 21:12

سایت جستجو!

سایت جستجو!