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

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

مقالۀ حاضر با هدف بررسی تأثیر قوانین و مقررات شهری بر تحقق مدیریت یکپارچۀ شهری در مجموعۀ شهری تهران انجام گرفته است. به این منظور، ابتدا مفاهیم مدیریت شهری و مدیریت یکپارچۀ شهری بررسی شده و جایگاه قوانین و مقررات در مدیریت شهری بر مبنای ادبیات پیشین مشخص می گردد. برای پاسخ دادن به سؤال های اصلی تحقیق، از رو یکرد آمیخته استفاده شده است. در رویکرد آمیخته، با بهره گیری از روش های موردپژوهی ) کیفی(...

بخشی از پژوهش‌های مرتبط با زبان فارسی و فرهنگ نویسی بر پایۀ لغتنام­ه‌های کهن دوزبانه و به‌­ویژه لغتنامه­‌های عربی به فارسی استوار است. بنابراین، شناسایی این لغتنامه­‌ها از بایسته­‌های پژوهشی در این زمینه است. در نوشتۀ کنونی به بررسی یکی از این فرهنگ‌ها ــ مندرج مجموعۀ 6788 کتابخانۀ مجلس ــ پرداخته شده است. چون نسخۀ شناخته شده این فرهنگ از آغاز و پایان افتادگی دارد، اکنون از نام اثر و نویسندۀ آن...

-

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

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

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

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