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

مقدمه: بروسلوز ‌یکی از مهم‏ترین بیماری‌های زئونوز است که در کشورمان یافت می‏شود. شتر از جمله حیواناتی است که به فراوانی به ایران وارد می‏شود و هیچ برنامه نظارتی برای بیماری بروسلوز آن وجود ندارد. هدف از انجام این پژوهش، تعیین میزان آلودگی فعال و غیر فعال با استفاده از روش‎های جستجوی سرولورژی و ژنومی بروسلا در شتران کشتار شده در مرکز ایران در سال‏های 1391 تا 1392 است. ‏‏‏ مواد و روش‏‏ها: از تعد...

زمینه ‌و ‌هدف: ‌تب ‌مالت ‌یک ‌بیماری ‌قابل ‌انتقال ‌بین ‌انسان ‌و ‌دام ‌بوده ‌‌و ‌به ‌عنوان ‌‌مشکل ‌اساسی ‌در ‌بسیاری ‌از ‌مناطق ‌جهان ‌از ‌جمله ‌ایران ‌که ‌دام ‌منبع ‌درآمد ‌و ‌اشتغال ‌‌می‌باشد، ‌به ‌شمار ‌می‌رود. هدف این مطالعه، ‌بررسی اپیدمیولوژیک ‌موارد ‌گزارش‌شده تب مالت ‌در کودکان و نوجوانان استان کهگیلویه وبویراحمد بود.   ‌روش بررسی: ‌در ‌این ‌مطالعه ‌که ‌از ‌نوع ‌مقطعی(توصیفی ـ تحلیلی)...

قضیه های همگرایی کوالسنت برای مدلهای جامعه طبیعی دو جنسی مورد مطالعه می باشد. در مدل رایت - فیشر دو جنسی ‏‎n‎‏ ژن نمونه گیری شده مانند ‏‎n‎‏ کوالسنت عمل می کند ، اگر ‏‎n‎‏ اندازه جامعه به اندازه کافی بزرگ باشد و اگر زمان اندازه گیری شده در واحد ‏‎4n‎‏ نسل باشد . تابع مولد یک کلاس بزرگی از مدلهای دو جنسی را مورد بحث و بررسی قرار می دهد . در مدل رایت - فیشر برای جامعه ای دو جنسی که هر فرد تعداد ث...

کمتر از یک قرن است ( از سال 1926) که نظامهایی منطقی برای بررسی مفاهیم هنجاری و استنتاجات مربوط به آنها ، بوجود آمده است. اولین نظامی که مورد توجه منطقیون قرار گرفت نظام فون رایت ( 1951) بود. برخی اشکالات موجود در نظام فون رایت ، منطقیون دیگررا بر آن داشت تا تغییراتی در نظام تکلیفی او ایجاد کنند حاصل این تغییرات ، نظام استاندارد منطق تکلیف است. اما این نظامها هم با پارادوکسهایی مواجه شدند و همین...

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

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

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

چکیده ندارد.

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