نتایج جستجو برای: edalat fi
تعداد نتایج: 26581 فیلتر نتایج به سال:
Larsen and Skou characterized probabilistic bisimilarity over reactive probabilistic systems with a logic including true, negation, conjunction, and a diamond modality decorated with a probabilistic lower bound. Later on, Desharnais, Edalat, and Panangaden showed that negation is not necessary to characterize the same equivalence. In this paper, we prove that the logical characterization holds ...
چکیده ندارد.
In this paper, we will investigate two partial orders on classical states∆n that induce a domain theoretic structure. In particular, we will look at the Bayesian order presented by Coecke and Martin (2002) and the implicative order presented by Martin (2004). For both of the domains that arise from these orderings on the classical states, Shannon entropy is a measurement in the domain theoretic...
We show that the domain of formal balls of a complete partial metric space (X, p) can be endowed with a complete partial metric that extends p and induces the Scott topology. This result, that generalizes well-known constructions of Edalat and Heckmann (Theoret. Comput. Sci. 1998) and Heckmann (Appl. Cat. Struct. 1998) for metric spaces and improves a recent result of Romaguera and Valero (Math...
به منظور ارزیابی شاخص های رشد و کارایی مصرف آب و نور در ارقام حساس و مقاوم به خشکی گندم تحت سطوح مختلف آبیاری، آزمایشی مزرعه ای به صورت کرت های خرد شده در قالب طرح بلوک های کامل تصادفی با سه تکرار در سال زراعی 92-1391 در مزرعه تحقیقاتی دانشکده کشاورزی دانشگاه کردستان به اجرا در آمد. سطوح مختلف آبیاری شامل پنج سطح مختلف (fi، آبیاری به میزان نیاز آبی گیاه، fi 75%، fi 50% و fi 25% به ترتیب آبیاری ...
یک مدول را fi-توسیعی می نامیم اگر برای هر زیرمدول تماما پایای آن مانند n یک زیرمدول جمعوند مانند p موجود باشد به طوری که n در p اساسی باشد. به عنوان مثال هر میدانی fi-توسیعی است. در این پایان نامه به مطالعه ی خواص این مدول ها پرداخته می شود. به خصوص یک تجزیه ویک ماتریس نمایش برای حلقه ی r که به عنوان r-مدول راست و چپ fi-توسیعی است بیان می شود. همچنین روابط بین این مدول ها و مدول های بئر بررسی م...
ما مفاهیمی از ویژگی های بیر و شبه بیر را برای مدول های دل خواه مطاله می کنیم. یک مدول m بیر(شبه بیر) نامیده می شود، اگر پوچ ساز راست یک ایده آل چپ(دوطرفه) از درون ریختی m یک جمعوند مستقیم از m باشد. نشان می دهیم که یک جمعوند مستقیم از یک مدول بیر(شبه بیر)این ویژگی را به ارث می برد و هر گروه آبلی با تولید متناهی بیر است، دقیقاً اگر نیم ساده یا تاب آزاد باشد. ارتباطات نزدیک ویژگی توسیعی(fi-توسیعی)...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید