مسئله تاخوردگی پروتئین فرآیند پیش بینی ساختار سه بعدی پایدار پروتئین با استفاده از دنباله ی اسیدآمینه های آن است؛ بطوریکه ساختار پیش بینی شده در میان تمام ساختارهای سه بعدی ممکن دارای کمترین سطح انرژی آزاد باشد. به منظور کاهش پیچیدگی محاسباتی مدل های زیادی جهت ساده سازی مسئله پیشنهاد شده است که مدل hp یکی از قدرتمندترین این مدل ها می باشد. حتی در این مدل نیز ثابت شده است که مسئله ی تاخوردگی پرو...

بشر برای حل مسائل خود، همواره به دنبال راه حلی بوده که هزینه کمتری داشته باشد. از این رو مسائل بهینه سازی توجه محققان را به خود جلب نموده اند. از مهم ترین روش های برخورد با این مسائل، الگوریتم های تکاملی هستند که بیشتر آن ها از طبیعت الهام گرفته شده اند. الگوریتم جستجوی گرانشی، یکی از الگوریتم های تکاملی می باشد که در برخورد با مسائل تک مدی کارایی خود را نشان داده است. برای موفقیت این الگویتم د...

در این پایان نامه سعی بر آن بوده است، که بهینه یابی پارامترهای توزیع منحنی های شکنندگی که به صورت ابتدایی وابسته به تک متغیر تصادفی تحریک هستند علاوه بر روش کلاسیک، با استفاده از الگوریتم بهینه یابی جستجوی هماهنگی محاسبه گردد. مزیت اضافه نمودن روش بهینه یابی جستجوی هماهنگی در بهینه یابی تابع بیشینه درست نمایی امکان استفاده از یک الگوریتم فرا ابتکاری را برای دخیل نمودن متغیرهای تصادفی دیگری فراه...

در این مقاله روشی برای کنترل کلاس خاصی از سیستم های آشوبگون با استفاده از کنترل کننده تناسبی-مشتق گیر-انتگرال گیر فازی تطبیقی با عملکرد ردیابی  h∞معرفی می شود. هدف از این کار دستیابی به عملکرد بهینه کنترل کننده با استفاده از الگوریتم جستجوی ردیابی برگشتی است. الگوریتم ردیابی برگشتی یک الگوریتم جدید الهام گرفته از طبیعت است که دارای ساختاری ساده با یک پارامتر کنترلی است. این الگوریتم، از سه اپرا...

شهر بافتی در هم پیچیده از ارتباط میان اجزاء مختلف در یک کل متحد و یکی شده است. سیستمی پیچیده با شکلی پیچیده. بنابراین برای درک این کلیت پیچیده باید از تئوری جدید آشوب در جهت درک پیچیدگی های سیستمی رفتاری شهر و از نظریه فراکتال جهت درک پیچیدگی های شکلی شهر بهره جست.نظریه فراکتال رویکردی جدید در حوزه طراحی و برنامه ریزی شهری است که برای تحلیل شکل شهر استفاده می شود.مطالعه شکل شهرها با استفاده از ...

پیشرفت سریع تکنولوژی و به دنبال آن کاهش بعد ترانزیستورهای ماسفت باعث شده است که این ترانزیستور ها رفتار متفاوتی در مدارات الکترونیکی از خود نشان دهند. در دهه ی اخیر، مدل های زیادی برای تخمین رفتار ترانزیستور های ماسفت کانال کوتاه ارائه شده است. در این مقاله یک مدل جدید برای پیش بینی رفتار و عملکرد ترانزیستورهای ماسفت کانال کوتاه پیشنهاد شده است. مدل پیشنهادی با ایجاد تغییراتی روی مدل nth-power ...

زمانبندی را می توان در همه ی جنب? های زندگی نظیر کار، تعلیم و تربیت، نقل و انتقالات و سرگرمی مشاهده کرد. در واقع، تصور ‏کردن جوامع مدرن و سازماندهی شده بدون بهره گیری از زمانبندی سخت و مشکل خواهد بود. از طرف دیگر ورود کامپیوترها به ‏زندگی انسان باعث بالا رفتن سرعت وتسهیل در انجام کارها در اکثر زمینه های زندگی شده است. از جمله ی این کارها زمانبندی ‏و برنامه ریزی در اموری می باشد که با تعداد زیاد...

چکیده: وارسی مدل، یک روش خودکار و راهکاری مناسب به­منظور درستی یابی سیستم های نرم افزاری مطمئن است. در این سیستم ها، نمی توان ریسک بروز خطا را حتی در فرآیند تست پذیرفت و لذا لازم است فرآیند درستی یابی، قبل از پیاده سازی و در سطح مدل انجام شود. سیستم های تبدیل گراف، از پرکاربردترین سیستم های مدل­سازی رسمی  و راهکاری مناسب به­منظور مدل­سازی و وارسی سیستم های پیچیده هستند. اما این سیستم ها در فرآی...

چکیده: کارایی بهتر شبکه عصبی به پارامتر‏هایی همچون تعداد گره­ های ورودی، تعداد لایه های میانی، تعداد نرون‏ ها، و وزن اختصاص ‏یافته به نرون ‏ها بستگی دارد. روش‏ های متفاوتی جهت به‏ روزرسانی پارامترها و ساختار شبکه عصبی مصنوعی ارائه گردیده است. یکی از روش‏ های متداول و مورد استفاده در شبکه های عصبی، روش پس­ انتشار خطا (ebp) است که در آن تنها وزن‏ های شبکه عصبی به ‏روزرسانی می شوند. در این مقاله، ...

مقاله حاضر در خصوص ارائه و حل یک مدل مسیریابی سرویس مدارس است. مسیریابی سرویس مدارس حالت خاصی از مدل مسیریابی است. در مدل ارائه شده، بر خلاف بسیاری از مدل های ریاضی مطرح شده در این زمینه، مکان یابی و مسیریابی ایستگاه ها، همزمان در نظر گرفته می شوند و خودروهای آن غیرهمگن هستند. از سوی دیگر به جای مکان یابی مدارس که در نقش مراکز توزیع عمل می کنند، ما سعی در مکان یابی ایستگاه-های اتوبوس داریم که د...