نتایج جستجو برای: قضیه π باکینگهام
تعداد نتایج: 36383 فیلتر نتایج به سال:
We present a Petri net interpretation of the pi-graphs a graphical variant of the pi-calculus. Characterizing labelled transition systems, the translation can be used to reason in Petri net terms about open reconfigurable systems. We demonstrate that the pi-graphs and their translated Petri nets agree at the semantic level. In consequence, existing results on pi-graphs naturally extend to the t...
Three notions of structural inclusion between process terms of the-calculus are considered, and proven to be decidable and to have axiom-atizations that are sound and complete in the multiset semantics M of the-calculus. All three are strong simulation relations.
زمینه و هدف: در این مطالعه یک گروه از اکسیم های بر پایه نایترون دارای بخش پیریدینیوم، به عنوان کاندیدهای دارویی جدید در فعالسازی استیل کولین استراز (AChE) مهار شده، با مطالعات داکینگ معرفی شدهاند. روش‌ها: ساختار شیمیایی فعالسازهای جدید با استفاده از برنامه هایپرکم ساخته شدند و مطالعات کانفورماسیونی از طریق روش نیمه تجربی انجام گردید. در محاسبات داکینگ اکسیم های طراحی شده از برنامه AutoDo...
سابقه و هدف: در دهه های اخیر آبیاری قطره ای به جهت کاهش آب کاربردی، افزایش در عملکرد گیاه و توزیع بهتر کود مورد توجه قرارگرفته است. کاهش آب کاربردی به این دلیل است که در آبیاری قطره ای به جای همه سطح زمین فقط خاک محدوده ریشه گیاه مرطوب می شود. آبیاری پالسی مجموعه ای از چرخه ها است که هر کدام از چرخه ها از یک فاز آبیاری و یک فاز استراحت تشکیل می شود (12). کاربرد متناوب آب در آبیاری قطره ای باعث ...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید