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

هدف این پایان نامه بررسی مقا یسه ای تاثیر تدریس گرامر از طریق تمرینهای  تفسیری و نشانه های تصویری  بر درستی نوشتار زبان آموزان بوده است.زبان آموزان این تحقیق شامل 60 خانم با رنج سنی 21-35 بوده است که در موسسه علوم و فنون کیش در حال تحصیل زبان انگلیسی بودند. این زبان آموزان بعداز گذراندن امتحان آزمایش شده pet در دو گروه آزمایشی سی نفره قرار گرفتند.   pre-test شامل یک امتحان نوشتاری طراحی شده توس...

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

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

کنه­های تارتن (tetranychus spp.) از آفات کلیدی محصولات زراعی­محسوب می شوند و کنه­ی شکارگرphytoseiulus persimilis athias-henriot (acari: phytoseiidae) مهم­ترین دشمن طبیعی این گروه از کنه ها می­باشد. قابلیت سازگاری بالای کنه­های تارتن به شرایط محیطی مختلف باعث فعالیت و خسارت آن­ها روی میزبان­های مختلف و در شرایط متفاوت اقلیمی­شده است. امروزه به­دلیل مقاومت این گروه از کنه ها به طیف وسیعی از سموم ...

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

در این تحقیق، برای درک بهتر اثر افزایش غلظت اکسیژن در موتورهای احتراق داخلی، از شبیه سازی عددی موتور xu7 در نرم افزار gt-power استفاده شده است. نتایج حاصل از شبیه سازی افزایش حدود 8 درصدی گشتاور و توان، و کاهش حدود 7 درصدی میزان مصرف سوخت ترمزی را در 23 درصد حجمی اکسیژن افزوده شده نشان می دهد. تنها اثر نامطلوب این تغییر افزایش اکسیدهای ازت می باشد. به-منظور کاهش اکسیدهای نیتروژن خروجی، یک متغیر...