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

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

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

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

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

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