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

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

فرآیند ریفرمینگ خشک متان به دلیل فراوانی گاز طبیعی (ch 4)، کم شدن گازهای گلخانه ای (ch 4 و co2) و تولید گاز سنتز با نسبت نزدیک به واحد (صرف نظر از تولید کک بر روی کاتالیست) به عنوان فرآیند مناسب برای تولید گاز سنتز پیشنهاد می شود. در این مطالعه نانو کاتالیست های پروسکیتی با ساختار laxce1-xniyfe1-yo3 توسط روش سل-ژل احتراقی سنتز گردید و کاربرد آن ها در فرآیند ریفرمینگ خشک متان ارزیابی شد. کاتالیست ها به روش رویکرد رویه پاسخ (rsm) و با در نظر گرفتن سه فاکتور مشخصه کاتالیستی عبارتند از جزء مولی لانتانیم، جزء مولی نیکل و دمای کلسیناسیون طراحی شدند. بعد از تولید پایگاه داده، شبکه مناسبی توسط سیستم هوشمند شبکه عصبی مصنوعی طراحی شد. برای یافتن کاتالیست بهینه با انجام حداقل آزمایشات از الگوریتم ژنتیک، استفاده شد.