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

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

بورسوک طی کنفرانسی که در سال 1979 برگزار شد، مقاله ای را تحت عنوان «چند مسئله در نظریه شکل درباره فضاهای متریک فشرده» ارائه داد و در آن سوالاتی مطرح کرد که در این پایان نامه، به چند نمونه از آنها می پردازیم. یکی از این سوالات این است که آیا یک چندوجهی با ظرفیت نامتناهی و عمق متناهی وجود دارد؟ کلدزیزیک در مقاله های قبلی خود، ثابت می کند که چندوجهی ای با گروه بنیادین چنددوری با ظرفیت نامتناهی وجو...

یک k-رنگ آمیزی قوی یالی گراف g=(v,e) تابع است به طوری که به هر دو یالی که منتهی به یک رأس یا مجاور با یک یال هستند، مقدارها (رنگ های) متفاوتی اختصاص داده شود. اندیس رنگی قوی گراف g که آن را با ?s(g) نشان می دهیم، کوچکترین عدد k است که یک k-رنگ آمیزی قوی یالی برای g موجود باشد. در این پایان نامه ?s(g) را برای هالین گراف مکعبی کامل و گراف های دوبخشی sm (k,l) و sm(k,l,?) مورد مطالعه قرار می دهیم. ...

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

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

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

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

امروزه qcd اختلالی به عنوان شاخه ای ار دانش ذرات بنیادی اهمیت ویژه ای یافته و موضوع برجسته ای برای بسیاری از مقالات و کارهای علمی شده است. همچنین تقریب های nlo و nnlo، تصحیحات اختلالی مهم در بسیاری از تحقیقات می باشند. در این پایان نامه ثابت جفت شدگی قوی را با استفاده از پیش بینی های کرومودینامیک کوانتومی برای متغیر های, ? , b_w , b_t 1-t تا مرتبه اول و دوم و سوم برای داده های مونت کارلو monte ...