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

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

چکیده ندارد.

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

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

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

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