نتایج جستجو برای: day
تعداد نتایج: 339845 فیلتر نتایج به سال:
Parallel PV is based on the sequential PV model-checker. Sequential PV is an depth-first LTL-X model-checker for an enhanced subset of the Promela language. Parallel PV is a breadth-first safety-only model-checker. It capitalizes on PV’s two-phase partial-order reduction algorithm by carrying out partial order reduction steps with no communication, and performs state space distribution at globa...
SHARING DAY Create an explicit time to bring people physically together at the same location in order to encourage knowledge sharing on a broad basis. PALLET OF ACTIVITIES Match the form of the SHARING DAY to the kinds of knowledge and purposes you wish to share. DRY RUN Perform a DRY RUN of the sessions to see whether the stories in the different sessions are attuned on each other and attuned ...
Recently, economic and environmental problems have created a strong attitude toward utilizing renewable energy sources (RESs). Nevertheless, uncertainty of wind and solar power leads to a more complicated energy management (EM) of RESs in microgrids. This paper models and solves the EM problem of microgrid from the generation point of view. To do this, mathematical formulation of a grid- connec...
هندوانه ابوجهل (citrullus colocynthis) گیاه دارویی با برنامه های درمانی گسترده است، اما دارای اثر سمی نیز می باشد. کبد مکان مهم برای دفع، متابولیزه کردن داروها و دیگر مواد مضر است و بطور مداوم در معرض اثر سمی داروها قرار می گیرد. در این مطالعه ما به بررسی اثر پودر پوسته هندوانه ابوجهل بر سطوح سرمی آنزیم های آلانین آمینوترانسفراز ( alt) وآسپارتات آمینوترانسفراز (ast) و هیستوپاتولوژی کبد موش های...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید