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

افزایش قدرت تفکیک مکانی به منظور افزایش میزان اطلاعات در مدل رقومی ارتفاع (DEM) از جمله مهمترین موضوعات در ژئومورفولوژی کمی محسوب می‌شود. تاکنون مدل‌های مختلفی به منظور افزایش قدرت تفکیک مکانی ارائه شده است که از بین مدل‌ها، مدل جاذبه به عنوان جدیدترین مدل، دارای دقت بسیار بالایی می‌باشد. این مدل برای اولین بار به منظور افزایش قدرت تفکیک مکانی بر روی تصاویر ماهواره‌ای استفاده شده است. د...

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

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

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

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

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

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

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

سرریز کرامپ در طبقه ­بندی سرریزها در میان سرریزهای لبه کوتاه جای می گیرد. طراحی این سرریز به گونه ای است که شیب بالادست آن بیشتر از شیب پایین دست آن بوده و موجب می شود که رسوبات به راحتی تخلیه گردند. در این تحقیق عملکرد روش­های -kنزدیک ترین همسایگی و رگرسیون بردار پشتیبان در مدل­سازی ضریب دبی سرریز کرامپ با استفاده از داده های آزمایشگاهی موردبررسی قرار گرفت. داده ها در 174 دسته و 9 ترکیب مختلف ...