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

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

در این پایان نامه نیم گروه ها با یک عمل گر یکتای c به نام بستار راست مورد بررسی قرار گرفته اند.‎‏ نیم گروه های بستا‏ر‎‎ ‏را می توان به عنوان تعمیم هایی از نیم گروه های وارون پذیر (نه لزوما منظم) در نظر گرفت. هم چنین در این پایان نامه ساختارهای مختلفی از نظریه نیم گروه های وارون پذیر به بعضی رده های مهم نیم گروه های بستار مانند نیم گروه های بستار وارون پذیر‏ و نیم گروه های بستار پیچیده‏ گسترش یا...

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

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

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

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

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

روش طبقه بندی احادیث متأثر از نظام طبقه بندی در هر دوره ای است که مؤلفان کتب با در نظر گرفتن ‏روش های مرسوم در عصر خویش به طبقه بندی احادیث می پردازند. کلینی جزء محدثانی است که در ‏طبقه بندی احادیث کتاب شریف «کافی» از روش طبقه بندی عصر خود یعنی طبقه بندی مفهومی آموزه های ‏حدیثی بهره گرفته است. اصل انتخاب و گزینش مفاهیم کلیدی کافی نیز مبتنی بر ضرورت ها و مسائل مطرح ‏در زمان تألیف آن است. مهمترین...

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