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

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

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

مدل میان مقیاس پیش بینی وضع هوا (wrf) دارای طرح واره های پارامتری سازی فیزیکی متنوعی است که انتخاب یک مجموعه بخصوص از این طرح واره ها می تواند تأثیر قابل ملاحظه ای بر دقت پیش بینی های مدل داشته باشد. بنابراین باید با توجه به سامانه های جوی حاکم بر منطقه ی مورد مطالعه گزینه های مناسب انتخاب شوند. در این پژوهش دقت پیش بینی های 24 ساعته در منطقه ی جنوب غرب ایران برای دوره ی اول دسامبر 2011 تا 29 ف...

در این مطالعه برونداد مدل wrf[1] برای پیش بینی بارش در مناطق مختلف کشور در بازه زمانی ابتدای فوریه تا انتهای می سال 2009 میلادی برای پیش بینی های 42، 66 و90 ساعته مورد ارزیابی قرار گرفته است. بدین منظور برونداد بارندگی تجمعی مدل wrf در دوره زمانی مذکور با مقادیر متناظر دیدبانی یعنی بارندگی تجمعی 24ساعته در336 ایستگاه هواشناسی همدیدی در سطح کشور مقایسه شده است. با در نظر گرفتن آستانه های متفاوت ...

در این تحقیق پیش­بینی بارش توسط مدلwrf برای بارش­های سنگین روزانه استان قزوین مورد ارزیابی قرار گرفت. به این منظور سی مورد از بارش­های سنگین استان قزوین در دهه هشتاد شمسی با دو پیکربندی متفاوت از طرح واره­های مدل wrf (kfmyj و gdmyj) در بازه­­های زمانی 24، 48 و72 ساعته شبیه­سازی شدند. با توجه ویژگی­های ناهمواری و نوع اقلیم، استان قزوین به پنج ناحیه بارشی شامل دشت، حاشیه دشت، کوهپایه، ارتفاعات جن...

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

معاهدۀ 2013 تجارت تسلیحات، در پرتو تحول حقوق بین الملل به خصوص گسترش مسئولیت دولت ها، حقوق بشر و حقوق بشردوستانه، نتیجۀ تلاش های بین المللی برای قاعده مند کردن تجارت تسلیحات متعارف در قالب یک معاهدۀ حقوقی الزام آور است که پس از شکست کنفرانس های دیپلماتیک 2012 و 2013 سازمان ملل متحد و نهایتاً با تصمیم مجمع عمومی تبدیل به یک معاهده شد. یکی از مهم ترین عناصر معاهدات تسلیحاتی روش های راستی آزمایی پا...

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

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