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

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

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

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

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

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

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

از زمانی که «چَنگ» قضیه ی فازی را در توپولوژی تعریف کرد، مولفان زیادی در مورد صورت های مختلف توپولوژی فازی بحث کرده اند. در توپولوژی ای که «چَنگ» ارائه کرد، مجموعه های باز فازی بودند، اما توپولوژی ای که شامل این مجموعه های باز بود یک زیر مجموعه ی قاطع از i-مجموعه توان بود. از طرفی دیگر فازی سازی روی بازها اولین بار توسط «هوهل» در سال 1980 انجام شد و بعدها به l-زیر مجموعه هایی از توسط «کوبیاک» و «...

مساله ی زمان بندی دروس یکی از مهمترین، کاربردی ترین و زمان برترین مسایلی است که در تمام موسسات آموزشی(بصورت سالیانه یا دو بار در یک سال تحصیلی) رخ می دهد. در ابتدا جدول زمان بندی را بصورت دستی تهیه می کردند، که در خیلی از موسسات آموزشی هنوز این امر رایج می باشد. این روش به زمان زیادی نیاز دارد‎;‎ علاوه براین ممکن است جواب حاصل تنها یک جواب شدنی باشد،نه یک جواب بهینه. در این پایان نامه، یک مدل ب...