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

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

زمینه و هدف: هدف از این پژوهش ساخت پلاسمید با مبداء همانندسازی ژنوم میتوکندری انسان به منظور دستیابی به ناقلی ایمن است که قادر باشد به صورت اپی زومال و به وسیله عناصر ترانس سلول انسان شناسایی و همانندسازی شود. مزیت این ناقل نسبت به ناقلین آدنو ویروسی ماندگاری و نسبت به ناقلین رترو ولنتی ویروس عدم ورود در ژنوم سلول میزبان می باشد. روش تحقیق: سه قطعه شامل مبداء های همانندسازی رشته ی سبک و سنگین...

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

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

در این مقاله یک مدل برنامه ریزی عدد صحیح غیر خطی جدید را برای مسئله تشکیل سلول پویا در سیستم تولید سلولی ارائه می شود. تفاوت بین این مدل و دیگر مدل هایی که پیشتر توسعه یافته اند، در پیاده سازی ایده «جریان مواد بیشتر در فاصله کوتاه تر» در شکل گیری سلول ها است. مدل ارائه شده np-hard است، یک رهیافت نوین به نام « جستجوی محلی تعبیه شده در شاخه و برش » برای حل آن توسعه داده شده است. نتایج محاسباتی به...

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

زمینه و هدف: با دیابت نوع یک در نتیجه ی تخریب خود ایمنی سلول های بتای جزایر پانکراس ایجاد می شود. مطالعات اخیر نشان می دهد بسیاری از انواع سلول های بنیادی می توانند به عنوان منابع احتمالی برای به دست آوردن سلول های قابل پیوند تولید کننده انسولین (ipcs) در نظر گرفته شوند. در این مطالعه تمایز سلول های بنیادی مزانشیمی مغز استخوان به سلول های مولد انسولین با استفاده از عصاره پانکراس موش مورد بررسی ...

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

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