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

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

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

سابقه و هدف: دریاچه ارومیه به عنوان یک اکوسیستم آبی مهم در شمال غرب ایران واقع شده است. در 14 سال اخیر میانگین تراز سطح آب دریاچه ارومیه به 2/1272 متر تقلیل پیدا کرده و این به این معنی است که اختلاف تراز سطح اکولوژیک دریاچه و تراز سطح کنونی 2 متر است. خشک شدن دریاچه ارومیه باعث بروز مسائل و بحران‌های جدی برای حوضه، استان‌های مجاور و کشور خواهد شد. در این تحقیق از پارامترهای موثر مستقیم و غیر مس...

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

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

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