نتایج جستجو برای: وارسی کننده مدل bogor

تعداد نتایج: 189923  

Journal: :Journal of animal science 1975
G L Cromwell D T Sihombing V W Hays

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...

Journal: : 2022

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

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه فردوسی مشهد - دانشکده مهندسی 1393

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

2004
John Hatcliff Robby Matthew B. Dwyer

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),...

Journal: : 2022

در این پژوهش سعی می‌­شود مدلی برای شبیه‌­سازی چرخه عمر صنعت برق با استفاده از شبیه‌سازی عامل­بنیان ارائه شود، مدل، 5 عامل استخراج شد و شبیه­‌سازی به کمک نرم‌افزار Anylogic صورت پذیرفت. بهینه‌­سازی مدل چهار سناریو نظر خبرگان شد. سناریوی نخست، جذابیت نیروگاه گازی سیکل ترکیبی کاهش یافت بر دو دیگر افزوده نتیجه افزایش تولید آبی است که توجه کمبود منابع کشور به‌صرفه نیست. دوم ورود یک فناوری جدید میزان...

Journal: : 2022

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

ژورنال: :پژوهشنامه پردازش و مدیریت اطلاعات 0
مژگان بینش mojdgan binesh

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

Journal: :Agribusiness Journal 2021

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. ...

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

2017
Olga Schmidt Axel Hausmann Bruno Cancian de Araujo Hari Sutrisno Djunijanti Peggie Stefan Schmidt

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...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید