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

ایران سرزمینی کوهستانی است به گونه ای که بیش از نیمی از آن را ارتفاعات بلند تشکیل داده است. از سوی دیگر ایران سرزمینی خشک است و بیابان ها در پست ترین ارتفاعات آن واقع شده اند. عمدۀ سکونتگاه های کلان شهری در ارتفاعات میانی (میان بندها) بین دو وادی کوه و کویر قرار گرفته اند. اکوتون های کوهپایه ای محدوده ای در حد فاصل کوه های بالادست و دشت های میان بند قرار دارند که در اثر تحولات اخیر دچار تغییرات...

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

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

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

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

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

در این پایان نامه با تعمیمی از مترهای راندرزی سروکار داریم و شرایط لندزبرگ غیر بروالدی بودن آن را بررسی می کنیم.در این پایان نامه تغییر راندرز تعمیم یافته ی‎*l(x,y)=l(x,y)+b_i(x,y)y^i ‎ بررسی می شودکه از متریک بروالد ‎ l ‎ و ‎‎- ‎h‎ بردار ‎ b_i ‎ تشکیل شده است.ودر تحقیق متریک لندزبرگ غیر بروالدی , شرایطی روی ‎b_i (x,y) ‎ بدست آورده می شود تامتریک ‎*l‎ لندزبرگ باشد