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

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

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

چکیده ندارد.

گیاهان مکانیسم های متفاوتی برای درک محرک های محیطی و پاسخ به آن را دارا می باشند. جاذبه یکی از مهمترین محرک های محیطی است که جهت رشد گیاه را کنترل می نماید و گیاهان قادرند به طور دائم با آن سازگاری یابند. جاذبه گرایی را می توان به چهار مرحله تقسیم نمود: 1) درک بردار جاذبه توسط سلول های اختصاصی؛ 2) تبدیل محرک مکانیکی به یک سیگنال بیوشیمیایی 3) انتقال سیگنال بیوشیمیایی از سلول های اختصاصی درک جاذ...

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

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