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

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

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

در این مقاله عملکرد مدلهای توربولانسی مختلف در تخمین رفتار نوسانی جتهای سیالی با تحریک طبیعی مورد ارزیابی قرار گرفته است. بدین منظور معادلات متوسط¬گیری شده برای جریان تراکم ناپذیر آشفته در حالت غیردایم به همراه پنج مدل توربولانسی رایج در یک فضای محاسباتی سه بعدی حل شده¬اند. برای محاسبات از نرم افزار fluent 6.3.26 استفاده شده است. در این تحقیق نتایج محاسباتی با داده¬های تجربی موجود مقایسه شد. بر...

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

نام خانوادگی : داودی زاده نام: فاطمه شماره دانشجویی : 8811003 عنوان پایان نامه : سیاست های پولی و اثرات آن بر بازار سهام ایران استاد راهنما: دکتر سید عزیز آرمن استاد مشاور: دکتر حسن فرازمند درجه تحصیلی: کارشناسی ارشد رشته: اقتصاد گرایش: علوم اقتصادی دانشگاه : شهید چمران اهواز دانشکده: اقتصاد و علوم اجتماعی گروه : اقتصاد تاریخ فارغ التحصیلی : اسفند 1390 تعداد صفحه:170 کلید واژه ها...

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

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