این مطالعه، اثر کسری بودجه دولت بر کسری تجاری ایران را طی سال های (1386-1345) بررسی می کند و با استفاده از آزمون علیت گرنجر، رابطه علیت بین کسری بودجه دولت و کسری تجاری ایران را طی دوره مورد مطالعه، مورد آزمون قرار می دهد. سپس، با استفاده از فرآیند خود توضیح برداری با وقفه های گسترده (ardl )وجود رابطه بلندمدت بین کسری بودجه دولت و کسری تجاری مورد آزمون قرار می گیرد و در نهایت رابطه کوتاه مدت و ...

فرض می کنیم گروه متناهی و ? مجموعه ای از اعداداول باشد. اعداد ( u_? (g و s_?(g) را بصورت (??irr(g) ?,?(1)?_?=1)? ?(1)?^2 = u_? (g)_? |(n_?=1)??_g (n)n? = |s_?(g _ ? تعریف می کنیم که در آن ? تعداد کلاس های تزویج از طول n است. ثابت می کنیم که: 1.گروه g حاصلضرب مستقیم یک p-گروه و یک p-گروه است اگرو فقط اگر u p? (g) = |g |p? |g : g |p 2.گروه g حاصلضرب مستقیم یک p-گروه و یک p- گروه است اگرو فقط اگر ...

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

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

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

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

با افزایش استفاده از تولیدات پراکنده (dg) در سیستم های توزیع به منظور بهبود کارایی این سیستم ها نیاز به ایجاد شبکه های کوچک تر (ریزشبکه ها) که می توانند به صورت مستقل از هم نیز بهره برداری شوند لازم به نظر می رسد. این کار می تواند منافع زیادی برای صاحبان سیستم توزیع، مصرف کنندگان برق و صاحبان dg داشته باشد. از این مزایا می توان به استراتژی کنترل آسان تر، کنترل میان ریزشبکه ها، تأمین بار با استف...

هدف مقاله حاضر تبیین ارتباط بلندمدت و کوتاه مدت کسری بخش تجارت خارجی با کسری بودجه دولت و نرخ واقعی ارز با بهره گیری از الگوی تصحیح خطای برداری ساختاری (svecm) طی سالهای 1338-1380 است. نتایج بلندمدت حاکی از این است که برای این دوره زمانی، اجرای سیاست کاهش ارزش پول داخلی برای کسری حساب جاری موثر نبوده است. از سوی دیگر، کسری بودجه طی دوره زمانی مذکور ارتباط تنگاتنگی با کسری حساب جاری داشته و افزا...

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