نتایج جستجو برای: وارسی کننده مدل bogor
تعداد نتایج: 189923 فیلتر نتایج به سال:
Four experiments involving 163 pigs were conducted to determine the effects of iodine level in a corn-soybean meal diet on body weight gain, feed required per unit gain and thyroid status. Pigs fed the basal diet (.055 ppm iodine) with no supplemental iodine had lower plasma protein-bound-iodine levels, hypertrophied thyroids and trapped a greater amount of a 5 μc dose of radioiodine (I) as com...
در این مقاله یک مدل ریاضی برای مسئله سیستم تولیدی همکارانه ساخت بر اساس سفارش با رعایت انصاف تخصیص بارهای تولید طراحی شده است. اهداف اصلی مدل، کمینهسازی هزینههای کل و حداکثر استفاده از منابع بهمنظور عادلانه شرایط عدمقطعیت کنترل پارامترهای غیرقطعی روش برنامهریزی فازی شده نتایج نشان میدهد افزایش نرخ عدمقطعیت، مییابد. ازآنجاکه ظرفیت کارخانهها ثابت است، مقدار تقاضا، هر کارخانه نیز میی...
تحمل پذیری اشکال از نیازهای اساسی برای اطمینان از عملکرد صحیح سیستم های بحرانی-ایمن حتی در صورت وقوع اشکال در سیستم می باشد. یکی از مراحل تحمل پذیری اشکال، بازیابی است و گرفتن نقطه وارسی و بازیابی رو به عقب، یکی از روش های مناسب برای این کار می باشد. نقطه وارسی گیری بدون دیسک، به عنوان روشی مهم برای ایجاد تحمل پذیری اشکال در سیستم های محاسباتی موازی و توزیع شده شناخته شده است. زمان کوتاه تر برا...
In recent work, Flanagan and Qadeer proposed atomicity declarations as a light-weight mechanism for specifying non-interference properties in concurrent programming languages such as Java, and they provided a type and effect system to verify atomicity properties. While verification of atomicity specifications via a static type system has several advantages (scalability, compositional checking),...
در این پژوهش سعی میشود مدلی برای شبیهسازی چرخه عمر صنعت برق با استفاده از شبیهسازی عاملبنیان ارائه شود، مدل، 5 عامل استخراج شد و شبیهسازی به کمک نرمافزار Anylogic صورت پذیرفت. بهینهسازی مدل چهار سناریو نظر خبرگان شد. سناریوی نخست، جذابیت نیروگاه گازی سیکل ترکیبی کاهش یافت بر دو دیگر افزوده نتیجه افزایش تولید آبی است که توجه کمبود منابع کشور بهصرفه نیست. دوم ورود یک فناوری جدید میزان...
برای دستیابی به مزیت رقابتی در شرایط عدماطمینان که آن تغییر ضروری است، یکی از چالشهای بزرگ سازمانها کاهش ریسک طریق ایجاد زنجیرههای تأمین تابآور است. تابآوری زنجیره تأمین توانایی مقابله با اختلال اشاره دارد یک رویداد غیرقابلپیشبینی بوده و دارای منابع داخلی خارجی مختلفی ازجمله بلایای طبیعی ریسکهای عملیاتی پژوهش حاضر شبیهسازی توسط نرمافزار ارنا زنجیره سنگ ساختمانی «کارخانه سنگبری آسم...
با پیشرفت روزافزون اینترنت و افزایش تعداد منابع قابل دسترس از طریق این رسانه، مسأله ارزیابی منابع و اطلاعات موجود در این شبکه جهانگستر به موضوعی قابل تأمل و بحث برانگیز تبدیل شده است. ازآنجایی که اینترنت فضایی غیرقابل کنترل است و هرگونه اطلاعات معتبر و غیرمعتبر همزمان در این فضا موجودند، بنابراین لازم است که استفاده کنندگان از شبکه جهانی اینترنت، در خود مهارت های ارزیابی منابع و تفکر انتقادی را...
Tujuan dari penelitian ini adalah; (1) untuk menentukan faktor yangmempengaruhi produksi benih ikan lele di Pandawa Lima Fisheries Farm Bogor,(2) elastisitas patin LimaFisheries Bogor, dan (3) tingkat teknis efisiensi operasipembenihan Bogor. Analisis R / Cdigunakan menganalisis pendapatan selama 30 siklusproduksi. Hasil menunjukkan bahwa usahatani positifdengan nilai Rp 851,343.75 per siklus. ...
مقدمه: رخداد خطا در سیستم های کامپیوتری، مخصوصاً سیستم هایی که در پزشکی استفاده می شوند، می تواند منجر به صدمات جبران ناپذیری شود. بنا بر این وارسی چنین سیستم هایی اهمیت زیادی دارد. چک کردن مدل یکی از روش هایی است که برای اطمینان از عدم وجود خطا در یک مدل استفاده می شود. ماشین قلب-ریه ماشینی است که در جراحی هایی که نیاز است قلب ساکن باشد به کار می رود و وظایف قلب و ریه را به عهده می گیرد. هدف از...
Here we present a general collecting and preparation protocol for DNA barcoding of Lepidoptera as part of large-scale rapid biodiversity assessment projects, and a comparison with alternative preserving and vouchering methods. About 98% of the sequenced specimens processed using the present collecting and preparation protocol yielded sequences with more than 500 base pairs. The study is based o...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید