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

در این پایان نامه به تعمیم مسأله عمومی تخصیص generalized assignment problem(gap می پردازیم. یک مسأله np-hard است و عبارت از مسأله تخصیص مجموعه ای از کاذها به مجموعه ای از ماشین ها با صرف حد اقل هزینه است، بگونه ای که هر کار باید تنها به یک ماشین تخصیص داده شود، ولی به هر ماشین که دارای ظرفیت محدودی است، بیش از یک کار می تواند تخصیص داده شود. به لحاظ کاربردی بودن مسأله، مجموعه کارها تنها بیانگر ...

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

در این مقاله مساله زمانبندی تولید کارگاهی انعطاف پذیر مورد بررسی قرار گرفته است، که بسط یافته مساله زمانبندی تولید کارگاهی می‌باشد. اهداف مساله کمینه کردن حداکثر زمان تکمیل آخرین سفارش(Cmax ) و ماکزیمم بارکاری ماشین (Wm) یعنی ماکزیمم بار کاری در هر ماشین و بارکاری کل (WT) بار کاری کل برای تمام ماشینها است. این مساله جز مسائل NP-hard می‌باشد، بنابراین بدست آوردن جواب بهینه در زمان معقول امکان پذ...

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

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

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

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

در این مقاله مساله زمانبندی تولید کارگاهی انعطاف پذیر مورد بررسی قرار گرفته است، که بسط یافته مساله زمانبندی تولید کارگاهی می باشد. اهداف مساله کمینه کردن حداکثر زمان تکمیل آخرین سفارش(cmax ) و ماکزیمم بارکاری ماشین (wm) یعنی ماکزیمم بار کاری در هر ماشین و بارکاری کل (wt) بار کاری کل برای تمام ماشینها است. این مساله جز مسائل np-hard می باشد، بنابراین بدست آوردن جواب بهینه در زمان معقول امکان پذ...