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

گرایش موسوم به «کلاسیک» یا اصطلاحاً «رومی» امروزه در معماری تهران مرسوم شده است. ظاهراً به نظر می­رسد که این نوع معماری، با استفاده­ از عناصر مشابه به معماری نئوکلاسیک غربی در نما، در آن طبقه­بندی قرار می­گیرد.­ بررسی­های دقیق و مطالعات نشان می­دهد که چنین امری اتفاق نیفتاده است و آنچه به چشم دیده می شود برداشت اصیلی نیست. معماری نئوکلاسیک پیش­تر هم در ایران الهام بخش ساختمان های متعددی بوده است....

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

مقاله بر آن است که در مفهوم سنت و مرام سنت گرایان تعمق و تأملی نماید. آیا سنتِ سنت گرایان همان سنتِ گم شدۀ ما و عالم معماری ما است؟ آیا این سنت، تداوم فرهنگ سنتی ما است؟ آیا این سنت می تواند پردازنده و بازآفرینندۀ معماری سنتی ایران باشد؟ سنت گرایان از کی و کجا پدید آمدند؟ مرام آنان چیست و نگاه ایشان به معماری چگونه است؟در پاسخ، این مقاله سنت گرایی را پدیده ای مدرن و سنتِ سنت گرایان را سنتی نخستین،...

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

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

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

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

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

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