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

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

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

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

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

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

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

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

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

در این پایان نامه با استفاده از مدل تعادل عمومی محاسبه پذیر (cge) و ماتریس حسابداری اجتماعی (sam) سال 1380 ، اثر نقدی شدن یارانه حامل های انرژی روی تورم در ایران از طریق اعمال سناریو های مختلف در بسته نرم افزاری gams الگو سازی گردیده است . نتایج این تحقیق نمایان می سازد که با پرداخت نقدی یارانه حامل های انرژی به همراه کنترل قیمتی روی قیمت آن در کل اقتصاد شاهد تورم خواهیم بود . در این راستا شوک ...