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

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

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

در این پایان نامه ازیک بخش رادیولوژی دوزیمتری انجام گرفته است ونتایج تجربی و نظری مقایسه شده است.مفاهیمی همچون تالی بکار رفته است و نرم افزار mcnpدر این پایان نامه برای شبیه سازی استفاده شده است .

طیف و توزیع شار نوترون از مهمترین پارامترهای فیزیکی برای بررسی رفتار قلب راکتور هسته ای است. در این پایان نامه، قلب راکتور هسته¬ای بوشهر مدل روسی vver-1000 (نسخه v-446) و راکتور آلمانی مدل pwr-1300 (biblis b) با استفاده از کد محاسباتی mcnpx 2.6 شبیه سازی شده اند. برنامه کامپیوتری به کمک تالی f4 و مش تالی اجراء گردیده و شار نوترون قلب هر کدام از راکتورهای مزبور در سه ناحیه¬ی حرارتی، فوق حرارتی و...

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

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

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

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

در این مقاله یک روش جدید یادگیری تقویتی پیوسته برای مسائل کنترل ارائه می‌شود. روش ارائه شده از ترکیب روش "تکرار سیاست کمترین مربعات " با یک سیستم فازی سوگنوی مرتبه صفر حاصل شده و "تکرار سیاست کمترین مربعات فازی" نامیده شده است. در اینجا برای هر قاعده فازی تعدادی عمل نامزد در نظر گرفته می‌شود. هدف، یافتن مناسب‌ترین عمل نامزد (تالی) برای هر قاعده می‌باشد. با استفاده از بردار شدت آتش قواعد فازی و ...