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

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

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

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

چکیده ندارد.

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

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