چکیده: علت غایی از تحصیل رای داوری اجرای آن می باشد. ویژگی هایی که برای داوری در مرحله اجرا منظور است اجرای داوطلبانه و قطعی و لازم الاجرا بودن رای داوری می باشد که در هر سه قانون مورد بحث از جمله قانون داوری تجاری بین المللی مصوب1376 و قانون آیین دادرسی مدنی مصوب 1379 و کنوانسیون نیویورک مصوب 1958 بعنوان مهم ترین ویژگی های اجرایی رای داوری بشمار می رود. ویژگی دیگری که می توان به آن اشاره کرد...

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

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

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

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

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

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

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

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