قواعد پذیرفتنی می توانند در هر اشتقا‏ق از هر سیستم اصل بندی استفاده شوند. در این پایان نامه ابتدا قواعد به شکل نرمال کاهشی تبدیل می شوند سپس براساس الگوریتم معرفی شده پذیرفتنی بودن قواعد مورد بررسی قرار می گیرد. سپس، منطق وجهی s4 با استفاده از خاصیت هم-پوشایی توسیع داده می شود. به طور خاص‏، قواعد پذیرفتنی در ‎s4‎ به یک فرمول قابل ارضا در توسیعی از منطق ‎‎‎s4 کاهش داده می شوند. منطق توسیع داده ش...

مقال? حاضر به شرح تحلیلی اثری برجسته از «ام. سی. اشر» نقاش معاصر هلندی (1898- 1972میلادی) می‎پردازد. در تحلیل این اثرِ هنر مدرن در دوران معاصر که «نسبیت»، نسبی بودن هر اصل، واقعیت یا حقیقتی، نام دارد تلاش می شود تا با اتکا به خود اثر و دقت در تمامی اجزا و زوایای آن، نیت های نقاش کشف و بیان شود. به این ترتیب جستجو در «نسبیت» همانا جستجو در پیوند میان اندیشه و عمل هنرمند است. روش به کار گرفته شده ...

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

هدف این مقاله بررسی عوامل موثر بر بازار عرضه و فروش نقاشی در ایران است. در تحقیق مذکور، عوامل به چهار دسته تقسیم شده اند که عبارتند از: 1) ویژگی های فردی و اجتماعی هنرمند 2) ویژگی های بصری و زیباشناختی تابلوهای نقاشی 3) نقش نگارخانه ها و واسطه ها و 4) قیمت گذاری و سازوکار بازار. برای دست یابی به این هدف، به مطالعه میدانی عرضه و فروش تابلوهای نقاشی در نگارخانه ها، گالری ها و نمایشگاه های تهران پ...

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

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