نتایج جستجو برای: روش t p
تعداد نتایج: 2123574 فیلتر نتایج به سال:
This article is an overview of the recent developments of a theory originally introduced by Leifer and Milner: given a formalism with a reduction semantics, a canonical labelled transition system is derived on which bisimilarity as well as other other equivalences are congruences, provided that the contexts of the formalism form the arrows of a category which has certain colimits. We shall also...
Railway optimization problems have been studied from a mathematical programming perspective for decades. This approach is particularly well suited to model the multitude of constraints that typically arises in the context of a railway system. In recent years, these problems have attracted some attention in the algorithms community, with a focus on individual problem aspects, in an attempt to un...
This document describes the lookup table generator for the XTRP system.
هدف این مطالعه ارزیابی کارایی نرم افزار win-gamma در پیش بینی جریان رودخانه ی حوضه ی آبریز امامه می باشد. در این مطالعه روش گاما تست برای انتخاب بهینه ترکیب ورودی به مدل به کار گرفته شد. همچنین برای تشخیص بهینه تعداد داده های مورد نیاز برای مدل سازی از آزمون m استفاده شد. در این مطالعه از داده های بارندگی p(t) و روانابr(t) حوضه ی آبریز امامه در مقیاس روزانه و در طول دوره ی آماری 1388- 1379 استف...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید