در این پایان نامه الگوریتم تقریب تصادفی را برای مساله برش بیشینه و مساله max-2sat ارائه می دهیم که جواب هایی با امید ریاضی حداقل 87856/0برابر مقدار بهینه به وحود می آورد. این الگوریتم از یک تکنیک ظریف وساده استفاده می کند که به طور تصادفی جواب را به رهاسازی بهینه سازی غیر خطی گرد می کند. بهترین الگوریتم تقریبی شناخته شده برای این مسائل تضمین عملی 5/0برای مساله برش بیشینه و75/0برای مساله max-2...

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

دراین مطالعه بهره وری، کارایی و تغییر تکنولوژی متداول و زیست محیطی در بخش کشاورزی کشور با استفاده از شاخص مالم کوئیست لونبرگر و داده های تابلویی 28 استان و طی دوره زمانی 87-1379 محاسبه گردید. نتایج نشان می دهد میانگین سالانه شاخص موازنه نیتروژن به عنوان تقریبی از آلودگی نیتروژن، 32.7 کیلوگرم در هکتار و میانگین کارایی مصرف نیتروژن در کشور 62 درصد بوده است. به طور میانگین شاخصهای بهره وری، کارایی...

چکیده: تعیین شباهت دنباله ها یکی از مراحل مهم در مطالعات فیلوژنتیک ( شجره های وراثتی) محاسباتی است. همانطور که می دانیم، در طول تاریخ تکامل، نه تنها جهش dna، بلکه بازآرایی نوکلئوتیدها در دنباله dna برای هر فرد رخ می دهد. همین امر، زیست شناسان را درگیر محاسباتی برای توصیف ریاضی و تجزیه و تحلیل تشابه دنباله ها می کند. در این پایان نامه دو روش گرافی برای تجزیه و تحلیل دنباله های dna معرفی می کنیم...

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

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

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

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

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

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