برای بررسی اثر اندازه ی جمعیت از داده های صفات تولید شیر و درصد چربی جمع آوری شده بین سال های 1375 تا 1389، توسط مرکز اصلاح نژاد گاو شیری کشور استفاده شد. داده های مورد استفاده به سه گروه تقسیم شدند. الف) گروه اول حاوی تمام اطلاعات (سال های 1375 تا 1389)، ب) گروه دوم حاوی داده های 10 سال اخیر (1380 تا 1389) و ج) گروه سوم حاوی داده های 5 سال اخیر (سال های 1385 تا 1389). برآورد اجزای واریانس-کووا...

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

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

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

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

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

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